Cone and trumpet concentrators in light of the general edge-ray theorem
Ries, Harald; Spirkl, Wolfgang; Winston, Roland
1995-08-01
Cone and trumpet are nonimaging concentrators which do not obey the traditional edge-ray principle. The latter states that edge rays from the source should be transferred to the edge of the target. These concentrators have traditionally been described in terms of the heuristic flow line principle. The edge-ray theorem has been generalized to include nonimaging reflectors with multiple reflections. One includes all multiply reflected rays as an auxiliary domain. The general edge-ray theorem then states that the edge rays to the union of source and auxiliary domain must be reflected to edge of the union of target and auxiliary domain by the first reflection. We show the setup for which cone and trumpet constitute perfect nonimaging concentrators in the light of the generalized edge-ray theorem. We discuss the cases where cones are very good approximations for the solutions of nonimaging problems.
International Nuclear Information System (INIS)
Cahill, K.
1975-11-01
Local field theory is used to derive formulas that express certain boundary values of the N-point function as sums of products of scattering amplitudes. These formulas constitute a generalization of the optical theorem and facilitate the analysis of multiparticle scattering functions [fr
Generalized Dandelin’s Theorem
Kheyfets, A. L.
2017-11-01
The paper gives a geometric proof of the theorem which states that in case of the plane section of a second-order surface of rotation (quadrics of rotation, QR), such conics as an ellipse, a hyperbola or a parabola (types of conic sections) are formed. The theorem supplements the well-known Dandelin’s theorem which gives the geometric proof only for a circular cone and applies the proof to all QR, namely an ellipsoid, a hyperboloid, a paraboloid and a cylinder. That’s why the considered theorem is known as the generalized Dandelin’s theorem (GDT). The GDT proof is based on a relatively unknown generalized directrix definition (GDD) of conics. The work outlines the GDD proof for all types of conics as their necessary and sufficient condition. Based on the GDD, the author proves the GDT for all QR in case of a random position of the cutting plane. The graphical stereometric structures necessary for the proof are given. The implementation of the structures by 3d computer methods is considered. The article shows the examples of the builds made in the AutoCAD package. The theorem is intended for the training course of theoretical training of elite student groups of architectural and construction specialties.
A note on generalized Weyl's theorem
Zguitti, H.
2006-04-01
We prove that if either T or T* has the single-valued extension property, then the spectral mapping theorem holds for B-Weyl spectrum. If, moreover T is isoloid, and generalized Weyl's theorem holds for T, then generalized Weyl's theorem holds for f(T) for every . An application is given for algebraically paranormal operators.
The Non-Signalling theorem in generalizations of Bell's theorem
Walleczek, J.; Grössing, G.
2014-04-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 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 basis of an ontic, foundational
Equivalent conserved currents and generalized Noether's theorem
International Nuclear Information System (INIS)
Gordon, T.J.
1984-01-01
A generalized Noether theorem is presented, relating symmetries and equivalence classes of local) conservation laws in classical field theories; this is contrasted with the standard theorem. The concept of a ''Noether'' field theory is introduced, being a theory for which the generalized theorem applies; not only does this include the cases of Lagrangian and Hamiltonian field theories, these structures are ''derived'' from the Noether property in a natural way. The generalized theorem applies to currents and symmetries that contain derivatives of the fields up to an arbitrarily high order
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.
Proofs and generalizations of the pythagorean theorem
Directory of Open Access Journals (Sweden)
Lialda B. Cavalcanti
2011-01-01
Full Text Available This article explores a topic developed by a group of researchers of the Science and Technology Teaching School of Instituto Federal de Pernambuco, Brazil (IFPE, in assistance to the development of the Mathematics Practical and Teaching Laboratory of the distance learning Teaching Licensure, financed by the Universidad Abierta de Brasil. In this article, we describe the peculiarities present in the proofs of the Pythagorean theorem with the purpose of illustrating some of these methods. The selection of these peculiarities was founded and based on the comparison of areas by means of the superimposition of geometrical shapes and used several different class resources. Some generalizations of this important theorem in mathematical problem-solving are also shown.
The Invariance and the General CCT Theorems
Stancu, Alin
2010-01-01
The \\begin{it} Invariance Theorem \\end{it} of M. Gerstenhaber and S. D. Schack states that if $\\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category $\\mathbb{A}$-$\\mathbf{mod}$ and its subdivided category $\\mathbb{A}'$-$\\mathbf{mod}$. In this paper we generalize this result and show that the subdivision functor is a full and faithful functor between two suitable derived categories of $\\mathbb{A}$-$\\mathb...
A generalization of the virial theorem for strongly singular potentials
International Nuclear Information System (INIS)
Gesztesy, F.; Pittner, L.
1978-09-01
Using scale transformations the authors prove a generalization of the virial theorem for the eigenfunctions of non-relativistic Schroedinger Hamiltonians which are defined as the Friedrichs extension of strongly singular differential operators. The theorem also applies to situations where the ground state has divergent kinetic and potential energy and thus the usual version of the virial theorem becomes meaningless. (Auth.)
A general comparison theorem for backward stochastic differential equations
Cohen, Samuel N.; Elliott, Robert J.; Pearce, Charles E. M.
2010-01-01
A useful result when dealing with backward stochastic differential equations is the comparison theorem of Peng (1992). When the equations are not based on Brownian motion, the comparison theorem no longer holds in general. In this paper we present a condition for a comparison theorem to hold for backward stochastic differential equations based on arbitrary martingales. This theorem applies to both vector and scalar situations. Applications to the theory of nonlinear expectat...
A generalized integral fluctuation theorem for general jump processes
International Nuclear Information System (INIS)
Liu Fei; Ouyang Zhongcan; Luo Yupin; Huang Mingchang
2009-01-01
Using the Feynman-Kac and Cameron-Martin-Girsanov formulae, we obtain a generalized integral fluctuation theorem (GIFT) for discrete jump processes by constructing a time-invariable inner product. The existing discrete IFTs can be derived as its specific cases. A connection between our approach and the conventional time-reversal method is also established. Unlike the latter approach that has been extensively employed in the existing literature, our approach can naturally bring out the definition of a time reversal of a Markovian stochastic system. Additionally, we find that the robust GIFT usually does not result in a detailed fluctuation theorem. (fast track communication)
Energy Technology Data Exchange (ETDEWEB)
Escane, J.M. [Ecole Superieure d' Electricite, 91 - Gif-sur-Yvette (France)
2005-04-01
The first part of this article defines the different elements of an electrical network and the models to represent them. Each model involves the current and the voltage as a function of time. Models involving time functions are simple but their use is not always easy. The Laplace transformation leads to a more convenient form where the variable is no more directly the time. This transformation leads also to the notion of transfer function which is the object of the second part. The third part aims at defining the fundamental operation rules of linear networks, commonly named 'general theorems': linearity principle and superimposition theorem, duality principle, Thevenin theorem, Norton theorem, Millman theorem, triangle-star and star-triangle transformations. These theorems allow to study complex power networks and to simplify the calculations. They are based on hypotheses, the first one is that all networks considered in this article are linear. (J.S.)
Generalizations of the Nash Equilibrium Theorem in the KKM Theory
Directory of Open Access Journals (Sweden)
Sehie Park
2010-01-01
Full Text Available The partial KKM principle for an abstract convex space is an abstract form of the classical KKM theorem. In this paper, we derive generalized forms of the Ky Fan minimax inequality, the von Neumann-Sion minimax theorem, the von Neumann-Fan intersection theorem, the Fan-type analytic alternative, and the Nash equilibrium theorem for abstract convex spaces satisfying the partial KKM principle. These results are compared with previously known cases for G-convex spaces. Consequently, our results unify and generalize most of previously known particular cases of the same nature. Finally, we add some detailed historical remarks on related topics.
A general conservative extension theorem in process algebras with inequalities
d' Argenio, P.R.; Verhoef, Chris
1997-01-01
We prove a general conservative extension theorem for transition system based process theories with easy-to-check and reasonable conditions. The core of this result is another general theorem which gives sufficient conditions for a system of operational rules and an extension of it in order to
The Non-Signalling theorem in generalizations of Bell's theorem
International Nuclear Information System (INIS)
Walleczek, J; Grössing, G
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 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
Generalized Friedland's theorem for C0-semigroups
Cichon, Dariusz; Jung, Il Bong; Stochel, Jan
2008-07-01
Friedland's characterization of bounded normal operators is shown to hold for infinitesimal generators of C0-semigroups. New criteria for normality of bounded operators are furnished in terms of Hamburger moment problem. All this is achieved with the help of the celebrated Ando's theorem on paranormal operators.
General Correlation Theorem for Trinion Fourier Transform
Bahri, Mawardi
2017-01-01
- The trinion Fourier transform is an extension of the Fourier transform in the trinion numbers setting. In this work we derive the correlation theorem for the trinion Fourier transform by using the relation between trinion convolution and correlation definitions in the trinion Fourier transform domains.
Locally Hamiltonian systems with symmetry and a generalized Noether's theorem
International Nuclear Information System (INIS)
Carinena, J.F.; Ibort, L.A.
1985-01-01
An analysis of global aspects of the theory of symmetry groups G of locally Hamiltonian dynamical systems is carried out for particular cases either of the symmetry group, or the differentiable manifold M supporting the symplectic structure, or the action of G on M. In every case it is obtained a generalization of Noether's theorem. It has been looked at the classical Noether's theorem for Lagrangian systems from a modern perspective
Generalized Optical Theorem Detection in Random and Complex Media
Tu, Jing
The problem of detecting changes of a medium or environment based on active, transmit-plus-receive wave sensor data is at the heart of many important applications including radar, surveillance, remote sensing, nondestructive testing, and cancer detection. This is a challenging problem because both the change or target and the surrounding background medium are in general unknown and can be quite complex. This Ph.D. dissertation presents a new wave physics-based approach for the detection of targets or changes in rather arbitrary backgrounds. The proposed methodology is rooted on a fundamental result of wave theory called the optical theorem, which gives real physical energy meaning to the statistics used for detection. This dissertation is composed of two main parts. The first part significantly expands the theory and understanding of the optical theorem for arbitrary probing fields and arbitrary media including nonreciprocal media, active media, as well as time-varying and nonlinear scatterers. The proposed formalism addresses both scalar and full vector electromagnetic fields. The second contribution of this dissertation is the application of the optical theorem to change detection with particular emphasis on random, complex, and active media, including single frequency probing fields and broadband probing fields. The first part of this work focuses on the generalization of the existing theoretical repertoire and interpretation of the scalar and electromagnetic optical theorem. Several fundamental generalizations of the optical theorem are developed. A new theory is developed for the optical theorem for scalar fields in nonhomogeneous media which can be bounded or unbounded. The bounded media context is essential for applications such as intrusion detection and surveillance in enclosed environments such as indoor facilities, caves, tunnels, as well as for nondestructive testing and communication systems based on wave-guiding structures. The developed scalar
Generalization of boson-fermion equivalence and Fay's addition theorem
International Nuclear Information System (INIS)
Kato, Hideyuki; Saito, Satoru
1989-01-01
Generalizations of Fay's addition theorem for Abel functions are obtained by using generalized boson-fermion equivalence of off-shell string amplitudes. A simple example of such generalizations is presented explicitly which relates derivatives of a Riemann θ-function to its determinant. (orig.)
Generalized Fourier slice theorem for cone-beam image reconstruction.
Zhao, Shuang-Ren; Jiang, Dazong; Yang, Kevin; Yang, Kang
2015-01-01
The cone-beam reconstruction theory has been proposed by Kirillov in 1961, Tuy in 1983, Feldkamp in 1984, Smith in 1985, Pierre Grangeat in 1990. The Fourier slice theorem is proposed by Bracewell 1956, which leads to the Fourier image reconstruction method for parallel-beam geometry. The Fourier slice theorem is extended to fan-beam geometry by Zhao in 1993 and 1995. By combining the above mentioned cone-beam image reconstruction theory and the above mentioned Fourier slice theory of fan-beam geometry, the Fourier slice theorem in cone-beam geometry is proposed by Zhao 1995 in short conference publication. This article offers the details of the derivation and implementation of this Fourier slice theorem for cone-beam geometry. Especially the problem of the reconstruction from Fourier domain has been overcome, which is that the value of in the origin of Fourier space is 0/0. The 0/0 type of limit is proper handled. As examples, the implementation results for the single circle and two perpendicular circle source orbits are shown. In the cone-beam reconstruction if a interpolation process is considered, the number of the calculations for the generalized Fourier slice theorem algorithm is O(N^4), which is close to the filtered back-projection method, here N is the image size of 1-dimension. However the interpolation process can be avoid, in that case the number of the calculations is O(N5).
Multiphonon theory: generalized Wick's theorem and recursion formulas
International Nuclear Information System (INIS)
Silvestre-Brac, B.; Piepenbring, R.
1982-04-01
Overlaps and matrix elements of one and two-body operators are calculated in a space spanned by multiphonons of different types taking properly the Pauli principle into account. Two methods are developped: a generalized Wick's theorem dealing with new contractions and recursion formulas well suited for numerical applications
The generalized Mayer theorem in the approximating hamiltonian method
International Nuclear Information System (INIS)
Bakulev, A.P.; Bogoliubov, N.N. Jr.; Kurbatov, A.M.
1982-07-01
With the help of the generalized Mayer theorem we obtain the improved inequality for free energies of model and approximating systems, where only ''connected parts'' over the approximating hamiltonian are taken into account. For the concrete system we discuss the problem of convergency of appropriate series of ''connected parts''. (author)
A general product measurability theorem with applications to variational inequalities
Directory of Open Access Journals (Sweden)
Kenneth L. Kuttler
2016-03-01
Full Text Available This work establishes the existence of measurable weak solutions to evolution problems with randomness by proving and applying a novel theorem on product measurability of limits of sequences of functions. The measurability theorem is used to show that many important existence theorems within the abstract theory of evolution inclusions or equations have straightforward generalizations to settings that include random processes or coefficients. Moreover, the convex set where the solutions are sought is not fixed but may depend on the random variables. The importance of adding randomness lies in the fact that real world processes invariably involve randomness and variability. Thus, this work expands substantially the range of applications of models with variational inequalities and differential set-inclusions.
Duan's fixed point theorem: Proof and generalization
Directory of Open Access Journals (Sweden)
Arkowitz Martin
2006-01-01
Full Text Available Let be an H-space of the homotopy type of a connected, finite CW-complex, any map and the th power map. Duan proved that has a fixed point if . We give a new, short and elementary proof of this. We then use rational homotopy to generalize to spaces whose rational cohomology is the tensor product of an exterior algebra on odd dimensional generators with the tensor product of truncated polynomial algebras on even dimensional generators. The role of the power map is played by a -structure as defined by Hemmi-Morisugi-Ooshima. The conclusion is that and each has a fixed point.
Duan's fixed point theorem: proof and generalization
Directory of Open Access Journals (Sweden)
2006-01-01
Full Text Available Let X be an H-space of the homotopy type of a connected, finite CW-complex, f:X→X any map and p k :X→X the k th power map. Duan proved that p k f :X→X has a fixed point if k≥2 . We give a new, short and elementary proof of this. We then use rational homotopy to generalize to spaces X whose rational cohomology is the tensor product of an exterior algebra on odd dimensional generators with the tensor product of truncated polynomial algebras on even dimensional generators. The role of the power map is played by a θ -structure μ θ :X→X as defined by Hemmi-Morisugi-Ooshima. The conclusion is that μ θ f and f μ θ each has a fixed point.
Duan's fixed point theorem: Proof and generalization
Directory of Open Access Journals (Sweden)
Martin Arkowitz
2006-02-01
Full Text Available Let X be an H-space of the homotopy type of a connected, finite CW-complex, f:XÃ¢Â†Â’X any map and pk:XÃ¢Â†Â’X the kth power map. Duan proved that pkf:XÃ¢Â†Â’X has a fixed point if kÃ¢Â‰Â¥2. We give a new, short and elementary proof of this. We then use rational homotopy to generalize to spaces X whose rational cohomology is the tensor product of an exterior algebra on odd dimensional generators with the tensor product of truncated polynomial algebras on even dimensional generators. The role of the power map is played by a ÃŽÂ¸-structure ÃŽÂ¼ÃŽÂ¸:XÃ¢Â†Â’X as defined by Hemmi-Morisugi-Ooshima. The conclusion is that ÃŽÂ¼ÃŽÂ¸f and fÃŽÂ¼ÃŽÂ¸ each has a fixed point.
The generalized back projection theorem for cone beam reconstruction
International Nuclear Information System (INIS)
Peyrin, F.C.
1985-01-01
The use of cone beam scanners raises the problem of three dimensional reconstruction from divergent projections. After a survey on bidimensional analytical reconstruction methods we examine their application to the 3D problem. Finally, it is shown that the back projection theorem can be generalized to cone beam projections. This allows to state a new inversion formula suitable for both the 4 π parallel and divergent geometries. It leads to the generalization of the ''rho-filtered back projection'' algorithm which is outlined
Learning in neural networks based on a generalized fluctuation theorem
Hayakawa, Takashi; Aoyagi, Toshio
2015-11-01
Information maximization has been investigated as a possible mechanism of learning governing the self-organization that occurs within the neural systems of animals. Within the general context of models of neural systems bidirectionally interacting with environments, however, the role of information maximization remains to be elucidated. For bidirectionally interacting physical systems, universal laws describing the fluctuation they exhibit and the information they possess have recently been discovered. These laws are termed fluctuation theorems. In the present study, we formulate a theory of learning in neural networks bidirectionally interacting with environments based on the principle of information maximization. Our formulation begins with the introduction of a generalized fluctuation theorem, employing an interpretation appropriate for the present application, which differs from the original thermodynamic interpretation. We analytically and numerically demonstrate that the learning mechanism presented in our theory allows neural networks to efficiently explore their environments and optimally encode information about them.
Whiteheadian approach to quantum theory and the generalized bell's theorem
International Nuclear Information System (INIS)
Stapp, H.P.
1979-01-01
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
ON A GENERALIZATION OF THE MAXIMUM ENTROPY THEOREM OF BURG
Directory of Open Access Journals (Sweden)
JOSÉ MARCANO
2017-01-01
Full Text Available In this article we introduce some matrix manipulations that allow us to obtain a version of the original Christoffel-Darboux formula, which is of interest in many applications of linear algebra. Using these developments matrix and Jensen’s inequality, we obtain the main result of this proposal, which is the generalization of the maximum entropy theorem of Burg for multivariate processes.
The spectral method and ergodic theorems for general Markov chains
International Nuclear Information System (INIS)
Nagaev, S V
2015-01-01
We study the ergodic properties of Markov chains with an arbitrary state space and prove a geometric ergodic theorem. The method of the proof is new: it may be described as an operator method. Our main result is an ergodic theorem for Harris-Markov chains in the case when the return time to some fixed set has finite expectation. Our conditions for the transition function are more general than those used by Athreya-Ney and Nummelin. Unlike them, we impose restrictions not on the original transition function but on the transition function of an embedded Markov chain constructed from the return times to the fixed set mentioned above. The proof uses the spectral theory of linear operators on a Banach space
A General No-Cloning Theorem for an infinite Multiverse
Gauthier, Yvon
2013-10-01
In this paper, I formulate a general no-cloning theorem which covers the quantum-mechanical and the theoretical quantum information cases as well as the cosmological multiverse theory. However, the main argument is topological and does not involve the peculiar copier devices of the quantum-mechanical and information-theoretic approaches to the no-cloning thesis. It is shown that a combinatorial set-theoretic treatment of the mathematical and physical spacetime continuum in cosmological or quantum-mechanical terms forbids an infinite (countable or uncountable) number of exact copies of finite elements (states) in the uncountable multiverse cosmology. The historical background draws on ideas from Weyl to Conway and Kochen on the free will theorem in quantum mechanics.
Fan beam image reconstruction with generalized Fourier slice theorem.
Zhao, Shuangren; Yang, Kang; Yang, Kevin
2014-01-01
For parallel beam geometry the Fourier reconstruction works via the Fourier slice theorem (or central slice theorem, projection slice theorem). For fan beam situation, Fourier slice can be extended to a generalized Fourier slice theorem (GFST) for fan-beam image reconstruction. We have briefly introduced this method in a conference. This paper reintroduces the GFST method for fan beam geometry in details. The GFST method can be described as following: the Fourier plane is filled by adding up the contributions from all fanbeam projections individually; thereby the values in the Fourier plane are directly calculated for Cartesian coordinates such avoiding the interpolation from polar to Cartesian coordinates in the Fourier domain; inverse fast Fourier transform is applied to the image in Fourier plane and leads to a reconstructed image in spacial domain. The reconstructed image is compared between the result of the GFST method and the result from the filtered backprojection (FBP) method. The major differences of the GFST and the FBP methods are: (1) The interpolation process are at different data sets. The interpolation of the GFST method is at projection data. The interpolation of the FBP method is at filtered projection data. (2) The filtering process are done in different places. The filtering process of the GFST is at Fourier domain. The filtering process of the FBP method is the ramp filter which is done at projections. The resolution of ramp filter is variable with different location but the filter in the Fourier domain lead to resolution invariable with location. One advantage of the GFST method over the FBP method is in short scan situation, an exact solution can be obtained with the GFST method, but it can not be obtained with the FBP method. The calculation of both the GFST and the FBP methods are at O(N^3), where N is the number of pixel in one dimension.
Nonextensive kinetic theory and H-theorem in general relativity
Santos, A. P.; Silva, R.; Alcaniz, J. S.; Lima, J. A. S.
2017-11-01
The nonextensive kinetic theory for degenerate quantum gases is discussed in the general relativistic framework. By incorporating nonadditive modifications in the collisional term of the relativistic Boltzmann equation and entropy current, it is shown that Tsallis entropic framework satisfies a H-theorem in the presence of gravitational fields. Consistency with the 2nd law of thermodynamics is obtained only whether the entropic q-parameter lies in the interval q ∈ [ 0 , 2 ] . As occurs in the absence of gravitational fields, it is also proved that the local collisional equilibrium is described by the extended Bose-Einstein (Fermi-Dirac) q-distributions.
Lin, Ju; Li, Jie; Li, Xiaolei; Wang, Ning
2016-10-01
An acoustic reciprocity theorem is generalized, for a smoothly varying perturbed medium, to a hierarchy of reciprocity theorems including higher-order derivatives of acoustic fields. The standard reciprocity theorem is the first member of the hierarchy. It is shown that the conservation of higher-order interaction quantities is related closely to higher-order derivative distributions of perturbed media. Then integral reciprocity theorems are obtained by applying Gauss's divergence theorem, which give explicit integral representations connecting higher-order interactions and higher-order derivative distributions of perturbed media. Some possible applications to an inverse problem are also discussed.
Attractive Hubbard model with disorder and the generalized Anderson theorem
International Nuclear Information System (INIS)
Kuchinskii, E. Z.; Kuleeva, N. A.; Sadovskii, M. V.
2015-01-01
Using the generalized DMFT+Σ approach, we study the influence of disorder on single-particle properties of the normal phase and the superconducting transition temperature in the attractive Hubbard model. A wide range of attractive potentials U is studied, from the weak coupling region, where both the instability of the normal phase and superconductivity are well described by the BCS model, to the strong-coupling region, where the superconducting transition is due to Bose-Einstein condensation (BEC) of compact Cooper pairs, formed at temperatures much higher than the superconducting transition temperature. We study two typical models of the conduction band with semi-elliptic and flat densities of states, respectively appropriate for three-dimensional and two-dimensional systems. For the semi-elliptic density of states, the disorder influence on all single-particle properties (e.g., density of states) is universal for an arbitrary strength of electronic correlations and disorder and is due to only the general disorder widening of the conduction band. In the case of a flat density of states, universality is absent in the general case, but still the disorder influence is mainly due to band widening, and the universal behavior is restored for large enough disorder. Using the combination of DMFT+Σ and Nozieres-Schmitt-Rink approximations, we study the disorder influence on the superconducting transition temperature T c for a range of characteristic values of U and disorder, including the BCS-BEC crossover region and the limit of strong-coupling. Disorder can either suppress T c (in the weak-coupling region) or significantly increase T c (in the strong-coupling region). However, in all cases, the generalized Anderson theorem is valid and all changes of the superconducting critical temperature are essentially due to only the general disorder widening of the conduction band
Generalized Perron--Frobenius Theorem for Nonsquare Matrices
Avin, Chen; Borokhovich, Michael; Haddad, Yoram; Kantor, Erez; Lotker, Zvi; Parter, Merav; Peleg, David
2013-01-01
The celebrated Perron--Frobenius (PF) theorem is stated for irreducible nonnegative square matrices, and provides a simple characterization of their eigenvectors and eigenvalues. The importance of this theorem stems from the fact that eigenvalue problems on such matrices arise in many fields of science and engineering, including dynamical systems theory, economics, statistics and optimization. However, many real-life scenarios give rise to nonsquare matrices. A natural question is whether the...
Generalized Panofsky-Wenzel theorem and hybrid coupling
Smirnov, A V
2001-01-01
The Panofsky-Wenzel theorem is reformulated for the case in which phase slippage between the wave and beam is not negligible. The extended theorem can be applied in analysis of detuned waveguides, RF injectors, bunchers, some tapered waveguides or high-power sources and multi-cell cavities for dipole and higher order modes. As an example, the relative contribution of the Lorentz' component of the deflecting force is calculated for a conventional circular disk-loaded waveguide.
Koopmans' theorem in the Hartree-Fock method. General formulation
Plakhutin, Boris N.
2018-03-01
This work presents a general formulation of Koopmans' theorem (KT) in the Hartree-Fock (HF) method which is applicable to molecular and atomic systems with arbitrary orbital occupancies and total electronic spin including orbitally degenerate (OD) systems. The new formulation is based on the full set of variational conditions imposed upon the HF orbitals by the variational principle for the total energy and the conditions imposed by KT on the orbitals of an ionized electronic shell [B. N. Plakhutin and E. R. Davidson, J. Chem. Phys. 140, 014102 (2014)]. Based on these conditions, a general form of the restricted open-shell HF method is developed, whose eigenvalues (orbital energies) obey KT for the whole energy spectrum. Particular attention is paid to the treatment of OD systems, for which the new method gives a number of unexpected results. For example, the present method gives four different orbital energies for the triply degenerate atomic level 2p in the second row atoms B to F. Based on both KT conditions and a parallel treatment of atoms B to F within a limited configuration interaction approach, we prove that these four orbital energies, each of which is triply degenerate, are related via KT to the energies of different spin-dependent ionization and electron attachment processes (2p)N → (2p ) N ±1. A discussion is also presented of specific limitations of the validity of KT in the HF method which arise in OD systems. The practical applicability of the theory is verified by comparing KT estimates of the ionization potentials I2s and I2p for the second row open-shell atoms Li to F with the relevant experimental data.
A Borsuk-Ulam type generalization of the Leray-Schauder fixed point theorem
International Nuclear Information System (INIS)
Prykarpatsky, A.K.
2007-05-01
A generalization of the classical Leray-Schauder fixed point theorem, based on the infinite-dimensional Borsuk-Ulam type antipode construction, is proposed. Two completely different proofs based on the projection operator approach and on a weak version of the well known Krein-Milman theorem are presented. (author)
A generalization of Abel's Theorem and the Abel-Jacobi map
DEFF Research Database (Denmark)
Dupont, Johan Louis; Kamber, Franz W.
We generalize Abel’s classical theorem on linear equivalence of divisors on a Riemann surface. For every closed submanifold Md ⊂ Xn in a compact oriented Riemannian n–manifold, or more generally for any d–cycle Z relative to a triangulation of X, we define a (simplicial) (n − d − 1)–gerbe Z......, the Abel gerbe determined by Z, whose vanishing as a Deligne cohomology class generalizes the notion of ‘linear equivalence to zero’. In this setting, Abel’s theorem remains valid. Moreover, we generalize the classical Inversion Theorem for the Abel–Jacobi map, thereby proving that the moduli space of Abel...
Bell's theorem based on a generalized EPR criterion of reality
International Nuclear Information System (INIS)
Eberhard, P.H.; Rosselet, P.
1995-01-01
First, the demonstration of Bell's theorem, i.e., of the nonlocal character of quantum theory, is spelled out using the EPR criterion of reality as premises and a gedanken experiment involving two particles. Then, the EPR criterion is extended to include quantities predicted almost with certainty, and Bell's theorem is demonstrated on these new premises. The same experiment is used but in conditions that become possible in real life, without the requirements of ideal efficiencies and zero background. Very high efficiencies and low background are needed, but these requirements may be met in the future
Bell's theorem based on a generalized EPR criterion of reality
International Nuclear Information System (INIS)
Eberhard, P.H.; Rosselet, P.
1993-04-01
First, the demonstration of Bell's theorem, i.e. of the non-local character of quantum theory, is spelled out using the EPR criterion of reality as premises and a gedanken experiment involving two particles. Then, the EPR criterion is extended to include quantities predicted almost with certainty, and Bell's theorem is demonstrated on these new premises. The same experiment is used but in conditions that become possible in real life, without the requirements of ideal efficiencies and zero background. Very high efficiencies and low background are needed, but these requirements may be met in the future. (author) 1 fig., 11 refs
A General Representation Theorem for Integrated Vector Autoregressive Processes
DEFF Research Database (Denmark)
Franchi, Massimo
We study the algebraic structure of an I(d) vector autoregressive process, where d is restricted to be an integer. This is useful to characterize its polynomial cointegrating relations and its moving average representation, that is to prove a version of the Granger representation theorem valid...
Weak circulation theorems as a way of distinguishing between generalized gravitation theories
International Nuclear Information System (INIS)
Enosh, M.
1980-01-01
It was proved in a previous paper that a generalized circulation theorem characterizes Einstein's theory of gravitation as a special case of a more general theory of gravitation, which is also based on the principle of equivalence. Here the question of whether it is possible to weaken this circulation theorem in such ways that it would imply more general theories than Einstein's is posed. This problem is solved. Principally, there are two possibilities. One of them is essentially Weyl's theory. (author)
Fueter's theorem and its generalizations in Dunkl-Clifford analysis
International Nuclear Information System (INIS)
Fei Minggang; Cerejeiras, Paula; Kaehler, Uwe
2009-01-01
In this paper, we give a construction of Dunkl monogenic and Dunkl harmonic functions starting from holomorphic functions in the plane. This construction has the advantage of not needing Dunkl's intertwining operator or Dunkl spherical harmonics. To this end we study Vekua-type systems and prove a version of Fueter's theorem in the case of finite reflection groups. Important examples, such as a Dunkl monogenic Gaussian distribution or a Cauchy kernel, will be given at the end.
A generalization of Schauder's theorem and its application to Cauchy-Kovalevskaya problem
Directory of Open Access Journals (Sweden)
Oleg Zubelevich
2003-05-01
Full Text Available We extend the classical majorant functions method to a PDE system which right hand side is a mapping of one functional space to another. This extension is based on some generalization of the Schauder fixed point theorem.
A generalized fluctuation-dissipation theorem for the one-dimensional diffusion process
International Nuclear Information System (INIS)
Okabe, Y.
1985-01-01
The [α,β,γ]-Langevin equation describes the time evolution of a real stationary process with T-positivity (reflection positivity) originating in the axiomatic quantum field theory. For this [α,β,γ]-Langevin equation a generalized fluctuation-dissipation theorem is proved. We shall obtain, as its application, a generalized fluctuation-dissipation theorem for the one-dimensional non-linear diffusion process, which presents one solution of Ryogo Kubo's problem in physics. (orig.)
Generalization of the Bogoliubov-Zubarev Theorem for Dynamic Pressure to the Case of Compressibility
Rudoi, Yu. G.
2018-01-01
We present the motivation, formulation, and modified proof of the Bogoliubov-Zubarev theorem connecting the pressure of a dynamical object with its energy within the framework of a classical description and obtain a generalization of this theorem to the case of dynamical compressibility. In both cases, we introduce the volume of the object into consideration using a singular addition to the Hamiltonian function of the physical object, which allows using the concept of the Bogoliubov quasiaverage explicitly already on a dynamical level of description. We also discuss the relation to the same result known as the Hellmann-Feynman theorem in the framework of the quantum description of a physical object.
General proof of the Greenberger-Horne-Zeilinger theorem
International Nuclear Information System (INIS)
Chen Zeqian
2004-01-01
It is proved that all states of three spin-(1/2) particles exhibiting an 'all versus nothing' contradiction between quantum mechanics and the local realism of Einstein, Podolsky, and Rosen are exactly the Greenberger-Horne-Zeilinger (GHZ) states and the states obtained from them by local unitary transformations. The proof is obtained by showing that there are at most four elements (except for a different sign) in a set of mutually commuting nonlocal spin observables in the three-qubit system and using the certain algebraic properties that Pauli's matrices satisfy. We show that only does such a set of four nonlocal spin observables present a Greenberger-Horne-Zeilinger-Mermin-like argument. This also reveals the equivalence between the GHZ theorem and maximal violation of the Bell inequality
Generalized virial theorem and pressure relation for a strongly correlated Fermi gas
International Nuclear Information System (INIS)
Tan, Shina
2008-01-01
For a two-component Fermi gas in the unitarity limit (i.e., with infinite scattering length), there is a well-known virial theorem, first shown by J.E. Thomas et al. A few people rederived this result, and extended it to few-body systems, but their results are all restricted to the unitarity limit. Here I show that there is a generalized virial theorem for FINITE scattering lengths. I also generalize an exact result concerning the pressure to the case of imbalanced populations
General H-theorem and Entropies that Violate the Second Law
Directory of Open Access Journals (Sweden)
Alexander N. Gorban
2014-04-01
Full Text Available H-theorem states that the entropy production is nonnegative and, therefore, the entropy of a closed system should monotonically change in time. In information processing, the entropy production is positive for random transformation of signals (the information processing lemma. Originally, the H-theorem and the information processing lemma were proved for the classical Boltzmann-Gibbs-Shannon entropy and for the correspondent divergence (the relative entropy. Many new entropies and divergences have been proposed during last decades and for all of them the H-theorem is needed. This note proposes a simple and general criterion to check whether the H-theorem is valid for a convex divergence H and demonstrates that some of the popular divergences obey no H-theorem. We consider systems with n states Ai that obey first order kinetics (master equation. A convex function H is a Lyapunov function for all master equations with given equilibrium if and only if its conditional minima properly describe the equilibria of pair transitions Ai ⇌ Aj . This theorem does not depend on the principle of detailed balance and is valid for general Markov kinetics. Elementary analysis of pair equilibria demonstrate that the popular Bregman divergences like Euclidian distance or Itakura-Saito distance in the space of distribution cannot be the universal Lyapunov functions for the first-order kinetics and can increase in Markov processes. Therefore, they violate the second law and the information processing lemma. In particular, for these measures of information (divergences random manipulation with data may add information to data. The main results are extended to nonlinear generalized mass action law kinetic equations.
On a Theorem of Khan in a Generalized Metric Space
Directory of Open Access Journals (Sweden)
Jamshaid Ahmad
2013-01-01
Full Text Available Existence and uniqueness of fixed points are established for a mapping satisfying a contractive condition involving a rational expression on a generalized metric space. Several particular cases and applications as well as some illustrative examples are given.
Algorithm/Architecture Co-design of the Generalized Sampling Theorem Based De-Interlacer.
Beric, A.; Haan, de G.; Sethuraman, R.; Meerbergen, van J.
2005-01-01
De-interlacing is a major determinant of image quality in a modern display processing chain. The de-interlacing method based on the generalized sampling theorem (GST)applied to motion estimation and motion compensation provides the best de-interlacing results. With HDTV interlaced input material
Generalized fixed point theorems for compatible mappings with some types in fuzzy metric spaces
International Nuclear Information System (INIS)
Cho, Yeol Je; Sedghi, Shaban; Shobe, Nabi
2009-01-01
In this paper, we give some new definitions of compatible mappings of types (I) and (II) in fuzzy metric spaces and prove some common fixed point theorems for four mappings under the condition of compatible mappings of types (I) and (II) in complete fuzzy metric spaces. Our results extend, generalize and improve the corresponding results given by many authors.
The spectral method and the central limit theorem for general Markov chains
Nagaev, S. V.
2017-12-01
We consider Markov chains with an arbitrary phase space and develop a modification of the spectral method that enables us to prove the central limit theorem (CLT) for non-uniformly ergodic Markov chains. The conditions imposed on the transition function are more general than those by Athreya-Ney and Nummelin. Our proof of the CLT is purely analytical.
Simultaneous Generalizations of the Theorems of Ceva and Menelaus for Field Planes
Houston, Kelly B.; Powers, Robert C.
2009-01-01
In 1992, Klamkin and Liu proved a very general result in the Extended Euclidean Plane that contains the theorems of Ceva and Menelaus as special cases. In this article, we extend the Klamkin and Liu result to projective planes "PG"(2, F) where F is a field. (Contains 2 figures.)
A general shakedown theorem for elastic/plastic bodies with work hardening
International Nuclear Information System (INIS)
Ponter, A.R.S.
1975-01-01
In recent years the design of metallic structures under variable loading has been assisted by the application of Melan's lower bound theorem for the shakedown on an elastic/perfectly plastic structure. The design codes for both portal frames and pressure vessels have taken account of such calculations. The theory of shakedown suffers from two defects, geometry changes are ignored and the material behaviour is described by a perfectly plastic constitutive relationship which includes neither work hardening nor the Bauschinger effect. This paper is concerned with the latter problem. A very general lower bound shakedown theorem is derived for an arbitrary time-independent material in terms of functional properties of the constitutive relationship. The theorem is then applied to perfect, isotropic and kinematic hardening plasticity. (Auth.)
A Generalization of the Euler-Fermat Theorem
Harger, Robert T.; Harvey, Melinda E.
2003-01-01
This note considers the problem of determining, for fixed k and m, all values of r, 0 [less than] r [less than] [empty set](m), such that k[superscript [empty set](m)+1] [equivalent to] k[superscript r](mod m). More generally, if k, m and c are given, necessary and sufficient conditions are given for k[superscript c] [equivalent to] k[superscript…
The s-Ordered Fock Space Projectors Gained by the General Ordering Theorem
International Nuclear Information System (INIS)
Shähandeh Farid; Bazrafkan Mohammad Reza; Ashrafi Mahmoud
2012-01-01
Employing the general ordering theorem (GOT), operational methods and incomplete 2-D Hermite polynomials, we derive the t-ordered expansion of Fock space projectors. Using the result, the general ordered form of the coherent state projectors is obtained. This indeed gives a new integration formula regarding incomplete 2-D Hermite polynomials. In addition, the orthogonality relation of the incomplete 2-D Hermite polynomials is derived to resolve Dattoli's failure
Fan, Hong-yi; Xu, Xue-xiang
2009-06-01
By virtue of the generalized Hellmann-Feynman theorem [H. Y. Fan and B. Z. Chen, Phys. Lett. A 203, 95 (1995)], we derive the mean energy of some interacting bosonic systems for some Hamiltonian models without proceeding with diagonalizing the Hamiltonians. Our work extends the field of applications of the Hellmann-Feynman theorem and may enrich the theory of quantum statistics.
A simple proof of the recent generalizations of Hawking's black hole topology theorem
Energy Technology Data Exchange (ETDEWEB)
Racz, Istvan [RMKI, H-1121 Budapest, Konkoly Thege Miklos ut 29-33 (Hungary)], E-mail: iracz@sunserv.kfki.hu
2008-08-21
A key result in four-dimensional black hole physics, since the early 1970s, is Hawking's topology theorem assertion that the cross-sections of an 'apparent horizon', separating the black hole region from the rest of the spacetime, are topologically 2-spheres. Later, during the 1990s, by applying a variant of Hawking's argument, Gibbons and Woolgar could also show the existence of a genus-dependent lower bound for the entropy of topological black holes with negative cosmological constant. Recently, Hawking's black hole topology theorem, along with the results of Gibbons and Woolgar, has been generalized to the case of black holes in higher dimensions. Our aim here is to give a simple self-contained proof of these generalizations, which also makes their range of applicability transparent. (fast track communication)
Dong, Yao-Jun; Belabbes, Abderrezak; Manchon, Aurelien
2017-01-01
Dzyaloshinskii-Moriya interaction (DMI) at Pt/Co interfaces is investigated theoretically using two different first principles methods. The first one uses the constrained moment method to build a spin spiral in real space, while the second method uses the generalized Bloch theorem approach to construct a spin spiral in reciprocal space. We show that although the two methods produce an overall similar total DMI energy, the dependence of DMI as a function of the spin spiral wavelength is dramatically different. We suggest that long-range magnetic interactions, that determine itinerant magnetism in transition metals, are responsible for this discrepancy. We conclude that the generalized Bloch theorem approach is more adapted to model DMI in transition metal systems, where magnetism is delocalized, while the constrained moment approach is mostly applicable to weak or insulating magnets, where magnetism is localized.
Dong, Yao-Jun
2017-10-29
Dzyaloshinskii-Moriya interaction (DMI) at Pt/Co interfaces is investigated theoretically using two different first principles methods. The first one uses the constrained moment method to build a spin spiral in real space, while the second method uses the generalized Bloch theorem approach to construct a spin spiral in reciprocal space. We show that although the two methods produce an overall similar total DMI energy, the dependence of DMI as a function of the spin spiral wavelength is dramatically different. We suggest that long-range magnetic interactions, that determine itinerant magnetism in transition metals, are responsible for this discrepancy. We conclude that the generalized Bloch theorem approach is more adapted to model DMI in transition metal systems, where magnetism is delocalized, while the constrained moment approach is mostly applicable to weak or insulating magnets, where magnetism is localized.
International Nuclear Information System (INIS)
Mookerjee, A.; Prasad, R.
1993-09-01
We present a method for calculating the electronic structure of disordered alloys with short range order (SRO) which guarantees positive density of states for all values of the SRO parameter. The method is based on the generalized augmented space theorem which is valid for alloys with SRO. This theorem is applied to alloys with SRO in the tight-binding linear muffin-tin orbital (TB-LMTO) framework. This is done by using the augmented space formulation of Mookerjee and cluster coherent potential approximation. As an illustration, the method is applied to a single band mode TB-LMTO Hamiltonian. We find that the SRO can induce substantial changes in the density of states. (author). 22 refs, 2 figs
International Nuclear Information System (INIS)
Ovchinnikov, V I
2014-01-01
In the paper, a new description of the generalized Lions-Peetre method of means is found, which enables one to evaluate the interpolation orbits of spaces constructed by this method. The list of these spaces includes all Lorentz spaces with functional parameters, Orlicz spaces, and spaces close to them. This leads in turn to new optimal embedding theorems for Sobolev spaces produced using the Lions-Peetre construction in rearrangement invariant spaces. It turns out that the optimal space of the embedding is also a generalized Lions-Peetre space whose parameters are explicitly evaluated. Bibliography: 18 titles
A general shakedown theorem for elastic/plastic bodies with work hardening
International Nuclear Information System (INIS)
Ponter, A.R.S.
1975-01-01
In recent years the design of metallic structures under variable loading has been assisted by the application of Melan's lower bound theorem for the shakedown of an elastic/perfectly plastic structure. The design codes for both portal frames and pressure vessels have taken account of such calculations. The theory of shakedown suffers from two defects, geometry changes are ignored and the material behavior is described by a perfectly plastic constitutive relationship which includes neither work hardening nor the Bauschinger effect. This paper is concerned with the latter problem. A very general lower bound shakedown theorem for an arbitrary time-independent material in terms of functional properties of the constitutive relationship is derived. The theorem is then applied to perfect, isotropic and kinematic hardening plasticity. It is shown that the result for all three constitutive relationships may be related to each other through certain extremal stress histories. As well as providing a sufficient condition for shakedown, the theory also provides bounds of the deflection of the structure in the process of reaching the shakedown state. The bounds are discussed and derived for two simple beam problems. Both static and dynamic problems are considered. The theory derived in this paper demonstrates that shakedown analysis may be extended to a wide range of material behavior without increasing the complexity of the resulting calculation
Institute of Scientific and Technical Information of China (English)
G.Ya(n)ez-Navarro; Guo-Hua Sun; Dong-Sheng Sun; Chang-Yuan Chen; Shi-Hai Dong
2017-01-01
A few important integrals involving the product of two universal associated Legendre polynomials Pl'm'(x),Pk'n'(x) and x2a(1-x2)-p-1,xb(1 ±x)-p-1 and xc(1-x2)-p-1 (1 ±-x) are evaluated using the operator form of Taylor's theorem and an integral over a single universal associated Legendre polynomial.These integrals are more general since the quantum numbers are unequal,i.e.l'≠ k'and m'≠ n'.Their selection rules are also given.We also verify the correctness of those integral formulas numerically.
A Bidirectional Generalized Synchronization Theorem-Based Chaotic Pseudo-random Number Generator
Directory of Open Access Journals (Sweden)
Han Shuangshuang
2013-07-01
Full Text Available Based on a bidirectional generalized synchronization theorem for discrete chaos system, this paper introduces a new 5-dimensional bidirectional generalized chaos synchronization system (BGCSDS, whose prototype is a novel chaotic system introduced in [12]. Numerical simulation showed that two pair variables of the BGCSDS achieve generalized chaos synchronization via a transform H.A chaos-based pseudo-random number generator (CPNG was designed by the new BGCSDS. Using the FIPS-140-2 tests issued by the National Institute of Standard and Technology (NIST verified the randomness of the 1000 binary number sequences generated via the CPNG and the RC4 algorithm respectively. The results showed that all the tested sequences passed the FIPS-140-2 tests. The confidence interval analysis showed the statistical properties of the randomness of the sequences generated via the CPNG and the RC4 algorithm do not have significant differences.
Positive energy theorem in generalized Kaluza-Klein theories of higher dimensions
International Nuclear Information System (INIS)
Moreschi, O.M.
1983-01-01
The technique of using spinors in the proof of positive energy theorems in 4 dimensions is extended to the case of Kaluza-Klein theories in spaces of 4 + n dimensions. First a useful presentation of generalized Kaluza-Klein theories is introduced, in which just from the observation of conformal symmetries it is possible to detect a nice splitting of the Ricci tensor into a 4-dimensional Ricci part and a Yang-Mills part, among others. Consideration of linear dependence among the symmetries is not excluded in this treatment. Relevant to the introduction of spinors, a discussion of Clifford Algebras is presented. In particular a real representation of these algebras is introduced for spaces of higher dimensions and its structure is analyzed. The Lie derivative of spinors is presented probably more clearly than in former treatments. After the introduction of these preliminary themes, a brief review of the relevant aspects of positive energy theorems in 4 dimensions is presented, followed by the extension of these ideas to the case of 5 dimensions. Here an earlier result involving gravitational mass and electromagnetic charges is improved. Finally the results are generalized to spaces of 4 + n dimensions, and a more complicated condition to be satisfied by the usual matter tensor is discovered. This procedure leads to a natural definition of invariant Yang-Mills charges, which is compared with former studies
International Nuclear Information System (INIS)
Manoukian, E.B.
1986-01-01
We prove the following elementary theorem. If diameter 1 ,...,diametersub(N) is a sequence of fields having identical, though arbitrary, interactions but not interacting with each other and =0, i=1,...,N, then the generating functional of the ''average'' field diametersup((N))=(diameter 1 +...+diametersub((N))/√N, for N->infinite, may be explicitly obtained and may be written in terms of the two-point function of any of the fields diametersub(i). The theorem is then applied to define generalized parton fields PSIsub(j)=Σsup(N)sub(i)=1 PSIij/√N as ''averages'' of basic fields PSIsub(ij) having arbitrary interactions but not interacting with each other. We show that in the limit N->infinite Bjorken scaling, as observed at energies not too high, may be obtained if only quanta associated with generalized parton fields are excited in the hadron by the virtual photon with no reference to the details of the underlying dynamics. For N< infinite, and the excitation of other quanta as well lead to a systematic breaking of scale invariance and the details of the dynamics are necessarily recovered which are expected to be applicable at higher energy regimes. (orig.)
International Nuclear Information System (INIS)
Csavinszky, P.
1990-01-01
In a recent work, March has considered the quantum-mechanical system of an arbitrary number of closed electronic shells around an atomic nucleus of charge Z a e. March has assumed that the shells are filled by noninteracting electrons, moving in the bare Coulomb potential energy of V(r) = -Z a e 2 /r. In this framework, the basic quantity is the total electron (number) density ρ(r), built by summing the (number) density ρ n (r) of the nth closed electronic shell over the principal quantum number n. March has shown that Kato's theorem, (∂ρ(r)/∂r) r=0 = -(2Z a /a 0 )ρ (r = 0), with a 0 = ℎ 2 /me 2 , is amenable to a spatially dependent generalization that can be expressed by ∂ρ(r)/∂r = -(2Z a /a 0 )ρ s (r), where ρ s (r) is the s-state contribution from the n closed electronic shells to ρ(r). The present work investigates the spatially dependent generalization of Kato's theorem for the Ne atom by making use of a variational density-functional approach and adopting several expressions for the kinetic-energy functional of the electrons. The intriguing question of identifying the best kinetic-energy functional is raised and discussed
Energy Technology Data Exchange (ETDEWEB)
Toh, K.C.; Trefethen, L.N. [Cornell Univ., Ithaca, NY (United States)
1994-12-31
What properties of a nonsymmetric matrix A determine the convergence rate of iterations such as GMRES, QMR, and Arnoldi? If A is far from normal, should one replace the usual Ritz values {r_arrow} eigenvalues notion of convergence of Arnoldi by alternative notions such as Arnoldi lemniscates {r_arrow} pseudospectra? Since Krylov subspace iterations can be interpreted as minimization processes involving polynomials of matrices, the answers to questions such as these depend upon mathematical problems of the following kind. Given a polynomial p(z), how can one bound the norm of p(A) in terms of (1) the size of p(z) on various sets in the complex plane, and (2) the locations of the spectrum and pseudospectra of A? This talk reports some progress towards solving these problems. In particular, the authors present theorems that generalize the Kreiss matrix theorem from the unit disk (for the monomial A{sup n}) to a class of general complex domains (for polynomials p(A)).
International Nuclear Information System (INIS)
Ma Zhongqi
2006-01-01
The Levinson theorem is a fundamental theorem in quantum scattering theory, which shows the relation between the number of bound states and the phase shift at zero momentum for the Schroedinger equation. The Levinson theorem was established and developed mainly with the Jost function, with the Green function and with the Sturm-Liouville theorem. In this review, we compare three methods of proof, study the conditions of the potential for the Levinson theorem and generalize it to the Dirac equation. The method with the Sturm-Liouville theorem is explained in some detail. References to development and application of the Levinson theorem are introduced. (topical review)
Fluctuation-dissipation theorem in general relativity and the cosmological constant
International Nuclear Information System (INIS)
Mottola, E.
1992-01-01
Vacuum fluctuations are an essential feature of quantum field theory. Yet, the smallness of the scalar curvature of our universe suggests that the zero-point energy associated with these fluctuations does not curve spacetime. A possible way out of this paradox is suggested by the fact that microscopic fluctuations are generally accompanied by dissipative behavior in macroscopic systems. The intimate relation between the two is expressed by a fluctuation-dissipation theorem which extends to general relativity. The connection between quantum fluctuations and dissipation suggests a mechanism for the conversion of coherent stresses in the curvature of space into ordinary matter or radiation, thereby relaxing the effective cosmological ''constant'' to zero over time. The expansion of the universe may be the effect of this time-asymmetric relaxation process
Cancellation of spurious arrivals in Green's function extraction and the generalized optical theorem
Snieder, R.; Van Wijk, K.; Haney, M.; Calvert, R.
2008-01-01
The extraction of the Green's function by cross correlation of waves recorded at two receivers nowadays finds much application. We show that for an arbitrary small scatterer, the cross terms of scattered waves give an unphysical wave with an arrival time that is independent of the source position. This constitutes an apparent inconsistency because theory predicts that such spurious arrivals do not arise, after integration over a complete source aperture. This puzzling inconsistency can be resolved for an arbitrary scatterer by integrating the contribution of all sources in the stationary phase approximation to show that the stationary phase contributions to the source integral cancel the spurious arrival by virtue of the generalized optical theorem. This work constitutes an alternative derivation of this theorem. When the source aperture is incomplete, the spurious arrival is not canceled and could be misinterpreted to be part of the Green's function. We give an example of how spurious arrivals provide information about the medium complementary to that given by the direct and scattered waves; the spurious waves can thus potentially be used to better constrain the medium. ?? 2008 The American Physical Society.
Local BRST cohomology in the antifield formalism. Pt. 1. General theorems
Energy Technology Data Exchange (ETDEWEB)
Barnich, G [Universite Libre de Bruxelles (Belgium). Faculte des Sciences; Henneaux, M [Universite Libre de Bruxelles (Belgium). Faculte des Sciences; Brandt, F [Nationaal Inst. voor Kernfysica en Hoge-Energiefysica (NIKHEF), Amsterdam (Netherlands). Sectie H
1994-12-31
We establish general theorems on the cohomology H{sup *}(svertical stroke d) of the BRST differential modulo the spacetime exterior derivative, acting in the algebra of local p-forms depending on the fields and the antifields (= sources for the BRST variations). It is shown that H{sup -k}(svertical stroke d) is isomorphic H{sub k}({delta}vertical stroke d) in negative ghost degree -k (k > 0), where {delta} is the Koszul-Tate differential associated with the stationary surface. The cohomological group H{sub 1}({delta}vertical stroke d) in form degree n is proved to be isomorphic to the space of constants of the motion, thereby providing a cohomological reformulation of Noether theorem. More generally, the group H{sub k}({delta}vertical stroke d) in form degree n is isomorphic to the space of n - k forms that are closed when the equations of motion hold. The groups H{sub k}({delta}vertical stroke d) (k > 2) are shown to vanish for standard irreducible gauge theories. The group H{sub 2}({delta}vertical stroke d) is then calculated explicitly for electromagnetism, Yang-Mills models and Einstein gravity. The invariance of the groups H{sup k}(svertical stroke d) under the introduction of non minimal variables and of auxiliary fields is also demonstrated. In a companion paper, the general formalism is applied to the calculation of H{sup k}(svertical stroke d) in Yang-Mills theory, which is carried out in detail for an arbitrary compact gauge group. (orig.).
International Nuclear Information System (INIS)
Zhang, Xiaoguang; Varga, Kalman; Pantelides, Sokrates T
2007-01-01
Band-theoretic methods with periodically repeated supercells have been a powerful approach for ground-state electronic structure calculations, but have not so far been adapted for quantum transport problems with open boundary conditions. Here we introduce a generalized Bloch theorem for complex periodic potentials and use a transfer-matrix formulation to cast the transmission probability in a scattering problem with open boundary conditions in terms of the complex wave vectors of a periodic system with absorbing layers, allowing a band technique for quantum transport calculations. The accuracy and utility of the method is demonstrated by the model problems of the transmission of an electron over a square barrier and the scattering of a phonon in an inhomogeneous nanowire. Application to the resistance of a twin boundary in nanocrystalline copper yields excellent agreement with recent experimental data
International Nuclear Information System (INIS)
Ton-That, Tuong
2005-01-01
In a previous paper we gave a generalization of the notion of Casimir invariant differential operators for the infinite-dimensional Lie groups GL ∞ (C) (or equivalently, for its Lie algebra gj ∞ (C)). In this paper we give a generalization of the Casimir invariant differential operators for a class of infinite-dimensional Lie groups (or equivalently, for their Lie algebras) which contains the infinite-dimensional complex classical groups. These infinite-dimensional Lie groups, and their Lie algebras, are inductive limits of finite-dimensional Lie groups, and their Lie algebras, with some additional properties. These groups or their Lie algebras act via the generalized adjoint representations on projective limits of certain chains of vector spaces of universal enveloping algebras. Then the generalized Casimir operators are the invariants of the generalized adjoint representations. In order to be able to explicitly compute the Casimir operators one needs a basis for the universal enveloping algebra of a Lie algebra. The Poincare-Birkhoff-Witt (PBW) theorem gives an explicit construction of such a basis. Thus in the first part of this paper we give a generalization of the PBW theorem for inductive limits of Lie algebras. In the last part of this paper a generalization of the very important theorem in representation theory, namely the Chevalley-Racah theorem, is also discussed
A survey of weighted substitution operators and generalizations of Banach-stone theorem
R. K. Singh
2005-01-01
The classical Banach-Stone theorem characterizes linear surjective isometries between C(K)-spaces. The main aim of this paper is to present a survey of Banach-Stone-theorem-type results between some function spaces. The weighted substitution operators play an important role in characterization of isometries, disjointness preserving operators, and lattice homomorphisms. Some open problems are given for further investigation.
Carozzi, T. D.; Woan, G.
2009-05-01
We derive a generalized van Cittert-Zernike (vC-Z) theorem for radio astronomy that is valid for partially polarized sources over an arbitrarily wide field of view (FoV). The classical vC-Z theorem is the theoretical foundation of radio astronomical interferometry, and its application is the basis of interferometric imaging. Existing generalized vC-Z theorems in radio astronomy assume, however, either paraxiality (narrow FoV) or scalar (unpolarized) sources. Our theorem uses neither of these assumptions, which are seldom fulfiled in practice in radio astronomy, and treats the full electromagnetic field. To handle wide, partially polarized fields, we extend the two-dimensional (2D) electric field (Jones vector) formalism of the standard `Measurement Equation' (ME) of radio astronomical interferometry to the full three-dimensional (3D) formalism developed in optical coherence theory. The resulting vC-Z theorem enables full-sky imaging in a single telescope pointing, and imaging based not only on standard dual-polarized interferometers (that measure 2D electric fields) but also electric tripoles and electromagnetic vector-sensor interferometers. We show that the standard 2D ME is easily obtained from our formalism in the case of dual-polarized antenna element interferometers. We also exploit an extended 2D ME to determine that dual-polarized interferometers can have polarimetric aberrations at the edges of a wide FoV. Our vC-Z theorem is particularly relevant to proposed, and recently developed, wide FoV interferometers such as Low Frequency Array (LOFAR) and Square Kilometer Array (SKA), for which direction-dependent effects will be important.
A Generalized Stability Theorem for Discrete-Time Nonautonomous Chaos System with Applications
Directory of Open Access Journals (Sweden)
Mei Zhang
2015-01-01
Full Text Available Firstly, this study introduces a definition of generalized stability (GST in discrete-time nonautonomous chaos system (DNCS, which is an extension for chaos generalized synchronization. Secondly, a constructive theorem of DNCS has been proposed. As an example, a GST DNCS is constructed based on a novel 4-dimensional discrete chaotic map. Numerical simulations show that the dynamic behaviors of this map have chaotic attractor characteristics. As one application, we design a chaotic pseudorandom number generator (CPRNG based on the GST DNCS. We use the SP800-22 test suite to test the randomness of four 100-key streams consisting of 1,000,000 bits generated by the CPRNG, the RC4 algorithm, the ZUC algorithm, and a 6-dimensional CGS-based CPRNG, respectively. The numerical results show that the randomness performances of the two CPRNGs are promising. In addition, theoretically the key space of the CPRNG is larger than 21116. As another application, this study designs a stream avalanche encryption scheme (SAES in RGB image encryption. The results show that the GST DNCS is able to generate the avalanche effects which are similar to those generated via ideal CPRNGs.
Mitri, Farid
2014-11-01
The generalized theory of resonance scattering (GTRS) by an elastic spherical target in acoustics is extended to describe the arbitrary scattering of a finite beam using the addition theorem for the spherical wave functions of the first kind under a translation of the coordinate origin. The advantage of the proposed method over the standard discrete spherical harmonics transform previously used in the GTRS formalism is the computation of the off-axial beam-shape coefficients (BSCs) stemming from a closed-form partial-wave series expansion representing the axial BSCs in spherical coordinates. With this general method, the arbitrary acoustical scattering can be evaluated for any particle shape and size, whether the particle is partially or completely illuminated by the incident beam. Numerical examples for the axial and off-axial resonance scattering from an elastic sphere placed arbitrarily in the field of a finite circular piston transducer with uniform vibration are provided. Moreover, the 3-D resonance directivity patterns illustrate the theory and reveal some properties of the scattering. Numerous applications involving the scattering phenomenon in imaging, particle manipulation, and the characterization of multiphase flows can benefit from the present analysis because all physically realizable beams radiate acoustical waves from finite transducers as opposed to waves of infinite extent.
Energy Technology Data Exchange (ETDEWEB)
Yang, Xiuping, E-mail: yangxiuping-1990@163.com; Min, Lequan, E-mail: minlequan@sina.com; Wang, Xue, E-mail: wangxue-20130818@163.com [Schools of Mathematics and Physics, University of Science and Technology Beijing, Beijing 100083 (China)
2015-05-15
This paper sets up a chaos criterion theorem on a kind of cubic polynomial discrete maps. Using this theorem, Zhou-Song's chaos criterion theorem on quadratic polynomial discrete maps and generalized synchronization (GS) theorem construct an eight-dimensional chaotic GS system. Numerical simulations have been carried out to verify the effectiveness of theoretical results. The chaotic GS system is used to design a chaos-based pseudorandom number generator (CPRNG). Using FIPS 140-2 test suit/Generalized FIPS 140-2, test suit tests the randomness of two 1000 key streams consisting of 20 000 bits generated by the CPRNG, respectively. The results show that there are 99.9%/98.5% key streams to have passed the FIPS 140-2 test suit/Generalized FIPS 140-2 test. Numerical simulations show that the different keystreams have an average 50.001% same codes. The key space of the CPRNG is larger than 2{sup 1345}. As an application of the CPRNG, this study gives an image encryption example. Experimental results show that the linear coefficients between the plaintext and the ciphertext and the decrypted ciphertexts via the 100 key streams with perturbed keys are less than 0.00428. The result suggests that the decrypted texts via the keystreams generated via perturbed keys of the CPRNG are almost completely independent on the original image text, and brute attacks are needed to break the cryptographic system.
Yang, Xiuping; Min, Lequan; Wang, Xue
2015-05-01
This paper sets up a chaos criterion theorem on a kind of cubic polynomial discrete maps. Using this theorem, Zhou-Song's chaos criterion theorem on quadratic polynomial discrete maps and generalized synchronization (GS) theorem construct an eight-dimensional chaotic GS system. Numerical simulations have been carried out to verify the effectiveness of theoretical results. The chaotic GS system is used to design a chaos-based pseudorandom number generator (CPRNG). Using FIPS 140-2 test suit/Generalized FIPS 140-2, test suit tests the randomness of two 1000 key streams consisting of 20 000 bits generated by the CPRNG, respectively. The results show that there are 99.9%/98.5% key streams to have passed the FIPS 140-2 test suit/Generalized FIPS 140-2 test. Numerical simulations show that the different keystreams have an average 50.001% same codes. The key space of the CPRNG is larger than 2(1345). As an application of the CPRNG, this study gives an image encryption example. Experimental results show that the linear coefficients between the plaintext and the ciphertext and the decrypted ciphertexts via the 100 key streams with perturbed keys are less than 0.00428. The result suggests that the decrypted texts via the keystreams generated via perturbed keys of the CPRNG are almost completely independent on the original image text, and brute attacks are needed to break the cryptographic system.
Kerr-de Sitter spacetime, Penrose process, and the generalized area theorem
Bhattacharya, Sourav
2018-04-01
We investigate various aspects of energy extraction via the Penrose process in the Kerr-de Sitter spacetime. We show that the increase in the value of a positive cosmological constant, Λ , always reduces the efficiency of this process. The Kerr-de Sitter spacetime has two ergospheres associated with the black hole and the cosmological event horizons. We prove by analyzing turning points of the trajectory that the Penrose process in the cosmological ergoregion is never possible. We next show that in this process both the black hole and cosmological event horizons' areas increase, and the latter becomes possible when the particle coming from the black hole ergoregion escapes through the cosmological event horizon. We identify a new, local mass function instead of the mass parameter, to prove this generalized area theorem. This mass function takes care of the local spacetime energy due to the cosmological constant as well, including that which arises due to the frame-dragging effect due to spacetime rotation. While the current observed value of Λ is quite small, its effect in this process could be considerable in the early Universe scenario where its value is much larger, where the two horizons could have comparable sizes. In particular, the various results we obtain here are also evaluated in a triply degenerate limit of the Kerr-de Sitter spacetime we find, in which radial values of the inner, the black hole and the cosmological event horizons are nearly coincident.
Extensions of the stability theorem of the Minkowski space in general relativity
Bieri, Lydia
2009-01-01
A famous result of Christodoulou and Klainerman is the global nonlinear stability of Minkowski spacetime. In this book, Bieri and Zipser provide two extensions to this result. In the first part, Bieri solves the Cauchy problem for the Einstein vacuum equations with more general, asymptotically flat initial data, and describes precisely the asymptotic behavior. In particular, she assumes less decay in the power of r and one less derivative than in the Christodoulou-Klainerman result. She proves that in this case, too, the initial data, being globally close to the trivial data, yields a solution which is a complete spacetime, tending to the Minkowski spacetime at infinity along any geodesic. In contrast to the original situation, certain estimates in this proof are borderline in view of decay, indicating that the conditions in the main theorem on the decay at infinity on the initial data are sharp. In the second part, Zipser proves the existence of smooth, global solutions to the Einstein-Maxwell equations. A n...
International Nuclear Information System (INIS)
Oosten, A.B. van; Geertsma, W.
1985-01-01
In order to study density of states (DOS) effects on the resistivity of liquid metals and alloys we derive a set of integral equations for these quantities so that this set satisfies the generalized optical theorem. The DOS is calculated up to second order in the scattering potential using renormalized propagators. The theory is applicable to weak scattering systems, for example, alkali and alkaline earth metals and, for example, to Li-Pb alloys for compositions where the mean free path is much larger that the average interatomic distance. From our numerical results we conclude that the Ziman equation for the resistivity should be multiplied by g 2 =N 2 (Esub(F))/N 2 sub(O)(Esub(F)) where N(Esub(F)) is the DOS at the Fermi level as calculated in our model and Nsub(O)(Esub(F)) is the free electron DOS. This solves the long standing problem of whether or not one should correct the Ziman equation by an effective mass correction. Our model is only valid for alloys consisting of atoms with a small difference in electronegativity. This is clearly shown in the results for the liquid Li-Pb system. Some of the existing resistivity theories for weak and intermediate scattering are examined in the light of our calculations. (author)
International Nuclear Information System (INIS)
Verley, Gatien; Lacoste, David; Chétrite, Raphaël
2011-01-01
In this paper, we present a general derivation of a modified fluctuation-dissipation theorem (MFDT) valid near an arbitrary non-stationary state for a system obeying Markovian dynamics. We show that the method for deriving modified fluctuation-dissipation theorems near non-equilibrium stationary states used by Prost et al (2009 Phys. Rev. Lett. 103 090601) is generalizable to non-stationary states. This result follows from both standard linear response theory and from a transient fluctuation theorem, analogous to the Hatano–Sasa relation. We show that this modified fluctuation-dissipation theorem can be interpreted at the trajectory level using the notion of stochastic trajectory entropy, in a way which is similar to what has been done recently in the case of the MFDT near non-equilibrium steady states (NESS). We illustrate this framework with two solvable examples: the first example corresponds to a Brownian particle in a harmonic trap subjected to a quench of temperature and to a time-dependent stiffness; the second example is a classic model of coarsening systems, namely the 1D Ising model with Glauber dynamics
Fermat's Last Theorem A Theorem at Last!
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 1; Issue 1. Fermat's Last Theorem A Theorem at Last! C S Yogananda. General Article Volume 1 Issue 1 January 1996 pp 71-79. Fulltext. Click here to view fulltext PDF. Permanent link: https://www.ias.ac.in/article/fulltext/reso/001/01/0071-0079 ...
Energy Technology Data Exchange (ETDEWEB)
Logunov, A A; Medvedev, B V; Mestvirishvili, M A; Pavlov, V P; Polivanov, M K; Sukhanov, A D [Gosudarstvennyj Komitet po Ispol' zovaniyu Atomnoj Ehnergii SSSR, Serpukhov. Inst. Fiziki Vysokikh Ehnergij
1977-11-01
Investigation of analytical structure of the three-particle forward scattering amplitude with respect to energy variable of one of particles is performed. The results obtained make it possible to draw the conclusions on crossing properties of the amplitude and to derive the generalized optical theorem relating the discontinuity of the amplitude to the distribution function of an inclusive process. For a special case when two of three particles are of zero mass, a dispersion relation is proved.
Generalized virial theorem for the Liénard-type systems
Indian Academy of Sciences (India)
for second-order differential equations of the Liénard type. The explicit ... Keywords. Virial theorem; Liénard-type equation; Jacobi last multiplier; symplectic form; Banach manifold. ..... 3.1 Application to Gierer–Meinhardt system ..... financial support by the research projects MTMÐ2012/33575 (MINECO, Madrid) and.
Hirata, So; Doran, Alexander E; Knowles, Peter J; Ortiz, J V
2017-07-28
A thorough analytical and numerical characterization of the whole perturbation series of one-particle many-body Green's function (MBGF) theory is presented in a pedagogical manner. Three distinct but equivalent algebraic (first-quantized) recursive definitions of the perturbation series of the Green's function are derived, which can be combined with the well-known recursion for the self-energy. Six general-order algorithms of MBGF are developed, each implementing one of the three recursions, the ΔMPn method (where n is the perturbation order) [S. Hirata et al., J. Chem. Theory Comput. 11, 1595 (2015)], the automatic generation and interpretation of diagrams, or the numerical differentiation of the exact Green's function with a perturbation-scaled Hamiltonian. They all display the identical, nondivergent perturbation series except ΔMPn, which agrees with MBGF in the diagonal and frequency-independent approximations at 1≤n≤3 but converges at the full-configuration-interaction (FCI) limit at n=∞ (unless it diverges). Numerical data of the perturbation series are presented for Koopmans and non-Koopmans states to quantify the rate of convergence towards the FCI limit and the impact of the diagonal, frequency-independent, or ΔMPn approximation. The diagrammatic linkedness and thus size-consistency of the one-particle Green's function and self-energy are demonstrated at any perturbation order on the basis of the algebraic recursions in an entirely time-independent (frequency-domain) framework. The trimming of external lines in a one-particle Green's function to expose a self-energy diagram and the removal of reducible diagrams are also justified mathematically using the factorization theorem of Frantz and Mills. Equivalence of ΔMPn and MBGF in the diagonal and frequency-independent approximations at 1≤n≤3 is algebraically proven, also ascribing the differences at n = 4 to the so-called semi-reducible and linked-disconnected diagrams.
A Quantum Mermin-Wagner Theorem for a Generalized Hubbard Model
Directory of Open Access Journals (Sweden)
Mark Kelbert
2013-01-01
Full Text Available This paper is the second in a series of papers considering symmetry properties of bosonic quantum systems over 2D graphs, with continuous spins, in the spirit of the Mermin-Wagner theorem. In the model considered here the phase space of a single spin is ℋ1=L2(M, where M is a d-dimensional unit torus M=ℝd/ℤd with a flat metric. The phase space of k spins is ℋk=L2sym(Mk, the subspace of L2(Mk formed by functions symmetric under the permutations of the arguments. The Fock space H=⊕k=0,1,…ℋk yields the phase space of a system of a varying (but finite number of particles. We associate a space H≃H(i with each vertex i∈Γ of a graph (Γ,ℰ satisfying a special bidimensionality property. (Physically, vertex i represents a heavy “atom” or “ion” that does not move but attracts a number of “light” particles. The kinetic energy part of the Hamiltonian includes (i -Δ/2, the minus a half of the Laplace operator on M, responsible for the motion of a particle while “trapped” by a given atom, and (ii an integral term describing possible “jumps” where a particle may join another atom. The potential part is an operator of multiplication by a function (the potential energy of a classical configuration which is a sum of (a one-body potentials U(1(x, x∈M, describing a field generated by a heavy atom, (b two-body potentials U(2(x,y, x,y∈M, showing the interaction between pairs of particles belonging to the same atom, and (c two-body potentials V(x,y, x,y∈M, scaled along the graph distance d(i,j between vertices i,j∈Γ, which gives the interaction between particles belonging to different atoms. The system under consideration can be considered as a generalized (bosonic Hubbard model. We assume that a connected Lie group G acts on M, represented by a Euclidean space or torus of dimension d'≤d, preserving the metric and the volume in M. Furthermore, we suppose that the potentials U(1, U(2, and V are G-invariant. The result
Wind energy: an application of Bernoulli's theorem generalized to isentropic flow of ideal gases
International Nuclear Information System (INIS)
De Luca, R; Desideri, P
2013-01-01
By considering the extension of Bernoulli's theorem to the case of the isentropic flow of ideal gases we conceive a small-scale wind–energy system able to work in the presence of low wind velocities in any direction. The flow of air inside a hyperbolically shaped pipe is studied using elementary physics concepts. The results obtained show that wind velocity in the system increases for decreasing cross-sectional areas, allowing a lower cut-in wind speed and an increase in the annual energy production of the device. (paper)
Birkhoff’s theorem in Lovelock gravity for general base manifolds
Ray, Sourya
2015-10-01
We extend the Birkhoff’s theorem in Lovelock gravity for arbitrary base manifolds using an elementary method. In particular, it is shown that any solution of the form of a warped product of a two-dimensional transverse space and an arbitrary base manifold must be static. Moreover, the field equations restrict the base manifold such that all the non-trivial intrinsic Lovelock tensors of the base manifold are constants, which can be chosen arbitrarily, and the metric in the transverse space is determined by a single function of a spacelike coordinate which satisfies an algebraic equation involving the constants characterizing the base manifold along with the coupling constants.
Functional limit theorems for generalized variations of the fractional Brownian sheet
DEFF Research Database (Denmark)
Pakkanen, Mikko; Réveillac, Anthony
and on the smallest component of the Hurst parameter vector of the fBs. The limiting process in the former result is another fBs, independent of the original fBs, whereas the limit given by the latter result is an Hermite sheet, which is driven by the same white noise as the original fBs. As an application, we derive...... functional limit theorems for power variations of the fBs and discuss what is a proper way to interpolate them to ensure functional convergence....
Functional limit theorems for generalized variations of the fractional Brownian sheet
DEFF Research Database (Denmark)
Pakkanen, Mikko; Réveillac, Anthony
2016-01-01
and on the smallest component of the Hurst parameter vector of the fBs. The limiting process in the former result is another fBs, independent of the original fBs, whereas the limit given by the latter result is an Hermite sheet, which is driven by the same white noise as the original fBs. As an application, we derive...... functional limit theorems for power variations of the fBs and discuss what is a proper way to interpolate them to ensure functional convergence....
International Nuclear Information System (INIS)
Zhang Honghao; Yan Wenbin; Li Xuesong
2008-01-01
By using combinatorics, we give a new proof for the recurrence relations of the characteristic polynomial coefficients, and we further obtain an explicit expression for the generic term of the coefficient sequence, which yields the trace formulae of the Cayley-Hamilton's theorem with all coefficients explicitly given. This implies a byproduct, a complete expression for the determinant of any finite-dimensional matrix in terms of the traces of its successive powers. And we discuss some of their applications to chiral perturbation theory and general relativity
International Nuclear Information System (INIS)
Plotnikov, M G
2007-01-01
Several properties of generalized multivariate integrals are considered. In the two-dimensional case the consistency of the regular Perron integral is proved, as well as the consistency of a generalized integral solving the problem of the recovery of the coefficients of double Haar series in a certain class. Several generalizations of Skvortsov's well-known theorem are obtained as consequences, for instance, the following result: if a double Haar series converges for some ρ element of (0,1/2] ρ-regularly everywhere in the unit square to a finite function that is Perron-integrable in the ρ-regular sense, then the series in question is the Fourier-Perron series of its sum. Bibliography: 20 titles.
Energy Technology Data Exchange (ETDEWEB)
Gonis, A., E-mail: gonis@comcast.net
2017-01-05
Through the entanglement of a collection of K non-interacting replicas of a system of N interacting Fermions, and making use of the properties of reduced density matrices the variational principle and the theorems of Hohenberg and Kohn are generalized to excited states. The generalization of the variational principle makes use of the natural orbitals of an N-particle density matrix describing the state of lowest energy of the entangled state. The extension of the theorems of Hohenberg and Kohn is based on the ground-state formulation of density functional theory but with a new interpretation of the concept of a ground state: It is the state of lowest energy of a system of KN Fermions that is described in terms of the excited states of the N-particle interacting system. This straightforward implementation of the line of reasoning of ground-state density functional theory to a new domain leads to a unique and logically valid extension of the theory to excited states that allows the systematic treatment of all states in the spectrum of the Hamiltonian of an interacting system. - Highlights: • Use of entanglement in connection with the properties of density matrices. • An anti-symmetric entangled state of order KN expressed in terms of excited states of an interacting N-particle system.
Generalization of Herstein theorem and its applications to range inclusion problems
Directory of Open Access Journals (Sweden)
Shakir Ali
2014-10-01
Full Text Available Let R be an associative ring. An additive mapping d:R→R is called a Jordan derivation if d(x2=d(xx+xd(x holds for all x∈R. The objective of the present paper is to characterize a prime ring R which admits Jordan derivations d and g such that [d(xm,g(yn]=0 for all x,y∈R or d(xm∘g(yn=0 for all x,y∈R, where m⩾1 and n⩾1 are some fixed integers. This partially extended Herstein’s result in [6, Theorem 2], to the case of (semiprime ring involving pair of Jordan derivations. Finally, we apply these purely algebraic results to obtain a range inclusion result of continuous linear Jordan derivations on Banach algebras.
Directory of Open Access Journals (Sweden)
Wang Yajun
2008-12-01
Full Text Available In order to address the complex uncertainties caused by interfacing between the fuzziness and randomness of the safety problem for embankment engineering projects, and to evaluate the safety of embankment engineering projects more scientifically and reasonably, this study presents the fuzzy logic modeling of the stochastic finite element method (SFEM based on the harmonious finite element (HFE technique using a first-order approximation theorem. Fuzzy mathematical models of safety repertories were introduced into the SFEM to analyze the stability of embankments and foundations in order to describe the fuzzy failure procedure for the random safety performance function. The fuzzy models were developed with membership functions with half depressed gamma distribution, half depressed normal distribution, and half depressed echelon distribution. The fuzzy stochastic mathematical algorithm was used to comprehensively study the local failure mechanism of the main embankment section near Jingnan in the Yangtze River in terms of numerical analysis for the probability integration of reliability on the random field affected by three fuzzy factors. The result shows that the middle region of the embankment is the principal zone of concentrated failure due to local fractures. There is also some local shear failure on the embankment crust. This study provides a referential method for solving complex multi-uncertainty problems in engineering safety analysis.
The relativistic virial theorem
International Nuclear Information System (INIS)
Lucha, W.; Schoeberl, F.F.
1989-11-01
The relativistic generalization of the quantum-mechanical virial theorem is derived and used to clarify the connection between the nonrelativistic and (semi-)relativistic treatment of bound states. 12 refs. (Authors)
Wigner's Symmetry Representation Theorem
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 19; Issue 10. Wigner's Symmetry Representation Theorem: At the Heart of Quantum Field Theory! Aritra Kr Mukhopadhyay. General Article Volume 19 Issue 10 October 2014 pp 900-916 ...
Chu, Shih-I.; Telnov, Dmitry A.
2004-02-01
The advancement of high-power and short-pulse laser technology in the past two decades has generated considerable interest in the study of multiphoton and very high-order nonlinear optical processes of atomic and molecular systems in intense and superintense laser fields, leading to the discovery of a host of novel strong-field phenomena which cannot be understood by the conventional perturbation theory. The Floquet theorem and the time-independent Floquet Hamiltonian method are powerful theoretical framework for the study of bound-bound multiphoton transitions driven by periodically time-dependent fields. However, there are a number of significant strong-field processes cannot be directly treated by the conventional Floquet methods. In this review article, we discuss several recent developments of generalized Floquet theorems, formalisms, and quasienergy methods, beyond the conventional Floquet theorem, for accurate nonperturbative treatment of a broad range of strong-field atomic and molecular processes and phenomena of current interests. Topics covered include (a) artificial intelligence (AI)-most-probable-path approach (MPPA) for effective treatment of ultralarge Floquet matrix problem; (b) non-Hermitian Floquet formalisms and complex quasienergy methods for nonperturbative treatment of bound-free and free-free processes such as multiphoton ionization (MPI) and above-threshold ionization (ATI) of atoms and molecules, multiphoton dissociation (MPD) and above-threshold dissociation (ATD) of molecules, chemical bond softening and hardening, charge-resonance enhanced ionization (CREI) of molecular ions, and multiple high-order harmonic generation (HHG), etc.; (c) many-mode Floquet theorem (MMFT) for exact treatment of multiphoton processes in multi-color laser fields with nonperiodic time-dependent Hamiltonian; (d) Floquet-Liouville supermatrix (FLSM) formalism for exact nonperturbative treatment of time-dependent Liouville equation (allowing for relaxations and
International Nuclear Information System (INIS)
Chu, S.-I.; Telnov, D.A.
2004-01-01
The advancement of high-power and short-pulse laser technology in the past two decades has generated considerable interest in the study of multiphoton and very high-order nonlinear optical processes of atomic and molecular systems in intense and superintense laser fields, leading to the discovery of a host of novel strong-field phenomena which cannot be understood by the conventional perturbation theory. The Floquet theorem and the time-independent Floquet Hamiltonian method are powerful theoretical framework for the study of bound-bound multiphoton transitions driven by periodically time-dependent fields. However, there are a number of significant strong-field processes cannot be directly treated by the conventional Floquet methods. In this review article, we discuss several recent developments of generalized Floquet theorems, formalisms, and quasienergy methods, beyond the conventional Floquet theorem, for accurate nonperturbative treatment of a broad range of strong-field atomic and molecular processes and phenomena of current interests. Topics covered include (a) artificial intelligence (AI)-most-probable-path approach (MPPA) for effective treatment of ultralarge Floquet matrix problem; (b) non-Hermitian Floquet formalisms and complex quasienergy methods for nonperturbative treatment of bound-free and free-free processes such as multiphoton ionization (MPI) and above-threshold ionization (ATI) of atoms and molecules, multiphoton dissociation (MPD) and above-threshold dissociation (ATD) of molecules, chemical bond softening and hardening, charge-resonance enhanced ionization (CREI) of molecular ions, and multiple high-order harmonic generation (HHG), etc.; (c) many-mode Floquet theorem (MMFT) for exact treatment of multiphoton processes in multi-color laser fields with nonperiodic time-dependent Hamiltonian; (d) Floquet-Liouville supermatrix (FLSM) formalism for exact nonperturbative treatment of time-dependent Liouville equation (allowing for relaxations and
Flatto, Leopold
2009-01-01
Poncelet's theorem is a famous result in algebraic geometry, dating to the early part of the nineteenth century. It concerns closed polygons inscribed in one conic and circumscribed about another. The theorem is of great depth in that it relates to a large and diverse body of mathematics. There are several proofs of the theorem, none of which is elementary. A particularly attractive feature of the theorem, which is easily understood but difficult to prove, is that it serves as a prism through which one can learn and appreciate a lot of beautiful mathematics. This book stresses the modern appro
Directory of Open Access Journals (Sweden)
Bai Chenyuan
2014-10-01
Full Text Available By using a special momentum approach and with the help of interchange between singularity velocity and induced flow velocity, we derive in a physical way explicit force formulas for two-dimensional inviscid flow involving multiple bound and free vortices, multiple airfoils, and vortex production. These force formulas hold individually for each airfoil thus allowing for force decomposition, and the contributions to forces from singularities (such as bound and image vortices, sources, and doublets and bodies out of an airfoil are related to their induced velocities at the locations of singularities inside this airfoil. The force contribution due to vortex production is related to the vortex production rate and the distance between each pair of vortices in production, thus frame-independent. The formulas are validated against a number of standard problems. These force formulas, which generalize the classic Kutta–Joukowski theorem (for a single bound vortex and the recent generalized Lagally theorem (for problems without a bound vortex and vortex production to more general cases, can be used to identify or understand the roles of outside vortices and bodies on the forces of the actual body, optimize arrangement of outside vortices and bodies for force enhancement or reduction, and derive analytical force formulas once the flow field is given or known.
Latif, Abdul; Mongkolkeha, Chirasak; Sintunavarat, Wutiphol
2014-01-01
We extend the notion of generalized weakly contraction mappings due to Choudhury et al. (2011) to generalized α-β-weakly contraction mappings. We show with examples that our new class of mappings is a real generalization of several known classes of mappings. We also establish fixed point results for such mappings in metric spaces. Applying our new results, we obtain fixed point results on ordinary metric spaces, metric spaces endowed with an arbitrary binary relation, and metric spaces endowed with graph.
Directory of Open Access Journals (Sweden)
Abdul Latif
2014-01-01
Full Text Available We extend the notion of generalized weakly contraction mappings due to Choudhury et al. (2011 to generalized α-β-weakly contraction mappings. We show with examples that our new class of mappings is a real generalization of several known classes of mappings. We also establish fixed point results for such mappings in metric spaces. Applying our new results, we obtain fixed point results on ordinary metric spaces, metric spaces endowed with an arbitrary binary relation, and metric spaces endowed with graph.
Indian Academy of Sciences (India)
R. Narasimhan (Krishtel eMaging) 1461 1996 Oct 15 13:05:22
Abstract. The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose K is a compact set in the complex plane and 0 belongs to the boundary ∂K. Let A(K) denote the space of all functions f on K such that f is holo- morphic in a neighborhood of K and f(0) = 0. Also for any given positive integer ...
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
Tolhoek, H.A.; Groot, S.R. de
1949-01-01
In the general case of a quantum mechanical system with a Hamiltonian that is invariant for rotations spatial degeneracy will exist. So the initial state must be characterized except by the energy also by e.g. the magnetic quantum number. Both for emission of light and electrons plus neutrinos
Topological interpretation of Luttinger theorem
Seki, Kazuhiro; Yunoki, Seiji
2017-01-01
Based solely on the analytical properties of the single-particle Green's function of fermions at finite temperatures, we show that the generalized Luttinger theorem inherently possesses topological aspects. The topological interpretation of the generalized Luttinger theorem can be introduced because i) the Luttinger volume is represented as the winding number of the single-particle Green's function and thus ii) the deviation of the theorem, expressed with a ratio between the interacting and n...
Hamiltonian structure and Darboux theorem for families of generalized Lotka-Volterra systems
Hernández-Bermejo, Benito; Fairén, Víctor
1998-11-01
This work is devoted to the establishment of a Poisson structure for a format of equations known as generalized Lotka-Volterra systems. These equations, which include the classical Lotka-Volterra systems as a particular case, have been deeply studied in the literature. They have been shown to constitute a whole hierarchy of systems, the characterization of which is made in the context of simple algebra. Our main result is to show that this algebraic structure is completely translatable into the Poisson domain. Important Poisson structures features, such as the symplectic foliation and the Darboux canonical representation, rise as a result of rather simple matrix manipulations.
Energy Technology Data Exchange (ETDEWEB)
Li, Yu-Bin; Cai, Yi-Fu [CAS Key Laboratory for Researches in Galaxies and Cosmology, Department of Astronomy, University of Science and Technology of China, Chinese Academy of Sciences, Hefei, Anhui 230026 (China); Quintin, Jerome [Department of Physics, McGill University, 3600 rue University, Montréal, QC, H3A 2T8 (Canada); Wang, Dong-Gang, E-mail: lyb2166@mail.ustc.edu.cn, E-mail: jquintin@physics.mcgill.ca, E-mail: wdgang@strw.leidenuniv.nl, E-mail: yifucai@ustc.edu.cn [Leiden Observatory, Leiden University, 2300 RA Leiden (Netherlands)
2017-03-01
We extend the matter bounce scenario to a more general theory in which the background dynamics and cosmological perturbations are generated by a k -essence scalar field with an arbitrary sound speed. When the sound speed is small, the curvature perturbation is enhanced, and the tensor-to-scalar ratio, which is excessively large in the original model, can be sufficiently suppressed to be consistent with observational bounds. Then, we study the primordial three-point correlation function generated during the matter-dominated contraction stage and find that it only depends on the sound speed parameter. Similar to the canonical case, the shape of the bispectrum is mainly dominated by a local form, though for some specific sound speed values a new shape emerges and the scaling behaviour changes. Meanwhile, a small sound speed also results in a large amplitude of non-Gaussianities, which is disfavored by current observations. As a result, it does not seem possible to suppress the tensor-to-scalar ratio without amplifying the production of non-Gaussianities beyond current observational constraints (and vice versa). This suggests an extension of the previously conjectured no-go theorem in single field nonsingular matter bounce cosmologies, which rules out a large class of models. However, the non-Gaussianity results remain as a distinguishable signature of matter bounce cosmology and have the potential to be detected by observations in the near future.
Generalization of Penrose's helicity theorem for space-times with nonzero dual mass
International Nuclear Information System (INIS)
Magnon, A.
1986-01-01
An algebraic definition of the helicity operator H is proposed for vacuum stationary and asymptotically flat wormholes (i.e., space-times where the manifold of orbits of the stationary Killing field has S 2 x R topology). The definition avoids the use of momentum space or Fourier decomposition of the gravitational degrees of freedom into positive and negative frequency parts, and is essentially geared to emphasize the role of nontrivial topology. It is obtained via the introduction of a total spin vector S/sup α/ derived from the dual Bondi four-momentum *P/sup α/, both vectors originating in the presence of nontrivial homotopy groups. (Space-times with nonzero dual mass can be characterized by a conformal null boundary I having the topology of an S 1 fiber bundle over S 2 with possible identifications along the fiber: lens space: or equivalently vanishing Bondi--News.) It is shown that S/sup α/ is a constant multiple of P/sup α/, the total Bondi four-momentum, and if in addition the space-time admits a point at spacelike infinity, there is strong support for the past limit of S/sup α/ to be a null vector. This can be viewed as a generalization of Penrose's result on the Pauli--Lubanski vector for classical zero rest-mass particles. The helicity operator at null infinity is rooted in the topology and turns out to be essentially the Hodge duality operator(*). The notion of duality appears as a global concept. Under such conditions, self- and anti-self-dual modes of the Weyl curvature could be viewed as states originating in the nontrivial topology
Indian Academy of Sciences (India)
Abstract. Let E be a vector bundle and L be a line bundle over a smooth projective variety X. In this article, we give a condition for the vanishing of Dolbeault cohomology groups of the form H p,q when Sα+β E ⊗ L is ample. This condition is shown to be invariant under the interchange of p and q. The optimality of.
Bertrand's theorem and virial theorem in fractional classical mechanics
Yu, Rui-Yan; Wang, Towe
2017-09-01
Fractional classical mechanics is the classical counterpart of fractional quantum mechanics. The central force problem in this theory is investigated. Bertrand's theorem is generalized, and virial theorem is revisited, both in three spatial dimensions. In order to produce stable, closed, non-circular orbits, the inverse-square law and the Hooke's law should be modified in fractional classical mechanics.
Debattista, Josephine
2000-01-01
Pythagoras 580 BC was a Greek mathematician who became famous for formulating Pythagoras Theorem but its principles were known earlier. The ancient Egyptians wanted to layout square (90°) corners to their fields. To solve this problem about 2000 BC they discovered the 'magic' of the 3-4-5 triangle.
International Nuclear Information System (INIS)
Rosenberg, L.; Spruch, L.
1996-01-01
Levinson close-quote s theorem relates the zero-energy phase shift δ for potential scattering in a given partial wave l, by a spherically symmetric potential that falls off sufficiently rapidly, to the number of bound states of that l supported by the potential. An extension of this theorem is presented that applies to single-channel scattering by a compound system initially in its ground state. As suggested by Swan [Proc. R. Soc. London Ser. A 228, 10 (1955)], the extended theorem differs from that derived for potential scattering; even in the absence of composite bound states δ may differ from zero as a consequence of the Pauli principle. The derivation given here is based on the introduction of a continuous auxiliary open-quote open-quote length phase close-quote close-quote η, defined modulo π for l=0 by expressing the scattering length as A=acotη, where a is a characteristic length of the target. Application of the minimum principle for the scattering length determines the branch of the cotangent curve on which η lies and, by relating η to δ, an absolute determination of δ is made. The theorem is applicable, in principle, to single-channel scattering in any partial wave for e ± -atom and nucleon-nucleus systems. In addition to a knowledge of the number of composite bound states, information (which can be rather incomplete) concerning the structure of the target ground-state wave function is required for an explicit, absolute, determination of the phase shift δ. As for Levinson close-quote s original theorem for potential scattering, no additional information concerning the scattering wave function or scattering dynamics is required. copyright 1996 The American Physical Society
The de Finetti theorem for test spaces
International Nuclear Information System (INIS)
Barrett, Jonathan; Leifer, Matthew
2009-01-01
We prove a de Finetti theorem for exchangeable sequences of states on test spaces, where a test space is a generalization of the sample space of classical probability theory and the Hilbert space of quantum theory. The standard classical and quantum de Finetti theorems are obtained as special cases. By working in a test space framework, the common features that are responsible for the existence of these theorems are elucidated. In addition, the test space framework is general enough to imply a de Finetti theorem for classical processes. We conclude by discussing the ways in which our assumptions may fail, leading to probabilistic models that do not have a de Finetti theorem.
The Classical Version of Stokes' Theorem Revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
2005-01-01
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...... 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 general version...... to above. Our proof that Stokes' theorem follows from Gauss' divergence theorem goes via a well known and often used exercise, which simply relates the concepts of divergence and curl on the local differential level. The rest of the paper uses only integration in $1$, $2$, and $3$ variables together...
Adiabatic theorem and spectral concentration
International Nuclear Information System (INIS)
Nenciu, G.
1981-01-01
The spectral concentration of arbitrary order, for the Stark effect is proved to exist for a large class of Hamiltonians appearing in nonrelativistic and relativistic quantum mechanics. The results are consequences of an abstract theorem about the spectral concentration for self-ad oint operators. A general form of the adiabatic theorem of quantum mechanics, generalizing an earlier result of the author as well as some results of Lenard, is also proved [ru
Directory of Open Access Journals (Sweden)
Solarz Paweł
2012-08-01
Full Text Available We show that the theorem proved in [8] generalises the previous results concerning orientation-preserving iterative roots of homeomorphisms of the circle with a rational rotation number (see [2], [6], [10] and [7]. Nous montrons que le théorème prouvé dans [8] généralise les résultats précédents concernant les racines itérées préservant l’orientation d’homéomorphismes du cercle avec un nombre de rotation rationnel (voir [2], [6], [10] et [7].
Generalized Kutta–Joukowski theorem for multi-vortex and multi-airfoil flow (a lumped vortex model
Directory of Open Access Journals (Sweden)
Bai Chenyuan
2014-02-01
Full Text Available For purpose of easy identification of the role of free vortices on the lift and drag and for purpose of fast or engineering evaluation of forces for each individual body, we will extend in this paper the Kutta–Joukowski (KJ theorem to the case of inviscid flow with multiple free vortices and multiple airfoils. The major simplification used in this paper is that each airfoil is represented by a lumped vortex, which may hold true when the distances between vortices and bodies are large enough. It is found that the Kutta–Joukowski theorem still holds provided that the local freestream velocity and the circulation of the bound vortex are modified by the induced velocity due to the outside vortices and airfoils. We will demonstrate how to use the present result to identify the role of vortices on the forces according to their position, strength and rotation direction. Moreover, we will apply the present results to a two-cylinder example of Crowdy and the Wagner example to demonstrate how to perform fast force approximation for multi-body and multi-vortex problems. The lumped vortex assumption has the advantage of giving such kinds of approximate results which are very easy to use. The lack of accuracy for such a fast evaluation will be compensated by a rigorous extension, with the lumped vortex assumption removed and with vortex production included, in a forthcoming paper.
International Nuclear Information System (INIS)
Palmer, R.
1994-06-01
Electromagnetic fields can be separated into near and far components. Near fields are extensions of static fields. They do not radiate, and they fall off more rapidly from a source than far fields. Near fields can accelerate particles, but the ratio of acceleration to source fields at a distance R, is always less than R/λ or 1, whichever is smaller. Far fields can be represented as sums of plane parallel, transversely polarized waves that travel at the velocity of light. A single such wave in a vacuum cannot give continuous acceleration, and it is shown that no sums of such waves can give net first order acceleration. This theorem is proven in three different ways; each method showing a different aspect of the situation
The quantitative Morse theorem
Loi, Ta Le; Phien, Phan
2013-01-01
In this paper, we give a proof of the quantitative Morse theorem stated by {Y. Yomdin} in \\cite{Y1}. The proof is based on the quantitative Sard theorem, the quantitative inverse function theorem and the quantitative Morse lemma.
Fully Quantum Fluctuation Theorems
Åberg, Johan
2018-02-01
Systems that are driven out of thermal equilibrium typically dissipate random quantities of energy on microscopic scales. Crooks fluctuation theorem relates the distribution of these random work costs to the corresponding distribution for the reverse process. By an analysis that explicitly incorporates the energy reservoir that donates the energy and the control system that implements the dynamic, we obtain a quantum generalization of Crooks theorem that not only includes the energy changes in the reservoir but also the full description of its evolution, including coherences. Moreover, this approach opens up the possibility for generalizations of the concept of fluctuation relations. Here, we introduce "conditional" fluctuation relations that are applicable to nonequilibrium systems, as well as approximate fluctuation relations that allow for the analysis of autonomous evolution generated by global time-independent Hamiltonians. We furthermore extend these notions to Markovian master equations, implicitly modeling the influence of the heat bath.
-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.
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
Ortiz, Guillermo P.; Mochán, W. Luis
2018-02-01
Keller’s theorem relates the components of the macroscopic dielectric response of a binary two-dimensional composite system with those of the reciprocal system obtained by interchanging its components. We present a derivation of the theorem that, unlike previous ones, does not employ the common assumption that the response function relates an irrotational to a solenoidal field and that is valid for dispersive and dissipative anisotropic systems. We show that the usual statement of Keller’s theorem in terms of the conductivity is strictly valid only at zero frequency and we obtain a new generalization for finite frequencies. We develop applications of the theorem to the study of the optical properties of systems such as superlattices, 2D isotropic and anisotropic metamaterials and random media, to test the accuracy of theories and computational schemes, and to increase the accuracy of approximate calculations.
Compact high-flux two-stage solar collectors based on tailored edge-ray concentrators
Friedman, Robert P.; Gordon, Jeffrey M.; Ries, Harald
1995-08-01
Using the recently-invented tailored edge-ray concentrator (TERC) approach for the design of compact two-stage high-flux solar collectors--a focusing primary reflector and a nonimaging TERC secondary reflector--we present: 1) a new primary reflector shape based on the TERC approach and a secondary TERC tailored to its particular flux map, such that more compact concentrators emerge at flux concentration levels in excess of 90% of the thermodynamic limit; and 2) calculations and raytrace simulations result which demonstrate the V-cone approximations to a wide variety of TERCs attain the concentration of the TERC to within a few percent, and hence represent practical secondary concentrators that may be superior to corresponding compound parabolic concentrator or trumpet secondaries.
On Comparison Theorems for Conformable Fractional Differential Equations
Directory of Open Access Journals (Sweden)
Mehmet Zeki Sarikaya
2016-10-01
Full Text Available In this paper the more general comparison theorems for conformable fractional differential equations is proposed and tested. Thus we prove some inequalities for conformable integrals by using the generalization of Sturm's separation and Sturm's comparison theorems. The results presented here would provide generalizations of those given in earlier works. The numerical example is also presented to verify the proposed theorem.
On Krasnoselskii's Cone Fixed Point Theorem
Directory of Open Access Journals (Sweden)
Man Kam Kwong
2008-04-01
Full Text Available In recent years, the Krasnoselskii fixed point theorem for cone maps and its many generalizations have been successfully applied to establish the existence of multiple solutions in the study of boundary value problems of various types. In the first part of this paper, we revisit the Krasnoselskii theorem, in a more topological perspective, and show that it can be deduced in an elementary way from the classical Brouwer-Schauder theorem. This viewpoint also leads to a topology-theoretic generalization of the theorem. In the second part of the paper, we extend the cone theorem in a different direction using the notion of retraction and show that a stronger form of the often cited Leggett-Williams theorem is a special case of this extension.
On the Leray-Hirsch Theorem for the Lichnerowicz cohomology
International Nuclear Information System (INIS)
Ait Haddoul, Hassan
2004-03-01
The purpose of this paper is to prove the Leray-Hirsch theorem for the Lichnerowicz; cohomology with respect to basic and vertical closed 1-forms. This is a generalization of the Kfirmeth theorem to fiber bundles. (author)
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.618, year: 2015 http://cms.math.ca/10.4153/CJM-2014-030-6
Houston, Louis M.
2012-01-01
Sign data are the signs of signal added to noise. It is well known that a constant signal can be recovered from sign data. In this paper, we show that an integral over variant signal can be recovered from an integral over sign data based on the variant signal. We refer to this as a generalized sign data average. We use this result to derive a Green's theorem for sign data. Green's theorem is important to various seismic processing methods, including seismic migration. Results in this paper ge...
Levinson, N
1940-01-01
A typical gap theorem of the type discussed in the book deals with a set of exponential functions { \\{e^{{{i\\lambda}_n} x}\\} } on an interval of the real line and explores the conditions under which this set generates the entire L_2 space on this interval. A typical gap theorem deals with functions f on the real line such that many Fourier coefficients of f vanish. The main goal of this book is to investigate relations between density and gap theorems and to study various cases where these theorems hold. The author also shows that density- and gap-type theorems are related to various propertie
Kolmogorov-Arnold-Moser Theorem
Indian Academy of Sciences (India)
system (not necessarily the 2-body system). Kolmogorov was the first to provide a solution to the above general problem in a theorem formulated in 1954 (see Suggested. Reading). However, he provided only an outline of the proof. The actual proof (with all the details) turned to be quite difficult and was provided by Arnold ...
The Completeness Theorem of Godel
Indian Academy of Sciences (India)
GENERAL I ARTICLE. The Completeness Theorem of Godel. 2. Henkin's Proof for First Order Logic. S M Srivastava is with the. Indian Statistical,. Institute, Calcutta. He received his PhD from the Indian Statistical. Institute in 1980. His research interests are in descriptive set theory. I Part 1. An Introduction to Math- ematical ...
A no-go theorem for the consistent quantization of spin-3/2 fields on general curved spacetimes
Energy Technology Data Exchange (ETDEWEB)
Hack, Thomas-Paul, E-mail: thomas-paul.hack@desy.de [II. Institut fuer Theoretische Physik, Universitaet Hamburg, Luruper Chaussee 149, D-22761 Hamburg (Germany); Makedonski, Mathias, E-mail: mathias.makedonski@math.ku.dk [Institut for Matematiske Fag, Kobenhavns Universitet, Universitetsparken 5, 2100 Copenhagen (Denmark)
2013-01-29
It is well known that coupling a spin-3/2 field to a gravitational or electromagnetic background leads to potential problems both in the classical and in the quantum theory. Various solutions to these problems have been proposed so far, which are all restricted to a limited class of backgrounds. On the other hand, negative results for general gravitational backgrounds have been reported only for a limited set of couplings to the background to date. Hence, to our knowledge, a comprehensive analysis of all possible couplings to the gravitational field and general gravitational backgrounds including off-shell ones has not been performed so far. In this work we analyse whether it is possible to couple a spin-3/2 field to a gravitational field in such a way that the resulting quantum theory is consistent on arbitrary gravitational backgrounds. We find that this is impossible as all couplings require the background to be an Einstein spacetime for consistency. This enforces the widespread belief that supergravity theories are the only meaningful models which contain spin-3/2 fields as in these models such restrictions of the gravitational background appear naturally as on-shell conditions.
International Nuclear Information System (INIS)
Dixmier, Marc.
1980-10-01
A general expression of the diffusion coefficient (d.c.) of neutrons was given, with stress being put on symmetries. A system of first-flight collision probabilities for the case of a random stack of any number of types of one- and two-zoned spherical pebbles, with an albedo at the frontiers of the elements or (either) consideration of the interstital medium, was built; to that end, the bases of collision probability theory were reviewed, and a wide generalisation of the reciprocity theorem for those probabilities was demonstrated. The migration area of neutrons was expressed for any random stack of convex, 'simple' and 'regular-contact' elements, taking into account the correlations between free-paths; the average cosinus of re-emission of neutrons by an element, in the case of a homogeneous spherical pebble and the transport approximation, was expressed; the superiority of the so-found result over Behrens' theory, for the type of media under consideration, was established. The 'fine structure current term' of the d.c. was also expressed, and it was shown that its 'polarisation term' is negligible. Numerical applications showed that the global heterogeneity effect on the d.c. of pebble-bed reactors is comparable with that for Graphite-moderated, Carbon gas-cooled, natural Uranium reactors. The code CARACOLE, which integrates all the results here obtained, was introduced [fr
The Patchwork Divergence Theorem
Dray, Tevian; Hellaby, Charles
1994-01-01
The divergence theorem in its usual form applies only to suitably smooth vector fields. For vector fields which are merely piecewise smooth, as is natural at a boundary between regions with different physical properties, one must patch together the divergence theorem applied separately in each region. We give an elegant derivation of the resulting "patchwork divergence theorem" which is independent of the metric signature in either region, and which is thus valid if the signature changes. (PA...
There is No Quantum Regression Theorem
International Nuclear Information System (INIS)
Ford, G.W.; OConnell, R.F.
1996-01-01
The Onsager regression hypothesis states that the regression of fluctuations is governed by macroscopic equations describing the approach to equilibrium. It is here asserted that this hypothesis fails in the quantum case. This is shown first by explicit calculation for the example of quantum Brownian motion of an oscillator and then in general from the fluctuation-dissipation theorem. It is asserted that the correct generalization of the Onsager hypothesis is the fluctuation-dissipation theorem. copyright 1996 The American Physical Society
Carlson, James E.
2014-01-01
Many aspects of the geometry of linear statistical models and least squares estimation are well known. Discussions of the geometry may be found in many sources. Some aspects of the geometry relating to the partitioning of variation that can be explained using a little-known theorem of Pappus and have not been discussed previously are the topic of…
Directory of Open Access Journals (Sweden)
Song Yanlai
2010-01-01
Full Text Available We introduce a new iterative scheme with Meir-Keeler contractions for strict pseudocontractions in -uniformly smooth Banach spaces. We also discuss the strong convergence theorems for the new iterative scheme in -uniformly smooth Banach space. Our results improve and extend the corresponding results announced by many others.
Dimensional analysis beyond the Pi theorem
Zohuri, Bahman
2017-01-01
Dimensional Analysis and Physical Similarity are well understood subjects, and the general concepts of dynamical similarity are explained in this book. Our exposition is essentially different from those available in the literature, although it follows the general ideas known as Pi Theorem. There are many excellent books that one can refer to; however, dimensional analysis goes beyond Pi theorem, which is also known as Buckingham’s Pi Theorem. Many techniques via self-similar solutions can bound solutions to problems that seem intractable. A time-developing phenomenon is called self-similar if the spatial distributions of its properties at different points in time can be obtained from one another by a similarity transformation, and identifying one of the independent variables as time. However, this is where Dimensional Analysis goes beyond Pi Theorem into self-similarity, which has represented progress for researchers. In recent years there has been a surge of interest in self-similar solutions of the First ...
Level comparison theorems and supersymmetric quantum mechanics
International Nuclear Information System (INIS)
Baumgartner, B.; Grosse, H.
1986-01-01
The sign of the Laplacian of the spherical symmetric potential determines the order of energy levels with the same principal Coulomb quantum number. This recently derived theorem has been generalized, extended and applied to various situations in particle, nuclear and atomic physics. Besides a comparison theorem the essential step was the use of supersymmetric quantum mechanics. Recently worked out applications of supersymmetric quantum mechanics to index problems of Dirac operators are mentioned. (Author)
The Osgood-Schoenflies theorem revisited
International Nuclear Information System (INIS)
Siebenmann, L C
2005-01-01
The very first unknotting theorem of a purely topological character established that every compact subset of the Euclidean plane homeomorphic to a circle can be moved onto a round circle by a globally defined self-homeomorphism of the plane. This difficult hundred-year-old theorem is here celebrated with a partly new elementary proof, and a first but tentative account of its history. Some quite fundamental corollaries of the proof are sketched, and some generalizations are mentioned
International Nuclear Information System (INIS)
Park, Mu-In
2008-01-01
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
Nonextensive Pythagoras' Theorem
Dukkipati, Ambedkar
2006-01-01
Kullback-Leibler relative-entropy, in cases involving distributions resulting from relative-entropy minimization, has a celebrated property reminiscent of squared Euclidean distance: it satisfies an analogue of the Pythagoras' theorem. And hence, this property is referred to as Pythagoras' theorem of relative-entropy minimization or triangle equality and plays a fundamental role in geometrical approaches of statistical estimation theory like information geometry. Equvalent of Pythagoras' theo...
The Boundary Crossing Theorem and the Maximal Stability Interval
Directory of Open Access Journals (Sweden)
Jorge-Antonio López-Renteria
2011-01-01
useful tools in the study of the stability of family of polynomials. Although both of these theorem seem intuitively obvious, they can be used for proving important results. In this paper, we give generalizations of these two theorems and we apply such generalizations for finding the maximal stability interval.
Complex proofs of real theorems
Lax, Peter D
2011-01-01
Complex Proofs of Real Theorems is an extended meditation on Hadamard's famous dictum, "The shortest and best way between two truths of the real domain often passes through the imaginary one." Directed at an audience acquainted with analysis at the first year graduate level, it aims at illustrating how complex variables can be used to provide quick and efficient proofs of a wide variety of important results in such areas of analysis as approximation theory, operator theory, harmonic analysis, and complex dynamics. Topics discussed include weighted approximation on the line, Müntz's theorem, Toeplitz operators, Beurling's theorem on the invariant spaces of the shift operator, prediction theory, the Riesz convexity theorem, the Paley-Wiener theorem, the Titchmarsh convolution theorem, the Gleason-Kahane-Żelazko theorem, and the Fatou-Julia-Baker theorem. The discussion begins with the world's shortest proof of the fundamental theorem of algebra and concludes with Newman's almost effortless proof of the prime ...
On Pythagoras Theorem for Products of Spectral Triples
D'Andrea, Francesco; Martinetti, Pierre
2013-01-01
We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some un...
DEFF Research Database (Denmark)
Törnquist, Asger Dag; Weiss, W.
2009-01-01
We prove the following descriptive set-theoretic analogue of a theorem of R. 0. Davies: Every σ function f:ℝ × ℝ → ℝ can be represented as a sum of rectangular Σ functions if and only if all reals are constructible.......We prove the following descriptive set-theoretic analogue of a theorem of R. 0. Davies: Every σ function f:ℝ × ℝ → ℝ can be represented as a sum of rectangular Σ functions if and only if all reals are constructible....
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...
Abstract decomposition theorem and applications
Grossberg, R; Grossberg, Rami; Lessmann, Olivier
2005-01-01
Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies a main gap result for the class K. The setting is general enough to cover \\aleph_0-stable first-order theories (proved by Shelah in 1982), Excellent Classes of atomic models of a first order tehory (proved Grossberg and Hart 1987) and the class of submodels of a large sequentially homogenuus \\aleph_0-stable model (which is new).
The Fluctuation Theorem and Dissipation Theorem for Poiseuille Flow
International Nuclear Information System (INIS)
Brookes, Sarah J; Reid, James C; Evans, Denis J; Searles, Debra J
2011-01-01
The fluctuation theorem and the dissipation theorem provide relationships to describe nonequilibrium systems arbitrarily far from, or close to equilibrium. They both rely on definition of a central property, the dissipation function. In this manuscript we apply these theorems to examine a boundary thermostatted system undergoing Poiseuille flow. The relationships are verified computationally and show that the dissipation theorem is potentially useful for study of boundary thermostatted systems consisting of complex molecules undergoing flow in the nonlinear regime.
Dalen, D. van
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
Indian Academy of Sciences (India)
eralizing the method of proof of the well known. Cantor's ... Godel's first incompleteness theorem is proved. ... that the number of elements in any finite set is a natural number. ..... proof also has a Godel number; of course, you have to fix.
Saikia, Manjil P.
2013-01-01
We give a brief historical overview of the famous Pythagoras' theorem and Pythagoras. We present a simple proof of the result and dicsuss some extensions. We follow \\cite{thales}, \\cite{wiki} and \\cite{wiki2} for the historical comments and sources.
Converse Barrier Certificate Theorems
DEFF Research Database (Denmark)
Wisniewski, Rafael; Sloth, Christoffer
2016-01-01
This paper shows that a barrier certificate exists for any safe dynamical system. Specifically, we prove converse barrier certificate theorems for a class of structurally stable dynamical systems. Other authors have developed a related result by assuming that the dynamical system has neither...
Virial theorem and hypervirial theorem in a spherical geometry
International Nuclear Information System (INIS)
Li Yan; Chen Jingling; Zhang Fulin
2011-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 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)
Discovering the Theorem of Pythagoras
Lattanzio, Robert (Editor)
1988-01-01
In this 'Project Mathematics! series, sponsored by the California Institute of Technology, Pythagoraus' theorem a(exp 2) + b(exp 2) = c(exp 2) is discussed and the history behind this theorem is explained. hrough live film footage and computer animation, applications in real life are presented and the significance of and uses for this theorem are put into practice.
A new proof of the positive energy theorem
International Nuclear Information System (INIS)
Witten, E.
1981-01-01
A new proof is given of the positive energy theorem of classical general relativity. Also, a new proof is given that there are no asymptotically Euclidean gravitational instantons. (These theorems have been proved previously, by a different method, by Schoen and Yau). The relevance of these results to the stability of Minkowski space is discussed. (orig.)
An extension of Brosowski-Meinardus theorem on invariant approximation
International Nuclear Information System (INIS)
Liaqat Ali Khan; Abdul Rahim Khan.
1991-07-01
We obtain a generalization of a fixed point theorem of Dotson for non-expansive mappings on star-shaped sets and then use it to prove a unified Brosowski-Meinardus theorem on invariant approximation in the setting of p-normed linear spaces. (author). 13 refs
A note on the homomorphism theorem for hemirings
Directory of Open Access Journals (Sweden)
D. M. Olson
1978-01-01
Full Text Available The fundamental homomorphism theorem for rings is not generally applicable in hemiring theory. In this paper, we show that for the class of N-homomorphism of hemirings the fundamental theorem is valid. In addition, the concept of N-homomorphism is used to prove that every hereditarily semisubtractive hemiring is of type (K.
On the Riesz representation theorem and integral operators ...
African Journals Online (AJOL)
We present a Riesz representation theorem in the setting of extended integration theory as introduced in [6]. The result is used to obtain boundedness theorems for integral operators in the more general setting of spaces of vector valued extended integrable functions. Keywords: Vector integral, integral operators, operator ...
Quantum work fluctuation theorem: Nonergodic Brownian motion case
International Nuclear Information System (INIS)
Bai, Zhan-Wu
2014-01-01
The work fluctuations of a quantum Brownian particle driven by an external force in a general nonergodic heat bath are studied under a general initial state. The exact analytical expression of the work probability distribution function is derived. Results show the existence of a quantum asymptotic fluctuation theorem, which is in general not a direct generalization of its classical counterpart. The form of this theorem is dependent on the structure of the heat bath and the specified initial condition.
Czech Academy of Sciences Publication Activity Database
Narins, L.; Tran, Tuan
2017-01-01
Roč. 85, č. 2 (2017), s. 496-524 ISSN 0364-9024 Institutional support: RVO:67985807 Keywords : Turán’s theorem * stability method * multipartite version Subject RIV: BA - General Mathematics OBOR OECD: Pure mathematics Impact factor: 0.601, year: 2016
Another look at the second incompleteness theorem
Visser, A.
2017-01-01
In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is xed and the representation of the axiom set varies. We extend the Feferman framework in one important point: we allow the interpretation
Another look at the second incompleteness theorem
Visser, Albert
2017-01-01
In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the axiom set varies. We extend the Feferman framework in one important point: we allow the
International Nuclear Information System (INIS)
Veltman, H.
1990-01-01
The equivalence theorem states that, at an energy E much larger than the vector-boson mass M, the leading order of the amplitude with longitudinally polarized vector bosons on mass shell is given by the amplitude in which these vector bosons are replaced by the corresponding Higgs ghosts. We prove the equivalence theorem and show its validity in every order in perturbation theory. We first derive the renormalized Ward identities by using the diagrammatic method. Only the Feynman-- 't Hooft gauge is discussed. The last step of the proof includes the power-counting method evaluated in the large-Higgs-boson-mass limit, needed to estimate the leading energy behavior of the amplitudes involved. We derive expressions for the amplitudes involving longitudinally polarized vector bosons for all orders in perturbation theory. The fermion mass has not been neglected and everything is evaluated in the region m f ∼M much-lt E much-lt m Higgs
Multivariable Chinese Remainder Theorem
Indian Academy of Sciences (India)
IAS Admin
to sleep. The 3rd thief wakes up and finds the rest of the coins make 7 equal piles excepting a coin which he pockets. If the total number of coins they stole is not more than 200, what is the exact number? With a bit of hit and miss, one can find that 157 is a possible number. The Chinese remainder theorem gives a systematic ...
Two fixed point theorems on quasi-metric spaces via mw- distances
Energy Technology Data Exchange (ETDEWEB)
Alegre, C.
2017-07-01
In this paper we prove a Banach-type fixed point theorem and a Kannan-type theorem in the setting of quasi-metric spaces using the notion of mw-distance. These theorems generalize some results that have recently appeared in the literature. (Author)
International Nuclear Information System (INIS)
Cooperstock, F.I.; Lim, P.H.
1986-01-01
Theorems expressing the time derivatives of retarded volume and surface integrals are presented as well as the Gauss divergence theorem for retarded functions with discontinuities. These theorems greatly facilitate the analysis of gravitational radiation from the motion of disjoint matter distributions in general relativity and could find useful application in other branches of physics
Action-angle variables and a KAM theorem for b-Poisson manifolds
Kiesenhofer, Anna; Miranda Galcerán, Eva; Scott, Geoffrey
2015-01-01
In this article we prove an action-angle theorem for b-integrable systems on b-Poisson manifolds improving the action-angle theorem contained in [14] for general Poisson manifolds in this setting. As an application, we prove a KAM-type theorem for b-Poisson manifolds. (C) 2015 Elsevier Masson SAS. All rights reserved.
Yang, Chuan-Fu
Inverse spectral problems are considered for differential pencils with boundary conditions depending polynomially on the spectral parameter and with a finite number of transmission conditions. We give formulations of the associated inverse problems such as Titchmarsh-Weyl theorem, Hochstadt-Lieberman theorem and Mochizuki-Trooshin theorem, and prove corresponding uniqueness theorems. The obtained results are generalizations of the similar results for the classical Sturm-Liouville operator on a finite interval.
International Nuclear Information System (INIS)
Lloyd, Mark Anthony
1999-01-01
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 o bjectivity . 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
Supersymmetric extension of the Adler-Bardeen theorem
International Nuclear Information System (INIS)
Novikov, V.A.; Zakharov, V.I.; Shifman, M.A.; Vainshtein, A.I.
1985-01-01
A supersymmetric generalization of the Adler-Bardeen theorem in SUSY gauge theories is given. We show that within the Adler-Bardeen procedure, both the conformal and axial anomalies are exhausted by one loop. (orig.)
Perron–Frobenius theorem for nonnegative multilinear forms and extensions
Friedland, S.; Gaubert, S.; Han, L.
2013-01-01
We prove an analog of Perron-Frobenius theorem for multilinear forms with nonnegative coefficients, and more generally, for polynomial maps with nonnegative coefficients. We determine the geometric convergence rate of the power algorithm to the unique normalized eigenvector.
Directory of Open Access Journals (Sweden)
Coghetto Roland
2015-06-01
Full Text Available Morley’s trisector theorem states that “The points of intersection of the adjacent trisectors of the angles of any triangle are the vertices of an equilateral triangle” [10]. There are many proofs of Morley’s trisector theorem [12, 16, 9, 13, 8, 20, 3, 18]. We follow the proof given by A. Letac in [15].
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.…
A Decomposition Theorem for Finite Automata.
Santa Coloma, Teresa L.; Tucci, Ralph P.
1990-01-01
Described is automata theory which is a branch of theoretical computer science. A decomposition theorem is presented that is easier than the Krohn-Rhodes theorem. Included are the definitions, the theorem, and a proof. (KR)
On Pythagoras Theorem for Products of Spectral Triples
D'Andrea, Francesco; Martinetti, Pierre
2013-05-01
We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non-pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some unitality condition. We show that these inequalities are optimal, and we provide non-unital counter-examples inspired by K-homology.
Fluctuation theorem for Hamiltonian Systems: Le Chatelier's principle
Evans, Denis J.; Searles, Debra J.; Mittag, Emil
2001-05-01
For thermostated dissipative systems, the fluctuation theorem gives an analytical expression for the ratio of probabilities that the time-averaged entropy production in a finite system observed for a finite time takes on a specified value compared to the negative of that value. In the past, it has been generally thought that the presence of some thermostating mechanism was an essential component of any system that satisfies a fluctuation theorem. In the present paper, we point out that a fluctuation theorem can be derived for purely Hamiltonian systems, with or without applied dissipative fields.
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.
Theorems for asymptotic safety of gauge theories
Energy Technology Data Exchange (ETDEWEB)
Bond, Andrew D.; Litim, Daniel F. [University of Sussex, Department of Physics and Astronomy, Brighton (United Kingdom)
2017-06-15
We classify the weakly interacting fixed points of general gauge theories coupled to matter and explain how the competition between gauge and matter fluctuations gives rise to a rich spectrum of high- and low-energy fixed points. The pivotal role played by Yukawa couplings is emphasised. Necessary and sufficient conditions for asymptotic safety of gauge theories are also derived, in conjunction with strict no go theorems. Implications for phase diagrams of gauge theories and physics beyond the Standard Model are indicated. (orig.)
Optical theorem, depolarization and vector tomography
International Nuclear Information System (INIS)
Toperverg, B.P.
2003-01-01
A law of the total flux conservation is formulated in the form of the optical theorem. It is employed to explicitly derive equations for the description of the neutron polarization within the range of the direct beam defined by its angular divergence. General considerations are illustrated by calculations using the Born and Eikonal approximations. Results are briefly discussed as applied to Larmor-Fourier tomography
Convergence theorems for quasi-contractive mappings
International Nuclear Information System (INIS)
Chidume, C.E.
1992-01-01
It is proved that each of two well known fixed point iteration methods (the Mann and Ishikawa iteration methods) converges strongly, without any compactness assumption on the domain of the map, to the unique fixed point of a quasi-contractive map in real Banach spacers with property (U, α, m+1, m). These Banach spaces include the L p (or l p ) spaces, p ≥ 2. Our theorems generalize important known results. (author). 29 refs
International Nuclear Information System (INIS)
Khorrami, M.
1995-01-01
A general formulation for discrete-time quantum mechanics, based on Feynman's method in ordinary quantum mechanics, is presented. It is shown that the ambiguities present in ordinary quantum mechanics (due to noncommutativity of the operators), are no longer present here. Then the criteria for the unitarity of the evolution operator are examined. It is shown that the unitarity of the evolution operator puts restrictions on the form of the action, and also implies the existence of a solution for the classical initial-value problem. 13 refs
Smorynski, Craig
2017-01-01
This book is about the rise and supposed fall of the mean value theorem. It discusses the evolution of the theorem and the concepts behind it, how the theorem relates to other fundamental results in calculus, and modern re-evaluations of its role in the standard calculus course. The mean value theorem is one of the central results of calculus. It was called “the fundamental theorem of the differential calculus” because of its power to provide simple and rigorous proofs of basic results encountered in a first-year course in calculus. In mathematical terms, the book is a thorough treatment of this theorem and some related results in the field; in historical terms, it is not a history of calculus or mathematics, but a case study in both. MVT: A Most Valuable Theorem is aimed at those who teach calculus, especially those setting out to do so for the first time. It is also accessible to anyone who has finished the first semester of the standard course in the subject and will be of interest to undergraduate mat...
Guney, Veli Ugur
In this work we look for novel classes of Bell's inequalities and methods to produce them. We also find their quantum violations including, if possible, the maximum one. The Jordan bases method that we explain in Chapter 2 is about using a pair of certain type of orthonormal bases whose spans are subspaces related to measurement outcomes of incompatible quantities on the same physical system. Jordan vectors are the briefest way of expressing the relative orientation of any two subspaces. This feature helps us to reduce the dimensionality of the parameter space on which we do searches for optimization. The work is published in [24]. In Chapter 3, we attempt to find a connection between group theory and Bell's theorem. We devise a way of generating terms of a Bell's inequality that are related to elements of an algebraic group. The same group generates both the terms of the Bell's inequality and the observables that are used to calculate the quantum value of the Bell expression. Our results are published in [25][26]. In brief, Bell's theorem is the main tool of a research program that was started by Einstein, Podolsky, Rosen [19] and Bohr [8] in the early days of quantum mechanics in their discussions about the core nature of physical systems. These debates were about a novel type of physical states called superposition states, which are introduced by quantum mechanics and manifested in the apparent inevitable randomness in measurement outcomes of identically prepared systems. Bell's huge contribution was to find a means of quantifying the problem and hence of opening the way to experimental verification by rephrasing the questions as limits on certain combinations of correlations between measurement results of spatially separate systems [7]. Thanks to Bell, the fundamental questions related to the nature of quantum mechanical systems became quantifiable [6]. According to Bell's theorem, some correlations between quantum entangled systems that involve incompatible
Extension and reconstruction theorems for the Urysohn universal metric space
Czech Academy of Sciences Publication Activity Database
Kubiś, Wieslaw; Rubin, M.
2010-01-01
Roč. 60, č. 1 (2010), s. 1-29 ISSN 0011-4642 R&D Projects: GA AV ČR IAA100190901 Institutional research plan: CEZ:AV0Z10190503 Keywords : Urysohn space * bilipschitz homeomorphism * modulus of continuity * reconstruction theorem * extension theorem Subject RIV: BA - General Mathematics Impact factor: 0.265, year: 2010 http://dml.cz/handle/10338.dmlcz/140544
On the first case of Fermat's theorem for cyclotomic fields
International Nuclear Information System (INIS)
Kolyvagin, V A
1999-01-01
The classical criteria of Kummer, Mirimanov and Vandiver for the validity of the first case of Fermat's theorem for the field Q of rationals and prime exponent l are generalized to the field Q( l √1) and exponent l. As a consequence, some simpler criteria are established. For example, the validity of the first case of Fermat's theorem is proved for the field Q( l √1) and exponent l on condition that l 2 does not divide 2 l -2
Strong versions of Bell's theorem
International Nuclear Information System (INIS)
Stapp, H.P.
1994-01-01
Technical aspects of a recently constructed strong version of Bell's theorem are discussed. The theorem assumes neither hidden variables nor factorization, and neither determinism nor counterfactual definiteness. It deals directly with logical connections. Hence its relationship with modal logic needs to be described. It is shown that the proof can be embedded in an orthodox modal logic, and hence its compatibility with modal logic assured, but that this embedding weakens the theorem by introducing as added assumptions the conventionalities of the particular modal logic that is adopted. This weakening is avoided in the recent proof by using directly the set-theoretic conditions entailed by the locality assumption
Green's theorem and Gorenstein sequences
Ahn, Jeaman; Migliore, Juan C.; Shin, Yong-Su
2016-01-01
We study consequences, for a standard graded algebra, of extremal behavior in Green's Hyperplane Restriction Theorem. First, we extend his Theorem 4 from the case of a plane curve to the case of a hypersurface in a linear space. Second, assuming a certain Lefschetz condition, we give a connection to extremal behavior in Macaulay's theorem. We apply these results to show that $(1,19,17,19,1)$ is not a Gorenstein sequence, and as a result we classify the sequences of the form $(1,a,a-2,a,1)$ th...
A Meinardus Theorem with Multiple Singularities
Granovsky, Boris L.; Stark, Dudley
2012-09-01
Meinardus proved a general theorem about the asymptotics of the number of weighted partitions, when the Dirichlet generating function for weights has a single pole on the positive real axis. Continuing (Granovsky et al., Adv. Appl. Math. 41:307-328, 2008), we derive asymptotics for the numbers of three basic types of decomposable combinatorial structures (or, equivalently, ideal gas models in statistical mechanics) of size n, when their Dirichlet generating functions have multiple simple poles on the positive real axis. Examples to which our theorem applies include ones related to vector partitions and quantum field theory. Our asymptotic formula for the number of weighted partitions disproves the belief accepted in the physics literature that the main term in the asymptotics is determined by the rightmost pole.
The Levy sections theorem revisited
International Nuclear Information System (INIS)
Figueiredo, Annibal; Gleria, Iram; Matsushita, Raul; Silva, Sergio Da
2007-01-01
This paper revisits the Levy sections theorem. We extend the scope of the theorem to time series and apply it to historical daily returns of selected dollar exchange rates. The elevated kurtosis usually observed in such series is then explained by their volatility patterns. And the duration of exchange rate pegs explains the extra elevated kurtosis in the exchange rates of emerging markets. In the end, our extension of the theorem provides an approach that is simpler than the more common explicit modelling of fat tails and dependence. Our main purpose is to build up a technique based on the sections that allows one to artificially remove the fat tails and dependence present in a data set. By analysing data through the lenses of the Levy sections theorem one can find common patterns in otherwise very different data sets
The Levy sections theorem revisited
Figueiredo, Annibal; Gleria, Iram; Matsushita, Raul; Da Silva, Sergio
2007-06-01
This paper revisits the Levy sections theorem. We extend the scope of the theorem to time series and apply it to historical daily returns of selected dollar exchange rates. The elevated kurtosis usually observed in such series is then explained by their volatility patterns. And the duration of exchange rate pegs explains the extra elevated kurtosis in the exchange rates of emerging markets. In the end, our extension of the theorem provides an approach that is simpler than the more common explicit modelling of fat tails and dependence. Our main purpose is to build up a technique based on the sections that allows one to artificially remove the fat tails and dependence present in a data set. By analysing data through the lenses of the Levy sections theorem one can find common patterns in otherwise very different data sets.
Integrable equations, addition theorems, and the Riemann-Schottky problem
International Nuclear Information System (INIS)
Buchstaber, Viktor M; Krichever, I M
2006-01-01
The classical Weierstrass theorem claims that, among the analytic functions, the only functions admitting an algebraic addition theorem are the elliptic functions and their degenerations. This survey is devoted to far-reaching generalizations of this result that are motivated by the theory of integrable systems. The authors discovered a strong form of the addition theorem for theta functions of Jacobian varieties, and this form led to new approaches to known problems in the geometry of Abelian varieties. It is shown that strong forms of addition theorems arise naturally in the theory of the so-called trilinear functional equations. Diverse aspects of the approaches suggested here are discussed, and some important open problems are formulated.
Asymptotic representation theorems for poverty indices | Lo | Afrika ...
African Journals Online (AJOL)
Abstract. We set general conditions under which the general poverty index, which summarizes all the available indices, is asymptotically represented with some empirical processes. This representation theorem offers a general key, in most directions, for the asymptotic of the bulk of poverty indices and issues in poverty ...
The Second Noether Theorem on Time Scales
Directory of Open Access Journals (Sweden)
Agnieszka B. Malinowska
2013-01-01
Full Text Available We extend the second Noether theorem to variational problems on time scales. As corollaries we obtain the classical second Noether theorem, the second Noether theorem for the h-calculus and the second Noether theorem for the q-calculus.
Factor and Remainder Theorems: An Appreciation
Weiss, Michael
2016-01-01
The high school curriculum sometimes seems like a disconnected collection of topics and techniques. Theorems like the factor theorem and the remainder theorem can play an important role as a conceptual "glue" that holds the curriculum together. These two theorems establish the connection between the factors of a polynomial, the solutions…
Unified quantum no-go theorems and transforming of quantum pure states in a restricted set
Luo, Ming-Xing; Li, Hui-Ran; Lai, Hong; Wang, Xiaojun
2017-12-01
The linear superposition principle in quantum mechanics is essential for several no-go theorems such as the no-cloning theorem, the no-deleting theorem and the no-superposing theorem. In this paper, we investigate general quantum transformations forbidden or permitted by the superposition principle for various goals. First, we prove a no-encoding theorem that forbids linearly superposing of an unknown pure state and a fixed pure state in Hilbert space of a finite dimension. The new theorem is further extended for multiple copies of an unknown state as input states. These generalized results of the no-encoding theorem include the no-cloning theorem, the no-deleting theorem and the no-superposing theorem as special cases. Second, we provide a unified scheme for presenting perfect and imperfect quantum tasks (cloning and deleting) in a one-shot manner. This scheme may lead to fruitful results that are completely characterized with the linear independence of the representative vectors of input pure states. The upper bounds of the efficiency are also proved. Third, we generalize a recent superposing scheme of unknown states with a fixed overlap into new schemes when multiple copies of an unknown state are as input states.
Four theorems on the psychometric function.
May, Keith A; Solomon, Joshua A
2013-01-01
In a 2-alternative forced-choice (2AFC) discrimination task, observers choose which of two stimuli has the higher value. The psychometric function for this task gives the probability of a correct response for a given stimulus difference, Δx. This paper proves four theorems about the psychometric function. Assuming the observer applies a transducer and adds noise, Theorem 1 derives a convenient general expression for the psychometric function. Discrimination data are often fitted with a Weibull function. Theorem 2 proves that the Weibull "slope" parameter, β, can be approximated by β(Noise) x β(Transducer), where β(Noise) is the β of the Weibull function that fits best to the cumulative noise distribution, and β(Transducer) depends on the transducer. We derive general expressions for β(Noise) and β(Transducer), from which we derive expressions for specific cases. One case that follows naturally from our general analysis is Pelli's finding that, when d' ∝ (Δx)(b), β ≈ β(Noise) x b. We also consider two limiting cases. Theorem 3 proves that, as sensitivity improves, 2AFC performance will usually approach that for a linear transducer, whatever the actual transducer; we show that this does not apply at signal levels where the transducer gradient is zero, which explains why it does not apply to contrast detection. Theorem 4 proves that, when the exponent of a power-function transducer approaches zero, 2AFC performance approaches that of a logarithmic transducer. We show that the power-function exponents of 0.4-0.5 fitted to suprathreshold contrast discrimination data are close enough to zero for the fitted psychometric function to be practically indistinguishable from that of a log transducer. Finally, Weibull β reflects the shape of the noise distribution, and we used our results to assess the recent claim that internal noise has higher kurtosis than a Gaussian. Our analysis of β for contrast discrimination suggests that, if internal noise is stimulus
Four theorems on the psychometric function.
Directory of Open Access Journals (Sweden)
Keith A May
Full Text Available In a 2-alternative forced-choice (2AFC discrimination task, observers choose which of two stimuli has the higher value. The psychometric function for this task gives the probability of a correct response for a given stimulus difference, Δx. This paper proves four theorems about the psychometric function. Assuming the observer applies a transducer and adds noise, Theorem 1 derives a convenient general expression for the psychometric function. Discrimination data are often fitted with a Weibull function. Theorem 2 proves that the Weibull "slope" parameter, β, can be approximated by β(Noise x β(Transducer, where β(Noise is the β of the Weibull function that fits best to the cumulative noise distribution, and β(Transducer depends on the transducer. We derive general expressions for β(Noise and β(Transducer, from which we derive expressions for specific cases. One case that follows naturally from our general analysis is Pelli's finding that, when d' ∝ (Δx(b, β ≈ β(Noise x b. We also consider two limiting cases. Theorem 3 proves that, as sensitivity improves, 2AFC performance will usually approach that for a linear transducer, whatever the actual transducer; we show that this does not apply at signal levels where the transducer gradient is zero, which explains why it does not apply to contrast detection. Theorem 4 proves that, when the exponent of a power-function transducer approaches zero, 2AFC performance approaches that of a logarithmic transducer. We show that the power-function exponents of 0.4-0.5 fitted to suprathreshold contrast discrimination data are close enough to zero for the fitted psychometric function to be practically indistinguishable from that of a log transducer. Finally, Weibull β reflects the shape of the noise distribution, and we used our results to assess the recent claim that internal noise has higher kurtosis than a Gaussian. Our analysis of β for contrast discrimination suggests that, if internal noise is
The universality of the Carnot theorem
International Nuclear Information System (INIS)
Gonzalez-Ayala, Julian; Angulo-Brown, F
2013-01-01
It is common in many thermodynamics textbooks to illustrate the Carnot theorem through the use of diverse state equations for gases, paramagnets, and other simple thermodynamic systems. As is well known, the universality of the Carnot efficiency is easily demonstrated in a temperature–entropy diagram, which means that η C is independent of the working substance. In this paper we remark that the universality of the Carnot theorem goes beyond conventional state equations, and is fulfilled by gas state equations that do not correspond to an ideal gas in the dilution limit, namely V → ∞. Some of these unconventional state equations have certain thermodynamic ‘anomalies’ that nonetheless do not forbid them from obeying the Carnot theorem. We discuss how this very general behaviour arises from Maxwell relations, which are connected with a geometrical property expressed through preserving area transformations. A rule is proposed to calculate the Maxwell relations associated with a thermodynamic system by using the preserving area relationships. In this way it is possible to calculate the number of possible preserving area mappings by giving the number of possible Jacobian identities between all pairs of thermodynamic variables included in the corresponding Gibbs equation. This paper is intended for undergraduates and specialists in thermodynamics and related areas. (paper)
Joint probability distributions and fluctuation theorems
International Nuclear Information System (INIS)
García-García, Reinaldo; Kolton, Alejandro B; Domínguez, Daniel; Lecomte, Vivien
2012-01-01
We derive various exact results for Markovian systems that spontaneously relax to a non-equilibrium steady state by using joint probability distribution symmetries of different entropy production decompositions. The analytical approach is applied to diverse problems such as the description of the fluctuations induced by experimental errors, for unveiling symmetries of correlation functions appearing in fluctuation–dissipation relations recently generalized to non-equilibrium steady states, and also for mapping averages between different trajectory-based dynamical ensembles. Many known fluctuation theorems arise as special instances of our approach for particular twofold decompositions of the total entropy production. As a complement, we also briefly review and synthesize the variety of fluctuation theorems applying to stochastic dynamics of both continuous systems described by a Langevin dynamics and discrete systems obeying a Markov dynamics, emphasizing how these results emerge from distinct symmetries of the dynamical entropy of the trajectory followed by the system. For Langevin dynamics, we embed the 'dual dynamics' with a physical meaning, and for Markov systems we show how the fluctuation theorems translate into symmetries of modified evolution operators
Out-of-time-order fluctuation-dissipation theorem
Tsuji, Naoto; Shitara, Tomohiro; Ueda, Masahito
2018-01-01
We prove a generalized fluctuation-dissipation theorem for a certain class of out-of-time-ordered correlators (OTOCs) with a modified statistical average, which we call bipartite OTOCs, for general quantum systems in thermal equilibrium. The difference between the bipartite and physical OTOCs defined by the usual statistical average is quantified by a measure of quantum fluctuations known as the Wigner-Yanase skew information. Within this difference, the theorem describes a universal relation between chaotic behavior in quantum systems and a nonlinear-response function that involves a time-reversed process. We show that the theorem can be generalized to higher-order n -partite OTOCs as well as in the form of generalized covariance.
Generalized entropy production fluctuation theorems for quantum ...
Indian Academy of Sciences (India)
rems have helped us in understanding how thermodynamic irreversibility arises ... This is a statement of second law of thermodynamics, expressed in the form of inequality ...... One of the authors (AMJ) thanks DST, India for financial support.
Fixed point theorems for generalized Lipschitzian semigroups
Directory of Open Access Journals (Sweden)
Jong Soo Jung
2001-01-01
semigroup of K into itself, that is, for s∈G, ‖Tsx−Tsy‖≤as‖x−y‖+bs(‖x−Tsx‖+‖y−Tsy‖+cs(‖x−Tsy‖+‖y−Tsx‖, for x,y∈K where as,bs,cs>0 such that there exists a t1∈G such that bs+cs<1 for all s≽t1. It is proved that if there exists a closed subset C of K such that ⋂sco¯{Ttx:t≽s}⊂C for all x∈K, then with [(α+βp(αp⋅2p−1−1/(cp−2p−1βp⋅Np]1/p<1 has a common fixed point, where α=lim sups(as+bs+cs/(1-bs-cs and β=lim sups(2bs+2cs/(1-bs-cs.
Generalizations of some zero sum theorems
Indian Academy of Sciences (India)
Let G be an abelian group of order n, written additively. The Davenport constant D(G) is defined to be the smallest natural number t such that any sequence of length t over G has a non-empty subsequence whose sum is zero. Another combinatorial invariant E(G). (known as the EGZ constant) is the smallest natural number t ...
Optimal no-go theorem on hidden-variable predictions of effect expectations
Blass, Andreas; Gurevich, Yuri
2018-03-01
No-go theorems prove that, under reasonable assumptions, classical hidden-variable theories cannot reproduce the predictions of quantum mechanics. Traditional no-go theorems proved that hidden-variable theories cannot predict correctly the values of observables. Recent expectation no-go theorems prove that hidden-variable theories cannot predict the expectations of observables. We prove the strongest expectation-focused no-go theorem to date. It is optimal in the sense that the natural weakenings of the assumptions and the natural strengthenings of the conclusion make the theorem fail. The literature on expectation no-go theorems strongly suggests that the expectation-focused approach is more general than the value-focused one. We establish that the expectation approach is not more general.
More on Weinberg's no-go theorem in quantum gravity
Nagahama, Munehiro; Oda, Ichiro
2018-05-01
We complement Weinberg's no-go theorem on the cosmological constant problem in quantum gravity by generalizing it to the case of a scale-invariant theory. Our analysis makes use of the effective action and the BRST symmetry in a manifestly covariant quantum gravity instead of the classical Lagrangian density and the G L (4 ) symmetry in classical gravity. In this sense, our proof is very general since it does not depend on details of quantum gravity and holds true for general gravitational theories which are invariant under diffeomorphisms. As an application of our theorem, we comment on an idea that in the asymptotic safety scenario the functional renormalization flow drives a cosmological constant to zero, solving the cosmological constant problem without reference to fine tuning of parameters. Finally, we also comment on the possibility of extending the Weinberg theorem in quantum gravity to the case where the translational invariance is spontaneously broken.
A Maximal Element Theorem in FWC-Spaces and Its Applications
Hu, Qingwen; Miao, Yulin
2014-01-01
A maximal element theorem is proved in finite weakly convex spaces (FWC-spaces, in short) which have no linear, convex, and topological structure. Using the maximal element theorem, we develop new existence theorems of solutions to variational relation problem, generalized equilibrium problem, equilibrium problem with lower and upper bounds, and minimax problem in FWC-spaces. The results represented in this paper unify and extend some known results in the literature. PMID:24782672
Preservation theorems on finite structures
International Nuclear Information System (INIS)
Hebert, M.
1994-09-01
This paper concerns classical Preservation results applied to finite structures. We consider binary relations for which a strong form of preservation theorem (called strong interpolation) exists in the usual case. This includes most classical cases: embeddings, extensions, homomorphisms into and onto, sandwiches, etc. We establish necessary and sufficient syntactic conditions for the preservation theorems for sentences and for theories to hold in the restricted context of finite structures. We deduce that for all relations above, the restricted theorem for theories hold provided the language is finite. For the sentences the restricted version fails in most cases; in fact the ''homomorphism into'' case seems to be the only possible one, but the efforts to show that have failed. We hope our results may help to solve this frustrating problem; in the meantime, they are used to put a lower bound on the level of complexity of potential counterexamples. (author). 8 refs
The Goldstone equivalence theorem and AdS/CFT
Energy Technology Data Exchange (ETDEWEB)
Anand, Nikhil; Cantrell, Sean [Department of Physics & Astronomy, Johns Hopkins University,Baltimore, MD 21218 (United States)
2015-08-03
The Goldstone equivalence theorem allows one to relate scattering amplitudes of massive gauge fields to those of scalar fields in the limit of large scattering energies. We generalize this theorem under the framework of the AdS/CFT correspondence. First, we obtain an expression of the equivalence theorem in terms of correlation functions of creation and annihilation operators by using an AdS wave function approach to the AdS/CFT dictionary. It is shown that the divergence of the non-conserved conformal current dual to the bulk gauge field is approximately primary when computing correlators for theories in which the masses of all the exchanged particles are sufficiently large. The results are then generalized to higher spin fields. We then go on to generalize the theorem using conformal blocks in two and four-dimensional CFTs. We show that when the scaling dimensions of the exchanged operators are large compared to both their spins and the dimension of the current, the conformal blocks satisfy an equivalence theorem.
Theorem on magnet fringe field
International Nuclear Information System (INIS)
Wei, Jie; Talman, R.
1995-01-01
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 (b n ) and skew (a n ) multipoles, B y + iB x = summation(b n + ia n )(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 a n , bar b n , bar B x , and bar B y 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 |Δp 0 |, 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 B x from the vicinity of one magnet end since, along a path parallel to the magnet axis such as path BC
Scale symmetry and virial theorem
International Nuclear Information System (INIS)
Westenholz, C. von
1978-01-01
Scale symmetry (or dilatation invariance) is discussed in terms of Noether's Theorem expressed in terms of a symmetry group action on phase space endowed with a symplectic structure. The conventional conceptual approach expressing invariance of some Hamiltonian under scale transformations is re-expressed in alternate form by infinitesimal automorphisms of the given symplectic structure. That is, the vector field representing scale transformations leaves the symplectic structure invariant. In this model, the conserved quantity or constant of motion related to scale symmetry is the virial. It is shown that the conventional virial theorem can be derived within this framework
Nonperturbative Adler-Bardeen theorem
International Nuclear Information System (INIS)
Mastropietro, Vieri
2007-01-01
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
Noncommutative gauge theories and Kontsevich's formality theorem
International Nuclear Information System (INIS)
Jurco, B.; Schupp, P.; Wess, J.
2001-01-01
The equivalence of star products that arise from the background field with and without fluctuations and Kontsevich's formality theorem allow an explicitly construction of a map that relates ordinary gauge theory and noncommutative gauge theory (Seiberg-Witten map.) Using noncommutative extra dimensions the construction is extended to noncommutative nonabelian gauge theory for arbitrary gauge groups; as a byproduct we obtain a 'Mini Seiberg-Witten map' that explicitly relates ordinary abelian and nonabelian gauge fields. All constructions are also valid for non-constant B-field, and even more generally for any Poisson tensor
No-cloning theorem on quantum logics
International Nuclear Information System (INIS)
Miyadera, Takayuki; Imai, Hideki
2009-01-01
This paper discusses the no-cloning theorem in a logicoalgebraic approach. In this approach, an orthoalgebra is considered as a general structure for propositions in a physical theory. We proved that an orthoalgebra admits cloning operation if and only if it is a Boolean algebra. That is, only classical theory admits the cloning of states. If unsharp propositions are to be included in the theory, then a notion of effect algebra is considered. We proved that an atomic Archimedean effect algebra admitting cloning operation is a Boolean algebra. This paper also presents a partial result, indicating a relation between the cloning on effect algebras and hidden variables.
On the proof of the first Carnot theorem in thermodynamics
International Nuclear Information System (INIS)
Morad, M R; Momeni, F
2013-01-01
The proof of the first Carnot theorem in classical thermodynamics is revisited in this study. The underlying conditions of a general proof of this principle presented by Senft (1978 Phys. Educ. 13 35–37) are explored and discussed. These conditions are analysed in more detail using a physical description of heat and work to present a simpler proof of the first principle prior to using the violation of the second law of thermodynamics. Finally, a new simple proof is also presented based on Gibbs relation. This discussion will benefit the teaching of classical thermodynamics and promote better understanding of the proof of the first Carnot theorem in general form. (paper)
Dispersive approach to the axial anomaly and nonrenormalization theorem
International Nuclear Information System (INIS)
Pasechnik, R.S.; Teryaev, O.V.
2006-01-01
Anomalous triangle graphs for the divergence of the axial-vector current are studied using the dispersive approach generalized for the case of higher orders of perturbation theory. The validity of this procedure is proved up to the two-loop level. By direct calculation in the framework of dispersive approach we have obtained that the two-loop axial-vector-vector (AVV) amplitude is equal to zero. According to the Vainshtein's theorem, the transversal part of the anomalous triangle is not renormalized in the chiral limit. We generalize this theorem for the case of finite fermion mass in the triangle loop
Restriction Theorem for Principal bundles in Arbitrary Characteristic
DEFF Research Database (Denmark)
Gurjar, Sudarshan
2015-01-01
The aim of this paper is to prove two basic restriction theorem for principal bundles on smooth projective varieties in arbitrary characteristic generalizing the analogues theorems of Mehta-Ramanathan for vector bundles. More precisely, let G be a reductive algebraic group over an algebraically...... closed field k and let X be a smooth, projective variety over k together with a very ample line bundle O(1). The main result of the paper is that if E is a semistable (resp. stable) principal G-bundle on X w.r.t O(1), then the restriction of E to a general, high multi-degree, complete-intersection curve...
Radon-Nikodym type theorem for α-completely positive maps
International Nuclear Information System (INIS)
Heo, Jaeseong; Ji, Un Cig
2010-01-01
We introduce a new notion of α-completely positive map on a C*-algebra as a generalization of the notion of completely positive map. Then we study a theorem of the Radon-Nikodym type that there is a one-to-one correspondence between α-completely positive maps and positive operators and, as an application of the Radon-Nikodym type theorem, we give a characterization of pure α-completely positive maps. Finally, we study a covariant version of the Stinespring's theorem for a covariant α-completely positive map (see Theorem 4.3).
Weyl's Equidistribution Theorem
Indian Academy of Sciences (India)
of fractional parts of integral multiples of 11 is dense in. (0, 1). ... Denote the fractional part of any x E R by (x); notice that (x) E [0 ... of square roots of natural numbers is equidistributed modulo 1. GENERAL I ARTICLE. The property of equidistribution of (un) can also be ex- pressed in terms of the discrepancy as follows. First ...
Dynamic Newton-Puiseux Theorem
DEFF Research Database (Denmark)
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...
Opechowski's theorem and commutator groups
International Nuclear Information System (INIS)
Caride, A.O.; Zanette, S.I.
1985-01-01
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) [pt
Shell theorem for spontaneous emission
DEFF Research Database (Denmark)
Kristensen, Philip Trøst; Mortensen, Jakob Egeberg; Lodahl, Peter
2013-01-01
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....
KLN theorem and infinite statistics
International Nuclear Information System (INIS)
Grandou, T.
1992-01-01
The possible extension of the Kinoshita-Lee-Nauenberg (KLN) theorem to the case of infinite statistics is examined. It is shown that it appears as a stable structure in a quantum field theory context. The extension is provided by working out the Fock space realization of a 'quantum algebra'. (author) 2 refs
The Geometric Mean Value Theorem
de Camargo, André Pierro
2018-01-01
In a previous article published in the "American Mathematical Monthly," Tucker ("Amer Math Monthly." 1997; 104(3): 231-240) made severe criticism on the Mean Value Theorem and, unfortunately, the majority of calculus textbooks also do not help to improve its reputation. The standard argument for proving it seems to be applying…
Fermion fractionization and index theorem
International Nuclear Information System (INIS)
Hirayama, Minoru; Torii, Tatsuo
1982-01-01
The relation between the fermion fractionization and the Callias-Bott-Seeley index theorem for the Dirac operator in the open space of odd dimension is clarified. Only the case of one spatial dimension is discussed in detail. Sum rules for the expectation values of various quantities in fermion-fractionized configurations are derived. (author)
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.)
Optical theorem and its history
International Nuclear Information System (INIS)
Newton, R.G.
1978-01-01
A translation is presented of a paper submitted to the symposium ''Concepts and methods in microscopic physics'' held at Washington University in 1974. A detailed description is given of the history of the optical theorem, its various formulations and derivations and its use in the scattering theory. (Z.J.)
On the Fourier integral theorem
Koekoek, J.
1987-01-01
Introduction. In traditional proofs of convergence of Fourier series and of the Fourier integraI theorem basic tools are the theory of Dirichlet integraIs and the Riemann-Lebesgue lemma. Recently CHERNOFF [I) and REoIlEFFER (2) gave new proofs of convergenceof Fourier series which make no use of the
An extended characterisation theorem for quantum logics
International Nuclear Information System (INIS)
Sharma, C.S.; Mukherjee, M.K.
1977-01-01
Two theorems are proved. In the first properties of an important mapping from an orthocomplemented lattice to itself are studied. In the second the characterisation theorem of Zierler (Pacific J. Math.; 11:1151 (1961)) is extended to obtain a very useful theorem characterising orthomodular lattices. Since quantum logics are merely sigma-complete orthomodular lattices, the principal result is, for application in quantum physics, a characterisation theorem for quantum logics. (author)
A definability theorem for first order logic
Butz, C.; Moerdijk, I.
1997-01-01
In this paper we will present a definability theorem for first order logic This theorem is very easy to state and its proof only uses elementary tools To explain the theorem let us first observe that if M is a model of a theory T in a language L then clearly any definable subset S M ie a subset S
Extension of Kirk-Saliga Fixed Point Theorem in a Metric Space with a Reflexive Digraph
Directory of Open Access Journals (Sweden)
Karim Chaira
2018-01-01
Full Text Available We extend the result of Kirk-Saliga and we generalize Alfuraidan and Khamsi theorem for reflexive graphs. As a consequence, we obtain the ordered version of Caristi’s fixed point theorem. Some concrete examples are given to support the obtained results.
Stochastic thermodynamics, fluctuation theorems and molecular machines
International Nuclear Information System (INIS)
Seifert, Udo
2012-01-01
Stochastic thermodynamics as reviewed here systematically provides a framework for extending the notions of classical thermodynamics such as work, heat and entropy production to the level of individual trajectories of well-defined non-equilibrium ensembles. It applies whenever a non-equilibrium process is still coupled to one (or several) heat bath(s) of constant temperature. Paradigmatic systems are single colloidal particles in time-dependent laser traps, polymers in external flow, enzymes and molecular motors in single molecule assays, small biochemical networks and thermoelectric devices involving single electron transport. For such systems, a first-law like energy balance can be identified along fluctuating trajectories. For a basic Markovian dynamics implemented either on the continuum level with Langevin equations or on a discrete set of states as a master equation, thermodynamic consistency imposes a local-detailed balance constraint on noise and rates, respectively. Various integral and detailed fluctuation theorems, which are derived here in a unifying approach from one master theorem, constrain the probability distributions for work, heat and entropy production depending on the nature of the system and the choice of non-equilibrium conditions. For non-equilibrium steady states, particularly strong results hold like a generalized fluctuation–dissipation theorem involving entropy production. Ramifications and applications of these concepts include optimal driving between specified states in finite time, the role of measurement-based feedback processes and the relation between dissipation and irreversibility. Efficiency and, in particular, efficiency at maximum power can be discussed systematically beyond the linear response regime for two classes of molecular machines, isothermal ones such as molecular motors, and heat engines such as thermoelectric devices, using a common framework based on a cycle decomposition of entropy production. (review article)
Tight closure and vanishing theorems
International Nuclear Information System (INIS)
Smith, K.E.
2001-01-01
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
Formalization of the Integral Calculus in the PVS Theorem Prover
Directory of Open Access Journals (Sweden)
Ricky Wayne Butler
2009-04-01
Full Text Available The PVS Theorem prover is a widely used formal verification tool used for the analysis of safetycritical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht’s classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.
Formalization of the Integral Calculus in the PVS Theorem Prover
Butler, Ricky W.
2004-01-01
The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.
Non-renormalization theorems andN=2 supersymmetric backgrounds
International Nuclear Information System (INIS)
Butter, Daniel; Wit, Bernard de; Lodato, Ivano
2014-01-01
The conditions for fully supersymmetric backgrounds of general N = 2 locally supersymmetric theories are derived based on the off-shell superconformal multiplet calculus. This enables the derivation of a non-renormalization theorem for a large class of supersymmetric invariants with higher-derivative couplings. The theorem implies that the invariant and its first order variation must vanish in a fully supersymmetric background. The conjectured relation of one particular higher-derivative invariant with a specific five-dimensional invariant containing the mixed gauge-gravitational Chern-Simons term is confirmed
Radon transformation on reductive symmetric spaces:Support theorems
DEFF Research Database (Denmark)
Kuit, Job Jacob
2013-01-01
We introduce a class of Radon transforms for reductive symmetric spaces, including the horospherical transforms, and derive support theorems for these transforms. A reductive symmetric space is a homogeneous space G/H for a reductive Lie group G of the Harish-Chandra class, where H is an open sub...... is based on the relation between the Radon transform and the Fourier transform on G/H, and a Paley–Wiener-shift type argument. Our results generalize the support theorem of Helgason for the Radon transform on a Riemannian symmetric space....
Testing subleading multiple soft graviton theorem for CHY prescription
Chakrabarti, Subhroneel; Kashyap, Sitender Pratap; Sahoo, Biswajit; Sen, Ashoke; Verma, Mritunjay
2018-01-01
In arXiv:1707.06803 we derived the subleading multiple soft graviton theorem in a generic quantum theory of gravity for arbitrary number of soft external gravitons and arbitrary number of finite energy external states carrying arbitrary mass and spin. In this paper we verify this explicitly using the CHY formula for tree level scattering amplitudes of arbitrary number of gravitons in Einstein gravity. We pay special care to fix the signs of the amplitudes and resolve an apparent discrepancy between our general results in arXiv:1707.06803 and previous results on soft graviton theorem from CHY formula.
Convergence theorems for Banach space valued integrable multifunctions
Directory of Open Access Journals (Sweden)
Nikolaos S. Papageorgiou
1987-01-01
Full Text Available In this work we generalize a result of Kato on the pointwise behavior of a weakly convergent sequence in the Lebesgue-Bochner spaces LXP(Ω (1≤p≤∞. Then we use that result to prove Fatou's type lemmata and dominated convergence theorems for the Aumann integral of Banach space valued measurable multifunctions. Analogous convergence results are also proved for the sets of integrable selectors of those multifunctions. In the process of proving those convergence theorems we make some useful observations concerning the Kuratowski-Mosco convergence of sets.
The Completeness Theorem of Gödel - An Introduction to ...
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 6; Issue 7. The Completeness Theorem of Gödel - An Introduction to Mathematical Logic. S M Srivastava. General Article Volume 6 Issue 7 July 2001 pp 29-41. Fulltext. Click here to view fulltext PDF. Permanent link:
Quantum Many-Body Virial Theorem And Matsubara Green's Function
International Nuclear Information System (INIS)
Anma, D.; Fukuda, T.; Fujita, M.; Toyoda, T.; Takiuchi, K.
2004-01-01
We discuss the quantum field theoretical formulation of the virial theorem on the basis of the canonical field theory of the generalized coordinate transformation and show the equation of motion of a charged Fermion system coupled to an electromagnetic field. Possible application to Fermion-Boson mixtures is also discussed
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics
Czech Academy of Sciences Publication Activity Database
Glivický, Petr; Kala, V.
2017-01-01
Roč. 63, 3-4 (2017), s. 162-174 ISSN 0942-5616 EU Projects: European Commission(XE) 339691 - FEALORA Institutional support: RVO:67985840 Keywords : Fermat's last theorem * Catalan's conjecture Subject RIV: BA - General Mathematics OBOR OECD: Pure mathematics Impact factor: 0.250, year: 2016 http://onlinelibrary.wiley.com/doi/10.1002/malq.201500069/full
Szegö's theorem on Parreau-Widom sets
DEFF Research Database (Denmark)
Christiansen, Jacob Stordal
2012-01-01
In this paper, we generalize Szego's theorem for orthogonal polynomials on the real line to infinite gap sets of Parreau–Widom type. This notion includes Cantor sets of positive measure. The Szego condition involves the equilibrium measure which in turn is absolutely continuous. Our approach builds...
Modulus of smoothness and theorems concerning approximation on compact groups
Directory of Open Access Journals (Sweden)
H. Vaezi
2003-01-01
Full Text Available We consider the generalized shift operator defined by (Shuf(g=∫Gf(tut−1gdt on a compact group G, and by using this operator, we define spherical modulus of smoothness. So, we prove Stechkin and Jackson-type theorems.
Radon transformation on reductive symmetric spaces: support theorems
Kuit, J.J.|info:eu-repo/dai/nl/313872589
2011-01-01
In this thesis we introduce a class of Radon transforms for reductive symmetric spaces, including the horospherical transforms, and study some of their properties. In particular we obtain a generalization of Helgason's support theorem for the horospherical transform on a Riemannian symmetric space.
An Experiment on a Physical Pendulum and Steiner's Theorem
Russeva, G. B.; Tsutsumanova, G. G.; Russev, S. C.
2010-01-01
Introductory physics laboratory curricula usually include experiments on the moment of inertia, the centre of gravity, the harmonic motion of a physical pendulum, and Steiner's theorem. We present a simple experiment using very low cost equipment for investigating these subjects in the general case of an asymmetrical test body. (Contains 3 figures…
Birkhoff-Kellogg theorems on invariant directions for multimaps
Directory of Open Access Journals (Sweden)
Donal O'Regan
2003-04-01
Full Text Available We establish Birkhoff-Kellogg type theorems on invariant directions for a general class of maps. Our results, in particular, apply to Kakutani, acyclic, O'Neill, approximable, admissible, and Ã°ÂÂ’Â°cÃŽÂº maps.
The Semantic Isomorphism Theorem in Abstract Algebraic Logic
Czech Academy of Sciences Publication Activity Database
Moraschini, Tommaso
2016-01-01
Roč. 167, č. 12 (2016), s. 1298-1331 ISSN 0168-0072 R&D Projects: GA ČR GA13-14654S Institutional support: RVO:67985807 Keywords : algebra izable logics * abstract algebra ic logic * structural closure operators * semantic isomorphism theorem * evaluational frames * compositional lattice Subject RIV: BA - General Mathematics Impact factor: 0.647, year: 2016
Quantum de Finetti theorem in phase-space representation
International Nuclear Information System (INIS)
Leverrier, Anthony; Cerf, Nicolas J.
2009-01-01
The quantum versions of de Finetti's theorem derived so far express the convergence of n-partite symmetric states, i.e., states that are invariant under permutations of their n parties, toward probabilistic mixtures of independent and identically distributed (IID) states of the form σ xn . Unfortunately, these theorems only hold in finite-dimensional Hilbert spaces, and their direct generalization to infinite-dimensional Hilbert spaces is known to fail. Here, we address this problem by considering invariance under orthogonal transformations in phase space instead of permutations in state space, which leads to a quantum de Finetti theorem particularly relevant to continuous-variable systems. Specifically, an n-mode bosonic state that is invariant with respect to this continuous symmetry in phase space is proven to converge toward a probabilistic mixture of IID Gaussian states (actually, n identical thermal states).
An improved version of the Mar otto Theorem
International Nuclear Information System (INIS)
Li Changpin; Chen Guanrong
2003-01-01
In 1975, Li and Yorke introduced the first precise definition of discrete chaos and established a very simple criterion for chaos in one-dimensional difference equations, 'period three implies chaos' for brevity. After three years. Marotto generalized this result to n-dimensional difference equations, showing that the existence of a snap-back repeller implies chaos in the sense of Li-Yorke. This theorem is up to now the best one in predicting and analyzing discrete chaos in multidimensional difference equations. Yet, it is well known that there exists an error in the condition of the original Marotto Theorem, and several authors had tried to correct it in different ways. In this paper, we further clarify the issue, with an improved version of the Marotto Theorem derived
Kochen-Specker theorem studied with neutron interferometer.
Hasegawa, Yuji; Durstberger-Rennhofer, Katharina; Sponar, Stephan; Rauch, Helmut
2011-04-01
The Kochen-Specker theorem shows the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291±0.008≰1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.
Kochen-Specker theorem studied with neutron interferometer
Energy Technology Data Exchange (ETDEWEB)
Hasegawa, Yuji, E-mail: Hasegawa@ati.ac.a [Atominstitut, Technische Universitaet Wien, Stadionallee 2, A-1020 Wien (Austria); Durstberger-Rennhofer, Katharina; Sponar, Stephan; Rauch, Helmut [Atominstitut, Technische Universitaet Wien, Stadionallee 2, A-1020 Wien (Austria)
2011-04-01
The Kochen-Specker theorem shows the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291{+-}0.008 not {<=} 1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.
Limit theorems for multi-indexed sums of random variables
Klesov, Oleg
2014-01-01
Presenting the first unified treatment of limit theorems for multiple sums of independent random variables, this volume fills an important gap in the field. Several new results are introduced, even in the classical setting, as well as some new approaches that are simpler than those already established in the literature. In particular, new proofs of the strong law of large numbers and the Hajek-Renyi inequality are detailed. Applications of the described theory include Gibbs fields, spin glasses, polymer models, image analysis and random shapes. Limit theorems form the backbone of probability theory and statistical theory alike. The theory of multiple sums of random variables is a direct generalization of the classical study of limit theorems, whose importance and wide application in science is unquestionable. However, to date, the subject of multiple sums has only been treated in journals. The results described in this book will be of interest to advanced undergraduates, graduate students and researchers who ...
Some commutativity theorems for a certain class of rings
International Nuclear Information System (INIS)
Khan, M.A.
1994-08-01
In the present paper we first establish the commutativity theorem for semiprime ring satisfying the polynomial identity [x n ,y]x r = ±y s [x,y m ]y t for all x,y in R, where m,n,r,s and t are fixed nonnegative integers, and further, we investigate commutativity of rings with unity under some additional hypothesis. Moreover, it is also shown that the above result is true for s-unital. Also, we provide some counter examples which show that the hypothesis of our theorems are not altogether superfluous. The results of this paper generalize some of the well-known commutativity theorems for rings which are right s-unital. (author). 21 refs
Kochen-Specker theorem studied with neutron interferometer
International Nuclear Information System (INIS)
Hasegawa, Yuji; Durstberger-Rennhofer, Katharina; Sponar, Stephan; Rauch, Helmut
2011-01-01
The Kochen-Specker theorem shows the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291±0.008 not ≤ 1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.
Towards a Novel no-hair Theorem for Black Holes
Hertog, T
2006-01-01
We provide strong numerical evidence for a new no-scalar-hair theorem for black holes in general relativity, which rules out spherical scalar hair of static four dimensional black holes if the scalar field theory, when coupled to gravity, satisfies the Positive Energy Theorem. This sheds light on the no-scalar-hair conjecture for Calabi-Yau compactifications of string theory, where the effective potential typically has negative regions but where supersymmetry ensures the total energy is always positive. In theories where the scalar tends to a negative local maximum of the potential at infinity, we find the no-scalar-hair theorem holds provided the asymptotic conditions are invariant under the full anti-de Sitter symmetry group.
A Randomized Central Limit Theorem
International Nuclear Information System (INIS)
Eliazar, Iddo; Klafter, Joseph
2010-01-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 Levy laws.
Bell's theorem, accountability and nonlocality
International Nuclear Information System (INIS)
Vona, Nicola; Liang, Yeong-Cherng
2014-01-01
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)
Fluctuation theorems and atypical trajectories
International Nuclear Information System (INIS)
Sahoo, M; Lahiri, S; Jayannavar, A M
2011-01-01
In this work, we have studied simple models that can be solved analytically to illustrate various fluctuation theorems. These fluctuation theorems provide symmetries individually to the distributions of physical quantities such as the classical work (W c ), thermodynamic work (W), total entropy (Δs tot ) and dissipated heat (Q), when the system is driven arbitrarily out of equilibrium. All these quantities can be defined for individual trajectories. We have studied the number of trajectories which exhibit behaviour unexpected at the macroscopic level. As the time of observation increases, the fraction of such atypical trajectories decreases, as expected at the macroscale. The distributions for the thermodynamic work and entropy production in nonlinear models may exhibit a peak (most probable value) in the atypical regime without violating the expected average behaviour. However, dissipated heat and classical work exhibit a peak in the regime of typical behaviour only.
Lectures on Fermat's last theorem
International Nuclear Information System (INIS)
Sury, B.
1993-09-01
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
Pythagoras Theorem and Relativistic Kinematics
Mulaj, Zenun; Dhoqina, Polikron
2010-01-01
In two inertial frames that move in a particular direction, may be registered a light signal that propagates in an angle with this direction. Applying Pythagoras theorem and principles of STR in both systems, we can derive all relativistic kinematics relations like the relativity of simultaneity of events, of the time interval, of the length of objects, of the velocity of the material point, Lorentz transformations, Doppler effect and stellar aberration.
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.
Virial Theorem in Nonlocal Newtonian Gravity
Directory of Open Access Journals (Sweden)
Bahram Mashhoon
2016-05-01
Full Text Available Nonlocal gravity is the recent classical nonlocal generalization of Einstein’s theory of gravitation in which the past history of the gravitational field is taken into account. In this theory, nonlocality appears to simulate dark matter. The virial theorem for the Newtonian regime of nonlocal gravity theory is derived and its consequences for “isolated” astronomical systems in virial equilibrium at the present epoch are investigated. In particular, for a sufficiently isolated nearby galaxy in virial equilibrium, the galaxy’s baryonic diameter D 0 —namely, the diameter of the smallest sphere that completely surrounds the baryonic system at the present time—is predicted to be larger than the effective dark matter fraction f D M times a universal length that is the basic nonlocality length scale λ 0 ≈ 3 ± 2 kpc.
Approximation theorems by Meyer-Koenig and Zeller type operators
International Nuclear Information System (INIS)
Ali Ozarslan, M.; Duman, Oktay
2009-01-01
This paper is mainly connected with the approximation properties of Meyer-Koenig and Zeller (MKZ) type operators. We first introduce a general sequence of MKZ operators based on q-integers and then obtain a Korovkin-type approximation theorem for these operators. We also compute their rates of convergence by means of modulus of continuity and the elements of Lipschitz class functionals. Furthermore, we give an rth order generalization of our operators in order to get some explicit approximation results.
Noether's theorems applications in mechanics and field theory
Sardanashvily, Gennadi
2016-01-01
The book provides a detailed exposition of the calculus of variations on fibre bundles and graded manifolds. It presents applications in such area's as non-relativistic mechanics, gauge theory, gravitation theory and topological field theory with emphasis on energy and energy-momentum conservation laws. Within this general context the first and second Noether theorems are treated in the very general setting of reducible degenerate graded Lagrangian theory.
Gibbs' theorem for open systems with incomplete statistics
International Nuclear Information System (INIS)
Bagci, G.B.
2009-01-01
Gibbs' theorem, which is originally intended for canonical ensembles with complete statistics has been generalized to open systems with incomplete statistics. As a result of this generalization, it is shown that the stationary equilibrium distribution of inverse power law form associated with the incomplete statistics has maximum entropy even for open systems with energy or matter influx. The renormalized entropy definition given in this paper can also serve as a measure of self-organization in open systems described by incomplete statistics.
Confinement, diquarks and goldstone's theorem
International Nuclear Information System (INIS)
Roberts, C.D.
1996-01-01
Determinations of the gluon propagator in the continuum and in lattice simulations are compared. A systematic truncation procedure for the quark Dyson-Schwinger and bound state Bethe-Salpeter equations is described. The procedure ensures the flavor-octet axial- vector Ward identity is satisfied order-by-order, thereby guaranteeing the preservation of Goldstone's theorem; and identifies a mechanism that simultaneously ensures the absence of diquarks in QCD and their presence in QCD N c =2 , where the color singlet diquark is the ''baryon'' of the theory
Comparison theorems in Riemannian geometry
Cheeger, Jeff
2008-01-01
The central theme of this book is the interaction between the curvature of a complete Riemannian manifold and its topology and global geometry. The first five chapters are preparatory in nature. They begin with a very concise introduction to Riemannian geometry, followed by an exposition of Toponogov's theorem-the first such treatment in a book in English. Next comes a detailed presentation of homogeneous spaces in which the main goal is to find formulas for their curvature. A quick chapter of Morse theory is followed by one on the injectivity radius. Chapters 6-9 deal with many of the most re
Bernstein Lethargy Theorem and Reflexivity
Aksoy, Asuman Güven; Peng, Qidi
2018-01-01
In this paper, we prove the equivalence of reflexive Banach spaces and those Banach spaces which satisfy the following form of Bernstein's Lethargy Theorem. Let $X$ be an arbitrary infinite-dimensional Banach space, and let the real-valued sequence $\\{d_n\\}_{n\\ge1}$ decrease to $0$. Suppose that $\\{Y_n\\}_{n\\ge1}$ is a system of strictly nested subspaces of $X$ such that $\\overline Y_n \\subset Y_{n+1}$ for all $n\\ge1$ and for each $n\\ge1$, there exists $y_n\\in Y_{n+1}\\backslash Y_n$ such that ...
Cyclic graphs and Apery's theorem
International Nuclear Information System (INIS)
Sorokin, V N
2002-01-01
This is a survey of results about the behaviour of Hermite-Pade approximants for graphs of Markov functions, and a survey of interpolation problems leading to Apery's result about the irrationality of the value ζ(3) of the Riemann zeta function. The first example is given of a cyclic graph for which the Hermite-Pade problem leads to Apery's theorem. Explicit formulae for solutions are obtained, namely, Rodrigues' formulae and integral representations. The asymptotic behaviour of the approximants is studied, and recurrence formulae are found
Waller, Niels
2018-01-01
Kristof's Theorem (Kristof, 1970 ) describes a matrix trace inequality that can be used to solve a wide-class of least-square optimization problems without calculus. Considering its generality, it is surprising that Kristof's Theorem is rarely used in statistics and psychometric applications. The underutilization of this method likely stems, in part, from the mathematical complexity of Kristof's ( 1964 , 1970 ) writings. In this article, I describe the underlying logic of Kristof's Theorem in simple terms by reviewing four key mathematical ideas that are used in the theorem's proof. I then show how Kristof's Theorem can be used to provide novel derivations to two cognate models from statistics and psychometrics. This tutorial includes a glossary of technical terms and an online supplement with R (R Core Team, 2017 ) code to perform the calculations described in the text.
The BRST quantization and the no-ghost theorem for AdS3
International Nuclear Information System (INIS)
Asano, Masako; Natsuume, Makoto
2003-01-01
In our previous papers, we prove the no-ghost theorem without light-cone directions. We point out that our results are valid for more general backgrounds. In particular, we prove the no-ghost theorem for AdS 3 in the context of the BRST quantization (with the standard restriction on the spin). We compare our BRST proof with the OCQ proof and establish the BRST-OCQ equivalence for AdS 3 . The key in both approaches lies in the certain structure of the matter Hilbert space as a product of two Verma modules. We also present the no-ghost theorem in the most general form. (author)
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.
Some common random fixed point theorems for contractive type conditions in cone random metric spaces
Directory of Open Access Journals (Sweden)
Saluja Gurucharan S.
2016-08-01
Full Text Available In this paper, we establish some common random fixed point theorems for contractive type conditions in the setting of cone random metric spaces. Our results unify, extend and generalize many known results from the current existing literature.
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.
DEFF Research Database (Denmark)
Nest, Ryszard; Tsygan, Boris
2001-01-01
Recently Kontsevich solved the classification problem for deformation quantizations of all Poisson structures on a manifold. In this paper we study those Poisson structures for which the explicit methods of Fedosov can be applied, namely the Poisson structures coming from symplectic Lie algebroids......, as well as holomorphic symplectic structures. For deformations of these structures we prove the classification theorems and a general a general index theorem....
Testing the No-Hair Theorem with Sgr A*
Directory of Open Access Journals (Sweden)
Tim Johannsen
2012-01-01
Full Text Available The no-hair theorem characterizes the fundamental nature of black holes in general relativity. This theorem can be tested observationally by measuring the mass and spin of a black hole as well as its quadrupole moment, which may deviate from the expected Kerr value. Sgr A*, the supermassive black hole at the center of the Milky Way, is a prime candidate for such tests thanks to its large angular size, high brightness, and rich population of nearby stars. In this paper, I discuss a new theoretical framework for a test of the no-hair theorem that is ideal for imaging observations of Sgr A* with very long baseline interferometry (VLBI. The approach is formulated in terms of a Kerr-like spacetime that depends on a free parameter and is regular everywhere outside of the event horizon. Together with the results from astrometric and timing observations, VLBI imaging of Sgr A* may lead to a secure test of the no-hair theorem.
Generalized Superconductivity. Generalized Levitation
International Nuclear Information System (INIS)
Ciobanu, B.; Agop, M.
2004-01-01
In the recent papers, the gravitational superconductivity is described. We introduce the concept of generalized superconductivity observing that any nongeodesic motion and, in particular, the motion in an electromagnetic field, can be transformed in a geodesic motion by a suitable choice of the connection. In the present paper, the gravitoelectromagnetic London equations have been obtained from the generalized Helmholtz vortex theorem using the generalized local equivalence principle. In this context, the gravitoelectromagnetic Meissner effect and, implicitly, the gravitoelectromagnetic levitation are given. (authors)
Stacked spheres and lower bound theorem
Indian Academy of Sciences (India)
BASUDEB DATTA
2011-11-20
Nov 20, 2011 ... Preliminaries. Lower bound theorem. On going work. Definitions. An n-simplex is a convex hull of n + 1 affinely independent points. (called vertices) in some Euclidean space R. N . Stacked spheres and lower bound theorem. Basudeb Datta. Indian Institute of Science. 2 / 27 ...
Howell, Russell W.; Schrohe, Elmar
2017-01-01
Rouché's Theorem is a standard topic in undergraduate complex analysis. It is usually covered near the end of the course with applications relating to pure mathematics only (e.g., using it to produce an alternate proof of the Fundamental Theorem of Algebra). The "winding number" provides a geometric interpretation relating to the…
Other trigonometric proofs of Pythagoras theorem
Luzia, Nuno
2015-01-01
Only very recently a trigonometric proof of the Pythagoras theorem was given by Zimba \\cite{1}, many authors thought this was not possible. In this note we give other trigonometric proofs of Pythagoras theorem by establishing, geometrically, the half-angle formula $\\cos\\theta=1-2\\sin^2 \\frac{\\theta}{2}$.
Borghi, Riccardo
2014-03-01
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.
Theorems of low energy in Compton scattering
International Nuclear Information System (INIS)
Chahine, J.
1984-01-01
We have obtained the low energy theorems in Compton scattering to third and fouth order in the frequency of the incident photon. Next we calculated the polarized cross section to third order and the unpolarized to fourth order in terms of partial amplitudes not covered by the low energy theorems, what will permit the experimental determination of these partial amplitudes. (Author) [pt
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…
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…
The divergence theorem for unbounded vector fields
De Pauw, Thierry; Pfeffer, Washek F.
2007-01-01
In the context of Lebesgue integration, we derive the divergence theorem for unbounded vector. elds that can have singularities at every point of a compact set whose Minkowski content of codimension greater than two is. nite. The resulting integration by parts theorem is applied to removable sets of holomorphic and harmonic functions.
The Pomeranchuk theorem and its modifications
International Nuclear Information System (INIS)
Fischer, J.; Saly, R.
1980-01-01
A review of the various modifications and improvements of the Pomeranchuk theorem and also of related statements is given. The present status of the Pomeranchuk relation based on dispersion relation is discussed. Numerous problems related to the Pomeranchuk theorem and some answers to these problems are collected in a clear table
Coalgebraic Lindström Theorems
Kurz, A.; Venema, Y.
2010-01-01
We study modal Lindström theorems from a coalgebraic perspective. We provide three different Lindström theorems for coalgebraic logic, one of which is a direct generalisation of de Rijke's result for Kripke models. Both the other two results are based on the properties of bisimulation invariance,
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...
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...
Riemannian and Lorentzian flow-cut theorems
Headrick, Matthew; Hubeny, Veronika E.
2018-05-01
We prove several geometric theorems using tools from the theory of convex optimization. In the Riemannian setting, we prove the max flow-min cut (MFMC) theorem for boundary regions, applied recently to develop a ‘bit-thread’ interpretation of holographic entanglement entropies. We also prove various properties of the max flow and min cut, including respective nesting properties. In the Lorentzian setting, we prove the analogous MFMC theorem, which states that the volume of a maximal slice equals the flux of a minimal flow, where a flow is defined as a divergenceless timelike vector field with norm at least 1. This theorem includes as a special case a continuum version of Dilworth’s theorem from the theory of partially ordered sets. We include a brief review of the necessary tools from the theory of convex optimization, in particular Lagrangian duality and convex relaxation.
OTTER, Resolution Style Theorem Prover
International Nuclear Information System (INIS)
McCune, W.W.
2001-01-01
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
On Some Generalized Ky Fan Minimax Inequalities
Directory of Open Access Journals (Sweden)
Xianqiang Luo
2009-01-01
Full Text Available Some generalized Ky Fan minimax inequalities for vector-valued mappings are established by applying the classical Browder fixed point theorem and the Kakutani-Fan-Glicksberg fixed point theorem.
Strong converse theorems using Rényi entropies
Energy Technology Data Exchange (ETDEWEB)
Leditzky, Felix; Datta, Nilanjana [Statistical Laboratory, Centre for Mathematical Sciences, University of Cambridge, Cambridge CB3 0WB (United Kingdom); Wilde, Mark M. [Department of Physics and Astronomy, Center for Computation and Technology, Hearne Institute for Theoretical Physics, Louisiana State University, Baton Rouge, Louisiana 70803 (United States)
2016-08-15
We use a Rényi entropy method to prove strong converse theorems for certain information-theoretic tasks which involve local operations and quantum (or classical) communication between two parties. These include state redistribution, coherent state merging, quantum state splitting, measurement compression with quantum side information, randomness extraction against quantum side information, and data compression with quantum side information. The method we employ in proving these results extends ideas developed by Sharma [preprint http://arxiv.org/abs/1404.5940 [quant-ph] (2014)], which he used to give a new proof of the strong converse theorem for state merging. For state redistribution, we prove the strong converse property for the boundary of the entire achievable rate region in the (e, q)-plane, where e and q denote the entanglement cost and quantum communication cost, respectively. In the case of measurement compression with quantum side information, we prove a strong converse theorem for the classical communication cost, which is a new result extending the previously known weak converse. For the remaining tasks, we provide new proofs for strong converse theorems previously established using smooth entropies. For each task, we obtain the strong converse theorem from explicit bounds on the figure of merit of the task in terms of a Rényi generalization of the optimal rate. Hence, we identify candidates for the strong converse exponents for each task discussed in this paper. To prove our results, we establish various new entropic inequalities, which might be of independent interest. These involve conditional entropies and mutual information derived from the sandwiched Rényi divergence. In particular, we obtain novel bounds relating these quantities, as well as the Rényi conditional mutual information, to the fidelity of two quantum states.
Quantization of Chirikov Map and Quantum KAM Theorem.
Shi, Kang-Jie
KAM theorem is one of the most important theorems in classical nonlinear dynamics and chaos. To extend KAM theorem to the regime of quantum mechanics, we first study the quantum Chirikov map, whose classical counterpart provides a good example of KAM theorem. Under resonance condition 2pihbar = 1/N, we obtain the eigenstates of the evolution operator of this system. We find that the wave functions in the coherent state representation (CSR) are very similar to the classical trajectories. In particular, some of these wave functions have wall-like structure at the locations of classical KAM curves. We also find that a local average is necessary for a Wigner function to approach its classical limit in the phase space. We then study the general problem theoretically. Under similar conditions for establishing the classical KAM theorem, we obtain a quantum extension of KAM theorem. By constructing successive unitary transformations, we can greatly reduce the perturbation part of a near-integrable Hamiltonian system in a region associated with a Diophantine number {rm W}_{o}. This reduction is restricted only by the magnitude of hbar.. We can summarize our results as follows: In the CSR of a nearly integrable quantum system, associated with a Diophantine number {rm W}_ {o}, there is a band near the corresponding KAM torus of the classical limit of the system. In this band, a Gaussian wave packet moves quasi-periodically (and remain close to the KAM torus) for a long time, with possible diffusion in both the size and the shape of its wave packet. The upper bound of the tunnelling rate out of this band for the wave packet can be made much smaller than any given power of hbar, if the original perturbation is sufficiently small (but independent of hbar). When hbarto 0, we reproduce the classical KAM theorem. For most near-integrable systems the eigenstate wave function in the above band can either have a wall -like structure or have a vanishing amplitude. These conclusions
Bortz, John; Shatz, Narkis
2011-04-01
The recently developed generalized functional method provides a means of designing nonimaging concentrators and luminaires for use with extended sources and receivers. We explore the mathematical relationships between optical designs produced using the generalized functional method and edge-ray, aplanatic, and simultaneous multiple surface (SMS) designs. Edge-ray and dual-surface aplanatic designs are shown to be special cases of generalized functional designs. In addition, it is shown that dual-surface SMS designs are closely related to generalized functional designs and that certain computational advantages accrue when the two design methods are combined. A number of examples are provided. © 2011 Optical Society of America
Note on Deduction Theorems in contraction-free logics
Czech Academy of Sciences Publication Activity Database
Chvalovský, Karel; Cintula, Petr
2012-01-01
Roč. 58, č. 3 (2012), s. 236-243 ISSN 0942-5616 R&D Projects: GA ČR GAP202/10/1826 Grant - others:Austrian Science Fund (FWF)(AT) START Y544-N23 Institutional research plan: CEZ:AV0Z10300504 Keywords : Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction Subject RIV: BA - General Mathematics Impact factor: 0.376, year: 2012
A maximum modulus theorem for the Oseen problem
Czech Academy of Sciences Publication Activity Database
Kračmar, S.; Medková, Dagmar; Nečasová, Šárka; Varnhorn, W.
2013-01-01
Roč. 192, č. 6 (2013), s. 1059-1076 ISSN 0373-3114 R&D Projects: GA ČR(CZ) GAP201/11/1304; GA MŠk LC06052 Institutional research plan: CEZ:AV0Z10190503 Keywords : Oseen problem * maximum modulus theorem * Oseen potentials Subject RIV: BA - General Mathematics Impact factor: 0.909, year: 2013 http://link.springer.com/article/10.1007%2Fs10231-012-0258-x
Black holes, information, and the universal coefficient theorem
Energy Technology Data Exchange (ETDEWEB)
Patrascu, Andrei T. [Department of Physics and Astronomy, University College London, London WC1E 6BT (United Kingdom)
2016-07-15
General relativity is based on the diffeomorphism covariant formulation of the laws of physics while quantum mechanics is based on the principle of unitary evolution. In this article, I provide a possible answer to the black hole information paradox by means of homological algebra and pairings generated by the universal coefficient theorem. The unitarity of processes involving black holes is restored by the demanding invariance of the laws of physics to the change of coefficient structures in cohomology.
Goldstone's theorem and Hamiltonian of multi-Galileon modified gravity
International Nuclear Information System (INIS)
Zhou Shuangyong
2011-01-01
The Galileon model was recently proposed to locally describe a class of modified gravity theories, including the braneworld Dvali-Gabadadze-Porrati model. We discuss spontaneous symmetry breaking of the self-accelerating branch in a multi-Galileon theory with internal global symmetries. We show that a modified version of Goldstone's theorem is applicable to the symmetry breaking pattern and discuss its implications. We also derive the Hamiltonian of a general multi-Galileon theory and discuss its implications.
A p-adic Perron-Frobenius Theorem
Costa, Robert; Dynes, Patrick; Petsche, Clayton
2015-01-01
We prove that if an $n\\times n$ matrix defined over ${\\mathbb Q}_p$ (or more generally an arbitrary complete, discretely-valued, non-Archimedean field) satisfies a certain congruence property, then it has a strictly maximal eigenvalue in ${\\mathbb Q}_p$, and that iteration of the (normalized) matrix converges to a projection operator onto the corresponding eigenspace. This result may be viewed as a $p$-adic analogue of the Perron-Frobenius theorem for positive real matrices.
Quantum fluctuation theorems and power measurements
International Nuclear Information System (INIS)
Prasanna Venkatesh, B; Watanabe, Gentaro; Talkner, Peter
2015-01-01
Work in the paradigm of the quantum fluctuation theorems of Crooks and Jarzynski is determined by projective measurements of energy at the beginning and end of the force protocol. In analogy to classical systems, we consider an alternative definition of work given by the integral of the supplied power determined by integrating up the results of repeated measurements of the instantaneous power during the force protocol. We observe that such a definition of work, in spite of taking account of the process dependence, has different possible values and statistics from the work determined by the conventional two energy measurement approach (TEMA). In the limit of many projective measurements of power, the system’s dynamics is frozen in the power measurement basis due to the quantum Zeno effect leading to statistics only trivially dependent on the force protocol. In general the Jarzynski relation is not satisfied except for the case when the instantaneous power operator commutes with the total Hamiltonian at all times. We also consider properties of the joint statistics of power-based definition of work and TEMA work in protocols where both values are determined. This allows us to quantify their correlations. Relaxing the projective measurement condition, weak continuous measurements of power are considered within the stochastic master equation formalism. Even in this scenario the power-based work statistics is in general not able to reproduce qualitative features of the TEMA work statistics. (paper)
Macroscopic proof of the Jarzynski–Wójcik fluctuation theorem for heat exchange
International Nuclear Information System (INIS)
Sughiyama, Yuki; Abe, Sumiyoshi
2008-01-01
In a recent work, Jarzynski and Wójcik (2004 Phys. Rev. Lett. 92 230602) have shown by using the properties of Hamiltonian dynamics and a statistical mechanical consideration that heat exchange through contact between two systems initially prepared at different temperatures obeys a fluctuation theorem. Here, another proof is presented, in which only macroscopic thermodynamic quantities are employed. The detailed balance condition is found to play an essential role. As a result, the theorem is found to hold under very general conditions
"A Separation Theorem of Active Management and Synthetic Enhanced Active Strategies"(in Japanese)
Takao Kobayashi; Seiji Minami
2008-01-01
We propose a Separation Theorem of Active Management. It asserts that in the so-called Enhanced Active Portfolio framework the efficient frontier is linear in the active return/active risk space, and one can separate the determination of optimal active portfolio weights from the determination of optimal leverage ratio. The risk preference of investors does not play any role in the former decision. The theorem holds under a fairly general set of conditions on portfolio restrictions. As such it...
On a theorem of Cattabriga related to Stokes equations
International Nuclear Information System (INIS)
Georgescu, V.
1978-01-01
We study the ''generalized Stokes boundary value problem'', which is a (generalization of a) linearized version of Navier-Stokes equations and we show the existence and unicity of the weak solution. It is known that these results can be used to prove the existence of weak (local) solutions to the Navier-Stokes equations. However, we are mainly interested in the method of proving it will be seen how easy the result follows from some general theorems about differential forms on a Riemannian manifold. (author)
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...... exercise, which simply relates the concepts of divergence and curl on the local differential level. The rest of the paper uses only integration in $1$, $2$, and $3$ variables together with a 'fattening' technique for surfaces and the inverse function theorem....
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.
Graph-like continua, augmenting arcs, and Menger's theorem
DEFF Research Database (Denmark)
Thomassen, Carsten; Vella, Antoine
2008-01-01
We show that an adaptation of the augmenting path method for graphs proves Menger's Theorem for wide classes of topological spaces. For example, it holds for locally compact, locally connected, metric spaces, as already known. The method lends itself particularly well to another class of spaces......, connected graph. While closed subsets of such a space behave nicely in that they are compact and locally connected (and therefore locally arcwise connected), the general subspaces do not: They may be connected without being arcwise connected. Nevertheless, they satisfy Menger's Theorem......., namely the locally arcwise connected, hereditarily locally connected, metric spaces. Finally, it applies to every space where every point can be separated from every closed set not containing it by a finite set, in particular to every subspace of the Freudenthal compactification of a locally finite...
Virial Theorem for Nonrelativistic Quantum Fields in D Spatial Dimensions
International Nuclear Information System (INIS)
Lin, Chris L.; Ordóñez, Carlos R.
2015-01-01
The virial theorem for nonrelativistic complex fields in D spatial dimensions and with arbitrary many-body potential is derived, using path-integral methods and scaling arguments recently developed to analyze quantum anomalies in low-dimensional systems. The potential appearance of a Jacobian J due to a change of variables in the path-integral expression for the partition function of the system is pointed out, although in order to make contact with the literature most of the analysis deals with the J=1 case. The virial theorem is recast into a form that displays the effect of microscopic scales on the thermodynamics of the system. From the point of view of this paper the case usually considered, J=1, is not natural, and the generalization to the case J≠1 is briefly presented
A Necessary Moment Condition for the Fractional Central Limit Theorem
DEFF Research Database (Denmark)
Johansen, Søren; Nielsen, Morten
2012-01-01
We discuss the moment condition for the fractional functional central limit theorem (FCLT) for partial sums of x(t)=¿^{-d}u(t) , where -1/2classical condition is existence of q=2 and q>1/(d+1/2) moments...... of the innovation sequence. When d is close to -1/2 this moment condition is very strong. Our main result is to show that when -1/2conditions on u(t), the existence of q=1/(d+1/2) moments is in fact necessary for the FCLT for fractionally integrated processes and that q>1/(d+1....../2) moments are necessary for more general fractional processes. Davidson and de Jong (2000, Econometric Theory 16, 643-- 666) presented a fractional FCLT where onlyq>2 finite moments are assumed. As a corollary to our main theorem we show that their moment condition is not sufficient and hence...
Main theorems of thermodynamics focused on future energy supply
Energy Technology Data Exchange (ETDEWEB)
Knizia, K
1983-09-01
Proceeding from the ethical aim to minimize sufferings, we have to develop rules of conduct which take into account the effects of our actions which in our complex world reach spatially as well as temporally further than in previous times. The basic laws of nature which govern our activities include the first and the second main theorems of thermodynamics. It is especially the second main theorem which also represent the creative principle of shaping and maintaining order and structures. In general, this is achieved by the use of the production factors: energy - information - matter. This also applies to the human creativity, including specific adjustment of these production factors related to man and his environment. It is only the correct use which can achieve an adequate supply of goods for a still growing world population, together with its peaceful and humane numerical stabilisation, satisfactory environment protection and careful consumption of raw material reserves.
Relativistic corrections for the conventional, classical Nyquist theorem
International Nuclear Information System (INIS)
Theimer, O.; Dirk, E.H.
1983-01-01
New expressions for the Nyquist theorem are derived under the condition in which the random thermal speed of electrons, in a system of charged particles, can approach the speed of light. Both the case in which, the electron have not drift velocity relative to the ions or neutral particles and the case in which drift occours are investigated. In both instances, the new expressions for the Nyquist theorem are found to contain relativistic correction terms; however for electron temperatures T approx. 10 9 K and drift velocity magnitudes w approx. 0.5c, where c is the speed of light, the effects of these correction terms are generally small. The derivation of these relativistic corrections is carried out by means of procedures developed in an earlier work. A relativistic distribution function, which incorporates a constant drift velocity with a random thermal velocity for a given particle species, is developed
State Prices and Implementation of the Recovery Theorem
Directory of Open Access Journals (Sweden)
Alex Backwell
2015-01-01
Full Text Available It is generally held that derivative prices do not contain useful predictive information, that is, information relating to the distribution of future financial variables under the real-world measure. This is because the market’s implicit forecast of the future becomes entangled with market risk preferences during derivative price formation. A result derived by Ross [1], however, recovers the real-world distribution of an equity index, requiring only current prices and mild restrictions on risk preferences. In addition to being of great interest to the theorist, the potential practical value of the result is considerable. This paper addresses implementation of the Ross Recovery Theorem. The theorem is formalised, extended, proved and discussed. Obstacles to application are identified and a workable implementation methodology is developed.
A Perron-Frobenius Type of Theorem for Quantum Operations
Lagro, Matthew; Yang, Wei-Shih; Xiong, Sheng
2017-10-01
We define a special class of quantum operations we call Markovian and show that it has the same spectral properties as a corresponding Markov chain. We then consider a convex combination of a quantum operation and a Markovian quantum operation and show that under a norm condition its spectrum has the same properties as in the conclusion of the Perron-Frobenius theorem if its Markovian part does. Moreover, under a compatibility condition of the two operations, we show that its limiting distribution is the same as the corresponding Markov chain. We apply our general results to partially decoherent quantum random walks with decoherence strength 0 ≤ p ≤ 1. We obtain a quantum ergodic theorem for partially decoherent processes. We show that for 0 < p ≤ 1, the limiting distribution of a partially decoherent quantum random walk is the same as the limiting distribution for the classical random walk.
International Nuclear Information System (INIS)
Yu, Xiao-Dong; Tong, D M; Guo, Yan-Qing
2015-01-01
Quantum contextuality is one of the fundamental notions in quantum mechanics. Proofs of the Kochen–Specker theorem and noncontextuality inequalities are two means for revealing the contextuality phenomenon in quantum mechanics. It has been found that some proofs of the Kochen-Specker theorem, such as those based on rays, can be converted to a state-independent noncontextuality inequality, but it remains open whether this is true in general, i.e., whether any proof of the Kochen-Specker theorem can always be converted to a noncontextuality inequality. In this paper, we address this issue. We prove that all kinds of proofs of the Kochen-Specker theorem, based on rays or any other observables, can always be converted to state-independent noncontextuality inequalities. Besides, our constructive proof also provides a general approach for deriving a state-independent noncontextuality inequality from a proof of the KS theorem. (paper)
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...
Theorem on axially symmetric gravitational vacuum configurations
Energy Technology Data Exchange (ETDEWEB)
Papadopoulos, A; Le Denmat, G [Paris-6 Univ., 75 (France). Inst. Henri Poincare
1977-01-24
A theorem is proved which asserts the non-existence of axially symmetric gravitational vacuum configurations with non-stationary rotation only. The eventual consequences in black-hole physics are suggested.
Non-renormalisation theorems in string theory
International Nuclear Information System (INIS)
Vanhove, P.
2007-10-01
In this thesis we describe various non renormalisation theorems for the string effective action. These results are derived in the context of the M theory conjecture allowing to connect the four gravitons string theory S matrix elements with that of eleven dimensional supergravity. These theorems imply that N = 8 supergravity theory has the same UV behaviour as the N = 4 supersymmetric Yang Mills theory at least up to three loops, and could be UV finite in four dimensions. (author)
Singularity theorems from weakened energy conditions
International Nuclear Information System (INIS)
Fewster, Christopher J; Galloway, Gregory J
2011-01-01
We establish analogues of the Hawking and Penrose singularity theorems based on (a) averaged energy conditions with exponential damping; (b) conditions on local stress-energy averages inspired by the quantum energy inequalities satisfied by a number of quantum field theories. As particular applications, we establish singularity theorems for the Einstein equations coupled to a classical scalar field, which violates the strong energy condition, and the nonminimally coupled scalar field, which also violates the null energy condition.
The matrix Euler-Fermat theorem
International Nuclear Information System (INIS)
Arnol'd, Vladimir I
2004-01-01
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
Liouville's theorem and phase-space cooling
International Nuclear Information System (INIS)
Mills, R.L.; Sessler, A.M.
1993-01-01
A discussion is presented of Liouville's theorem and its consequences for conservative dynamical systems. A formal proof of Liouville's theorem is given. The Boltzmann equation is derived, and the collisionless Boltzmann equation is shown to be rigorously true for a continuous medium. The Fokker-Planck equation is derived. Discussion is given as to when the various equations are applicable and, in particular, under what circumstances phase space cooling may occur
Double soft theorem for perturbative gravity
Saha, Arnab
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.
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…
The large deviations theorem and ergodicity
International Nuclear Information System (INIS)
Gu Rongbao
2007-01-01
In this paper, some relationships between stochastic and topological properties of dynamical systems are studied. For a continuous map f from a compact metric space X into itself, we show that if f satisfies the large deviations theorem then it is topologically ergodic. Moreover, we introduce the topologically strong ergodicity, and prove that if f is a topologically strongly ergodic map satisfying the large deviations theorem then it is sensitively dependent on initial conditions
Atiyah-Patodi-Singer index theorem for domain-wall fermion Dirac operator
Fukaya, Hidenori; Onogi, Tetsuya; Yamaguchi, Satoshi
2018-03-01
Recently, the Atiyah-Patodi-Singer(APS) index theorem attracts attention for understanding physics on the surface of materials in topological phases. Although it is widely applied to physics, the mathematical set-up in the original APS index theorem is too abstract and general (allowing non-trivial metric and so on) and also the connection between the APS boundary condition and the physical boundary condition on the surface of topological material is unclear. For this reason, in contrast to the Atiyah-Singer index theorem, derivation of the APS index theorem in physics language is still missing. In this talk, we attempt to reformulate the APS index in a "physicist-friendly" way, similar to the Fujikawa method on closed manifolds, for our familiar domain-wall fermion Dirac operator in a flat Euclidean space. We find that the APS index is naturally embedded in the determinant of domain-wall fermions, representing the so-called anomaly descent equations.
The Michaelis-Menten-Stueckelberg Theorem
Directory of Open Access Journals (Sweden)
Alexander N. Gorban
2011-05-01
Full Text Available We study chemical reactions with complex mechanisms under two assumptions: (i intermediates are present in small amounts (this is the quasi-steady-state hypothesis or QSS and (ii they are in equilibrium relations with substrates (this is the quasiequilibrium hypothesis or QE. Under these assumptions, we prove the generalized mass action law together with the basic relations between kinetic factors, which are sufficient for the positivity of the entropy production but hold even without microreversibility, when the detailed balance is not applicable. Even though QE and QSS produce useful approximations by themselves, only the combination of these assumptions can render the possibility beyond the “rarefied gas” limit or the “molecular chaos” hypotheses. We do not use any a priori form of the kinetic law for the chemical reactions and describe their equilibria by thermodynamic relations. The transformations of the intermediate compounds can be described by the Markov kinetics because of their low density (low density of elementary events. This combination of assumptions was introduced by Michaelis and Menten in 1913. In 1952, Stueckelberg used the same assumptions for the gas kinetics and produced the remarkable semi-detailed balance relations between collision rates in the Boltzmann equation that are weaker than the detailed balance conditions but are still sufficient for the Boltzmann H-theorem to be valid. Our results are obtained within the Michaelis-Menten-Stueckelbeg conceptual framework.
Pascal’s Theorem in Real Projective Plane
Coghetto Roland
2017-01-01
In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines.
Pascal’s Theorem in Real Projective Plane
Directory of Open Access Journals (Sweden)
Coghetto Roland
2017-07-01
Full Text Available In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem1. Pappus’ theorem is a special case of a degenerate conic of two lines.
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...... we apply the key instrumental concepts and verify the various steps towards this alternative proof of the divergence theorem....
Commentaries on Hilbert's Basis Theorem | Apine | Science World ...
African Journals Online (AJOL)
The famous basis theorem of David Hilbert is an important theorem in commutative algebra. In particular the Hilbert's basis theorem is the most important source of Noetherian rings which are by far the most important class of rings in commutative algebra. In this paper we have used Hilbert's theorem to examine their unique ...
Illustrating the Central Limit Theorem through Microsoft Excel Simulations
Moen, David H.; Powell, John E.
2005-01-01
Using Microsoft Excel, several interactive, computerized learning modules are developed to demonstrate the Central Limit Theorem. These modules are used in the classroom to enhance the comprehension of this theorem. The Central Limit Theorem is a very important theorem in statistics, and yet because it is not intuitively obvious, statistics…
Factorization theorems in perturbative quantum field theory
International Nuclear Information System (INIS)
Date, G.D.
1982-01-01
This dissertation deals with factorization properties of Green functions and cross-sections in perturbation theory. It consists of two parts. Part I deals with the factorization theorem for the Drell-Yan cross-section. The new approach developed for this purpose is based upon a renormalization group equation with a generalized anomalous dimension. Using an alternate form of factorization for the Drell-Yan cross-section, derived in perturbation theory, a corresponding generalized anomalous dimension is defined, and explicit Feynman rules for its calculation are given. The resultant renormalization group equation is solved by a formal solution which is exhibited explicitly. Simple, explicit calculations are performed which verify Mueller's conjecture for the recovery of the usual parton model results for the Drell-Yan cross-section. The approach developed in this work offers a general framework to analyze the role played by the group factors in the cancellation of the soft divergences, and study their influence on the asymptotic behavior. Part II deals with factorization properties of the Green functions in position space. In this part, a Landau equation analysis is carried out for the singularities of the position space Green fucntions, in perturbation theory with the theta 4 interaction Lagrangian. A physical picture interpretation is given for the corresponding Landau equations. It is used to suggest a light-cone expansion. Using a power counting method, a formal derivation of the light-cone expansion for the two point function, the three point function and a product of two currents, is given without assuming a short distance expansion. Possible extensions to other theories is also considered
Central Limit Theorem for Exponentially Quasi-local Statistics of Spin Models on Cayley Graphs
Reddy, Tulasi Ram; Vadlamani, Sreekar; Yogeshwaran, D.
2018-04-01
Central limit theorems for linear statistics of lattice random fields (including spin models) are usually proven under suitable mixing conditions or quasi-associativity. Many interesting examples of spin models do not satisfy mixing conditions, and on the other hand, it does not seem easy to show central limit theorem for local statistics via quasi-associativity. In this work, we prove general central limit theorems for local statistics and exponentially quasi-local statistics of spin models on discrete Cayley graphs with polynomial growth. Further, we supplement these results by proving similar central limit theorems for random fields on discrete Cayley graphs taking values in a countable space, but under the stronger assumptions of α -mixing (for local statistics) and exponential α -mixing (for exponentially quasi-local statistics). All our central limit theorems assume a suitable variance lower bound like many others in the literature. We illustrate our general central limit theorem with specific examples of lattice spin models and statistics arising in computational topology, statistical physics and random networks. Examples of clustering spin models include quasi-associated spin models with fast decaying covariances like the off-critical Ising model, level sets of Gaussian random fields with fast decaying covariances like the massive Gaussian free field and determinantal point processes with fast decaying kernels. Examples of local statistics include intrinsic volumes, face counts, component counts of random cubical complexes while exponentially quasi-local statistics include nearest neighbour distances in spin models and Betti numbers of sub-critical random cubical complexes.
Fractional Stochastic Differential Equations Satisfying Fluctuation-Dissipation Theorem
Li, Lei; Liu, Jian-Guo; Lu, Jianfeng
2017-10-01
We propose in this work a fractional stochastic differential equation (FSDE) model consistent with the over-damped limit of the generalized Langevin equation model. As a result of the `fluctuation-dissipation theorem', the differential equations driven by fractional Brownian noise to model memory effects should be paired with Caputo derivatives, and this FSDE model should be understood in an integral form. We establish the existence of strong solutions for such equations and discuss the ergodicity and convergence to Gibbs measure. In the linear forcing regime, we show rigorously the algebraic convergence to Gibbs measure when the `fluctuation-dissipation theorem' is satisfied, and this verifies that satisfying `fluctuation-dissipation theorem' indeed leads to the correct physical behavior. We further discuss possible approaches to analyze the ergodicity and convergence to Gibbs measure in the nonlinear forcing regime, while leave the rigorous analysis for future works. The FSDE model proposed is suitable for systems in contact with heat bath with power-law kernel and subdiffusion behaviors.
Statistical properties of entropy production derived from fluctuation theorems
International Nuclear Information System (INIS)
Merhav, Neri; Kafri, Yariv
2010-01-01
Several implications of well-known fluctuation theorems, on the statistical properties of entropy production, are studied using various approaches. We begin by deriving a tight lower bound on the variance of the entropy production for a given mean of this random variable. It is shown that the Evans–Searles fluctuation theorem alone imposes a significant lower bound on the variance only when the mean entropy production is very small. It is then nonetheless demonstrated that upon incorporating additional information concerning the entropy production, this lower bound can be significantly improved, so as to capture extensivity properties. Another important aspect of the fluctuation properties of the entropy production is the relationship between the mean and the variance, on the one hand, and the probability of the event where the entropy production is negative, on the other hand. Accordingly, we derive upper and lower bounds on this probability in terms of the mean and the variance. These bounds are tighter than previous bounds that can be found in the literature. Moreover, they are tight in the sense that there exist probability distributions, satisfying the Evans–Searles fluctuation theorem, that achieve them with equality. Finally, we present a general method for generating a wide class of inequalities that must be satisfied by the entropy production. We use this method to derive several new inequalities that go beyond the standard derivation of the second law
A non-renormalization theorem for conformal anomalies
International Nuclear Information System (INIS)
Petkou, Anastasios; Skenderis, Kostas
1999-01-01
We provide a non-renormalization theorem for the coefficients of the conformal anomaly associated with operators with vanishing anomalous dimensions. Such operators include conserved currents and chiral operators in superconformal field theories. We illustrate the theorem by computing the conformal anomaly of 2-point functions both by a computation in the conformal field theory and via the AdS/CFT correspondence. Our results imply that 2- and 3-point functions of chiral primary operators in N=4 SU(N) SYM will not renormalize provided that a 'generalized Adler-Bardeen theorem' holds. We further show that recent arguments connecting the non-renormalizability of the above-mentioned correlation functions to a bonus U(1) Y symmetry are incomplete due to possible U(1) Y violating contact terms. The tree level contribution to the contact terms may be set to zero by considering appropriately normalized operators. Non-renormalizability of the above-mentioned correlation functions, however, will follow only if these contact terms saturate by free fields
Fixed-point theorems for families of weakly non-expansive maps
Mai, Jie-Hua; Liu, Xin-He
2007-10-01
In this paper, we present some fixed-point theorems for families of weakly non-expansive maps under some relatively weaker and more general conditions. Our results generalize and improve several results due to Jungck [G. Jungck, Fixed points via a generalized local commutativity, Int. J. Math. Math. Sci. 25 (8) (2001) 497-507], Jachymski [J. Jachymski, A generalization of the theorem by Rhoades and Watson for contractive type mappings, Math. Japon. 38 (6) (1993) 1095-1102], Guo [C. Guo, An extension of fixed point theorem of Krasnoselski, Chinese J. Math. (P.O.C.) 21 (1) (1993) 13-20], Rhoades [B.E. Rhoades, A comparison of various definitions of contractive mappings, Trans. Amer. Math. Soc. 226 (1977) 257-290], and others.
The Hellmann–Feynman theorem, the comparison theorem, and the envelope theory
Directory of Open Access Journals (Sweden)
Claude Semay
2015-01-01
Full Text Available 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.
Gleason-Busch theorem for sequential measurements
Flatt, Kieran; Barnett, Stephen M.; Croke, Sarah
2017-12-01
Gleason's theorem is a statement that, given some reasonable assumptions, the Born rule used to calculate probabilities in quantum mechanics is essentially unique [A. M. Gleason, Indiana Univ. Math. J. 6, 885 (1957), 10.1512/iumj.1957.6.56050]. We show that Gleason's theorem contains within it also the structure of sequential measurements, and along with this the state update rule. We give a small set of axioms, which are physically motivated and analogous to those in Busch's proof of Gleason's theorem [P. Busch, Phys. Rev. Lett. 91, 120403 (2003), 10.1103/PhysRevLett.91.120403], from which the familiar Kraus operator form follows. An axiomatic approach has practical relevance as well as fundamental interest, in making clear those assumptions which underlie the security of quantum communication protocols. Interestingly, the two-time formalism is seen to arise naturally in this approach.
Adiabatic Theorem for Quantum Spin Systems
Bachmann, S.; De Roeck, W.; Fraas, M.
2017-08-01
The first proof of the quantum adiabatic theorem was given as early as 1928. Today, this theorem is increasingly applied in a many-body context, e.g., in quantum annealing and in studies of topological properties of matter. In this setup, the rate of variation ɛ of local terms is indeed small compared to the gap, but the rate of variation of the total, extensive Hamiltonian, is not. Therefore, applications to many-body systems are not covered by the proofs and arguments in the literature. In this Letter, we prove a version of the adiabatic theorem for gapped ground states of interacting quantum spin systems, under assumptions that remain valid in the thermodynamic limit. As an application, we give a mathematical proof of Kubo's linear response formula for a broad class of gapped interacting systems. We predict that the density of nonadiabatic excitations is exponentially small in the driving rate and the scaling of the exponent depends on the dimension.
Annealed central limit theorems for the ising model on random graphs
Giardinà, C.; Giberti, C.; van der Hofstad, R.W.; Prioriello, M.L.
2016-01-01
The aim of this paper is to prove central limit theorems with respect to the annealed measure for the magnetization rescaled by √N of Ising models on random graphs. More precisely, we consider the general rank-1 inhomogeneous random graph (or generalized random graph), the 2-regular configuration
New versions of the Fan-Browder fixed point theorem and existence of economic equilibria
Directory of Open Access Journals (Sweden)
Park Sehie
2004-01-01
Full Text Available We introduce a generalized form of the Fan-Browder fixed point theorem and apply to game-theoretic and economic equilibrium existence problem under the more generous restrictions. Consequently, we state some of recent results of Urai (2000 in more general and efficient forms.
A uniform Tauberian theorem in dynamic games
Khlopin, D. V.
2018-01-01
Antagonistic dynamic games including games represented in normal form are considered. The asymptotic behaviour of value in these games is investigated as the game horizon tends to infinity (Cesàro mean) and as the discounting parameter tends to zero (Abel mean). The corresponding Abelian-Tauberian theorem is established: it is demonstrated that in both families the game value uniformly converges to the same limit, provided that at least one of the limits exists. Analogues of one-sided Tauberian theorems are obtained. An example shows that the requirements are essential even for control problems. Bibliography: 31 titles.
The aftermath of the intermediate value theorem
Directory of Open Access Journals (Sweden)
Morales Claudio H
2004-01-01
Full Text Available The solvability of nonlinear equations has awakened great interest among mathematicians for a number of centuries, perhaps as early as the Babylonian culture (3000300 B.C.E.. However, we intend to bring to our attention that some of the problems studied nowadays appear to be amazingly related to the time of Bolzano's era (17811848. Indeed, this Czech mathematician or perhaps philosopher has rigorously proven what is known today as the intermediate value theorem, a result that is intimately related to various classical theorems that will be discussed throughout this work.
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
Elastic hadron scattering and optical theorem
Lokajicek, Milos V.; Prochazka, Jiri
2014-01-01
In principle all contemporary phenomenological models of elastic hadronic scattering have been based on the assumption of optical theorem validity that has been overtaken from optics. It will be shown that the given theorem which has not been actually proved cannot be applied to short-ranged strong interactions in any case. The actual progress in description of collision processes might then exist only if the initial states are specified on the basis of impact parameter values of colliding particles and probability dependence on this parameter is established.
At math meetings, enormous theorem eclipses fermat.
Cipra, B
1995-02-10
Hardly a word was said about Fermat's Last Theorem at the joint meetings of the American Mathematical Society and the Mathematical Association of America, held this year from 4 to 7 January in San Francisco. For Andrew Wiles's proof, no news is good news: There are no reports of mistakes. But mathematicians found plenty of other topics to discuss. Among them: a computational breakthrough in the study of turbulent diffusion and progress in slimming down the proof of an important result in group theory, whose original size makes checking the proof of Fermat's Last Theorem look like an afternoon's pastime.
Evans, Denis James; Williams, Stephen Rodney
2016-01-01
Both a comprehensive overview and a treatment at the appropriate level of detail, this textbook explains thermodynamics and generalizes the subject so it can be applied to small nano- or biosystems, arbitrarily far from or close to equilibrium. In addition, nonequilibrium free energy theorems are covered with a rigorous exposition of each one. Throughout, the authors stress the physical concepts along with the mathematical derivations. For researchers and students in physics, chemistry, materials science and molecular biology, this is a useful text for postgraduate courses in statistical mechanics, thermodynamics and molecular simulations, while equally serving as a reference for university teachers and researchers in these fields.
Birkhoff's Theorem from a geometric perspective: A simple example
Directory of Open Access Journals (Sweden)
F. William Lawvere
2016-02-01
Full Text Available From Hilbert's theorem of zeroes, and from Noether's ideal theory, Birkhoff derived certain algebraic concepts (as explained by Tholen that have a dual significance in general toposes, similar to their role in the original examples of algebraic geometry. I will describe a simple example that illustrates some of the aspects of this relationship. The dualization from algebra to geometry in the basic Grothendieck spirit can be accomplished (without intervention of topological spaces by the following method, known as Isbell conjugacy.
Note on soft theorems and memories in even dimensions
Mao, Pujian; Ouyang, Hao
2017-11-01
Recently, it has been shown that the Weinberg's formula for soft graviton production is essentially a Fourier transformation of the formula for gravitational memory which provides an effective way to understand how the classical calculation arises as a limiting case of the quantum result. In this note, we propose a general framework that connects the soft theorems to the radiation fields obtained from classical computation for different theories in even dimensions. We show that the latter is nothing but Fourier transformation of the former. The memory formulas can be derived from radiation fields explicitly.
A Kallosh theorem for BF-type topological field theory
International Nuclear Information System (INIS)
Birmingham, D.; Gibbs, R.; Mokhtari, S.
1991-01-01
A Kallosh theorem is established for the case of BF-type theories in three dimensions, including a coupling to Chern-Simons theory. The phase contribution to the one-loop off-shell effective action is computed for a two-parameter family of local covariant gauges. It is shown that the phase is independent of these parameters, and thus equals the 'no Vilkovisky-DeWitt' gauge result. The field space metric dependence of a corresponding calculation for generalized BF theory is briefly discussed. (orig.)
A Kallosh theorem for BF-type topological field theory
Energy Technology Data Exchange (ETDEWEB)
Birmingham, D. (Theory Div., CERN, Geneva (Switzerland)); Gibbs, R.; Mokhtari, S. (Physics Dept., Louisiana Tech. Univ., Ruston, LA (United States))
1991-12-12
A Kallosh theorem is established for the case of BF-type theories in three dimensions, including a coupling to Chern-Simons theory. The phase contribution to the one-loop off-shell effective action is computed for a two-parameter family of local covariant gauges. It is shown that the phase is independent of these parameters, and thus equals the 'no Vilkovisky-DeWitt' gauge result. The field space metric dependence of a corresponding calculation for generalized BF theory is briefly discussed. (orig.).
Central limit theorems for large graphs: Method of quantum decomposition
International Nuclear Information System (INIS)
Hashimoto, Yukihiro; Hora, Akihito; Obata, Nobuaki
2003-01-01
A new method is proposed for investigating spectral distribution of the combinatorial Laplacian (adjacency matrix) of a large regular graph on the basis of quantum decomposition and quantum central limit theorem. General results are proved for Cayley graphs of discrete groups and for distance-regular graphs. The Coxeter groups and the Johnson graphs are discussed in detail by way of illustration. In particular, the limit distributions obtained from the Johnson graphs are characterized by the Meixner polynomials which form a one-parameter deformation of the Laguerre polynomials
Subspace gaps and Weyl's theorem for an elementary operator
Directory of Open Access Journals (Sweden)
B. P. Duggal
2005-01-01
Full Text Available A range-kernal orthogonality property is established for the elementary operators ℰ(X=∑i=1nAiXBi and ℰ*(X=∑i=1nAi*XBi*, where A=(A1,A2,…,An and B=(B1,B2,…,Bn are n-tuples of mutually commuting scalar operators (in the sense of Dunford in the algebra B(H of operators on a Hilbert space H. It is proved that the operator ℰ satisfies Weyl's theorem in the case in which A and B are n-tuples of mutually commuting generalized scalar operators.
Riesz Representation Theorem on Bilinear Spaces of Truncated Laurent Series
Directory of Open Access Journals (Sweden)
Sabarinsyah
2017-06-01
Full Text Available In this study a generalization of the Riesz representation theorem on non-degenerate bilinear spaces, particularly on spaces of truncated Laurent series, was developed. It was shown that any linear functional on a non-degenerate bilinear space is representable by a unique element of the space if and only if its kernel is closed. Moreover an explicit equivalent condition can be identiﬁed for the closedness property of the kernel when the bilinear space is a space of truncated Laurent series.
Commutativity theorems for rings and groups with constraints on commutators
Directory of Open Access Journals (Sweden)
Evagelos Psomopoulos
1984-01-01
Full Text Available Let n>1, m, t, s be any positive integers, and let R be an associative ring with identity. Suppose xt[xn,y]=[x,ym]ys for all x, y in R. If, further, R is n-torsion free, then R is commutativite. If n-torsion freeness of R is replaced by m, n are relatively prime, then R is still commutative. Moreover, example is given to show that the group theoretic analogue of this theorem is not true in general. However, it is true when t=s=0 and m=n+1.
On Nash Equilibrium and Evolutionarily Stable States That Are Not Characterised by the Folk Theorem.
Directory of Open Access Journals (Sweden)
Jiawei Li
Full Text Available In evolutionary game theory, evolutionarily stable states are characterised by the folk theorem because exact solutions to the replicator equation are difficult to obtain. It is generally assumed that the folk theorem, which is the fundamental theory for non-cooperative games, defines all Nash equilibria in infinitely repeated games. Here, we prove that Nash equilibria that are not characterised by the folk theorem do exist. By adopting specific reactive strategies, a group of players can be better off by coordinating their actions in repeated games. We call it a type-k equilibrium when a group of k players coordinate their actions and they have no incentive to deviate from their strategies simultaneously. The existence and stability of the type-k equilibrium in general games is discussed. This study shows that the sets of Nash equilibria and evolutionarily stable states have greater cardinality than classic game theory has predicted in many repeated games.
On Nash Equilibrium and Evolutionarily Stable States That Are Not Characterised by the Folk Theorem
Li, Jiawei; Kendall, Graham
2015-01-01
In evolutionary game theory, evolutionarily stable states are characterised by the folk theorem because exact solutions to the replicator equation are difficult to obtain. It is generally assumed that the folk theorem, which is the fundamental theory for non-cooperative games, defines all Nash equilibria in infinitely repeated games. Here, we prove that Nash equilibria that are not characterised by the folk theorem do exist. By adopting specific reactive strategies, a group of players can be better off by coordinating their actions in repeated games. We call it a type-k equilibrium when a group of k players coordinate their actions and they have no incentive to deviate from their strategies simultaneously. The existence and stability of the type-k equilibrium in general games is discussed. This study shows that the sets of Nash equilibria and evolutionarily stable states have greater cardinality than classic game theory has predicted in many repeated games. PMID:26288088
Decoupling theorem in supersymmetric theories
Energy Technology Data Exchange (ETDEWEB)
Leon, J; Perez-Mercader, J; Sanchez, M F
1988-07-21
We introduce a superfield extension of Weisberger's method for decoupling calculations in multiscale field theories and generalize our previous method which does not require the computation of any Feynman diagram. We illustrate this for the two-scale Wess-Zumino model, showing explicitly how the decoupling takes place.
A note on the Pfaffian integration theorem
International Nuclear Information System (INIS)
Borodin, Alexei; Kanzieper, Eugene
2007-01-01
Two alternative, fairly compact proofs are presented of the Pfaffian integration theorem that surfaced in the recent studies of spectral properties of Ginibre's Orthogonal Ensemble. The first proof is based on a concept of the Fredholm Pfaffian; the second proof is purely linear algebraic. (fast track communication)
Mean value theorem in topological vector spaces
International Nuclear Information System (INIS)
Khan, L.A.
1994-08-01
The aim of this note is to give shorter proofs of the mean value theorem, the mean value inequality, and the mean value inclusion for the class of Gateaux differentiable functions having values in a topological vector space. (author). 6 refs
1/4-pinched contact sphere theorem
DEFF Research Database (Denmark)
Ge, Jian; Huang, Yang
2016-01-01
Given a closed contact 3-manifold with a compatible Riemannian metric, we show that if the sectional curvature is 1/4-pinched, then the contact structure is universally tight. This result improves the Contact Sphere Theorem in [EKM12], where a 4/9-pinching constant was imposed. Some tightness...
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...
Answering Junior Ant's "Why" for Pythagoras' Theorem
Pask, Colin
2002-01-01
A seemingly simple question in a cartoon about Pythagoras' Theorem is shown to lead to questions about the nature of mathematical proof and the profound relationship between mathematics and science. It is suggested that an analysis of the issues involved could provide a good vehicle for classroom discussions or projects for senior students.…
On Callan's proof of the BPHZ theorem
International Nuclear Information System (INIS)
Lesniewski, A.
1984-01-01
The author gives an elementary proof of the BPHZ theorem in the case of the Euclidean lambdaphi 4 theory. The method of proof relies on a detailed analysis of the skeleton structure of graphs and estimates based on the Callan-Symanzik equations. (Auth.)
A Short Proof of Klee's Theorem
Zanazzi, John J.
2013-01-01
In 1959, Klee proved that a convex body $K$ is a polyhedron if and only if all of its projections are polygons. In this paper, a new proof of this theorem is given for convex bodies in $\\mathbb{R}^3$.
On Noethers theorem in quantum field theory
International Nuclear Information System (INIS)
Buchholz, D.; Doplicher, S.; Longo, R.
1985-03-01
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)
Green-Tao theorem in function fields
Le, Thai Hoang
2009-01-01
We adapt the proof of the Green-Tao theorem on arithmetic progressions in primes to the setting of polynomials over a finite field, to show that for every $k$, the irreducible polynomials in $\\mathbf{F}_q[t]$ contain configurations of the form $\\{f+ Pg : \\d(P)
Pauli and The Spin-Statistics Theorem
International Nuclear Information System (INIS)
Duck, Ian; Sudarshan, E.C.G.
1998-03-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 '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
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.
Reciprocity theorem in high-temperature superconductors
Czech Academy of Sciences Publication Activity Database
Janeček, I.; Vašek, Petr
2003-01-01
Roč. 390, - (2003), s. 330-340 ISSN 0921-4534 R&D Projects: GA ČR GA202/00/1602; GA AV ČR IAA1010919 Institutional research plan: CEZ:AV0Z1010914 Keywords : transport properties * reciprocity theorem Subject RIV: BM - Solid Matter Physics ; Magnetism Impact factor: 1.192, year: 2003
Limit theorems for functionals of Gaussian vectors
Institute of Scientific and Technical Information of China (English)
Hongshuai DAI; Guangjun SHEN; Lingtao KONG
2017-01-01
Operator self-similar processes,as an extension of self-similar processes,have been studied extensively.In this work,we study limit theorems for functionals of Gaussian vectors.Under some conditions,we determine that the limit of partial sums of functionals of a stationary Gaussian sequence of random vectors is an operator self-similar process.
Bell's theorem and the nature of reality
International Nuclear Information System (INIS)
Bertlmann, R.A.
1988-01-01
We rediscuss the Einstein-Podolsky-Rosen paradox in Bohm's spin version and oppose to it Bohr's controversial point of view. Then we explain Bell's theorem, Bell inequalities and its consequences. We describe the experiment of Aspect, Dalibard and Roger in detail. Finally we draw attention to the nonlocal structure of the underlying theory. 61 refs., 8 tabs. (Author)
A singularity theorem based on spatial averages
Indian Academy of Sciences (India)
journal of. July 2007 physics pp. 31–47. A singularity theorem based on spatial ... In this paper I would like to present a result which confirms – at least partially – ... A detailed analysis of how the model fits in with the .... Further, the statement that the spatial average ...... Financial support under grants FIS2004-01626 and no.
H-theorems from macroscopic autonomous equations
Czech Academy of Sciences Publication Activity Database
De Roeck, W.; Maes, C.; Netočný, Karel
2006-01-01
Roč. 123, č. 3 (2006), s. 571-583 ISSN 0022-4715 Institutional research plan: CEZ:AV0Z10100520 Keywords : H-theorem, entropy * irreversible equations Subject RIV: BE - Theoretical Physics Impact factor: 1.437, year: 2006
Student Research Project: Goursat's Other Theorem
Petrillo, Joseph
2009-01-01
In an elementary undergraduate abstract algebra or group theory course, a student is introduced to a variety of methods for constructing and deconstructing groups. What seems to be missing from contemporary texts and syllabi is a theorem, first proved by Edouard Jean-Baptiste Goursat (1858-1936) in 1889, which completely describes the subgroups of…
On Viviani's Theorem and Its Extensions
Abboud, Elias
2010-01-01
Viviani's theorem states that the sum of distances from any point inside an equilateral triangle to its sides is constant. Here, in an extension of this result, we show, using linear programming, that any convex polygon can be divided into parallel line segments on which the sum of the distances to the sides of the polygon is constant. Let us say…
The Embedding Theorems of Whitney and Nash
Indian Academy of Sciences (India)
We begin by briefly motivating the idea of amanifold and then discuss the embedding theorems of Whitney and Nash that allow us toview these objects inside appropriately large Euclidean spaces. Resonance – Journal of Science Education. Current Issue : Vol. 23, Issue 4. Current Issue Volume 23 | Issue 4. April 2018.
Nash-Williams’ cycle-decomposition theorem
DEFF Research Database (Denmark)
Thomassen, Carsten
2016-01-01
We give an elementary proof of the theorem of Nash-Williams that a graph has an edge-decomposition into cycles if and only if it does not contain an odd cut. We also prove that every bridgeless graph has a collection of cycles covering each edge at least once and at most 7 times. The two results...
Directory of Open Access Journals (Sweden)
SEVER ANGEL POPESCU
2015-03-01
Full Text Available In this note we make some remarks on the classical Laguerre’s theorem and extend it and some other old results of Walsh and Gauss-Lucas to the so called trace series associated with transcendental elements of the completion of the algebraic closure of Q in C, with respect to the spectral norm:
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].
Anomalous Levinson theorem and supersymmetric quantum mechanics
International Nuclear Information System (INIS)
Boya, L.J.; Casahorran, J.; Esteve, J.G.
1993-01-01
We analyse the symmetry breaking associated to anomalous realization of supersymmetry in the context of SUSY QM. In this case one of the SUSY partners is singular; that leads to peculiar forms of the Levinson theorem relating phase shifts and bound states. Some examples are exhibited; peculiarities include negative energies, incomplete pairing of states and extra phases in scattering. (Author) 8 refs
International Nuclear Information System (INIS)
Majumdar, S.
1988-09-01
A simple proof of Magnus' Freiheitsatz for one-relator groups is given which can be easily applied with slight modifications to prove a generalization of the theorem to any number of relators. (author). 10 refs
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
A STRONG OPTIMIZATION THEOREM IN LOCALLY CONVEX SPACES
Institute of Scientific and Technical Information of China (English)
程立新; 腾岩梅
2003-01-01
This paper presents a geometric characterization of convex sets in locally convex spaces onwhich a strong optimization theorem of the Stegall-type holds, and gives Collier's theorem ofw* Asplund spaces a localized setting.
DISCRETE FIXED POINT THEOREMS AND THEIR APPLICATION TO NASH EQUILIBRIUM
Sato, Junichi; Kawasaki, Hidefumi
2007-01-01
Fixed point theorems are powerful tools in not only mathematics but also economic. In some economic problems, we need not real-valued but integer-valued equilibriums. However, classical fixed point theorems guarantee only real-valued equilibria. So we need discrete fixed point theorems in order to get discrete equilibria. In this paper, we first provide discrete fixed point theorems, next apply them to a non-cooperative game and prove the existence of a Nash equilibrium of pure strategies.
Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally
Salehi, Saeed
2015-01-01
We present a version of Godel's Second Incompleteness Theorem for recursively enumerable consistent extensions of a fixed axiomatizable theory, by incorporating some bi-theoretic version of the derivability conditions (first discussed by M. 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 given.
Gleason-kahane-Żelazko theorem for spectrally bounded algebra
Directory of Open Access Journals (Sweden)
S. H. Kulkarni
2005-01-01
Full Text Available We prove by elementary methods the following generalization of a theorem due to Gleason, Kahane, and Żelazko. Let A be a real algebra with unit 1 such that the spectrum of every element in A is bounded and let φ:A→ℂ be a linear map such that φ(1=1 and (φ(a2+(φ(b2≠0 for all a, b in A satisfying ab=ba and a2+b2 is invertible. Then φ(ab=φ(aφ(b for all a, b in A. Similar results are proved for real and complex algebras using Ransford's concept of generalized spectrum. With these ideas, a sufficient condition for a linear transformation to be multiplicative is established in terms of generalized spectrum.
The Interpretability of Inconsistency: Feferman's Theorem and Related Results
Visser, Albert
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
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
COMPARISON THEOREMS AND APPLICATIONS OF OSCILLATION OF NEUTRAL DIFFERENTIAL EQUATIONS
Institute of Scientific and Technical Information of China (English)
燕居让
1991-01-01
We first establish comparison theorems of the oscillation for a higher-order neutral delaydifferential equation. By these comparison theorems, the criterion of oscillation propertiesof neutral delay differential equation is reduced to that of nonneutral delay differential equa-tion, from which we give a series of oscillation theorems for neutral delay differentialequation.
No-go theorems for the minimization of potentials
International Nuclear Information System (INIS)
Chang, D.; Kumar, A.
1985-01-01
Using a theorem in linear algebra, we prove some no-go theorems in the minimization of potentials related to the problem of symmetry breaking. Some applications in the grand unified model building are mentioned. Another application of the algebraic theorem is also included to demonstrate its usefulness
Search strategy for theorem proving in artificial systems. I
Energy Technology Data Exchange (ETDEWEB)
Lovitskii, V A; Barenboim, M S
1981-01-01
A strategy is contrived, employing the language of finite-order predicate calculus, for finding proofs of theorems. A theorem is formulated, based on 2 known theorems on purity and absorption, and used to determine 5 properties of a set of propositions. 3 references.
Goedel incompleteness theorems and the limits of their applicability. I
International Nuclear Information System (INIS)
Beklemishev, Lev D
2011-01-01
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.
Cosmological singularity theorems for f ( R ) gravity theories
Energy Technology Data Exchange (ETDEWEB)
Alani, Ivo [Departamento de Física and IFIBA, Facultad de Ciencias Exactas y Naturales UBA Pabellón 1, Ciudad Universitaria (1428) C.A.B.A, Buenos Aires (Argentina); Santillán, Osvaldo P., E-mail: firenzecita@hotmail.com, E-mail: osantil@dm.uba.ar [Instituto de Matemáticas Luis Santaló (IMAS), Facultad de Ciencias Exactas y Naturales UBA Pabellón 1, Ciudad Universitaria (1428) C.A.B.A, Buenos Aires (Argentina)
2016-05-01
In the present work some generalizations of the Hawking singularity theorems in the context of f ( R ) theories are presented. The main assumptions are: the matter fields stress energy tensor satisfies the condition ( T {sub ij} −( g {sub ij} /2) T ) k {sup i} k {sup j} ≥ 0 for any generic unit time like field k {sup i} ; the scalaron takes bounded positive values during its evolution and the resulting space time is globally hyperbolic. Then, if there exist a Cauchy hyper-surface Σ for which the expansion parameter θ of the geodesic congruence emanating orthogonally from Σ satisfies some specific bounds, then the resulting space time is geodesically incomplete. Some mathematical results of reference [92] are very important for proving this. The generalized theorems presented here apply directly for some specific models such as the Hu-Sawicki or Starobinsky ones [27,38]. For other scenarios, some extra assumptions should be implemented in order to have a geodesically incomplete space time. The hypothesis considered in this text are sufficient, but not necessary. In other words, their negation does not imply that a singularity is absent.
No-Hair Theorem for Black Holes in Astrophysical Environments
Gürlebeck, Norman
2015-04-01
According to the no-hair theorem, static black holes are described by a Schwarzschild spacetime provided there are no other sources of the gravitational field. This requirement, however, is in astrophysical realistic scenarios often violated, e.g., if the black hole is part of a binary system or if it is surrounded by an accretion disk. In these cases, the black hole is distorted due to tidal forces. Nonetheless, the subsequent formulation of the no-hair theorem holds: The contribution of the distorted black hole to the multipole moments that describe the gravitational field close to infinity and, thus, all sources is that of a Schwarzschild black hole. It still has no hair. This implies that there is no multipole moment induced in the black hole and that its second Love numbers, which measure some aspects of the distortion, vanish as was already shown in approximations to general relativity. But here we prove this property for astrophysical relevant black holes in full general relativity.
Further investigation on the precise formulation of the equivalence theorem
International Nuclear Information System (INIS)
He, H.; Kuang, Y.; Li, X.
1994-01-01
Based on a systematic analysis of the renormalization schemes in the general R ξ gauge, the precise formulation of the equivalence theorem for longitudinal weak boson scatterings is given both in the SU(2) L Higgs theory and in the realistic SU(2)xU(1) electroweak theory to all orders in the perturbation for an arbitrary Higgs boson mass m H . It is shown that there is generally a renormalization-scheme- and ξ-dependent modification factor C mod and a simple formula for C mod is obtained. Furthermore, a convenient particular renormalization scheme is proposed in which C mod is exactly unity. Results of C mod in other currently used schemes are also discussed especially on their ξ and m H dependence through explicit one-loop calculations. It is shown that in some currently used schemes the deviation of C mod from unity and the ξ dependence of C mod are significant even in the large-m H limit. Therefore care should be taken when applying the equivalence theorem
The Marotto Theorem on planar monotone or competitive maps
International Nuclear Information System (INIS)
Yu Huang
2004-01-01
In 1978, Marotto generalized Li-Yorke's results on the criterion for chaos from one-dimensional discrete dynamical systems to n-dimensional discrete dynamical systems, showing that the existence of a non-degenerate snap-back repeller implies chaos in the sense of Li-Yorke. This theorem is very useful in predicting and analyzing discrete chaos in multi-dimensional dynamical systems. Yet, besides it is well known that there exists an error in the conditions of the original Marotto Theorem, and several authors had tried to correct it in different way, Chen, Hsu and Zhou pointed out that the verification of 'non-degeneracy' of a snap-back repeller is the most difficult in general and expected, 'almost beyond reasonable doubt', that the existence of only degenerate snap-back repeller still implies chaotic, which was posed as a conjecture by them. In this paper, we shall give necessary and sufficient conditions of chaos in the sense of Li-Yorke for planar monotone or competitive discrete dynamical systems and solve Chen-Hsu-Zhou Conjecture for such kinds of systems
No-hair theorem for black holes in astrophysical environments.
Gürlebeck, Norman
2015-04-17
According to the no-hair theorem, static black holes are described by a Schwarzschild spacetime provided there are no other sources of the gravitational field. This requirement, however, is in astrophysical realistic scenarios often violated, e.g., if the black hole is part of a binary system or if it is surrounded by an accretion disk. In these cases, the black hole is distorted due to tidal forces. Nonetheless, the subsequent formulation of the no-hair theorem holds: The contribution of the distorted black hole to the multipole moments that describe the gravitational field close to infinity and, thus, all sources is that of a Schwarzschild black hole. It still has no hair. This implies that there is no multipole moment induced in the black hole and that its second Love numbers, which measure some aspects of the distortion, vanish as was already shown in approximations to general relativity. But here we prove this property for astrophysical relevant black holes in full general relativity.
Cosmological singularity theorems for f ( R ) gravity theories
International Nuclear Information System (INIS)
Alani, Ivo; Santillán, Osvaldo P.
2016-01-01
In the present work some generalizations of the Hawking singularity theorems in the context of f ( R ) theories are presented. The main assumptions are: the matter fields stress energy tensor satisfies the condition ( T ij −( g ij /2) T ) k i k j ≥ 0 for any generic unit time like field k i ; the scalaron takes bounded positive values during its evolution and the resulting space time is globally hyperbolic. Then, if there exist a Cauchy hyper-surface Σ for which the expansion parameter θ of the geodesic congruence emanating orthogonally from Σ satisfies some specific bounds, then the resulting space time is geodesically incomplete. Some mathematical results of reference [92] are very important for proving this. The generalized theorems presented here apply directly for some specific models such as the Hu-Sawicki or Starobinsky ones [27,38]. For other scenarios, some extra assumptions should be implemented in order to have a geodesically incomplete space time. The hypothesis considered in this text are sufficient, but not necessary. In other words, their negation does not imply that a singularity is absent.
An extension of Pohlmeyer's theorem
International Nuclear Information System (INIS)
Rosten, Oliver J
2010-01-01
Applying the exact renormalization group to scalar field theory in Euclidean space of general (not necessarily integer) dimension, it is proven that the only fixed point with vanishing anomalous dimension is the Gaussian one. The proof requires positivity of the two-point connected correlation function together with a technical assumption concerning solutions of the flow equation. The method, in which the representation of the flow equation as a heat equation plays a central role, extends directly to non-gauge theories with arbitrary matter content (though nonlinear sigma models are beyond the scope of the current method).
Completeness theorems in transport theory
International Nuclear Information System (INIS)
Zweifel, P.F.
1984-01-01
Ever since K. M.; Case's famous 1960 paper, transport theorists have been studying the questions of full- and half-range completeness for various transport type equations. The purpose of this note is to try to define exactly what is meant by completeness as it is needed, and used, in solving transport equations and to discuss some of the various techniques which have been, or might be, used to verify completeness. Attention is restricted to the question of full-range completeness. As a paradigm the generalized form of the transport equation first introduced by Beals is adopted
Optical theorems and Steinmann relations
International Nuclear Information System (INIS)
Cahill, K.E.; Stapp, H.P.
1975-01-01
Formulas that express in terms of physical scattering functions the discontinuity of any 3-to-3 scattering function across any basis normal threshold cut are derived from field theory. These basic cuts are the cuts in channel energies that start at lowest normal thresholds and extend to plus infinity. The discontinuity across such a cut generally depends on whether it is evaluated above or below each of the remaining basic cuts. Formulas are obtained for all cases. Generalized Steinmann relation are found to hold: the 2282 boundary values from which the discontinuities across basic cuts are formed have a unique extension to a set of 2 16 =65,536 functions, one for each combination of sides of the 16 basic cuts, such that for any pair of overlapping channels the corresponding double discontinuity vanishes. The ordinary Steinmann relations require this property to hold only for the double discontinuities formed from the original boundary values. The results are derived from the field-theoretic formalism of Bros, Epstein, and Glaser, which is slightly developed and cast into a form suited for calculations of the kind needed here
Institute of Scientific and Technical Information of China (English)
李仁杰; 乔永芬; 刘洋
2002-01-01
We present a general approach to the construction of conservation laws for variable mass nonholonomic noncon-servative systems. First, we give the definition of integrating factors, and we study in detail the necessary conditionsfor the existence of the conserved quantities. Then, we establish the conservation theorem and its inverse theorem forHamilton's canonical equations of motion of variable mass nonholonomic nonconservative dynamical systems. Finally,we give an example to illustrate the application of the results.
Institute of Scientific and Technical Information of China (English)
李仁杰; 刘洋; 等
2002-01-01
We present a general approach to the construction of conservation laws for variable mass noholonmic nonconservative systems.First,we give the definition of integrating factors,and we study in detail the necessary conditions for the existence of the conserved quantities,Then,we establish the conservatioin theorem and its inverse theorem for Hamilton's canonical equations of motion of variable mass nonholonomic nonocnservative dynamical systems.Finally,we give an example to illustrate the application of the results.
Supercurrent and the Adler-Bardeen theorem in coupled supersymmetric Yang-Mills theories
International Nuclear Information System (INIS)
Ensign, P.W.
1987-01-01
By the Adler-Bardeen theorem, only one-loop Feynman diagrams contribute to the anomalous divergences of quantum axial currents. The anomalous nature of scale transformations is manifested by an anomalous trace of the energy-momentum tensor, T/sup μ//sub μ/. Renormalization group arguments show that the quantum T/sup μ//sub μ/ must be proportional to the β-function. Since the β-function receives contributions at all loop levels, the Adler-Bardeen theorem appears to conflict with supersymmetry. Recently Grisaru, Milewski and Zanon constructed a supersymmetric axial current for pure supersymmetric Yang-Mills theory which satisfies the Adler-Bardeen theorem to two-loops. They used supersymmetric background field theory and regularization by dimensional reduction to maintain manifest supersymmetry and gauge invariance. In this thesis, their construction is extended to supersymmetric Yang-Mills theory coupled to chiral matter fields. The Adler-Bardeen theorem is then proven to all orders in perturbation theory for both the pure and coupled theories. The extension to coupled supersymmetric Yang-Mills supports the general validity of these techniques, and adds considerable insight into the structure of the anomalies. The all orders proof demonstrates that there is no conflict between supersymmetry and the Adler-Bardeen theorem
Differentiability in density-functional theory: Further study of the locality theorem
International Nuclear Information System (INIS)
Lindgren, Ingvar; Salomonson, Sten
2004-01-01
The locality theorem in density-functional theory (DFT) states that the functional derivative of the Hohenberg-Kohn universal functional can be expressed as a local multiplicative potential function, and this is the basis of DFT and of the successful Kohn-Sham model. Nesbet has in several papers [Phys. Rev. A 58, R12 (1998); ibid.65, 010502 (2001); Adv. Quant. Chem, 43, 1 (2003)] claimed that this theorem is in conflict with fundamental quantum physics, and as a consequence that the Hohenberg-Kohn theory cannot be generally valid. We have commented upon these works [Comment, Phys. Rev. A 67, 056501 (2003)] and recently extended the arguments [Adv. Quantum Chem. 43, 95 (2003)]. We have shown that there is no such conflict and that the locality theorem is inherently exact. In the present work we have furthermore verified this numerically by constructing a local Kohn-Sham potential for the 1s2s 3 S state of helium that generates the many-body electron density and shown that the corresponding 2s Kohn-Sham orbital eigenvalue agrees with the ionization energy to nine digits. Similar result is obtained with the Hartree-Fock density. Therefore, in addition to verifying the locality theorem, this result also confirms the so-called ionization-potential theorem
Sturm-Picone type theorems for second-order nonlinear differential equations
Directory of Open Access Journals (Sweden)
Aydin Tiryaki
2014-06-01
Full Text Available The aim of this article is to give Sturm-Picone type theorems for the pair of second-order nonlinear differential equations $$\\displaylines{ (p_1(t|x'|^{\\alpha-1}x''+q_1(tf_1(x=0 \\cr (p_2(t|y'|^{\\alpha-1}y''+q_2(tf_2(y=0,\\quad t_1
Proofs of the Kochen–Specker theorem based on a system of three qubits
International Nuclear Information System (INIS)
Waegell, Mordecai; Aravind, P K
2012-01-01
A number of new proofs of the Kochen–Specker theorem are given based on the observables of the three-qubit Pauli group. Each proof is presented in the form of a diagram from which it is obvious by inspection. Each of our observable-based proofs leads to a system of projectors and bases that generally yields a large number of ‘parity proofs’ of the Kochen–Specker theorem. Some examples of such proofs are given and some of their applications are discussed. (paper)
Feynman-Hellmann theorem for resonances and the quest for QCD exotica
Energy Technology Data Exchange (ETDEWEB)
Ruiz de Elvira, J. [University of Bern, Albert Einstein Center for Fundamental Physics, Institute for Theoretical Physics, Bern (Switzerland); Meissner, U.G. [Universitaet Bonn, Helmholtz-Institut fuer Strahlen-und Kernphysik and Bethe Center for Theoretical Physics, Bonn (Germany); Juelich Center for Hadron Physics and JARA-HPC, Forschungszentrum Juelich, Institute for Advanced Simulation (IAS-4), Institut fuer Kernphysik (IKP-3), Juelich (Germany); Rusetsky, A. [Universitaet Bonn, Helmholtz-Institut fuer Strahlen-und Kernphysik and Bethe Center for Theoretical Physics, Bonn (Germany); Schierholz, G. [Deutsches Elektronen-Synchrotron DESY, Hamburg (Germany)
2017-10-15
The generalization of the Feynman-Hellmann theorem for resonance states in quantum field theory is derived. On the basis of this theorem, a criterion is proposed to study the possible exotic nature of certain hadronic states emerging in QCD. It is shown that this proposal is supported by explicit calculations in chiral perturbation theory and by large-N{sub c} arguments. Analyzing recent lattice data on the quark mass dependence in the pseudoscalar, vector meson, baryon octet and baryon decuplet sectors, we conclude that, as expected, these are predominately quark-model states, albeit the corrections are non-negligible. (orig.)
''Vanishing theorem'' for a positive holomorphic vector bundle of undefined rank
International Nuclear Information System (INIS)
Le Potier, J.
1974-01-01
Let M ba a compact complex manifold of dimension n and let E→M be a holomorphic vector bundle over M. Theorem: If E is positive of rank r and if Hsup(p,q)(M,E) is the cohomology of type (p,q) of M with values in E, then Hsup(p,q)(M,E) = O as soon as p+q >=n+r. If r = 1, this is the ''precise vanishing theorem'' due to Kodaira and Nakano; the present paper contains a proof of the general case
Yang, Kai-Lin
2016-01-01
This study aims at analyzing how Pythagoras' theorem is handled in three versions of Taiwanese textbooks using a conceptual framework of a constructive-empirical perspective on abstraction, which comprises three key attributes: the generality of the object, the connectivity of the subject and the functionality of diagrams as the focused semiotic…
International Nuclear Information System (INIS)
Fan Hongyi; Hao Ren; Lu Hailiang
2008-01-01
Based on our previous paper (Commun. Theor. Phys. 39 (2003) 417) we derive the convolution theorem of fractional Fourier transformation in the context of quantum mechanics, which seems a convenient and neat way. Generalization of this method to the complex fractional Fourier transformation case is also possible
Directory of Open Access Journals (Sweden)
Xiangbing Zhou
2012-01-01
Full Text Available We generalize a fixed point theorem in partially ordered complete metric spaces in the study of A. Amini-Harandi and H. Emami (2010. We also give an application on the existence and uniqueness of the positive solution of a multipoint boundary value problem with fractional derivatives.
Convergence theorems for renormalized Feynman integrals with zero-mass propagators
International Nuclear Information System (INIS)
Lowenstein, J.H.
1976-01-01
A general momentum-space subtraction procedure is proposed for the removal of both ultraviolet and infrared divergences of Feynman integrals. Convergence theorems are proved which allow one to define time-ordered Green functions, as tempered distributions for a wide class of theories with zero-mass propagators. (orig.) [de
Weak theorems on differential inequalities for two-dimensional functional differential systems
Czech Academy of Sciences Publication Activity Database
Šremr, Jiří
2008-01-01
Roč. 65, č. 2 (2008), s. 157-189 ISSN 0032-5155 R&D Projects: GA ČR(CZ) GA201/06/0254 Institutional research plan: CEZ:AV0Z10190503 Keywords : two-dimensional functional differential system * weak theorem on differential inequalities * Volterra operator Subject RIV: BA - General Mathematics
Deformation quantization and Borel´s theorem in locally convex spaces
Czech Academy of Sciences Publication Activity Database
Engliš, Miroslav; Taskinen, J.
2007-01-01
Roč. 180, č. 1 (2007), s. 77-93 ISSN 0039-3223 R&D Projects: GA ČR GA201/03/0041 Institutional research plan: CEZ:AV0Z10190503 Keywords : Berezin-Toeplitz quantization * Borel theorem * Frechet space Subject RIV: BA - General Mathematics Impact factor: 0.568, year: 2007
Renner, R; Cirac, J I
2009-03-20
We show that the quantum de Finetti theorem holds for states on infinite-dimensional systems, provided they satisfy certain experimentally verifiable conditions. This result can be applied to prove the security of quantum key distribution based on weak coherent states or other continuous variable states against general attacks.
A quantitative version of Steinhaus’ theorem for compact, connected, rank-one symmetric spaces
F.M. de Oliveira Filho (Fernando Mario); F. Vallentin (Frank)
2010-01-01
htmlabstractLet $d_1$, $d_2$, ... be a sequence of positive numbers that converges to zero. A generalization of Steinhaus' theorem due to Weil implies that, if a subset of a homogeneous Riemannian manifold has no pair of points at distances $d_1$, $d_2$, ... from each other, then it has to have
The divergence theorem for divergence measure vectorfields on sets with fractal boundaries
Czech Academy of Sciences Publication Activity Database
Šilhavý, Miroslav
2009-01-01
Roč. 14, č. 5 (2009), s. 445-455 ISSN 1081-2865 Institutional research plan: CEZ:AV0Z10190503 Keywords : divergence measure vectorfields * fractal s * divergence theorem Subject RIV: BA - General Mathematics Impact factor: 1.065, year: 2009
A noncommutative mean ergodic theorem for partial W*-dynamical semigroups
International Nuclear Information System (INIS)
Ekhaguere, G.O.S.
1992-12-01
A noncommutative mean ergodic theorem for dynamical semigroups of maps on partial W*-algebras of linear operators from a pre-Hilbert space into its completion is proved. This generalizes a similar result of Watanabe for dynamical semigroups of maps on W*-algebras of operators. (author). 14 refs
Perturbative description of the fermionic projector: Normalization, causality, and Furry's theorem
Finster, Felix; Tolksdorf, Jürgen
2014-05-01
The causal perturbation expansion of the fermionic projector is performed with a contour integral method. Different normalization conditions are analyzed. It is shown that the corresponding light-cone expansions are causal in the sense that they only involve bounded line integrals. For the resulting loop diagrams we prove a generalized Furry theorem.
Perturbative description of the fermionic projector: Normalization, causality, and Furry's theorem
Energy Technology Data Exchange (ETDEWEB)
Finster, Felix, E-mail: finster@ur.de [Fakultät für Mathematik, Universität Regensburg, D-93040 Regensburg (Germany); Tolksdorf, Jürgen, E-mail: Juergen.Tolksdorf@mis.mpg.de [Max Planck Institute for Mathematics in the Sciences, Leipzig (Germany)
2014-05-15
The causal perturbation expansion of the fermionic projector is performed with a contour integral method. Different normalization conditions are analyzed. It is shown that the corresponding light-cone expansions are causal in the sense that they only involve bounded line integrals. For the resulting loop diagrams we prove a generalized Furry theorem.
Perturbative description of the fermionic projector: Normalization, causality, and Furry's theorem
International Nuclear Information System (INIS)
Finster, Felix; Tolksdorf, Jürgen
2014-01-01
The causal perturbation expansion of the fermionic projector is performed with a contour integral method. Different normalization conditions are analyzed. It is shown that the corresponding light-cone expansions are causal in the sense that they only involve bounded line integrals. For the resulting loop diagrams we prove a generalized Furry theorem
A strong open mapping theorem for surjections from cones onto Banach spaces
Jeu, de M.F.E.; Messerschmidt, H.J.M.
2014-01-01
We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Mapping Theorem for Banach spaces is then combined with Michael's
Evolutionary trees: an integer multicommodity max-flow-min-cut theorem
Erdös, Péter L.; Szekely, László A.
1992-01-01
In biomathematics, the extensions of a leaf-colouration of a binary tree to the whole vertex set with minimum number of colour-changing edges are extensively studied. Our paper generalizes the problem for trees; algorithms and a Menger-type theorem are presented. The LP dual of the problem is a
The coding theorem for a class of quantum channels with long-term memory
International Nuclear Information System (INIS)
Datta, Nilanjana; Dorlas, Tony C
2007-01-01
In this paper, we consider the transmission of classical information through a class of quantum channels with long-term memory, which are convex combinations of memoryless channels. Hence, the memory of such channels can be considered to be given by a Markov chain which is aperiodic but not irreducible. We prove the coding theorem and weak converse for this class of channels. The main techniques that we employ are a quantum version of Feinstein's fundamental lemma (Feinstein A 1954 IRE Trans. PGIT 4 2-22, Khinchin A I 1957 Mathematical Foundations of Information Theory: II. On the Fundamental Theorems of Information Theory (New York: Dover) chapter IV) and a generalization of Helstrom's theorem (Helstrom C W 1976 Quantum detection and estimation theory Mathematics in Science and Engineering vol 123 (London: Academic))
Vapour–to–liquid nucleation: Nucleation theorems for nonisothermal–nonideal case
Energy Technology Data Exchange (ETDEWEB)
Malila, J.; McGraw, R.; Napari, I.; Laaksonen, A.
2010-08-29
Homogeneous vapour-to-liquid nucleation, a basic process of aerosol formation, is often considered as a type example of nucleation phenomena, while most treatment of the subject introduce several simplifying assumptions (ideal gas phase, incompressible nucleus, isothermal kinetics, size-independent surface free energy...). During last decades, nucleation theorems have provided new insights into properties of critical nuclei facilitating direct comparison between laboratory experiments and molecular simulations. These theorems are, despite of their generality, often applied in forms where the aforementioned assumptions are made. Here we present forms of nucleation theorems that explicitly take into account these effects and allow direct estimation of their importance. Only assumptions are Arrhenius-type kinetics of nucleation process and exclusion carrier gas molecules from the critical nucleus.
Lesovik, G B; Lebedev, A V; Sadovskyy, I A; Suslov, M V; Vinokur, V M
2016-09-12
Remarkable progress of quantum information theory (QIT) allowed to formulate mathematical theorems for conditions that data-transmitting or data-processing occurs with a non-negative entropy gain. However, relation of these results formulated in terms of entropy gain in quantum channels to temporal evolution of real physical systems is not thoroughly understood. Here we build on the mathematical formalism provided by QIT to formulate the quantum H-theorem in terms of physical observables. We discuss the manifestation of the second law of thermodynamics in quantum physics and uncover special situations where the second law can be violated. We further demonstrate that the typical evolution of energy-isolated quantum systems occurs with non-diminishing entropy.
A Geometrical Approach to Bell's Theorem
Rubincam, David Parry
2000-01-01
Bell's theorem can be proved through simple geometrical reasoning, without the need for the Psi function, probability distributions, or calculus. The proof is based on N. David Mermin's explication of the Einstein-Podolsky-Rosen-Bohm experiment, which involves Stern-Gerlach detectors which flash red or green lights when detecting spin-up or spin-down. The statistics of local hidden variable theories for this experiment can be arranged in colored strips from which simple inequalities can be deduced. These inequalities lead to a demonstration of Bell's theorem. Moreover, all local hidden variable theories can be graphed in such a way as to enclose their statistics in a pyramid, with the quantum-mechanical result lying a finite distance beneath the base of the pyramid.
A THEOREM ON CENTRAL VELOCITY DISPERSIONS
International Nuclear Information System (INIS)
An, Jin H.; Evans, N. Wyn
2009-01-01
It is shown that, if the tracer population is supported by a spherical dark halo with a core or a cusp diverging more slowly than that of a singular isothermal sphere (SIS), the logarithmic cusp slope γ of the tracers must be given exactly by γ = 2β, where β is their velocity anisotropy parameter at the center unless the same tracers are dynamically cold at the center. If the halo cusp diverges faster than that of the SIS, the velocity dispersion of the tracers must diverge at the center too. In particular, if the logarithmic halo cusp slope is larger than two, the diverging velocity dispersion also traces the behavior of the potential. The implication of our theorem on projected quantities is also discussed. We argue that our theorem should be understood as a warning against interpreting results based on simplifying assumptions such as isotropy and spherical symmetry.
Asymptotic twistor theory and the Kerr theorem
International Nuclear Information System (INIS)
Newman, Ezra T
2006-01-01
We first review asymptotic twistor theory with its real subspace of null asymptotic twistors: a five-dimensional CR manifold. This is followed by a description of the Kerr theorem (the identification of shear-free null congruences, in Minkowski space, with the zeros of holomorphic functions of three variables) and an asymptotic version of the Kerr theorem that produces regular asymptotically shear-free null geodesic congruences in arbitrary asymptotically flat Einstein or Einstein-Maxwell spacetimes. A surprising aspect of this work is the role played by analytic curves in H-space, each curve generating an asymptotically flat null geodesic congruence. Also there is a discussion of the physical space realizations of the two associated five- and three-dimensional CR manifolds
Theorem of comparative sensitivity of fibre sensors
Belovolov, M. I.; Paramonov, V. M.; Belovolov, M. M.
2017-12-01
We report an analysis of sensitivity of fibre sensors of physical quantities based on different types of interferometers. We formulate and prove the following theorem: under the time-dependent external physical perturbations at nonzero frequencies (i.e., except the static and low-frequency ones) on the sensitive arms of an interferometer in the form of multiturn elements (coils), there exist such lengths L of the measuring arms of the fibre interferometers at which the sensitivity of sensors based on the Sagnac fibre interferometers can be comparable with the sensitivity of sensors based on Michelson, Mach - Zehnder, or Fabry - Perot fibre interferometers, as well as exceed it under similar other conditions (similar-type perturbations, similar arm lengths and single-mode fibre types). The consequences that follow from the theorem, important for practical implementation of arrays of fibre sensors for measurement purposes and the devices with stable metrological properties, are discussed.
The self-normalized Donsker theorem revisited
Parczewski, Peter
2016-01-01
We extend the Poincar\\'{e}--Borel lemma to a weak approximation of a Brownian motion via simple functionals of uniform distributions on n-spheres in the Skorokhod space $D([0,1])$. This approach is used to simplify the proof of the self-normalized Donsker theorem in Cs\\"{o}rg\\H{o} et al. (2003). Some notes on spheres with respect to $\\ell_p$-norms are given.
The untyped stack calculus and Bohm's theorem
Directory of Open Access Journals (Sweden)
Alberto Carraro
2013-03-01
Full Text Available The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus. We present a simple extension of stack calculus which is for the stack calculus what Saurin's Lambda-mu is for lambda-mu.
Gauge Invariance and the Goldstone Theorem
Guralnik, Gerald S.
This paper was originally created for and printed in the "Proceedings of seminar on unified theories of elementary particles" held in Feldafing, Germany from July 5 to 16, 1965 under the auspices of the Max-Planck-Institute for Physics and Astrophysics in Munich. It details and expands upon the 1964 Guralnik, Hagen, and Kibble paper demonstrating that the Goldstone theorem does not require physical zero mass particles in gauge theories.
A remark on three-surface theorem
International Nuclear Information System (INIS)
Lu Zhujia
1991-01-01
The three-surface theorem for uniformly elliptic differential inequalities with nonpositive coefficient of zero-order term in some domain D is included in R n becomes trivial if the maximum of u on two separate boundary surface of D is nonpositive. We give a method in this paper for obtaining a nontrivial estimate of the maximum of u on a family of closed surfaces. (author). 2 refs
Asynchronous networks: modularization of dynamics theorem
Bick, Christian; Field, Michael
2017-02-01
Building on the first part of this paper, we develop the theory of functional asynchronous networks. We show that a large class of functional asynchronous networks can be (uniquely) represented as feedforward networks connecting events or dynamical modules. For these networks we can give a complete description of the network function in terms of the function of the events comprising the network: the modularization of dynamics theorem. We give examples to illustrate the main results.
Fractional and integer charges from Levinson's theorem
International Nuclear Information System (INIS)
Farhi, E.; Graham, N.; Jaffe, R.L.; Weigel, H.
2001-01-01
We compute fractional and integer fermion quantum numbers of static background field configurations using phase shifts and Levinson's theorem. By extending fermionic scattering theory to arbitrary dimensions, we implement dimensional regularization in a (1+1)-dimensional gauge theory. We demonstrate that this regularization procedure automatically eliminates the anomaly in the vector current that a naive regulator would produce. We also apply these techniques to bag models in one and three dimensions
Central limit theorem and deformed exponentials
International Nuclear Information System (INIS)
Vignat, C; Plastino, A
2007-01-01
The central limit theorem (CLT) can be ranked among the most important ones in probability theory and statistics and plays an essential role in several basic and applied disciplines, notably in statistical thermodynamics. We show that there exists a natural extension of the CLT from exponentials to so-called deformed exponentials (also denoted as q-Gaussians). Our proposal applies exactly in the usual conditions in which the classical CLT is used. (fast track communication)
Optical theorem for heavy-ion scattering
International Nuclear Information System (INIS)
Schwarzschild, A.Z.; Auerbach, E.H.; Fuller, R.C.; Kahana, S.
1976-01-01
An heuristic derivation is given of an equivalent of the optical theorem stated in the charged situation with the remainder or nuclear elastic scattering amplitude defined as a difference of elastic and Coulomb amplitudes. To test the detailed behavior of this elastic scattering amplitude and the cross section, calculations were performed for elastic scattering of 18 O + 58 Ni, 136 Xe + 209 Bi, 84 Kr + 208 Pb, and 11 B + 26 Mg at 63.42 to 114 MeV
Applications of Wck's theorem, ch. 17
International Nuclear Information System (INIS)
Brussaard, P.J.; Glaudemans, P.W.M.
1977-01-01
Wick's theorem is introduced and used to write the many-body Hamiltonian in a selfconsistent basis. The terms of a perturbation expansion are evaluated with the use of the second-quantization formalism.The correspondence with Feyman diagrams is demonstrated. For some nuclei a description in terms of particle-hole configurations is quite convenient. The simplest case, i.e. one-particle, one-hole states, is treated
Conformally Coupled General Relativity
Directory of Open Access Journals (Sweden)
Andrej Arbuzov
2018-02-01
Full Text Available The gravity model developed in the series of papers (Arbuzov et al. 2009; 2010, (Pervushin et al. 2012 is revisited. The model is based on the Ogievetsky theorem, which specifies the structure of the general coordinate transformation group. The theorem is implemented in the context of the Noether theorem with the use of the nonlinear representation technique. The canonical quantization is performed with the use of reparametrization-invariant time and Arnowitt– Deser–Misner foliation techniques. Basic quantum features of the models are discussed. Mistakes appearing in the previous papers are corrected.
No hair theorem in quasi-dilaton massive gravity
Energy Technology Data Exchange (ETDEWEB)
Wu, De-Jun, E-mail: wudejun10@mails.ucas.ac.cn [School of Physics, University of Chinese Academy of Sciences, Beijing 100049 (China); Zhou, Shuang-Yong, E-mail: sxz353@case.edu [Department of Physics, Case Western Reserve University, 10900 Euclid Ave, Cleveland, OH 44106 (United States)
2016-06-10
We investigate the static, spherically symmetric black hole solutions in the quasi-dilaton model and its generalizations, which are scalar extended dRGT massive gravity with a shift symmetry. We show that, unlike generic scalar extended massive gravity models, these theories do not admit static, spherically symmetric black hole solutions until the theory parameters in the dRGT potential are fine-tuned. When fine-tuned, the geometry of the static, spherically symmetric black hole is necessarily that of general relativity and the quasi-dilaton field is constant across the spacetime. The fine-tuning and the no hair theorem apply to black holes with flat, anti-de Sitter or de Sitter asymptotics.
No hair theorem in quasi-dilaton massive gravity
International Nuclear Information System (INIS)
Wu, De-Jun; Zhou, Shuang-Yong
2016-01-01
We investigate the static, spherically symmetric black hole solutions in the quasi-dilaton model and its generalizations, which are scalar extended dRGT massive gravity with a shift symmetry. We show that, unlike generic scalar extended massive gravity models, these theories do not admit static, spherically symmetric black hole solutions until the theory parameters in the dRGT potential are fine-tuned. When fine-tuned, the geometry of the static, spherically symmetric black hole is necessarily that of general relativity and the quasi-dilaton field is constant across the spacetime. The fine-tuning and the no hair theorem apply to black holes with flat, anti-de Sitter or de Sitter asymptotics.
Theorem Proving In Higher Order Logics
Carreno, Victor A. (Editor); Munoz, Cesar A.; Tahar, Sofiene
2002-01-01
The TPHOLs International Conference serves as a venue for the presentation of work in theorem proving in higher-order logics and related areas in deduction, formal specification, software and hardware verification, and other applications. Fourteen papers were submitted to Track B (Work in Progress), which are included in this volume. Authors of Track B papers gave short introductory talks that were followed by an open poster session. The FCM 2002 Workshop aimed to bring together researchers working on the formalisation of continuous mathematics in theorem proving systems with those needing such libraries for their applications. Many of the major higher order theorem proving systems now have a formalisation of the real numbers and various levels of real analysis support. This work is of interest in a number of application areas, such as formal methods development for hardware and software application and computer supported mathematics. The FCM 2002 consisted of three papers, presented by their authors at the workshop venue, and one invited talk.
Soft theorems from conformal field theory
International Nuclear Information System (INIS)
Lipstein, Arthur E.
2015-01-01
Strominger and collaborators recently proposed that soft theorems for gauge and gravity amplitudes can be interpreted as Ward identities of a 2d CFT at null infinity. In this paper, we will consider a specific realization of this CFT known as ambitwistor string theory, which describes 4d Yang-Mills and gravity with any amount of supersymmetry. Using 4d ambtwistor string theory, we derive soft theorems in the form of an infinite series in the soft momentum which are valid to subleading order in gauge theory and sub-subleading order in gravity. Furthermore, we describe how the algebra of soft limits can be encoded in the braiding of soft vertex operators on the worldsheet and point out a simple relation between soft gluon and soft graviton vertex operators which suggests an interesting connection to color-kinematics duality. Finally, by considering ambitwistor string theory on a genus one worldsheet, we compute the 1-loop correction to the subleading soft graviton theorem due to infrared divergences.
Central Limit Theorem: New SOCR Applet and Demonstration Activity
Dinov, Ivo D.; Christou, Nicolas; Sanchez, Juana
2011-01-01
Modern approaches for information technology based blended education utilize a variety of novel instructional, computational and network resources. Such attempts employ technology to deliver integrated, dynamically linked, interactive content and multifaceted learning environments, which may facilitate student comprehension and information retention. In this manuscript, we describe one such innovative effort of using technological tools for improving student motivation and learning of the theory, practice and usability of the Central Limit Theorem (CLT) in probability and statistics courses. Our approach is based on harnessing the computational libraries developed by the Statistics Online Computational Resource (SOCR) to design a new interactive Java applet and a corresponding demonstration activity that illustrate the meaning and the power of the CLT. The CLT applet and activity have clear common goals; to provide graphical representation of the CLT, to improve student intuition, and to empirically validate and establish the limits of the CLT. The SOCR CLT activity consists of four experiments that demonstrate the assumptions, meaning and implications of the CLT and ties these to specific hands-on simulations. We include a number of examples illustrating the theory and applications of the CLT. Both the SOCR CLT applet and activity are freely available online to the community to test, validate and extend (Applet: http://www.socr.ucla.edu/htmls/SOCR_Experiments.html and Activity: http://wiki.stat.ucla.edu/socr/index.php/SOCR_EduMaterials_Activities_GeneralCentralLimitTheorem). PMID:21833159
Heads or tails an introduction to limit theorems in probability
Lesigne, Emmanuel
2005-01-01
Everyone knows some of the basics of probability, perhaps enough to play cards. Beyond the introductory ideas, there are many wonderful results that are unfamiliar to the layman, but which are well within our grasp to understand and appreciate. Some of the most remarkable results in probability are those that are related to limit theorems--statements about what happens when the trial is repeated many times. The most famous of these is the Law of Large Numbers, which mathematicians, engineers, economists, and many others use every day. In this book, Lesigne has made these limit theorems accessible by stating everything in terms of a game of tossing of a coin: heads or tails. In this way, the analysis becomes much clearer, helping establish the reader's intuition about probability. Moreover, very little generality is lost, as many situations can be modelled from combinations of coin tosses. This book is suitable for anyone who would like to learn more about mathematical probability and has had a one-year underg...
Anisotropic interpolation theorems of Musielak-Orlicz type
Directory of Open Access Journals (Sweden)
Jinxia Li
2016-10-01
Full Text Available Abstract Anisotropy is a common attribute of Nature, which shows different characterizations in different directions of all or part of the physical or chemical properties of an object. The anisotropic property, in mathematics, can be expressed by a fairly general discrete group of dilations { A k : k ∈ Z } $\\{A^{k}: k\\in\\mathbb{Z}\\}$ , where A is a real n × n $n\\times n$ matrix with all its eigenvalues λ satisfy | λ | > 1 $|\\lambda|>1$ . Let φ : R n × [ 0 , ∞ → [ 0 , ∞ $\\varphi: \\mathbb{R}^{n}\\times[0, \\infty\\to[0,\\infty$ be an anisotropic Musielak-Orlicz function such that φ ( x , ⋅ $\\varphi(x,\\cdot$ is an Orlicz function and φ ( ⋅ , t $\\varphi(\\cdot,t$ is a Muckenhoupt A ∞ ( A $\\mathbb {A}_{\\infty}(A$ weight. The aim of this article is to obtain two anisotropic interpolation theorems of Musielak-Orlicz type, which are weighted anisotropic extension of Marcinkiewicz interpolation theorems. The above results are new even for the isotropic weighted settings.
Non-compact random generalized games and random quasi-variational inequalities
Yuan, Xian-Zhi
1994-01-01
In this paper, existence theorems of random maximal elements, random equilibria for the random one-person game and random generalized game with a countable number of players are given as applications of random fixed point theorems. By employing existence theorems of random generalized games, we deduce the existence of solutions for non-compact random quasi-variational inequalities. These in turn are used to establish several existence theorems of noncompact generalized random ...
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
The implicit function theorem history, theory, and applications
Krantz, Steven G
2003-01-01
The implicit function theorem is part of the bedrock of mathematics analysis and geometry. Finding its genesis in eighteenth century studies of real analytic functions and mechanics, the implicit and inverse function theorems have now blossomed into powerful tools in the theories of partial differential equations, differential geometry, and geometric analysis. There are many different forms of the implicit function theorem, including (i) the classical formulation for Ck functions, (ii) formulations in other function spaces, (iii) formulations for non-smooth function, (iv) formulations for functions with degenerate Jacobian. Particularly powerful implicit function theorems, such as the Nash-Moser theorem, have been developed for specific applications (e.g., the imbedding of Riemannian manifolds). All of these topics, and many more, are treated in the present volume. The history of the implicit function theorem is a lively and complex store, and intimately bound up with the development of fundamental ideas in a...
Some fixed point theorems in fuzzy reflexive Banach spaces
International Nuclear Information System (INIS)
Sadeqi, I.; Solaty kia, F.
2009-01-01
In this paper, we first show that there are some gaps in the fixed point theorems for fuzzy non-expansive mappings which are proved by Bag and Samanta, in [Bag T, Samanta SK. Fixed point theorems on fuzzy normed linear spaces. Inf Sci 2006;176:2910-31; Bag T, Samanta SK. Some fixed point theorems in fuzzy normed linear spaces. Inform Sci 2007;177(3):3271-89]. By introducing the notion of fuzzy and α- fuzzy reflexive Banach spaces, we obtain some results which help us to establish the correct version of fuzzy fixed point theorems. Second, by applying Theorem 3.3 of Sadeqi and Solati kia [Sadeqi I, Solati kia F. Fuzzy normed linear space and it's topological structure. Chaos, Solitons and Fractals, in press] which says that any fuzzy normed linear space is also a topological vector space, we show that all topological version of fixed point theorems do hold in fuzzy normed linear spaces.
Pointwise convergence and Ascoli theorems for nearness spaces
Directory of Open Access Journals (Sweden)
Zhanbo Yang
2009-04-01
Full Text Available We first study subspaces and product spaces in the context of nearness spaces and prove that U-N spaces, C-N spaces, PN spaces and totally bounded nearness spaces are nearness hereditary; T-N spaces and compact nearness spaces are N-closed hereditary. We prove that N2 plus compact implies N-closed subsets. We prove that totally bounded, compact and N2 are productive. We generalize the concepts of neighborhood systems into the nearness spaces and prove that the nearness neighborhood systems are consistent with existing concepts of neighborhood systems in topological spaces, uniform spaces and proximity spaces respectively when considered in the respective sub-categories. We prove that a net of functions is convergent under the pointwise convergent nearness structure if and only if its cross-section at each point is convergent. We have also proved two Ascoli-Arzelà type of theorems.
Theorems on Existence and Global Dynamics for the Einstein Equations
Directory of Open Access Journals (Sweden)
Rendall Alan
2002-01-01
Full Text Available This article is a guide to theorems on existence and global dynamics of solutions ofthe Einstein equations. It draws attention to open questions in the field. The local-in-time Cauchy problem, which is relatively well understood, is surveyed. Global results for solutions with various types of symmetry are discussed. A selection of results from Newtonian theory and special relativity that offer useful comparisons is presented. Treatments of global results in the case of small data and results on constructing spacetimes with prescribed singularity structure are given. A conjectural picture of the asymptotic behaviour of general cosmological solutions of the Einstein equations is built up. Some miscellaneous topics connected with the main theme are collected in a separate section.
Theorems on Existence and Global Dynamics for the Einstein Equations
Directory of Open Access Journals (Sweden)
Rendall Alan D.
2005-10-01
Full Text Available This article is a guide to theorems on existence and global dynamics of solutions of the Einstein equations. It draws attention to open questions in the field. The local-in-time Cauchy problem, which is relatively well understood, is surveyed. Global results for solutions with various types of symmetry are discussed. A selection of results from Newtonian theory and special relativity that offer useful comparisons is presented. Treatments of global results in the case of small data and results on constructing spacetimes with prescribed singularity structure or late-time asymptotics are given. A conjectural picture of the asymptotic behaviour of general cosmological solutions of the Einstein equations is built up. Some miscellaneous topics connected with the main theme are collected in a separate section.
Convergence theorems for strictly hemi-contractive maps
International Nuclear Information System (INIS)
Chidume, C.E.; Osilike, M.O.
1992-04-01
It is proved that each of two well-known fixed point iteration methods (the Mann and the Ishikawa iteration methods) converges strongly to the fixed point of strictly hemi-contractive map in real Banach spaces with property (U, λ, m+1,m), λ is an element of R, m is an element of IN. The class of strictly hemi-contractive maps includes all strictly pseudo-contractive maps with nonempty fixed point sets; and Banach spaces with property (U, λ, m+1, m), λ is an element of R, m is an element of IN include the L p (or l p ) spaces, p≥2. Our theorems generalize important known results. (author). 22 refs
H–J–B Equations of Optimal Consumption-Investment and Verification Theorems
Energy Technology Data Exchange (ETDEWEB)
Nagai, Hideo, E-mail: nagaih@kansai-u.ac.jp [Kansai University, Department of Mathematics, Faculty of Engineering Science (Japan)
2015-04-15
We consider a consumption-investment problem on infinite time horizon maximizing discounted expected HARA utility for a general incomplete market model. Based on dynamic programming approach we derive the relevant H–J–B equation and study the existence and uniqueness of the solution to the nonlinear partial differential equation. By using the smooth solution we construct the optimal consumption rate and portfolio strategy and then prove the verification theorems under certain general settings.
Existence and convergence theorems for evolutionary hemivariational inequalities of second order
Directory of Open Access Journals (Sweden)
Zijia Peng
2015-03-01
Full Text Available This article concerns with a class of evolutionary hemivariational inequalities in the framework of evolution triple. Based on the Rothe method, monotonicity-compactness technique and the properties of Clarke's generalized derivative and gradient, the existence and convergence theorems to these problems are established. The main idea in the proof is using the time difference to construct the approximate problems. The work generalizes the existence results on evolution inclusions and hemivariational inequalities of second order.
H–J–B Equations of Optimal Consumption-Investment and Verification Theorems
International Nuclear Information System (INIS)
Nagai, Hideo
2015-01-01
We consider a consumption-investment problem on infinite time horizon maximizing discounted expected HARA utility for a general incomplete market model. Based on dynamic programming approach we derive the relevant H–J–B equation and study the existence and uniqueness of the solution to the nonlinear partial differential equation. By using the smooth solution we construct the optimal consumption rate and portfolio strategy and then prove the verification theorems under certain general settings
RATIONAL APPROXIMATIONS TO GENERALIZED HYPERGEOMETRIC FUNCTIONS.
Under weak restrictions on the various free parameters, general theorems for rational representations of the generalized hypergeometric functions...and certain Meijer G-functions are developed. Upon specialization, these theorems yield a sequency of rational approximations which converge to the
On the inverse of the Pomeranchuk theorem
International Nuclear Information System (INIS)
Nagy, E.
1977-04-01
The Pomeranchuk theorem is valid only for bounded total cross sections at infinite energies, and for arbitrarily rising cross sections one cannot prove the zero asymptotic limit of the difference of the particle and antiparticle total cross sections. In the paper the problem is considered from the inverse point of view. It is proved using dispersion relations that if the total cross sections rise with some power of logarithm and the difference of the particle and antiparticle total cross sections remain finite, then the real to imaginary ratios of both the particle and antiparticle forward scattering amplitudes are bounded. (Sz.N.Z.)
Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem
Directory of Open Access Journals (Sweden)
Juliana Bueno-Soler
2016-09-01
Full Text Available This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs. We show that LFIs encode very naturally an extension of the notion of probability able to express sophisticated probabilistic reasoning under contradictions employing appropriate notions of conditional probability and paraconsistent updating, via a version of Bayes’ theorem for conditionalization. We argue that the dissimilarity between the notions of inconsistency and contradiction, one of the pillars of LFIs, plays a central role in our extended notion of probability. Some critical historical and conceptual points about probability theory are also reviewed.
Stone's representation theorem in fuzzy topology
Institute of Scientific and Technical Information of China (English)
刘应明; 张德学
2003-01-01
In this paper, a complete solution to the problem of Stone's repesentation theorem in fuzzy topology is given for a class of completely distributive lattices. Precisely, it is proved that if L is a frame such that 0 ∈ L is a prime or 1 ∈ L is a coprime, then the category of distributive lattices is dually equivalent to the category of coherent L-locales and that if L is moreover completely distributive, then the category of distributive lattices is dually equivalent to the category of coherent stratified L-topological spaces.
Soft theorems for shift-symmetric cosmologies
Finelli, Bernardo; Goon, Garrett; Pajer, Enrico; Santoni, Luca
2018-03-01
We derive soft theorems for single-clock cosmologies that enjoy a shift symmetry. These so-called consistency conditions arise from a combination of a large diffeomorphism and the internal shift symmetry and fix the squeezed limit of all correlators with a soft scalar mode. As an application, we show that our results reproduce the squeezed bispectrum for ultra-slow-roll inflation, a particular shift-symmetric, nonattractor model which is known to violate Maldacena's consistency relation. Similar results have been previously obtained by Mooij and Palma using background-wave methods. Our results shed new light on the infrared structure of single-clock cosmological spacetimes.
Central limit theorems under special relativity.
McKeague, Ian W
2015-04-01
Several relativistic extensions of the Maxwell-Boltzmann distribution have been proposed, but they do not explain observed lognormal tail-behavior in the flux distribution of various astrophysical sources. Motivated by this question, extensions of classical central limit theorems are developed under the conditions of special relativity. The results are related to CLTs on locally compact Lie groups developed by Wehn, Stroock and Varadhan, but in this special case the asymptotic distribution has an explicit form that is readily seen to exhibit lognormal tail behavior.
Fixed point theorems in spaces and -trees
Directory of Open Access Journals (Sweden)
Kirk WA
2004-01-01
Full Text Available We show that if is a bounded open set in a complete space , and if is nonexpansive, then always has a fixed point if there exists such that for all . It is also shown that if is a geodesically bounded closed convex subset of a complete -tree with , and if is a continuous mapping for which for some and all , then has a fixed point. It is also noted that a geodesically bounded complete -tree has the fixed point property for continuous mappings. These latter results are used to obtain variants of the classical fixed edge theorem in graph theory.
Logic for computer science foundations of automatic theorem proving
Gallier, Jean H
2015-01-01
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in fir
A remark on the energy conditions for Hawking's area theorem
Lesourd, Martin
2018-06-01
Hawking's area theorem is a fundamental result in black hole theory that is universally associated with the null energy condition. That this condition can be weakened is illustrated by the formulation of a strengthened version of the theorem based on an energy condition that allows for violations of the null energy condition. With the semi-classical context in mind, some brief remarks pertaining to the suitability of the area theorem and its energy condition are made.
The direct Flow parametric Proof of Gauss' Divergence Theorem revisited
Markvorsen, Steen
2006-01-01
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 only much later in more advanced math courses - is comprehensible with only a little extension of the first year curriculum. Moreover, it is more intuitive than the static proof. We support this intuit...
A Converse to the Cayley-Hamilton Theorem
Indian Academy of Sciences (India)
follows that qj = api, where a is a unit. Thus, we must have that the expansion of I into irreducibles is unique. Hence, K[x] is a UFD. A famous theorem of Gauss implies that K[XI' X2,. ,xn] is also an UFD. Gauss's Theorem: R[x] is a UFD, if and only if R is a UFD. For a proof of Gauss's theorem and a detailed proof of the fact that ...
The Surprise Examination Paradox and the Second Incompleteness Theorem
Kritchman, Shira; Raz, Ran
2010-01-01
We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We then go the other way around and suggest that the second incompleteness theorem gives a possible resolution of the surprise examination paradox. Roughly speaking, we argue that the flaw in the derivation of the paradox is that it contains a hidden assumption that one can prove the consistency of the...
Goedel incompleteness theorems and the limits of their applicability. I
Energy Technology Data Exchange (ETDEWEB)
Beklemishev, Lev D [Steklov Mathematical Institute, Russian Academy of Sciences, Moscow (Russian Federation)
2011-01-25
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.
From Einstein's theorem to Bell's theorem: a history of quantum non-locality
Wiseman, H. M.
2006-04-01
In this Einstein Year of Physics it seems appropriate to look at an important aspect of Einstein's work that is often down-played: his contribution to the debate on the interpretation of quantum mechanics. Contrary to physics ‘folklore’, Bohr had no defence against Einstein's 1935 attack (the EPR paper) on the claimed completeness of orthodox quantum mechanics. I suggest that Einstein's argument, as stated most clearly in 1946, could justly be called Einstein's reality locality completeness theorem, since it proves that one of these three must be false. Einstein's instinct was that completeness of orthodox quantum mechanics was the falsehood, but he failed in his quest to find a more complete theory that respected reality and locality. Einstein's theorem, and possibly Einstein's failure, inspired John Bell in 1964 to prove his reality locality theorem. This strengthened Einstein's theorem (but showed the futility of his quest) by demonstrating that either reality or locality is a falsehood. This revealed the full non-locality of the quantum world for the first time.
Willard, Stephen
2004-01-01
Among the best available reference introductions to general topology, this volume is appropriate for advanced undergraduate and beginning graduate students. Its treatment encompasses two broad areas of topology: ""continuous topology,"" represented by sections on convergence, compactness, metrization and complete metric spaces, uniform spaces, and function spaces; and ""geometric topology,"" covered by nine sections on connectivity properties, topological characterization theorems, and homotopy theory. Many standard spaces are introduced in the related problems that accompany each section (340
Randomized central limit theorems: A unified theory.
Eliazar, Iddo; Klafter, Joseph
2010-08-01
The central limit theorems (CLTs) characterize the macroscopic statistical behavior of large ensembles of independent and identically distributed random variables. The CLTs assert that the universal probability laws governing ensembles' aggregate statistics are either Gaussian or Lévy, and that the universal probability laws governing ensembles' extreme statistics are Fréchet, Weibull, or Gumbel. The scaling schemes underlying the CLTs are deterministic-scaling all ensemble components by a common deterministic scale. However, there are "random environment" settings in which the underlying scaling schemes are stochastic-scaling the ensemble components by different random scales. Examples of such settings include Holtsmark's law for gravitational fields and the Stretched Exponential law for relaxation times. In this paper we establish a unified theory of randomized central limit theorems (RCLTs)-in which the deterministic CLT scaling schemes are replaced with stochastic scaling schemes-and present "randomized counterparts" to the classic CLTs. The RCLT scaling schemes are shown to be governed by Poisson processes with power-law statistics, and the RCLTs are shown to universally yield the Lévy, Fréchet, and Weibull probability laws.
Birth of a theorem a mathematical adventure
Villani, Cédric
2015-01-01
This man could plainly do for mathematics what Brian Cox has done for physics" (Sunday Times). What goes on inside the mind of a rock-star mathematician? Where does inspiration come from? With a storyteller's gift, Cedric Villani takes us on a mesmerising journey as he wrestles with a new theorem that will win him the most coveted prize in mathematics. Along the way he encounters obstacles and setbacks, losses of faith and even brushes with madness. His story is one of courage and partnership, doubt and anxiety, elation and despair. We discover how it feels to be obsessed by a theorem during your child's cello practise and throughout your dreams, why appreciating maths is a bit like watching an episode of Columbo, and how sometimes inspiration only comes from locking yourself away in a dark room to think. Blending science with history, biography with myth, Villani conjures up an inimitable cast of characters including the omnipresent Einstein, mad genius Kurt Godel, and Villani's personal hero, John Nash. Bir...
Some Common Fixed Point Theorems for F-Contraction Type Mappings in 0-Complete Partial Metric Spaces
Directory of Open Access Journals (Sweden)
Satish Shukla
2013-01-01
Full Text Available We prove some common fixed point theorems for F-contractions in 0-complete partial metric spaces. Our results extend, generalize, and unify several known results in the literature. Some examples are included which show that the generalization is proper.
Heuristic analogy in Ars Conjectandi: From Archimedes' De Circuli Dimensione to Bernoulli's theorem.
Campos, Daniel G
2018-02-01
This article investigates the way in which Jacob Bernoulli proved the main mathematical theorem that undergirds his art of conjecturing-the theorem that founded, historically, the field of mathematical probability. It aims to contribute a perspective into the question of problem-solving methods in mathematics while also contributing to the comprehension of the historical development of mathematical probability. It argues that Bernoulli proved his theorem by a process of mathematical experimentation in which the central heuristic strategy was analogy. In this context, the analogy functioned as an experimental hypothesis. The article expounds, first, Bernoulli's reasoning for proving his theorem, describing it as a process of experimentation in which hypothesis-making is crucial. Next, it investigates the analogy between his reasoning and Archimedes' approximation of the value of π, by clarifying both Archimedes' own experimental approach to the said approximation and its heuristic influence on Bernoulli's problem-solving strategy. The discussion includes some general considerations about analogy as a heuristic technique to make experimental hypotheses in mathematics. Copyright © 2018 Elsevier Ltd. All rights reserved.
Tian, X.; Zhang, Y.
2018-03-01
Herglotz variational principle, in which the functional is defined by a differential equation, generalizes the classical ones defining the functional by an integral. The principle gives a variational principle description of nonconservative systems even when the Lagrangian is independent of time. This paper focuses on studying the Noether's theorem and its inverse of a Birkhoffian system in event space based on the Herglotz variational problem. Firstly, according to the Herglotz variational principle of a Birkhoffian system, the principle of a Birkhoffian system in event space is established. Secondly, its parametric equations and two basic formulae for the variation of Pfaff-Herglotz action of a Birkhoffian system in event space are obtained. Furthermore, the definition and criteria of Noether symmetry of the Birkhoffian system in event space based on the Herglotz variational problem are given. Then, according to the relationship between the Noether symmetry and conserved quantity, the Noether's theorem is derived. Under classical conditions, Noether's theorem of a Birkhoffian system in event space based on the Herglotz variational problem reduces to the classical ones. In addition, Noether's inverse theorem of the Birkhoffian system in event space based on the Herglotz variational problem is also obtained. In the end of the paper, an example is given to illustrate the application of the results.
Kohn's theorem in a superfluid Fermi gas with a Feshbach resonance
International Nuclear Information System (INIS)
Ohashi, Y.
2004-01-01
We investigate the dipole mode in a superfluid gas of Fermi atoms trapped in a harmonic potential. According to Kohn's theorem, the frequency of this collective mode is not affected by an interaction between the atoms and is always equal to the trap frequency. This remarkable property, however, does not necessarily hold in an approximate theory. We explicitly prove that the Hartree-Fock-Bogoliubov generalized random phase approximation (HFB-GRPA), including a coupling between fluctuations in the density and Cooper channels, is consistent with both Kohn's theorem as well as Goldstone's theorem. This proof can be immediately extended to the strong-coupling superfluid theory developed by Nozieres and Schmitt-Rink (NSR), where the effect of superfluid fluctuations is included within the Gaussian level. As a result, the NSR-GRPA formalism can be used to study collective modes in the BCS-BEC crossover region in a manner which is consistent with Kohn's theorem. We also include the effect of a Feshbach resonance and a condensate of the associated molecular bound states. A detailed discussion is given of the unusual nature of the Kohn mode eigenfunctions in a Fermi superfluid, in the presence and absence of a Feshbach resonance. When the molecular bosons feel a different trap frequency from the Fermi atoms, the dipole frequency is shown to depend on the strength of effective interaction associated with the Feshbach resonance
A version of Stone-Weierstrass theorem in Fuzzy Analysis
Energy Technology Data Exchange (ETDEWEB)
Font, J.J.; Sanchis, D.; Sanchis, M.
2017-07-01
Fuzzy numbers provide formalized tools to deal with non-precise quantities. They are indeed fuzzy sets in the real line and were introduced in 1978 by Dubois and Prade , who also defined their basic operations. Since then, Fuzzy Analysis has developed based on the notion of fuzzy number just as much as classical Real Analysis did based on the concept of real number. Such development was eased by a characterization of fuzzy numbers provided in 1986 by Goetschel and Voxman leaning on their level sets. As in the classical setting, continuous fuzzy-valued functions (fuzzy functions) are the central core of the theory. The principal difference with regard to real-valued continuous functions is the fact that the fuzzy numbers do not form a vectorial space, which determines all the results, and, especially, the proofs. The study of fuzzy functions has developed, principally, about two lines of investigation: - Differential fuzzy equations, which have turned out to be the natural way of modelling physical and engineering problems in contexts where the parameters are vague or incomplete. - The problem of approximation of fuzzy functions, basically using the approximation capability of fuzzy neural networks. We will focus on this second line of investigation, though our approach will be more general and based on an adaptation of the famous Stone-Weierstrass Theorem to the fuzzy context. This way so, we introduce the concept of “multiplier” of a set of fuzzy functions and use it to give a constructive proof of a Stone-Weiestrass type theorem for fuzzy functions. (Author)
International Nuclear Information System (INIS)
Dong, Jianping
2011-01-01
The many-body space fractional quantum system is studied using the density matrix method. We give the new results of the Thomas-Fermi model, obtain the quantum pressure of the free electron gas. We also show the validity of the Hohenberg-Kohn theorems in the space fractional quantum mechanics and generalize the density functional theory to the fractional quantum mechanics. -- Highlights: → Thomas-Fermi model under the framework of fractional quantum mechanics is studied. → We show the validity of the HK theorems in the space fractional quantum mechanics. → The density functional theory is generalized to the fractional quantum mechanics.
Characterization of Generalized Young Measures Generated by Symmetric Gradients
De Philippis, Guido; Rindler, Filip
2017-06-01
This work establishes a characterization theorem for (generalized) Young measures generated by symmetric derivatives of functions of bounded deformation (BD) in the spirit of the classical Kinderlehrer-Pedregal theorem. Our result places such Young measures in duality with symmetric-quasiconvex functions with linear growth. The "local" proof strategy combines blow-up arguments with the singular structure theorem in BD (the analogue of Alberti's rank-one theorem in BV), which was recently proved by the authors. As an application of our characterization theorem we show how an atomic part in a BD-Young measure can be split off in generating sequences.
A perceptron network theorem prover for the propositional calculus
Drossaers, M.F.J.
In this paper a short introduction to neural networks and a design for a perceptron network theorem prover for the propositional calculus are presented. The theorem prover is a representation of a variant of the semantic tableau method, called the parallel tableau method, by a network of
Leaning on Socrates to Derive the Pythagorean Theorem
Percy, Andrew; Carr, Alistair
2010-01-01
The one theorem just about every student remembers from school is the theorem about the side lengths of a right angled triangle which Euclid attributed to Pythagoras when writing Proposition 47 of "The Elements". Usually first met in middle school, the student will be continually exposed throughout their mathematical education to the…