Bell's Theorem from Moore's Theorem
Fields, Chris
2012-01-01
It is shown that the restrictions of what can be inferred from classically-recorded observational outcomes that are imposed by the no-cloning theorem, the Kochen-Specker theorem and Bell's theorem also follow from restrictions on inferences from observations formulated within classical automata theory. Similarities between the assumptions underlying classical automata theory and those underlying universally-unitary quantum theory are discussed.
Anti-Bell - Refutation of Bell's theorem
Barukčić, Ilija
2012-12-01
In general, Albert Einstein as one of "the founding fathers of quantum mechanics" had some problems to accept especially the Copenhagen dominated interpretation of quantum mechanics. Einstein's dissatisfaction with Copenhagen's interpretation of quantum mechanics, the absence of locality and causality within the Copenhagen dominated quantum mechanics lead to the well known Einstein, Podolsky and Rosen thought experiment. According to Einstein et al., the Copenhagen dominated quantum mechanics cannot be regarded as a complete physical theory. The Einstein, Podolsky and Rosen thought experiment was the origin of J. S. Bell's publication in 1964; known as Bell's theorem. Meanwhile, some dramatic violations of Bell's inequality (by so called Bell test experiments) have been reported which is taken as an empirical evidence against local realism and causality at quantum level and as positive evidence in favor of the Copenhagen dominated quantum mechanics. Thus far, Quantum mechanics is still regarded as a "strictly" non-local theory. The purpose of this publication is to refute Bell's original theorem. Thus far, if we accept Bell's theorem as correct, we must accept that +0> = +1. We can derive a logical contradiction out of Bell's theorem, Bell's theorem is refuted.
The two Bell's theorems of John Bell
International Nuclear Information System (INIS)
Many of the heated arguments about the meaning of ‘Bell's theorem’ arise because this phrase can refer to two different theorems that John Bell proved, the first in 1964 and the second in 1976. His 1964 theorem is the incompatibility of quantum phenomena with the dual assumptions of locality and determinism. His 1976 theorem is the incompatibility of quantum phenomena with the unitary property of local causality. This is contrary to Bell's own later assertions, that his 1964 theorem began with that single, and indivisible, assumption of local causality (even if not by that name). While there are other forms of Bell's theorems—which I present to explain the relation between Jarrett-completeness, ‘fragile locality’, and EPR-completeness—I maintain that Bell's two versions are the essential ones. Although the two Bell's theorems are logically equivalent, their assumptions are not, and the different versions of the theorem suggest quite different conclusions, which are embraced by different communities. For realists, the notion of local causality, ruled out by Bell's 1976 theorem, is motivated implicitly by Reichenbach's principle of common cause and explicitly by the principle of relativistic causality, and it is the latter which must be forgone. Operationalists pay no heed to Reichenbach's principle, but wish to keep the principle of relativistic causality, which, bolstered by an implicit ‘principle of agent-causation’, implies their notion of locality. Thus for operationalists, Bell's theorem is the 1964 one, and implies that it is determinism that must be forgone. I discuss why the two ‘camps’ are drawn to these different conclusions, and what can be done to increase mutual understanding. (review article)
Expectation Value in Bell's Theorem
Wang, Zheng-Chuan
2006-01-01
We will demonstrate in this paper that Bell's theorem (Bell's inequality) does not really conflict with quantum mechanics, the controversy between them originates from the different definitions for the expectation value using the probability distribution in Bell's inequality and the expectation value in quantum mechanics. We can not use quantum mechanical expectation value measured in experiments to show the violation of Bell's inequality and then further deny the local hidden-variables theor...
Concrete incompleteness & Bell's theorem
Geurdes, Han
2014-01-01
For a subset of 2 dimensional unit parameter vectors, Bell's correlation formula with local hidden variables reproduces the quantum correlation. This is unexpected considering a general no-go LHV claim derived from the same function.
Bell's theorem, accountability and nonlocality
International Nuclear Information System (INIS)
Bell's theorem is a fundamental theorem in physics concerning the incompatibility between some correlations predicted by quantum theory and a large class of physical theories. In this paper, we introduce the hypothesis of accountability, which demands that it is possible to explain the correlations of the data collected in many runs of a Bell experiment in terms of what happens in each single run. Under this assumption, and making use of a recent result by Colbeck and Renner (2011 Nature Commun. 2 411), we then show that any nontrivial account of these correlations in the form of an extension of quantum theory must violate parameter independence. Moreover, we analyze the violation of outcome independence of quantum mechanics and show that it is also a manifestation of nonlocality. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell's theorem’. (paper)
The Non-Signalling theorem in generalizations of Bell's theorem
Walleczek, Jan; Groessing, Gerhard
2014-01-01
Does "epistemic non-signalling" ensure the peaceful coexistence of special relativity and quantum nonlocality? The possibility of an affirmative answer is of great importance to deterministic approaches to quantum mechanics given recent developments towards generalizations of Bell's theorem. By generalizations of Bell's theorem we here mean efforts that seek to demonstrate the impossibility of any deterministic theories to obey the predictions of Bell's theorem, including even nonlocal hidden...
Causarum Investigatio and the Two Bell's Theorems of John Bell
Wiseman, Howard M
2015-01-01
"Bell's theorem" can refer to two different theorems that John Bell proved, the first in 1964 and the second in 1976. His 1964 theorem is the incompatibility of quantum phenomena with the joint assumptions of Locality and Predetermination. His 1976 theorem is their incompatibility with the single property of Local Causality. This is contrary to Bell's own later assertions, that his 1964 theorem began with the assumption of Local Causality, even if not by that name. Although the two Bell's theorems are logically equivalent, their assumptions are not. Hence, the earlier and later theorems suggest quite different conclusions, embraced by operationalists and realists, respectively. The key issue is whether Locality or Local Causality is the appropriate notion emanating from Relativistic Causality, and this rests on one's basic notion of causation. For operationalists the appropriate notion is what is here called the Principle of Agent-Causation, while for realists it is Reichenbach's Principle of common cause. By...
Bell on Bell's theorem: The changing face of nonlocality
Brown, Harvey R
2015-01-01
Between 1964 and 1990, the notion of nonlocality in Bell's papers underwent a profound change as his nonlocality theorem gradually became detached from quantum mechanics, and referred to wider probabilistic theories involving correlations between separated beables. The proposition that standard quantum mechanics is itself nonlocal (more precisely, that it violates `local causality') became divorced from the Bell theorem per se from 1976 on, although this important point is widely overlooked in the literature. In 1990, the year of his death, Bell would express serious misgivings about the mathematical form of the local causality condition, and leave ill-defined the issue of the consistency between special relativity and violation of the Bell-type inequality. In our view, the significance of the Bell theorem, both in its deterministic and stochastic forms, can only be fully understood by taking into account the fact that a fully Lorentz-covariant version of quantum theory, free of action-at-a-distance, can be a...
On the failure of Bell's theorem
Bene, Gyula
1997-01-01
Using a new approach to quantum mechanics we revisit Hardy's proof for Bell's theorem and point out a loophole in it. We also demonstrate on this example that quantum mechanics is a local realistic theory.
Extending Bell's Theorem: Ruling out Paramater Independent Hidden Variable Theories
Leegwater, G. J.
2016-03-01
Bell's Theorem may well be the best known result in the foundations of quantum mechanics. Here, it is presented as stating that for any hidden variable theory the combination of the conditions Parameter Independence, Outcome Independence, Source Independence and Compatibility with Quantum Theory leads to a contradiction. Based on work by Roger Colbeck and Renato Renner, an extension of Bell's Theorem is considered. In this extension the theorem is strengthened by replacing Outcome Independence by a strictly weaker condition.
Classical probabilistic realization of "Random Numbers Certified by Bell's Theorem"
Khrennikov, Andrei
2015-01-01
We question the commonly accepted statement that random numbers certified by Bell's theorem carry some special sort of randomness, so to say, quantum randomness or intrinsic randomness. We show that such numbers can be easily generated by classical random generators.
Philosophical motivations of Bell's theorem and the experimenter's problem
International Nuclear Information System (INIS)
The question suggested by the Bell theorem of whether natural phenomena or systems possess intrinsic properties independent of their observers is considered, that is, whether objective systems, objects, exist. It is assumed that they do and the consequences are examined and possible tests of this assumption are examined
A Modest View of Bell's Theorem
Boughn, Stephen
2016-01-01
In the 80 years since the seminal Einstein, Podolsky, and Rosen (EPR) paper, physicists and philosophers have mused about the `spooky action at a distance' aspect of quantum mechanics that so bothered Einstein. In his formal analysis of EPR-type entangled quantum states, Bell (1964) concluded that any hidden variable theory designed to reproduce the predictions of quantum mechanics must necessarily be nonlocal and allow superluminal interactions. This doesn't immediately imply that nonlocality is a characteristic feature of quantum mechanics let alone a fundamental property of nature; however, many physicists and philosophers of science do harbor this belief. Experts in the field often use the term `nonlocality' to designate particular non-classical aspects of quantum entanglement and do not confuse the term with superluminal interactions. However, many physicists seem to take the term more literally. I endeavor to disabuse the latter of this notion by emphasizing that the correlations of Bell-type entangleme...
EPR and Bell's theorem: A critical review
International Nuclear Information System (INIS)
The argument of Einstein, Podolsky, and Rosen is reviewed with attention to logical structure and character of assumptions. Bohr's reply is discussed. Bell's contribution is formulated without use of hidden variables, and efforts to equate hidden variables to realism are critically examined. An alternative derivation of nonlocality that makes no use of hidden variables, microrealism, counterfactual definiteness, or any other assumption alien to orthodox quantum thinking is described in detail, with particular attention to the quartet or broken-square question
Random numbers certified by Bell's theorem.
Pironio, S; Acín, A; Massar, S; de la Giroday, A Boyer; Matsukevich, D N; Maunz, P; Olmschenk, S; Hayes, D; Luo, L; Manning, T A; Monroe, C
2010-04-15
Randomness is a fundamental feature of nature and a valuable resource for applications ranging from cryptography and gambling to numerical simulation of physical and biological systems. Random numbers, however, are difficult to characterize mathematically, and their generation must rely on an unpredictable physical process. Inaccuracies in the theoretical modelling of such processes or failures of the devices, possibly due to adversarial attacks, limit the reliability of random number generators in ways that are difficult to control and detect. Here, inspired by earlier work on non-locality-based and device-independent quantum information processing, we show that the non-local correlations of entangled quantum particles can be used to certify the presence of genuine randomness. It is thereby possible to design a cryptographically secure random number generator that does not require any assumption about the internal working of the device. Such a strong form of randomness generation is impossible classically and possible in quantum systems only if certified by a Bell inequality violation. We carry out a proof-of-concept demonstration of this proposal in a system of two entangled atoms separated by approximately one metre. The observed Bell inequality violation, featuring near perfect detection efficiency, guarantees that 42 new random numbers are generated with 99 per cent confidence. Our results lay the groundwork for future device-independent quantum information experiments and for addressing fundamental issues raised by the intrinsic randomness of quantum theory. PMID:20393558
The Non-Signalling theorem in generalizations of Bell's theorem
International Nuclear Information System (INIS)
Does 'epistemic non-signalling' ensure the peaceful coexistence of special relativity and quantum nonlocality? The possibility of an affirmative answer is of great importance to deterministic approaches to quantum mechanics given recent developments towards generalizations of Bell's theorem. By generalizations of Bell's theorem we here mean efforts that seek to demonstrate the impossibility of any deterministic theories to obey the predictions of Bell's theorem, including not only local hidden-variables theories (LHVTs) but, critically, of nonlocal hidden-variables theories (NHVTs) also, such as de Broglie-Bohm theory. Naturally, in light of the well-established experimental findings from quantum physics, whether or not a deterministic approach to quantum mechanics, including an emergent quantum mechanics, is logically possible, depends on compatibility with the predictions of Bell's theorem. With respect to deterministic NHVTs, recent attempts to generalize Bell's theorem have claimed the impossibility of any such approaches to quantum mechanics. The present work offers arguments showing why such efforts towards generalization may fall short of their stated goal. In particular, we challenge the validity of the use of the non-signalling theorem as a conclusive argument in favor of the existence of free randomness, and therefore reject the use of the non-signalling theorem as an argument against the logical possibility of deterministic approaches. We here offer two distinct counter-arguments in support of the possibility of deterministic NHVTs: one argument exposes the circularity of the reasoning which is employed in recent claims, and a second argument is based on the inconclusive metaphysical status of the non-signalling theorem itself. We proceed by presenting an entirely informal treatment of key physical and metaphysical assumptions, and of their interrelationship, in attempts seeking to generalize Bell's theorem on the
Whiteheadian approach to quantum theory and the generalized bell's theorem
International Nuclear Information System (INIS)
The model of the world proposed by Whitehead provides a natural theoretical framework in which to imbed quantum theory. This model accords with the ontological ideas of Heisenberg, and also with Einstein's view that physical theories should refer nominally to the objective physical situation, rather than our knowledge of that system. Whitehead imposed on his model the relativistic requirement that what happens in any given spacetime region be determined only by what has happened in its absolute past, i.e., in the backward light-cone drawn from that region. This requirement must be modified, for it is inconsistent with the implications of quantum theory expressed by a generalized version of Bell's theorem. Revamping the causal spacetime structure of the Whitehead-Heisenberg ontology to bring it into accord with the generalized Bell's theorem creates the possibility of a nonlocal causal covariant theory that accords with the statistical prediction of quantum theory
Disproof of Bell's Theorem by Clifford Algebra Valued Local Variables
Christian, Joy
2007-01-01
It is shown that Bell's theorem fails for the Clifford algebra valued local realistic variables. This is made evident by exactly reproducing quantum mechanical expectation value for the EPR-Bohm type spin correlations observable by means of a local, deterministic, Clifford algebra valued variable, without necessitating either remote contextuality or backward causation. Since Clifford product of multivector variables is non-commutative in general, the spin correlations derived within our local...
Relaxed Bell inequalities and Kochen-Specker theorems
Energy Technology Data Exchange (ETDEWEB)
Hall, Michael J. W. [Theoretical Physics, Research School of Physics and Engineering, Australian National University, Canberra ACT 0200 (Australia)
2011-08-15
The combination of various physically plausible properties, such as no signaling, determinism, and experimental free will, is known to be incompatible with quantum correlations. Hence, these properties must be individually or jointly relaxed in any model of such correlations. The necessary degrees of relaxation are quantified here via natural distance and information-theoretic measures. This allows quantitative comparisons between different models in terms of the resources, such as the number of bits of randomness, communication, and/or correlation, that they require. For example, measurement dependence is a relatively strong resource for modeling singlet-state correlations, with only 1/15 of one bit of correlation required between measurement settings and the underlying variable. It is shown how various ''relaxed'' Bell inequalities may be obtained, which precisely specify the complementary degrees of relaxation required to model any given violation of a standard Bell inequality. The robustness of a class of Kochen-Specker theorems, to relaxation of measurement independence, is also investigated. It is shown that a theorem of Mermin remains valid unless measurement independence is relaxed by 1/3. The Conway-Kochen ''free will'' theorem and a result of Hardy are less robust, failing if measurement independence is relaxed by only 6.5% and 4.5%, respectively. An appendix shows that existence of an outcome-independent model is equivalent to existence of a deterministic model.
Experimenter's freedom in Bell's theorem and quantum cryptography
International Nuclear Information System (INIS)
Bell's theorem states that no local realistic explanation of quantum mechanical predictions is possible, in which the experimenter has a freedom to choose between different measurement settings. Within a local realistic picture the violation of Bell's inequalities can only be understood if this freedom is denied. We determine the minimal degree to which the experimenter's freedom has to be abandoned, if one wants to keep such a picture and be in agreement with the experiment. Furthermore, the freedom in choosing experimental arrangements may be considered as a resource, since its lacking can be used by an eavesdropper to harm the security of quantum communication. We analyze the security of quantum key distribution as a function of the (partial) knowledge the eavesdropper has about the future choices of measurement settings which are made by the authorized parties (e.g., on the basis of some quasi-random generator). We show that the equivalence between the violation of Bell's inequality and the efficient extraction of a secure key -which exists for the case of complete freedom (no setting knowledge) - is lost unless one adapts the bound of the inequality according to this lack of freedom
Bell's Theorem and Einstein's "Spooky Actions" from a Simple Thought Experiment
Kuttner, Fred; Rosenblum, Bruce
2010-01-01
In 1964 John Bell proved a theorem allowing the experimental test of whether what Einstein derided as "spooky actions at a distance" actually exist. We will see that they "do". Bell's theorem can be displayed with a simple, nonmathematical thought experiment suitable for a physics course at "any" level. And a simple, semi-classical derivation of…
Institute of Scientific and Technical Information of China (English)
CHEN Chang-Yong; GAO Ke-Lin
2005-01-01
A state-dependent proof of Bell's theorem without inequalities using the product state of any two maximally entangled states (Bell states) of two qubits for two observers in an ideal condition, each of which possesses two qubits,is proposed. It is different from the other proofs in which there exists a fundamental requirement that certain specific suitable Bell states have been chosen. Moreover, in any non-ideal situation, a common Bell inequality independent of the choices of the 16-product states is derived, which is used to test the contradiction between quantum mechanics and local reality theory in the reach of current experimental technology.
Bell's theorem tells us NOT what quantum mechanics IS, but what quantum mechanics IS NOT
Zukowski, Marek
2015-01-01
Non-locality, or quantum-non-locality, are buzzwords in the community of quantum foundation and information scientists, which purportedly describe the implications of Bell's theorem. When such phrases are treated seriously, that is it is claimed that Bell's theorem reveals non-locality as an inherent trait of the quantum description of the micro-world, this leads to logical contradictions, which will be discussed here. In fact, Bell's theorem, understood as violation of Bell inequalities by quantum predictions, is consistent with Bohr's notion of complementarity. Thus, if it points to anything, then it is rather the significance of the principle of Bohr, but even this is not a clear implication. Non-locality is a necessary consequence of Bell's theorem only if we reject complementarity by adopting some form of realism, be it additional hidden variables, additional hidden causes, etc., or counterfactual definiteness. The essay contains two largely independent parts. The first one is addressed to any reader int...
Bringing Bell's theorem back to the domain of Particle Physics & Cosmology
Hiesmayr, Beatrix C
2015-01-01
John St. Bell was a physicist working most of his time at CERN and contributing intensively and sustainably to the development of Particle Physics and Collider Physics. As a hobby he worked on so-called "foundations of quantum theory", that was that time very unpopular, even considered to be scientifically taboo. His 1964-theorem, showing that predictions of local realistic theories are different to those of quantum theory, initiated a new field in quantum physics: quantum information theory. The violation of Bell's theorem, for instance, is a necessary and sufficient criterion for generating a secure key for cryptography at two distant locations. This contribution shows how Bell's theorem can be brought to the realm of high energy physics and presents the first conclusive experimental feasible test for weakly decaying neutral mesons on the market. Strong experimental and theoretical limitations make a Bell test in weakly decaying systems such as mesons and hyperons very challenging, however, these systems sh...
Non-separability does not relieve the problem of Bell's theorem
Henson, Joe
2013-01-01
This paper addresses arguments that "separability" is an assumption of Bell's theorem, and that abandoning this assumption in our interpretation of quantum mechanics (a position sometimes referred to as "holism") will allow us to restore a satisfying locality principle. Separability here means that all events associated to the union of some set of disjoint regions are combinations of events associated to each region taken separately. In this article, it is shown that: (a) localised events can be consistently defined without implying separability; (b) the definition of Bell's locality condition does not rely on separability in any way; (c) the proof of Bell's theorem does not use separability as an assumption. If, inspired by considerations of non-separability, the assumptions of Bell's theorem are weakened, what remains no longer embodies the locality principle. Teller's argument for "relational holism" and Howard's arguments concerning separability are criticised in the light of these results. Howard's claim...
Bell's theorem and the measurement problem: reducing two mysteries to one?
Cavalcanti, Eric G
2016-01-01
In light of a recent reformulation of Bell's theorem from causal principles by Howard Wiseman and the author, I argue that the conflict between quantum theory and relativity brought up by Bell's work can be softened by a revision of our classical notions of causation. I review some recent proposals for a quantum theory of causation that make great strides towards that end, but highlight a property that is shared by all those theories that would not have satisfied Bell's realist inclinations. They require (implicitly or explicitly) agent-centric notions such as "controllables" and "uncontrollables", or "observed" and "unobserved". Thus they relieve the tensions around Bell's theorem by highlighting an issue more often associated with another deep conceptual issue in quantum theory: the measurement problem. Rather than rejecting those terms, however, I argue that we should understand why they seem to be, at least at face-value, needed in order to reach compatibility between quantum theory and relativity. This s...
Durham, Ian T.
2011-01-01
We demonstrate that both Wigner's form of Bell's inequalities as well as a form of the second law of thermodynamics, as manifest in Carath\\'{e}odory's principle, can be derived from the same simple experimental and statistical mechanical assumptions combined with the trivial behavior of integers. This suggests that Bell's theorem is merely a well-disguised statement of the second law. It also suggests that entanglement is necessary for quantum theory to be in full accord with the second law a...
Bell Theorem without Inequality for Some Generalized GHZ and W States
Institute of Scientific and Technical Information of China (English)
REN Chang-Liang; SHI Ming-Jun; DU Jiang-Feng
2007-01-01
Bell's theorem without inequalities is applied for some general Greenberger-Horn-Zeilinger (GHZ) states and W states and a wide range of such states can exhibit all-versus-nothing conflict between local realism and quantum theory. The case of standard GHZ state is contained in our proposal. For some generalized GHZ states more intensive violation on local realism is manifested.
Hidden assumptions in the derivation of the theorem of Bell
Hess, Karl; De Raedt, Hans; Michielsen, Kristel
2012-01-01
John Bell's inequalities have already been considered by Boole in 1862. Boole established a one-to-one correspondence between experimental outcomes and mathematical abstractions of his probability theory. His abstractions are two-valued functions that permit the logical operations AND, OR and NOT an
Significant-Loophole-Free Test of Bell's Theorem with Entangled Photons.
Giustina, Marissa; Versteegh, Marijn A M; Wengerowsky, Sören; Handsteiner, Johannes; Hochrainer, Armin; Phelan, Kevin; Steinlechner, Fabian; Kofler, Johannes; Larsson, Jan-Åke; Abellán, Carlos; Amaya, Waldimar; Pruneri, Valerio; Mitchell, Morgan W; Beyer, Jörn; Gerrits, Thomas; Lita, Adriana E; Shalm, Lynden K; Nam, Sae Woo; Scheidl, Thomas; Ursin, Rupert; Wittmann, Bernhard; Zeilinger, Anton
2015-12-18
Local realism is the worldview in which physical properties of objects exist independently of measurement and where physical influences cannot travel faster than the speed of light. Bell's theorem states that this worldview is incompatible with the predictions of quantum mechanics, as is expressed in Bell's inequalities. Previous experiments convincingly supported the quantum predictions. Yet, every experiment requires assumptions that provide loopholes for a local realist explanation. Here, we report a Bell test that closes the most significant of these loopholes simultaneously. Using a well-optimized source of entangled photons, rapid setting generation, and highly efficient superconducting detectors, we observe a violation of a Bell inequality with high statistical significance. The purely statistical probability of our results to occur under local realism does not exceed 3.74×10^{-31}, corresponding to an 11.5 standard deviation effect. PMID:26722905
Violation of Locality Beyond Bell's Theorem for Multiparticle Perfect Correlations
Institute of Scientific and Technical Information of China (English)
ZHENG Li; ZHENG Tai-Yu; WU Zhao-Yan; WAN Fan
2005-01-01
We present the analogous inequalities of Bell's inequality for N-qubit system predicted respectively by realistic theory, quantum mechanics, local theory, local realistic theory, and local quantum theory on the same Belltype joint experiment. It is shown that quantum mechanics can be interpreted by hidden-variable theories while being incompatible to any local theory. A necessary condition for the separability of N-qubit system is derived.
Bell's Theorem, Many Worlds and Backwards-Time Physics: Not Just a Matter of Interpretation
Werbos, Paul J
2008-01-01
The classic "Bell's Theorem" of Clauser, Holt, Shimony and Horne tells us that we must give up at least one of: (1) objective reality (aka "hidden variables"); (2) locality; or (3) time-forwards macroscopic statistics (aka "causality"). The orthodox Copenhagen version of physics gives up the first. The many-worlds theory of Everett and Wheeler gives up the second. The backwards-time theory of physics (BTP) gives up the third. Contrary to conventional wisdom, empirical evidence strongly favors Everett-Wheeler over orthodox Copenhagen. BTP has two major variations -- a many-worlds version, and a neoclassical version of partial differential equations (PDE) in the spirit of Einstein. Section 2 discusses quantum measurement according to BTP, focusing on how we represent condensed matter objects like polarizers in a Bell's Theorem experiment or in tests of Hawking's cosmology. The Backwards Time Telegraph, though speculative, is discussed.
Non-separability does not relieve the problem of Bell's theorem
Henson, Joe
2013-01-01
This paper addresses arguments that "separability" is an assumption of Bell's theorem, and that abandoning this assumption in our interpretation of quantum mechanics (a position sometimes referred to as "holism") will allow us to restore a satisfying locality principle. Separability here means that all events associated to the union of some set of disjoint regions are combinations of events associated to each region taken separately. In this article, it is shown that: (a) localised events can...
Bell's theorem and the measurement problem: reducing two mysteries to one?
Cavalcanti, Eric G.
2016-03-01
In light of a recent reformulation of Bell's theorem from causal principles by Wiseman and the author, I argue that the conflict between quantum theory and relativity brought up by Bell's work can be softened by a revision of our classical notions of causation. I review some recent proposals for a quantum theory of causation that make great strides towards that end, but highlight a property that is shared by all those theories that would not have satisfied Bell's realist inclinations. They require (implicitly or explicitly) agent-centric notions such as “controllables” and “uncontrollables”, or “observed” and “unobserved”. Thus they relieve the tensions around Bell's theorem by highlighting an issue more often associated with another deep conceptual issue in quantum theory: the measurement problem. Rather than rejecting those terms, however, I argue that we should understand why they seem to be, at least at face-value, needed in order to reach compatibility between quantum theory and relativity. This seems to suggest that causation, and thus causal structure, are emergent phenomena, and lends support to the idea that a resolution of the conflict between quantum theory and relativity necessitates a solution to the measurement problem.
Critical noncolorings of the 600-cell proving the Bell-Kochen-Specker theorem
Waegell, Mordecai
2009-01-01
Aravind and Lee-Elkin (1997) gave a proof of the Bell-Kochen-Specker theorem by showing that it is impossible to color the 60 directions from the center of a 600-cell to its vertices in a certain way. This paper refines that result by showing that the 60 directions contain many subsets of 36 and 30 directions that cannot be similarly colored, and so provide more economical demonstrations of the theorem. Further, these subsets are shown to be critical in the sense that deleting even a single direction from any of them causes the proof to fail. The critical sets of size 36 and 30 are shown to belong to orbits of 200 and 240 members, respectively, under the symmetries of the polytope. A comparison is made between these critical sets and other such sets in four dimensions, and the significance of these results is discussed.
A new look at Bell's inequalities and Nelson's theorem
Energy Technology Data Exchange (ETDEWEB)
Schulz, B.
2009-04-15
In 1985, Edward Nelson, who formulated the theory of stochastic mechanics, made an interesting remark about Bell's theorem. Nelson analysed the latter in the light of classical fields that behave randomly. He found that if a stochastic hidden variable theory fulfils certain conditions, the inequality of Bell can be violated. Moreover, Nelson was able to prove that this may happen without any instantaneous communication between the two spatially separated measurement stations. Since Nelson's article got almost overlooked by physicists, we try to review his comments on the theorem. We argue that a modification of stochastic mechanics published recently by Fritsche and Haugk can be extended to a theory which fulfils the requirements of Nelson's analysis. The article proceeds to derive the quantum mechanical formalism of spinning particles and the Pauli equation from this version of stochastic mechanics. Then, we investigate Bohm's version of the EPR experiment. Additionally, other setups, like entanglement swapping or time and position correlations, are shortly explained from the viewpoint of our local hidden-variable model. Finally, we mention that this theory could perhaps be relativistically extended and useful for the formulation of quantum mechanics in curved space-times. (Abstract Copyright [2009], Wiley Periodicals, Inc.)
International Nuclear Information System (INIS)
A trick discovered by Vaidman, Aharanov, and Albert permitting retrodiction of the outcomes of more measurements than one would naively have thought possible is extended to a case in which the retrodicted observables are forbidden all to have values by a Bell-Kochen-Specker theorem. A rather peculiar analysis shows that an even better trick that retrodicts the outcomes of more informative measurements of these same observables is impossible
A Mathematician's Viewpoint to Bell's theorem: In Memory of Walter Philipp
Khrennikov, Andrei
2006-01-01
In this paper dedicated to the memory of Walter Philipp, we formalize the rules of classical$\\to$ quantum correspondence and perform a rigorous mathematical analysis of the assumptions in Bell's NO-GO arguments.
Nonlocality, No-Signalling and Bell's Theorem investigated by Weyl's Conformal Differential Geometry
De Martini, Francesco; Santamato, Enrico
2014-01-01
The principles and methods of the Conformal Quantum Geometrodynamics (CQG) based on the Weyl's differential geometry are presented. The theory applied to the case of the relativistic single quantum spin 1/2 leads a novel and unconventional derivation of Dirac's equation. The further extension of the theory to the case of two spins 1/2 in EPR entangled state and to the related violation of Bell's inequalities leads, by an exact albeit non relativistic analysis, to an insightful resolution of a...
Nonlocality, no-signalling, and Bell's theorem investigated by Weyl conformal differential geometry
International Nuclear Information System (INIS)
The principles and methods of conformal quantum geometrodynamics based on Weyl differential geometry are presented. The theory applied to the case of the relativistic single quantum spin-(1/2) leads to a novel and unconventional derivation of the Dirac equation. The further extension of the theory to the case of two-spins-(1/2) in the EPR entangled state and to the related violation of Bell inequalities leads, by an exact non-relativistic analysis, to an insightful resolution of all paradoxes implied by quantum nonlocality. (paper)
A Bell theorem for two particles with no inequalities and inefficient detectors
International Nuclear Information System (INIS)
Full text: By the process of 'entanglement swapping', the experimentalists have created an amazing new state - two particles that have never met and which share no previous history and yet are completely entangled. It is very hard for a classically realistic, deterministic theory to explain such a state, and in fact we show that it cannot. However, one can go further and show that such a theory cannot even explain the results of certain types of experiments which use very inefficient detectors, thus closing an important loophole in Bell-type experiments. (The proof also does not use any 'random sampling' hypothesis, thus closing another important loophole.) (author)
An Entangled Web of Crime: Bell's Theorem as a Short Story
Jacobs, Kurt; Wiseman, Howard
2005-01-01
Non-locality of the type first elucidated by Bell in 1964 is a difficult concept to explain to non-specialists and undergraduates. Here we attempt this by showing how such non-locality can be used to solve a problem in which someone might find themselves as the result of a collection of normal, even if somewhat unlikely, events. Our story is told in the style of a Sherlock Holmes mystery, and is based on Mermin's formulation of the "paradoxical" illustration of quantum non-locality discovered...
An Entangled Web of Crime: Bell's Theorem as a Short Story
Jacobs, K; Jacobs, Kurt; Wiseman, Howard
2005-01-01
Non-locality of the type first elucidated by Bell in 1964 is a difficult concept to explain to non-specialists and undergraduates. Here we attempt this by showing how such non-locality can be used to solve a problem in which someone might find themselves as the result of a collection of normal, even if somewhat unlikely, events. Our story is told in the style of a Sherlock Holmes mystery, and is based on Mermin's formulation of the "paradoxical" illustration of quantum non-locality discovered by Greenberger, Horne and Zeilinger.
Relational interpretation of the wave function and a possible way around Bell's theorem
Filk, T
2006-01-01
The famous ``spooky action at a distance'' in the EPR-szenario is shown to be a local interaction, once entanglement is interpreted as a kind of ``nearest neighbor'' relation among quantum systems. Furthermore, the wave function itself is interpreted as encoding the ``nearest neighbor'' relations between a quantum system and spatial points. This interpretation becomes natural, if we view space and distance in terms of relations among spatial points. Therefore, ``position'' becomes a purely relational concept. This relational picture leads to a new perspective onto the quantum mechanical formalism, where many of the ``weird'' aspects, like the particle-wave duality, the non-locality of entanglement, or the ``mystery'' of the double-slit experiment, disappear. Furthermore, this picture cirumvents the restrictions set by Bell's inequalities, i.e., a possible (realistic) hidden variable theory based on these concepts can be local and at the same time reproduce the results of quantum mechanics.
De Raedt, Hans; Hess, Karl
2016-01-01
John Bell is generally credited to have accomplished the remarkable "proof" that any theory of physics, which is both Einstein-local and "realistic" (counterfactually definite), results in a strong upper bound to the correlations that are measured in space and time. He thus predicts that Einstein-Podolsky-Rosen experiments cannot violate Bell- type inequalities. We present a counterexample to this claim, based on discrete-event computer simulations. Our model-results fully agree with the predictions of quantum theory for Einstein-Podolsky-Rosen-Bohm experiments and are free of the detection- or a coincidence-loophole.
Hirota, O; Sohma, M; Li Ming Wei; Tang, Z L; Liao, C C
2002-01-01
In this report, we simulate practical feature of Yuen-Kim protocol for quantum key distribution with unconditional secure. In order to demonstrate them experimentally by intensity modulation/direct detection(IMDD) optical fiber communication system, we use simplified encoding scheme to guarantee security for key information(1 or 0). That is, pairwise M-ary intensity modulation scheme is employed. Furthermore, we give an experimental implementation of YK protocol based on IMDD. A proof of Bell's theorem without inequalities for two maximally entangled particles is proposed using the technique of quantum teleportation. It follows Hardy's arguments for a non-maximally entangled state with the help of two auxiliary particles without correlation. The present proof can be tested by measurements with 100% probability.
Simplest proof of Bell's inequality
Maccone, Lorenzo
2013-01-01
Bell's theorem is a fundamental result in quantum mechanics: it discriminates between quantum mechanics and all theories where probabilities in measurement results arise from the ignorance of pre-existing local properties. We give an extremely simple proof of Bell's inequality: a single figure suffices. This simplicity may be useful in the unending debate of what exactly the Bell inequality means, since the hypothesis at the basis of the proof become extremely transparent. It is also a useful didactic tool, as the Bell inequality can be explained in a single intuitive lecture.
Chaves, Rafael
2016-01-01
It is a recent realization that many of the concepts and tools of causal discovery in machine learning are highly relevant to problems in quantum information, in particular quantum nonlocality. The crucial ingredient in the connection between both fields is the mathematical theory of causality, allowing for the representation of arbitrary causal structures and providing a rigorous tool to reason about probabilistic causation. Indeed, Bell's theorem concerns a very particular kind of causal structure and Bell inequalities are a special case of linear constraints following from such models. It is thus natural to look for generalizations involving more complex Bell scenarios. The problem, however, relies on the fact that such generalized scenarios are characterized by polynomial Bell inequalities and no current method is available to derive them beyond very simple cases. In this work, we make a significant step in that direction, providing a new, general, and conceptually clear method for the derivation of polynomial Bell inequalities in a wide class of scenarios. We also show how our construction can be used to allow for relaxations of causal constraints and naturally gives rise to a notion of nonsignaling in generalized Bell networks.
International Nuclear Information System (INIS)
According to Maudlin, Bell showed that it is the World which is non-lcoal, and not just some particular theories of it. I argue that this conclusion is arrived at by taking for granted all assumptions of realism or ‘classicality’. If these are taken into account the resulting conclusion that ‘a classical world which allows for Bell inequality violations must be non-local’ is in good agreement with the mainstream perception of Bell's theorem(s). This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell’s theorem’. (comment)
John Bell and the Nature of the Quantum World
Bertlmann, Reinhold A
2014-01-01
I present my encounter with John Bell at CERN, our collaboration and joint work in particle physics. I also will recall our quantum debates and give my personal view on Bell's fundamental work on quantum theory, in particular, on contextuality and nonlocality of quantum physics. Some mathematical and geometric aspects of entanglement are discussed as influence of Bell's Theorem. Finally, I make some historical comments on the experimental side of Bell inequalities.
A simple proof of Bell's inequality
Maccone, Lorenzo
2013-11-01
Bell's theorem is a fundamental result in quantum mechanics: it discriminates between quantum mechanics and all theories where probabilities in measurement results arise from the ignorance of pre-existing local properties. We give an extremely simple proof of Bell's inequality; a single figure suffices. This simplicity may be useful in the unending debate over what exactly the Bell inequality means, because the hypotheses underlying the proof become transparent. It is also a useful didactic tool, as the Bell inequality can be explained in a single intuitive lecture.
Vakharia, Kavita; Vakharia, Kalpesh
2016-02-01
Bell's palsy is unilateral, acute onset facial paralysis that is a common condition. One in every 65 people experiences Bell's palsy in the course of their lifetime. The majority of patients afflicted with this idiopathic disorder recover facial function. Initial treatment involves oral corticosteroids, possible antiviral drugs, and protection of the eye from desiccation. A small subset of patients may be left with incomplete recovery, synkinesis, facial contracture, or hemifacial spasm. A combination of medical and surgical treatment options exist to treat the long-term sequelae of Bell's palsy. PMID:26611696
... Order Brochures News From NINDS Funding Information Research Programs Training & Career Awards Enhancing Diversity Find People About NINDS Bell's Palsy Fact Sheet See a list of all NINDS Disorders Get Web page suited for printing Email this to a friend ...
Bell's inequality violation with spins in silicon.
Dehollain, Juan P; Simmons, Stephanie; Muhonen, Juha T; Kalra, Rachpon; Laucht, Arne; Hudson, Fay; Itoh, Kohei M; Jamieson, David N; McCallum, Jeffrey C; Dzurak, Andrew S; Morello, Andrea
2016-03-01
Bell's theorem proves the existence of entangled quantum states with no classical counterpart. An experimental violation of Bell's inequality demands simultaneously high fidelities in the preparation, manipulation and measurement of multipartite quantum entangled states, and provides a single-number benchmark for the performance of devices that use such states for quantum computing. We demonstrate a Bell/ Clauser-Horne-Shimony-Holt inequality violation with Bell signals up to 2.70(9), using the electron and the nuclear spins of a single phosphorus atom embedded in a silicon nanoelectronic device. Two-qubit state tomography reveals that our prepared states match the target maximally entangled Bell states with >96% fidelity. These experiments demonstrate complete control of the two-qubit Hilbert space of a phosphorus atom and highlight the important function of the nuclear qubit to expand the computational basis and maximize the readout fidelity. PMID:26571006
Khrennikov, Andrei
2016-01-01
We analyze foundational consequences of recently announced loophole free tests of violation of Bell's inequality. We consider two interpretations of these remarkable experiments. By the conventional one "Einstein was wrong and Bohr was right, there is spooky action at a distance, quantum realism is incompatible with locality." However, we show that it is still possible to treat quantum mechanics without appealing to nonlocality or denying realism. We hope that this note will attract attention of the experts in quantum foundations and convince them to come with their own comments on the final Bell's test.
John Bell and the nature of the quantum world
International Nuclear Information System (INIS)
I present my encounter with John Bell at CERN, our collaboration and joint work in particle physics. I also recall our quantum debates and give my personal view on Bell's fundamental work on quantum theory, in particular, on contextuality and nonlocality of quantum physics. Some mathematical and geometric aspects of entanglement are discussed as influence of Bell's theorem. Finally, I make some historical comments on the experimental side of Bell inequalities. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell’s theorem’. (paper)
John Bell and the nature of the quantum world
Bertlmann, Reinhold A.
2014-10-01
I present my encounter with John Bell at CERN, our collaboration and joint work in particle physics. I also recall our quantum debates and give my personal view on Bell's fundamental work on quantum theory, in particular, on contextuality and nonlocality of quantum physics. Some mathematical and geometric aspects of entanglement are discussed as influence of Bell's theorem. Finally, I make some historical comments on the experimental side of Bell inequalities. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell’s theorem’.
CERN. Geneva
2004-01-01
2s-1, 10 times as much as we obtain now. This presentation describes Belle's efficient computing operations, struggles to manage large amount of raw and physics data, and plans for Belle computing for Super KEKB/Belle.
Schleimer, Saul
2009-01-01
This note is an exposition of Waldhausen's proof of Waldhausen's Theorem: the three-sphere has a single Heegaard splitting, up to isotopy, in every genus. As a necessary step we also give a sketch of the Reidemeister-Singer Theorem.
Heck, Richard G
2011-01-01
Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy. The Theorem is the central contribution of Gottlob Frege's formal work on arithmetic. It tells us that the axioms of arithmetic can be derived, purely logically, from a single principle: the number of these things is the same as the number of those things just in case these can be matched up one-to-one with those. But that principle seems so utterlyfundamental to thought about number that it might almost count as a definition of number. If so, Frege's Theorem shows that a
All entangled pure states violate a single Bell's inequality.
Yu, Sixia; Chen, Qing; Zhang, Chengjie; Lai, C H; Oh, C H
2012-09-21
We show that a single Bell's inequality with two dichotomic observables for each observer, which originates from Hardy's nonlocality proof without inequalities, is violated by all entangled pure states of a given number of particles, each of which may have a different number of energy levels. Thus Gisin's theorem is proved in its most general form from which it follows that for pure states Bell's nonlocality and quantum entanglement are equivalent. PMID:23005926
John Stewart Bell and twentieth century physics vision and integrity
Whitaker, Andrew
2016-01-01
John Stewart Bell (1928-1990) was one of the most important figures in twentieth-century physics, famous for his work on the fundamental aspects of the century's most important theory, quantum mechanics. While the debate over quantum theory between the supremely famous physicists, Albert Einstein and Niels Bohr, appeared to have become sterile in the 1930s, Bell was able to revive it and to make crucial advances - Bell's Theorem or Bell's Inequalities. He was able to demonstrate a contradiction between quantum theory and essential elements of pre-quantum theory - locality and causality. The book gives a non-mathematical account of Bell's relatively impoverished upbringing in Belfast and his education. It describes his major contributions to quantum theory, but also his important work in the physics of accelerators, and nuclear and elementary particle physics.
All Pure Entangled States of Three-Qubit System Violate a Bell Inequality For Probabilities
Chen, J L; Kwek, L C; Oh, C H; Chen, Jing-Ling; Wu, Chun-Feng
2003-01-01
We present a Theorem that all generalized GHZ states of three-qubit system violation a Bell inequality in terms of probabilities. We also show that all pure entangled states of three-qubit system violate a Bell inequality for probabilities.
International Nuclear Information System (INIS)
Noether's theorem attains its maximum simplicity and depth when formulated in curved space-time, gravitation being included. Extension to curved space-times is here made simple by the use of a formulation, for the flat case, due to Jackiw. The exposition purports to be pedagogical. (Author)
On the Analysis of Bell's 1964 Paper by Wiseman, Cavalcanti, and Rieffel
Gillis, Edward J
2015-01-01
In a recent series of papers Wiseman, Cavalcanti, and Rieffel have outlined and contrasted the operationalist and realist views about what we now call Bell's theorem. They also assert that Bell presented these two different versions at different times. A careful examination of the historic 1964 paper and of the writings of Bell and others that preceded it shows clearly that their interpretation of that paper is incorrect.
Bell inequalities for quantum optical fields
Żukowski, Marek; Wieśniak, Marcin; Laskowski, Wiesław
2016-08-01
The commonly used "practical" Bell inequalities for quantum optical fields, which use intensities as the observables, are derivable only if specific additional assumptions hold. This limits the range of local hidden variable theories, which are invalidated by their violation. We present alternative Bell inequalities, which do not suffer from any (theoretical) loophole. The inequalities are for correlations of averaged products of local rates. By rates we mean ratios of the measured intensity in the given local output channel to the total local measured intensity, in the given run of the experiment. Bell inequalities of this type detect entanglement in situations in which the "practical" ones fail. Thus, we have full consistency with Bell's theorem, and better device-independent entanglement indicators. Strongly driven type-II parametric down conversion (bright squeezed vacuum) is our working example. The approach can be used to modify many types of standard Bell inequalities, to the case of undefined particle numbers. The rule is to replace the usual probabilities by rates.
Miyake, Hideki; Grzymkowski, Rafal; Ludacka, Radek; Schram, Malachi
2015-12-01
The Belle II experiment will record a similar quantity of data to LHC experiments and will acquire it at similar rates. This requires considerable computing, storage and network resources to handle not only data created by the experiment but also considerable amounts of simulated data. Consequently Belle II employs a distributed computing system to provide the resources coordinated by the the DIRAC interware. DIRAC is a general software framework that provides a unified interface among heterogeneous computing resources. In addition to the well proven DIRAC software stack, Belle II is developing its own extension called BelleDIRAC. BelleDIRAC provides a transparent user experience for the Belle II analysis framework (basf2) on various environments and gives access to file information managed by LFC and AMGA metadata catalog. By unifying DIRAC and BelleDIRAC functionalities, Belle II plans to operate an automated mass data processing framework named a “production system”. The Belle II production system enables large-scale raw data transfer from experimental site to raw data centers, followed by massive data processing, and smart data delivery to each remote site. The production system is also utilized for simulated data production and data analysis. Although development of the production system is still on-going, recently Belle II has prepared prototype version and evaluated it with a large scale simulated data production. In this presentation we will report the evaluation of the prototype system and future development plans.
Particle Identification with BELLE
Satpathy, A
1999-01-01
The working principle and performance of the BELLE particle identification device (PID), based on a hybrid system consisting of an array of high precision scintillator Time of Flight and silica Aerogel Counters, is discussed. The performances achieved in the beam tests are satisfactory and Monte Carlo tests of meeting physics objectives of BELLE are promising. Prior to the real experiment which is expected to commence in spring 1999, the BELLE PID is taking cosmic ray data for calibration and fine tuning.
Bell's inequalities definitely proved
International Nuclear Information System (INIS)
According to quantum physics, two bonded particles instantly adopt the same behaviour when we measure them, whatever be the distance between them. For Einstein, this phenomenon could only be explained by the existence of hidden parameters which were not taken by quantum physics into account. Since the 1970's, experiments have been testing these ideas, based on the Bell's inequalities theorem which states that Einstein's assumptions are true within specific limits. The article more particularly presents and comments a recent experiment performed in Orsay which demonstrates that these hidden variables do not exist and prove the validity of Bell's inequalities. The researchers explain why previous experiments did not reach these results: they displayed detection and localisation defects
A quantum loophole to Bell nonlocality
Romero-Rochin, Victor
2015-01-01
We argue that the conclusion of Bell theorem, namely, that there must be spatial non-local correlations in certain experimental situations, does not apply to typical individual measurements performed on entangled EPR pairs. Our claim is based on three points, (i) on the notion of quantum {\\it complete measurements}; (ii) on Bell results on local yet distant measurements; and (iii) on the fact that perfect simultaneity is banned by the quantum mechanics. We show that quantum mechanics indicates that, while the measurements of the pair members are indeed space-like separated, the pair measurement is actually a sequence of two complete measurements, the first one terminating the entanglement and, therefore, the second one becoming unrelated to the initial preparation of the entangled pair. The outstanding feature of these measurements is that neither of them violates the principle of locality. We discuss that the present measurement viewpoint appears to run contrary to the usual interpretation of "superposition"...
Percival, Ian C.
2000-01-01
Experiments over three decades have been unable to demonstrate weak nonlocality in the sense of Bell unambiguously, without loopholes. The last important loophole remaining is the detection loophole, which is being tackled by at least three experimental groups. This letter counters five common beliefs about Bell experiments, and presents alternative scenarios for future developments.
Treasures inside the bell hidden order in chance
Puente, Carlos E
2003-01-01
Generalized versions of the central limit theorem that lead to Gaussian distributions over one and higher dimensions, via arbitrary iterations of simple mappings, have recently been discovered by the author of this publication and his collaborators. Treasures Inside the Bell: Hidden Order in Chance reveals how these new constructions result in infinite exotic kaleidoscopic decompositions of two-dimensional circular bells in terms of beautiful deterministic patterns possessing arbitrary n-fold symmetries. These are patterns that, while reminding us of the infinite structure previously found in
Cost of exactly simulating a Bell pair using classical communication
International Nuclear Information System (INIS)
The paper G. Brassard, R. Cleve, and A. Tapp, Phys. Rev. Lett. 83, 1874 (1999) begins thus: 'Bell's celebrated theorem shows that certain scenarios involving bipartite quantum measurements result in correlations that are impossible to simulate with a classical system if the measurement events are spacelike separated. If the measurement events are timelike separated, then classical simulation is possible, at the expense of some communication. Our goal is to quantify the required amount of communication.' In this note we tighten the bounds on the amount of communication required to simulate a von Neumann measurement on a Bell pair
Indian Academy of Sciences (India)
Kazuo Abe
2003-02-01
The Belle experiment continues to explore the origin of CP violation and test all aspects of standard model in meson decays. Recent results on CP violating paramter sin 21 and other measurements are presented.
Institute of Scientific and Technical Information of China (English)
孔雪伟
2004-01-01
A tiny, two-year-old blonde, recovering from surgical removal (外科切除) of her cancerous left eye, discovers in her mailbox a brightly colored package with a big sticker of hugging bears under a rainbow. Tearing open the box, Belle cries "Mama, look, it's teddy bears! " The bears (and the goodie package of gifts) bring about something that hadn't happened in quite a while: Belle smiles!
Paramati, Manjula; Tirumkudulu, Mahesh S.
2016-03-01
A smooth circular moving liquid sheet is formed by the head-on impingement of two equal laminar water jets. We subject such a liquid sheet to uniform laminar air flow from one side such that the direction of air velocity is perpendicular to the liquid sheet. The pressure of the moving air deforms the liquid sheet giving rise to an open water bell. The water bell is symmetric suggesting that the gas flow around the bell is also symmetric and that the gravitational force is negligible. We have captured the shape of the water bells for varying air flow rates and for varying Weber numbers, and compared the measurements with theoretical predictions obtained from a force balance involving liquid inertia, surface tension, and pressure difference across the sheet. The pressure exerted by the gas phase on the front and the rear surface of the deformed liquid sheet is obtained from known results of flow past flat circular discs. The predicted steady state shapes match well with the measurements at low Weber numbers but differences are observed at high Weber numbers, where the sheet flaps and is no longer smooth. Interestingly, the shape predicted by assuming a constant pressure difference equal to the stagnation pressure over the whole of the front face of the sheet and free stream value over the whole of the rear face yields nearly identical results suggesting that an open water bell is similar to a closed water bell in that, to a good approximation, the pressure on either sides of the water bell is homogeneous.
Bell's theorem and the demise of local reality
McAdam, S
2003-01-01
"The advent of quantum physics led to the insight that the act of observation may affect that which is observed. In fact, it can be argued that the act of observation sometimes actually creates that which is observed. One can consider the possibility that the momentum of a particle does not exist until something happens to cause its momentum to exist" (2 pages).
Bell Theorem for Nonclassical Part of Quantum Teleportation Process
Zukowski, Marek
1999-01-01
The quantum teleportation process is composed of a joint measurement performed upon two subsystems A and B (uncorrelated), followed by a unitary transformation (parameters of which depend on the outcome of the measurement) performed upon a third subsystem C (EPR correlated with system B). The information about the outcome of the measurement is transferred by classical means. The measurement performed upon the systems A and B collapses their joint wavefunction into one of the four {\\it entangl...
Solving Large-Scale Optimization Problems Related to Bell's Theorem
Gondzio, Jacek; Hall, J A Julian; Laskowski, Wiesław; Żukowski, Marek
2014-01-01
Impossibility of finding local realistic models for quantum correlations due to entanglement is an important fact in foundations of quantum physics, gaining now new applications in quantum information theory. We present an in-depth description of a method of testing the existence of such models, which involves two levels of optimization: a higher-level non-linear task and a lower-level linear programming (LP) task. The article compares the performances of the existing implementation of the method, where the LPs are solved with the simplex method, and our new implementation, where the LPs are solved with a matrix-free interior point method. We describe in detail how the latter can be applied to our problem, discuss the basic scenario and possible improvements and how they impact on overall performance. Significant performance advantage of the matrix-free interior point method over the simplex method is confirmed by extensive computational results. The new method is able to solve problems which are orders of ma...
Deterministic and efficient quantum cryptography based on Bell's theorem
International Nuclear Information System (INIS)
Full text: We propose a novel double-entanglement-based quantum cryptography protocol that is both efficient and deterministic. The proposal uses photon pairs with entanglement both in polarization and in time degrees of freedom; each measurement in which both of the two communicating parties register a photon can establish a key bit with the help of classical communications. Eavesdropping can be detected by checking the violation of local realism for the detected events. We also show that our protocol allows a robust implementation under current technology. (author)
Deterministic and efficient quantum cryptography based on Bell's theorem
International Nuclear Information System (INIS)
We propose a double-entanglement-based quantum cryptography protocol that is both efficient and deterministic. The proposal uses photon pairs with entanglement both in polarization and in time degrees of freedom; each measurement in which both of the two communicating parties register a photon can establish one and only one perfect correlation, and thus deterministically create a key bit. Eavesdropping can be detected by violation of local realism. A variation of the protocol shows a higher security, similar to the six-state protocol, under individual attacks. Our scheme allows a robust implementation under the current technology
International Nuclear Information System (INIS)
The 'Bell' of the title refers to bipartite Bell states, and their extensions to, for example, tripartite systems. The 'Group' of the title is the Braid Group in its various representations; while 'Tangle' refers to the property of entanglement which is present in both of these scenarios. The objective of this note is to explore the relation between Quantum Entanglement and Topological Links, and to show that the use of the language of entanglement in both cases is more than one of linguistic analogy.
Software Development at Belle II
Kuhr, Thomas; Hauth, Thomas
2015-12-01
Belle II is a next generation B-factory experiment that will collect 50 times more data than its predecessor Belle. This requires not only a major upgrade of the detector hardware, but also of the simulation, reconstruction, and analysis software. The challenges of the software development at Belle II and the tools and procedures to address them are reviewed in this article.
The Bell Inequality and Entanglement
Munro, W J; Nemoto, K.; White, A. G.
2001-01-01
Entanglement is a critical resource used in many current quantum information schemes. As such entanglement has been extensively studied in two qubit systems and its entanglement nature has been exhibited by violations of the Bell inequality. Can the amount of violation of the Bell inequality be used to quantify the degree of entanglement. What do Bell inequalities indicate about the nature of entanglement?
Bell's Universe: A Personal Recollection
Bertlmann, Reinhold A
2016-01-01
My collaboration and friendship with John Bell is recollected. I will explain his outstanding contributions in particle physics, in accelerator physics, and his joint work with Mary Bell. Mary's work in accelerator physics is also summarized. I recall our quantum debates, mention some personal reminiscences, and give my personal view on Bell's fundamental work on quantum theory, in particular, on the concept of contextuality and nonlocality of quantum physics. Finally, I describe the huge influence Bell had on my own work, in particular on entanglement and Bell inequalities in particle physics and their experimental verification, and on mathematical physics, where some geometric aspects of the quantum states are illustrated.
International Nuclear Information System (INIS)
We examine a soft scalar theorem which has proved useful in the evaluation of certain Feynman graphs. The use of this theorem is described in connection with the determination of the Λnphi coupling in a unified model of weak and electromagnetic interactions. (author)
Smith, Michael D.
2016-01-01
The Parity Theorem states that any permutation can be written as a product of transpositions, but no permutation can be written as a product of both an even number and an odd number of transpositions. Most proofs of the Parity Theorem take several pages of mathematical formalism to complete. This article presents an alternative but equivalent…
Saa, Diego
2005-01-01
Goedel's results have had a great impact in diverse fields such as philosophy, computer sciences and fundamentals of mathematics. The fact that the rule of mathematical induction is contradictory with the rest of clauses used by Goedel to prove his undecidability and incompleteness theorems is proved in this paper. This means that those theorems are invalid.
Teleportation, Bell's inequalities and inseparability
International Nuclear Information System (INIS)
Relations between teleportation, Bell's inequalities and inseparability are investigated. It is shown that any mixed two spin-1/2 state which violates the Bell-CHSH inequality is useful for teleportation. The result is extended to any Bell's inequalities constructed from the expectation values of products of spin operators. It is also shown that there exist inseparable states which are not useful for teleportation within the standard scheme. (orig.)
Bell's Universe: A Personal Recollection
Bertlmann, Reinhold A.
2016-01-01
My collaboration and friendship with John Bell is recollected. I will explain his outstanding contributions in particle physics, in accelerator physics, and his joint work with Mary Bell. Mary's work in accelerator physics is also summarized. I recall our quantum debates, mention some personal reminiscences, and give my personal view on Bell's fundamental work on quantum theory, in particular, on the concept of contextuality and nonlocality of quantum physics. Finally, I describe the huge inf...
Kreutzer, Stephan
2009-01-01
Algorithmic meta-theorems are general algorithmic results applying to a whole range of problems, rather than just to a single problem alone. They often have a "logical" and a "structural" component, that is they are results of the form: every computational problem that can be formalised in a given logic L can be solved efficiently on every class C of structures satisfying certain conditions. This paper gives a survey of algorithmic meta-theorems obtained in recent years and the methods used to prove them. As many meta-theorems use results from graph minor theory, we give a brief introduction to the theory developed by Robertson and Seymour for their proof of the graph minor theorem and state the main algorithmic consequences of this theory as far as they are needed in the theory of algorithmic meta-theorems.
Rossing, Thomas D.
2001-05-01
The art of casting bronze bells developed to a high level of sophistication in China during the Shang dynasty (1766-1123 BC). Many chimes of two-tone bells remain from the Western and Eastern Zhou dynasties (1122-249 BC). With the spread of Buddhism from the third century, large round temple bells developed in China and later in Korea, Japan, and other Asian countries. Vibrational modes of some of these bells have been studied by means of holographic interferometry and experimental modal testing. Their musical as well as acoustical properties are discussed.
Electron Identification in Belle
Hanagaki, K; Ikeda, H; Iijima, T; Tsukamoto, T
2002-01-01
We report on electron identification methods and their performance in the Belle experiment at the KEK-B asymmetric B-Factory $e^{+} e^{-}$ storage ring. Electrons are selected using a likelihood approach that takes information from the electromagnetic calorimeter, the central drift chamber, and the silica aerogel Cherenkov counters as input. We achieve an electron identification efficiency of $(92.4 \\pm 0.4)%$ with a $\\pi^{\\pm}$ fake rate of $(0.25 \\pm 0.02)%$ for the momentum range between 1.0 GeV/$c$ and 3.0 GeV/$c$ in laboratory frame.
Intersection homology Kunneth theorems
Friedman, Greg
2008-01-01
Cohen, Goresky and Ji showed that there is a Kunneth theorem relating the intersection homology groups $I^{\\bar p}H_*(X\\times Y)$ to $I^{\\bar p}H_*(X)$ and $I^{\\bar p}H_*(Y)$, provided that the perversity $\\bar p$ satisfies rather strict conditions. We consider biperversities and prove that there is a K\\"unneth theorem relating $I^{\\bar p,\\bar q}H_*(X\\times Y)$ to $I^{\\bar p}H_*(X)$ and $I^{\\bar q}H_*(Y)$ for all choices of $\\bar p$ and $\\bar q$. Furthermore, we prove that the Kunneth theorem...
To string together six theorems of physics by Pythagoras theorem
Cui, H. Y.
2002-01-01
In this paper, we point out that there are at lest six theorems in physics sharing common virtue of Pythagoras theorem, so that it is possible to string these theorems together with the Pythagoras theorem for physics teaching, the six theorems are Newton's three laws of motion, universal gravitational force, Coulomb's law, and the formula of relativistic dynamics. Knowing the internal relationships between them, which have never been clearly revealed by other author, will benefit the logic of...
Virial Theorem and Hypervirial Theorem in a spherical geometry
Li, Yan; Zhang, Fu-Lin; Chen, Jing-Ling
2010-01-01
The Virial Theorem in the one- and two-dimensional spherical geometry are presented, in both classical and quantum mechanics. Choosing a special class of Hypervirial operators, the quantum Hypervirial relations in the spherical spaces are obtained. With the aid of the Hellmann-Feynman Theorem, these relations can be used to formulate a \\emph{perturbation theorem without wave functions}, corresponding to the Hypervirial-Hellmann-Feynman Theorem perturbation theorem of Euclidean geometry. The o...
Zapletal, Jindrich
2005-01-01
I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included.
Bell's palsy before Bell : Cornelis Stalpart van der Wiel's observation of Bell's palsy in 1683
van de Graaf, RC; Nicolai, JPA
2005-01-01
Bell's palsy is named after Sir Charles Bell (1774-1842), who has long been considered to be the first to describe idiopathic facial paralysis in the early 19th century. However, it was discovered that Nicolaus Anton Friedreich (1761-1836) and James Douglas (1675-1742) preceded him in the 18th centu
Bellac, Michel Le
2014-11-01
The final form of quantum physics, in the particular case of wave mechanics, was established in the years 1925-1927 by Heisenberg, Schrödinger, Born and others, but the synthesis was the work of Bohr who gave an epistemological interpretation of all the technicalities built up over those years; this interpretation will be examined briefly in Chapter 10. Although Einstein acknowledged the success of quantum mechanics in atomic, molecular and solid state physics, he disagreed deeply with Bohr's interpretation. For many years, he tried to find flaws in the formulation of quantum theory as it had been more or less accepted by a large majority of physicists, but his objections were brushed away by Bohr. However, in an article published in 1935 with Podolsky and Rosen, universally known under the acronym EPR, Einstein thought he had identified a difficulty in the by then standard interpretation. Bohr's obscure, and in part beyond the point, answer showed that Einstein had hit a sensitive target. Nevertheless, until 1964, the so-called Bohr-Einstein debate stayed uniquely on a philosophical level, and it was actually forgotten by most physicists, as the few of them aware of it thought it had no practical implication. In 1964, the Northern Irish physicist John Bell realized that the assumptions contained in the EPR article could be tested experimentally. These assumptions led to inequalities, the Bell inequalities, which were in contradiction with quantum mechanical predictions: as we shall see later on, it is extremely likely that the assumptions of the EPR article are not consistent with experiment, which, on the contrary, vindicates the predictions of quantum physics. In Section 3.2, the origin of Bell's inequalities will be explained with an intuitive example, then they will be compared with the predictions of quantum theory in Section 3.3, and finally their experimental status will be reviewed in Section 3.4. The debate between Bohr and Einstein goes much beyond a
Electroweak physics from Belle
International Nuclear Information System (INIS)
We report a study of τ- to π- π+ π- ν, τ- to K- π+ π- ν, τ- to K- K+ π- ν and τ- to K- K+ K- ν decays using a 666 fb-1 data sample collected with the Belle detector at the KEKB asymmetric-energy e+ e- collider. We present the branching fractions as well as the unfolded mass spectra of the total hadronic system for these four decay modes. We also report the result of a search for a second class current (SCC) via τ to π η' ν decays. Sensitivity at the 10-5 level can be achieved, while the branching fraction for a SCC is predicted to be at the 10-6 - 10-5 level in several phenomenological models. (author)
International Nuclear Information System (INIS)
On the 50th anniversary of Bell’s monumental 1964 paper, there is still widespread misunderstanding about exactly what Bell proved. This misunderstanding derives in turn from a failure to appreciate the earlier argument of Einstein, Podolsky and Rosen. I retrace the history and logical structure of these arguments in order to clarify the proper conclusion, namely that any world that displays violations of Bell’s inequality for experiments done far from one another must be non-local. Since the world we happen to live in displays such violations, actual physics is non-local. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell’s theorem’. (paper)
Peres, A
1999-01-01
Bell inequalities are derived for any number of observers, any number of alternative setups for each one of them, and any number of distinct outcomes for each experiment. It is shown that if a physical system consists of several distant subsystems, and if the results of tests performed on the latter are determined by local variables with objective values, then the joint probabilities for triggering any given set of distant detectors are convex combinations of a finite number of Boolean arrays, whose components are either 0 or 1 according to a simple rule. This convexity property is both necessary and sufficient for the existence of local objective variables. It leads to a simple graphical method which produces a large number of generalized Clauser-Horne inequalities corresponding to the faces of a convex polytope. It is plausible that quantum systems whose density matrix has a positive partial transposition satisfy all these inequalities, and therefore are compatible with local objective variables, even if th...
Bansal, Vikas
2015-01-01
The Belle II experiment at the SuperKEKB collider in Tsukuba, Japan, will start physics data taking in 2018 and will accumulate 50 ab$^{-1}$ of e$^{+}$e$^{-}$ collision data, about 50 times larger than the data set of the earlier Belle experiment. The computing requirements of Belle II are comparable to those of a run I high-p$_T$ LHC experiment. Computing will make full use of such grids in North America, Asia, Europe, and Australia, and high speed networking. Results of an initial MC simulation campaign with 3 ab$^{-1}$ equivalent luminosity will be described
Belle II Technical Design Report
Abe, T; Adamczyk, K; Ahn, S; Aihara, H; Akai, K; Aloi, M; Andricek, L; Aoki, K; Arai, Y; Arefiev, A; Arinstein, K; Arita, Y; Asner, D M; Aulchenko, V; Aushev, T; Aziz, T; Bakich, A M; Balagura, V; Ban, Y; Barberio, E; Barvich, T; Belous, K; Bergauer, T; Bhardwaj, V; Bhuyan, B; Blyth, S; Bondar, A; Bonvicini, G; Bozek, A; Bracko, M; Brodzicka, J; Brovchenko, O; Browder, T E; Cao, G; Chang, M -C; Chang, P; Chao, Y; Chekelian, V; Chen, A; Chen, K -F; Chen, P; Cheon, B G; Chiang, C -C; Chistov, R; Cho, K; Choi, S -K; Chung, K; Comerma, A; Cooney, M; Cowley, D E; Critchlow, T; Dalseno, J; Danilov, M; Dieguez, A; Dierlamm, A; Dillon, M; Dingfelder, J; Dolenec, R; Dolezal, Z; Drasal, Z; Drutskoy, A; Dungel, W; Dutta, D; Eidelman, S; Enomoto, A; Epifanov, D; Esen, S; Fast, J E; Feindt, M; Garcia, M Fernandez; Fifield, T; Fischer, P; Flanagan, J; Fourletov, S; Fourletova, J; Freixas, L; Frey, A; Friedl, M; Fruehwirth, R; Fujii, H; Fujikawa, M; Fukuma, Y; Funakoshi, Y; Furukawa, K; Fuster, J; Gabyshev, N; Cueto, A Gaspar de Valenzuela; Garmash, A; Garrido, L; Geisler, Ch; Gfall, I; Goh, Y M; Golob, B; Gorton, I; Grzymkowski, R; Guo, H; Ha, H; Haba, J; Hara, K; Hara, T; Haruyama, T; Hayasaka, K; Hayashi, K; Hayashii, H; Heck, M; Heindl, S; Heller, C; Hemperek, T; Higuchi, T; Horii, Y; Hou, W -S; Hsiung, Y B; Huang, C -H; Hwang, S; Hyun, H J; Igarashi, Y; Iglesias, C; Iida, Y; Iijima, T; Imamura, M; Inami, K; Irmler, C; Ishizuka, M; Itagaki, K; Itoh, R; Iwabuchi, M; Iwai, G; Iwai, M; Iwasaki, M; Iwasaki, M; Iwasaki, Y; Iwashita, T; Iwata, S; Jang, H; Ji, X; Jinno, T; Jones, M; Julius, T; Kageyama, T; Kah, D H; Kakuno, H; Kamitani, T; Kanazawa, K; Kapusta, P; Kataoka, S U; Katayama, N; Kawai, M; Kawai, Y; Kawasaki, T; Kennedy, J; Kichimi, H; Kikuchi, M; Kiesling, C; Kim, B K; Kim, G N; Kim, H J; Kim, H O; Kim, J -B; Kim, J H; Kim, M J; Kim, S K; Kim, K T; Kim, T Y; Kinoshita, K; Kishi, K; Kisielewski, B; van Dam, K Kleese; Knopf, J; Ko, B R; Koch, M; Kodys, P; Koffmane, C; Koga, Y; Kohriki, T; Koike, S; Koiso, H; Kondo, Y; Korpar, S; Kouzes, R T; Kreidl, Ch; Kreps, M; Krizan, P; Krokovny, P; Krueger, H; Kruth, A; Kuhn, W; Kuhr, T; Kumar, R; Kumita, T; Kupper, S; Kuzmin, A; Kvasnicka, P; Kwon, Y -J; Lacasta, C; Lange, J S; Lee, I -S; Lee, M J; Lee, M W; Lee, S -H; Lemarenko, M; Li, J; Li, W D; Li, Y; Libby, J; Limosani, A; Liu, C; Liu, H; Liu, Y; Liu, Z; Liventsev, D; Virto, A Lopez; Makida, Y; Mao, Z P; Marinas, C; Masuzawa, M; Matvienko, D; Mitaroff, W; Miyabayashi, K; Miyata, H; Miyazaki, Y; Miyoshi, T; Mizuk, R; Mohanty, G B; Mohapatra, D; Moll, A; Mori, T; Morita, A; Morita, Y; Moser, H -G; Martin, D Moya; Mueller, T; Muenchow, D; Murakami, J; Myung, S S; Nagamine, T; Nakamura, I; Nakamura, T T; Nakano, E; Nakano, H; Nakao, M; Nakazawa, H; Nam, S -H; Natkaniec, Z; Nedelkovska, E; Negishi, K; Neubauer, S; Ng, C; Ninkovic, J; Nishida, S; Nishimura, K; Novikov, E; Nozaki, T; Ogawa, S; Ohmi, K; Ohnishi, Y; Ohshima, T; Ohuchi, N; Oide, K; Olsen, S L; Ono, M; Ono, Y; Onuki, Y; Ostrowicz, W; Ozaki, H; Pakhlov, P; Pakhlova, G; Palka, H; Park, H; Park, H K; Peak, L S; Peng, T; Peric, I; Pernicka, M; Pestotnik, R; Petric, M; Piilonen, L E; Poluektov, A; Prim, M; Prothmann, K; Regimbal, K; Reisert, B; Richter, R H; Riera-Babures, J; Ritter, A; Ritter, A; Ritter, M; Roehrken, M; Rorie, J; Rosen, M; Rozanska, M; Ruckman, L; Rummel, S; Rusinov, V; Russell, R M; Ryu, S; Sahoo, H; Sakai, K; Sakai, Y; Santelj, L; Sasaki, T; Sato, N; Sato, Y; Scheirich, J; Schieck, J; Schwanda, C; Schwartz, A J; Schwenker, B; Seljak, A; Senyo, K; Seon, O -S; Sevior, M E; Shapkin, M; Shebalin, V; Shen, C P; Shibuya, H; Shiizuka, S; Shiu, J -G; Shwartz, B; Simon, F; Simonis, H J; Singh, J B; Sinha, R; Sitarz, M; Smerkol, P; Sokolov, A; Solovieva, E; Stanic, S; Staric, M; Stypula, J; Suetsugu, Y; Sugihara, S; Sugimura, T; Sumisawa, K; Sumiyoshi, T; Suzuki, K; Suzuki, S Y; Takagaki, H; Takasaki, F; Takeichi, H; Takubo, Y; Tanaka, M; Tanaka, S; Taniguchi, N; Tarkovsky, E; Tatishvili, G; Tawada, M; Taylor, G N; Teramoto, Y; Tikhomirov, I; Trabelsi, K; Tsuboyama, T; Tsunada, K; Tu, Y -C; Uchida, T; Uehara, S; Ueno, K; Uglov, T; Unno, Y; Uno, S; Urquijo, P; Ushiroda, Y; Usov, Y; Vahsen, S; Valentan, M; Vanhoefer, P; Varner, G; Varvell, K E; Vazquez, P; Vila, I; Vilella, E; Vinokurova, A; Visniakov, J; Vos, M; Wang, C H; Wang, J; Wang, M -Z; Wang, P; Wassatch, A; Watanabe, M; Watase, Y; Weiler, T; Wermes, N; Wescott, R E; White, E; Wicht, J; Widhalm, L; Williams, K M; Won, E; Xu, H; Yabsley, B D; Yamamoto, H; Yamaoka, H; Yamaoka, Y; Yamauchi, M; Yin, Y; Yoon, H; Yu, J; Yuan, C Z; Yusa, Y; Zander, D; Zdybal, M; Zhang, Z P; Zhao, J; Zhao, L; Zhao, Z; Zhilich, V; Zhou, P; Zhulanov, V; Zivko, T; Zupanc, A; Zyukova, O
2010-01-01
The Belle detector at the KEKB electron-positron collider has collected almost 1 billion Y(4S) events in its decade of operation. Super-KEKB, an upgrade of KEKB is under construction, to increase the luminosity by two orders of magnitude during a three-year shutdown, with an ultimate goal of 8E35 /cm^2 /s luminosity. To exploit the increased luminosity, an upgrade of the Belle detector has been proposed. A new international collaboration Belle-II, is being formed. The Technical Design Report presents physics motivation, basic methods of the accelerator upgrade, as well as key improvements of the detector.
Clusters of Bell's palsy "Surtos" da paralisia de Bell
Thiago D. Gonçalves-Coêlho; Carlos Newton D. Pinheiro; Ezon V.A.P. Ferraz; José Luiz Alonso-Nieto
1997-01-01
The idiopathic facial paralysis or Bell's palsy installs abruptly or within a few hours, without any apparent cause. It corresponds to approximately 75% of all peripheral facial palsies. Three theories try to explain its pathogenecity: vascular-ischemic, viral and auto-immune. We reviewed the records of the EMG Sector, Hospital do Servidor Público Estadual (São Paulo, Brazil), from 1985 to 1995 and found 239 cases of Bell's palsy. Data were analysed according to age, gender, seasonal distribu...
Bell's Palsy (Beyond the Basics)
... changes caused by Bell's palsy will affect the appearance of your face, including how you smile. These ... are comfortable with some medical jargon. Patient information: Genital herpes (Beyond the Basics) Patient information: Shingles (Beyond ...
Bell Numbers, Determinants and Series
Indian Academy of Sciences (India)
P K Saikia; Deepak Subedi
2013-05-01
In this article, we study Bell numbers and Uppuluri Carpenter numbers. We obtain various expressions and relations between them. These include polynomial recurrences and expressions as determinants of certain matrices of binomial coefficients.
Bell inequalities for arbitrary situations
International Nuclear Information System (INIS)
We present a simple way based on the joint global probability distribution to derive CHSH inequalities. Inspired by this derivation we develop a simple method that gives a set of conditions which are necessary for a model to be a local variable theory. This method generates candidate Bell inequalities for models of arbitrary situations in which there are an arbitrary number of particles, measurements and outcomes. With the help of a type of distribution it will be clear that all necessary conditions are Bell inequalities. This work gives a unified way to write Bell inequalities for arbitrary situations. - Highlights: • Constructing CHSH inequalities based on joint global probability distribution. • Constructing conditions which are necessary for a model to be local and realistic. • Bell inequalities for general situations
International Nuclear Information System (INIS)
John Bell, with whom I had a fruitful collaboration and warm friendship, is best known for his seminal work on the foundations of quantum physics, but he also made outstanding contributions to particle physics and accelerator physics
D'Agostini, G
2005-01-01
It is curious to learn that Enrico Fermi knew how to base probabilistic inference on Bayes theorem, and that some influential notes on statistics for physicists stem from what the author calls elsewhere, but never in these notes, {\\it the Bayes Theorem of Fermi}. The fact is curious because the large majority of living physicists, educated in the second half of last century -- a kind of middle age in the statistical reasoning -- never heard of Bayes theorem during their studies, though they have been constantly using an intuitive reasoning quite Bayesian in spirit. This paper is based on recollections and notes by Jay Orear and on Gauss' ``Theoria motus corporum coelestium'', being the {\\it Princeps mathematicorum} remembered by Orear as source of Fermi's Bayesian reasoning.
Converse Barrier Certificate Theorem
DEFF Research Database (Denmark)
Wisniewski, Rafael; Sloth, Christoffer
2013-01-01
This paper presents a converse barrier certificate theorem for a generic dynamical system.We show that a barrier certificate exists for any safe dynamical system defined on a compact manifold. Other authors have developed a related result, by assuming that the dynamical system has no singular...... points in the considered subset of the state space. In this paper, we redefine the standard notion of safety to comply with generic dynamical systems with multiple singularities. Afterwards, we prove the converse barrier certificate theorem and illustrate the differences between ours and previous work by...
Poutiainen, H. (Hayley)
2015-01-01
Group theory is a mathematical domain where groups and their properties are studied. The evolution of group theory as an area of study is said to be the result of the parallel development of a variety of different studies in mathematics. Sylow’s Theorems were a set of theorems proved around the same time the concept of group theory was being established, in the 1870s. Sylow used permutation groups in his proofs which were then later generalized and shown to hold true for all finite groups....
Kartavtsev, Alexander
2014-01-01
According to the Goldstone theorem a scalar theory with a spontaneously broken global symmetry contains strictly massless states. In this letter we identify a loophole in the current-algebra proof of the theorem. Therefore, the question whether in models with Mexican hat potential the tangential excitations are strictly massless or are just almost massless as compared to the radial ones remains open. We also argue that mass of the tangential excitations approaches zero even if the symmetry is not spontaneously broken but a combination of the field components invariant under the symmetry transformations acquires a large vacuum expectation value.
DEFF Research Database (Denmark)
Bressler, Paul; Gorokhovsky, Alexander; Nest, Ryszard;
2015-01-01
The main result of the present paper is an analogue of Kontsevich formality theorem in the context of the deformation theory of gerbes. We construct an L∞L∞ deformation of the Schouten algebra of multi-vectors which controls the deformation theory of a gerbe.......The main result of the present paper is an analogue of Kontsevich formality theorem in the context of the deformation theory of gerbes. We construct an L∞L∞ deformation of the Schouten algebra of multi-vectors which controls the deformation theory of a gerbe....
Francesco Poppi
2010-01-01
During the Nobel prize-winning UA1 experiment, scientists in the control room used to ring a bell if a particularly interesting event had occurred. Today, the “CMS Exotica hotline” routine produces a daily report that lists the exotic events that were recorded the day before. Display of an event selected by the Exotica routine. Take just a very small fraction of the available data (max. 5%); define the events that you want to keep and set the parameters accordingly; run the Exotica routine and only look at the very few images that the system has selected for you. This is the recipe that a small team of CMS researchers has developed to identify the signals coming from possible new physics processes. “This approach does not replace the accurate data analysis on the whole set of data. However, it is a very fast and effective way to focus on just a few events that are potentially very interesting”, explains Maurizio Pierini (CERN), who developed the...
Virial Theorem and Scale Transformations.
Kleban, Peter
1979-01-01
Discussed is the virial theorem, which is useful in classical, quantum, and statistical mechanics. Two types of derivations of this theorem are presented and the relationship between the two is explored. (BT)
Dalen, D. van
2008-01-01
The following pages make form a new chapter for the book Logic and Structure. This chapter deals with the incompleteness theorem, and contains enough basic material for the treatment of the required notions of computability, representability and the like. This chapter will appear in the next edition of Logic and Structure. Comments are welcome.
Dalen, D. van
2008-01-01
The following pages make form a new chapter for the book Logic and Structure. This chapter deals with the incompleteness theorem, and contains enough basic material for the treatment of the required notions of computability, representability and the like. This chapter will appear in the next edition
Reply to Gillis's "On the Analysis of Bell's 1964 Paper by Wiseman, Cavalcanti, and Rieffel"
Wiseman, Howard M; Cavalcanti, Eric G
2016-01-01
We address Gillis' recent criticism [arXiv:1506.05795] of a series of papers (by different combinations of the present authors) on formulations of Bell's theorem. Those papers intended to address an unfortunate gap of communication between two broad camps in the quantum foundations community that we identify as "operationalists" and "realists". Here, we once again urge the readers to approach the question from an unbiased standpoint, and explain that Gillis' criticism draws too heavily on the philosophical inclinations of one side of that debate -- the realist camp. As part of that explanation we discuss intuition versus proof, look again at Bell's formalizations of locality, and correct misstatements by Gillis of our views, and those of Bell and Einstein.
An Improved Subadditive Ergodic Theorem
Liggett, Thomas M.
1985-01-01
A new version of Kingman's subadditive ergodic theorem is presented, in which the subadditivity and stationarity assumptions are relaxed without weakening the conclusions. This result applies to a number of situations that were not covered by Kingman's original theorem. The proof involves a rather simple reduction to the additive case, where Birkhoff's ergodic theorem can be applied.
Abramovitz, Buma; Berezina, Miryam; Berman, Abraham; Shvartsman, Ludmila
2009-01-01
In this article we describe the process of studying the assumptions and the conclusion of a theorem. We tried to provide the students with exercises and problems where we discuss the following questions: What are the assumptions of a theorem and what are the conclusions? What is the geometrical meaning of a theorem? What happens when one or more…
Virial theorem and hypervirial theorem in a spherical geometry
Energy Technology Data Exchange (ETDEWEB)
Li Yan; Chen Jingling [Theoretical Physics Division, Chern Institute of Mathematics, Nankai University, Tianjin 300071 (China); Zhang Fulin, E-mail: flzhang@tju.edu.cn, E-mail: chenjl@nankai.edu.cn [Physics Department, School of Science, Tianjin University, Tianjin 300072 (China)
2011-09-09
The virial theorem in the one- and two-dimensional spherical geometry are presented in both classical and quantum mechanics. Choosing a special class of hypervirial operators, the quantum hypervirial relations in the spherical spaces are obtained. With the aid of the Hellmann-Feynman theorem, these relations can be used to formulate a perturbation theorem without wavefunctions, corresponding to the hypervirial-Hellmann-Feynman theorem perturbation theorem of Euclidean geometry. The one-dimensional harmonic oscillator and two-dimensional Coulomb system in the spherical spaces are given as two sample examples to illustrate the perturbation method. (paper)
Fixed points, intersection theorems, variational inequalities, and equilibrium theorems
Directory of Open Access Journals (Sweden)
Sehie Park
2000-07-01
Full Text Available From a fixed point theorem for compact acyclic maps defined on admissible convex sets in the sense of Klee, we first deduce collectively fixed point theorems, intersection theorems for sets with convex sections, and quasi-equilibrium theorems. These quasi-equilibrium theorems are applied to give simple and unified proofs of the known variational inequalities of the Hartman-Stampacchia-Browder type. Moreover, from our new fixed point theorem, we deduce new variational inequalities which can be used to obtain fixed point results for convex-valued maps. Finally, various general economic equilibrium theorems are deduced in the forms of the Nash type, the Tarafdar type, and the Yannelis-Prabhakar type. Our results are stated for not-necessarily locally convex topological vector spaces and for abstract economies with arbitrary number of commodities and agents. Our new results extend a lot of known works with much simpler proofs.
International Nuclear Information System (INIS)
Noether's theorem relates symmetries and conservation laws of Hamiltonians systems. Arnol'd's theorem uses those integrals of motion for the construction of sufficient stability conditions of hydrodynamical problems, which are Hamiltonian with a singular Poisson bracket. Finally, Andrews' theorem imposes restriction on the existence of Arnol'd stable solutions of symmetric systems. It is shown that denial of Andrews'theorem implies the divergence of the velocity component normal to the symmetric coordinate. This proof by reductio ad absurdum may be used to determine the strength of the symmetry breaking elements, necessary to overcome the limitations imposed by this theorem (Author)
Choudhury, Sayantan; Singh, Rajeev
2016-01-01
In this work, we have studied the possibility of setting up Bell's inequality violating experiment in the context of cosmology, based on the basic principles of quantum mechanics. First we start with the physical motivation of implementing the Bell's inequality violation in the context of cosmology. Then to set up the cosmological Bell violating test experiment we introduce a model independent theoretical framework using which we have studied the creation of new massive particles by implementing the WKB approximation method for the scalar fluctuations in presence of additional time dependent mass contribution. Next using the background scalar fluctuation in presence of new time dependent mass contribution, we explicitly compute the expression for the one point and two point correlation functions. Furthermore, using the results for one point function we introduce a new theoretical cosmological parameter which can be expressed in terms of the other known inflationary observables and can also be treated as a fut...
Bipartite Bell Inequality and Maximal Violation
International Nuclear Information System (INIS)
We present new bell inequalities for arbitrary dimensional bipartite quantum systems. The maximal violation of the inequalities is computed. The Bell inequality is capable of detecting quantum entanglement of both pure and mixed quantum states more effectively. (general)
Optical Bell Measurement by Fock Filtering
Paris, M G A; Jonathan, D; Bose, S; D'Ariano, G M; Paris, MGA
2000-01-01
We describe a nonlinear interferometric setup to perform a complete optical Bell measurement, i.e. to unambigously discriminate the four polarization entangled EPR-Bell photon pairs. The scheme is robust against detector inefficiency.
John Bell and the Identical Twins
1984-01-01
A biographical profile of John S.Bell is presented based on extensive interviews the author had with Bell. Bell’s vierws on the quantum theory are presented along with a simple explanation of his idenity.
Taylor, Marika
2016-01-01
The F theorem states that, for a unitary three dimensional quantum field theory, the F quantity defined in terms of the partition function on a three sphere is positive, stationary at fixed point and decreases monotonically along a renormalization group flow. We construct holographic renormalization group flows corresponding to relevant deformations of three-dimensional conformal field theories on spheres, working to quadratic order in the source. For these renormalization group flows, the F quantity at the IR fixed point is always less than F at the UV fixed point, but F increases along the RG flow for deformations by operators of dimension $3/2 < \\Delta < 5/2$. Therefore the strongest version of the F theorem is in general violated.
Indian Academy of Sciences (India)
N V Rao
2003-02-01
The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose is a compact set in the complex plane and 0 belongs to the boundary . Let $\\mathcal{A}(K)$ denote the space of all functions on such that is holomorphic in a neighborhood of and (0) = 0. Also for any given positive integer , let $\\mathcal{A}(m, K)$ denote the space of all such that is holomorphic in a neighborhood of and $f(0) = f'(0) = \\cdots = f^{(m)}(0) = 0$. Then $\\mathcal{A}(m, K)$ is dense in $\\mathcal{A}(K)$ under the supremum norm on provided that there exists a sector $W = \\{re^{i}; 0 ≤ r ≤ , ≤ ≤ \\}$ such that $W \\cap K = \\{0\\}$. (This is the well-known Poincare's external cone condition).} We present various generalizations of this result in the context of higher dimensions replacing holomorphic with harmonic.
Stephen A. Ross
2011-01-01
We can only estimate the distribution of stock returns but we observe the distribution of risk neutral state prices. Risk neutral state prices are the product of risk aversion - the pricing kernel - and the natural probability distribution. The Recovery Theorem enables us to separate these and to determine the market's forecast of returns and the market's risk aversion from state prices alone. Among other things, this allows us to determine the pricing kernel, the market risk premium, the pro...
Vela Velupillai, K.
2011-01-01
Takashi Negishi's remarkable youthful contribution to welfare economics, general equilibrium theory and, with the benefit of hindsight, also to one strand of computable general equilibrium theory, all within the span of six pages in one article, has become one of the modern classics of general equilibrium theory and mathematical economics. Negishi's celebrated theorem and what has been called Negishi's Method have formed one foundation for computable general equilibrium theory. In this paper ...
Coevolution. Extending Prigogine Theorem
Leon, Antonio
2006-01-01
The formal consideration of the concept of interaction in thermodynamic analysis makes it possible to deduce, in the broadest terms, new results related to the coevolution of interacting systems, irrespective of their distance from thermodynamic equilibrium. In this paper I prove the existence of privileged coevolution trajectories characterized by the minimum joint production of internal entropy, a conclusion that extends Prigogine theorem to systems evolving far from thermodynamic equilibri...
Energy Technology Data Exchange (ETDEWEB)
Cinabro, David [Wayne State Univ., Detroit, MI (United States)
2016-01-01
The major goals of our work on Belle II were to complete our contributions, a 64 channel PIN diode based radiation monitor, to the precursor detector called Beast II and the electronics for the endcap K-Long/Muon (E-KLM) detector. This was done by Professor Cinabro, Technician Gutierrez, and undergraduate labor supported by US-Japan funds. Professor Bonvicini through US-Japan funds led the development and installation of a beamstrahlung monitor system in the Belle II interaction region. Graduate students Farhat and DiCarlo worked on this. We also worked on charm physics analysis.
Bourgain's discretization theorem
Giladi, Ohad; Schechtman, Gideon
2011-01-01
Bourgain's discretization theorem asserts that there exists a universal constant $C\\in (0,\\infty)$ with the following property. Let $X,Y$ be Banach spaces with $\\dim X=n$. Fix $D\\in (1,\\infty)$ and set $\\d= e^{-n^{Cn}}$. Assume that $\\mathcal N$ is a $\\d$-net in the unit ball of $X$ and that $\\mathcal N$ admits a bi-Lipschitz embedding into $Y$ with distortion at most $D$. Then the entire space $X$ admits a bi-Lipschitz embedding into $Y$ with distortion at most $CD$. This mostly expository article is devoted to a detailed presentation of a proof of Bourgain's theorem. We also obtain an improvement of Bourgain's theorem in the important case when $Y=L_p$ for some $p\\in [1,\\infty)$: in this case it suffices to take $\\delta= C^{-1}n^{-5/2}$ for the same conclusion to hold true. The case $p=1$ of this improved discretization result has the following consequence. For arbitrarily large $n\\in \\N$ there exists a family $\\mathscr Y$ of $n$-point subsets of ${1,...,n}^2\\subseteq \\R^2$ such that if we write $|\\mathscr ...
2010-04-01
... 27 Alcohol, Tobacco Products and Firearms 1 2010-04-01 2010-04-01 false Bell Mountain. 9.55... Mountain. (a) Name. The name of the viticultural area described in this section is “Bell Mountain.” (b) Approved map. The appropriate map for determining the boundaries of the Bell Mountain viticultural area...
2010-07-01
... 33 Navigation and Navigable Waters 1 2010-07-01 2010-07-01 false Belle River. 117.424 Section 117... OPERATION REGULATIONS Specific Requirements Louisiana § 117.424 Belle River. The draw of the S70 bridge, mile 23.8 (Landside Route) near Belle River, shall open on signal; except that, from 10 p.m. to 6...
Houston, Paul
1996-01-01
Selfishness has spawned a new breed of racism, driven by fear, fed by scarcity, and manifested through economic imperatives. California's Proposition 187 and Herrnstein and Murray's book "The Bell Curve" are built on racist foundations. Our current obsession with race is driven by an economy and an elitist social system that is dismantling the…
Clusters of Bell's palsy "Surtos" da paralisia de Bell
Directory of Open Access Journals (Sweden)
Thiago D. Gonçalves-Coêlho
1997-01-01
Full Text Available The idiopathic facial paralysis or Bell's palsy installs abruptly or within a few hours, without any apparent cause. It corresponds to approximately 75% of all peripheral facial palsies. Three theories try to explain its pathogenecity: vascular-ischemic, viral and auto-immune. We reviewed the records of the EMG Sector, Hospital do Servidor Público Estadual (São Paulo, Brazil, from 1985 to 1995 and found 239 cases of Bell's palsy. Data were analysed according to age, gender, seasonal distribution of cases. There was a predominance of cases in the 31 - 60 age bracket (40.59 %. The female gender was responsible to 70.71 % of cases. There was a predominance of cases in winter (31.38 % and autumn (30.13 %, which was statiscally significant. These findings let us to suppose that Bell's palsy predominates in females, in 41-60 years age bracket, and occurs predominantly in cold months. There are groups of clusters throughout temporal distribution of cases and cases are dependent on one each other or on factors affecting them all, which reinforces the infectious hypothesis (there is a rise in the incidence of viral upper respiratory tract infection during cold months.A paralisia facial idiopática ou paralisia de Bell se instala abruptamente ou em algumas horas, sem causa aparente. Corresponde a aproximadamente 75% de todos os casos de paralisia facial. Três teorias tentam explicar sua patogenia: vásculo-isquêmica, autoimune e viral. Nós revisamos os arquivos do Setor de Eletromiografia do Hospital do Servidor Público Estadual (São Paulo de 1985 a 1995, encontrando 239 casos de paralisia de Bell. Dados foram analisados quanto a idade, sexo, distribuição sazonal. Houve predominância dos casos na faixa etária de 31 a 60 anos (40,59 %. O sexo feminino foi responsável por 70,71 % dos casos. Houve predominância de casos no inverno (31,38 % e outono (30,13 %, estatisticamente sigmficante. Estes achados levam-nos a supor que a paralisia de Bell
Arrow's Theorem in Judgement Aggregation
Franz Dietrich; Christian List
2005-01-01
In response to recent work on the aggregation of individual judgements on logically connected propositions into collective judgements, it is often asked whether judgement aggregation is a special case of Arrowian preference aggregation. We argue the opposite. After proving a general impossibility theorem, we construct an embedding of preference aggregation into judgement aggregation and prove Arrow's theorem as a corollary of our result. Although we provide a new proof of Arrow's theorem, our...
Perspectives on the CAP Theorem
Gilbert, Seth; Lynch, Nancy Ann
2012-01-01
Almost twelve years ago, in 2000, Eric Brewer introduced the idea that there is a fundamental trade-off between consistency, availability, and partition tolerance. This trade-off, which has become known as the CAP Theorem, has been widely discussed ever since. In this paper, we review the CAP Theorem and situate it within the broader context of distributed computing theory. We then discuss the practical implications of the CAP Theorem, and explore some general techniques for coping with the i...
A theorem in relativistic electronics
Yongjian, Yu
1990-04-01
This paper presents a theorem that connects the dispersion relation of the Electron Cyclotron Maser' and the oscillation equation of the Gyromonotron. This theorem gives us a simple way of obtaining the osscillating characteristics of the Gyromonotron provided that dispersion relation of the ECRM is given. Though the theorem is proved only with the case of ECRM and Gyromonotron, it holds for other kinds of Electron Masers, FEL4etc. and corresponding osscillators.
International Nuclear Information System (INIS)
We in the nuclear power industry consider ourselves to be at the forefront of civilised progress. Yet, all too often, even we ourselves don't believe our public relations statements about nuclear power. Why is this? Let us approach the question by considering Godel's Theorem. Godel's Theorem is extremely complicated mathematically, but for our purposes can be simplified to the maxim that one cannot validate a system from within that system. Scientists, especially those in the fields of astronomy and nuclear physics, have long realised the implications of Godel's Theorem. The people to whom we must communicate look to us, who officially know everything about our industry, to comfort and reassure them. And we forget that we can only comfort them by addressing their emotional needs, not by demonstrating our chilling objectivity. Let us try something completely new in communication. Instead of looking for incremental rules which will help us marginally differentiate the way we communicate about minor or major incidents, let us leapfrog across 'objectivity' to meaning and relevance. If we truly believe that nuclear energy is a good thing, this leap should not be difficult. Finally, if we as communicators are not prepared to be meaningful and relevant - not prepared to leapfrog beyond weasel terms like 'minor incident' - what does that say about the kinds of people we believe the nuclear community to be? Are nuclear people a group apart, divisible from the rest of the human race by their evil? In fact the nuclear community is a living, laughing, normal part of a whole society; and is moreover a good contributor to the technological progress that society demands. When we ourselves recognise this, we will start to communicate nuclear issues in the same language as the rest of society. We will start to speak plainly and convincingly, and our conviction will leapfrog our audience into being able to believe us
Cobham's theorem for substitutions
Durand, Fabien
2010-01-01
The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\\alpha$ and $\\beta$ be two multiplicatively independent Perron numbers. Then, a sequence $x\\in A^\\mathbb{N}$, where $A$ is a finite alphabet, is both $\\alpha$-substitutive and $\\beta$-substitutive if and only if $x$ is ultimately periodic.
Fluctuation theorem in spintronics
International Nuclear Information System (INIS)
Microscopic reversibility is a key in deriving the Onsager relation. It even leads a new exact relationship that would be valid far from equilibrium, called fluctuation theorem (FT). The FT provides a precise statement for the second law of thermodynamics; and remarkably, reproduces the linear response theory. We consider the FT in the spin-dependent transport and derive universal relations among nonlinear spin and charge transport coefficients. We apply the relations to a quantum dot embedded in a two-terminal Aharonov-Bohm interferometer and check that the relations are satisfied.
Reiher, Christian
2012-01-01
Tur\\'{a}n's theorem is a cornerstone of extremal graph theory. It asserts that for any integer $r \\geq 2$ every graph on $n$ vertices with more than ${\\tfrac{r-2}{2(r-1)}\\cdot n^2}$ edges contains a clique of size $r$, i.e., $r$ mutually adjacent vertices. The corresponding extremal graphs are balanced $(r-1)$-partite graphs. The question as to how many such $r$-cliques appear at least in any $n$-vertex graph with $\\gamma n^2$ edges has been intensively studied in the literature. In particula...
One brazilian poet - Lindolf Bell One brazilian poet - Lindolf Bell
Richard Zenith
2008-01-01
By his talents and intense activity, Lindolf Bell became the recognized leader of the Poetic Catechesis movement. Founded in 1964 in a defunct Sao Paulo nightclub, it quickly established itself as a major artistic current in Brazil. The movement is concerned not so much with the poem's form as with its role and diffusion in society. To fulfill the movement's original proposal to "take the poem to the people," poets declaimed their works in auditoriums, parks, streets, and other public places....
Bell Palsy and Acupuncture Treatment
Directory of Open Access Journals (Sweden)
Betul Battaloglu Inanc
2013-08-01
A 22-year-old female patient, a midwifery student, had treatment with corticosteroid and antiviral agents as soon as Bell Palsy (BP was diagnosed (House-Breckman stage 6. Six weeks later, patient didn’t recover, while in House-Breckman stage 3, acupuncture was perfomed and local and distal acupoints were used with ears, body and face. Ear acupuncture point was used two times with detection. In the course of six sessions body and face points were stimulated by electroacupuncture. After ten acupuncture treatments, the subjective symptoms and the facial motion on the affected side improved. There was an spotting ecchymosis the ST2 points on. The symmetry of the face is a determinant of facial charm and influences interpersonal attraction for adults, children and pregnant women. Medical options for the sequelae of BP are limited. Acupuncture’s effectively in Bell palsy patients’ should be shown with more clinical and electrophysiological studies.
Time-Continuous Bell Measurements
Hofer, Sebastian G; Aspelmeyer, Markus; Hammerer, Klemens
2013-01-01
We combine the concept of Bell measurements, in which two systems are projected into maximally entangled states, with the concept of continuous measurements, which concerns the evolution of a continuously monitored quantum system. For time continuous Bell measurements based on homodyne detection of light we derive the corresponding stochastic Schr\\"odinger equations, as well as the unconditional feedback master equations. Our results cover in particular the two scenarios of time-continuous quantum teleportation and entanglement swapping. We apply our results to show that (i) two two-level systems can be deterministically entangled via homodyne detection of light, even including photon loss approaching the fundamental limit of 50%, and (ii) a quantum state of light can be continuously teleported to a mechanical oscillator. This time-continuous remote quantum state preparation works under the same conditions as are required for optomechanical ground state cooling.
Belle II Silicon Vertex Detector
Mohanty, Gagan B
2015-01-01
The Belle II experiment at the SuperKEKB collider in Japan is designed to indirectly probe new physics using approximately 50 times the data recorded by its predecessor. An accurate determination of the decay-point position of subatomic particles such as beauty and charm hadrons as well as a precise measurement of low-momentum charged particles will play a key role in this pursuit. These will be accomplished by a vertex detector, which comprises two layers of pixelated silicon detector and four layers of silicon vertex detector. We describe herein the design, prototyping and construction efforts of the Belle-II silicon vertex detector that is aimed to be commissioned towards the middle of 2017.
Abelian theorems for Whittaker transforms
Directory of Open Access Journals (Sweden)
Richard D. Carmichael
1987-01-01
Full Text Available Initial and final value Abelian theorems for the Whittaker transform of functions and of distributions are obtained. The Abelian theorems are obtained as the complex variable of the transform approaches 0 or ∞ in absolute value inside a wedge region in the right half plane.
Geometry of the Adiabatic Theorem
Lobo, Augusto Cesar; Ribeiro, Rafael Antunes; Ribeiro, Clyffe de Assis; Dieguez, Pedro Ruas
2012-01-01
We present a simple and pedagogical derivation of the quantum adiabatic theorem for two-level systems (a single qubit) based on geometrical structures of quantum mechanics developed by Anandan and Aharonov, among others. We have chosen to use only the minimum geometric structure needed for the understanding of the adiabatic theorem for this case.…
Bell inequality and complementarity loophole
Czachor, Marek
1997-01-01
A simple classical, deterministic, local situation violating the Bell inequality is described. The detectors used in the experiment are ideal and the observers who decide which pair of measuring devices to choose for a given pair of particles have free will. The construction uses random variables which are not jointly measurable in a single run of an experiment and the hidden variables have a nonsymmetric probability density. Such random variables are complementary but still fully classical. ...
Bell inequalities and incompatible measurements
Morgan, Peter
2003-01-01
Bell inequalities are a consequence of measurement incompatibility (not, as generally thought, of nonlocality). In classical terms, this is equivalent to contextuality -- measurement devices do have a significant effect. Contextual models are reasonable in classical physics, which always took the view that we ignore measurement devices whenever possible, but if that isn't good enough then we do have to model measurement devices. It is also argued that quantum theory should only be taken with ...
A loophole-free Bell test with spin quits in diamond
Dreau, Anais; Hensen, Bas; Bernien, Hannes; Reiserer, Andreas; Ruitenberg, Just; Blok, Machiel; Markham, Matthew; Twitchen, Daniel; Wehner, Stephanie; Hanson, Ronald; Element 6 Team
2015-03-01
One of the most intriguing phenomena in quantum physics is the entanglement of spatially separated objects. The benchmark to prove the fundamental non-locality of remote entanglement is provided by the famous Bell's theorem. Nevertheless, all its experimental implementations to date open the door to loopholes that restrict the practical validity of this theorem., we present our latest experimental results towards the realization of a Bell test, aimed to close the detection loophole and address the locality and free-will loopholes in a single experiment. Our qubits consist of the electronic spin associated with single NV center defects in diamond. An efficient remote entanglement protocol allows us to generate entangled qubit pairs between two labs separated by 1.3 km on the TU Delft campus. The moderate time (99%) qubit rotations and efficient (>97%) readout make our setup a good candidate to allow the experimental violation of Bell's inequalities between two space-like separated entangled spins without relying on the fair sampling assumption. FOM, NWO, ERC, Kavli Institute of Nanoscience Delft, QUTech, STW.
Common questions about Bell palsy.
Albers, Janet R; Tamang, Stephen
2014-02-01
Bell palsy is an acute affliction of the facial nerve, resulting in sudden paralysis or weakness of the muscles on one side of the face. Testing patients with unilateral facial paralysis for diabetes mellitus or Lyme disease is not routinely recommended. Patients with Lyme disease typically present with additional manifestations, such as arthritis, rash, or facial swelling. Diabetes may be a comorbidity of Bell palsy, but testing is not needed in the absence of other indications, such as hypertension. In patients with atypical symptoms, magnetic resonance imaging with contrast enhancement can be used to rule out cranial mass effect and to add prognostic value. Steroids improve resolution of symptoms in patients with Bell palsy and remain the preferred treatment. Antiviral agents have a limited role, and may improve outcomes when combined with steroids in patients with severe symptoms. When facial paralysis is prolonged, surgery may be indicated to prevent ocular desiccation secondary to incomplete eyelid closure. Facial nerve decompression is rarely indicated or performed. Physical therapy modalities, including electrostimulation, exercise, and massage, are neither beneficial nor harmful. PMID:24506123
Andreev's Theorem on hyperbolic polyhedra
Roeder, R K W; Dunbar, W D; Roeder, Roland K. W.; Hubbard, John H.; Dunbar, William D.
2004-01-01
In 1970, E. M. Andreev published a classification of all three-dimensional compact hyperbolic polyhedra having non-obtuse dihedral angles. Given a combinatorial description of a polyhedron, $C$, Andreev's Theorem provides five classes of linear inequalities, depending on $C$, for the dihedral angles, which are necessary and sufficient conditions for the existence of a hyperbolic polyhedron realizing $C$ with the assigned dihedral angles. Andreev's Theorem also shows that the resulting polyhedron is unique, up to hyperbolic isometry. Andreev's Theorem is both an interesting statement about the geometry of hyperbolic 3-dimensional space, as well as a fundamental tool used in the proof for Thurston's Hyperbolization Theorem for 3-dimensional Haken manifolds. It is also remarkable to what level the proof of Andreev's Theorem resembles (in a simpler way) the proof of Thurston. We correct a fundamental error in Andreev's proof of existence and also provide a readable new proof of the other parts of the proof of And...
Some Theorems on Generalized Basic Hypergeometric Series
Directory of Open Access Journals (Sweden)
A. D. Wadhwa
1972-07-01
Full Text Available In an earlier paper the author has established two theorems on generalized hypergeometric functions. In each theorem a numerator differs from a denominator by a positive integer. These theorems were further used to prove some theorems on the sums of Kampe de Feriet functions. Here, we have established the theorems which are the basic analogues of the theorems proved in the earlier paper.
Herbrand's Fundamental Theorem - an encyclopedia article
Wirth, Claus-Peter
2015-01-01
Herbrand's Fundamental Theorem provides a constructive characterization of derivability in first-order predicate logic by means of sentential logic. Sometimes it is simply called "Herbrand's Theorem", but the longer name is preferable as there are other important "Herbrand theorems" and Herbrand himself called it "Th\\'eor\\`eme fondamental". It was ranked by Bernays [1957] as follows: "In its proof-theoretic form, Herbrand's Theorem can be seen as the central theorem of predicate logic. It exp...
Combinatorial Reciprocity Theorems
Beck, Matthias
2012-01-01
A common theme of enumerative combinatorics is formed by counting functions that are polynomials evaluated at positive integers. In this expository paper, we focus on four families of such counting functions connected to hyperplane arrangements, lattice points in polyhedra, proper colorings of graphs, and $P$-partitions. We will see that in each instance we get interesting information out of a counting function when we evaluate it at a \\emph{negative} integer (and so, a priori the counting function does not make sense at this number). Our goals are to convey some of the charm these "alternative" evaluations of counting functions exhibit, and to weave a unifying thread through various combinatorial reciprocity theorems by looking at them through the lens of geometry, which will include some scenic detours through other combinatorial concepts.
Speakable and unspeakable after John Bell
Percival, I C
2000-01-01
`Philosophy' was speakable for John Bell but is not for many physicists. The border between philosophy and physics is here illustrated through Brownian motion and Bell experiments. `Measurement', however, was unspeakable for Bell. His insistence that the physics of quantum measurement should not be confined to the laboratory and that physics is concerned with the big world outside leads us to examples from zoology, meteorology and cosmology.
Complex integration and Cauchy's theorem
Watson, GN
2012-01-01
This brief monograph by one of the great mathematicians of the early twentieth century offers a single-volume compilation of propositions employed in proofs of Cauchy's theorem. Developing an arithmetical basis that avoids geometrical intuitions, Watson also provides a brief account of the various applications of the theorem to the evaluation of definite integrals.Author G. N. Watson begins by reviewing various propositions of Poincaré's Analysis Situs, upon which proof of the theorem's most general form depends. Subsequent chapters examine the calculus of residues, calculus optimization, the
-Dimensional Fractional Lagrange's Inversion Theorem
Directory of Open Access Journals (Sweden)
F. A. Abd El-Salam
2013-01-01
Full Text Available Using Riemann-Liouville fractional differential operator, a fractional extension of the Lagrange inversion theorem and related formulas are developed. The required basic definitions, lemmas, and theorems in the fractional calculus are presented. A fractional form of Lagrange's expansion for one implicitly defined independent variable is obtained. Then, a fractional version of Lagrange's expansion in more than one unknown function is generalized. For extending the treatment in higher dimensions, some relevant vectors and tensors definitions and notations are presented. A fractional Taylor expansion of a function of -dimensional polyadics is derived. A fractional -dimensional Lagrange inversion theorem is proved.
Bell Canyon test summary report
International Nuclear Information System (INIS)
The Bell Canyon Test was an in situ evaluation of the ability of a cement grout plug to seal boreholes. It consisted of a 2-m-long, 20-cm-diameter grout plug in an anhydrite formation at a depth of 1370 m, directly above an aquifer that provided a 12.4 MPa (1800 psi) differential pressure. The aquifer had a production capability of 38,000 l/day (240 bbl/day, 104 gal/day). The observed leakage after plug installation was 0.6 l/day, which is equivalent to a 50 microdarcy flow path assuming all flow occurred through the plug cross-sectional area. Laboratory results and analysis of field data indicate that the bulk of the flow occurred through a microstructure at the interface between the plug and the host rock. The Bell Canyon Test demonstrated that a plug could be formulated, emplaced, and tested under actual conditions and provide acceptable performance. When these results are related to the WIPP performance assessment models, they provide additional confidence that borehole plugging can be accomplished satisfactorily. The Bell Canyon results can also be used as basis for future activities in the generic repository sealing program for similar emplacements and performance assessment evaluations. If the observed leakage rates are not acceptable at other sites, the BCT results would indicate that the first step in improving such emplacements should deal with improved bonding of the plug to the rock at these sites. The results obtained from the BCT, when coupled with results from long-term durability assessments, form a plug performance data basis for repository designers at other proposed waste repository sites
Belle II and Hadron spectroscopy
Energy Technology Data Exchange (ETDEWEB)
Križan, Peter, E-mail: peter.krizan@ijs.si [J. Stefan Institute and University of Ljubljana (Slovenia)
2015-08-15
Asymmetric B factories, PEP-II with BaBar and KEKB with Belle, made a decisive contribution to flavour physics. In addition, they also observed a long list of new hadrons, some of which do not fit into the standard meson and baryon schemes. The next generation of B factories, the so called Super B factory will search for departures from the Standard model. For this task, a 50 times larger data sample is needed, corresponding to an integrated luminosity of 50 ab{sup −1}. With such a large data sample there are many more topics to explore, including searches for new and exotic hadrons, and investigation of their properties.
Contemporary management of Bell palsy.
Jowett, Nate; Hadlock, Tessa A
2015-04-01
Bell palsy (BP) is the most common diagnosis in acute and chronic facial palsy. Although most patients fully recover, more than one-quarter will have residual dysfunction. Of these, nearly half will demonstrate severe limitations in facial expression. Though significant attention has been paid to acute management and prognosis, a paucity of literature exists addressing management of the long-term sequelae of BP. This article describes contemporary use of physical therapy, injectables, and static and dynamic surgical procedures in facial reanimation of acute and chronic BP. PMID:25958893
Opechowski's theorem and commutator groups
International Nuclear Information System (INIS)
It is shown that the conditions of application of Opechowski's theorem for double groups of subgroups of O(3) are directly associated to the structure of their commutator groups. Some characteristics of the structure of classes are also discussed. (Author)
KAM Theorem and Renormalization Group
E. Simone; Kupiainen, A.
2007-01-01
We give an elementary proof of the analytic KAM theorem by reducing it to a Picard iteration of a PDE with quadratic nonlinearity, the so called Polchinski renormalization group equation studied in quantum field theory.
The Kramer sampling theorem revisited
García García, Antonio; Hernandez Medina, Miguel Angel; Muñoz Bouto, María José
2013-01-01
The classical Kramer sampling theorem provides a method for obtaining orthogonal sampling formulas. Besides, it has been the cornerstone for a significant mathematical literature on the topic of sampling theorems associated with differential and difference problems. In this work we provide, in an unified way, new and old generalizations of this result corresponding to various different settings; all these generalizations are illustrated with examples. All the different situations along the pa...
Complex extension of Wigner's theorem
Brody, Dorje C
2013-01-01
Wigner's theorem asserts that an isometric (probability conserving) transformation on a quantum state space must be generated by a Hamiltonian that is Hermitian. It is shown that when the Hermiticity condition on the Hamiltonian is relaxed, we obtain the following complex generalisation of Wigner's theorem: a holomorphically projective (complex geodesic-curves preserving) transformation on a quantum state space must be generated by a Hamiltonian that is not necessarily Hermitian.
Kazhdan's Theorem on Arithmetic Varieties
Milne, J S
2001-01-01
Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again arithmetic. This article simplifies Kazhdan's proof. In particular, it avoids recourse to the classification theorems. It was originally completed on March 28, 1984, and distribu...
Noether theorems and higher derivatives
Townsend, Paul K.
2016-01-01
A simple proof of Noether's first theorem involves the promotion of a constant symmetry parameter $\\epsilon$ to an arbitrary function of time, the Noether charge $Q$ is then the coefficient of $\\dot\\epsilon$ in the variation of the action. Here we examine the validity of this proof for Lagrangian mechanics with arbitrarily-high time derivatives, in which context "higher-level" analogs of Noether's theorem can be similarly proved, and "Noetherian charges" read off from, e.g. the coefficient of...
Acceptable Complexity Measures of Theorems
Grenet, Bruno
2009-01-01
In 1931, G\\"odel presented in K\\"onigsberg his famous Incompleteness Theorem, stating that some true mathematical statements are unprovable. Yet, this result gives us no idea about those independent (that is, true and unprovable) statements, about their frequency, the reason they are unprovable, and so on. Calude and J\\"urgensen proved in 2005 Chaitin's "heuristic principle" for an appropriate measure: the theorems of a finitely-specified theory cannot be significantly more complex than the t...
Goedel's Incompleteness Theorems hold vacuously
Anand, Bhupinder Singh
2002-01-01
In an earlier paper, "Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem" (math/0206302), I argued that a constructive interpretation of Goedel's reasoning establishes any formal system of Arithmetic as omega-inconsistent. It follows from this that Goedel's Theorem VI holds vacuously. In this paper I show that Goedel's Theorem XI essentially states that, if we assume there is a P-formula [Con(P)] whose standard interpretation is equivalent to the a...
Local virial and tensor theorems.
Cohen, Leon
2011-11-17
We show that for any wave function and potential the local virial theorem can always be satisfied 2K(r) = r·ΔV by choosing a particular expression for the local kinetic energy. In addition, we show that for each choice of local kinetic energy there are an infinite number of quasi-probability distributions which will generate the same expression. We also consider the local tensor virial theorem. PMID:21863837
Minimax discrimination of quasi-Bell states
Energy Technology Data Exchange (ETDEWEB)
Kato, Kentaro [Quantum ICT Research Institute, Tamagawa University, 6-1-1 Tamagawa-gakuen, Machida, Tokyo 194-8610 (Japan)
2014-12-04
An optimal quantum measurement is considered for the so-called quasi-Bell states under the quantum minimax criterion. It is shown that the minimax-optimal POVM for the quasi-Bell states is given by its square-root measurement and is applicable to the teleportation of a superposition of two coherent states.
George Boole and the Bell inequalities
Rosinger, E E
2004-01-01
As shown by Pitowsky, the Bell inequalities are related to certain classes of probabilistic inequalities dealt with by George Boole, back in the 1850s. Here a short presentation of this relationship is given. Consequently, the Bell inequalities can be obtained without any assumptions of physical nature, and merely through mathematical argument.
Belle-II Experiment Network Requirements
Energy Technology Data Exchange (ETDEWEB)
Asner, David; Bell, Greg; Carlson, Tim; Cowley, David; Dart, Eli; Erwin, Brock; Godang, Romulus; Hara, Takanori; Johnson, Jerry; Johnson, Ron; Johnston, Bill; Dam, Kerstin Kleese-van; Kaneko, Toshiaki; Kubota, Yoshihiro; Kuhr, Thomas; McCoy, John; Miyake, Hideki; Monga, Inder; Nakamura, Motonori; Piilonen, Leo; Pordes, Ruth; Ray, Douglas; Russell, Richard; Schram, Malachi; Schroeder, Jim; Sevior, Martin; Singh, Surya; Suzuki, Soh; Sasaki, Takashi; Williams, Jim
2013-05-28
The Belle experiment, part of a broad-based search for new physics, is a collaboration of ~400 physicists from 55 institutions across four continents. The Belle detector is located at the KEKB accelerator in Tsukuba, Japan. The Belle detector was operated at the asymmetric electron-positron collider KEKB from 1999-2010. The detector accumulated more than 1 ab-1 of integrated luminosity, corresponding to more than 2 PB of data near 10 GeV center-of-mass energy. Recently, KEK has initiated a $400 million accelerator upgrade to be called SuperKEKB, designed to produce instantaneous and integrated luminosity two orders of magnitude greater than KEKB. The new international collaboration at SuperKEKB is called Belle II. The first data from Belle II/SuperKEKB is expected in 2015. In October 2012, senior members of the Belle-II collaboration gathered at PNNL to discuss the computing and neworking requirements of the Belle-II experiment with ESnet staff and other computing and networking experts. The day-and-a-half-long workshop characterized the instruments and facilities used in the experiment, the process of science for Belle-II, and the computing and networking equipment and configuration requirements to realize the full scientific potential of the collaboration's work.
A model with cosmological Bell inequalities
Maldacena, Juan
2015-01-01
We discuss the possibility of devising cosmological observables which violate Bell's inequalities. Such observables could be used to argue that cosmic scale features were produced by quantum mechanical effects in the very early universe. As a proof of principle, we propose a somewhat elaborate inflationary model where a Bell inequality violating observable can be constructed.
Physics Achievements from the Belle Experiment
Brodzicka, Jolanta; Chang, Paoti; Eidelman, Simon; Golob, Bostjan; Hayasaka, Kiyoshi; Hayashii, Hisaki; Iijima, Toru; Inami, Kenji; Kinoshita, Kay; Kwon, Youngjoon; Miyabayashi, Kenkichi; Mohanty, Gagan; Nakao, Mikihiko; Nakazawa, Hideyuki; Olsen, Stephen; Sakai, Yoshihide; Schwanda, Christoph; Schwartz, Alan; Trabelsi, Karim; Uehara, Sadaharu; Uno, Shoji; Watanabe, Yasushi; Zupanc, Anze
2012-01-01
The Belle experiment, running at the KEKB e+e- asymmetric energy collider during the first decade of the century, achieved its original objective of measuring precisely differences between particles and anti-particles in the B system. After collecting 1000 fb-1 of data at various Upsilon resonances, Belle also obtained the many other physics results described in this article.
Quantum correlations in connected multipartite Bell experiments
Tavakoli, Armin
2016-04-01
Bell experiments measure correlations between outcomes of a number of observers measuring on a shared physical state emitted from a single source. Quantum correlations arising in such Bell experiments have been intensively studied over the last decades. Much less is known about the nature of quantum correlations arising in network structures beyond Bell experiments. Such networks can involve many independent sources emitting states to observers in accordance with the network configuration. Here, we will study classical and quantum correlations in a family of networks which can be regarded as compositions of several independent multipartite Bell experiments connected together through a central node. For such networks we present tight Bell-type inequalities which are satisfied by all classical correlations. We study properties of the violations of our inequalities by probability distributions arising in quantum theory.
The design of bells with harmonic overtones.
McLachlan, Neil; Nigjeh, Behzad Keramati; Hasell, Anton
2003-07-01
Musical bells have had limited application due to the presence of inharmonic partials in the lower part of their acoustic spectra. A series of bells has been designed that contains up to seven partial frequencies in the harmonic series beginning at the fundamental frequency. This was achieved by choosing geometries for finite-element analysis models in which as many purely circumferential bending modes as possible occurred at frequencies below any mode with an axial ring node. The bell models were then fine tuned using gradient projection method shape optimization and the resulting profiles were cast in silicon bronze. A range of bell geometries and timbres is analyzed using psycho-acoustic models and is discussed in relation to European carillon bells. PMID:12880061
Quantum correlations in connected multipartite Bell experiments
International Nuclear Information System (INIS)
Bell experiments measure correlations between outcomes of a number of observers measuring on a shared physical state emitted from a single source. Quantum correlations arising in such Bell experiments have been intensively studied over the last decades. Much less is known about the nature of quantum correlations arising in network structures beyond Bell experiments. Such networks can involve many independent sources emitting states to observers in accordance with the network configuration. Here, we will study classical and quantum correlations in a family of networks which can be regarded as compositions of several independent multipartite Bell experiments connected together through a central node. For such networks we present tight Bell-type inequalities which are satisfied by all classical correlations. We study properties of the violations of our inequalities by probability distributions arising in quantum theory. (paper)
SECURING MOBILE ANT AGENT USING CHINESE REMAINDER THEOREM
Directory of Open Access Journals (Sweden)
Srinath Doss
2013-01-01
Full Text Available Recent days, research in wireless network becomes major area for the past few decades. In wireless routing many routing methods such as table driven, source driven; many characteristics such as reactive routing, proactive routing; many routing algorithms such as dijikstraâs shortest path, distributed bell-man ford algorithm are proposed in the literature. For effective wireless routing, the recent ant colony optimization proves better result than the existing methodologies. The ant colony optimization is a swarm intelligence technique which widely used for combinatorial optimization problems such as travelling salesman, network routing, clustering. The ant colony optimization is a real time routing protocol which offers highly reliable and optimal routing for both single path and multi path routing. As the ant is a small tiny mobile agent, providing security is critical issue. In this study, a secured ant colony optimization using Chinese remainder theorem is proposed.
Ananthanarayan, B
2007-01-01
We review the recent confirmation of quantum entanglement in e+ e- collisions at the BELLE experiment at KEK-B in Japan with neutral B- mesons, and at the KLOE experiment at the DAFNE in Italy with neutral K- mesons. Such effects in the latter system seen already in proton-antiproton collisions by the CPLEAR experiment are also reviewed for purposes of comparison. In addition, the KLOE experiment provides new tests of the CPT theorem and are briefly discussed.
Violating a Bell inequality with classical states
Liu, Qin; Lamas-Linares, Antía; Skaar, Johannes; Makarov, Vadim; Kurtsiefer, Christian
2011-01-01
A strong probe for limits of classical physics is the Bell inequality between measurements of separated particles. Its violation can be used to secure a shared secret between two parties, but a fair-sampling assumption has to be made for limited detection efficiencies. Here, we present an experimental violation of a Bell inequality by classical states, exploiting imperfections in common photodetectors. We also propose measurements to obtain violations exceeding those allowed by quantum physics for ideal Bell tests. This exploit demonstrates that device-independent quantum cryptography requires the detection loophole be closed.
Soft theorems from anomalous symmetries
Huang, Yu-tin
2015-01-01
We discuss constraints imposed by soft limits for effective field theories arising from symmetry breaking. In particular, we consider those associated with anomalous conformal symmetry as well as duality symmetries in supergravity. We verify these soft theorems for the dilaton effective action relevant for the a-theorem, as well as the one-loop effective action for N=4 supergravity. Using the universality of leading transcendental coefficients in the alpha' expansion of string theory amplitudes, we study the matrix elements of operator R^4 with half maximal supersymmetry. We construct the non-linear completion of R^4 that satisfies both single and double soft theorems up to seven points. This supports the existence of duality invariant completion of R^4.
Fluctuation theorems for quantum processes
Albash, Tameem; Marvian, Milad; Zanardi, Paolo
2013-01-01
We present fluctuation theorems and moment generating function equalities for generalized thermodynamic observables and quantum dynamics described by completely positive trace preserving (CPTP) maps, with and without feedback control. Our results include the quantum Jarzynski equality and Crooks fluctuation theorem, and clarify the special role played by the thermodynamic work and thermal equilibrium states in previous studies. We show that unitality replaces micro-reversibility as the condition for the physicality of the reverse process in our fluctuation theorems. We present an experimental application of our theory to the problem of extracting the system-bath coupling magnitude, which we do for a system of pairs of coupled superconducting flux qubits undergoing quantum annealing.
Nonperturbative Adler-Bardeen theorem
International Nuclear Information System (INIS)
The Adler-Bardeen theorem has been proven only as a statement valid at all orders in perturbation theory, without any control on the convergence of the series. In this paper we prove a nonperturbative version of the Adler-Bardeen theorem in d=2 by using recently developed technical tools in the theory of Grassmann integration. The proof is based on the assumption that the boson propagator decays fast enough for large momenta. If the boson propagator does not decay, as for Thirring contact interactions, the anomaly in the WI (Ward Identities) is renormalized by higher order contributions
Two extensions of Ramsey's theorem
Conlon, David; Fox, Jacob; Sudakov, Benny
2011-01-01
Ramsey’s theorem, in the version of Erdős and Szekeres, states that every $2$ -coloring of the edges of the complete graph on $\\{1,2,\\ldots,n\\}$ contains a monochromatic clique of order $({1}/{2})\\log n$ . In this article, we consider two well-studied extensions of Ramsey’s theorem. Improving a result of Rödl, we show that there is a constant $c\\gt 0$ such that every $2$ -coloring of the edges of the complete graph on $\\{2,3,\\ldots,n\\}$ contains a monochromatic clique $S$ for which the sum of...
Noether theorems and higher derivatives
Townsend, Paul K
2016-01-01
A simple proof of Noether's first theorem involves the promotion of a constant symmetry parameter $\\epsilon$ to an arbitrary function of time; the Noether charge $Q$ is then the coefficient of $\\dot\\epsilon$ in the variation of the action. Here we examine the validity of this proof for Lagrangian mechanics with arbitrarily-high time derivatives, in which context "higher-level" analogs of Noether's theorem can be similarly proved, and "Noetherian charges" read off from, e.g. the coefficient of $\\ddot \\epsilon$ in the variation of the action. While $Q=0$ implies a restricted gauge invariance, an unrestricted gauge invariance requires zero Noetherian charges too. Some illustrative examples are considered.
Herpes Simplex Virus-1 and Bell's Palsy
Directory of Open Access Journals (Sweden)
J Gordon Millichap
2008-05-01
Full Text Available The association between herpes simplex virus-1 (HSV-1 infection and Bell palsy was determined in 47 children studied at Children's Hospital at Montefiore, Bronx, NY. Swabs of saliva and conjunctiva were taken for PCR testing.
Nonlinear Bell Inequalities Tailored for Quantum Networks
Rosset, Denis; Branciard, Cyril; Barnea, Tomer Jack; Pütz, Gilles; Brunner, Nicolas; Gisin, Nicolas
2016-01-01
In a quantum network, distant observers sharing physical resources emitted by independent sources can establish strong correlations, which defy any classical explanation in terms of local variables. We discuss the characterization of nonlocal correlations in such a situation, when compared to those that can be generated in networks distributing independent local variables. We present an iterative procedure for constructing Bell inequalities tailored for networks: starting from a given network, and a corresponding Bell inequality, our technique provides new Bell inequalities for a more complex network, involving one additional source and one additional observer. We illustrate the relevance of our method on a variety of networks, demonstrating significant quantum violations, which could not have been detected using standard Bell inequalities.
Helicopter attempts tow of Liberty Bell 7
1961-01-01
Marine helicopter appears to have Liberty Bell 7 in tow after Virgil I. Grissom's successful flight of 305 miles down the Atlantic Missile Range. Minutes after 'Gus' Grissom got out of the spacecraft, it sank.
Software and Physics Simulation at Belle II
Fulsom, Bryan; Belle Collaboration, II
2016-03-01
The Belle II experiment at the SuperKEKB collider in Tsukuba, Japan, will start taking physics data in 2018 and will accumulate 50 ab-1 of e+e-collision data, about 50 times larger than the data set of the earlier Belle experiment. The new detector will use GEANT4 for Monte Carlo simulation and an entirely new software and reconstruction system based on modern computing tools. Examples of physics simulation including beam background overlays will be described.
Directory of Open Access Journals (Sweden)
Yin Chen
2004-01-01
Full Text Available We extend the Putnam-Fuglede theorem and the second-degree Putnam-Fuglede theorem to the nonnormal operators and to an elementary operator under perturbation by quasinilpotents. Some asymptotic results are also given.
BELLE progress report. 1995 April - 1996 March
International Nuclear Information System (INIS)
The scientific goals of the BELLE experiment continue to be of great interest. The large number of papers during the past year that identify measurements that can be done with BELLE reflects the considerable interest in the theoretical community in these physics issues. This is also demonstrated by the approval during the past year of two major B physics projects: the BaBar experiment at SLAC and the HERAB experiment at DESY. Both projects have schedules that put them into direct competition with BELLE for the important goal of testing the KM predictions for CP violations in B meson decays. Other projects addressing this physics are planned for the Tevatron collider and have been proposed both for the LHC and RHIC. The BELLE collaboration remains committed to its goal of being the first group to provide conclusive evidence either confirming or refuting the KM model. The year 1995 was an exciting time for the BELLE experiment. All of the major technology choices were finalized and a final detector configuration has been established. Continued R and D has resulted in improved performance expectations for a number of detector subsystems. The procurement of materials for major subsystems is underway and construction of long leadtime items has started. A construction schedule has been established and an integration strategy is being developed. This report describes the status of BELLE with an emphasis on progress since the last LCPAC meeting in January 1995. (J.P.N.). 90 refs
Angle Defect and Descartes' Theorem
Scott, Paul
2006-01-01
Rene Descartes lived from 1596 to 1650. His contributions to geometry are still remembered today in the terminology "Descartes' plane". This paper discusses a simple theorem of Descartes, which enables students to easily determine the number of vertices of almost every polyhedron. (Contains 1 table and 2 figures.)
Kruglikov, Boris
2011-01-01
We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of polynomial-rational differential invariants and invariant derivations.
Birkhoff Theorems in General Relativity
Torre, Charles G.
2014-01-01
In the following Maple worksheet I demonstrate three versions of Birkhoff's theorem, which is a characterization of spherically symmetric solutions of the Einstein equations. The three versions considered here correspond to taking the "Einstein equations" to be: (1) the vacuum Einstein equations; (2) the Einstein equations with a cosmological constant (3) the Einstein-Maxwell equations.
Microwave electronics Slater's perturbation theorem
International Nuclear Information System (INIS)
Slater's perturbation theorem is one of the most useful for both experiments and theories of microwave electronics. In particular, this is applied to measurements of the field strengths in standing-wave systems. Since a traveling wave can be represented by a linear combination of two standing waves, the field measurement is also possible in a traveling-wave system. The theorem tells us the amount of the shift in a resonant frequency arising from a metallic body. Since the amount is dependent upon the square of the electric and magnetic field strengths at the metallic body, one can obtain the field strengths at the metallic body from the measured frequency shift. First the theorem is derived in Sec. 2. We then discuss the implications of the theorem by deriving it intuitively in Sec. 3. The perturbation of the field due to a metallic body is described in Sec. 4, where the frequency shift is actually related to the field strengths. In Sec. 5, we describe how to determine the impedance by using the data thus measured. Examples of field measurement are shown in Sec. 6 together with the impedance measurement. (author)
JACKSON'S THEOREM FOR COMPACT GROUPS
Institute of Scientific and Technical Information of China (English)
H. Vaezi; S. F. Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by(Sh.f)(g) = ∫Gf (tut-1g)dton compact group G and by help of this operator we define "Spherical" modulus of continuity. So we proveStechkin and Jackson type theorems.
Illustrating the Central Limit Theorem
Corcoran, Mimi
2016-01-01
Statistics is enjoying some well-deserved limelight across mathematics curricula of late. Some statistical concepts, however, are not especially intuitive, and students struggle to comprehend and apply them. As an AP Statistics teacher, the author appreciates the central limit theorem as a foundational concept that plays a crucial role in…
Discovering the Inscribed Angle Theorem
Roscoe, Matt B.
2012-01-01
Learning to play tennis is difficult. It takes practice, but it also helps to have a coach--someone who gives tips and pointers but allows the freedom to play the game on one's own. Learning to act like a mathematician is a similar process. Students report that the process of proving the inscribed angle theorem is challenging and, at times,…
Almost Subadditive Extensions of Kingman's Ergodic Theorem
Schurger, Klaus
1991-01-01
Based on two notions of almost subadditivity which were introduced by Derriennic and Schurger, two a.s. limit theorems are proved which both generalize Kingman's subadditive ergodic theorem. These results, being valid under weak moment conditions, are obtained by short proofs. One of these proofs is completely elementary and does not even make use of Birkhoff's ergodic theorem which, instead, is obtained as a by-product. Finally, an improvement of Liggett's a.s. limit theorem is given.
International Nuclear Information System (INIS)
We have performed three experimental tests of Bell's inequalities by measuring the linear-polarization correlation of photons emitted by pairs in the 4p21S0 → 4s4p 1P1 → 4s21S0 radiative cascade of calcium. The first part of this dissertation reminds the theoretical background (Bell's theorem), and the experimental situation (previous experiments). We then describe our apparatus: the source (calcium atomic beam selectively excited by two-photon absorption), the optics, the photon coincidence-counting system. Our first experiment, analogous to previous ones (but more precise) involves one-channel polarizers. Our second experiment, based on a conceptually simpler scheme, uses two-channel polarizers. The third experiment involves acousto-optical switches followed by two linear polarizers: these devices act as time-varying polarizers, the orientation of which is changed during the time of flight of photons. In the three experiments, the results are in good agreement with the Quantum mechanical predictions, and they distinctly violate the relevant Bell's inequalities
Reality or Locality? - Proposed test to decide \\textit{how} Nature breaks Bell's inequality
Hansson, Johan
2011-01-01
Bell's theorem, and its experimental tests, has shown that the two premises for Bell's inequality - locality and objective reality - cannot both hold in nature, as Bell's inequality is broken. A simple test is proposed, which for the first time may decide which alternative nature actually prefers on the fundamental, quantum level. If each microscopic event is truly random (e.g. as assumed in orthodox quantum mechanics) objective reality is not valid, whereas if each event is described by an unknown but deterministic mechanism ("hidden variables") locality is not valid. This may be analyzed and decided by the well-known reconstruction method of Ruelle and Takens; in the former case no structure should be discerned, in the latter a reconstructed structure should be visible. This could in principle be tested by comparing individual "hits" in a double slit experiment, but in practice a single fluorescent atom, and its (seemingly random) temporal switching between active/inactive states would possibly be better/mo...
Reality or Locality? Proposed Test to Decide How Nature Breaks Bell's Inequality
Directory of Open Access Journals (Sweden)
Johan Hansson
2012-01-01
Full Text Available Bell's theorem, and its experimental tests, has shown that the two premises for Bell's inequality—locality and objective reality—cannot both hold in nature, as Bell's inequality is broken. A simple test is proposed, which for the first time may decide which alternative nature actually prefers on the fundamental, quantum level. If each microscopic event is truly random (e.g., as assumed in orthodox quantum mechanics objective reality is not valid whereas if each event is described by an unknown but deterministic mechanism (“hidden variables” locality is not valid. This may be analyzed and decided by the well-known reconstruction method of Ruelle and Takens; in the former case no structure should be discerned, in the latter a reconstructed structure should be visible. This could in principle be tested by comparing individual “hits” in a double-slit experiment, but in practice a single fluorescent atom, and its (seemingly random temporal switching between active/inactive states would possibly be better/more practical, easier to set up, observe, and analyze. However, only imagination limits the list of possible experimental setups.
On Brayton and Moser's missing stability theorem
Jeltsema, D.; Scherpen, J. M. A.
2005-01-01
In the early 1960s, Brayton and Moser proved three theorems concerning the stability of nonlinear electrical circuits. The applicability of each theorem depends on three different conditions on the type of admissible nonlinearities in circuit. Roughly speaking, this means that the theorems apply to
Pythagorean Theorem Proofs: Connecting Interactive Websites
Lin, Cheng-Yao
2007-01-01
There are over 400 proofs of the Pythagorean Theorem. Some are visual proofs, others are algebraic. This paper features several proofs of the Pythagorean Theorem in different cultures--Greek, Chinese, Hindu and American. Several interactive websites are introduced to explore ways to prove this beautiful theorem. (Contains 8 figures.)
An Algebraic Identity Leading to Wilson Theorem
Ruiz, Sebastian Martin
2004-01-01
In most text books on number theory Wilson Theorem is proved by applying Lagrange theorem concerning polynomial congruences.Hardy and Wright also give a proof using cuadratic residues. In this article Wilson theorem is derived as a corollary to an algebraic identity.
A generalized no-broadcasting theorem
Barnum, H.; Barrett, J; Leifer, M.; Wilce, A.
2007-01-01
We prove a generalized version of the no-broadcasting theorem, applicable to essentially \\emph{any} nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with ``super-quantum'' correlations. A strengthened version of the quantum no-broadcasting theorem follows, and its proof is significantly simpler than existing proofs of the no-broadcasting theorem.
van de Graaf, R. C.; IJpma, F. F. A.; Nicolai, J-P A.; Werker, P. M. N.
2009-01-01
Bell's palsy is the eponym for idiopathic peripheral facial paralysis. It is named after Sir Charles Bell (1774-1842), who, in the first half of the nineteenth century, discovered the function of the facial nerve and attracted the attention of the medical world to facial paralysis. Our knowledge of
Bell tests with optimal local hidden variable models
Wang, Fuming
2014-01-01
An alternative method for detection-loophole-free Bell test is proposed using local hidden variable (LHV) models with optimal detection efficiencies. A framework for constructing such optimal LHV models is presented. Optimal LHV models for maximally and non-maximally entangled twopartite states are constructed and compared with Bell inequalities. The equivalence between Bell tests based on Bell inequalities and on optimal models is demonstrated. Testable LHV models with detection efficiencies lower than that of the Bell inequalities are demonstrated for the first time. Applications in Bell tests and in device-independent quantum information processing are discussed.
Tight closure and vanishing theorems
International Nuclear Information System (INIS)
Tight closure has become a thriving branch of commutative algebra since it was first introduced by Mel Hochster and Craig Huneke in 1986. Over the past few years, it has become increasingly clear that tight closure has deep connections with complex algebraic geometry as well, especially with those areas of algebraic geometry where vanishing theorems play a starring role. The purpose of these lectures is to introduce tight closure and to explain some of these connections with algebraic geometry. Tight closure is basically a technique for harnessing the power of the Frobenius map. The use of the Frobenius map to prove theorems about complex algebraic varieties is a familiar technique in algebraic geometry, so it should perhaps come as no surprise that tight closure is applicable to algebraic geometry. On the other hand, it seems that so far we are only seeing the tip of a large and very beautiful iceberg in terms of tight closure's interpretation and applications to algebraic geometry. Interestingly, although tight closure is a 'characteristic p' tool, many of the problems where tight closure has proved useful have also yielded to analytic (L2) techniques. Despite some striking parallels, there had been no specific result directly linking tight closure and L∼ techniques. Recently, however, the equivalence of an ideal central to the theory of tight closure was shown to be equivalent to a certain 'multiplier ideal' first defined using L2 methods. Presumably, deeper connections will continue to emerge. There are two main types of problems for which tight closure has been helpful: in identifying nice structure and in establishing uniform behavior. The original algebraic applications of tight closure include, for example, a quick proof of the Hochster-Roberts theorem on the Cohen-Macaulayness of rings of invariants, and also a refined version of the Brianqon-Skoda theorem on the uniform behaviour of integral closures of powers of ideals. More recent, geometric
The Classical Version of Stokes' Theorem Revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
2005-01-01
of the vector field in a tubular shell around the given surface. The intuitive appeal of the divergence theorem is thus applied to bootstrap a corresponding intuition for Stokes' theorem. The two stated classical theorems are (like the fundamental theorem of calculus) nothing but shadows of the......Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we prove that the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...... general version of Stokes' theorem for differential forms on manifolds. The main points in the present paper, however, is firstly that this latter fact usually does not get within reach for students in first year calculus courses and secondly that calculus textbooks in general only just hint at the...
The relativistic virial theorem and scale invariance
Gaite, Jose
2013-01-01
The virial theorem is related to the dilatation properties of bound states. This is realized, in particular, by the Landau-Lifshitz formulation of the relativistic virial theorem, in terms of the trace of the energy-momentum tensor. We construct a Hamiltonian formulation of dilatations in which the relativistic virial theorem naturally arises as the condition of stability against dilatations. A bound state becomes scale invariant in the ultrarelativistic limit, in which its energy vanishes. However, for very relativistic bound states, scale invariance is broken by quantum effects and the virial theorem must include the energy-momentum tensor trace anomaly. This quantum field theory virial theorem is directly related to the Callan-Symanzik equations. The virial theorem is applied to QED and then to QCD, focusing on the bag model of hadrons. In massless QCD, according to the virial theorem, 3/4 of a hadron mass corresponds to quarks and gluons and 1/4 to the trace anomaly.
Belle II Silicon Vertex Detector: Mechanics
International Nuclear Information System (INIS)
Full text: The Belle experiment at KEK in Tsukuba, Japan and its precision measurements have led to the justification of the Nobel Prize earned by Kobayashi and Maskawa in 2008. In June 2010, the machine was brought to a halt for a promising future, namely an upgrade to Belle II which will be completed until 2015. By this time all important components are to be exchanged for an unprecedented performance boost of the accelerator (KEKB) and the Belle Detector. With this upgrade, KEKB will become SuperKEKB and beat its own luminosity world record (2.11 x 1034 cm-1s-1) by a factor of 40. The core of the Belle II Experiment is composed of a DEPFET Pixel Detector, which is surrounded by the Silicon Vertex Detector (SVD). The SVD is located close to the beam pipe to allow high precision vertex reconstruction. The proximity to the beam pipe and the high beam currents result in a very high level of background radiation for the SVD that both, the electronics and the mechanics have to cope with. The Origami sensor design was developed to provide a fast readout system at a very good signal to noise ratio. This design comes with a great performance increase that is able to fulfill with the new Belle II requirements. Nevertheless it is important to implement a light and yet stable mechanical construction that can withstand the radiation and temperature conditions without compromising the detector capabilities. (author)
Navier Stokes Theorem in Hydrology
Narayanan, M.
2005-12-01
In a paper presented at the 2004 AGU International Conference, the author outlined and stressed the importance of studying and teaching certain important mathematical techniques while developing a course in Hydrology and Fluid Mechanics. The Navier-Stokes equations are the foundation of fluid mechanics, and Stokes' theorem is used in nearly every branch of mechanics as well as electromagnetics. Stokes' Theorem also plays a vital role in many secondary theorems such as those pertaining to vorticity and circulation. Mathematically expressed, Stokes' theorem can be expressed by considering a surface S having a bounding curve C. Here, V is any sufficiently smooth vector field defined on the surface and its bounding curve C. In an article entitled "Corrections to Fluid Dynamics" R. F. Streater, (Open Systems and Information Dynamics, 10, 3-30, 2003.) proposes a kinetic model of a fluid in which five macroscopic fields, the mass, energy, and three components of momentum, are conserved. The dynamics is constructed using the methods of statistical dynamics, and results in a non-linear discrete-time Markov chain for random fields on a lattice. In the continuum limit he obtains a non-linear coupled parabolic system of field equations, showing a correction to the Navier-Stokes equations. In 2001, David Hoff published an article in Journees Equations aux derivees partielles. (Art. No. 7, 9 p.). His paper is entitled : Dynamics of Singularity Surfaces for Compressible Navier-Stokes Flows in Two Space Dimensions. In his paper, David Hoff proves the global existence of solutions of the Navier-Stokes equations of compressible, barotropic flow in two space dimensions with piecewise smooth initial data. These solutions remain piecewise smooth for all time, retaining simple jump discontinuities in the density and in the divergence of the velocity across a smooth curve, which is convected with the flow. The strengths of these discontinuities are shown to decay exponentially in time
A Randomized Central Limit Theorem
Eliazar, Iddo; Klafter, Joseph
2010-05-01
The Central Limit Theorem (CLT), one of the most elemental pillars of Probability Theory and Statistical Physics, asserts that: the universal probability law of large aggregates of independent and identically distributed random summands with zero mean and finite variance, scaled by the square root of the aggregate-size (√{n}), is Gaussian. The scaling scheme of the CLT is deterministic and uniform - scaling all aggregate-summands by the common and deterministic factor √{n}. This Letter considers scaling schemes which are stochastic and non-uniform, and presents a "Randomized Central Limit Theorem" (RCLT): we establish a class of random scaling schemes which yields universal probability laws of large aggregates of independent and identically distributed random summands. The RCLT universal probability laws, in turn, are the one-sided and the symmetric Lévy laws.
A Randomized Central Limit Theorem
International Nuclear Information System (INIS)
The Central Limit Theorem (CLT), one of the most elemental pillars of Probability Theory and Statistical Physics, asserts that: the universal probability law of large aggregates of independent and identically distributed random summands with zero mean and finite variance, scaled by the square root of the aggregate-size (√(n)), is Gaussian. The scaling scheme of the CLT is deterministic and uniform - scaling all aggregate-summands by the common and deterministic factor √(n). This Letter considers scaling schemes which are stochastic and non-uniform, and presents a 'Randomized Central Limit Theorem' (RCLT): we establish a class of random scaling schemes which yields universal probability laws of large aggregates of independent and identically distributed random summands. The RCLT universal probability laws, in turn, are the one-sided and the symmetric Levy laws.
Lectures on Fermat's last theorem
International Nuclear Information System (INIS)
The report presents the main ideas involved in the approach towards the so-called Fermat's last theorem (FLT). The discussion leads to the point where recent work of A. Wiles starts and his work is not discussed. After a short history of the FLT and of the present approach, are discussed the elliptic curves and the modular forms with their relations, the Taniyama-Shimura-Well conjecture and the FLT
Dynamic Newton-Puiseux Theorem
Mannaa, Bassel; Coquand, Thierry
2013-01-01
A constructive version of Newton-Puiseux theorem for computing the Puiseux expansions of algebraic curves is presented. The proof is based on a classical proof by Abhyankar. Algebraic numbers are evaluated dynamically; hence the base field need not be algebraically closed and a factorization algorithm of polynomials over the base field is not needed. The extensions obtained are a type of regular algebras over the base field and the expansions are given as formal power series over these algebras.
Khesin, B.; Rosly, A.; Thomas, R. P.
2003-01-01
We prove an analogue of the de Rham theorem for polar homology; that the polar homology $HP_q(X)$ of a smooth projective variety $X$ is isomorphic to its $H^{n,n-q}$ Dolbeault cohomology group. This analogue can be regarded as a geometric complexification where arbitrary (sub)manifolds are replaced by complex (sub)manifolds and de Rham's operator $d$ is replaced by Dolbeault's $\\bar\\partial$.
International Nuclear Information System (INIS)
Hawking's area theorem can be understood from a quasi-stationary process in which a black hole accretes positive energy matter, independent of the details of the gravity action. I use this process to study the dynamics of the inner as well as the outer horizons for various black holes which include the recently discovered exotic black holes and three-dimensional black holes in higher derivative gravities as well as the usual BTZ black hole and the Kerr black hole in four dimensions. I find that the area for the inner horizon 'can decrease', rather than increase, with the quasi-stationary process. However, I find that the area for the outer horizon 'never decreases' such that the usual area theorem still works in our examples, though this is quite non-trivial in general. There exists an instability problem of the inner horizons but it seems that the instability is not important in my analysis. I also find a generalized area theorem by combining those of the outer and inner horizons
On Harnack's theorem and extensions
Costa, Antonio F.; Parlier, Hugo
Harnack's theorem states that the fixed points of an orientation reversing involution of a compact orientable surface of genus g are a set of k disjoint simple closed geodesic where 0≤ k≤ g+1 . The first goal of this article is to give a purely geometric, complete and self-contained proof of this fact. In the case where the fixed curves of the involution do not separate the surface, we prove an extension of this theorem, by exhibiting the existence of auxiliary invariant curves with interesting properties. Although this type of extension is well known (see, for instance, Comment. Math. Helv. 57(4): 603-626 (1982) and Transl. Math. Monogr., vol. 225, Amer. Math. Soc., Providence, RI, 2004), our method also extends the theorem in the case where the surface has boundary. As a byproduct, we obtain a geometric method on how to obtain these auxiliary curves. As a consequence of these constructions, we obtain results concerning presentations of Non-Euclidean crystallographic groups and a new proof of a result on the set of points corresponding to real algebraic curves in the compactification of the Moduli space of complex curves of genus g , overline{M_{g}} . More concretely, we establish that given two real curves there is a path in overline{M_{g}} which passes through at most two singular curves, a result of M. Seppaelae (Ann. Sci. Ecole Norm. Sup. (4), 24(5), 519-544 (1991)).
In AppreciationThe Depth and Breadth of John Bell's Physics
Jackiw, Roman; Shimony, Abner
This essay surveys the work of John Stewart Bell, one of the great physicists of the twentieth century. Section 1 is a brief biography, tracing his career from working-class origins and undergraduate training in Belfast, Northern Ireland, to research in accelerator and nuclear physics in the British national laboratories at Harwell and Malvern, to his profound research on elementary particle physics as a member of the Theory Group at CERN and his equally profound ``hobby'' of investigating the foundations of quantum mechanics. Section 2 concerns this hobby, which began in his discontent with Bohr's and Heisenberg's analyses of the measurement process. He was attracted to the program of hidden variables interpretations, but he revolutionized the foundations of quantum mechanics by a powerful negative result: that no hidden variables theory that is ``local'' (in a clear and well-motivated sense) can agree with all the correlations predicted by quantum mechanics regarding well-separated systems. He further deepened the foundations of quantum mechanics by penetrating conceptual analyses of results concerning measurement theory of von Neumann, de Broglie and Bohm, Gleason, Jauch and Piron, Everett, and Ghirardi-Rimini-Weber. Bell's work in particle theory (Section 3) began with a proof of the CPT theorem in his doctoral dissertation, followed by investigations of the phenomenology of CP-violating experiments. At CERN Bell investigated the commutation relations in current algebras from various standpoints. The failure of current algebra combined with partially conserved current algebra to permit the experimentally observed decay of the neutral pi-meson into two photons stimulated the discovery by Bell and Jackiw of anomalous or quantal symmetry breaking, which has numerous implications for elementary particle phenomena. Other late investigations of Bell on elementary particle physics were bound states in quantum chromodynamics (in collaboration with Bertlmann) and
Relations between entanglement witnesses and Bell inequalities
International Nuclear Information System (INIS)
Bell inequalities, considered within quantum mechanics, can be regarded as nonoptimal witness operators. We discuss the relationship between such Bell witnesses and general entanglement witnesses in detail for the Bell inequality derived by Clauser, Horne, Shimony, and Holt (CHSH) [Phys. Rev. Lett. 23, 880 (1969)]. We derive bounds on how much an optimal witness has to be shifted by adding the identity operator to make it positive on all states admitting a local hidden variable model. In the opposite direction, we obtain tight bounds for the maximal proportion of the identity operator that can be subtracted from such a CHSH witness, while preserving the witness properties. Finally, we investigate the structure of CHSH witnesses directly by relating their diagonalized form to optimal witnesses of two different classes
Belle/KEKB status and performance
International Nuclear Information System (INIS)
The BELLE detector has been in operation at the KEKB asymmetric B-factory for about one year. At present the luminosity of the collider reached the value about 2x1033 cm-2s-1. All systems of the BELLE detector demonstrate their good performance and parameters which are close to the original design specifications. This provides a possibility to collect large data sample and to perform various analyses of B-mesons decays as well as to study other kind of processes
Clinical Practice Guideline of Acupuncture for Bell's Palsy
Directory of Open Access Journals (Sweden)
Xi Wu
2016-10-01
Full Text Available Backgroud: Acupuncture is common used for Bell's palsy in clinic, however, recent systematic reviews all shows that there is no sufficient evidence to support the effectiveness of acupuncture for Bell's palsy because ofthe poor quality and heterogeneity. It's urgently necessary to develop a guideline of acupuncture for Bell's palsy based on principles of evidence-based medicine to optimize acupuncture treating, standardize outcomes evaluating and to improve the quality of acupuncture for patients with Bell's palsy under general circumstances.
The Real "Toll" of A. G. Bell: Lessons about Eugenics
Greenwald, Brian H.
2009-01-01
Historian Brian Greenwald offers a revisionist interpretation of Bell. He reviews Bell's role and influence within the American eugenics movement and shows that Bell had the respect of the most prominent American eugenicists. His intimate knowledge of deafness, from personal experience with his mother and wife and from his studies of deaf people…
Are Bell inequalities also violated for neutral kaons?
International Nuclear Information System (INIS)
Full text: The first part of the poster analyzes a Bell inequality similar to the famous photon system. Unfortunately, due to the given constants in this system this Bell inequality cannot be violated. The second part of the poster analyzes a Bell inequality which has no similarities to the photon case. This inequality is violated by the CP-violating parameter. (author)
No-Go Theorems Face Background-Based Theories for Quantum Mechanics
Vervoort, Louis
2016-04-01
Recent experiments have shown that certain fluid-mechanical systems, namely oil droplets bouncing on oil films, can mimic a wide range of quantum phenomena, including double-slit interference, quantization of angular momentum and Zeeman splitting. Here I investigate what can be learned from these systems concerning no-go theorems as those of Bell and Kochen-Specker. In particular, a model for the Bell experiment is proposed that includes variables describing a `background' field or medium. This field mimics the surface wave that accompanies the droplets in the fluid-mechanical experiments. It appears that quite generally such a model can violate the Bell inequality and reproduce the quantum statistics, even if it is based on local dynamics only. The reason is that measurement independence is not valid in such models. This opens the door for local `background-based' theories, describing the interaction of particles and analyzers with a background field, to complete quantum mechanics. Experiments to test these ideas are also proposed.
Carnot's theorem as Noether's theorem for thermoacoustic engines
International Nuclear Information System (INIS)
Onset in thermoacoustic engines, the transition to spontaneous self-generation of oscillations, is studied here as both a dynamical critical transition and a limiting heat engine behavior. The critical transition is interesting because it occurs for both dissipative and conservative systems, with common scaling properties. When conservative, the stable oscillations above the critical point also implement a reversible engine cycle satisfying Carnot's theorem, a universal conservation law for entropy flux. While criticality in equilibrium systems is naturally associated with symmetries and universal conservation laws, these are usually exploited with global minimization principles, which dynamical critical systems may not have if dissipation is essential to their criticality. Acoustic heat engines furnish an example connecting equilibrium methods with dynamical and possibly even dissipative critical transitions: A reversible engine is shown to map, by a change of variables, to an equivalent system in apparent thermal equilibrium; a Noether symmetry in the equilibrium field theory implies Carnot's theorem for the engine. Under the same association, onset is shown to be a process of spontaneous symmetry breaking and the scaling of the quality factor predicted for both the reversible and irreversible engines is shown to arise from the Ginzburg-Landau description of the broken phase. copyright 1998 The American Physical Society
Symbolic logic and mechanical theorem proving
Chang, Chin-Liang
1969-01-01
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Bringing Theorem Proving to the (sonic) Masses
Gallego Arias, Emilio Jesús; Pin, Benoît; Jouvelot, Pierre,
2015-01-01
We explore the intersection of interactive theorem proving and digital signal processing through the use of web-based, rich interfaces. Traditionally, the barrier to entry to interactive theorem proving has been high.Provers are complex systems using obscure programming languages, and libraries may be underdocumented and use formalisms and notations far from the standard domain-specific practice. Thus, it doesn't come at a surprise that interactive theorem proving has seldom been explored in ...
The relativistic virial theorem and scale invariance
Gaite, Jose
2013-01-01
The virial theorem is related to the dilatation properties of bound states. This is realized, in particular, by the Landau-Lifshitz formulation of the relativistic virial theorem, in terms of the trace of the energy-momentum tensor. We construct a Hamiltonian formulation of dilatations in which the relativistic virial theorem naturally arises as the condition of stability against dilatations. A bound state becomes scale invariant in the ultrarelativistic limit, in which its energy vanishes. H...
The Equivalence Theorem and Effective Lagrangians
Grosse-Knetter, Carsten; Kuss, Ingolf
1994-01-01
We point out that the equivalence theorem, which relates the amplitude for a process with external longitudinally polarized vector bosons to the amplitude in which the longitudinal vector bosons are replaced by the corresponding pseudo-Goldstone bosons, is not valid for effective Lagrangians. However, a more general formulation of this theorem also holds for effective interactions. The generalized theorem can be utilized to determine the high-energy behaviour of scattering processes just by p...
The exchange fluctuation theorem in quantum mechanics
Akagawa, Shiho; Hatano, Naomichi
2009-01-01
We study the heat transfer between two finite quantum systems initially at different temperatures. We find that a recently proposed fluctuation theorem for heat exchange, namely the exchange fluctuation theorem [C. Jarzynski and D. K. Wojcik, Phys. Rev. Lett. 92, 230602 (2004)], does not generally hold in the presence of a finite heat transfer as in the original form proved for weak coupling. As the coupling is weakened, the deviation from the theorem and the heat transfer vanish in the same ...
Expanding the Interaction Equivalency Theorem
Directory of Open Access Journals (Sweden)
Brenda Cecilia Padilla Rodriguez
2015-06-01
Full Text Available Although interaction is recognised as a key element for learning, its incorporation in online courses can be challenging. The interaction equivalency theorem provides guidelines: Meaningful learning can be supported as long as one of three types of interactions (learner-content, learner-teacher and learner-learner is present at a high level. This study sought to apply this theorem to the corporate sector, and to expand it to include other indicators of course effectiveness: satisfaction, knowledge transfer, business results and return on expectations. A large Mexican organisation participated in this research, with 146 learners, 30 teachers and 3 academic assistants. Three versions of an online course were designed, each emphasising a different type of interaction. Data were collected through surveys, exams, observations, activity logs, think aloud protocols and sales records. All course versions yielded high levels of effectiveness, in terms of satisfaction, learning and return on expectations. Yet, course design did not dictate the types of interactions in which students engaged within the courses. Findings suggest that the interaction equivalency theorem can be reformulated as follows: In corporate settings, an online course can be effective in terms of satisfaction, learning, knowledge transfer, business results and return on expectations, as long as (a at least one of three types of interaction (learner-content, learner-teacher or learner-learner features prominently in the design of the course, and (b course delivery is consistent with the chosen type of interaction. Focusing on only one type of interaction carries a high risk of confusion, disengagement or missed learning opportunities, which can be managed by incorporating other forms of interactions.
Rath, Barbara; Linder, Thomas; Cornblath, David; Hudson, Michael; Fernandopulle, Rohini; Hartmann, Katharina; Heininger, Ulrich; Izurieta, Hector; Killion, Leslie; Kokotis, Pangiotis; Oleske, James; Vajdy, Michael; Wong, Virginia
2007-01-01
Bell's palsy has been reported as an adverse event following immunization (AEFI). Review of the published literature reveals that several characteristics have been used to describe Bell's palsy, which differ significantly from author to author. Evidently, the definition of "Bell's palsy" remains con
2013-01-22
... COMMISSION PPL Bell Bend, LLC; Combined License Application for Bell Bend Nuclear Power Plant; Exemption 1.0... Approvals for Nuclear Power Plants.'' This reactor is to be identified as Bell Bend Nuclear Power Plant... (RCOL) application for UniStar's Calvert Cliffs Nuclear Power Plant, Unit 3 (CCNPP3). The NRC...
2011-12-29
... COMMISSION PPL Bell Bend, LLC; Combined License Application for Bell Bend Nuclear Power Plant; Exemption 1.0..., Certifications, and Approvals for Nuclear Power Plants.'' This reactor is to be identified as Bell Bend Nuclear... application is based upon the U.S. EPR reference COL (RCOL) application for UniStar's Calvert Cliffs...
Shell theorem for spontaneous emission
DEFF Research Database (Denmark)
Kristensen, Philip Trøst; Mortensen, Jakob Egeberg; Lodahl, Peter; Stobbe, Søren
2013-01-01
We investigate spontaneous emission from excitons beyond the point source dipole approximation and show how the symmetry of the exciton wave function plays a crucial role. We find that for spherically symmetric wave functions, the Purcell effect is independent of the wave function size and...... therefore is given exactly by the dipole approximation theory. This surprising result is a spontaneous emission counterpart to the shell theorems of classical mechanics and electrostatics and provides insights into the physics of mesoscopic emitters as well as great simplifications in practical calculations....
Herbrand Theorems for Substructural Logics
Czech Academy of Sciences Publication Activity Database
Cintula, Petr; Metcalfe, G.
Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. (Lecture Notes in Computer Science. Advanced Research in Computing and Software Science. 8312). ISBN 978-3-642-45221-5. ISSN 0302-9743. [LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013] R&D Projects: GA ČR GAP202/10/1826 Institutional support: RVO:67985807 Keywords : substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics Subject RIV: BA - General Mathematics
The inverse Fueter mapping theorem
Colombo, Fabrizio; Sabadini, Irene; Sommen, Franciscus
2011-01-01
In a recent paper the authors have shown how to give an integral representation of the Fueter mapping theorem using the Cauchy formula for slice monogenic functions. Specifically, given a slice monogenic function f of the form f = alpha + (omega) under bar beta (where alpha, beta satisfy the Cauchy-Riemann equations) we represent in integral form the axially monogenic function f = A + (omega) under barB (where A, B satisfy the Vekua's system) given by f(x) = Delta n-1/2 f (x) where Delta is t...
Generalized Bell States and Quantum Teleportation
Fujii, Kazuyuki
2001-01-01
We make a brief comment on measurement of quantum operators with degenerate eigenstates and apply to quantum teleportation. We also try extending the quantum teleportation by Bennett et al [5] to more general situation by making use of generalized Bell states.
Peripheral nerve involvement in Bell's palsy
Directory of Open Access Journals (Sweden)
J. A. Bueri
1984-12-01
Full Text Available A group of patients with Bell's palsy were studied in order to disclose the presence of subclinical peripheral nerve involvement. 20 patients, 8 male and 12 female, with recent Bell's palsy as their unique disease were examined, in all cases other causes of polyneuropathy were ruled out. Patients were investigated with CSF examination, facial nerve latencies in the affected and in the sound sides, and maximal motor nerve conduction velocities, as well as motor terminal latencies from the right median and peroneal nerves. CSF laboratory examination was normal in all cases. Facial nerve latencies were abnormal in all patients in the affected side, and they differed significantly from those of control group in the clinically sound side. Half of the patients showed abnormal values in the maximal motor nerve conduction velocities and motor terminal latencies of the right median and peroneal nerves. These results agree with previous reports which have pointed out that other cranial nerves may be affected in Bell's palsy. However, we have found a higher frequency of peripheral nerve involvement in this entity. These findings, support the hypothesis that in some patients Bell's palsy is the component of a more widespread disease, affecting other cranial and peripheral nerves.
Faulkner's Southern belle - myth or reality?
Directory of Open Access Journals (Sweden)
Nataša Intihar Klančar
2011-12-01
Full Text Available The article deals with heroines of William Faulkner's novels Light in August, Absalom, Absalom!, The Sound and the Fury, The Unvanquished, The Town and his short story "A Rose for Emily". The Southern belle features as a recurring character in Faulkner's fiction, her fragility, modesty, weakness yet strength, beauty, sincerity, generous nature, status and her fall from innocence comprise her central characteristics. Confronted with various expectations of Southern society and with the hardships of war, the belle is faced with many obstacles and challenges. Faulkner's heroines face a wide array of problems that prevent them from being and/or remaining a Southern belle. Let us name a few: Lena's inappropriate social status, Joanna's wrong roots, Mrs. Hightower's inability to fulfill her duties as the minister's wife, Ellen's miserable marriage, Judith's sad love life, Rosa's feelings of inferiority and humiliation, Mrs. Compson's failure as a mother, Caddy's weak rebellion against male convention, Drusilla's male characteristics, Linda's unrequited love and Emily's dark secret, to name a few. Through these characters and their destinies Faulkner shows a decaying South whose position has changed considerably over the years. Can the Southern belle save it? Can she save herself?
Communication cost of simulating Bell correlations.
Toner, B F; Bacon, D
2003-10-31
What classical resources are required to simulate quantum correlations? For the simplest and most important case of local projective measurements on an entangled Bell pair state, we show that exact simulation is possible using local hidden variables augmented by just one bit of classical communication. Certain quantum teleportation experiments, which teleport a single qubit, therefore admit a local hidden variables model. PMID:14611317
Mouthpiece and Bell Effects on Trombone Resonance
LoPresto, Michael C.
2014-01-01
The effects of the mouthpiece and bell on the frequencies of the vibrating air column in a trombone can be demonstrated quite readily by first calculating the expected resonant frequencies of a piece of PVC pipe that is the same length as a trombone, then replacing portions of the PVC pipe of the same length with first a cup-shaped mouthpiece and…
Baby Bell Libraries?--An Update.
Kessler, Jack
1993-01-01
Discusses the emerging three-tiered structure (i.e., the "Baby Bells," network nodes, and information marketers) that will assume responsibility for implementing a new national information network and getting networked information to the public. The role of libraries related to networked information is also considered. (EA)
Violation of Bell's inequalities in quantum optics
Reid, M. D.; Walls, D. F.
1984-01-01
An optical field produced by intracavity four-wave mixing is shown to exhibit the following nonclassical features: photon antibunching, squeezing, and violation of Cauchy-Schwarz and Bell's inequalities. These intrinsic quantum mechanical effects are shown to be associated with the nonexistence of a positive normalizable Glauber-Sudarshan P function.
MIDAS™ DEMONSTRATION PLOTS IN BELL PEPPER
A demonstration trial comparing MIDAS™ (methyl iodide:chloropicrin 50:50) to methyl bromide:chloropicrin (67:33) was conducted in Saint Lucie County, FL on a commercial bell pepper production farm. Methyl bromide:chloropicrin was shank injected into performed beds at 392 kg/ha using three 25 cm dee...
Campbell, Patricia Shehan
1995-01-01
Presents an interview with Bell Yung, a scholar of Chinese music and ethnomusicology. Maintains that world music (music from many nations and cultures) should be taught as early as possible in the schools and at home. Includes two lesson plans for teaching about Chinese music. (CFR)
Engineering professor Amy Bell honored by IEEE
Crumbley, Liz
2006-01-01
Amy Bell, an associate professor in the Virginia Tech College of Engineering's Bradley Department of Electrical and Computer Engineering, has received a 2006 Outstanding Student Branch Advisor Award from the Institute of Electrical and Electronics Engineers Inc. (IEEE), the world's largest professional organization for electrical and computer engineers.
Delayed facial nerve decompression for Bell's palsy.
Kim, Sang Hoon; Jung, Junyang; Lee, Jong Ha; Byun, Jae Yong; Park, Moon Suh; Yeo, Seung Geun
2016-07-01
Incomplete recovery of facial motor function continues to be long-term sequelae in some patients with Bell's palsy. The purpose of this study was to investigate the efficacy of transmastoid facial nerve decompression after steroid and antiviral treatment in patients with late stage Bell's palsy. Twelve patients underwent surgical decompression for Bell's palsy 21-70 days after onset, whereas 22 patients were followed up after steroid and antiviral therapy without decompression. Surgical criteria included greater than 90 % degeneration on electroneuronography and no voluntary electromyography potentials. This study was a retrospective study of electrodiagnostic data and medical chart review between 2006 and 2013. Recovery from facial palsy was assessed using the House-Brackmann grading system. Final recovery rate did not differ significantly in the two groups; however, all patients in the decompression group recovered to at least House-Brackmann grade III at final follow-up. Although postoperative hearing threshold was increased in both groups, there was no significant between group difference in hearing threshold. Transmastoid decompression of the facial nerve in patients with severe late stage Bell's palsy at risk for a poor facial nerve outcome reduced severe complications of facial palsy with minimal morbidity. PMID:26319412
Astronaut Virgil Grissom Entering Liberty Bell 7
1961-01-01
Assisted by Astronaut John Glenn, Astronaut Virgil Grissom enters the Mercury capsule, Liberty Bell 7, for the MR-4 mission on July 21, 1961. Boosted by the Mercury-Redstone vehicle, the MR-4 mission was the second manned suborbital flight.
Detection loophole in asymmetric Bell experiments
Brunner, Nicolas; Gisin, Nicolas; Scarani, Valerio; Simon, Christoph
2007-01-01
The problem of closing the detection loophole with asymmetric systems, such as entangled atom-photon pairs, is addressed. We show that, for the Bell inequality I_3322, a minimal detection efficiency of 43% can be tolerated for one of the particles, if the other one is always detected. We also study the influence of noise and discuss the prospects of experimental implementation.
Bell-inequality violation with "thermal" radiation
Filip, Radim; Dusek, Miloslav; Fiurasek, Jaromir; Mista, Ladislav
2001-01-01
The model of a quantum-optical device for a conditional preparation of entangled states from input mixed states is presented. It is demonstrated that even thermal or pseudo-thermal radiation can be entangled in such a way, that Bell-inequalities are violated.
A generalized preimage theorem in global analysis
Institute of Scientific and Technical Information of China (English)
MA; Jipu
2001-01-01
［1］Ma Jipu, (1.2) inverses of operators between Banach spaces and conjugacy theorem, Chinese Annals of Math., B, 1999, 20(1): 57.［2］Ma Jipu, Rank theorem of operators between Banach spaces, Science in China, Ser. A, 2000, 43(1): 1.［3］Ma Jipu, Local conjugacy theorem, rank theorems in advenced calculus and a generalized principle constructing Banach manifolds, Science in China, Ser. A, 2000, 43(12): 1233.［4］Zeidler, A. E., Nonlinear Function Analysis and Its Applications, IV: Applications to Mathematical Physics, New York: Springer-Verlag, 1988.
Directory of Open Access Journals (Sweden)
Sol Swords
2011-10-01
Full Text Available Interactive theorem proving requires a lot of human guidance. Proving a property involves (1 figuring out why it holds, then (2 coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDD- or SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and automates the process of admitting it as a theorem. We use GL at Centaur Technology to verify execution units for x86 integer, MMX, SSE, and floating-point arithmetic.
Cosmological Perturbations and the Weinberg Theorem
Akhshik, Mohammad; Jazayeri, Sadra
2015-01-01
The celebrated Weinberg theorem in cosmological perturbation theory states that there always exist two adiabatic scalar modes in which the comoving curvature perturbation is conserved on super-horizon scales. In particular, when the perturbations are generated from a single source, such as in single field models of inflation, both of the two allowed independent solutions are adiabatic and conserved on super-horizon scales. There are few known examples in literature which violate this theorem. We revisit the theorem and specify the loopholes in some technical assumptions which violate the theorem in models of non-attractor inflation, fluid inflation, solid inflation and in the model of pseudo conformal universe.
Vela Velupillai, K.
2014-01-01
The Hahn-Banach Theorem plays a crucial role in the second fundamental theorem of welfare economics. To date, all mathematical economics and advanced general equilibrium textbooks concentrate on using nonconstructive or incomputable versions of this celebrated theorem. In this paper we argue for the introduction of constructive or computable Hahn-Banach theorems in mathematical economics and advanced general equilibrium theory. The suggested modification would make applied and policy-oriented...
An elementary derivation of the quantum virial theorem from Hellmann–Feynman theorem
İpekoğlu, Y.; Turgut, S.
2016-07-01
A simple proof of the quantum virial theorem that can be used in undergraduate courses is given. The proof proceeds by first showing that the energy eigenvalues of a Hamiltonian remain invariant under a scale transformation. Then invoking the Hellmann–Feynman theorem produces the final statement of the virial theorem.
Two extensions of Ramsey's theorem
Conlon, David; Sudakov, Benny
2011-01-01
Ramsey's theorem, in the version of Erd\\H{o}s and Szekeres, states that every 2-coloring of the edges of the complete graph on {1, 2,...,n} contains a monochromatic clique of order 1/2\\log n. In this paper, we consider two well-studied extensions of Ramsey's theorem. Improving a result of R\\"odl, we show that there is a constant $c>0$ such that every 2-coloring of the edges of the complete graph on \\{2, 3,...,n\\} contains a monochromatic clique S for which the sum of 1/\\log i over all vertices i \\in S is at least c\\log\\log\\log n. This is tight up to the constant factor c and answers a question of Erd\\H{o}s from 1981. Motivated by a problem in model theory, V\\"a\\"an\\"anen asked whether for every k there is an n such that the following holds. For every permutation \\pi of 1,...,k-1, every 2-coloring of the edges of the complete graph on {1, 2, ..., n} contains a monochromatic clique a_1a_{\\pi(2)+1}-a_{\\pi(2)}>...>a_{\\pi(k-1)+1}-a_{\\pi(k-1)}. That is, not only do we want a monochromatic clique, but the difference...
An impossibility theorem for parameter independent hidden variable theories
Leegwater, Gijs
2016-05-01
Recently, Roger Colbeck and Renato Renner (C&R) have claimed that '[n]o extension of quantum theory can have improved predictive power' (Colbeck & Renner, 2011, 2012b). If correct, this is a spectacular impossibility theorem for hidden variable theories, which is more general than the theorems of Bell (1964) and Leggett (2003). Also, C&R have used their claim in attempt to prove that a system's quantum-mechanical wave function is in a one-to-one correspondence with its 'ontic' state (Colbeck & Renner, 2012a). C&R's claim essentially means that in any hidden variable theory that is compatible with quantum-mechanical predictions, probabilities of measurement outcomes are independent of these hidden variables. This makes such variables otiose. On closer inspection, however, the generality and validity of the claim can be contested. First, it is based on an assumption called 'Freedom of Choice'. As the name suggests, this assumption involves the independence of an experimenter's choice of measurement settings. But in the way C&R define this assumption, a no-signalling condition is surreptitiously presupposed, making the assumption less innocent than it sounds. When using this definition, any hidden variable theory violating parameter independence, such as Bohmian Mechanics, is immediately shown to be incompatible with quantum-mechanical predictions. Also, the argument of C&R is hard to follow and their mathematical derivation contains several gaps, some of which cannot be closed in the way they suggest. We shall show that these gaps can be filled. The issue with the 'Freedom of Choice' assumption can be circumvented by explicitly assuming parameter independence. This makes the result less general, but better founded. We then obtain an impossibility theorem for hidden variable theories satisfying parameter independence only. As stated above, such hidden variable theories are impossible in the sense that any supplemental variables have no bearing on outcome probabilities
Abel's Theorem in the Noncommutative Case
Leitenberger, Frank
2005-01-01
We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic differentials of the first kind. Following Abel we prove Abel's Theorem.
The classical version of Stokes' Theorem revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we show how the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...
Anisotropic weak Hardy spaces and interpolation theorems
Institute of Scientific and Technical Information of China (English)
2008-01-01
In this paper, the authors establish the anisotropic weak Hardy spaces associated with very general discrete groups of dilations. Moreover, the atomic decomposition theorem of the anisotropic weak Hardy spaces is also given. As some applications of the above results, the authors prove some interpolation theorems and obtain the boundedness of the singular integral operators on these Hardy spaces.
Convergence theorems for intermediate problems. II
Beattie, C. A.; Greenlee, W. M.
2002-01-01
Convergence theorems for the practical eigenvector free methods of Gay and Goerisch are obtained under a variety of hypotheses, so that our theorems apply to both traditional boundary-value problems and atomic problems. In addition, we prove convergence of the T*T method of Bazley and Fox without an alignment of projections hypothesis required in previous literature.
Interpolation theorems on weighted Lorentz martingale spaces
Institute of Scientific and Technical Information of China (English)
2007-01-01
In this paper several interpolation theorems on martingale Lorentz spaces are given.The proofs are based on the atomic decompositions of martingale Hardy spaces over weighted measure spaces.Applying the interpolation theorems,we obtain some inequalities on martingale transform operator.
AN ABSTRACT ORLICS: PETTIS THEOREM AND APPLICATIONS
Directory of Open Access Journals (Sweden)
LI RONGLU
2008-08-01
Full Text Available In this paper we establish two abstract versions of the classical Orlicz-Pettis Theorem for multiplier convergent series. We show that these abstract results yield known versions of the Orlicz-Pettis Theorem for locally convex spaces as well as versions for operator valued series. We also give applications to vector valued measures and spaces of continuous functions.
The Ahlfors lemma and Picard's theorems
Simonič, Aleksander
2015-01-01
The article introduces Ahlfors' generalization of the Schwarz lemma. With this powerful geometric tool of complex functions in one variable, we are able to prove some theorems concerning the size of images under holomorphic mappings, including the celebrated Picard's theorems. The article concludes with a brief insight into the theory of Kobayashi hyperbolic complex manifolds.
Generalized Fibonacci Numbers and Blackwell's Renewal Theorem
Christensen, Sören
2010-01-01
We investigate a connection between generalized Fibonacci numbers and renewal theory for stochastic processes. Using Blackwell's renewal theorem we find an approximation to the generalized Fibonacci numbers. With the help of error estimates in the renewal theorem we figure out an explicit representation.
Szemeredi's theorem and problems on arithmetic progressions
International Nuclear Information System (INIS)
Szemeredi's famous theorem on arithmetic progressions asserts that every subset of integers of positive asymptotic density contains arithmetic progressions of arbitrary length. His remarkable theorem has been developed into a major new area of combinatorial number theory. This is the topic of the present survey.
No-cloning theorem in thermofield dynamics
Prudencio, Thiago
2011-01-01
Here we apply the no-cloning theorem from quantum information in the thermofield dynamics (TFD) scenario, relating the doubling procedure of TFD to a cloning machine process. As a consequence we use the no-cloning theorem to demonstrate that the thermal vaccuum state defined in TFD is necessarilly a mixed state.
No-cloning theorem in thermofield dynamics
Prudencio, Thiago
2011-01-01
We discuss the relation between the no-cloning theorem from quantum information and the doubling procedure used in the formalism of thermofield dynamics (TFD). We also discuss how to apply the no-cloning theorem in the context of thermofield states defined in TFD. Consequences associated to mixed states, von Neumann entropy and thermofield vacuum are also addressed.
A New Fixed Point Theorem and Applications
Directory of Open Access Journals (Sweden)
Min Fang
2013-01-01
Full Text Available A new fixed point theorem is established under the setting of a generalized finitely continuous topological space (GFC-space without the convexity structure. As applications, a weak KKM theorem and a minimax inequalities of Ky Fan type are also obtained under suitable conditions. Our results are different from known results in the literature.
Non perturbative Adler-Bardeen Theorem
Mastropietro, Vieri
2006-01-01
The Adler-Bardeen theorem has been proved only as a statement valid at all orders in perturbation theory, without any control on the convergence of the series. In this paper we prove a nonperturbative version of the Adler-Bardeen theorem in $d=2$ by using recently developed technical tools in the theory of Grassmann integration.
The Classical Version of Stokes' Theorem Revisited
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations--essentially from first year undergraduate mathematics--we show how the classical Stokes' theorem for any given surface and vector field in R[superscript 3] follows from an application of Gauss' divergence theorem to a suitable modification of the vector field in a tubular shell around the…
A Metrized Duality Theorem for Markov Processes
DEFF Research Database (Denmark)
Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash
2014-01-01
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudometric and the algebras with a notion of metric diameter. We are able to show that the isomorphisms of our previous duality theorem become isometries in this quantitative setting. This opens the wa...
A Generalization of the Prime Number Theorem
Bruckman, Paul S.
2008-01-01
In this article, the author begins with the prime number theorem (PNT), and then develops this into a more general theorem, of which many well-known number theoretic results are special cases, including PNT. He arrives at an asymptotic relation that allows the replacement of certain discrete sums involving primes into corresponding differentiable…
Visualizing the Central Limit Theorem through Simulation
Ruggieri, Eric
2016-01-01
The Central Limit Theorem is one of the most important concepts taught in an introductory statistics course, however, it may be the least understood by students. Sure, students can plug numbers into a formula and solve problems, but conceptually, do they really understand what the Central Limit Theorem is saying? This paper describes a simulation…
Boundary contributions to the hypervirial theorem
Esteve, J. G.; Falceto, F.; Giri, Pulak Ranjan
2012-01-01
It is shown that under certain boundary conditions the virial theorem has to be modified. We analyze the origin of the extra term and compute it in particular examples. The Coulomb and harmonic oscillator with point interaction have been studied in the light of this generalization of the virial theorem.
A Simple Vector Proof of Feuerbach's Theorem
Scheer, Michael
2011-01-01
The celebrated theorem of Feuerbach states that the nine-point circle of a nonequilateral triangle is tangent to both its incircle and its three excircles. In this note, we give a simple proof of Feuerbach's Theorem using straightforward vector computations. All required preliminaries are proven here for the sake of completeness.
A density Corradi-Hajnal theorem
Czech Academy of Sciences Publication Activity Database
Allen, P.; Böttcher, J.; Hladký, Jan; Piguet, D.
2015-01-01
Roč. 67, č. 4 (2015), s. 721-758. ISSN 0008-414X Institutional support: RVO:67985840 Keywords : extremal graph theory * Mantel's theorem * Corradi-Hajnal theorem Subject RIV: BA - General Mathematics Impact factor: 0.765, year: 2014 http://cms.math.ca/10.4153/CJM-2014-030-6
New proofs of basic theorems in calculus
Reem, Daniel
2007-01-01
In this note we present new proofs of three basic theorems in calculus. Although these theorems are well-known, in each proof we obtain something which seems to be unknown. We start with the Heine-Cantor theorem about uniform continuity and obtain explicitly the optimal delta for the given epsilon. We then proceed with the Weierstrass extreme value theorem and present two proofs of it: the ``envelope proof'' in which the largest possible maximal point is found using an envelope function, and the ``programmer proof'', which does not use the costume argument of proving boundedness first, and in which an explicit sequence is shown to converge monotonically to the maximal value. We finish with the intermediate value theorem, which is generalized to a class of discontinuous functions and in which the meaning of the intermediate value property is re-examined. In the end we discuss in which sense the proofs are constructive.
Uniqueness theorems in linear elasticity
Knops, Robin John
1971-01-01
The classical result for uniqueness in elasticity theory is due to Kirchhoff. It states that the standard mixed boundary value problem for a homogeneous isotropic linear elastic material in equilibrium and occupying a bounded three-dimensional region of space possesses at most one solution in the classical sense, provided the Lame and shear moduli, A and J1 respectively, obey the inequalities (3 A + 2 J1) > 0 and J1>O. In linear elastodynamics the analogous result, due to Neumann, is that the initial-mixed boundary value problem possesses at most one solution provided the elastic moduli satisfy the same set of inequalities as in Kirchhoffs theorem. Most standard textbooks on the linear theory of elasticity mention only these two classical criteria for uniqueness and neglect altogether the abundant literature which has appeared since the original publications of Kirchhoff. To remedy this deficiency it seems appropriate to attempt a coherent description ofthe various contributions made to the study of uniquenes...
Dirac's theorem for random graphs
Lee, Choongbum
2011-01-01
A classical theorem of Dirac from 1952 asserts that every graph on $n$ vertices with minimum degree at least $\\lceil n/2 \\rceil$ is Hamiltonian. In this paper we extend this result to random graphs. Motivated by the study of resilience of random graph properties we prove that if $p \\gg \\log n /n$, then a.a.s. every subgraph of $G(n,p)$ with minimum degree at least $(1/2+o(1))np$ is Hamiltonian. Our result improves on previously known bounds, and answers an open problem of Sudakov and Vu. Both, the range of edge probability $p$ and the value of the constant 1/2 are asymptotically best possible.
Ehrenfest Theorem in Precanonical Quantization
Kanatchikov, I V
2015-01-01
We discuss the precanonical quantization of fields, which is based on the De Donder-Weyl (DW) Hamiltonian formulation and does not distinguish between the space and time variables. Classical field equations in DW Hamiltonian form are derived as the equations on the expectation values of the corresponding precanonical quantum operators. This field-theoretic generalization of the quantum mechanical Ehrenfest theorem demonstrates the consistency of three aspects of precanonical field quantization: the precanonical representation of operators in terms of the Clifford (Dirac) algebra valued partial differential operators, the Dirac-like precanonical generalization of the Schr\\"odinger equation without the distinguished time dimension, and the prescription of calculating the expectation values of operators using the Clifford-valued precanonical wave functions.
Singlet and triplet instability theorems
Energy Technology Data Exchange (ETDEWEB)
Yamada, Tomonori; Hirata, So, E-mail: sohirata@illinois.edu [Department of Chemistry, University of Illinois at Urbana-Champaign, 600 South Mathews Avenue, Urbana, Illinois 61801 (United States); CREST, Japan Science and Technology Agency, 4-1-8 Honcho, Kawaguchi, Saitama 332-0012 (Japan)
2015-09-21
A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree–Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree–Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree–Fock-theory-based explanations of Hund’s rule, a singlet instability in Jahn–Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions.
Magnetohydrodynamic stability comparison theorems revisited
International Nuclear Information System (INIS)
Magnetohydrodynamic (MHD) stability comparison theorems are presented for several different plasma models, each one corresponding to a different level of collisionality: a collisional fluid model (ideal MHD), a collisionless kinetic model (kinetic MHD), and two intermediate collisionality hybrid models (Vlasov-fluid and kinetic MHD-fluid). Of particular interest is the re-examination of the often quoted statement that ideal MHD makes the most conservative predictions with respect to stability boundaries for ideal modes. Some of the models have already been investigated in the literature and we clarify and generalize these results. Other models are essentially new and for them we derive new comparison theorems. Three main conclusions can be drawn: (1) it is crucial to distinguish between ergodic and closed field line systems; (2) in the case of ergodic systems, ideal MHD does indeed make conservative predictions compared to the other models; (3) in closed line systems undergoing perturbations that maintain the closed line symmetry this is no longer true. Specifically, when the ions are collisionless and their gyroradius is finite, as in the Vlasov-fluid model, there is no compressibility stabilization. The Vlasov-fluid model is more unstable than ideal MHD. The reason for this is related to the wave-particle resonance associated with the perpendicular precession drift motion of the particles (i.e., the ExB drift and magnetic drifts), combined with the absence of any truly toroidally trapped particles. The overall conclusion is that to determine macroscopic stability boundaries for ideal modes for any magnetic geometry using a simple conservative approach, one should analyze the ideal MHD energy principle for incompressible displacements.
Singlet and triplet instability theorems
International Nuclear Information System (INIS)
A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree–Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree–Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree–Fock-theory-based explanations of Hund’s rule, a singlet instability in Jahn–Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions
OTTER, Resolution Style Theorem Prover
International Nuclear Information System (INIS)
1 - Description of program or function: OTTER (Other Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first-order logic with equality. OTTER includes the inference rules binary resolution, hyper-resolution, UR-resolution, and binary para-modulation. These inference rules take as small set of clauses and infer a clause. If the inferred clause is new and useful, it is stored and may become available for subsequent inferences. Other capabilities are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, and evaluable functions and predicates. 2 - Method of solution: For its inference process OTTER uses the given-clause algorithm, which can be viewed as a simple implementation of the set of support strategy. OTTER maintains three lists of clauses: axioms, sos (set of support), and demodulators. OTTER is not automatic. Even after the user has encoded a problem into first-order logic or into clauses, the user must choose inference rules, set options to control the processing of inferred clauses, and decide which input formulae or clauses are to be in the initial set of support and which, if any, equalities are to be demodulators. If OTTER fails to find a proof, the user may try again different initial conditions. 3 - Restrictions on the complexity of the problem - Maxima of: 5000 characters in an input string, 64 distinct variables in a clause, 51 characters in any symbol. The maxima can be changed by finding the appropriate definition in the header.h file, increasing the limit, and recompiling OTTER. There are a few constraints on the order of commands
Global track finder for Belle II experiment
International Nuclear Information System (INIS)
We present an implementation of a method based on the Legendre transformation for reconstruction charged particle tracks in the central drift chamber of the Belle II experiment. The method is designed for fast track finding and restoring circular patterns of track hits in transverse plane. It is done by searching for common tangents to drift circles of hits in the conformal space. With known transverse trajectories longitudinal momentum estimation performed by assigning stereo hits followed by determination of the track parameters. The method includes algorithms responsible for track quality estimation and reduction of rate of fakes. The work is targeting at increasing the efficiency and reducing the execution time because the computing power available to the experiment is limited. The algorithm is developed within the Belle II software environment with using Monte-Carlo simulation for probing its efficiency.
Quantum cloning, Bell's inequality and teleportation
International Nuclear Information System (INIS)
We analyse the possibility of using the two-qubit output state from the Buzek-Hillery quantum copying machine (not necessarily a universal quantum cloning machine) as a teleportation channel. We show that there is a range of values of the machine parameter ξ for which the two-qubit output state is entangled and violates the Bell-CHSH inequality and for a different range it remains entangled but does not violate the Bell-CHSH inequality. Further, we observe that for certain values of the machine parameter the two-qubit mixed state can be used as a teleportation channel. The use of the output state from the Buzek-Hillery cloning machine as a teleportation channel provides an additional appeal to the cloning machine and motivation for our present work
CP symmetry and the BELLE experiment
International Nuclear Information System (INIS)
Full text: The violation of CP symmetry was first observed in the K0 meson system more than 30 years ago. A new generation of experiments now seeks to observe this symmetry violation in the system of neutral B mesons and various experiments are scheduled to take data in the near future. BELLE is one such experiment being constructed at KEK in Japan. It will be fully commissioned early 1999 and the Australian Experimental High Energy Physics Consortium is actively participating in this exciting venture. This review will cover the significance of CP violation to particle physics and describe the special features of the BELLE experiment, highlighting the special contributions that are being made by the Australian group
Computing System for the Belle Experiment
Adachi, I; Katayama, N; Tsukamoto, T; Hibino, T; Yokoyama, M; Hinz, L; Ronga, F
2003-01-01
We describe the offline computing system of the Belle experiment, consisting of a computing farm with one thousand IA-32 CPUs. Up to now, the Belle experiment has accumulated more than 120 fb$^{-1}$ of data, which is the world largest $Bbar{B}$ sample at the $Upsilon(4S)$ energy. The data have to be processed with a single version of reconstruction software and calibration constants to perform precise measurements of $B$ meson decays. In addition, Monte Carlo samples three times larger than the real beam data are generated. To fullfill our computing needs, we have constructed the computing system with 90(300) quad(dual) CPU PC servers from multiple vendors as a central processing system. The details of this computing system and performance of data processing with the current model are presented.
The Belle II VXD production database
International Nuclear Information System (INIS)
The construction and commissioning of the Belle II Vertex Detector (VXD) is a huge endeavor involving a large number of valuable components. Both subsystems PXD (Pixel Detector) and SVD (Silicon Vertex Detector) deploy a large number of sensors, readout electronic parts and mechanical elements. These items are scattered around the world at many institutes, where they are built, measured and assembled. One has to keep track of measurement configurations and results, know at any time the location of the sensors, their processing state, quality, where they end up in an assembly, and who is responsible. These requirements call for a flexible and extensive database which is able to reflect the processes in the laboratories and the logistics between the institutes. This talk introduces the database requirements of a physics experiment using the PXD construction workflow as a showcase, and presents an overview of the database ''HephyDb'', which is used by the groups constructing the Belle II VXD.
Double dumb-bell calculus in childhood
Directory of Open Access Journals (Sweden)
Joshi Prashant
2009-01-01
Full Text Available An eight-year old male was admitted with complaints of right scrotal swelling, dysuria and intermittent retention of urine for 10 days. On per-rectal examination, a hard mass was palpable in the posterior urethra. An X-ray (KUB of the abdomen revealed a double dumb-bell calculus at the base of bladder, extending into the posterior urethra. A cystolithotomy via the suprapubic approach was successfully curative.
Bell's Inequalities, Superquantum Correlations, and String Theory
Directory of Open Access Journals (Sweden)
Lay Nam Chang
2011-01-01
We argue that string theory, viewed as a quantum theory with two deformation parameters, the string tension α ' , and the string coupling constant g s , is such a superquantum theory that transgresses the usual quantum violations of Bell's inequalities. We also discuss the ℏ → ∞ limit of quantum mechanics in this context. As a superquantum theory, string theory should display distinct experimentally observable supercorrelations of entangled stringy states.
Bell Experiments with Random Destination Sources
Sciarrino, F.; Vallone, G.; Cabello, A.; Mataloni, P.
2010-01-01
It is generally assumed that sources sending randomly two particles to one or two different observers, named here random destination sources (RDS), cannot by used for genuine quantum nonlocality tests because of the postselection loophole. We demonstrate that Bell experiments not affected by the postselection loophole may be performed with: (i) RDS and local postselection using perfect detectors, (ii) RDS, local postselection, and fair sampling assumption with any detection efficiency, and (i...
Perfect bell nozzle parametric and optimization curves
Tuttle, J. L.; Blount, D. H.
1983-01-01
Nozzle contour data for untruncated Bell nozzles with expansion area ratios to 6100 and a specific heat ratio of 1.2 are provided. Curves for optimization of nozzles for maximum thrust coefficient within a given length, surface area, or area ratio are included. The nozzles are two dimensional axisymmetric and calculations were performed using the method of characteristics. Drag due to wall friction was included in the final thrust coefficient.
Generalized Bell-inequality experiments and computation
International Nuclear Information System (INIS)
We consider general settings of Bell inequality experiments with many parties, where each party chooses from a finite number of measurement settings each with a finite number of outcomes. We investigate the constraints that Bell inequalities place upon the correlations possible in local hidden variable theories using a geometrical picture of correlations. We show that local hidden variable theories can be characterized in terms of limited computational expressiveness, which allows us to characterize families of Bell inequalities. The limited computational expressiveness for many settings (each with many outcomes) generalizes previous results about the many-party situation each with a choice of two possible measurements (each with two outcomes). Using this computational picture we present generalizations of the Popescu-Rohrlich nonlocal box for many parties and nonbinary inputs and outputs at each site. Finally, we comment on the effect of preprocessing on measurement data in our generalized setting and show that it becomes problematic outside of the binary setting, in that it allows local hidden variable theories to simulate maximally nonlocal correlations such as those of these generalized Popescu-Rohrlich nonlocal boxes.
The Belle II DEPFET pixel detector
International Nuclear Information System (INIS)
The Japanese flavour factory (KEKB) accumulated a total integrated luminosity of 1000 fb-1 over more than a decade of operation. Despite this great success, an upgrade of the existing machine is under construction, and is foreseen for commissioning by the end of 2015. This new electron-positron machine (SuperKEKB) will deliver an instantaneous luminosity 40 times higher than the world record set by KEKB. To fully exploit the huge number of events and measure precisely the decay vertex of the B mesons in a large background environment, the SuperKEKB partner, the Belle detector, will be also upgraded. In the Belle II project, a highly granular silicon vertex detector (PXD) based on the DEPFET pixel technology, will be the innermost subsystem, operated very close to the interaction point. The new pixel detector has to have an excellent single point resolution (10 μm) and a fast readout (20 μs), while keeping the material budget under very low levels (0.2% X0). This talk summarizes the Belle II pixel detector concept, from the DEPFET sensor to the laboratory tests results, all the way up the electronics chain, the DAQ system and the cooling concept.
The pointwise Hellmann-Feynman theorem
Directory of Open Access Journals (Sweden)
David Carfì
2010-02-01
Full Text Available In this paper we study from a topological point of view the Hellmann-Feynman theorem of Quantum Mechanics. The goal of the paper is twofold: On one hand we emphasize the role of the strong topology in the classic version of the theorem in Hilbert spaces, for what concerns the kind of convergence required on the space of continuous linear endomorphisms, which contains the space of (continuous observables.On the other hand we state and prove a new pointwise version of the classic Hellmann-Feynman theorem. This new version is not yet present in the literature and follows the idea of A. Bohm concerning the topology which is desiderable to use in Quantum Mechanics. It is indeed out of question that this non-trivial new version of the Hellmann-Feynman theorem is the ideal one - for what concerns the continuous observables on Hilbert spaces, both from a theoretical point of view, since it is the strongest version obtainable in this context - we recall that the pointwise topology is the coarsest one compatible with the linear structure of the space of continuous observables -, and from a practical point of view, because the pointwise topology is the easiest to use among topologies: it brings back the problems to the Hilbert space topology. Moreover, we desire to remark that this basic theorem of Quantum Mechanics, in his most desiderable form, is deeply interlaced with two cornerstones of Functional Analysis: the Banach-Steinhaus theorem and the Baire theorem.
An algebraic spin and statistics theorem
Guido, I D
1994-01-01
Abstract. A spin-statistics theorem and a PCT theorem are obtained in the context of the superselection sectors in Quantum Field Theory on a 4-dimensional space-time. Our main assumption is the requirement that the modular groups of the von Neumann algebras of local observables associated with wedge regions act geometrically as pure Lorentz transformations. Such a property, satisfied by the local algebras generated by Wightman fields because of the Bisognano-Wichmann theorem, is regarded as a natural primitive assumption.
A Generalization of Chaplygin's Reducibility Theorem
Fernandez, O E; Bloch, A M
2009-01-01
In this paper we study Chaplygin's Reducibility Theorem and extend its applicability to nonholonomic systems with symmetry described by the Hamilton-Poincare-d'Alembert equations in arbitrary degrees of freedom. As special cases we extract the extension of the Theorem to nonholonomic Chaplygin systems with nonabelian symmetry groups as well as Euler-Poincare-Suslov systems in arbitrary degrees of freedom. In the latter case, we also extend the Hamiltonization Theorem to nonholonomic systems which do not possess an invariant measure. Lastly, we extend previous work on conditionally variational systems using the results above. We illustrate the results through various examples of well-known nonholonomic systems.
Existence theorems for ordinary differential equations
Murray, Francis J
2007-01-01
Theorems stating the existence of an object-such as the solution to a problem or equation-are known as existence theorems. This text examines fundamental and general existence theorems, along with the Picard iterants, and applies them to properties of solutions and linear differential equations.The authors assume a basic knowledge of real function theory, and for certain specialized results, of elementary functions of a complex variable. They do not consider the elementary methods for solving certain special differential equations, nor advanced specialized topics; within these restrictions, th
Limit theorems for 2D invasion percolation
Damron, Michael
2010-01-01
We prove limit theorems and variance estimates for quantities related to ponds and outlets for 2D invasion percolation. We first exhibit several properties of a sequence (O(n)) of outlet variables, the n-th of which gives the number of outlets in the box centered at the origin of side length 2^n. The most important of these properties describe the sequence's renewal structure and exponentially fast mixing behavior. We use these to prove a central limit theorem and strong law of large numbers for (O(n)). We then show consequences of these limit theorems for the pond radii and outlet weights.
Bell's palsy: A Case Report and Literature Review
Directory of Open Access Journals (Sweden)
Tashika Kushraj
2014-06-01
Full Text Available Bell's palsy is considered as a disease of exclusion. It is a form of lower motor neuron paralysis affecting the facial muscles. Rapid onset of paralysis causes panic to the patients. For speedy recovery, correct diagnosis and early treatment are crucial. Here a case of Bell's palsy is reported and the literature on Bell's palsy is reviewed. [Cukurova Med J 2014; 39(3.000: 581-588
Experimental Bell inequality violation without the postselection loophole
Lima, G.; Vallone, G.; Chiuri, A.; Cabello, A.; Mataloni, P.
2009-01-01
We report on an experimental violation of the Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequality using energy-time entangled photons. The experiment is not free of the locality and detection loopholes, but is the first violation of the Bell-CHSH inequality using energy-time entangled photons which is free of the postselection loophole described by Aerts et al. [Phys. Rev. Lett. 83, 2872 (1999)].
Closing the Detection Loophole in Bell Experiments Using Qudits
Vértesi, Tamás; Pironio, Stefano; Brunner, Nicolas
2010-01-01
We show that the detection efficiencies required for closing the detection loophole in Bell tests can be significantly lowered using quantum systems of dimension larger than two. We introduce a series of asymmetric Bell tests for which an efficiency arbitrarily close to 1/N can be tolerated using N-dimensional systems, and a symmetric Bell test for which the efficiency can be lowered down to 61.8% using four-dimensional systems. Experimental perspectives for our schemes look promising conside...
Bell Inequality Tests with Macroscopic Entangled States of Light
Stobińska, M.; Sekatski, Pavel; Buraczewski, A.; Gisin, Nicolas; Leuchs, G.
2011-01-01
Quantum correlations may violate the Bell inequalities. Most of the experimental schemes confirming this prediction have been realized in all-optical Bell tests suffering from the detection loophole. Experiment which closes this loophole and the locality loophole simultaneously is highly desirable and remains challenging. A novel approach to a loophole-free Bell tests is based on amplification of the entangled photons, i.e.\\@ on macroscopic entanglement, which optical signal should be easy to...
Violating Bell inequalities maximally for two d-dimensional systems
International Nuclear Information System (INIS)
We show the maximal violation of Bell inequalities for two d-dimensional systems by using the method of the Bell operator. The maximal violation corresponds to the maximal eigenvalue of the Bell operator matrix. The eigenvectors corresponding to these eigenvalues are described by asymmetric entangled states. We estimate the maximum value of the eigenvalue for large dimension. A family of elegant entangled states |Ψ>app that violate Bell inequality more strongly than the maximally entangled state but are somewhat close to these eigenvectors is presented. These approximate states can potentially be useful for quantum cryptography as well as many other important fields of quantum information
Emile Galle ja legendaarne Belle Epoque / Kärt Kross
Kross, Kärt
2008-01-01
1811. aastal rajatud Perrier-Jouet shampanjamajast ja shampanjast Belle Epoque, mille lillemotiividega pudeli disainis prantsuse klaasikunstnik Emile Galle (1846-1904). Kunstniku eluloolisi andmeid, loomingust
Quadratic Goldreich-Levin Theorems
Tulsiani, Madhur
2011-01-01
Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseudorandom with respect to linear phases. The Goldreich-Levin algorithm can be viewed as an algorithmic analogue of such a decomposition as it gives a way to efficiently find the linear phases associated with large Fourier coefficients. In the study of "quadratic Fourier analysis", higher-degree analogues of such decompositions have been developed in which the pseudorandomness property is stronger but the structured part correspondingly weaker. For example, it has previously been shown that it is possible to express a bounded function as a sum of a few quadratic phases plus a part that is small in the $U^3$ norm, defined by Gowers for the purpose of counting arithmetic progressions of length 4. We give a polynomial time algorithm for computing such a decomposition. A key part of the algorithm is a local self-correction procedure for Re...
Lorentz violating kinematics: threshold theorems
Baccetti, Valentina; Tate, Kyle; Visser, Matt
2012-03-01
Recent tentative experimental indications, and the subsequent theoretical speculations, regarding possible violations of Lorentz invariance have attracted a vast amount of attention. An important technical issue that considerably complicates detailed calculations in any such scenario, is that once one violates Lorentz invariance the analysis of thresholds in both scattering and decay processes becomes extremely subtle, with many new and naively unexpected effects. In the current article we develop several extremely general threshold theorems that depend only on the existence of some energy momentum relation E(p), eschewing even assumptions of isotropy or monotonicity. We shall argue that there are physically interesting situations where such a level of generality is called for, and that existing (partial) results in the literature make unnecessary technical assumptions. Even in this most general of settings, we show that at threshold all final state particles move with the same 3-velocity, while initial state particles must have 3-velocities parallel/anti-parallel to the final state particles. In contrast the various 3-momenta can behave in a complicatedand counter-intuitive manner.
Security Theorems via Model Theory
Directory of Open Access Journals (Sweden)
Joshua Guttman
2009-11-01
Full Text Available A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs . (phi implies for some ys . psi. Models (interpretations for these formulas are *skeletons*, partially ordered structures consisting of a number of local protocol behaviors. *Realized* skeletons contain enough local sessions to explain all the behavior, when combined with some possible adversary behaviors. We show two results. (1 If phi is the antecedent of a security goal, then there is a skeleton A_phi such that, for every skeleton B, phi is satisfied in B iff there is a homomorphism from A_phi to B. (2 A protocol enforces for all xs . (phi implies for some ys . psi iff every realized homomorphic image of A_phi satisfies psi. Hence, to verify a security goal, one can use the Cryptographic Protocol Shapes Analyzer CPSA (TACAS, 2007 to identify minimal realized skeletons, or "shapes," that are homomorphic images of A_phi. If psi holds in each of these shapes, then the goal holds.
An Asymptotic Formula for r-Bell Numbers with Real Arguments
Corcino, Cristina B.; Corcino, Roberto B.
2013-01-01
The r-Bell numbers are generalized using the concept of the Hankel contour. Some properties parallel to those of the ordinary Bell numbers are established. Moreover, an asymptotic approximation for r-Bell numbers with real arguments is obtained.
TRANSVERSAL SPACES AND FIXED POINT THEOREMS
Sinia N. Ješić; Milan R. Tasković; Nataša Babačev
2007-01-01
In this paper we define Transversal functional probabilistic spaces (upper and lower) as a natural extension of Metric spaces, Probabilistic metric spaces and Fuzzy metric spaces. Also, we formulate and prove some fixed and common fixed point theorems.
Remarks on the Cayley-Hamilton Theorem
Gatto, Letterio; Scherbak, Inna
2015-01-01
We revisit the classical theorem by Cayley and Hamilton, "{\\em each endomorphism is a root of its own characteristic polynomial}", from the point of view of {\\em Hasse--Schmidt derivations on an exterior algebra}
Yet another proof of Szemeredi's theorem
Green, Ben
2010-01-01
Using the density-increment strategy of Roth and Gowers, we derive Szemeredi's theorem on arithmetic progressions from the inverse conjectures GI(s) for the Gowers norms, recently established by the authors and Ziegler.
Limit Theorems in Free Probability Theory I
Chistyakov, G. P.; Götze, F.
2006-01-01
Based on a new analytical approach to the definition of additive free convolution on probability measures on the real line we prove free analogs of limit theorems for sums for non-identically distributed random variables in classical Probability Theory.
Two No-Go Theorems on Superconductivity
Tada, Yasuhiro
2016-01-01
We study lattice superconductors such as attractive Hubbard models. As is well known, Bloch's theorem asserts absence of persistent current in ground states and equilibrium states for general fermion systems. While the statement of the theorem is true, we can show that the theorem cannot exclude possibility of a surface persistent current. Such a current can be stabilized by boundary magnetic fields which do not penetrate into the bulk region of a superconductor, provided emergence of massive photons, i.e., Meissner effect. Therefore, we can expect that a surface persistent current is realized for a ground/equilibrium state in the sense of stability against local perturbations. We also apply Elitzur's theorem to superconductors at finite temperatures. As a result, we prove absence of symmetry breaking of the global U(1) phase of electrons for almost all gauge fixings. These observations suggest that the nature of superconductivity is the emergence of massive photons rather than the symmetry breaking of the U(...
A generalized preimage theorem in global analysis
Institute of Scientific and Technical Information of China (English)
无
2001-01-01
The concept of locally fine point and generalized regular valueof a C1 map between Banach spaces were carried over C1 map between Banach manifolds. Hence the preimage theorem, a principle constructing Banach manifolds in global analysis, is generalized.
Interval logic. Proof theory and theorem proving
DEFF Research Database (Denmark)
Rasmussen, Thomas Marthedal
2002-01-01
Real-time systems are computer systems which have to meet real-time constraints. To increase the confidence in such systems, formal methods and formal verification are utilized. The class of logics known as interval logics can be used for expressing properties and requirements of real-time systems...... labelled natural deduction system. We conduct theoretical investigations of the systems with respect to subformula properties, proof search, etc. The generic theorem proving system Isabelle is used as a framework for encoding both proof theoretical systems. We consider a number of examples/small case....... By theorem proving we understand the activity of proving theorems of a logic with the assistance of a computer. The goal of this thesis is to improve theorem proving support for interval logics such that larger and more realistic case-studies of real-time systems can be conducted using these...
Lambda-mu-calculus and Bohm's theorem
David, René; Py, Walter
2001-01-01
The lambda mu-calculus is an extension of the lambda-calculus that has been introduced by M. Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.
Transformation groups and the virial theorem
Kampen, N.G. van
1972-01-01
A generalization of Noether's result for classical mechanics is given, which shows that the virial theorem is related to an invariance property of the Lagrange function. Two examples are discussed in detail.
Lie Algebras and the Four Color Theorem
Bar-Natan, Dror
1996-01-01
We present a ``reasonable'' statement about Lie algebras that is equivalent to the Four Color Theorem. The notions appearing in the statement also appear in the theory of finite-type invariants of knots (Vassiliev invariants) and 3-manifolds.
Stable convergence and stable limit theorems
Häusler, Erich
2015-01-01
The authors present a concise but complete exposition of the mathematical theory of stable convergence and give various applications in different areas of probability theory and mathematical statistics to illustrate the usefulness of this concept. Stable convergence holds in many limit theorems of probability theory and statistics – such as the classical central limit theorem – which are usually formulated in terms of convergence in distribution. Originated by Alfred Rényi, the notion of stable convergence is stronger than the classical weak convergence of probability measures. A variety of methods is described which can be used to establish this stronger stable convergence in many limit theorems which were originally formulated only in terms of weak convergence. Naturally, these stronger limit theorems have new and stronger consequences which should not be missed by neglecting the notion of stable convergence. The presentation will be accessible to researchers and advanced students at the master's level...
Fishman, S.; Soffer, A.
2016-07-01
We employ the recently developed multi-time scale averaging method to study the large time behavior of slowly changing (in time) Hamiltonians. We treat some known cases in a new way, such as the Zener problem, and we give another proof of the adiabatic theorem in the gapless case. We prove a new uniform ergodic theorem for slowly changing unitary operators. This theorem is then used to derive the adiabatic theorem, do the scattering theory for such Hamiltonians, and prove some classical propagation estimates and asymptotic completeness.
DEFF Research Database (Denmark)
Jørgensen, C. Barker
History of nerves, Bell's Idea, Bell-Magendie law, Bell-Magendie controversy, Charles Bell, Francois Magendie, P.W. Lund, D.F. Eschricht, Herbert Mayo, Johannes Müller, Claude Bernard, spinal nerve roots, cranial nerves, recurrent sensitivity......History of nerves, Bell's Idea, Bell-Magendie law, Bell-Magendie controversy, Charles Bell, Francois Magendie, P.W. Lund, D.F. Eschricht, Herbert Mayo, Johannes Müller, Claude Bernard, spinal nerve roots, cranial nerves, recurrent sensitivity...
The matrix Euler-Fermat theorem
International Nuclear Information System (INIS)
We prove many congruences for binomial and multinomial coefficients as well as for the coefficients of the Girard-Newton formula in the theory of symmetric functions. These congruences also imply congruences (modulo powers of primes) for the traces of various powers of matrices with integer elements. We thus have an extension of the matrix Fermat theorem similar to Euler's extension of the numerical little Fermat theorem
A Theorem on Combinatorial Group Theory
Institute of Scientific and Technical Information of China (English)
何伯和
2000-01-01
Let F= F(X) be a free group of rand n, A be a finite subset of F(X) and x∈X be a generator. The theorem states that x can be denoted as a rotation-inserting word of A if x is in the normal closure of A in F(X). Finally, an application of the theorem in Heegaard splitting of 3manifolds is given.
International Nuclear Information System (INIS)
In the present letter, Newton’s theorem for the gravitational field outside a uniform spherical shell is considered. In particular, a purely geometric proof of proposition LXXI/theorem XXXI of Newton’s Principia, which is suitable for undergraduates and even skilled high-school students, is proposed. Minimal knowledge of elementary calculus and three-dimensional Euclidean geometry are required. (letters and comments)
Fluctuation theorems for a molecular refrigerator.
Kim, Kyung Hyuk; Qian, Hong
2007-02-01
We extend fluctuation theorems to a molecular refrigeration system that consists of Brownian particles in a heat bath under feedback control of their velocities. Such control can actively remove heat from the bath due to an entropy-pumping mechanism [Phys. Rev. Lett. 93, 120602 (2004)]. The presence of entropy pumping in an underdamped Brownian system modifies both the Jarzynski equality and the fluctuation theorems. We discover that the entropy pumping has a dual role of work and heat. PMID:17358382
Levi-Civita's Theorem for Noncommutative Tori
Directory of Open Access Journals (Sweden)
Jonathan Rosenberg
2013-11-01
Full Text Available We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas.
Double Soft Theorem for Perturbative Gravity
Saha, Arnab Priya
2016-01-01
Following up on the recent work of Cachazo, He and Yuan \\cite{arXiv:1503.04816 [hep-th]}, we derive the double soft graviton theorem in perturbative gravity. We show that the double soft theorem derived using CHY formula precisely matches with the perturbative computation involving Feynman diagrams. In particular, we find how certain delicate limits of Feynman diagrams play an important role in obtaining this equivalence.
Levi-Civita's Theorem for Noncommutative Tori
Jonathan Rosenberg
2013-01-01
We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas.
A new proof of Goodstein's Theorem
Perez, Juan A.
2009-01-01
Goodstein sequences are numerical sequences in which a natural number m, expressed as the complete normal form to a given base a, is modified by increasing the value of the base a by one unit and subtracting one unit from the resulting expression. As initially defined, the first term of the Goodstein sequence is the complete normal form of m to base 2. Goodstein's Theorem states that, for all natural numbers, the Goodstein sequence eventually terminates at zero. Goodstein's Theorem was origin...
Epistemological Consequences of the Incompleteness Theorems
Raguní, Giuseppe
2016-01-01
After highlighting the cases in which the semantics of a language cannot be mechanically reproduced (in which case it is called inherent), the main epistemological consequences of the first incompleteness Theorem for the two fundamental arithmetical theories are shown: the non-mechanizability for the truths of the first-order arithmetic and the peculiarities for the model of the second-order arithmetic. Finally, the common epistemological interpretation of the second incompleteness Theorem is...
Virial theorems for trapped cold atoms
Werner, Félix
2008-01-01
A few small corrections We present a general virial theorem for quantum particles with arbitrary zero-range or finite-range interactions in an arbitrary external potential. We deduce virial theorems for several situations relevant to trapped cold atoms: zero-range interactions with and without Efimov effect, hard spheres, narrow Feshbach resonances, and finite-range interactions. If the scattering length $a$ is varied adiabatically in the BEC-BCS crossover, we find that the trapping potent...
Virial theorem for radiating accretion discs
Mach, Patryk
2011-01-01
A continuum version of the virial theorem is derived for a radiating self-gravitating accretion disc around a compact object. The central object is point-like, but we can avoid the regularization of its gravitational potential. This is achieved by applying a modified Pohozaev-Rellich identity to the gravitational potential of the disk only. The theorem holds for general stationary configurations, including discontinuous flows (shock waves, contact discontinuities). It is used to test numerica...
Shafranov's virial theorem and magnetic plasma confinement
Faddeev, Ludvig; Freyhult, Lisa; Niemi, Antti J.; Rajan, Peter
2000-01-01
Shafranov's virial theorem implies that nontrivial magnetohydrodynamical equilibrium configurations must be supported by externally supplied currents. Here we extend the virial theorem to field theory, where it relates to Derrick's scaling argument on soliton stability. We then employ virial arguments to investigate a realistic field theory model of a two-component plasma, and conclude that stable localized solitons can exist in the bulk of a finite density plasma. These solitons entail a non...
q-Deformed Dynamics and Virial Theorem
Zhang, Jian-Zu
2002-01-01
In the framework of the q-deformed Heisenberg algebra the investigation of $q$-deformation of Virial theorem explores that q-deformed quantum mechanics possesses better dynamical property. It is clarified that in the case of the zero potential the theoretical framework for the q-deformed Virial theorem is self-consistent. In the selfadjoint states the q-deformed uncertainty relation essentially deviates from the Heisenberg one.
The Fundamental Theorem of Vassiliev Invariants
Bar-Natan, Dror; STOIMENOW, Alexander
1997-01-01
The "fundamental theorem of Vassiliev invariants" says that every weight system can be integrated to a knot invariant. We discuss four different approaches to the proof of this theorem: a topological/combinatorial approach following M. Hutchings, a geometrical approach following Kontsevich, an algebraic approach following Drinfel'd's theory of associators, and a physical approach coming from the Chern-Simons quantum field theory. Each of these approaches is unsatisfactory in one way or anothe...
Has the Goldstone theorem been revisited?
Guerrieri, A
2014-01-01
A recent paper (arXiv:1404.5619) claimed the presence of a loophole in the current-algebra proof of Goldstone Theorem. The enforcing of manifest covariance would lead to contradictory results also in scalar theory. We show that the argument proposed is not in contradiction with covariance, thus not invalidating the theorem. Moreover, the counterexample proposed of a scalar operator with a non-zero vacuum expectation value in an unbroken theory is ill-defined.
Positive energy theorems in General Relativity
Dain, Sergio
2013-01-01
The aim of this chapter is to present an introduction and also an overview of some of the most relevant results concerning positivity energy theorems in General Relativity. These theorems provide the answer to a long standing problem that has been proved remarkably difficult to solve. They constitute one of the major results in classical General Relativity and they uncover a deep self-consistence of the theory.
Integral fluctuation theorem for the housekeeping heat
International Nuclear Information System (INIS)
The housekeeping heat Qhk is the dissipated heat necessary to maintain the violation of detailed balance in nonequilibrium steady states. By analysing the evolution of its probability distribution, we prove an integral fluctuation theorem (exp[-βQhk]) = 1 valid for arbitrary-driven transitions between steady states. We discuss Gaussian limiting cases and the difference between the new theorem and both the Hatano-Sasa and the Jarzynski relation. (letter to the editor)
Integral fluctuation theorem for the housekeeping heat
Speck, T.; Seifert, U.
2005-01-01
The housekeeping heat $Q\\hk$ is the dissipated heat necessary to maintain the violation of detailed balance in nonequilibrium steady states. By analyzing the evolution of its probability distribution, we prove an integral fluctuation theorem $\\mean{\\exp[-\\beta Q\\hk]}=1$ valid for arbitrary driven transitions between steady states. We discuss Gaussian limiting cases and the difference between the new theorem and both the Hatano-Sasa and the Jarzynski relation.
A Converse of Fermat's Little Theorem
Bruckman, P. S.
2007-01-01
As the name of the paper implies, a converse of Fermat's Little Theorem (FLT) is stated and proved. FLT states the following: if p is any prime, and x any integer, then x[superscript p] [equivalent to] x (mod p). There is already a well-known converse of FLT, known as Lehmer's Theorem, which is as follows: if x is an integer coprime with m, such…
Sperner and KKM-type theorems on trees and cycles
Niedermaier, Andrew; Su, Francis Edward
2009-01-01
In this paper we prove a new combinatorial theorem for labellings of trees, and show that it is equivalent to a KKM-type theorem for finite covers of trees and to discrete and continuous fixed point theorems on finite trees. This is in analogy with the equivalence of the classical Sperner's lemma, KKM lemma, and the Brouwer fixed point theorem on simplices. Furthermore, we use these ideas to develop new KKM and fixed point theorems for infinite covers and infinite trees. Finally, we extend the KKM theorem on trees to an entirely new KKM theorem for cycles, and discuss interesting social consequences, including an application in voting theory.
78 FR 34286 - Airworthiness Directives; Bell Helicopter Textron Canada Limited (Bell) Helicopters
2013-06-07
... same type design. Related Service Information Bell has issued ASB 407-05-67, which contains procedures for installing a placard on the instrument panel below the main rotor RPM (Nr)/power turbine RPM (Np... Policies and Procedures (44 FR 11034, February 26, 1979); 3. Will not affect intrastate aviation in...
78 FR 34280 - Airworthiness Directives; Bell Helicopter Textron Canada Limited (Bell) Helicopters
2013-06-07
... likely to exist or develop on other products of the same type design. Related Service Information Bell... the instrument panel below the main rotor RPM (Nr)/power turbine RPM (N2) dual tachometer and for... FR 11034, February 26, 1979); 3. Will not affect intrastate aviation in Alaska to the extent that...
78 FR 34282 - Airworthiness Directives; Bell Helicopter Textron Canada Limited (Bell) Helicopters
2013-06-07
... same type design. Related Service Information Bell has issued ASB No. 206L-05-134, Revision A, dated... main rotor RPM (Nr)/power turbine RPM (N2) dual tachometer and for inserting the RFM changes into the... ``significant rule'' under the DOT Regulatory Policies and Procedures (44 FR 11034, February 26, 1979); 3....
Combinatorial theorems in sparse random sets
Conlon, D
2010-01-01
We develop a new technique that allows us to show in a unified way that many well-known combinatorial theorems, including Tur\\'an's theorem, Szemer\\'edi's theorem and Ramsey's theorem, hold almost surely inside sparse random sets. For instance, we extend Tur\\'an's theorem to the random setting by showing that for every epsilon > 0 and every positive integer t >= 3 there exists a constant C such that, if G is a random graph on n vertices where each edge is chosen independently with probability at least C n^{-2/(t+1)}, then, with probability tending to 1 as n tends to infinity, every subgraph of G with at least (1 - \\frac{1}{t-1} + epsilon) e(G) edges contains a copy of K_t. This is sharp up to the constant C. We also show how to prove sparse analogues of structural results, giving two main applications, a stability version of the random Tur\\'an theorem stated above and a sparse hypergraph removal lemma. Many similar results have recently been obtained independently in a different way by Schacht and by Friedgut...
Optical theorem detectors for active scatterers
Marengo, Edwin A.; Tu, Jing
2015-10-01
We develop a new theory of the optical theorem for scalar fields in nonhomogeneous media which can be bounded or unbounded. It applies to arbitrary lossless backgrounds and quite general probing fields. The derived formulation holds for arbitrary passive scatterers, which can be dissipative, as well as for the more general class of active scatterers which are composed of a (passive) scatterer component and an active, radiating (antenna) component. The generalization of the optical theorem to active scatterers is relevant to many applications such as surveillance of active targets including certain cloaks and invisible scatterers and wireless communications. The derived theoretical framework includes the familiar real power optical theorem describing power extinction due to both dissipation and scattering as well as a novel reactive optical theorem related to the reactive power changes. The developed approach naturally leads to three optical theorem indicators or statistics which can be used to detect changes or targets in unknown complex media. The paper includes numerical simulation results that illustrate the application of the derived optical theorem results to change detection in complex and random media.
A novel sampling theorem on the sphere
McEwen, J D
2011-01-01
We develop a novel sampling theorem on the sphere and corresponding fast algorithms by associating the sphere with the torus through a periodic extension. The fundamental property of any sampling theorem is the number of samples required to represent a band-limited signal. To represent exactly a signal on the sphere band-limited at L, all sampling theorems on the sphere require O(L^2) samples. However, our sampling theorem requires less than half the number of samples of other equiangular sampling theorems on the sphere and an asymptotically identical, but smaller, number of samples than the Gauss-Legendre sampling theorem. The complexity of our algorithms scale as O(L^3), however, the continual use of fast Fourier transforms reduces the constant prefactor associated with the asymptotic scaling considerably, resulting in algorithms that are fast. Furthermore, we do not require any precomputation and our algorithms apply to both scalar and spin functions on the sphere without any change in computational comple...
Mental Constructions for The Group Isomorphism Theorem
Directory of Open Access Journals (Sweden)
Arturo Mena-Lorca
2016-03-01
Full Text Available The group isomorphism theorem is an important subject in any abstract algebra undergraduate course; nevertheless, research shows that it is seldom understood by students. We use APOS theory and propose a genetic decomposition that separates it into two statements: the first one for sets and the second with added structure. We administered a questionnaire to students from top Chilean universities and selected some of these students for interviews to gather information about the viability of our genetic decomposition. The students interviewed were divided in two groups based on their familiarity with equivalence relations and partitions. Students who were able to draw on their intuition of partitions were able to reconstruct the group theorem from the set theorem, while those who stayed on the purely algebraic side could not. Since our approach to learning this theorem was successful, it may be worthwhile to gather data while teaching it the way we propose here in order to check how much the learning of the group isomorphism theorem is improved. This approach could be expanded to other group homomorphism theorems provided further analysis is conducted: going from the general (e.g., sets to the particular (e.g., groups might not always the best strategy, but in some cases we may just be turning to more familiar settings.
The modified Poynting theorem and the concept of mutual energy
Zhao, Shuang-ren; Yang, Kang; Yang, Xingang; Yang, Xintie
2015-01-01
The Poynting theorem is generalized to the modified Poynting theorem. In the modified Poynting theorem the electromagnetic field is superimposition of different electromagnetic fields including the field of retarded potential and advanced potential. The media epsilon (permittivity) and mu (permeability) can also be different in the different fields. The concept of mutual energy is introduced which is the difference between the total energy and self-energy. Using the modified Poynting theorem with the concept of the mutual energy the modified mutual energy theorem is derived. Applying time-offset transform and time integral to the modified mutual energy theorem, the time-correlation modified mutual energy theorem is obtained. Assume there are only two fields which are retarded potential, and there is only one media, the modified time-correlation energy theorem becomes the time-correlation energy theorem, which is also referred as the time-correlation reciprocity theorem. Assume there are two electromagnetic fi...
The Belle II Silicon Vertex Detector
Energy Technology Data Exchange (ETDEWEB)
Friedl, M., E-mail: markus.friedl@oeaw.ac.at [HEPHY – Institute of High Energy Physics, Nikolsdorfer Gasse 18, 1050 Vienna (Austria); Ackermann, K. [MPI Munich, Föhringer Ring 6, 80805 München (Germany); Aihara, H. [University of Tokyo, Department of Physics, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-0033 (Japan); Aziz, T. [Tata Institute of Fundamental Research, Experimental High Energy Physics Group, Homi Bhabha Road, Mumbai 400 005 (India); Bergauer, T. [HEPHY – Institute of High Energy Physics, Nikolsdorfer Gasse 18, 1050 Vienna (Austria); Bozek, A. [Institute of Nuclear Physics, Division of Particle Physics and Astrophysics, ul. Radzikowskiego 152, 31 342 Krakow (Poland); Campbell, A. [DESY, Notkestrasse 85, 22607 Hamburg (Germany); Dingfelder, J. [University of Bonn, Department of Physics and Astronomy, Nussallee 12, 53115 Bonn (Germany); Drasal, Z. [Charles University, Institute of Particle and Nuclear Physics, Ke Karlovu 3, 121 16 Praha 2 (Czech Republic); Frankenberger, A. [HEPHY – Institute of High Energy Physics, Nikolsdorfer Gasse 18, 1050 Vienna (Austria); Gadow, K. [DESY, Notkestrasse 85, 22607 Hamburg (Germany); Gfall, I. [HEPHY – Institute of High Energy Physics, Nikolsdorfer Gasse 18, 1050 Vienna (Austria); Haba, J.; Hara, K.; Hara, T. [KEK, 1-1 Oho, Tsukuba, Ibaraki 305-0801 (Japan); Higuchi, T. [University of Tokyo, Kavli Institute for Physics and Mathematics of the Universe, 5-1-5 Kashiwanoha, Kashiwa, Chiba 277-8583 (Japan); Himori, S. [Tohoku University, Department of Physics, Aoba Aramaki Aoba-ku, Sendai 980-8578 (Japan); Irmler, C. [HEPHY – Institute of High Energy Physics, Nikolsdorfer Gasse 18, 1050 Vienna (Austria); Ishikawa, A. [Tohoku University, Department of Physics, Aoba Aramaki Aoba-ku, Sendai 980-8578 (Japan); Joo, C. [Seoul National University, High Energy Physics Laboratory, 25-107 Shinlim-dong, Kwanak-gu, Seoul 151-742 (Korea, Republic of); and others
2013-12-21
The KEKB machine and the Belle experiment in Tsukuba (Japan) are now undergoing an upgrade, leading to an ultimate luminosity of 8×10{sup 35}cm{sup −2}s{sup −1} in order to measure rare decays in the B system with high statistics. The previous vertex detector cannot cope with this 40-fold increase of luminosity and thus needs to be replaced. Belle II will be equipped with a two-layer Pixel Detector surrounding the beam pipe, and four layers of double-sided silicon strip sensors at higher radii than the old detector. The Silicon Vertex Detector (SVD) will have a total sensitive area of 1.13m{sup 2} and 223,744 channels—twice as many as its predecessor. All silicon sensors will be made from 150 mm wafers in order to maximize their size and thus to reduce the relative contribution of the support structure. The forward part has slanted sensors of trapezoidal shape to improve the measurement precision and to minimize the amount of material as seen by particles from the vertex. Fast-shaping front-end amplifiers will be used in conjunction with an online hit time reconstruction algorithm in order to reduce the occupancy to the level of a few percent at most. A novel “Origami” chip-on-sensor scheme is used to minimize both the distance between strips and amplifier (thus reducing the electronic noise) as well as the overall material budget. This report gives an overview on the status of the Belle II SVD and its components, including sensors, front-end detector ladders, mechanics, cooling and the readout electronics.
Directory of Open Access Journals (Sweden)
Sandra Fischer
2000-11-01
Full Text Available This article presents a study of the film Belle de jour, by Luis Buñuel, based on the text “Sobre a poética da carnaval ização em Luis Buñuel” by Eduardo Peñuela Cañizal, on Mikhail Bakhtin’s theoretical conception about carnival, on Gaston Bachelard’s ideas about the oneiric, on Sigmund Freud’s psychoanalysis and on the notion of the frame structure sustained by Groupe p.
Optimal randomness generation from optical Bell experiments
International Nuclear Information System (INIS)
Genuine randomness can be certified from Bell tests without any detailed assumptions on the working of the devices with which the test is implemented. An important class of experiments for implementing such tests is optical setups based on polarization measurements of entangled photons distributed from a spontaneous parametric down conversion source. Here we compute the maximal amount of randomness which can be certified in such setups under realistic conditions. We provide relevant yet unexpected numerical values for the physical parameters and achieve four times more randomness than previous methods. (fast track communication)
Institute of Scientific and Technical Information of China (English)
Lei DENG; Ming Ge YANG
2006-01-01
Some new coincidence theorems involving admissible set-valued mappings are proved in general noncompact topological spaces. As applications, some new minimax inequalities, section theorem, best approximation theorem, existence theorems of weighted Nash equilibria and Pareto equilibria for multiobjective games are given in general topological spaces.
A Unifying Impossibility Theorem for Compact Metricsocial Alternatives Space
Priscilla Man; Shino Takayama
2013-01-01
In Man and Takayama (2013) (henceforth MT) we show that many classical impossibility theorems follow from three simple and intuitive axioms on the social choice correspondence when the set of social alternatives is finite. This note extends the main theorem (Theorem 1) in MT to the case where the set of social alternatives is a compact metric space. We also qualify how versions of Arrow's Impossibility Theorem and the Muller-Satterthwaite Theorem (Muller and Satterthwaite, 1977) can be obtain...
Stability theorems for multidimensional linear systems with variable parameters
Shrivastava, S. K.
1981-01-01
A Liapunov-type approach is used to derive two equivalent theorems which govern the stability of coupled linear systems with varying multiple parameters. The theorems generalize some of the existing theorems applicable to systems with constant parameters and the Sonin-Polya theorem applicable to a single-degree-of-freedom system with variable coefficients. As an illustration, the proposed theorems are applied to mechanical systems with varying inertia, stiffness, gyroscopic, and damping terms, and velocity and position-dependent forces.
Theorem on magnet fringe field
International Nuclear Information System (INIS)
Transverse particle motion in particle accelerators is governed almost totally by non-solenoidal magnets for which the body magnetic field can be expressed as a series expansion of the normal (bn) and skew (an) multipoles, By + iBx = summation(bn + ian)(x + iy)n, where x, y, and z denote horizontal, vertical, and longitudinal (along the magnet) coordinates. Since the magnet length L is necessarily finite, deflections are actually proportional to ''field integrals'' such as bar BL ≡ ∫ B(x,y,z)dz where the integration range starts well before the magnet and ends well after it. For bar an, bar bn, bar Bx, and bar By defined this way, the same expansion Eq. 1 is valid and the ''standard'' approximation is to neglect any deflections not described by this expansion, in spite of the fact that Maxwell's equations demand the presence of longitudinal field components at the magnet ends. The purpose of this note is to provide a semi-quantitative estimate of the importance of |Δp∝|, the transverse deflection produced by the ion-gitudinal component of the fringe field at one magnet end relative to |Δp0|, the total deflection produced by passage through the whole magnet. To emphasize the generality and simplicity of the result it is given in the form of a theorem. The essence of the proof is an evaluation of the contribution of the longitudinal field Bx from the vicinity of one magnet end since, along a path parallel to the magnet axis such as path BC
Kharitonov's theorem: Generalizations and algorithms
Rublein, George
1989-01-01
In 1978, the Russian mathematician V. Kharitonov published a remarkably simple necessary and sufficient condition in order that a rectangular parallelpiped of polynomials be a stable set. Here, stable is taken to mean that the polynomials have no roots in the closed right-half of the complex plane. The possibility of generalizing this result was studied by numerous authors. A set, Q, of polynomials is given and a necessary and sufficient condition that the set be stable is sought. Perhaps the most general result is due to Barmish who takes for Q a polytope and proceeds to construct a complicated nonlinear function, H, of the points in Q. With the notion of stability which was adopted, Barmish asks that the boundary of the closed right-half plane be swept, that the set G is considered = to (j(omega)(bar) - infinity is less than omega is less than infinity) and for each j(omega)(sigma)G, require H(delta) is greater than 0. Barmish's scheme has the merit that it describes a true generalization of Kharitonov's theorem. On the other hand, even when Q is a polyhedron, the definition of H requires that one do an optimization over the entire set of vertices, and then a subsequent optimization over an auxiliary parameter. In the present work, only the case where Q is a polyhedron is considered and the standard definition of stability described, is used. There are straightforward generalizations of the method to the case of discrete stability or to cases where certain root positions are deemed desirable. The cases where Q is non-polyhedral are less certain as candidates for the method. Essentially, a method of geometric programming was applied to the problem of finding maximum and minimum angular displacements of points in the Nyquist locus (Q(j x omega)(bar) - infinity is less than omega is less than infinity). There is an obvious connection with the boundary sweeping requirement of Barmish.
Reconciling local realism and quantum physics: a critique to Bell
International Nuclear Information System (INIS)
A Metatheoretical Generalized Principle (MGP) is stated that formalizes an operational non-standard way of looking at the laws of physics. In Quantum Physics MGP leads to the invalidation of Bell's Inequality without renouncing to a minimal form of realism or to locality. Therefore the violation of Bell's Inequality predicted by Quantum Physics does not appear paradoxial if MGP is accepted
Eugenics Past and Present: Remembering Buck v. Bell.
Berson, Michael J.; Cruz, Barbara
2001-01-01
Provides background information about the eugenics movement. Focuses on eugenics in the United States detailing the case, Buck v. Bell, and eugenics in Germany. Explores the present eugenic movement, focusing on "The Bell Curve," China's one child policy, and the use of eugenic sterilizations in the United States and Canada. Includes strategies…
Bell Inequalities Classifying Bi-separable Three-qubit States
Sun, B Z; Sun, Bao-Zhi; Fei, Shao-Ming
2006-01-01
We present a set of Bell inequalities that gives rise to a finer classification of the entanglement for tripartite systems. These inequalities distinguish three possible bi-separable entanglements for three-qubit states. The three Bell operators we employed constitute an external sphere of the separable cube.
Bell inequalities classifying biseparable three-qubit states
International Nuclear Information System (INIS)
We present a set of Bell inequalities that gives rise to a finer classification of the entanglement for tripartite systems. These inequalities distinguish three possible biseparable entanglements for three-qubit states. The three Bell operators we employed constitute an external sphere of the separable cube
Bell clapper impact dynamics and the voicing of a carillon
Fletcher, N. H.; McGee, W. T.; Tarnopolsky, A. Z.
2002-03-01
The periodic re-voicing of the bell clappers of the Australian National Carillon in Canberra provided an opportunity for the study of the acoustic effects of this operation. After prolonged playing, the impact of the pear-shaped clapper on a bell produces a significant flat area on both the clapper and the inside surface of the bell. This deformation significantly decreases the duration of the impact event and has the effect of increasing the relative amplitude of higher modes in the bell sound, making it ``brighter'' or even ``clangy.'' This effect is studied by comparing the spectral envelope of the sounds of several bells before and after voicing. Theoretical analysis shows that the clapper actually strikes the bell and remains in contact with the bell surface until it is ejected by a displacement pulse that has traveled around the complete circumference of the bell. The contact time, typically about 1 ms, is therefore much longer than the effective impact time, which is only a few tenths of a millisecond. Both the impact time and the contact time are reduced by the presence of a flat on the clapper.
Indistinguishability of orthogonal time-separated bell states
Institute of Scientific and Technical Information of China (English)
Tan Yong-Gang; Cai Qing-Yu; Shi Ting-Yun
2008-01-01
This paper proves that it is impossible to identify orthogonally time-separated Bell states.If two qubits of a Bell state interact with the measurement apparatus at different time,any attempt to identify this state will disturb it.
Violation of Bell's inequality in electronic Mach-Zehnder interferometers
Kang, Kicheon; Lee, Kahng Ho
2007-01-01
We propose a possible setup of testing the Bell's inequality in mesoscopic conductors. The particular implementation uses two coupled electronic Mach-Zehnder interferometers in which electrons are injected into the conductors in the quantum Hall regime. It is shown that the Bell's inequality is violated for an arbitrary coupling strength between the two interferometers.
Bell inequality for pairs of superselection rule restricted states
Heaney, Libby; Jaksch, Dieter
2010-01-01
Proposals for Bell inequality tests on systems restricted by superselection rules often require operations that are difficult to implement in practice. In this paper, we derive a new Bell inequality, where pairs of states are used to by-pass the superselection rule. In particular, we focus on mode entanglement of an arbitrary number of massive particles and show that our Bell inequality detects the entanglement in the pair when other inequalities fail. However, as the number of particles in the system increases, the violation of our Bell inequality decreases due to the restriction in the measurement space caused by the superselection rule. This Bell test can be implemented using techniques that are routinely used in current experiments.
The Belle II experiment: fundamental physics at the flavor frontier
de la Cruz, Ivan Heredia
2016-01-01
After the major success of B-factories to establish the CKM mechanism and its proven potential to search for new physics, the Belle II experiment will continue exploring the physics at the flavor frontier over the next years. Belle II will collect 50 times more data than its predecessor, Belle, and allow for various precision measurements and searches of rare decays and particles. This paper introduces the B-factory concept and the flavor frontier approach to search for new physics. It then describes the SuperKEKB accelerator and the Belle II detector, as well as some of the physics that will be analyzed in Belle II, concluding with the experiment status and schedule.
The Trieste Lecture of John Stewart Bell
International Nuclear Information System (INIS)
Delivered at Trieste on the occasion of the 25th Anniversary of the International Centre for Theoretical Physics, 2 November 1989. The video of this lecture is available here. Please see the PDF for the transcript of the lecture. General remarks by Angelo Bassi and GianCarlo Ghirardi During the autumn of 1989 the International Centre for Theoretical Physics, Trieste, celebrated the 25th anniversary of its creation. Among the many prestigious speakers, who delivered extremely interesting lectures on that occasion, was the late John Stewart Bell. All lectures have been recorded on tape. We succeeded in getting a copy of John's lecture. In the lecture, many of the arguments that John had lucidly stressed in his writings appear once more, but there are also extremely interesting new remarks which, to our knowledge, have not been presented elsewhere. In particular he decided, as pointed out by the very choice of the title of his lecture, to call attention to the fact that the theory presents two types of difficulties, which Dirac classified as first and second class. The former are those connected with the so-called macro-objectification problem, the latter with the divergences characterizing relativistic quantum field theories. Bell describes the precise position of Dirac on these problems and he stresses appropriately how, contrary to Dirac's hopes, the steps which have led to a partial overcoming of the second class difficulties have not helped in any way whatsoever to overcome those of the first class. He then proceeds to analyse the origin and development of the Dynamical Reduction Program and draws attention to the problems that still affect it, in particular that of a consistent relativistic generalization. When the two meetings Are there quantum jumps? and On the present status of Quantum Mechanics were organized in Trieste and Losinj (Croatia), on 5-10 September 2005, it occurred to us that this lecture, which has never been published, might represent an
The Trieste Lecture of John Stewart Bell
Energy Technology Data Exchange (ETDEWEB)
Bassi, Angelo; Ghirardi, GianCarlo
2007-03-23
Delivered at Trieste on the occasion of the 25th Anniversary of the International Centre for Theoretical Physics, 2 November 1989. The video of this lecture is available here. Please see the PDF for the transcript of the lecture. General remarks by Angelo Bassi and GianCarlo Ghirardi During the autumn of 1989 the International Centre for Theoretical Physics, Trieste, celebrated the 25th anniversary of its creation. Among the many prestigious speakers, who delivered extremely interesting lectures on that occasion, was the late John Stewart Bell. All lectures have been recorded on tape. We succeeded in getting a copy of John's lecture. In the lecture, many of the arguments that John had lucidly stressed in his writings appear once more, but there are also extremely interesting new remarks which, to our knowledge, have not been presented elsewhere. In particular he decided, as pointed out by the very choice of the title of his lecture, to call attention to the fact that the theory presents two types of difficulties, which Dirac classified as first and second class. The former are those connected with the so-called macro-objectification problem, the latter with the divergences characterizing relativistic quantum field theories. Bell describes the precise position of Dirac on these problems and he stresses appropriately how, contrary to Dirac's hopes, the steps which have led to a partial overcoming of the second class difficulties have not helped in any way whatsoever to overcome those of the first class. He then proceeds to analyse the origin and development of the Dynamical Reduction Program and draws attention to the problems that still affect it, in particular that of a consistent relativistic generalization. When the two meetings Are there quantum jumps? and On the present status of Quantum Mechanics were organized in Trieste and Losinj (Croatia), on 5-10 September 2005, it occurred to us that this lecture, which has never been published, might represent
The Trieste Lecture of John Stewart Bell
Bassi, Angelo; Carlo Ghirardi, Gian
2007-03-01
Delivered at Trieste on the occasion of the 25th Anniversary of the International Centre for Theoretical Physics, 2 November 1989 The video of this lecture is available here. Please see the PDF for the transcript of the lecture. General remarks by Angelo Bassi and GianCarlo Ghirardi During the autumn of 1989 the International Centre for Theoretical Physics, Trieste, celebrated the 25th anniversary of its creation. Among the many prestigious speakers, who delivered extremely interesting lectures on that occasion, was the late John Stewart Bell. All lectures have been recorded on tape. We succeeded in getting a copy of John's lecture. In the lecture, many of the arguments that John had lucidly stressed in his writings appear once more, but there are also extremely interesting new remarks which, to our knowledge, have not been presented elsewhere. In particular he decided, as pointed out by the very choice of the title of his lecture, to call attention to the fact that the theory presents two types of difficulties, which Dirac classified as first and second class. The former are those connected with the so-called macro-objectification problem, the latter with the divergences characterizing relativistic quantum field theories. Bell describes the precise position of Dirac on these problems and he stresses appropriately how, contrary to Dirac's hopes, the steps which have led to a partial overcoming of the second class difficulties have not helped in any way whatsoever to overcome those of the first class. He then proceeds to analyse the origin and development of the Dynamical Reduction Program and draws attention to the problems that still affect it, in particular that of a consistent relativistic generalization. When the two meetings Are there quantum jumps? and On the present status of Quantum Mechanics were organized in Trieste and Losinj (Croatia), on 5 10 September 2005, it occurred to us that this lecture, which has never been published, might represent an
Bell-Curve Based Evolutionary Optimization Algorithm
Sobieszczanski-Sobieski, J.; Laba, K.; Kincaid, R.
1998-01-01
The paper presents an optimization algorithm that falls in the category of genetic, or evolutionary algorithms. While the bit exchange is the basis of most of the Genetic Algorithms (GA) in research and applications in America, some alternatives, also in the category of evolutionary algorithms, but use a direct, geometrical approach have gained popularity in Europe and Asia. The Bell-Curve Based Evolutionary Algorithm (BCB) is in this alternative category and is distinguished by the use of a combination of n-dimensional geometry and the normal distribution, the bell-curve, in the generation of the offspring. The tool for creating a child is a geometrical construct comprising a line connecting two parents and a weighted point on that line. The point that defines the child deviates from the weighted point in two directions: parallel and orthogonal to the connecting line, the deviation in each direction obeying a probabilistic distribution. Tests showed satisfactory performance of BCB. The principal advantage of BCB is its controllability via the normal distribution parameters and the geometrical construct variables.
The Hellmann–Feynman theorem, the comparison theorem, and the envelope theory
Claude Semay
2015-01-01
The envelope theory is a convenient method to compute approximate solutions for bound state equations in quantum mechanics. It is shown that these approximate solutions obey a kind of Hellmann–Feynman theorem, and that the comparison theorem can be applied to these approximate solutions for two ordered Hamiltonians.
Ergodic theorem, ergodic theory, and statistical mechanics.
Moore, Calvin C
2015-02-17
This perspective highlights the mean ergodic theorem established by John von Neumann and the pointwise ergodic theorem established by George Birkhoff, proofs of which were published nearly simultaneously in PNAS in 1931 and 1932. These theorems were of great significance both in mathematics and in statistical mechanics. In statistical mechanics they provided a key insight into a 60-y-old fundamental problem of the subject--namely, the rationale for the hypothesis that time averages can be set equal to phase averages. The evolution of this problem is traced from the origins of statistical mechanics and Boltzman's ergodic hypothesis to the Ehrenfests' quasi-ergodic hypothesis, and then to the ergodic theorems. We discuss communications between von Neumann and Birkhoff in the Fall of 1931 leading up to the publication of these papers and related issues of priority. These ergodic theorems initiated a new field of mathematical-research called ergodic theory that has thrived ever since, and we discuss some of recent developments in ergodic theory that are relevant for statistical mechanics. PMID:25691697
Equilibrium fluctuation theorems compatible with anomalous response
Velazquez, L.; Curilef, S.
2010-12-01
Previously, we have derived a generalization of the canonical fluctuation relation between heat capacity and energy fluctuations C = β2langδU2rang, which is able to describe the existence of macrostates with negative heat capacities C < 0. In this work, we extend our previous results for an equilibrium situation with several control parameters to account for the existence of states with anomalous values in other response functions. Our analysis leads to the derivation of three different equilibrium fluctuation theorems: the fundamental and the complementary fluctuation theorems, which represent the generalization of two fluctuation identities already obtained in previous works, and the associated fluctuation theorem, a result that has no counterpart in the framework of Boltzmann-Gibbs distributions. These results are applied to study the anomalous susceptibility of a ferromagnetic system, in particular, the case of the 2D Ising model.
On Bayes' theorem for improper mixtures
McCullagh, Peter; 10.1214/11-AOS892
2011-01-01
Although Bayes's theorem demands a prior that is a probability distribution on the parameter space, the calculus associated with Bayes's theorem sometimes generates sensible procedures from improper priors, Pitman's estimator being a good example. However, improper priors may also lead to Bayes procedures that are paradoxical or otherwise unsatisfactory, prompting some authors to insist that all priors be proper. This paper begins with the observation that an improper measure on Theta satisfying Kingman's countability condition is in fact a probability distribution on the power set. We show how to extend a model in such a way that the extended parameter space is the power set. Under an additional finiteness condition, which is needed for the existence of a sampling region, the conditions for Bayes's theorem are satisfied by the extension. Lack of interference ensures that the posterior distribution in the extended space is compatible with the original parameter space. Provided that the key finiteness conditio...
Bayes' theorem: scientific assessment of experience
Directory of Open Access Journals (Sweden)
Lex Rutten
2010-10-01
Full Text Available Homeopathy is based on experience and this is a scientific procedure if we follow Bayes' theorem. Unfortunately this is not the case at the moment. Symptoms are added to our materia medica based on absolute occurrence, while Bayes theorem tells us that this should be based on relative occurrence. Bayes theorem can be applied on prospective research, but also on retrospective research and consensus based on a large number of cases. Confirmation bias is an important source of false data in experience based systems like homeopathy. Homeopathic doctors should become more aware of this and longer follow-up of cases could remedy this. The existing system of adding symptoms to our materia medica is obsolete.
Explicit results for the anomalous three point function and non-renormalization theorems
International Nuclear Information System (INIS)
Two-loop corrections for the correlator of the singlet axial and vector currents in QCD are calculated in the chiral limit for arbitrary momenta. Explicit calculations confirm the non-renormalization theorems derived recently by Vainshtein [A. Vainshtein, Phys. Lett. B 569 (2003) 187] and Knecht et al. [M. Knecht, S. Peris, M. Perrottet, E. de Rafael, JHEP 0403 (2004) 035]. We find that as in the one-loop case also at two loops the correlator has only three independent form-factors instead of four. From the explicit results we observe that the two-loop correction to the correlator is equal to the one-loop result times the constant factor C2(R)αs/π in the MS-bar scheme. This holds for the full correlator, for the anomalous longitudinal as well as for the non-anomalous transversal amplitudes. The finite overall αs dependent constant has to be normalized away by renormalizing the axial current according to Witten's algebraic/geometrical constraint on the anomalous Ward identity [ correlator]. Our observations, together with known facts, suggest that in perturbation theory the correlator is proportional to the one-loop term to all orders and that the non-renormalization theorem of the Adler-Bell-Jackiw anomaly carries over to the full correlator
Explicit results for the anomalous three point function and non-renormalization theorems
International Nuclear Information System (INIS)
Two-loop corrections for the left angle VV A right angle correlator of the singlet axial and vector currents in QCD are calculated in the chiral limit for arbitrary momenta. Explicit calculations confirm the non-renormalization theorems derived recently by Vainshtein [Phys. Lett. B 569 (2003) 187] and Knecht et al. (HEP 0403 (2004) 035). We find that as in the one-loop case also at two loops the left angle VV A right angle correlator has only three independent form-factors instead of four. From the explicit results we observe that the two-loop correction to the bare correlator is equal to the one-loop result times the constant factor C2(R)αs/π in the MS scheme. This holds for the full correlator, for the anomalous longitudinal as well as for the non-anomalous transversal amplitudes. The finite overall αs dependent constant has to be normalized away by renormalizing the axial current according to Witten's algebraic/geometrical constraint on the anomalous Ward identity (left angle VV∂A right angle correlator). Our observations, together with known facts, suggest that in perturbation theory the bare left angle VV A right angle correlator is proportional to the one-loop term to all orders and that the non-renormalization theorem of the Adler-Bell-Jackiw anomaly carries over to the full correlator. (orig.)
Performing CPR on a commercial diver inside the diving bell
Directory of Open Access Journals (Sweden)
Sourabh Bhutani
2015-01-01
Full Text Available CPR in a diving bell is difficult. It is taught by diving companies and training institutes but has not been subjected to the tenets of evidence based medicine. The diving bell lacks space as well as a flat hard surface to lay the patient on and therefore conventional methods of administering CPR are not possible. The diver is hung from a pulley tied to the diver's harness, and the bell flooded with water to reduce pooling of blood. Airway is established using a cervical collar to hyperextend the neck and inserting an appropriate oropharyngeal airway. Cardiac compressions are administered by the bellman using his head or the knee while holding the patient with his arms from behind. The bell can be recovered to surface only when spontaneous breathing and circulation have started. Diving bell offers a unique environment for management of unconscious casualties. Even though the method is at variance with the conventional method of administering CPR, it is the only method possible inside the bell. It is important that the method be scrutinized and refined so as to be more effective and efficacious inside the bell.
Proposal to Test Bell's Inequality in Electromechanics
Hofer, Sebastian G.; Lehnert, Konrad W.; Hammerer, Klemens
2016-02-01
Optomechanical and electromechanical systems offer an effective platform to test quantum theory and its predictions at macroscopic scales. To date, all experiments presuppose the validity of quantum mechanics, but could in principle be described by a hypothetical local statistical theory. Here we suggest a Bell test using the electromechanical Einstein-Podolski-Rosen entangled state recently generated by Palomaki et al., Science 342, 710 (2013), which would rule out any local and realistic explanation of the measured data without assuming the validity of quantum mechanics at macroscopic scales. It additionally provides a device-independent way to verify electromechanical entanglement. The parameter regime required for our scheme has been demonstrated or is within reach of current experiments.
Bell Inequalities, Experimental Protocols and Contextuality
Kupczynski, Marian
2014-01-01
The violation of Bell, CHSH and CH inequalities indicates only that the assumption of "conterfactual definiteness" and/or the probabilistic models used in proofs were incorrect. In this paper we discuss in detail an intimate relation between experimental protocols and probabilistic models. In particular we show that local realistic and stochastic hidden variable models are inconsistent with the experimental protocols used in spin polarization correlation experiments. In particular these models neglect a contextual character of quantum theory (QT) and do not describe properly quantum measurements. We argue that the violation of various inequalities gives arguments against the irreducible randomness of act of the measurement. Therefore quantum probabilities are reducible what means that QT is emergent. In this case one could expect to discover in time series of data some unpredicted fine structures proving that QT is not predictably complete what would be a major discovery.
Proposal to Test Bell's Inequality in Electromechanics.
Hofer, Sebastian G; Lehnert, Konrad W; Hammerer, Klemens
2016-02-19
Optomechanical and electromechanical systems offer an effective platform to test quantum theory and its predictions at macroscopic scales. To date, all experiments presuppose the validity of quantum mechanics, but could in principle be described by a hypothetical local statistical theory. Here we suggest a Bell test using the electromechanical Einstein-Podolski-Rosen entangled state recently generated by Palomaki et al., Science 342, 710 (2013), which would rule out any local and realistic explanation of the measured data without assuming the validity of quantum mechanics at macroscopic scales. It additionally provides a device-independent way to verify electromechanical entanglement. The parameter regime required for our scheme has been demonstrated or is within reach of current experiments. PMID:26943516
Spectral mapping theorems a bluffer's guide
Harte, Robin
2014-01-01
Written by an author who was at the forefront of developments in multi-variable spectral theory during the seventies and the eighties, this guide sets out to describe in detail the spectral mapping theorem in one, several and many variables. The basic algebraic systems – semigroups, rings and linear algebras – are summarised, and then topological-algebraic systems, including Banach algebras, to set up the basic language of algebra and analysis. Spectral Mapping Theorems is written in an easy-to-read and engaging manner and will be useful for both the beginner and expert. It will be of great importance to researchers and postgraduates studying spectral theory.
Asymptotic symmetries and subleading soft graviton theorem
Campiglia, Miguel; Laddha, Alok
2014-12-01
Motivated by the equivalence between the soft graviton theorem and Ward identities for the supertranslation symmetries belonging to the Bondi, van der Burg, Metzner and Sachs (BMS) group, we propose a new extension (different from the so-called extended BMS) of the BMS group that is a semidirect product of supertranslations and Diff(S2) . We propose a definition for the canonical generators associated with the smooth diffeomorphisms and show that the resulting Ward identities are equivalent to the subleading soft graviton theorem of Cachazo and Strominger.
Pauli and the spin-statistics theorem
Duck, Ian M
1997-01-01
This book makes broadly accessible an understandable proof of the infamous spin-statistics theorem. This widely known but little-understood theorem is intended to explain the fact that electrons obey the Pauli exclusion principle. This fact, in turn, explains the periodic table of the elements and their chemical properties. Therefore, this one simply stated fact is responsible for many of the principal features of our universe, from chemistry to solid state physics to nuclear physics to the life cycle of stars.In spite of its fundamental importance, it is only a slight exaggeration to say that
Jarzynski's theorem for lattice gauge theory
Caselle, Michele; Nada, Alessandro; Panero, Marco; Toniato, Arianna
2016-01-01
Jarzynski's theorem is a well-known equality in statistical mechanics, which relates fluctuations in the work performed during a non-equilibrium transformation of a system, to the free-energy difference between two equilibrium states. In this article, we extend Jarzynski's theorem to lattice gauge theory, and present examples of applications for two challenging computational problems, namely the calculation of interface free energies and the determination of the equation of state. We conclude with a discussion of further applications of interest in QCD and in other strongly coupled gauge theories, in particular for the Schroedinger functional and for simulations at finite density using reweighting techniques.
Generalizations of the Abstract Boundary singularity theorem
Whale, Ben E; Scott, Susan M
2015-01-01
The Abstract Boundary singularity theorem was first proven by Ashley and Scott. It links the existence of incomplete causal geodesics in strongly causal, maximally extended spacetimes to the existence of Abstract Boundary essential singularities, i.e., non-removable singular boundary points. We give two generalizations of this theorem: the first to continuous causal curves and the distinguishing condition, the second to locally Lipschitz curves in manifolds such that no inextendible locally Lipschitz curve is totally imprisoned. To do this we extend generalized affine parameters from $C^1$ curves to locally Lipschitz curves.
GENERALIZATIONS OF THE ORLICZ-PETTIS THEOREM
Directory of Open Access Journals (Sweden)
CHRISTOPHER STUART
2005-05-01
Full Text Available The Orlicz-Pettis Theorem for locally convex spaces asserts that a series in the space which is subseries convergent in the weak topology is actually subseries convergent in the original topology of the space. A subseries convergent series can be viewed as a multiplier convergent series where the terms of the series are multiplied by elements of the scalar sequence space m0 of sequences with finite range. In this paper we show that the conclusion of the Orlicz-Pettis Theorem holds (and can be strengthened if the multiplier space m0 is replaced by a sequence space with the signed weak gliding hump property
Two extensions of Ramsey’s theorem
Conlon, David; Fox, Jacob; Sudakov, Benny
2013-01-01
Ramsey’s theorem, in the version of Erdos and Szekeres, states that every 2-coloring of the edges of the complete graph on {1,2,…,n} contains a monochromatic clique of order (1/2)logn. In this article, we consider two well-studied extensions of Ramsey’s theorem. Improving a result of Rodl, we show that there is a constant c > 0 such that every 2-coloring of the edges of the complete graph on {2,3,…,n} contains a monochromatic clique S for which the sum of 1/logi over all vertices i ∈ S is at ...
Central Limit Theorem for Nonlinear Hawkes Processes
Zhu, Lingjiong
2012-01-01
Hawkes process is a self-exciting point process with clustering effect whose jump rate depends on its entire past history. It has wide applications in neuroscience, finance and many other fields. Linear Hawkes process has an immigration-birth representation and can be computed more or less explicitly. It has been extensively studied in the past and the limit theorems are well understood. On the contrary, nonlinear Hawkes process lacks the immigration-birth representation and is much harder to analyze. In this paper, we obtain a functional central limit theorem for nonlinear Hawkes process.
Limit theorems for fragmentation processes with immigration
Knobloch, Robert
2012-01-01
In this paper we extend two limit theorems which were recently obtained for fragmentation processes to such processes with immigration. More precisely, in the setting with immigration we consider a limit theorem for the process counted with a random characteristic as well as the asymptotic behaviour of an empirical measure associated with the stopping line corresponding to the first blocks, in their respective line of descent, that are smaller than a given size. In addition, we determine the asymptotic decay rate of the size of the largest block in a homogeneous fragmentation process with immigration. The techniques used to proves these results are based on submartingale arguments.
Jarzynski's theorem for lattice gauge theory
Caselle, Michele; Costagliola, Gianluca; Nada, Alessandro; Panero, Marco; Toniato, Arianna
2016-08-01
Jarzynski's theorem is a well-known equality in statistical mechanics, which relates fluctuations in the work performed during a nonequilibrium transformation of a system, to the free-energy difference between two equilibrium ensembles. In this article, we apply Jarzynski's theorem in lattice gauge theory, for two examples of challenging computational problems, namely the calculation of interface free energies and the determination of the equation of state. We conclude with a discussion of further applications of interest in QCD and in other strongly coupled gauge theories, in particular for the Schrödinger functional and for simulations at finite density using reweighting techniques.
Limit Theorems for Dispersing Billiards with Cusps
Bálint, P.; Chernov, N.; Dolgopyat, D.
2011-12-01
Dispersing billiards with cusps are deterministic dynamical systems with a mild degree of chaos, exhibiting "intermittent" behavior that alternates between regular and chaotic patterns. Their statistical properties are therefore weak and delicate. They are characterized by a slow (power-law) decay of correlations, and as a result the classical central limit theorem fails. We prove that a non-classical central limit theorem holds, with a scaling factor of {sqrt{nlog n}} replacing the standard {sqrt{n}} . We also derive the respective Weak Invariance Principle, and we identify the class of observables for which the classical CLT still holds.
The Goldstone boson equivalence theorem with fermions
Durand, Loyal; Riesselmann, Kurt
1995-01-01
The calculation of the leading electroweak corrections to physical transition matrix elements in powers of $M_H^2/v^2$ can be greatly simplified in the limit $M_H^2\\gg M_W^2,\\, M_Z^2$ through the use of the Goldstone boson equivalence theorem. This theorem allows the vector bosons $W^\\pm$ and $Z$ to be replaced by the associated scalar Goldstone bosons $w^\\pm$, $z$ which appear in the symmetry breaking sector of the Standard Model in the limit of vanishing gauge couplings. In the present pape...
Adiabatic Theorems and Reversible Isothermal Processes
Abou-Salem, W K
2005-01-01
Reversible isothermal processes of a finitely extended, driven quantum system in contact with an infinite heat bath are studied from the point of view of quantum statistical mechanics. Notions like heat flux, work and entropy are defined for trajectories of states close to, but distinct from states of joint thermal equilibrium. A theorem characterizing reversible isothermal processes as quasi-static processes ("isothermal theorem") is described. Corollaries concerning the changes of entropy and free energy in reversible isothermal processes and on the 0th law of thermodynamics are outlined.
Progress of Belle II – detector and performance
International Nuclear Information System (INIS)
The progress on the detector and accelerator in the Belle II experiment is presented. The B factories have successfully accumulated the experimental data at ϒ(4S) and achieved the world highest sensitivity on the search for lepton flavor violating tau decays and other new physics searches. The Belle II experiment will obtain 50 times larger data samples compared to the Belle experiment and improve the detector sensitivity. The construction of the detector and accelerator is in progress. The commissioning will start in 2014 and the expected integrated luminosity is 50ab−1 by 2022
Quantum communication complexity advantage implies violation of a Bell inequality
Buhrman, Harry; Czekaj, Łukasz; Grudka, Andrzej; Horodecki, Michał; Horodecki, Paweł; Markiewicz, Marcin; Speelman, Florian; Strelchuk, Sergii
2016-03-01
We obtain a general connection between a large quantum advantage in communication complexity and Bell nonlocality. We show that given any protocol offering a sufficiently large quantum advantage in communication complexity, there exists a way of obtaining measurement statistics that violate some Bell inequality. Our main tool is port-based teleportation. If the gap between quantum and classical communication complexity can grow arbitrarily large, the ratio of the quantum value to the classical value of the Bell quantity becomes unbounded with the increase in the number of inputs and outputs.
From Bell's inequalities to quantum information: a new quantum revolution
CERN. Geneva
2015-01-01
In 1964, John Stuart Bell discovered that it is possible to settle the debate experimentally, by testing the famous "Bell's inequalities", and to show directly that the revolutionary concept of entanglement is indeed a reality. A long series of experiments closer and closer to the ideal scheme presented by Bell has confirmed that entanglement is indeed "a great quantum mystery", to use the words of Feynman. Based on that concept, a new field of research has emerged, quantum information, where one uses quantum bits, the so-called “qubits”, to encode the information and process it. Entanglement ...
Searches for New Physics at the Belle II Experiment
Wang, Boqun
2015-01-01
The Belle II experiment at the SuperKEKB collider is an upgrade of the Belle / KEKB experiment. It will start physics data taking from 2018 and with $40$ times luminosity, its goal is to accumulate 50 $ab^{-1}$ of $e^+e^-$ collision data. The physics programs have a wide range of areas for new physics, such as more constraints on CKM Unitarity Triangle, searching for charged Higgs, direct CPV, Lepton Flavour Violation and dark matter.In this monograph, we will review the current status of Belle II and SuperKEKB construction and introduce the main physics opportunities at this facility.
Reluctant genius Alexander Graham Bell and the passion for invention
Gray, Charlotte
2011-01-01
The popular image of Alexander Graham Bell is that of an elderly American patriarch, memorable only for his paunch, his Santa Claus beard, and the invention of the telephone. In this magisterial reassessment based on thorough new research, acclaimed biographer Charlotte Gray reveals Bell's wide-ranging passion for invention and delves into the private life that supported his genius. The child of a speech therapist and a deaf mother, and possessed of superbly acute hearing, Bell developed an early interest in sound. His understanding of how sound waves might relate to electrical waves enabled h
A Note on a Broken-Cycle Theorem for Hypergraphs
Directory of Open Access Journals (Sweden)
Trinks Martin
2014-08-01
Full Text Available Whitney’s Broken-cycle Theorem states the chromatic polynomial of a graph as a sum over special edge subsets. We give a definition of cycles in hypergraphs that preserves the statement of the theorem there
An existence theorem for Volterra integrodifferential equations with infinite delay
Directory of Open Access Journals (Sweden)
Ferenc Izsak
2003-01-01
Full Text Available Using Schauder's fixed point theorem, we prove an existence theorem for Volterra integrodifferential equations with infinite delay. As an appplication, we consider an $n$ species Lotka-Volterra competitive system.
Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic
Towsner, Henry
2009-01-01
Hindman's Theorem is a prototypical example of a combinatorial theorem with a proof that uses the topology of the ultrafilters. We show how the methods of this proof, including topological arguments about ultrafilters, can be translated into second order arithmetic.
A multivariate central limit theorem for continuous local martingales
Zanten, van, M.
1998-01-01
A theorem on the weak convergence of a properly normalized multivariate continuous local martingale is proved. The time-change theorem used for this purpose allows for short and transparent arguments.
Automated theorem proving theory and practice
Newborn, Monty
2001-01-01
As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little computers - relatively little! -can now carry out parallel computations and solve problems in seconds that only a few years ago took days or months. Chess-playing programs are on an even footing with the world's best players. IBM's Deep Blue defeated world champion Garry Kasparov in a match several years ago. Increasingly computers are expected to be more intelligent, to reason, to be able to draw conclusions from given facts, or abstractly, to prove theorems-the subject of this book. Specifically, this book is about two theorem-proving programs, THEO and HERBY. The first four chapters contain introductory material about automated theorem proving and the two programs. This includes material on the language used to express theorems, predicate calculus, and the rules of...
Some Generalizations of Jungck's Fixed Point Theorem
Directory of Open Access Journals (Sweden)
J. R. Morales
2012-01-01
Full Text Available We are going to generalize the Jungck's fixed point theorem for commuting mappings by mean of the concepts of altering distance functions and compatible pair of mappings, as well as, by using contractive inequalities of integral type and contractive inequalities depending on another function.
A simpler derivation of the coding theorem
Lomnitz, Yuval
2012-01-01
A simple proof for the Shannon coding theorem, using only the Markov inequality, is presented. The technique is useful for didactic purposes, since it does not require many preliminaries and the information density and mutual information follow naturally in the proof. It may also be applicable to situations where typicality is not natural.
On the Non-Abelian Stokes Theorem
Diakonov, Dmitri; Petrov, Victor
2000-01-01
We present the non-Abelian Stokes theorem for the Wilson loop in various forms and discuss its meaning. Its validity has been recently questioned by Faber, Ivanov, Troitskaya and Zach. We demonstrate that all points of their criticism are based on mistakes in mathematics. Finally, we derive a variant of our formula for the Wilson loop in lattice regularization.
A coupling approach to Doob's theorem
Kulik, Alexei; Scheutzow, Michael
2014-01-01
We provide a coupling proof of Doob's theorem which says that the transition probabilities of a regular Markov process which has an invariant probability measure $\\mu$ converge to $\\mu$ in the total variation distance. In addition we show that non-singularity (rather than equivalence) of the transition probabilities suffices to ensure convergence of the transition probabilities for $\\mu$-almost all initial conditions.
Gap theorems for Ricci-harmonic solitons
Tadano, Homare
2015-01-01
In the present paper, by using estimates for the generalized Ricci curvature, we shall give some gap theorems for Ricci-harmonic solitons showing some necessary and sufficient conditions for the solitons to be harmonic-Einstein. Our results may be regarded as a generalization of recent works by H. Li, and M. Fernandez-Lopez and E. Garcia-Rio.
A strictly-positive mass theorem
International Nuclear Information System (INIS)
We show that the ADM 4-momentum of an isolated gravitational system (spatially asymptotically flat spacetime) satisfying the dominant energy condition cannot be null-like unless it is flat. Together with the positive mass theorem, this implies that the ADM 4-momentum of an isolated gravitational system must be strictly time-like. (orig.)
Multiplier theorems for special Hermite expansions on
Institute of Scientific and Technical Information of China (English)
张震球; 郑维行
2000-01-01
The weak type (1,1) estimate for special Hermite expansions on Cn is proved by using the Calderon-Zygmund decomposition. Then the multiplier theorem in Lp(1 < p < ω ) is obtained. The special Hermite expansions in twisted Hardy space are also considered. As an application, the multipli-ers for a certain kind of Laguerre expansions are given in Lp space.
Sandwich reactor lattices and Bloch's theorem
International Nuclear Information System (INIS)
The study of the neutron flux distribution in repetitive sandwiches of reactor material leads to results analogous to the 1-dimensional form of Bloch's theorem for the electronic structure in crystals. This principle makes it possible to perform analytically accurate homogenisations of sandwich lattices The method has been extended to cover multi group diffusion and transport theory. (author)
Non-Archimedean Big Picard Theorems
Cherry, William
2002-01-01
A non-Archimedean analog of the classical Big Picard Theorem, which says that a holomorphic map from the punctured disc to a Riemann surface of hyperbolic type extends accross the puncture, is proven using Berkovich's theory of non-Archimedean analytic spaces.
INTERPOLATION THEOREMS FOR SELF-ADJOINT OPERATORS
Institute of Scientific and Technical Information of China (English)
Shijun Zheng
2009-01-01
We prove a complex and a real interpolation theorems on Besov spaces and Triebel-Lizorkin spaces associated with a selfadjoint operator L, without assuming the gra-dient estimate for its spectral kernel. The result applies to the cases where L is a uniformly elliptic operator or a Schr(o)dinger operator with electro-magnetic potential.
Donsker-Type Theorem for BSDEs
Briand, Philippe; Delyon, Bernard; Mémin, Jean
2001-01-01
This paper is devoted to the proof of Donsker's theorem for backward stochastic differential equations (BSDEs for short). The main objective is to give a simple method to discretize in time a BSDE. Our approach is based upon the notion of ``convergence of filtrations'' and covers the case of a $(y,z)$-dependent generator.
A Fixed Point Theorem for Discontinuous Functions
Herings, Jean-Jacques; Laan, Gerard van der; Talman, Dolf; Yang, Zaifu
2004-01-01
Any function from a non-empty polytope into itself that is locally gross direction preserving is shown to have the fixed point property. Brouwer's fixed point theorem for continuous functions is a special case. We discuss the application of the result in the area of non-cooperative game theory.
Green's Theorem for Generalized Fractional Derivatives
Odzijewicz, Tatiana; Malinowska, Agnieszka B.; Delfim F. M. Torres
2012-01-01
We study three types of generalized partial fractional operators. An extension of Green's theorem, by considering partial fractional derivatives with more general kernels, is proved. New results are obtained, even in the particular case when the generalized operators are reduced to the standard partial fractional derivatives and fractional integrals in the sense of Riemann-Liouville or Caputo.
Central Limit Theorem for Coloured Hard Dimers
Directory of Open Access Journals (Sweden)
Maria Simonetta Bernabei
2010-01-01
Full Text Available We study the central limit theorem for a class of coloured graphs. This means that we investigate the limit behavior of certain random variables whose values are combinatorial parameters associated to these graphs. The techniques used at arriving this result comprise combinatorics, generating functions, and conditional expectations.
Generalizations of the Lax-Milgram Theorem
Directory of Open Access Journals (Sweden)
Dimosthenis Drivaliaris
2007-05-01
Full Text Available We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular, we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all bounded linear functionals of the latter. We also give two applications to singular differential equations.
Generalizations of the Lax-Milgram Theorem
Directory of Open Access Journals (Sweden)
Yannakakis Nikos
2007-01-01
Full Text Available We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular, we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all bounded linear functionals of the latter. We also give two applications to singular differential equations.
Deduction Theorems in Weakly Implicative Logics
Czech Academy of Sciences Publication Activity Database
Cintula, Petr
Barcelona: Universitat de Barcelona, 2005. s. 19-20. [Algebraic and Topological Methods in Non-Classical Logics /2./. 15.06.2005-18.06.2005, Barcelona] Institutional research plan: CEZ:AV0Z10300504 Keywords : deduction theorem * substructural logic * BCI logic * weakly implicative logic Subject RIV: BA - General Mathematics
Random fixed point theorems on product spaces
Ismat Beg; Naseer Shahzad
1993-01-01
The existence of random fixed point of a locally contractive random operator in first variable on product spaces is proved. The concept continuous random height-selection is discussed. Some random fixed point theorems for nonexpansive self and nonself maps are also obtained in product spaces.
A non-archimedean Montel's theorem
Favre, Charles; Trucco, Eugenio
2011-01-01
We prove a version of Montel's theorem for analytic functions over a non-archimedean complete valued field. We propose a definition of normal family in this context, and give applications of our results to the dynamics of non-archimedean entire functions.
On Noethers theorem in quantum field theory
International Nuclear Information System (INIS)
Extending an earlier construction of local generators of symmetries in (S. Doplicher, 1982) to space-time and supersymmetries, we establish a weak form of Noethers theorem in quantum field theory. We also comment on the physical significance of the 'split property', underlying our analysis, and discuss some local aspects of superselection rules following from our results. (orig./HSI)
An extension theorem for conformal gauge singularities
Tod, Paul
2007-01-01
We analyse conformal gauge, or isotropic, singularities in cosmological models in general relativity. Using the calculus of tractors, we find conditions in terms of tractor curvature for a local extension of the conformal structure through a cosmological singularity and prove a local extension theorem.
Crum's Theorem for 'Discrete' Quantum Mechanics
Odake, Satoru; Sasaki, Ryu
2009-01-01
In one-dimensional quantum mechanics, or the Sturm-Liouville theory, Crum's theorem. describes the relationship between the original and the associated Hamiltonian systems, which are iso-spectral except for the lowest energy state. Its counterpart in 'discrete' quantum mechanics is formulated algebraically, elucidating the basic structure of the discrete quantum mechanics, whose Schrodinger equation is a difference equation.
Crum's Theorem for `Discrete' Quantum Mechanics
Odake, Satoru; Sasaki, Ryu
2009-01-01
In one-dimensional quantum mechanics, or the Sturm-Liouville theory, Crum's theorem describes the relationship between the original and the associated Hamiltonian systems, which are iso-spectral except for the lowest energy state. Its counterpart in `discrete' quantum mechanics is formulated algebraically, elucidating the basic structure of the discrete quantum mechanics, whose Schr\\"odinger equation is a difference equation.
Lagrange’s Four-Square Theorem
Directory of Open Access Journals (Sweden)
Watase Yasushige
2015-02-01
Full Text Available This article provides a formalized proof of the so-called “the four-square theorem”, namely any natural number can be expressed by a sum of four squares, which was proved by Lagrange in 1770. An informal proof of the theorem can be found in the number theory literature, e.g. in [14], [1] or [23].
JACKSON‘S THEOREM FOR COMPACT GROUPS
Institute of Scientific and Technical Information of China (English)
H.Vaezi; S.F.Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by (Shuf)(g)=∫Gf(tut-1g)dt on compact group G and by help of this operator we define “Spherical” modulus of continuity.So we prove Stechkin and Jackson type theorems.
Extended Kelvin theorem in relativistic magnetohydrodynamics
Bekenstein, Jacob D.; Oron, Asaf
2000-01-01
We prove the existence of a generalization of Kelvin's circulation theorem in general relativity which is applicable to perfect isentropic magnetohydrodynamic flow. The argument is based on a new version of the Lagrangian for perfect magnetohydrodynamics. We illustrate the new conserved circulation with the example of a relativistic magnetohydrodynamic flow possessing three symmetries.
The virial theorem and planetary atmospheres
Toth, Viktor T.
2010-01-01
We derive a version of the virial theorem that is applicable to diatomic planetary atmospheres that are in approximate thermal equilibrium at moderate temperatures and pressures and are sufficiently thin such that the gravitational acceleration can be considered constant. We contrast a pedagogically inclined theoretical presentation with the actual measured properties of air.
The virial theorem for nonlinear problems
Amore, Paolo; Fernández, Francisco M.
2009-01-01
We show that the virial theorem provides a useful simple tool for approximating nonlinear problems. In particular we consider conservative nonlinear oscillators and a bifurcation problem. In the former case we obtain the same main result derived earlier from the expansion in Chebyshev polynomials.
Tennis Rackets and the Parallel Axis Theorem
Christie, Derek
2014-01-01
This simple experiment uses an unusual graph straightening exercise to confirm the parallel axis theorem for an irregular object. Along the way, it estimates experimental values for g and the moment of inertia of a tennis racket. We use Excel to find a 95% confidence interval for the true values.
A Bijective Proof For Forest Reciprocity Theorem
Huang, ShinnYih
2009-01-01
In this paper, we study the graph polynomial that counts spanning rooted forests f_g of a given graph. This polynomial has a remarkable reciprocity property. We give a new bijective proof for this theorem which has Prufer coding as a special case.
Limit theorems for Markov random fields
International Nuclear Information System (INIS)
Markov Random Fields (MRF's) have been extensively applied in Statistical Mechanics as well as in Bayesian Image Analysis. MRF's are a special class of dependent random variables located at the vertices of a graph whose joint distribution includes a parameter called the temperature. When the number of vertices of the graph tends to infinity, the normalized distribution of statistics based on these random variables converge in distribution. It can happen that for certain values of the temperature, that the rate of growth of these normalizing constants change drastically. This feature is generally used to explain the phenomenon of phase transition as understood by physicist. In this dissertation the author will show that this drastic change in normalizing constants occurs even in the relatively smooth case when all the random variables are Gaussian. Hence any image analytic MRF ought to be checked for such discontinuous behavior before any analysis is performed. Mixed limit theorems in Bayesian Image Analysis seek to replace intensive simulations of MRF's with limit theorems that approximate the distribution of the MRF's as the number of sites increases. The problem of deriving mixed limit theorems for MRF's on a one dimensional lattice graph with an acceptor function that has a second moment has been studied by Chow. A mixed limit theorem for the integer lattice graph is derived when the acceptor function does not have a second moment as for instance when the acceptor function is a symmetric stable density of index 0 < α < 2
Kelvin's Canonical Circulation Theorem in Hall Magnetohydrodynamics
Shivamoggi, B K
2016-01-01
The purpose of this paper is to show that, thanks to the restoration of the legitimate connection between the current density and the plasma flow velocity in Hall magnetohydrodynamics (MHD), Kelvin's Circulation Theorem becomes valid in Hall MHD. The ion-flow velocity in the usual circulation integral is now replaced by the canonical ion-flow velocity.
Scaling Identities for Solitons beyond Derrick's Theorem
Manton, Nicholas S.
2008-01-01
New integral identities satisfied by topological solitons in a range of classical field theories are presented. They are derived by considering independent length rescalings in orthogonal directions, or equivalently, from the conservation of the stress tensor. These identities are refinements of Derrick's theorem.
Pauli and The Spin-Statistics Theorem
International Nuclear Information System (INIS)
This book makes broadly accessible an understandable proof of the infamous spin-statistics theorem. This widely known but little-understood theorem is intended to explain the fact that electrons obey the Pauli exclusion principle. This fact, in turn, explains the periodic table of the elements and their chemical properties.Therefore, this one simply stated fact is responsible for many of the principal features of our universe, from chemistry to solid state physics to nuclear physics to the life cycle of stars.In spite of its fundamental importance, it is only a slight exaggeration to say that 'everyone knows the spin-statistics theorem, but no one understands it'. This book simplifies and clarifies the formal statements of the theorem, and also corrects the invariably flawed intuitive explanations which are frequently put forward. The book will be of interest to many practising physicists in all fields who have long been frustrated by the impenetrable discussions on the subject which have been available until now.It will also be accessible to students at an advanced undergraduate level as an introduction to modern physics based directly on the classical writings of the founders, including Pauli, Dirac, Heisenberg, Einstein and many others
Fundamental theorems of extensional untyped $\\lambda$-calculus revisited
Directory of Open Access Journals (Sweden)
Alexandre Lyaletsky
2015-10-01
Full Text Available This paper presents new proofs of three following fundamental theorems of the untyped extensional $\\lambda$-calculus: the $\\eta$-Postpo-nement theorem, the $\\beta\\eta$-Normal form theorem, and the Norma-lization theorem for $\\beta\\eta$-reduction. These proofs do not involve any special extensions of the standard language of $\\lambda$-terms but nevertheless are shorter and much more comprehensive than their known analogues.
Ehrenfest theorem, Galilean invariance and nonlinear Schr"odinger equations
Kälbermann, G
2003-01-01
Galilean invariant Schr"odinger equations possessing nonlinear terms coupling the amplitude and the phase of the wave function can violate the Ehrenfest theorem. An example of this kind is provided. The example leads to the proof of the theorem: A Galilean invariant Schr"odinger equation derived from a lagrangian density obeys the Ehrenfest theorem. The theorem holds for any linear or nonlinear lagrangian.
Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally
Salehi, Saeed
2015-01-01
We show that the existence of a finitely axiomatized theory which can prove all the true $\\Sigma_1$ sentences may imply Godel's Second Incompleteness Theorem, by incorporating some bi-theoretic version of the derivability conditions (first discussed by Detlefsen~2001). We also argue that Tarski's theorem on the undefinability of truth is Godel's first incompleteness theorem relativized to definable oracles; here a unification of these two theorems is shown.
Qubits from Number States and Bell Inequalities for Number Measurements
Larsson, Jan-Ake
2002-01-01
Bell inequalities for number measurements are derived via the observation that the bits of the number indexing a number state are proper qubits. Violations of these inequalities are obtained from the output state of the nondegenerate optical parametric amplifier.
Iris Murdoch’s The Bell: Tragedy, Love, and Religion
Directory of Open Access Journals (Sweden)
Kenneth Masong
2008-06-01
Full Text Available The novel begins as follows:"Dora Greenfield left her husband because she was afraid of him. She decided six months later to return to him for the same reason. The absent Paul, haunting her with letters and telephone bells and imagined footsteps on the stairs had begun to be the greater torment. Dora suffered from guilt, and with guilt came fear. She decided at last that the persecution of his presence was to be preferred to the persecution of his absence."Murdoch's novel The Bell is about Imber Court. It is a small Anglican religious community of lay people whose lives were transformed, not just by the arrival of a couple of dissimilar visitors, not just by the arrival of a new bell to be installed at Imber Abbey located beyond the lake, but more significantly by the discovery of a centuries-old bell the story of which is engulfed in a terrible legend.
Help Desk Answers: Do corticosteroids relieve Bell's palsy?
Soch, Kathy; Purtle, David; Ara, Mary; Dabbs, Kimberly
2016-03-01
Yes, but not severe disease. Corticosteroids likely improve facial motor function in adults with mild to moderate Bell's palsy. Corticosteroids are probably ineffective in treating cosmetically disabling or severe disease. PMID:27158696
The silicon strip vertex detector of the Belle II experiment
Onuki, Yoshiyuki
2014-11-01
The Belle II upgrade of the Belle experiment will extend the search for physics beyond the standard model. The upgrade is currently under construction, and foreseen to complete in time for the physics run scheduled for 2016. The vertex detector of the Belle II comprises two types of silicon detectors: the pixel detector (PXD) and the strip detector (SVD) using double-sided silicon strip detector (DSSD). One of the most characteristic features of the SVD is a unique chip-on-sensor scheme which enabling good signal-to-noise (S/N) ratio while reducing the material budget. This paper describes the implementation of the scheme, status and future prospects of the Belle II SVD.
Position-momentum Bell nonlocality with entangled photon pairs
Schneeloch, James; Knarr, Samuel H.; Lum, Daniel J.; Howell, John C.
2016-01-01
Witnessing continuous-variable Bell nonlocality is a challenging endeavor, but Bell himself showed how one might demonstrate this nonlocality. Although Bell nearly showed a violation using the Clauser-Horne-Shimony-Holt (CHSH) inequality with sign-binned position-momentum statistics of entangled pairs of particles measured at different times, his demonstration is subject to approximations not realizable in a laboratory setting. Moreover, he does not give a quantitative estimation of the maximum achievable violation for the wave function he considers. In this article, we show how his strategy can be reimagined using the transverse positions and momenta of entangled photon pairs measured at different propagation distances, and we find that the maximum achievable violation for the state he considers is actually very small relative to the upper limit of 2 √{2 } . Although Bell's wave function does not produce a large violation of the CHSH inequality, other states may yet do so.
Bell correlations in a Bose-Einstein condensate.
Schmied, Roman; Bancal, Jean-Daniel; Allard, Baptiste; Fadel, Matteo; Scarani, Valerio; Treutlein, Philipp; Sangouard, Nicolas
2016-04-22
Characterizing many-body systems through the quantum correlations between their constituent particles is a major goal of quantum physics. Although entanglement is routinely observed in many systems, we report here the detection of stronger correlations--Bell correlations--between the spins of about 480 atoms in a Bose-Einstein condensate. We derive a Bell correlation witness from a many-particle Bell inequality involving only one- and two-body correlation functions. Our measurement on a spin-squeezed state exceeds the threshold for Bell correlations by 3.8 standard deviations. Our work shows that the strongest possible nonclassical correlations are experimentally accessible in many-body systems and that they can be revealed by collective measurements. PMID:27102479
NOAA Ship Bell M. Shimada Underway Meteorological Data, Quality Controlled
National Oceanic and Atmospheric Administration, Department of Commerce — NOAA Ship Bell M. Shimada Underway Meteorological Data (delayed ~10 days for quality control) are from the Shipboard Automated Meteorological and Oceanographic...
A note on the geometric interpretation of Bell's inequalities
Pra, Paolo Dai; Pavon, Michele; Sahasrabudhe, Neeraja
2013-01-01
Using results of Pitowsky and Gupta, we show in a direct, elementary fashion that, in the case of three spins, Bell's inequalities indeed provide a representation of the tetrahedron of all spin correlation matrices as intersection of half-spaces.
Bell's inequalities; 3, Logical loophole in their formulation
Kracklauer, A F
2000-01-01
In a remarkably insightful pair of papers recently, Sica demonstrated that: dichotomic data that violates Bell's inequalities ``cannot represent any data streams that could possibly exist or be imagined'' if it is to be consistent with the derivation of the inequalities. The present writer maintains, however, that because of quirks in the formulation of Bell's analysis, this statement is, strictly speaking, not correct although the thrust of Sica's analysis remains fundamentally true. Moreover, it is argued that the resolution proposed by Sica for the conflict arising from the fact that real data does violate Bell inequalities, namely that the the functional form of the correlations considered by Bell must be amended, is on physical grounds, untenable. Finally, an alternate resolution is proposed.
Bell-type inequalities for arbitrary noncyclic networks
Tavakoli, Armin
2016-03-01
Bell inequalities bound the strength of classical correlations between observers measuring on a shared physical system. However, studies of physical correlations can be considered beyond the standard Bell scenario by networks of observers sharing some configuration of many independent physical systems. Here, we show how to construct Bell-type inequalities for correlations arising in any tree-structured network, i.e., networks without cycles. This is achieved by an iteration procedure that in each step allows one to add a branch to the tree-structured network and construct a corresponding Bell-type inequality. We explore our inequalities in several examples, in all of which we demonstrate strong violations from quantum theory.
The Software Framework of the Belle II Experiment
Moll, Andreas
2011-12-01
The future of CP-Violation experiments is to begin in 2014 with the launch of the SuperKEKB collider in Tsukuba, Japan. As a part of this process the BELLE experiment will undergo an upgrade, giving rise to the BELLE II experiment. The BELLE II detector will include improvements and redesigns of various subdetectors, as well as the addition of an entire new subdetector for precise vertexing. In order to reflect these changes in the existing BELLE software framework, major modifications of nearly all parts of the software would have been necessary. As a result the decision was made to completely rewrite the software framework. In this article the main concepts of the new framework and the applied technologies are presented.
A Zoology of Bell inequalities resistant to detector inefficiency
Massar, S; Roland, J; Gisin, B V; Massar, Serge; Pironio, Stefano; Roland, Jeremie; Gisin, Bernard
2002-01-01
We derive both numerically and analytically Bell inequalities and quantum measurements that present enhanced resistance to detector inefficiency. In particular we describe several Bell inequalities which appear to be optimal with respect to inefficient detectors for small dimensionality d=2,3,4 and 2 or more measurement settings at each side. We also generalize the family of Bell inequalities described in Collins et all (Phys. Rev. Lett. 88, 040404) to take into account the inefficiency of detectors. In addition we consider the possibility for pairs of entangled particles to be produced with probability less than one. We show that when the pair production probability is small, one must in general use different Bell inequalities than when the pair production probability is one.
Bell Inequality Tests with Macroscopic Entangled States of Light
Stobińska, Magdalena; Buraczewski, Adam; Gisin, Nicolas; Leuchs, Gerd; 10.1103/PhysRevA.84.034104
2011-01-01
Quantum correlations may violate the Bell inequalities. Most of the experimental schemes confirming this prediction have been realized in all-optical Bell tests suffering from the detection loophole. Experiment which closes this loophole and the locality loophole simultaneously is highly desirable and remains challenging. A novel approach to a loophole-free Bell tests is based on amplification of the entangled photons, i.e.\\@ on macroscopic entanglement, which optical signal should be easy to detect. However, the macroscopic states are partially indistinguishable by the classical detectors. An interesting idea to overcome these limitations is to replace the postselection by an appropriate preselection immediately after the amplification. This is in the spirit of state preprocessing revealing hidden nonlocality. Here, we examine one of possible preselections, but the presented tools can be used for analysis of other schemes. Filtering methods making the macroscopic entanglement useful for Bell test and quantum...
Bell-inequality tests with macroscopic entangled states of light
Energy Technology Data Exchange (ETDEWEB)
Stobinska, M. [Max Planck Institute for the Science of Light, Erlangen (Germany); Institute for Theoretical Physics II, Erlangen-Nuernberg University, Erlangen (Germany); Sekatski, P.; Gisin, N. [Group of Applied Physics, University of Geneva, Geneva (Switzerland); Buraczewski, A. [Faculty of Electronics and Information Technology, Warsaw University of Technology, Warsaw (Poland); Leuchs, G. [Max Planck Institute for the Science of Light, Erlangen (Germany); Institute for Optics, Information and Photonics, Erlangen-Nuernberg University, Erlangen (Germany)
2011-09-15
Quantum correlations may violate the Bell inequalities. Most experimental schemes confirming this prediction have been realized in all-optical Bell tests suffering from the detection loophole. Experiments which simultaneously close this loophole and the locality loophole are highly desirable and remain challenging. An approach to loophole-free Bell tests is based on amplification of the entangled photons (i.e., on macroscopic entanglement), for which an optical signal should be easy to detect. However, the macroscopic states are partially indistinguishable by classical detectors. An interesting idea to overcome these limitations is to replace the postselection by an appropriate preselection immediately after the amplification. This is in the spirit of state preprocessing revealing hidden nonlocality. Here, we examine one of the possible preselections, but the presented tools can be used for analysis of other schemes. Filtering methods making the macroscopic entanglement useful for Bell tests and quantum protocols are the subject of an intensive study in the field nowadays.
Applications of square-related theorems
Srinivasan, V. K.
2014-04-01
The square centre of a given square is the point of intersection of its two diagonals. When two squares of different side lengths share the same square centre, there are in general four diagonals that go through the same square centre. The Two Squares Theorem developed in this paper summarizes some nice theoretical conclusions that can be obtained when two squares of different side lengths share the same square centre. These results provide the theoretical basis for two of the constructions given in the book of H.S. Hall and F.H. Stevens , 'A Shorter School Geometry, Part 1, Metric Edition'. In page 134 of this book, the authors present, in exercise 4, a practical construction which leads to a verification of the Pythagorean theorem. Subsequently in Theorems 29 and 30, the authors present the standard proofs of the Pythagorean theorem and its converse. In page 140, the authors present, in exercise 15, what amounts to a geometric construction, whose verification involves a simple algebraic identity. Both the constructions are of great importance and can be replicated by using the standard equipment provided in a 'geometry toolbox' carried by students in high schools. The author hopes that the results proved in this paper, in conjunction with the two constructions from the above-mentioned book, would provide high school students an appreciation of the celebrated theorem of Pythagoras. The diagrams that accompany this document are based on the free software GeoGebra. The author formally acknowledges his indebtedness to the creators of this free software at the end of this document.
A Full Characterization on Fixed-Point Theorem, Minimax Inequality, Saddle Point, and KKM Theorem
Tian, Guoqiang
2012-01-01
This paper provides necessary and sufficient conditions for fixed-point theorems, minimax inequalities and some related theorems defined on arbitrary topological spaces that may be discrete, continuum, non-compact or non-convex. We establish a single condition, γ-recursive transfer lower semicontinuity, which fully characterizes the existence of equilibrium of minimax inequality without imposing any kind of convexity nor any restriction on topological space. The result then is employed to ful...
ON GÖDEL'S INCOMPLETENESS THEOREM(S), ARTIFICIAL INTELLIGENCE/LIFE, AND HUMAN MIND
CHRISTIANTO, V.; FLORENTIN SMARANDACHE
2015-01-01
In the present paper we have discussed concerning Gödel’s incompleteness theorem(s) and plausible implications to artificial intelligence/life and human mind. Perhaps we should agree with Sullins III, that the value of this finding is not to discourage certain types of research in AL, but rather to help move us in a direction where we can more clearly define the results of that research.
The direct Flow parametric Proof of Gauss' Divergence Theorem revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
The standard proof of the divergence theorem in undergraduate calculus courses covers the theorem for static domains between two graph surfaces. We show that within first year undergraduate curriculum, the flow proof of the dynamic version of the divergence theorem - which is usually considered...
Goedel incompleteness theorems and the limits of their applicability. I
International Nuclear Information System (INIS)
This is a survey of results related to the Goedel incompleteness theorems and the limits of their applicability. The first part of the paper discusses Goedel's own formulations along with modern strengthenings of the first incompleteness theorem. Various forms and proofs of this theorem are compared. Incompleteness results related to algorithmic problems and mathematically natural examples of unprovable statements are discussed. Bibliography: 68 titles.
Limit theorems for extremes with random sample size
Silvestrov, Dmitrii S.; Teugels, Jozef L.
1998-01-01
This paper is devoted to the investigation of limit theorems for extremes with random sample size under general dependence-independence conditions for samples and random sample size indexes. Limit theorems of weak convergence type are obtained as well as functional limit theorems for extremal processes with random sample size indexes.
The Interpretability of Inconsistency: Feferman's Theorem and Related Results
Visser, Albert
2014-01-01
This paper is an exposition of Feferman's Theorem concerning the interpretability of inconsistency and of further insights directly connected to this result. Feferman's Theorem is a strengthening of the Second Incompleteness Theorem. It says, in metaphorical paraphrase, that it is not just the case
Characterization of the Bell-Shaped Vibratory Angular Rate Gyro
Directory of Open Access Journals (Sweden)
Junfang Fan
2013-08-01
Full Text Available The bell-shaped vibratory angular rate gyro (abbreviated as BVG is a novel shell vibratory gyroscope, which is inspired by the Chinese traditional bell. It sensitizes angular velocity through the standing wave precession effect. The bell-shaped resonator is a core component of the BVG and looks like the millimeter-grade Chinese traditional bell, such as QianLong Bell and Yongle Bell. It is made of Ni43CrTi, which is a constant modulus alloy. The exciting element, control element and detection element are uniformly distributed and attached to the resonator, respectively. This work presents the design, analysis and experimentation on the BVG. It is most important to analyze the vibratory character of the bell-shaped resonator. The strain equation, internal force and the resonator's equilibrium differential equation are derived in the orthogonal curvilinear coordinate system. When the input angular velocity is existent on the sensitive axis, an analysis of the vibratory character is performed using the theory of thin shells. On this basis, the mode shape function and the simplified second order normal vibration mode dynamical equation are obtained. The coriolis coupling relationship about the primary mode and secondary mode is established. The methods of the signal processing and control loop are presented. Analyzing the impact resistance property of the bell-shaped resonator, which is compared with other shell resonators using the Finite Element Method, demonstrates that BVG has the advantage of a better impact resistance property. A reasonable means of installation and a prototypal gyro are designed. The gyroscopic effect of the BVG is characterized through experiments. Experimental results show that the BVG has not only the advantages of low cost, low power, long work life, high sensitivity, and so on, but, also, of a simple structure and a better impact resistance property for low and medium angular velocity measurements.
Bell-type inequalities for cold heteronuclear molecules
Milman, Perola; Keller, Arne; Charron, Eric; Atabek, Osman
2006-01-01
We introduce Bell-type inequalities allowing for non-locality and entanglement tests with two cold heteronuclear molecules. The proposed inequalities are based on correlations between each molecule spatial orientation, an observable which can be experimentally measured with present day technology. Orientation measurements are performed on each subsystem at diferent times. These times play the role of the polarizer angles in Bell tests realized with photons. We discuss the experimental impleme...
Three-dimensional Quantum Polarization Tomography of Macroscopic Bell States
Kanseri, Bhaskar; Agafonov, Ivan; Chekhova, Maria; Leuchs, Gerd
2011-01-01
The polarization properties of macroscopic Bell states are characterized using three-dimensional quantum polarization tomography. This method utilizes three-dimensional inverse Radon transform to reconstruct the polarization quasiprobability distribution function of a state from the probability distributions measured for various Stokes observables. The reconstructed 3D distributions obtained for the macroscopic Bell states are compared with those obtained for a coherent state with the same mean photon number. The results demonstrate squeezing in one or more Stokes observables.
Statistical practice at the Belle experiment, and some questions
International Nuclear Information System (INIS)
The Belle collaboration operates a general-purpose detector at the KEKB asymmetric energy e+e- collider, performing a wide range of measurements in beauty, charm, tau and 2-photon physics. In this paper, the treatment of statistical problems in past and present Belle measurements is reviewed. Some open questions, such as the preferred method for quoting rare decay results, and the statistical treatment of the new B0/B-bar0→π+π- analysis, are discussed. (author)
Quantum Communication Complexity Advantage Implies Violation of a Bell Inequality
Buhrman, Harry; Czekaj, Lukasz; Grudka, Andrzej; Horodecki, Michal; Horodecki, Pawel; Markiewicz, Marcin; Speelman, Florian; Strelchuk, Sergii
2016-01-01
We obtain a general connection between a large quantum advantage in communication complexity and Bell non-locality. We show that given any protocol offering a sufficiently large quantum advantage in communication complexity, there exists a way of obtaining measurement statistics which violate some Bell inequality. Our main tool is port-based teleportation. If the gap between quantum and classical communication complexity can grow arbitrarily large, the ratio of the quantum value to the classi...
Partial list of bipartite Bell inequalities with four binary settings
Energy Technology Data Exchange (ETDEWEB)
Brunner, Nicolas [Group of Applied Physics, University of Geneva (Switzerland)], E-mail: nicolas.brunner@physics.unige.ch; Gisin, Nicolas [Group of Applied Physics, University of Geneva (Switzerland)
2008-04-28
We give a partial list of 26 tight Bell inequalities for the case where Alice and Bob choose among four two-outcome measurements. All tight Bell inequalities with less settings are reviewed as well. For each inequality we compute numerically the maximal quantum violation, the resistance to noise and the minimal detection efficiency required for closing the detection loophole. Surprisingly, most of these inequalities are outperformed by the CHSH inequality.
Bell tests with arbitrarily low photodetection efficiency and homodyne measurements
Araújo, Mateus; Cavalcanti, Daniel; Santos, Marcelo França; Cabello, Adán; Cunha, Marcelo Terra
2011-01-01
We show that hybrid local measurements combining homodyne measurements and photodetection provide violations of a Bell inequality with arbitrarily low photodetection efficiency. This is shown in two different scenarios: when one part receives an atom entangled to the field mode to be measured by the other part and when both parts make similar photonic measurements. Our findings definitely put the hybrid measurement scenario as a strong candidate for the implementation of a loophole-free Bell test.
Bell's inequalities II: logical loophole in their interpretation
Sica, Louis
2001-01-01
Assumed data streams from a delayed choice gedanken experiment must satisfy a Bell's identity independently of locality assumptions. The violation of Bell's inequality by assumed correlations of identical form among these data streams implies that they cannot all result from statistically equivalent variables of a homogeneous process. This is consistent with both the requirements of arithmetic and distinctions between commuting and noncommuting observables in quantum mechanics. Neglect of the...
Quantum Teleportation with a Complete Bell State Measurement
Kim, Yoon-Ho; Kulik, Sergei P.; Shih, Yanhua
2000-01-01
We report a quantum teleportation experiment in which nonlinear interactions are used for the Bell state measurements. The experimental results demonstrate the working principle of irreversibly teleporting an unknown arbitrary quantum state from one system to another distant system by disassembling into and then later reconstructing from purely classical information and nonclassical EPR correlations. The distinct feature of this experiment is that \\emph{all} four Bell states can be distinguis...
Two-step complete polarization logic Bell-state analysis.
Sheng, Yu-Bo; Zhou, Lan
2015-01-01
The Bell state plays a significant role in the fundamental tests of quantum mechanics, such as the nonlocality of the quantum world. The Bell-state analysis is of vice importance in quantum communication. Existing Bell-state analysis protocols usually focus on the Bell-state encoding in the physical qubit directly. In this paper, we will describe an alternative approach to realize the near complete logic Bell-state analysis for the polarized concatenated Greenberger-Horne-Zeilinger (C-GHZ) state with two logic qubits. We show that the logic Bell-state can be distinguished in two steps with the help of the parity-check measurement (PCM) constructed by the cross-Kerr nonlinearity. This approach can be also used to distinguish arbitrary C-GHZ state with N logic qubits. As both the recent theoretical and experiment work showed that the C-GHZ state has its robust feature in practical noisy environment, this protocol may be useful in future long-distance quantum communication based on the logic-qubit entanglement. PMID:26307327
Effects of Bell Speed and Flow Rate on Evaporation of Water Spray from a Rotary Bell Atomizer
Directory of Open Access Journals (Sweden)
Rajan Ray
2015-05-01
Full Text Available A phase doppler anemometer (PDA was used to determine the effects of evaporation on water spray for three rotary bell atomizer operational variable parameters: shaping air, bell speed and liquid flow. Shaping air was set at either 200 standard liters per minute (L/min or 300 L/min, bell speed was set to 30, 40 or 50 thousand rotations per minute (krpm and water flow rate was varied between 100, 200 or 300 cubic centimeters per minute (cm3/min. The total evaporation between 22.5 and 37.5 cm from the atomizer (cm3/s was calculated for all the combinations of those variables. Evaporation rate increased with higher flow rate and bell speed but no statistically significant effects were obtained for variable shaping air on interactions between parameters.
International Nuclear Information System (INIS)
We present a novel quantum secret sharing scheme of secure direct communication and analyze its security. This scheme takes Einstein—Podolsky—Rosen (EPR) pairs in Bell states as quantum resources. In order to obtain the direct communication message, all agents only need to perform Bell measurements, not to perform any local unitary operation. The total efficiency in this scheme approaches 100% as the classical information exchanged is unnecessary except for the eavesdropping checks. (general)
Inclusive radiative B meson decays at Belle
International Nuclear Information System (INIS)
Improved measurement of inclusive radiative B meson decays We report a fully inclusive measurement of the flavor changing neutral current decay B → Xs γ in the energy range 1.7 GeV ≤ Ecms γ ≤ 2.8 GeV, covering 97 % of the total spectrum, where c.m.s. is the center of mass system. Using 605 fb-1 of data we obtain measurements of the partial branching fraction and first and second moments of the photon energy spectrum for lower energy thresholds including and above 1.7 GeV. Improved Measurement of the Electroweak Penguin Process B → Xsl+l-. We present a measurement of the branching fraction for the electroweak penguin process B → Xsl+l-, where l is an electron or a muon and Xs is a hadronic system containing an s-quark. The Xs hadronic system is reconstructed with one K± or K0s and up to four pions, where at most one pion can be neutral. The measurement is based on a data sample four times larger than used in the previous analysis, accumulated at the Υ(4S) resonance with the Belle detector at the KEKB e+e- asymmetric-energy collider. (author)
Bell inequalities for continuous-variable measurements
International Nuclear Information System (INIS)
Tests of local hidden-variable theories using measurements with continuous-variable (CV) outcomes are developed, and a comparison of different methods is presented. As examples, we focus on multipartite entangled Greenberger-Horne-Zeilinger and cluster states. We suggest a physical process that produces the states proposed here, and investigate experiments both with and without binning of the continuous variable. In the former case, the Mermin-Klyshko inequalities can be used directly. For unbinned outcomes, the moment-based Cavalcanti-Foster-Reid-Drummond inequalities are extended to functional inequalities by consideration of arbitrary functions of the measurements at each site. By optimizing these functions, we obtain more robust violations of local hidden-variable theories than with either binning or moments. Recent inequalities based on the algebra of quaternions and octonions are compared with these methods. Since the prime advantage of CV experiments is to provide a route to highly efficient detection via homodyne measurements, we analyze the effect of noise and detection losses in both binned and unbinned cases. The CV moment inequalities with an optimal function have greater robustness to both loss and noise. This could permit a loophole-free test of Bell inequalities.
On c-theorems in arbitrary dimensions
Bhattacharyya, Arpan; Sen, Kallol; Sinha, Aninda
2012-01-01
The dilaton action in 3+1 dimensions plays a crucial role in the proof of the a-theorem. This action arises using Wess-Zumino consistency conditions and crucially relies on the existence of the trace anomaly. Since there are no anomalies in odd dimensions, it is interesting to ask how such an action could arise otherwise. Motivated by this we use the AdS/CFT correspondence to examine both even and odd dimensional CFTs. We find that in even dimensions, by promoting the cut-off to a field, one can get an action for this field which coincides with the WZ action in flat space. In three dimensions, we observe that by finding an exact Hamilton-Jacobi counterterm, one can find a non-polynomial action which is invariant under global Weyl rescalings. We comment on how this finding is tied up with the F-theorem conjectures.
Weinberg Soft Theorems from Weinberg Adiabatic Modes
Mirbabayi, Mehrdad
2016-01-01
Soft theorems for the scattering of low energy photons and gravitons and cosmological consistency conditions on the squeezed-limit correlation functions are both understood to be consequences of invariance under large gauge transformations. We apply the same method used in cosmology -- based on the identification of an infinite set of "adiabatic modes" and the corresponding conserved currents -- to derive flat space soft theorems for electrodynamics and gravity. We discuss how the recent derivations based on the asymptotic symmetry groups (BMS) can be continued to a finite size sphere surrounding the scattering event, when the soft photon or graviton has a finite momentum. We give a finite distance derivation of the antipodal matching condition previously imposed between future and past null infinities, and explain why all but one radiative degrees of freedom decouple in the soft limit. In contrast to earlier works on BMS, we work with adiabatic modes which correspond to large gauge transformations that are $...
Locomotion in complex fluids: Integral theorems
Lauga, Eric
2014-01-01
The biological fluids encountered by self-propelled cells display complex microstructures and rheology. We consider here the general problem of low-Reynolds number locomotion in a complex fluid. {Building on classical work on the transport of particles in viscoelastic fluids,} we demonstrate how to mathematically derive three integral theorems relating the arbitrary motion of an isolated organism to its swimming kinematics {in a non-Newtonian fluid}. These theorems correspond to three situations of interest, namely (1) squirming motion in a linear viscoelastic fluid, (2) arbitrary surface deformation in a weakly non-Newtonian fluid, and (3) small-amplitude deformation in an arbitrarily non-Newtonian fluid. Our final results, valid for a wide-class of {swimmer geometry,} surface kinematics and constitutive models, at most require mathematical knowledge of a series of Newtonian flow problems, and will be useful to quantity the locomotion of biological and synthetic swimmers in complex environments.
Parameterized quantum field theory without Haag's theorem
Seidewitz, Ed
2015-01-01
Under the normal assumptions of quantum field theory, Haag's theorem states that any field unitarily equivalent to a free field must itself be a free field. Unfortunately, the derivation of the Dyson series perturbation expansion relies on the use of the interaction picture, in which the interacting field is unitarily equivalent to the free field but must still account for interactions. Thus, the traditional perturbative derivation of the scattering matrix in quantum field theory is mathematically ill defined. Nevertheless, perturbative quantum field theory is currently the only practical approach for addressing scattering for realistic interactions, and it has been spectacularly successful in making empirical predictions. This paper explains this success by showing that quantum field theory can be formulated, using an invariant, fifth path parameter in addition to the usual four position parameters, in such a way that Haag's theorem no longer applies, but such that the Dyson perturbation expansion for the sc...
Kinesin and the Crooks and Carnot theorems
Calzetta, E
2008-01-01
The literature on the thermodynamic analysis of the kinesin cycle regarded as a molecular motor is quite bewildering to the uninitiated. For example, the published predictions for thermal efficiency at stalling range from 0 (A. W. C. Lau, D. Lacoste and K. Mallick, Phys. Rev. Lett. 99, 158102 (2007); D. Lacoste, A. W. C. Lau and K. Mallick, Phys. Rev. E78, 011915 (2008)) to 100% (G. Oster and H. Wang, in Molecular Motors, edited by M. Schliwa (Wiley-VCH Verlag GmbH, Weinheim (2003), p. 207). This latter statement is worrysome since it seems to make Carnot's theorem irrelevant. In this note we show there is a sensible ideal kinesin cycle to which the real cycle may be compared. The ideal cycle has a thermal efficiency of less than one, and the real one is less efficient than the ideal one always, in compliance with Carnot's theorem.
Aging and nonergodicity beyond the Khinchin theorem.
Burov, S; Metzler, R; Barkai, E
2010-07-27
The Khinchin theorem provides the condition that a stationary process is ergodic, in terms of the behavior of the corresponding correlation function. Many physical systems are governed by nonstationary processes in which correlation functions exhibit aging. We classify the ergodic behavior of such systems and suggest a possible generalization of Khinchin's theorem. Our work also quantifies deviations from ergodicity in terms of aging correlation functions. Using the framework of the fractional Fokker-Planck equation, we obtain a simple analytical expression for the two-time correlation function of the particle displacement in a general binding potential, revealing universality in the sense that the binding potential only enters into the prefactor through the first two moments of the corresponding Boltzmann distribution. We discuss applications to experimental data from systems exhibiting anomalous dynamics. PMID:20624984
Optimizing the Graph Minors Weak Structure Theorem
Giannopoulou, Archontia C
2011-01-01
One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65--110, 1995], also known as the weak structure theorem, revealed the local structure of graphs excluding some graph as a minor: each such graph $G$ either has small treewidth or contains the subdivision of a wall that can be arranged "bidimensionally" inside $G$, given that some small set of vertices are removed. We prove an optimized version of that theorem where (i) the relation between the treewidth of the graph and the height of the wall is linear (thus best possible) and (ii) the number of vertices to be removed is minimized.
A Dirichlet unit theorem for Drinfeld modules
Taelman, Lenny
2009-01-01
We show that the module of integral points on a Drinfeld module satisfies a an analogue of Dirichlet's unit theorem, despite its failure to be finitely generated. As a consequence, we obtain a construction of a canonical finitely generated sub-module of the module of integral points. We use the results to give a precise formulation of a conjectural analogue of the class number formula.
Arrow’s theorem in judgment aggregation
Dietrich, Franz; List, Christian
2005-01-01
In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using “systematicity” and “independence” conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s ...
Stability theorems for symplectic and contact pairs
Bande, G.; Ghiggini, P.; Kotschick, D.
2004-01-01
We prove Gray--Moser stability theorems for complementary pairs of forms of constant class defining symplectic pairs, contact-symplectic pairs and contact pairs. We also consider the case of contact-symplectic and contact-contact structures, in which the constant class condition on a one-form is replaced by the condition that its kernel hyperplane distribution have constant class in the sense of E. Cartan.