Secure Cloud Quantum Computing with Verification Based on Quantum Interactive Proof

Impact ◽  
2019 ◽  
Vol 2019 (10) ◽  
pp. 30-32
Author(s):  
Tomoyuki Morimae
Keyword(s):  
Quantum Computing ◽  
Quantum Information ◽  
Theoretical Physics ◽  
View Point ◽  
Research Subjects ◽  
Interactive Proof ◽  
Open Problems ◽  
Main Research ◽  
Proof Systems ◽  
Information Group

In cloud quantum computing, a classical client delegate quantum computing to a remote quantum server. An important property of cloud quantum computing is the verifiability: the client can check the integrity of the server. Whether such a classical verification of quantum computing is possible or not is one of the most important open problems in quantum computing. We tackle this problem from the view point of quantum interactive proof systems. Dr Tomoyuki Morimae is part of the Quantum Information Group at the Yukawa Institute for Theoretical Physics at Kyoto University, Japan. He leads a team which is concerned with two main research subjects: quantum supremacy and the verification of quantum computing.

The conceptual profile of Equilibrium and its contributions to the teaching of Chemical Equilibrium

2021 ◽  
Author(s):  
Maurício Silva Costa ◽  
Bruno Ferreira Dos Santos
Keyword(s):  
Science Education ◽  
Chemical Equilibrium ◽  
Scientific Concepts ◽  
Research Subjects ◽  
Main Research ◽  
Conceptual Profile

The learning of scientific concepts is one of the main research subjects in science education. Although little used, the theory of conceptual profiles allows to study this knowledge, taking into...

On the classical character of control fields in quantum information processing

2002 ◽  
Vol 2 (1) ◽  
pp. 1-13
Author(s):  
S.J. van Enk ◽  
H.J. Kimble
Keyword(s):  
Quantum Computing ◽  
Information Processing ◽  
Quantum Information ◽  
Laser Beam ◽  
Quantum State ◽  
Quantum Communication ◽  
Quantum Information Processing ◽  
Laser Fields ◽  
Undesirable Property

Control fields in quantum information processing are almost by definition assumed to be classical. In reality, however, when such a field is used to manipulate the quantum state of qubits, the qubits always become slightly entangled with the field. For quantum information processing this is an undesirable property, as it precludes perfect quantum computing and quantum communication. Here we consider the interaction of atomic qubits with laser fields and quantify atom-field entanglement in various cases of interest. We find that the entanglement decreases with the average number of photons \bar{n} in a laser beam as $E\propto\log_2 \bar{n}/\bar{n}$ for $\bar{n}\rightarrow\infty$.

scholarly journals The development of Turkic studies at Vilnius University

2009 ◽  
Vol 10 (1-2) ◽  
pp. 209-223
Author(s):  
Galina Miškinienė
Keyword(s):  
Eastern Europe ◽  
Ethnic Groups ◽  
19Th Century ◽  
Research Subjects ◽  
Main Research ◽  
Vilnius University ◽  
Grand Duchy Of Lithuania ◽  
The University ◽  
The 19Th Century ◽  
Grand Duchy

Institute of the Lithuanian Language At the beginning of the 19th century, the financial possibility to establish a department of Eastern languages at one of the oldest universities in Eastern Europe, Vilnius University, appeared. Turkish was among the Eastern languages that were expected to be taught. The intensive preparation of lecturers was started. Unfortunately, the ambitious plans were destined to never become reality; in 1832 the university was closed. Nevertheless, over the following two centuries the Turkic direction did not disappear; in one form or another it surfaced and retained its vitality. There was a sympathetic environment: Tartars and Karaims—both Turkic ethnic groups—began settling in the Grand Duchy of Lithuania in the 14th century. Vilnius University was the cradle of many famous Orientalists who maintained Turkic research by their activities. In such a way, two main research subjects appeared: Kitabistik and the Karaim language. In this article, the origin problems, development and prospects of Turkic research will be examined.

Algebraic methods for interactive proof systems

1992 ◽  
Vol 39 (4) ◽  
pp. 859-868 ◽  
Author(s):  
Carsten Lund ◽  
Lance Fortnow ◽  
Howard Karloff ◽  
Noam Nisan
Keyword(s):  
Algebraic Methods ◽  
Interactive Proof ◽  
Interactive Proof Systems ◽  
Proof Systems

scholarly journals Monogamy of non-local quantum correlations

2008 ◽  
Vol 465 (2101) ◽  
pp. 59-69 ◽  
Author(s):  
Ben Toner
Keyword(s):  
Probability Distributions ◽  
Bell Inequality ◽  
Arbitrary Dimension ◽  
Bell Inequalities ◽  
Quantum Correlations ◽  
Interactive Proof ◽  
Proof Systems ◽  
Non Local ◽  
A New Technique ◽  
Tsirelson Bound

We describe a new technique for obtaining Tsirelson bounds, which are upper bounds on the quantum value of a Bell inequality. Since quantum correlations do not allow signalling, we obtain a Tsirelson bound by maximizing over all no-signalling probability distributions. This maximization can be cast as a linear programme. In a setting where three parties, A, B and C, share an entangled quantum state of arbitrary dimension, we (i) bound the trade-off between AB's and AC's violation of the Clauser–Horne–Shimony–Holt inequality and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities, relevant for interactive proof systems and cryptography.

New Forms of Interaction in Serious Games for Rehabilitation

2012 ◽  
pp. 1188-1211 ◽  
Author(s):  
Paula Alexandra Rego ◽  
Pedro Miguel Moreira ◽  
Luís Paulo Reis
Keyword(s):  
Serious Games ◽  
User Study ◽  
Classification Criteria ◽  
Natural Interaction ◽  
Open Problems ◽  
Main Research ◽  
Research Opportunity ◽  
Potential Benefits ◽  
Natural Forms ◽  
Motivating Factor

This chapter addresses up-to-date research development regarding the adoption of more natural forms of interaction in the Serious Games for Rehabilitation domain of application. The chapter starts by presenting fundamental concepts on Serious Games illustrated by relevant applications. It describes the main problems involved and how Serious Games can benefit the process of rehabilitation. A comprehensive literature survey is presented and accompanied by a proposed set of classification criteria towards a taxonomy. From this study, a main research opportunity the authors identified is the potential benefits of the adoption of natural interaction modalities. The remainder of the chapter presents the authors’ recent work on this subject, including the description and design of game prototypes using alternative and natural interaction modalities. The chapter presents experiments and the results of a user study in order to make it possible to conclude about the benefits of the newer forms of interaction. From this study, it was concluded that the introduction of the natural interaction modalities has increased the attractiveness and intuitiveness of the prototyped Serious Game. This important result is a motivating factor to improve the interaction mechanisms and conduct studies with distinct tasks and larger samples of users/patients. Lastly, the authors report identified research opportunities and open problems.

Activated Carbon Fiber Fabrics in Filtration and Clean Water Resources

2020 ◽  
Vol 980 ◽  
pp. 387-393
Author(s):  
Dong Sheng Chen ◽  
Yan Wang ◽  
Yin Xin Zou
Keyword(s):  
Activated Carbon ◽  
Carbon Fiber ◽  
Water Resources ◽  
Structural Characteristics ◽  
Fiber Material ◽  
Activated Carbon Fiber ◽  
Main Body ◽  
Research Subjects ◽  
Main Research ◽  
Carbon Fiber Material

Activated carbon fiber has excellent structural characteristics and adsorption performance. It can effectively adsorb various inorganic and organic compounds and has good regeneration performance. Therefore, it is widely used in the market. To study the advantages of activated carbon fiber in purifying water resources, this research use application of activated carbon fiber material in purification and filtration of water filter, and the test of adsorption and filtration effect of different host materials are described. The main body and influencing factors of filtering effect are obtained. In this research, the viscose-based activated carbon fiber mats and acrylic-based activated carbon fabrics are the main research subjects, and other materials were added for coating composite research. Through a comparative study of the two materials, it has been found that carbon fiber has many advantages, such as is more economical, practical, convenient, low cost, and cost-effective, and is worthy of promotion in industry and daily life using.

Sign in / Sign up

Export Citation Format

Share Document