|
No-cloning Theorem
In physics, the no-cloning theorem states that it is impossible to create an independent and identical copy of an arbitrary unknown quantum state, a statement which has profound implications in the field of quantum computing among others. The theorem is an evolution of the 1970 no-go theorem authored by James Park, in which he demonstrates that a non-disturbing measurement scheme which is both simple and perfect cannot exist (the same result would be independently derived in 1982 by Wootters and Zurek as well as Dieks the same year). The aforementioned theorems do not preclude the state of one system becoming entangled with the state of another as cloning specifically refers to the creation of a separable state with identical factors. For example, one might use the controlled NOT gate and the Walsh–Hadamard gate to entangle two qubits without violating the no-cloning theorem as no well-defined state may be defined in terms of a subsystem of an entangled state. The no-cloning ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which relates to the order of nature, or, in other words, to the regular succession of events." Physics is one of the most fundamental scientific disciplines, with its main goal being to understand how the universe behaves. "Physics is one of the most fundamental of the sciences. Scientists of all disciplines use the ideas of physics, including chemists who study the structure of molecules, paleontologists who try to reconstruct how dinosaurs walked, and climatologists who study how human activities affect the atmosphere and oceans. Physics is also the foundation of all engineering and technology. No engineer could design a flat-screen TV, an interplanetary spacecraft, or even a better mousetrap without first understanding the basic laws of physic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
No-broadcast Theorem
In physics, the no-broadcasting theorem is a result of quantum information theory. In the case of pure quantum states, it is a corollary of the no-cloning theorem. The no-cloning theorem for pure states says that it is impossible to create two copies of an unknown state given a single copy of the state. Since quantum states cannot be copied in general, they cannot be broadcast. Here, the word "broadcast" is used in the sense of conveying the state to two or more recipients. For multiple recipients to each receive the state, there must be, in some sense, a way of duplicating the state. The no-broadcast theorem generalizes the no-cloning theorem for mixed states. The theorem also includes a converse: if two quantum states do commute, there is a method for broadcasting them: they must have a common basis of eigenstates diagonalizing them simultaneously, and the map that clones every state of this basis is a legitimate quantum operation, requiring only physical resources indep ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nick Herbert (physicist)
Nick Herbert (born September 7, 1936) is an American physicist and author, best known for his book '' Quantum Reality''. Biography Herbert studied engineering physics at The Ohio State University, graduating in 1959. He received a Ph.D. in physics from Stanford University in 1967 for work on nuclear scattering experiments. After a one-year teaching job at Monmouth College in Illinois, Herbert held a number of posts in industry. The most illustrious of these was senior physicist at Memorex Corporation in Santa Clara, California, where he developed new magnetic materials, as well as magnetic, electrostatic and optical measuring devices, and carried out theoretical work on Lorentz microscopy. He was also senior physicist at Smith-Corona Marchant Corporation in Palo Alto, California where he developed a new theory of xerographic process and worked on early developments in ink jet printing. While employed in industry, Herbert was part of the Fundamental Fysiks Group at Lawrence B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Kaiser
David I. Kaiser is an American physicist and historian of science. He is Germeshausen Professor of the History of Science at the Massachusetts Institute of Technology (MIT), head of its Science, Technology, and Society program, and a full professor in the department of physics. Kaiser is the author or editor of several books on the history of science, including ''Drawing Theories Apart: The Dispersion of Feynman Diagrams in Postwar Physics'' (2005), and ''How the Hippies Saved Physics: Science, Counterculture, and the Quantum Revival'' (2011). He was elected a Fellow of the American Physical Society in 2010. In March 2012 he was awarded the MacVicar fellowship, a prestigious MIT undergraduate teaching award.Jesse Kirkpatrick"Four MacVicar Recipients" ''The Tech'', 132(13). Education Kaiser completed his AB in physics at Dartmouth College in 1993. He obtained two PhDs from Harvard University. The first was in physics in 1997 for a thesis entitled "Post-Inflation Reheating in an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fortschritte Der Physik
The German Physical Society (German: , DPG) is the oldest organisation of physicists. The DPG's worldwide membership is cited as 60,547, as of 2019, making it the largest physics society in the world. It holds an annual conference () and multiple spring conferences (), which are held at various locations and along topical subjects of given sections of the DPG. The DPG serves the fields of pure and applied physics. Main aims are to bring its members and all physicists living in Germany closer together, represent their entirety outwards as well as foster the exchange of ideas between its members and foreign colleagues. The DPG binds itself and its members to advocate for freedom, tolerance, veracity and dignity in science and to be aware about the fact that the people working in science are responsible to a particularly high extent for the configuration of the overall human activity. Conferences and fostering young talent The DPG itself does not carry out any research, but its confer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Asher Peres
Asher Peres ( he, אשר פרס; January 30, 1934 – January 1, 2005) was an Israeli physicist. He is well known for his work relating quantum mechanics and information theory. He helped to develop the Peres–Horodecki criterion for quantum entanglement, as well as the concept of quantum teleportation, and collaborated with others on quantum information and special relativity. He also introduced the Peres metric and researched the Hamilton–Jacobi–Einstein equation in general relativity. With Mario Feingold, he published work in quantum chaos that is known to mathematicians as the Feingold–Peres conjecture and to physicists as the Feingold–Peres theory. Life According to his autobiography, he was born ''Aristide Pressman'' in Beaulieu-sur-Dordogne in France, where his father, a Polish electrical engineer, had found work laying down power lines. He was given the name ''Aristide'' at birth, because the name his parents wanted, ''Asher'', the name of his mate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartesian Closed Category
In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal categories, whose internal language, linear type systems, are suitable for both quantum and classical computation. Etymology Named after (1596–1650), French philosopher, mathematician, and scientist, whose formulation of analytic geometry gave rise to the concept of Cartesian product, which was later generalized to the notion of categorical product. Definition The category ''C'' is called Cartesian closed if and only if it satisfies the following three properties: * It has a terminal object. * Any two objects ''X'' and ''Y'' of ''C'' have a product ''X'' ×''Y'' in ''C''. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intuitionistic Logic
Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems of intuitionistic logic do not assume the law of the excluded middle and double negation elimination, which are fundamental inference rules in classical logic. Formalized intuitionistic logic was originally developed by Arend Heyting to provide a formal basis for L. E. J. Brouwer's programme of intuitionism. From a proof-theoretic perspective, Heyting’s calculus is a restriction of classical logic in which the law of excluded middle and double negation elimination have been removed. Excluded middle and double negation elimination can still be proved for some propositions on a case by case basis, however, but do not hold universally as they do with classical logic. The standard explanation of intuitionistic logic is the BHK interpreta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantum Information Theory
Quantum information is the information of the quantum state, state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information refers to both the technical definition in terms of Von Neumann entropy and the general computational term. It is an interdisciplinary field that involves quantum mechanics, computer science, information theory, philosophy and cryptography among other fields. Its study is also relevant to disciplines such as cognitive science, psychology and neuroscience. Its main focus is in extracting information from matter at the microscopic scale. Observation in science is one of the most important ways of acquiring information and measurement is required in order to quantify the observation, making this crucial to the scientific method. In quantum mechanics, due to the uncertainty principle, non-commuting Observable, observables cannot be precisely mea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Logic
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics (because linear logic can be seen as the logic of quantum information theory), as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction. Linear logic lends itself to many different presentations, explanations, and intuitions. Proof-theoretically, it derives from an analysis of classical sequent calculus in which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally, this means that logical deduction is no longer merely about an ever-expanding collection of persistent "tru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categorical Quantum Mechanics
Categorical quantum mechanics is the study of quantum foundations and quantum information using paradigms from mathematics and computer science, notably monoidal category theory. The primitive objects of study are physical processes, and the different ways that these can be composed. It was pioneered in 2004 by Samson Abramsky and Bob Coecke. Categorical quantum mechanics is entry 18M40 in MSC2020. Mathematical setup Mathematically, the basic setup is captured by a dagger symmetric monoidal category: composition of morphisms models sequential composition of processes, and the tensor product describes parallel composition of processes. The role of the dagger is to assign to each state a corresponding test. These can then be adorned with more structure to study various aspects. For instance: * A dagger compact category allows one to distinguish between an "input" and "output" of a process. In the diagrammatic calculus, it allows wires to be bent, allowing for a less restricte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dagger Compact Category
In category theory, a branch of mathematics, dagger compact categories (or dagger compact closed categories) first appeared in 1989 in the work of Sergio Doplicher and John E. Roberts on the reconstruction of compact topological groups from their category of finite-dimensional continuous unitary representations (that is, Tannakian category, Tannakian categories). They also appeared in the work of John Baez and James Dolan as an instance of semistrict ''k''-tuply monoidal category, monoidal n-category, ''n''-categories, which describe general topological quantum field theories, for ''n'' = 1 and ''k'' = 3. They are a fundamental structure in Samson Abramsky and Bob Coecke's categorical quantum mechanics. Overview Dagger compact categories can be used to express and verify some fundamental quantum computing, quantum information protocols, namely: quantum teleportation, teleportation, logic gate teleportation and quantum teleportation, entanglement swapping, and standard notions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Quantum Information Theory")
.png "Click for more on -> Dagger Compact Category")