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.
The relativistic virial theorem and scale invariance
Gaite, Jose
2013-01-01
The virial theorem is related to the dilatation properties of bound states. This is realized, in particular, by the Landau-Lifshitz formulation of the relativistic virial theorem, in terms of the trace of the energy-momentum tensor. We construct a Hamiltonian formulation of dilatations in which the relativistic virial theorem naturally arises as the condition of stability against dilatations. A bound state becomes scale invariant in the ultrarelativistic limit, in which its energy vanishes. However, for very relativistic bound states, scale invariance is broken by quantum effects and the virial theorem must include the energy-momentum tensor trace anomaly. This quantum field theory virial theorem is directly related to the Callan-Symanzik equations. The virial theorem is applied to QED and then to QCD, focusing on the bag model of hadrons. In massless QCD, according to the virial theorem, 3/4 of a hadron mass corresponds to quarks and gluons and 1/4 to the trace anomaly.
Thermodynamic Laws and Equipartition Theorem in Relativistic Brownian Motion
Koide, T.; Kodama, T.
2011-01-01
We extend the stochastic energetics to a relativistic system. The thermodynamic laws and equipartition theorem are discussed for a relativistic Brownian particle and the first and the second law of thermodynamics in this formalism are derived. The relation between the relativistic equipartition relation and the rate of heat transfer is discussed in the relativistic case together with the nature of the noise term.
Thermodynamic laws and equipartition theorem in relativistic Brownian motion.
Koide, T; Kodama, T
2011-06-01
We extend the stochastic energetics to a relativistic system. The thermodynamic laws and equipartition theorem are discussed for a relativistic Brownian particle and the first and the second law of thermodynamics in this formalism are derived. The relation between the relativistic equipartition relation and the rate of heat transfer is discussed in the relativistic case together with the nature of the noise term.
Noether's theorem of a rotational relativistic variable mass system
方建会; 赵嵩卿
2002-01-01
Noether's theory of a rotational relativistic variable mass system is studied. Firstly, Jourdain's principle of therotational relativistic variable mass system is given. Secondly, on the basis of the invariance of the Jourdain's principleunder the infinitesimal transformations of groups, Noether's theorem and its inverse theorem of the rotational relativisticvariable mass system are presented. Finally, an example is given to illustrate the application of the result.
Noether Theorem of Relativistic-Electromagnetic Ideal Hydrodynamics
Elsas, J H Gaspar; Kodama, T
2014-01-01
We present a variational approach for relativistic ideal hydrodynamics interacting with electromagnetic fields. The momentum of fluid is introduced as the canonical conjugate variable of the position of a fluid element, which coincides with the conserved quantity derived from the Noether theorem. We further show that our formulation can reproduce the usual electromagnetic hydrodynamics which is obtained so as to satisfy the conservation of the inertia of fluid motion.
A relativistic non-relativistic Goldstone theorem: gapped Goldstones at finite charge density
Nicolis, Alberto
2012-01-01
We adapt the Goldstone theorem to study spontaneous symmetry breaking in relativistic theories at finite charge density. It is customary to treat systems at finite density via non-relativistic Hamiltonians. Here we highlight the importance of the underlying relativistic dynamics. This leads to seemingly new results whenever the charge in question is spontaneously broken and does not commute with other broken charges. These would normally be associated with gapless Goldstone excitations. We find that, in fact, their currents interpolate gapped excitations. We derive exact non-perturbative expressions for their gaps, in terms of the chemical potential and of the symmetry algebra.
Fluctuation theorem for entropy production during effusion of a relativistic ideal gas.
Cleuren, B; Willaert, K; Engel, A; Van den Broeck, C
2008-02-01
The probability distribution of the entropy production for the effusion of a relativistic ideal gas is calculated explicitly. This result is then extended to include particle and antiparticle pair production and annihilation. In both cases, the fluctuation theorem is verified.
Relativistic Chasles' theorem and the conjugacy classes of the inhomogeneous Lorentz group
Minguzzi, E
2013-01-01
This work is devoted to the relativistic generalization of Chasles' theorem, namely to the proof that every proper orthochronous isometry of Minkowski spacetime, which sends some point to its chronological future, is generated through the frame displacement of an observer which moves with constant acceleration and constant angular velocity. The acceleration and angular velocity can be chosen either aligned or perpendicular, and in the latter case the angular velocity can be chosen equal or smaller than than the acceleration. We start reviewing the classical Euler's and Chasles' theorems both in the Lie algebra and group versions. We recall the relativistic generalization of Euler's theorem and observe that every (infinitesimal) transformation can be recovered from information of algebraic and geometric type, the former being identified with the conjugacy class and the latter with some additional geometric ingredients (the screw axis in the usual non-relativistic version). Then the proper orthochronous inhomog...
A Geometrical Approach to Hojman Theorem of a Rotational Relativistic Birkhoffian System
ZHANGYi
2004-01-01
A geometrical approach to the Hojman theorem of a rotational relativistic Birkhoffian system is presented.The differential equations of motion of the system are established. According to the invariance of differential equations under infinitesimal transformation, the determining equations of Lie symmetry are constructed. A new conservation law of the system, called Hojman theorem, is obtained, which is the generalization of previous results given sequentially by Hojman, Zhang, and Luo et al. In terms of the theory of modern differential geometry a proof of the theorem is given.
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.
Lesovik, G. B.; Lebedev, A. V.; Sadovskyy, I. A.; Suslov, M. V.; Vinokur, V. M.
2016-09-01
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.
Noether's theorem of relativistic-electromagnetic ideal hydrodynamics
Elsas, J.H. Gaspar; Koide, T.; Kodama, T., E-mail: jhelsas@gmail.com, E-mail: kodama.takeshi@gmail.com, E-mail: tomoikoide@gmail.com [Universidade Federal do Rio de Janeiro (UFRJ), RJ (Brazil). Instituto de Fisica
2015-06-15
We present a variational approach for relativistic ideal hydrodynamics interacting with electromagnetic fields. The momentum of fluid is introduced as the canonical conjugate variable of the position of a fluid element, which coincides with the conserved quantity derived from Noether's theorem. We further show that our formulation can reproduce the usual electromagnetic hydrodynamics which is obtained so as to satisfy the conservation of the inertia of fluid motion. (author)
The Anomalous Nambu-Goldstone Theorem in Relativistic/Nonrelativistic Quantum Field Theory
Ohsaku, Tadafumi
2013-01-01
The anomalous Nambu-Goldstone (NG) theorem which is found as a violation of counting law of the number of NG bosons of the normal NG theorem in nonrelativistic and Lorentz-symmetry-violated relativistic theories is studied in detail, with emphasis on its mathematical aspect from Lie algebras, geometry to number theory. The basis of counting law of NG bosons in the anomalous NG theorem is examined by Lie algebras (local) and Lie groups (global). A quasi-Heisenberg algebra is found generically in various symmetry breaking schema of the anomalous NG theorem, and it indicates that it causes a violation/modification of the Heisenberg uncertainty relation in an NG sector which can be experimentally confirmed. The formalism of effective potential is presented for understanding the mechanism of anomalous NG theorem with the aid of our result of Lie algebras. After an investigation on a bosonic kaon condensation model with a finite chemical potential as an explicit Lorentz-symmetry-breaking parameter, a model Lagrangi...
Virial Theorem for Non-relativistic Quantum Fields in D Spatial Dimensions
Lin, Chris L
2015-01-01
The virial theorem for non-relativistic 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 lower-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\
Melekhin, V. N.
1997-02-01
It is shown that the transverse momentum imparted to a relativistic particle, passing through an accelerating cavity near and parallel to its axis ( z-axis), may be presented as a trajectory integral with an integrand being proportional to z-component of high-frequency magnetic field. The x- and y-component of this momentum are equal in value but opposite in sign. The obtained result is compared with Panofsky-Wenzel theorem. This result gives one more procedure to check the accuracy of high-frequency focusing simulation.
Proof of the Ergodic Theorem and the H-Theorem in Quantum Mechanics
von Neumann, John
2010-01-01
It is shown how to resolve the apparent contradiction between the macroscopic approach of phase space and the validity of the uncertainty relations. The main notions of statistical mechanics are re-interpreted in a quantum-mechanical way, the ergodic theorem and the H-theorem are formulated and proven (without "assumptions of disorder"), followed by a discussion of the physical meaning of the mathematical conditions characterizing their domain of validity.
Kholmetskii, Alexander; Missevitch, Oleg; Yarman, Tolga
2016-02-01
We address to the Poynting theorem for the bound (velocity-dependent) electromagnetic field, and demonstrate that the standard expressions for the electromagnetic energy flux and related field momentum, in general, come into the contradiction with the relativistic transformation of four-vector of total energy-momentum. We show that this inconsistency stems from the incorrect application of Poynting theorem to a system of discrete point-like charges, when the terms of self-interaction in the product {\\varvec{j}} \\cdot {\\varvec{E}} (where the current density {\\varvec{j}} and bound electric field {\\varvec{E}} are generated by the same source charge) are exogenously omitted. Implementing a transformation of the Poynting theorem to the form, where the terms of self-interaction are eliminated via Maxwell equations and vector calculus in a mathematically rigorous way (Kholmetskii et al., Phys Scr 83:055406, 2011), we obtained a novel expression for field momentum, which is fully compatible with the Lorentz transformation for total energy-momentum. The results obtained are discussed along with the novel expression for the electromagnetic energy-momentum tensor.
GENERALIZED H-KKM TYPE THEOREMS IN H-METRIC SPACES WITH APPLICATIONS
丁协平; 夏福全
2001-01-01
The new notions of H-metric spaces and generalized H-KKM mappings were introduced. Some generalized H-KKM type theorems for generalized H-KKM mappings with finitely metrically compactly closed values and finitely metrically compactly open values were established in H-metric spaces. These theorems generalize recent results of Khamsi and Yuan. As applications, some Ky Fan type matching theorems for finitely metrically compactly open covers and finitely metrically compactly closed covers, fixed point theorems and minimax inequality are obtained in H-metric spaces. These results generalize a number of known results in recent literature.
Boltzmann's "H"-Theorem and the Assumption of Molecular Chaos
Boozer, A. D.
2011-01-01
We describe a simple dynamical model of a one-dimensional ideal gas and use computer simulations of the model to illustrate two fundamental results of kinetic theory: the Boltzmann transport equation and the Boltzmann "H"-theorem. Although the model is time-reversal invariant, both results predict that the behaviour of the gas is time-asymmetric.…
de Martini, Francesco; Santamato, Enrico
2016-04-01
The traditional standard theory of quantum mechanics is unable to solve the spin-statistics problem, i.e. to justify the utterly important “Pauli Exclusion Principle” but by the adoption of the complex standard relativistic quantum field theory. In a recent paper [E. Santamato and F. D. De Martini, Found. Phys. 45 (2015) 858] we presented a complete proof of the spin-statistics problem in the nonrelativistic approximation on the basis of the “Conformal Quantum Geometrodynamics” (CQG). In this paper, by the same theory, the proof of the spin-statistics theorem (SST) is extended to the relativistic domain in the scenario of curved spacetime. No relativistic quantum field operators are used in the present proof and the particle exchange properties are drawn from rotational invariance rather than from Lorentz invariance. Our relativistic approach allows to formulate a manifestly step-by-step Weyl gauge invariant theory and to emphasize some fundamental aspects of group theory in the demonstration. As in the nonrelativistic case, we find once more that the “intrinsic helicity” of the elementary particles enters naturally into play. It is therefore this property, not considered in the standard quantum mechanics (SQM), which determines the correct spin-statistics connection observed in Nature.
Bondarenko, S G; Kazakov, K Yu; Shulga, D V
2009-01-01
The contribution of the two-body exchange current is investigated for the reaction of the deuteron photodisintegration in the framework of the Bethe-Salpeter formalism and with using extended Siegert theorem. This theorem allow to express the reaction amplitude in terms of extended electric and magnetic dipole moments of the system. The resultant analytical expression is faultless with respect to both translation and gauge invariance. It permits to perform calculations of the deuteron photodisintegration cross section and polarization observables taking into account two-body exchange current implicitly.
Melekhin, Vadim N
1997-01-01
It is shown that change in transverse momentum of a relativistic particle, crossing an accelerating cavity parallel to its axis, may be presented as an integral over trajectory, the integrand of which is proportional to the component of magnetic field parallel to this axis. The changes in two transversal components of momentum are equal in value but opposite in sign. The obtained result is compared with Panofsky-Wenzel theorem.
Jordan-H\\"older theorems for derived categories of derived discrete algebras
Qin, Yongyun
2015-01-01
For any positive integer $n$, $n$-derived-simple derived discrete algebras are classified up to derived equivalence. Furthermore, the Jordan-H\\"older theorems for all kinds of derived categories of derived discrete algebras are obtained.
The H-theorem for the physico-chemical kinetic equations with explicit time discretization
Adzhiev, S. Z.; Melikhov, I. V.; Vedenyapin, V. V.
2017-09-01
There is demonstrated in the present paper, that the H-theorem in the case of explicit time discretization of the physico-chemical kinetic equations, generally speaking, is not valid. We prove the H-theorem, when the system of the physico-chemical kinetic equations with explicit time discretization has the form of non-linear analogue of the Markov process with doubly stochastic matrix, and for more general cases. In these cases the proof is reduced to the proof of the H-theorem for Markov chains. The simplest discrete velocity models of the Boltzmann equation with explicit time discretization -the Carleman and Broadwell models are discussed and the H-theorem for them in the case of discrete time is proved.
Nonabelian $H^1$ and the \\'Etale van Kampen Theorem
Misamore, Michael D
2010-01-01
Generalized \\'etale homotopy pro-groups $\\pi_1^{\\ets}(\\mc{C}, x)$ associated to pointed connected small Grothendieck sites $(\\mc{C}, x)$ are defined and their relationship to Galois theory and the theory of pointed torsors for discrete groups is explained. Applications include new rigorous proofs of some folklore results around $\\pi_1^{\\ets}(\\et{X}, x)$, a description of Grothendieck's short exact sequence for Galois descent in terms of pointed torsor trivializations, and a new \\'etale van Kampen theorem which gives a simple statement about a pushout square of pro-groups that works for covering families which do not necessarily consist exclusively of monomorphisms. A corresponding van Kampen result for Grothendieck's profinite groups $\\pi_1^{\\Gals}$ immediately follows.
General H-theorem and Entropies that Violate the Second Law
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.
H theorem, regularization, and boundary conditions for linearized 13 moment equations.
Struchtrup, Henning; Torrilhon, Manuel
2007-07-06
An H theorem for the linearized Grad 13 moment equations leads to regularizing constitutive equations for higher fluxes and to a complete set of boundary conditions. Solutions for Couette and Poiseuille flows show good agreement with direct simulation Monte Carlo calculations. The Knudsen minimum for the relative mass flow rate is reproduced.
Mechanistic slumber vs. statistical insomnia: the early history of Boltzmann's H-theorem (1868-1877)
Badino, M.
2011-11-01
An intricate, long, and occasionally heated debate surrounds Boltzmann's H-theorem (1872) and his combinatorial interpretation of the second law (1877). After almost a century of devoted and knowledgeable scholarship, there is still no agreement as to whether Boltzmann changed his view of the second law after Loschmidt's 1876 reversibility argument or whether he had already been holding a probabilistic conception for some years at that point. In this paper, I argue that there was no abrupt statistical turn. In the first part, I discuss the development of Boltzmann's research from 1868 to the formulation of the H-theorem. This reconstruction shows that Boltzmann adopted a pluralistic strategy based on the interplay between a kinetic and a combinatorial approach. Moreover, it shows that the extensive use of asymptotic conditions allowed Boltzmann to bracket the problem of exceptions. In the second part I suggest that both Loschmidt's challenge and Boltzmann's response to it did not concern the H-theorem. The close relation between the theorem and the reversibility argument is a consequence of later investigations on the subject.
To string together six theorems of physics by Pythagoras theorem
Cui, H Y
2002-01-01
In this paper, we point out that there are at lest six theorems in physics sharing common virtue of Pythagoras theorem, so that it is possible to string these theorems together with the Pythagoras theorem for physics teaching, the six theorems are Newton's three laws of motion, universal gravitational force, Coulomb's law, and the formula of relativistic dynamics. Knowing the internal relationships between them, which have never been clearly revealed by other author, will benefit the logic of physics teaching.
Quantum Monte Carlo studies of relativistic effects in 3H and 4He
Arriaga, A.
2000-03-01
Relativistic effects in 3H and 4He have been studied in the context of Relativistic Hamiltonian Dynamics, using Variational Monte Carlo Methods. Relativistic invariance is achieved through Poincaré group algebra, which introduces a boost interaction term defining the first relativistic effect considered. The second consists in the nonlocalities associated with the relativistic kinetic energy operator and with the relativistic one-pion exchange potential (OPEP). These nonlocalities tend to cancel, being the total effect on the binding energy attractive and very small, of the order of 1%. The dominant relativistic effect is due to the boost interaction, whose contribution is repulsive and of the order of 5%. The repulsive term of the nonrelativistic 3-body interaction has to be reduced by 37% so that the optimal triton binding energy is recovered, meaning that around 1/3 of this phenomenological term accounts for relativisitic effects. The changes induced on the wave functions of nuclei by these relativistic effetcs are very small and short ranged. Although the nonlocalities of OPEP, resulting in a reduction of 15%, are cancelled by other relativistic contributions, they may have significant effects on pion exchange currents in nuclei.
Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$
2012-01-01
We prove a version of Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$. The sub-Riemannian distance makes $H^1$ a metric space and consenquently with a spherical Hausdorff measure. Using this measure, we define a Gaussian curvature at points of a surface S where the sub-Riemannian distribution is transverse to the tangent space of S. If all points of S have this property, we prove a Gauss-Bonnet formula and for compact surfaces (which are topologically a torus) we obtain $\\int_S ...
Relativistic calculation of the SeH{sub 2} and TeH{sub 2} photoelectron spectra
Pernpointner, Markus [Theoretische Chemie, Universitaet Heidelberg, Im Neuenheimer Feld 229, D-69120 Heidelberg (Germany)], E-mail: Markus.Pernpointner@pci.uni-heidelberg.de
2006-10-26
Photoelectron (PE) spectra provide detailed insight into the electronic structure of atoms, molecules and solids. Hereby electron correlation and relativistic effects influence the structure of the PE spectrum in a complicated way necessitating a consistent theoretical treatment. By embedding the one-particle propagator technique in a four-component framework the interplay between relativistic and correlation effects can be described correctly. In this article the Dirac-Hartree-Fock algebraic diagrammatic construction scheme (DHF-ADC) together with recent applications is reviewed and fully relativistic PE spectra of SeH{sub 2} and TeH{sub 2} in combination with basis set studies are presented.
Partial H-Hopf模的Maschke型定理%A Maschke-type theorem for a Partial H-Hopf module
史美华; 陈笑缘
2011-01-01
First recall the notions of Partial H-Hopf data and Partial H-Hopf modules, then some examples are given. Finally, the Maschke-type theorem is extended to a Partial H-Hopf module, which generalizes the relevant results of Hopf algebras.%首先介绍Partial H-Hopf数组和Partial H-Hopf模的定义,然后给出相关例子,最后将群论中著名的Mas-chke型定理推广到Partial H-Hopf模上.由于Partial H-Hopf模的余结合性被破坏,所以它的理论研究起来要复杂得多.
Engel’ s theorem for generalized H-Lie algebras%广义H-李代数的Engel定理
郭双建; 董丽红
2014-01-01
It is studied that the representation of the Lie algebras in the Yetter-Drinfel’ d category HH YD( i.e.generalized H-Lie algebras) .The Engel’ s theorem for generalized H-Lie algebras is proved:Let L be a generalized H-Lie algebra, if every cyclic Yetter-Drinfel’ d submodule of L is ad-nilpotent, then L is nilpotent.%研究了Yetter-Drinfel’ d范畴HH YD中李代数（即广义H-李代数）的表示，证明了广义H-李代数的Engel定理：设L是一个广义H-李代数，如果L的每一个循环Yetter-Drinfel’ d模都是ad-幂零的，那么L是幂零的。
Entropy, Shannon’s Measure of Information and Boltzmann’s H-Theorem
Arieh Ben-Naim
2017-01-01
Full Text Available We start with a clear distinction between Shannon’s Measure of Information (SMI and the Thermodynamic Entropy. The first is defined on any probability distribution; and therefore it is a very general concept. On the other hand Entropy is defined on a very special set of distributions. Next we show that the Shannon Measure of Information (SMI provides a solid and quantitative basis for the interpretation of the thermodynamic entropy. The entropy measures the uncertainty in the distribution of the locations and momenta of all the particles; as well as two corrections due to the uncertainty principle and the indistinguishability of the particles. Finally we show that the H-function as defined by Boltzmann is an SMI but not entropy. Therefore; much of what has been written on the H-theorem is irrelevant to entropy and the Second Law of Thermodynamics.
The Second Noether Theorem on Time Scales
Malinowska, Agnieszka B.; Natália Martins
2013-01-01
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.
The Variation Theorem Applied to H-2+: A Simple Quantum Chemistry Computer Project
Robiette, Alan G.
1975-01-01
Describes a student project which requires limited knowledge of Fortran and only minimal computing resources. The results illustrate such important principles of quantum mechanics as the variation theorem and the virial theorem. Presents sample calculations and the subprogram for energy calculations. (GS)
A Fokker-Planck model of hard sphere gases based on H-theorem
Gorji, M. Hossein; Torillhon, Manuel
2016-11-01
It has been shown recently that the Fokker-Planck kinetic model can be employed as an approximation of the Boltzmann equation for rarefied gas flow simulations [4, 5, 10]. Similar to the direct simulation Monte-Carlo (DSMC), the Fokker-Planck solution algorithm is based on the particle Monte-Carlo representation of the distribution function. Yet opposed to DSMC, here the particles evolve along independent stochastic paths where no collisions need to be resolved. This leads to significant computational advantages over DSMC, considering small Knudsen numbers [10]. The original Fokker-Planck model (FP) for rarefied gas flow simulations was devised according to the Maxwell type pseudo-molecules [4, 5]. In this paper a consistent Fokker-Planck equation is derived based on the Boltzmann collision integrals and maximum entropy distribution. Therefore the resulting model fulfills the H-theorem and leads to correct relaxation of velocity moments up to heat fluxes consistent with hard sphere interactions. For assessment of the model, simulations are performed for Mach 5 flow around a vertical plate using both Fokker-Planck and DSMC simulations. Compared to the original FP model, significant improvements are achieved at high Mach flows.
Christiansen, P.A.; Pitzer, K.S.
1980-07-01
The dissociation curve for the ground state of TlH was computed using a relativistic {omega}-{omega} coupling formalism. The relativistic effects represented by the Dirac equation were introduced using effective potentials generated from atomic Dirac-Fock wave functions using a generalization of the improved effective potential formulation of Christiansen, Lee, and Pitzer. The multiconfiguration SCF treatment used is a generalization of the two-component molecular spinor formalism of Lee, Ermler, and Pitzer. Using a five configuration wave function we were able to obtain approximately 85% of the experimental dissociation energy. Our computations indicate that the bond is principally sigma in form, despite the large spin-orbit splitting in atomic thallium. Furthermore the bond appears to be slightly ionic (Tl{sup +}H{sup -}) with about 0.3 extra electron charge on the hydrogen.
Recurrence relation for relativistic atomic matrix elements
Martínez y Romero, R P; Salas-Brito, A L
2000-01-01
Recurrence formulae for arbitrary hydrogenic radial matrix elements are obtained in the Dirac form of relativistic quantum mechanics. Our approach is inspired on the relativistic extension of the second hypervirial method that has been succesfully employed to deduce an analogous relationship in non relativistic quantum mechanics. We obtain first the relativistic extension of the second hypervirial and then the relativistic recurrence relation. Furthermore, we use such relation to deduce relativistic versions of the Pasternack-Sternheimer rule and of the virial theorem.
Vorticity, Stokes' Theorem and the Gauss's Theorem
Narayanan, M.
2004-12-01
Vorticity is a property of the flow of any fluid and moving fluids acquire properties that allow an engineer to describe that particular flow in greater detail. It is important to recognize that mere motion alone does not guarantee that the air or any fluid has vorticity. Vorticity is one of four important quantities that define the kinematic properties of any fluid flow. The Navier-Stokes equations are the foundation of fluid mechanics, and Stokes' theorem is used in nearly every branch of mechanics as well as electromagnetics. Stokes' Theorem also plays a vital role in many secondary theorems such as those pertaining to vorticity and circulation. However, the divergence theorem is a mathematical statement of the physical fact that, in the absence of the creation or destruction of matter, the density within a region of space can change only by having it flow into, or away from the region through its boundary. This is also known as Gauss's Theorem. It should also be noted that there are many useful extensions of Gauss's Theorem, including the extension to include surfaces of discontinuity in V. Mathematically expressed, Stokes' theorem can be expressed by considering a surface S having a bounding curve C. Here, V is any sufficiently smooth vector field defined on the surface and its bounding curve C. Integral (Surface) [(DEL X V)] . dS = Integral (Contour) [V . dx] In this paper, the author outlines and stresses the importance of studying and teaching these mathematical techniques while developing a course in Hydrology and Fluid Mechanics. References Arfken, G. "Gauss's Theorem." 1.11 in Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 57-61, 1985. Morse, P. M. and Feshbach, H. "Gauss's Theorem." In Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 37-38, 1953. Eric W. Weisstein. "Divergence Theorem." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/DivergenceTheorem.html
Abe, Sumiyoshi
2009-04-01
Quite unexpectedly, kinetic theory is found to specify the correct definition of average value to be employed in nonextensive statistical mechanics. It is shown that the normal average is consistent with the generalized Stosszahlansatz (i.e., molecular chaos hypothesis) and the associated H theorem, whereas the q average widely used in the relevant literature is not. In the course of the analysis, the distributions with finite cutoff factors are rigorously treated. Accordingly, the formulation of nonextensive statistical mechanics is amended based on the normal average. In addition, the Shore-Johnson theorem, which supports the use of the q average, is carefully re-examined and it is found that one of the axioms may not be appropriate for systems to be treated within the framework of nonextensive statistical mechanics.
Qiuping A. Wang
2014-02-01
Full Text Available A numerical experiment of ideal stochastic motion of a particle subject to conservative forces and Gaussian noise reveals that the path probability depends exponentially on action. This distribution implies a fundamental principle generalizing the least action principle of the Hamiltonian/Lagrangian mechanics and yields an extended formalism of mechanics for random dynamics. Within this theory, Liouville’s theorem of conservation of phase density distribution must be modified to allow time evolution of phase density and consequently the Boltzmann H theorem. We argue that the gap between the regular Newtonian dynamics and the random dynamics was not considered in the criticisms of the H theorem.
Relativistic model of 2p-2h meson exchange currents in (anti)neutrino scattering
Simo, I Ruiz; Barbaro, M B; De Pace, A; Caballero, J A; Donnelly, T W
2016-01-01
We develop a model of relativistic, charged meson-exchange currents (MEC) for neutrino-nucleus interactions. The two-body current is the sum of seagull, pion-in-flight, pion-pole and $\\Delta$-pole operators. These operators are obtained from the weak pion-production amplitudes for the nucleon derived in the non-linear $\\sigma$-model together with weak excitation of the $\\Delta(1232)$ resonance and its subsequent decay into $N\\pi$. With these currents we compute the five 2p-2h response functions contributing to $(\
Dubillard, S; Rota, J-B; Saue, T; Faegri, K
2006-04-21
We report the implementation of Pipek-Mezey [J. Chem. Phys. 90, 4916 (1989)] localization of molecular orbitals in the framework of a four-component relativistic molecular electronic structure theory. We have used an exponential parametrization of orbital rotations which allows the use of unconstrained optimization techniques. We demonstrate the strong basis set dependence of the Pipek-Mezey localization criterion and how it can be eliminated. We have employed localization in conjunction with projection analysis to study the bonding in the water molecule and its heavy homologues. We demonstrate that in localized orbitals the repulsion between hydrogens in the water molecule is dominated by electrostatic rather than exchange interactions and that freezing the oxygen 2s orbital blocks polarization of this orbital rather than hybridization. We also point out that the bond angle of the water molecule cannot be rationalized from the potential energy alone due to the force term of the molecular virial theorem that comes into play at nonequilibrium geometries and which turns out to be crucial in order to correctly reproduce the minimum of the total energy surface. In order to rapidly assess the possible relativistic effects we have carried out the geometry optimizations of the water molecule at various reduced speed of light with and without spin-orbit interaction. At intermediate speeds, the bond angle is reduced to around 90 degrees , as is known experimentally for H(2)S and heavier homologues, although our model of ultrarelativistic water by construction does not allow any contribution from d orbitals to bonding. At low speeds of light the water molecule becomes linear which is in apparent agreement with the valence shell electron pair repulsion (VSEPR) model since the oxygen 2s12 and 2p12 orbitals both become chemically inert. However, we show that linearity is brought about by the relativistic stabilization of the (n + 1)s orbital, the same mechanism that leads to an
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
The Second Noether Theorem on Time Scales
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.
The second Noether theorem on time scale
Malinowska, Agnieszka B.; Martins, Natália
2014-01-01
We extend the second Noether theorem to variational problems on time scales. Our result provides as corollaries the classical second Noether theorem, the second Noether theorem for the $h$-calculus and the second Noether theorem for the $q$-calculus.
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
Nambu-Goldstone theorem and spin-statistics theorem
Fujikawa, Kazuo
2016-05-01
On December 19-21 in 2001, we organized a yearly workshop at Yukawa Institute for Theoretical Physics in Kyoto on the subject of “Fundamental Problems in Field Theory and their Implications”. Prof. Yoichiro Nambu attended this workshop and explained a necessary modification of the Nambu-Goldstone theorem when applied to non-relativistic systems. At the same workshop, I talked on a path integral formulation of the spin-statistics theorem. The present essay is on this memorable workshop, where I really enjoyed the discussions with Nambu, together with a short comment on the color freedom of quarks.
Cattaneo, Carlo
2011-01-01
This title includes: Pham Mau Quam: Problemes mathematiques en hydrodynamique relativiste; A. Lichnerowicz: Ondes de choc, ondes infinitesimales et rayons en hydrodynamique et magnetohydrodynamique relativistes; A.H. Taub: Variational principles in general relativity; J. Ehlers: General relativistic kinetic theory of gases; K. Marathe: Abstract Minkowski spaces as fibre bundles; and, G. Boillat: Sur la propagation de la chaleur en relativite.
An H Theorem for Boltzmann's Equation for the Yard-Sale Model of Asset Exchange
Boghosian, Bruce M.; Johnson, Merek; Marcq, Jeremy A.
2015-12-01
In recent work (Boghosian, Phys Rev E 89:042804-042825, 2014; Boghosian, Int J Mod Phys 25:1441008-1441015, 2014), Boltzmann and Fokker-Planck equations were derived for the "Yard-Sale Model" of asset exchange. For the version of the model without redistribution, it was conjectured, based on numerical evidence, that the time-asymptotic state of the model was oligarchy—complete concentration of wealth by a single individual. In this work, we prove that conjecture by demonstrating that the Gini coefficient, a measure of inequality commonly used by economists, is an H function of both the Boltzmann and Fokker-Planck equations for the model.
Modified Noether theorem and arrow of time in quantum mechanics
Asadov, V V; Kechkin, O V, E-mail: asadov@neurok.co, E-mail: kechkin@gmail.co [Neur OK-III, Lomonosov Moscow State University, Vorob' jovy Gory, 119899 Moscow (Russian Federation)
2010-06-01
Relativistic quantum mechanics is presented with modified Noether theorem. It was shown that Noether charges are related with thermodynamic potentials in such scheme. Broken symmetries generated by thermodynamic mode lead to gravity appearance as effective quantum field.
Gumberidze, A; Hagmann, S; Kozhuharov, C; Ma, X; Steck, M; Surzhykov, A; Warczak, A; Stöhlker, Th
2011-01-01
We have measured the alignment of the L-shell magnetic-substates following the K-shell excitation of hydrogen- and helium-like uranium in relativistic collisions with a low-Z gaseous target. Within this experiment the population distribution for the L-shell magnetic sublevels has been obtained via an angular differential study of the decay photons associated with the subsequent de-excitation process. The results show a very distinctive behavior for the H- and He-like heavy systems. In particular for $K \\rightarrow L$ excitation of He-like uranium, a considerable alignment of the L-shell levels was observed. A comparison of our experimental findings with recent rigorous relativistic predictions provides a good qualitative and a reasonable quantitative agreement, emphasizing the importance of the magnetic-interaction and many-body effects in the strong-field domain of high-Z ions.
Test of low-energy theorems for 1H(--> gamma, pi(0))(H)in the threshold hegion.
Schmidt, A; Achenbach, P; Ahrens, J; Arends, H J; Beck, R; Bernstein, A M; Hejny, V; Kotulla, M; Krusche, B; Kuhr, V; Leukel, R; MacGregor, I J; McGeorge, J C; Metag, V; Olmos De León, V M; Rambo, F; Siodlaczek, U; Ströher, H; Walcher, T; Weiss, J; Wissmann, F; Wolf, M
2001-12-03
The photon asymmetry in the reaction 1H(--> gamma,pi(0))(1)H close to threshold has been measured for the first time with the photon spectrometer TAPS using linearly polarized photons from the tagged-photon facility at the Mainz Microtron MAMI. The total and differential cross sections were also measured simultaneously with the photon asymmetry. This allowed determination of the S-wave and all three P-wave amplitudes. The values obtained at threshold are E(0+) = [-1.33+/-0.08(stat)+/-0.03(syst)] x 10(-3)/m(pi(+)), P(1) = [9.47 +/- 0.08(stat) +/- 0.29(syst)] x 10(-3)q/m(2)(pi(+)), P(2) = [-9.46 +/- 0.1(stat) +/- 0.29(syst)] x 10(-3)q/m(2)(pi(+)), and P(3) = [11.48 +/- 0.06(stat) +/- 0.35(syst)] x 10(-3)q/m(2)(pi(+)).
Multiwavelet sampling theorem in Sobolev spaces
无
2010-01-01
This paper is to establish the multiwavelet sampling theorem in Sobolev spaces. Sampling theorem plays a very important role in digital signal communication. The most classical sampling theorem is Shannon sampling theorem, which works for bandlimited signals. Recently, sampling theorems in wavelets or multiwavelets subspaces are extensively studied in the literature. In this paper, we firstly propose the concept of dual multiwavelet frames in dual Sobolev spaces (H s (R) , H-s (R)). Then we construct a special class of dual multiwavelet frames, from which the multiwavelet sampling theorem in Sobolev spaces is obtained. That is, for any f ∈ H s (R) with s > 1/2, it can be exactly recovered by its samples. Especially, the sampling theorem works for continuous signals in L 2 (R), whose Sobolev exponents are greater than 1 /2.
LETTER TO THE EDITOR: Recurrence relations for relativistic atomic matrix elements
Martínez-y-Romero, R. P.; Núñez-Yépez, H. N.; Salas-Brito, A. L.
2000-05-01
Recurrence formulae for arbitrary hydrogenic radial matrix elements are obtained in the Dirac form of relativistic quantum mechanics. Our approach is inspired by the relativistic extension of the second hypervirial method that has been succesfully employed to deduce an analogous relationship in non-relativistic quantum mechanics. We first obtain the relativistic extension of the second hypervirial and then the relativistic recurrence relation. Furthermore, we use this relation to deduce relativistic versions of the Pasternack-Sternheimer rule and of the virial theorem.
Causarum Investigatio and the Two Bell's Theorems of John Bell
Wiseman, Howard M
2015-01-01
"Bell's theorem" can refer to two different theorems that John Bell proved, the first in 1964 and the second in 1976. His 1964 theorem is the incompatibility of quantum phenomena with the joint assumptions of Locality and Predetermination. His 1976 theorem is their incompatibility with the single property of Local Causality. This is contrary to Bell's own later assertions, that his 1964 theorem began with the assumption of Local Causality, even if not by that name. Although the two Bell's theorems are logically equivalent, their assumptions are not. Hence, the earlier and later theorems suggest quite different conclusions, embraced by operationalists and realists, respectively. The key issue is whether Locality or Local Causality is the appropriate notion emanating from Relativistic Causality, and this rests on one's basic notion of causation. For operationalists the appropriate notion is what is here called the Principle of Agent-Causation, while for realists it is Reichenbach's Principle of common cause. By...
Vícha, Jan; Marek, Radek; Straka, Michal
2016-10-17
The role of relativistic effects on (1)H NMR chemical shifts of Sn(II) and Pb(II) hydrides is investigated by using fully relativistic DFT calculations. The stability of possible Pb(II) hydride isomers is studied together with their (1)H NMR chemical shifts, which are predicted in the high-frequency region, up to 90 ppm. These (1)H signals are dictated by sizable relativistic contributions due to spin-orbit coupling at the heavy atom and can be as large as 80 ppm for a hydrogen atom bound to Pb(II). Such high-frequency (1)H NMR chemical shifts of Pb(II) hydride resonances cannot be detected in the (1)H NMR spectra with standard experimental setup. Extended (1)H NMR spectral ranges are thus suggested for studies of Pb(II) compounds. Modulation of spin-orbit relativistic contribution to (1)H NMR chemical shift is found to be important also in the experimentally known Sn(II) hydrides. Because the (1)H NMR chemical shifts were found to be rather sensitive to the changes in the coordination sphere of the central metal in both Sn(II) and Pb(II) hydrides, their application for structural investigation is suggested.
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.
The matching theorems and coincidence theorems for generalized R-KKM mapping in topological spaces
Huang, Jianhua
2005-12-01
In this paper we present some new matching theorems with open cover and closed cover by using the generalized R-KKM theorems [L. Deng, X. Xia, Generalized R-KKM theorem in topological space and their applications, J. Math. Anal. Appl. 285 (2003) 679-690] in the topological spaces with property (H). As applications, some coincidence theorems are established in topological spaces. Our results extend and generalize some known results.
Causality, Bell's theorem, and Ontic Definiteness
Henson, Joe
2011-01-01
Bell's theorem shows that the reasonable relativistic causal principle known as "local causality" is not compatible with the predictions of quantum mechanics. It is not possible maintain a satisfying causal principle of this type while dropping any of the better-known assumptions of Bell's theorem. However, another assumption of Bell's theorem is the use of classical logic. One part of this assumption is the principle of "ontic definiteness", that is, that it must in principle be possible to assign definite truth values to all propositions treated in the theory. Once the logical setting is clarified somewhat, it can be seen that rejecting this principle does not in any way undermine the type of causal principle used by Bell. Without ontic definiteness, the deterministic causal condition known as Einstein Locality succeeds in banning superluminal influence (including signalling) whilst allowing correlations that violate Bell's inequalities. Objections to altering logic, and the consequences for operational and...
Relativistic Force Field: Parametrization of (13)C-(1)H Nuclear Spin-Spin Coupling Constants.
Kutateladze, Andrei G; Mukhina, Olga A
2015-11-01
Previously, we reported a reliable DU8 method for natural bond orbital (NBO)-aided parametric scaling of Fermi contacts to achieve fast and accurate prediction of proton-proton spin-spin coupling constants (SSCC) in (1)H NMR. As sophisticated NMR experiments for precise measurements of carbon-proton SSCCs are becoming more user-friendly and broadly utilized by the organic chemistry community to guide and inform the process of structure determination of complex organic compounds, we have now developed a fast and accurate method for computing (13)C-(1)H SSCCs. Fermi contacts computed with the DU8 basis set are scaled using selected NBO parameters in conjunction with empirical scaling coefficients. The method is optimized for inexpensive B3LYP/6-31G(d) geometries. The parametric scaling is based on a carefully selected training set of 274 ((3)J), 193 ((2)J), and 143 ((1)J) experimental (13)C-(1)H spin-spin coupling constants reported in the literature. The DU8 basis set, optimized for computing Fermi contacts, which by design had evolved from optimization of a collection of inexpensive 3-21G*, 4-21G, and 6-31G(d) bases, offers very short computational (wall) times even for relatively large organic molecules containing 15-20 carbon atoms. The most informative SSCCs for structure determination, i.e., (3)J, were computed with an accuracy of 0.41 Hz (rmsd). The new unified approach for computing (1)H-(1)H and (13)C-(1)H SSCCs is termed "DU8c".
A note on the tolerated Tverberg theorem
2016-01-01
In this paper we give an asymptotically tight bound for the tolerated Tverberg Theorem when the dimension and the size of the partition are fixed. To achieve this we study certain partitions of order-type homogeneous sets and use a generalization of the Erd\\H{o}s-Szekeres theorem.
Laser stripping of relativistic H{sup {minus}} ions with practical considerations
Tomlin, R.
1995-12-01
This paper describes laser stripping of H{sup {minus}} ions. Some applications are suggested for HEP including stripping 2GeV ions circulating in an accelerator with radius 75 meters where laser meets ion head on in a three meter interaction region. The paper describes photoionizaton cross section, laser power calculation, and how to generate the 5 micrometer light.
Equations of motion for a relativistic wave packet
L Kocis
2012-05-01
The time derivative of the position of a relativistic wave packet is evaluated. It is found that it is equal to the mean value of the momentum of the wave packet divided by the mass of the particle. The equation derived represents a relativistic version of the second Ehrenfest theorem.
Demianski, Marek
2013-01-01
Relativistic Astrophysics brings together important astronomical discoveries and the significant achievements, as well as the difficulties in the field of relativistic astrophysics. This book is divided into 10 chapters that tackle some aspects of the field, including the gravitational field, stellar equilibrium, black holes, and cosmology. The opening chapters introduce the theories to delineate gravitational field and the elements of relativistic thermodynamics and hydrodynamics. The succeeding chapters deal with the gravitational fields in matter; stellar equilibrium and general relativity
Lagrange Theorem for polygroups
alireza sedighi
2014-12-01
Full Text Available So far?, ?isomorphism theorems in hyperstructure were proved for different structures of polygroups?, ?hyperrings and etc?. ?In this paper?, ?the polygroups properties is studied with the introduction of a suitable equivalence relation?. ?We show that the above relation is strongly regular?. ?Our main purpose in the paper is investigating Lagrang theorem and other expressing of isomorphism theorems for polygroups?.
Parker, Edward
2017-08-01
A nonrelativistic particle released from rest at the edge of a ball of uniform charge density or mass density oscillates with simple harmonic motion. We consider the relativistic generalizations of these situations where the particle can attain speeds arbitrarily close to the speed of light; generalizing the electrostatic and gravitational cases requires special and general relativity, respectively. We find exact closed-form relations between the position, proper time, and coordinate time in both cases, and find that they are no longer harmonic, with oscillation periods that depend on the amplitude. In the highly relativistic limit of both cases, the particle spends almost all of its proper time near the turning points, but almost all of the coordinate time moving through the bulk of the ball. Buchdahl's theorem imposes nontrivial constraints on the general-relativistic case, as a ball of given density can only attain a finite maximum radius before collapsing into a black hole. This article is intended to be pedagogical, and should be accessible to those who have taken an undergraduate course in general relativity.
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
Kutateladze, Andrei G; Mukhina, Olga A
2014-09-05
Spin-spin coupling constants in (1)H NMR carry a wealth of structural information and offer a powerful tool for deciphering molecular structures. However, accurate ab initio or DFT calculations of spin-spin coupling constants have been very challenging and expensive. Scaling of (easy) Fermi contacts, fc, especially in the context of recent findings by Bally and Rablen (Bally, T.; Rablen, P. R. J. Org. Chem. 2011, 76, 4818), offers a framework for achieving practical evaluation of spin-spin coupling constants. We report a faster and more precise parametrization approach utilizing a new basis set for hydrogen atoms optimized in conjunction with (i) inexpensive B3LYP/6-31G(d) molecular geometries, (ii) inexpensive 4-31G basis set for carbon atoms in fc calculations, and (iii) individual parametrization for different atom types/hybridizations, not unlike a force field in molecular mechanics, but designed for the fc's. With the training set of 608 experimental constants we achieved rmsd <0.19 Hz. The methodology performs very well as we illustrate with a set of complex organic natural products, including strychnine (rmsd 0.19 Hz), morphine (rmsd 0.24 Hz), etc. This precision is achieved with much shorter computational times: accurate spin-spin coupling constants for the two conformers of strychnine were computed in parallel on two 16-core nodes of a Linux cluster within 10 min.
Hamiltonian Noether theorem for gauge systems and two time physics
Villanueva, V M; Ruiz, L; Silvas, J
2005-01-01
The Noether theorem for Hamiltonian constrained systems is revisited. In particular, our review presents a novel method to show that the gauge transformations are generated by the conserved quantities associated with the first class constraints. We apply our results to the relativistic point particle, to the Friedberg et al. model and, with special emphasis, to two time physics.
Virial theorem and Gibbs thermodynamic potential for Coulomb systems
Bobrov, V. B., E-mail: vic5907@mail.ru, E-mail: satron@mail.ru [Joint Institute for High Temperatures, Russian Academy of Sciences, Izhorskaya St. 13, Bd. 2, Moscow 125412 (Russian Federation); National Research University “MPEI,” Krasnokazarmennaya str. 14, Moscow 111250 (Russian Federation); Trigger, S. A., E-mail: vic5907@mail.ru, E-mail: satron@mail.ru [Joint Institute for High Temperatures, Russian Academy of Sciences, Izhorskaya St. 13, Bd. 2, Moscow 125412 (Russian Federation); Institut für Physik, Humboldt-Universität zu Berlin, Newtonstraße 15, Berlin D-12489 (Germany)
2014-10-15
Using the grand canonical ensemble and the virial theorem, we show that the Gibbs thermodynamic potential of the non-relativistic system of charged particles is uniquely defined by single-particle Green functions of electrons and nuclei. This result is valid beyond the perturbation theory with respect to the interparticle interaction.
Tsogbayar, Ts; Korobov, V I
2006-07-14
Effective potentials of the relativistic Breit-Pauli corrections for the 1ssigma(g) and 2psigma(u) electron states of the H(2) (+) molecular ion and the 1ssigma, 2ssigma, and 3psigma states of the antiprotonic helium atom He(+)(-)p are calculated within the Born-Oppenheimer approximation. The variational expansion with randomly chosen exponents has been used for numerical studies. The results obtained for the Breit-Pauli effective potentials are accurate up to ten significant digits for the H(2) (+) molecular ion and eight digits for the He(+)(-)p atom.
The asymmetric sandwich theorem
Simons, Stephen
2011-01-01
We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations of the Fenchel duality theorem. Most of the results are about affine functions defined on convex subsets of vector spaces, rather than linear functions defined on vector spaces. We consider both results that use a simple boundedness hypothesis (as in Rockafellar's version of the Fenchel duality theorem) and also results that use Baire's theorem (as in the Robinson-Attouch-Brezis version of the Fenchel duality theorem). This paper also contains some new results about metrizable topological vector spaces that are not necessarily locally convex.
Scattering in Relativistic Particle Mechanics.
de Bievre, Stephan
The problem of direct interaction in relativistic particle mechanics has been extensively studied and a variety of models has been proposed avoiding the conclusions of the so-called no-interaction theorems. In this thesis we study scattering in the relativistic two-body problem. We use our results to analyse gauge invariance in Hamiltonian constraint models and the uniqueness of the symplectic structure in manifestly covariant relativistic particle mechanics. We first present a general geometric framework that underlies approaches to relativistic particle mechanics. This permits a model-independent and geometric definition of the notions of asymptotic completeness and of Moller and scattering operators. Subsequent analysis of these concepts divides into two parts. First, we study the kinematic properties of the scattering transformation, i.e. those properties that arise solely from the invariance of the theory under the Poincare group. We classify all canonical (symplectic) scattering transformations on the relativistic phase space for two free particles in terms of a single function of the two invariants of the theory. We show how this function is determined by the center of mass time delay and scattering angle and vice versa. The second part of our analysis of the relativistic two-body scattering problem is devoted to the dynamical properties of the scattering process. Hence, we turn to two approaches to relativistic particle mechanics: the Hamiltonian constraint models and the manifestly covariant formalism. Using general geometric arguments, we prove "gauge invariance" of the scattering transformation in the Todorov -Komar Hamiltonian constraint model. We conclude that the scattering cross sections of the Todorov-Komar models have the same angular dependence as their non-relativistic counterpart, irrespective of a choice of gauge. This limits the physical relevance of those models. We present a physically non -trivial Hamiltonian constraint model, starting from
2011-01-01
Arvanitakis established recently a theorem which is a common generalization of Michael's convex selection theorem and Dugundji's extension theorem. In this note we provide a short proof of a more general version of Arvanitakis' result.
Magnetic Sublevel Population Studied for H- and He-like Uranium in Relativistic Ion-Atom Collisions
Gumberidze, A.; Stoehlker, T. [GSI-Darmstadt (Germany); Bednarz, G. [Cracow University, Institute of Physics (Poland); Bosch, F. [GSI-Darmstadt (Germany); Fritzsche, S. [University of Kassel (Germany); Hagmann, S. [Kansas State University (United States); Ionescu, D. C.; Klepper, O.; Kozhuharov, C.; Kraemer, A.; Liesen, D.; Ma, X.; Mann, R.; Mokler, P. H. [GSI-Darmstadt (Germany); Sierpowski, D. [Cracow University, Institute of Physics (Poland); Stachura, Z. [INP (Poland); Steck, M.; Toleikis, S. [GSI-Darmstadt (Germany); Warczak, A. [Cracow University, Institute of Physics (Poland)
2003-03-15
An experimental study for K-shell excitation of helium-like uranium in relativistic collisions with low-Z gaseous target is presented. Within this experiment information about the population of the magnetic sublevels has been obtained via a photon angular differential study of the decay photons associated with the excitation process. The preliminary results presented show, for the particular case of the {sup 3}P{sub 1} level, a surprisingly strong population of the magnetic sublevels with {mu}={+-}1.
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.
Luciano, Rezzolla
2013-01-01
Relativistic hydrodynamics is a very successful theoretical framework to describe the dynamics of matter from scales as small as those of colliding elementary particles, up to the largest scales in the universe. This book provides an up-to-date, lively, and approachable introduction to the mathematical formalism, numerical techniques, and applications of relativistic hydrodynamics. The topic is typically covered either by very formal or by very phenomenological books, but is instead presented here in a form that will be appreciated both by students and researchers in the field. The topics covered in the book are the results of work carried out over the last 40 years, which can be found in rather technical research articles with dissimilar notations and styles. The book is not just a collection of scattered information, but a well-organized description of relativistic hydrodynamics, from the basic principles of statistical kinetic theory, down to the technical aspects of numerical methods devised for the solut...
Relabeling symmetry in relativistic fluids and plasmas
Kawazura, Yohei; Fukumoto, Yasuhide
2014-01-01
The conservation of the recently formulated relativistic canonical helicity [Yoshida Z, Kawazura Y, and Yokoyama T 2014 J. Math. Phys. 55 043101] is derived from Noether's theorem by constructing an action principle on the relativistic Lagrangian coordinates (we obtain general cross helicities that include the helicity of the canonical vorticity). The conservation law is, then, explained by the relabeling symmetry pertinent to the Lagrangian label of fluid elements. Upon Eulerianizing the Noether current, the purely spatial volume integral on the Lagrangian coordinates is mapped to a space-time mixed three-dimensional integral on the four-dimensional Eulerian coordinates. The relativistic conservation law in the Eulerian coordinates is no longer represented by any divergence-free current; hence, it is not adequate to regard the relativistic helicity (represented by the Eulerian variables) as a Noether charge, and this stands the reason why the "conventional helicity" is no longer a constant of motion. We have...
Section Theorem in H-Spaces with Applications%H-空间中的截口定理及其应用
王黎辉; 郭伟平
2005-01-01
将Ky Fan截口定理推广到了H空间.作为应用,在H-空间上进一步推广了Browder不动点定理,并研究了向量值函数的极大极小值,极大极小不等式以及鞍点问题.最后,研究了一个变分不等式.
Haba, Z
2009-02-01
We discuss relativistic diffusion in proper time in the approach of Schay (Ph.D. thesis, Princeton University, Princeton, NJ, 1961) and Dudley [Ark. Mat. 6, 241 (1965)]. We derive (Langevin) stochastic differential equations in various coordinates. We show that in some coordinates the stochastic differential equations become linear. We obtain momentum probability distribution in an explicit form. We discuss a relativistic particle diffusing in an external electromagnetic field. We solve the Langevin equations in the case of parallel electric and magnetic fields. We derive a kinetic equation for the evolution of the probability distribution. We discuss drag terms leading to an equilibrium distribution. The relativistic analog of the Ornstein-Uhlenbeck process is not unique. We show that if the drag comes from a diffusion approximation to the master equation then its form is strongly restricted. The drag leading to the Tsallis equilibrium distribution satisfies this restriction whereas the one of the Jüttner distribution does not. We show that any function of the relativistic energy can be the equilibrium distribution for a particle in a static electric field. A preliminary study of the time evolution with friction is presented. It is shown that the problem is equivalent to quantum mechanics of a particle moving on a hyperboloid with a potential determined by the drag. A relation to diffusions appearing in heavy ion collisions is briefly discussed.
Sahoo, Raghunath
2016-01-01
This lecture note covers Relativistic Kinematics, which is very useful for the beginners in the field of high-energy physics. A very practical approach has been taken, which answers "why and how" of the kinematics useful for students working in the related areas.
On the Equivalence of Weyl Theorem and Generalized Weyl Theorem
M. BERKANI
2007-01-01
We know that an operator T acting on a Banach space satisfying generalized Weyl's theorem also satisfies Weyl's theo rem. Conversely we show that if all isolated eigenvalues of T are poles of its resolvent and if T satisfies Weyl's theorem, then it also satisfies generalized Weyl's theorem. We give also a similar result for the equivalence of a-Weyl's theorem and generalized a-Weyl's theorem. Using these results, we study the case of polaroid operators, and in particular paranormal operators.
Trigonometry, Including Snell's Theorem.
Kent, David
1980-01-01
Aspects of the instruction of trigonometry in secondary school mathematics are reviewed. Portions of this document cover basic introductions, a student-developed theorem, the cosine rule, inverse functions, and a sample outdoor activity. (MP)
Trigonometry, Including Snell's Theorem.
Kent, David
1980-01-01
Aspects of the instruction of trigonometry in secondary school mathematics are reviewed. Portions of this document cover basic introductions, a student-developed theorem, the cosine rule, inverse functions, and a sample outdoor activity. (MP)
Bonnaud, G.; Dussy, S.; Lefebvre, E. [CEA Bruyeres-le-Chatel, 91 (France). Dept. de Physique Theorique et Appliquee; Bouchut, F. [Orleans Univ., 45 (France). Dept. de Mathematiques, UMR CNRS
1998-12-31
This report presents a numerical model to simulate the electromagnetic processes involved by electrically-charged relativistic fluids. The physical model is first given. Second, the numerical methods are explained with the various packages of the code RHEA, with indication methods are explained with the various packages of the code RHEA, with indication of its performances, within a 1.5.- dimensional framework. Results from test-simulations are shown to validate the use of the code, for both academic situations and realistic context of laser-plasma interaction, for which the code has been designed: the non-linear phenomena in the context of inertial confinement fusion and the ultra-intense laser pulses. (author) 25 refs.
Bonnaud, G.; Dussy, S.; Lefebvre, E. [CEA Bruyeres-le-Chatel, 91 (France). Dept. de Physique Theorique et Appliquee; Bouchut, F. [Orleans Univ., 45 (France). Dept. de Mathematiques, UMR CNRS
1998-12-31
This report presents a numerical model to simulate the electromagnetic processes involved by electrically-charged relativistic fluids. The physical model is first given. Second, the numerical methods are explained with the various packages of the code RHEA, with indication methods are explained with the various packages of the code RHEA, with indication of its performances, within a 1.5.- dimensional framework. Results from test-simulations are shown to validate the use of the code, for both academic situations and realistic context of laser-plasma interaction, for which the code has been designed: the non-linear phenomena in the context of inertial confinement fusion and the ultra-intense laser pulses. (author) 25 refs.
AN EXISTENCE THEOREM FOR MAXIMAL ELEMENTS AND ITS APPLICATIONS
Hou Jicheng; He Wei
2007-01-01
An existence theorem of maximal elements for an L*-majorized correspondence de-fined on a non-paracompact H-space is established. As applications of the result, an equilibrium existence theorem for a non-paracompact generalized game in H-spaces with infinitely many players and with L*-majorized correspondences is given.
Coincidence Point Theorems, Intersection Theorems and Saddle Point Theorems on FC-spaces
PIAO YONG-JIE; YIN ZHE
2009-01-01
In this paper, we first give the definitions of finitely continuous topological space and FC-subspace generated by some set, and obtain coincidence point theorem, whole intersection theorems and Ky Fan type matching theorems, and finally discuss the existence of saddle point as an application of coincidence point theorem.
Hakim, Rémi
1994-01-01
Il existe à l'heure actuelle un certain nombre de théories relativistes de la gravitation compatibles avec l'expérience et l'observation. Toutefois, la relativité générale d'Einstein fut historiquement la première à fournir des résultats théoriques corrects en accord précis avec les faits.
Navier Stokes Theorem in Hydrology
Narayanan, M.
2005-12-01
, more rapidly for larger acoustic speeds and smaller viscosities. This is an extremely useful paper that helps instructors to develop creative techniques for the classroom. References : Streater, R. F. Corrections to Fluid Dynamics : Open Systems and Information Dynamics, 10, 3-30, 2003. Hoff, David.: Dynamics of Singularity Surfaces for Compressible Navier-Stokes Flows in Two Space Dimensions. Journees Equations aux derivees partielles, Art. No. 7, 9 p. 2001. Arfken, G. "Gauss's Theorem." 1.11 in Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 57-61, 1985. Morse, P. M. and Feshbach, H. "Gauss's Theorem." In Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 37-38, 1953. Eric W. Weisstein. "Divergence Theorem." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/DivergenceTheorem.html
Jones, Bernard J. T.; Markovic, Dragoljub
1997-06-01
Preface; Prologue: Conference overview Bernard Carr; Part I. The Universe At Large and Very Large Redshifts: 2. The size and age of the Universe Gustav A. Tammann; 3. Active galaxies at large redshifts Malcolm S. Longair; 4. Observational cosmology with the cosmic microwave background George F. Smoot; 5. Future prospects in measuring the CMB power spectrum Philip M. Lubin; 6. Inflationary cosmology Michael S. Turner; 7. The signature of the Universe Bernard J. T. Jones; 8. Theory of large-scale structure Sergei F. Shandarin; 9. The origin of matter in the universe Lev A. Kofman; 10. New guises for cold-dark matter suspects Edward W. Kolb; Part II. Physics and Astrophysics Of Relativistic Compact Objects: 11. On the unification of gravitational and inertial forces Donald Lynden-Bell; 12. Internal structure of astrophysical black holes Werner Israel; 13. Black hole entropy: external facade and internal reality Valery Frolov; 14. Accretion disks around black holes Marek A. Abramowicz; 15. Black hole X-ray transients J. Craig Wheeler; 16. X-rays and gamma rays from active galactic nuclei Roland Svensson; 17. Gamma-ray bursts: a challenge to relativistic astrophysics Martin Rees; 18. Probing black holes and other exotic objects with gravitational waves Kip Thorne; Epilogue: the past and future of relativistic astrophysics Igor D. Novikov; I. D. Novikov's scientific papers and books.
Noldus, Johan
2005-01-01
This paper can be seen as an exercise in how to adapt quantum mechanics from a strict relativistic perspective while being respectful and critical towards the experimental achievements of the contemporary theory. The result is a fully observer independent relativistic quantum mechanics for N particle systems without tachyonic solutions. A remaining worry for the moment is Bell's theorem.
Objective realism and freedom of choice in relativistic quantum field theory
Bednorz, Adam
2016-01-01
An attempt to incorporate freedom of choice into relativistic quantum field theory is proposed. It is shown that it leads to breakdown of relativistic invariant properly defined objective realism. The argument does not rely on Bell theorem but direct analysis of invariance and positivity of objective correlations in quantum field theory.
A new blackhole theorem and its applications to cosmology and astrophysics
Wang, Shouhong; Ma, Tian
2015-04-01
We shall present a blackhole theorem and a theorem on the structure of our Universe, proved in a recently published paper, based on 1) the Einstein general theory of relativity, and 2) the cosmological principle that the universe is homogeneous and isotropic. These two theorems are rigorously proved using astrophysical dynamical models coupling fluid dynamics and general relativity based on a symmetry-breaking principle. With the new blackhole theorem, we further demonstrate that both supernovae explosion and AGN jets, as well as many astronomical phenomena including e.g. the recent reported are due to combined relativistic, magnetic and thermal effects. The radial temperature gradient causes vertical Benard type convection cells, and the relativistic viscous force (via electromagnetic, the weak and the strong interactions) gives rise to a huge explosive radial force near the Schwarzschild radius, leading e.g. to supernovae explosion and AGN jets.
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.
Relativistic corrections to molecular dynamic dipole polarizabilities
Kirpekar, Sheela; Oddershede, Jens; Jensen, Hans Jørgen Aagaard
1995-01-01
Using response function methods we report calculations of the dynamic isotropic polarizability of SnH4 and PbH4 and of the relativistic corrections to it in the random phase approximation and at the correlated multiconfigurational linear response level of approximation. All relativistic corrections...
ON RANGE DECOMPOSITION THEOREMS
吴利生
1990-01-01
We prove the following theorems.Theorem 1.Suppose f:X→Y is a closed map.X is a ωγ and β space,then Y=Y0∪(∪n=1∞Yn),where f-1(y) is countably compact for each y ∈Y0 and Yn is closed discrete in Y for each n≥1,Theorem 2-3:Suppose f:X→Y is a closed map,X is stratifable space,then Y=Y0 ∪(∪n=1∞Yn),where f-1(y) is compact for each y∈Y0 and Yn is closed discrete in Y for each n≥1.
D'Agostini, G
2005-01-01
It is curious to learn that Enrico Fermi knew how to base probabilistic inference on Bayes theorem, and that some influential notes on statistics for physicists stem from what the author calls elsewhere, but never in these notes, {\\it the Bayes Theorem of Fermi}. The fact is curious because the large majority of living physicists, educated in the second half of last century -- a kind of middle age in the statistical reasoning -- never heard of Bayes theorem during their studies, though they have been constantly using an intuitive reasoning quite Bayesian in spirit. This paper is based on recollections and notes by Jay Orear and on Gauss' ``Theoria motus corporum coelestium'', being the {\\it Princeps mathematicorum} remembered by Orear as source of Fermi's Bayesian reasoning.
Gourlaouen, Christophe; Piquemal, Jean-Philip; Saue, Trond; Parisel, Olivier
2006-01-30
Hartree-Fock and DFT (B3LYP) nonrelativistic (scalar relativistic pseudopotentials for the metallic cation) and relativistic (molecular four-component approach coupled to an all-electron basis set) calculations are performed on a series of six nd10 (n+1)s0 [M(H2O)]p+ complexes to investigate their geometry, either planar C2v or nonplanar C(s). These complexes are, formally, entities originating from the complexation of a water molecule to a metallic cation: in the present study, no internal reorganization has been found, which ensures that the complexes can be regarded as a water molecule interacting with a metallic cation. For [Au(H2O)]+ and [Hg(H2O)]2+, it is observed that both electronic correlation and relativistic effects are required to recover the C(s) structures predicted by the four-component relativistic all-electron DFT calculations. However, including the zero-point energy corrections makes these shallow C(s) minima vanish and the systems become floppy. In all other systems, namely [Cu(H2O)]+, [Zn(H2O)]2+, [Ag(H2O)]+, and [Cd(H2O)]2+, all calculations predict a C2v geometry arising from especially flat potential energy surfaces related to the out-of-plane wagging vibration mode. In all cases, our computations point to the quasi-perfect transferability of the atomic pseudopotentials considered toward the molecular species investigated. A rationalization of the shape of the wagging potential energy surfaces (i.e., single well vs. double well) is proposed based on the Constrained Space Orbital Variation decompositions of the complexation energies. Any way of stabilizing the lowest unoccupied orbital of the metallic cation is expected to favor charge-transfer (from the highest occupied orbital(s) of the water ligand), covalence, and, consequently, C(s) structures. The CSOV complexation energy decompositions unambiguously reveal that such stabilizations are achieved by means of relativistic effects for [Au(H2O)]+, and, to a lesser extent, for [Hg(H2O)]2
WEYL'S TYPE THEOREMS AND HYPERCYCLIC OPERATORS
M.H. M. Rashid
2012-01-01
For a bounded operator T acting on an infinite dimensional separable Hilbert space H,we prove the following assertions: (i) If T or T* ∈ SC,then generalized aBrowder's theorem holds for f(T) for every f ∈ Hol(σ(T)).(ii) If T or T* ∈ HC has topological uniform descent at all λ ∈ iso(σ(T)),then generalized Weyl's theorem holds for f(T) for every f ∈ Hol(σ(T)).(iii) If T ∈ HC has topological uniform descent at all λ ∈ E(T),then T satisfies generalized Weyl's theorem.(iv) Let T ∈ HC.If T satisfies the growth condition Gd(d ≥ 1),then generalized Weyl's theorem holds for f(T) for every f ∈ Hol(σ(T)).(v) If T ∈ SC,then,f(σSBF-+ (T)) =σSBF-+ (f(T)) for all f ∈ Hol(σ(T)).(vi) Let T be a-isoloid such that T* ∈ HC.If T - λI has finite ascent at every λ ∈ Ea(T)and if F is of finite rank on H such that TF =FT,then T + F obeys generalized a-Weyl's theorem.
Converse Barrier Certificate Theorem
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...
Kartavtsev, Alexander
2014-01-01
According to the Goldstone theorem a scalar theory with a spontaneously broken global symmetry contains strictly massless states. In this letter we identify a loophole in the current-algebra proof of the theorem. Therefore, the question whether in models with Mexican hat potential the tangential excitations are strictly massless or are just almost massless as compared to the radial ones remains open. We also argue that mass of the tangential excitations approaches zero even if the symmetry is not spontaneously broken but a combination of the field components invariant under the symmetry transformations acquires a large vacuum expectation value.
Pérez-Espigares, Carlos; Redig, Frank; Giardinà, Cristian
2015-08-01
For non-equilibrium systems of interacting particles and for interacting diffusions in d-dimensions, a novel fluctuation relation is derived. The theorem establishes a quantitative relation between the probabilities of observing two current values in different spatial directions. The result is a consequence of spatial symmetries of the microscopic dynamics, generalizing in this way the Gallavotti-Cohen fluctuation theorem related to the time-reversal symmetry. This new perspective opens up the possibility of direct experimental measurements of fluctuation relations of vectorial observables.
Relativistic dynamics, Green function and pseudodifferential operators
Cirilo-Lombardo, Diego Julio
2016-01-01
The central role played by pseudodifferential operators in relativistic dynamics is very well know. In this work, operators as the Schrodinger one (e.g: square root) are treated from the point of view of the non-local pseudodifferential Green functions. Starting from the explicit construction of the Green (semigroup) theoretical kernel, a theorem linking the integrability conditions and their dependence on the spacetime dimensions is given. Relativistic wave equations with arbitrary spin and the causality problem are discussed with the algebraic interpretation of the radical operator and their relation with coherent and squeezed states. Also we perform by mean of pure theoretical procedures (based in physical concepts and symmetry) the relativistic position operator which satisfies the conditions of integrability : it is non-local, Lorentz invariant and does not have the same problems as the "local"position operator proposed by Newton and Wigner. Physical examples, as Zitterbewegung and rogue waves, are prese...
Virial Theorem and Scale Transformations.
Kleban, Peter
1979-01-01
Discussed is the virial theorem, which is useful in classical, quantum, and statistical mechanics. Two types of derivations of this theorem are presented and the relationship between the two is explored. (BT)
Relativistic and non-relativistic geodesic equations
Giambo' , R.; Mangiarotti, L.; Sardanashvily, G. [Camerino Univ., Camerino, MC (Italy). Dipt. di Matematica e Fisica
1999-07-01
It is shown that any dynamic equation on a configuration space of non-relativistic time-dependent mechanics is associated with connections on its tangent bundle. As a consequence, every non-relativistic dynamic equation can be seen as a geodesic equation with respect to a (non-linear) connection on this tangent bundle. Using this fact, the relationships between relativistic and non-relativistic equations of motion is studied.
Ferromagnetism beyond Lieb's theorem
Costa, Natanael C.; Mendes-Santos, Tiago; Paiva, Thereza; Santos, Raimundo R. dos; Scalettar, Richard T.
2016-10-01
The noninteracting electronic structures of tight-binding models on bipartite lattices with unequal numbers of sites in the two sublattices have a number of unique features, including the presence of spatially localized eigenstates and flat bands. When a uniform on-site Hubbard interaction U is turned on, Lieb proved rigorously that at half-filling (ρ =1 ) the ground state has a nonzero spin. In this paper we consider a "CuO2 lattice" (also known as "Lieb lattice," or as a decorated square lattice), in which "d orbitals" occupy the vertices of the squares, while "p orbitals" lie halfway between two d orbitals; both d and p orbitals can accommodate only up to two electrons. We use exact determinant quantum Monte Carlo (DQMC) simulations to quantify the nature of magnetic order through the behavior of correlation functions and sublattice magnetizations in the different orbitals as a function of U and temperature; we have also calculated the projected density of states, and the compressibility. We study both the homogeneous (H) case, Ud=Up , originally considered by Lieb, and the inhomogeneous (IH) case, Ud≠Up . For the H case at half-filling, we found that the global magnetization rises sharply at weak coupling, and then stabilizes towards the strong-coupling (Heisenberg) value, as a result of the interplay between the ferromagnetism of like sites and the antiferromagnetism between unlike sites; we verified that the system is an insulator for all U . For the IH system at half-filling, we argue that the case Up≠Ud falls under Lieb's theorem, provided they are positive definite, so we used DQMC to probe the cases Up=0 ,Ud=U and Up=U ,Ud=0 . We found that the different environments of d and p sites lead to a ferromagnetic insulator when Ud=0 ; by contrast, Up=0 leads to to a metal without any magnetic ordering. In addition, we have also established that at density ρ =1 /3 , strong antiferromagnetic correlations set in, caused by the presence of one fermion on each
Non-relativistic classical mechanics for spinning particles
Salesi, G
2004-01-01
We study the classical dynamics of non-relativistic particles endowed with spin. Non-vanishing Zitterbewegung terms appear in the equation of motion also in the small momentum limit. We derive a generalized work-energy theorem which suggests classical interpretations for tunnel effect and quantum potential.
Certified Kruskal's Tree Theorem
Christian Sternagel
2014-07-01
Full Text Available This article presents the first formalization of Kurskal's tree theorem in aproof assistant. The Isabelle/HOL development is along the lines of Nash-Williams' original minimal bad sequence argument for proving the treetheorem. Along the way, proofs of Dickson's lemma and Higman's lemma, as well as some technical details of the formalization are discussed.
Thomassen, Carsten
2004-01-01
We present a short proof of the theorem of Tutte that every planar 3-connected graph has a drawing in the plane such that every vertex which is not on the outer cycle is the barycenter of its neighbors. Moreover, this holds for any prescribed representation of the outer cycle. (C) 2004 Wiley Peri...
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. © Instytut Matematyczny PAN, 2009....
Rediscovering Schreinemakers' Theorem.
Bathurst, Bruce
1983-01-01
Schreinemakers' theorem (arrangement of curves around an invariant point), derived from La Chatelier's principle, can be rediscovered by students asked to use the principle when solving a natural problem such as "How does diluting a mineral/fluid alter shape of a pressure/temperature diagram?" Background information and instructional…
Teleman, Nicolae
2011-01-01
$Local^{3}$ Index Theorem means $Local(Local(Local \\;Index \\; Theorem)))$. $Local \\; Index \\; Theorem$ is the Connes-Moscovici local index theorem \\cite{Connes-Moscovici1}, \\cite{Connes-Moscovici2}. The second "Local" refers to the cyclic homology localised to a certain separable subring of the ground algebra, while the last one refers to Alexander-Spanier type cyclic homology. The Connes-Moscovici work is based on the operator $R(A) = \\mathbf{P} - \\mathbf{e}$ associated to the elliptic pseudo-differential operator $A$ on the smooth manifold $M$, where $\\mathbf{P}$, $\\mathbf{e}$ are idempotents, see \\cite{Connes-Moscovici1}, Pg. 353. The operator $R(A)$ has two main merits: it is a smoothing operator and its distributional kernel is situated in an arbitrarily small neighbourhood of the diagonal in $M \\times M$. The operator $R(A)$ has also two setbacks: -i) it is not an idempotent (and therefore it does not have a genuine Connes-Chern character); -ii) even if it were an idempotent, its Connes-Chern character ...
Multivariate irregular sampling theorem
无
2009-01-01
In this paper,we prove a Marcinkiewicz-Zygmund type inequality for multivariate entire functions of exponential type with non-equidistant spaced sampling points. And from this result,we establish a multivariate irregular Whittaker-Kotelnikov-Shannon type sampling theorem.
Multivariate irregular sampling theorem
CHEN GuangGui; FANG GenSun
2009-01-01
In this paper, we prove a Marcinkiewicz-Zygmund type inequality for multivariate entire functions of exponential type with non-equidistant spaced sampling points. And from this result, we establish a multivariate irregular Whittaker-Kotelnikov-Shannon type sampling theorem.
Dalen, D. van
2008-01-01
The following pages make form a new chapter for the book Logic and Structure. This chapter deals with the incompleteness theorem, and contains enough basic material for the treatment of the required notions of computability, representability and the like. This chapter will appear in the next edition
Converse Barrier Certificate Theorems
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 sing...
Automated Discovery of Inductive Theorems
McCasland, Roy; Bundy, Alan; Serge, Autexier
2007-01-01
Inductive mathematical theorems have, as a rule, historically been quite difficult to prove – both for mathematics students and for auto- mated theorem provers. That said, there has been considerable progress over the past several years, within the automated reasoning community, towards proving some of these theorems. However, little work has been done thus far towards automatically discovering them. In this paper we present our methods of discovering (as well as proving) inductive theorems, ...
An Extension of Sobolev's Theorem
无
2000-01-01
Sobolev's Theorem is the most fundamental theorem in the theory of Invariant Cubature Formulas (ICFs). In this paper, a quantitative structure is established for the classical ICFs. Enlightened by this structure, the author generalizes the concept of ICFs and extends the Sobolev's Theorem to the case of generalized ICFs. Several illustrative examples are given.
Russell, Alan R.
2004-01-01
Pick's theorem can be used in various ways just like a lemon. This theorem generally finds its way in the syllabus approximately at the middle school level and in fact at times students have even calculated the area of a state considering its outline with the help of the above theorem.
Generalized no-broadcasting theorem.
Barnum, Howard; Barrett, Jonathan; Leifer, Matthew; Wilce, Alexander
2007-12-14
We prove a generalized version of the no-broadcasting theorem, applicable to essentially any nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with "superquantum" correlations. A strengthened version of the quantum no-broadcasting theorem follows, and its proof is significantly simpler than existing proofs of the no-broadcasting theorem.
Relativistic collision rate calculations for electron-air interactions
Graham, G. [EG and G Energy Measurements, Inc., Los Alamos, NM (United States); Roussel-Dupre, R. [Los Alamos National Lab., NM (United States). Space Science and Technologies
1992-12-16
The most recent data available on differential cross sections for electron-air interactions are used to calculate the avalanche, momentum transfer, and energy loss rates that enter into the fluid equations. Data for the important elastic, inelastic, and ionizing processes are generally available out to electron energies of 1--10 kev. Prescriptions for extending these cross sections to the relativistic regime are presented. The angular dependence of the cross sections is included where data is available as is the doubly differential cross section for ionizing collisions. The collision rates are computed by taking moments of the Boltzmann collision integrals with the assumption that the electron momentum distribution function is given by the Juettner distribution function which satisfies the relativistic H- theorem and which reduces to the familiar Maxwellian velocity distribution in the nonrelativistic regime. The distribution function is parameterized in terms of the electron density, mean momentum, and thermal energy and the rates are therefore computed on a two-dimensional grid as a function of mean kinetic energy and thermal energy.
Virial theorem and hypervirial theorem in a spherical geometry
Li Yan; Chen Jingling [Theoretical Physics Division, Chern Institute of Mathematics, Nankai University, Tianjin 300071 (China); Zhang Fulin, E-mail: flzhang@tju.edu.cn, E-mail: chenjl@nankai.edu.cn [Physics Department, School of Science, Tianjin University, Tianjin 300072 (China)
2011-09-09
The virial theorem in the one- and two-dimensional spherical geometry are presented in both classical and quantum mechanics. Choosing a special class of hypervirial operators, the quantum hypervirial relations in the spherical spaces are obtained. With the aid of the Hellmann-Feynman theorem, these relations can be used to formulate a perturbation theorem without wavefunctions, corresponding to the hypervirial-Hellmann-Feynman theorem perturbation theorem of Euclidean geometry. The one-dimensional harmonic oscillator and two-dimensional Coulomb system in the spherical spaces are given as two sample examples to illustrate the perturbation method. (paper)
Generalizations of Brandl's theorem on Engel length
Quek, S. G.; Wong, K. B.; Wong, P. C.
2013-04-01
Let n Engel cycle generated by g and h. The length of the Engel cycle is m-n. A group G is said to have Engel length r, if all the length of the Engel cycles in G divides r. In this paper we discuss the Brandl's theorem on Engel length and give some of its generalizations.
Relativistic magnetohydrodynamics
Hernandez, Juan; Kovtun, Pavel
2017-05-01
We present the equations of relativistic hydrodynamics coupled to dynamical electromagnetic fields, including the effects of polarization, electric fields, and the derivative expansion. We enumerate the transport coefficients at leading order in derivatives, including electrical conductivities, viscosities, and thermodynamic coefficients. We find the constraints on transport coefficients due to the positivity of entropy production, and derive the corresponding Kubo formulas. For the neutral state in a magnetic field, small fluctuations include Alfvén waves, magnetosonic waves, and the dissipative modes. For the state with a non-zero dynamical charge density in a magnetic field, plasma oscillations gap out all propagating modes, except for Alfvén-like waves with a quadratic dispersion relation. We relate the transport coefficients in the "conventional" magnetohydrodynamics (formulated using Maxwell's equations in matter) to those in the "dual" version of magnetohydrodynamics (formulated using the conserved magnetic flux).
Leardini, Fabrice
2013-01-01
This manuscript presents a problem on special relativity theory (SRT) which embodies an apparent paradox relying on the concept of simultaneity. The problem is represented in the framework of Greek epic poetry and structured in a didactic way. Owing to the characteristic properties of Lorenz transformations, three events which are simultaneous in a given inertial reference system, occur at different times in the other two reference frames. In contrast to the famous twin paradox, in the present case there are three, not two, different inertial observers. This feature provides a better framework to expose some of the main characteristics of SRT, in particular, the concept of velocity and the relativistic rule of addition of velocities.
Gravitationally confined relativistic neutrinos
Vayenas, C. G.; Fokas, A. S.; Grigoriou, D.
2017-09-01
Combining special relativity, the equivalence principle, and Newton’s universal gravitational law with gravitational rather than rest masses, one finds that gravitational interactions between relativistic neutrinos with kinetic energies above 50 MeV are very strong and can lead to the formation of gravitationally confined composite structures with the mass and other properties of hadrons. One may model such structures by considering three neutrinos moving symmetrically on a circular orbit under the influence of their gravitational attraction, and by assuming quantization of their angular momentum, as in the Bohr model of the H atom. The model contains no adjustable parameters and its solution, using a neutrino rest mass of 0.05 eV/c2, leads to composite state radii close to 1 fm and composite state masses close to 1 GeV/c2. Similar models of relativistic rotating electron - neutrino pairs give a mass of 81 GeV/c2, close to that of W bosons. This novel mechanism of generating mass suggests that the Higgs mass generation mechanism can be modeled as a latent gravitational field which gets activated by relativistic neutrinos.
What price the spin–statistics theorem?
E C G Sudarshan; I M Duck
2003-10-01
We examine a number of recent proofs of the spin–statistics theorem. All, of course, get the target result of Bose–Einstein statistics for identical integral spin particles and Fermi–Dirac statistics for identical half-integral spin particles. It is pointed out that these proofs, distinguished by their purported simple and intuitive kinematic character, require assumptions that are outside the realm of standard quantum mechanics. We construct a counterexample to these non-dynamical kinematic ‘proofs’ to emphasize the necessity of a dynamical proof as distinct from a kinematic proof. Sudarshan’s simple non-relativistic dynamical proof is brieﬂy described. Finally, we make clear the price paid for any kinematic ‘proof’.
Taylor, Marika
2016-01-01
The F theorem states that, for a unitary three dimensional quantum field theory, the F quantity defined in terms of the partition function on a three sphere is positive, stationary at fixed point and decreases monotonically along a renormalization group flow. We construct holographic renormalization group flows corresponding to relevant deformations of three-dimensional conformal field theories on spheres, working to quadratic order in the source. For these renormalization group flows, the F quantity at the IR fixed point is always less than F at the UV fixed point, but F increases along the RG flow for deformations by operators of dimension $3/2 < \\Delta < 5/2$. Therefore the strongest version of the F theorem is in general violated.
N V Rao
2003-02-01
The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose is a compact set in the complex plane and 0 belongs to the boundary . Let $\\mathcal{A}(K)$ denote the space of all functions on such that is holomorphic in a neighborhood of and (0) = 0. Also for any given positive integer , let $\\mathcal{A}(m, K)$ denote the space of all such that is holomorphic in a neighborhood of and $f(0) = f'(0) = \\cdots = f^{(m)}(0) = 0$. Then $\\mathcal{A}(m, K)$ is dense in $\\mathcal{A}(K)$ under the supremum norm on provided that there exists a sector $W = \\{re^{i}; 0 ≤ r ≤ , ≤ ≤ \\}$ such that $W \\cap K = \\{0\\}$. (This is the well-known Poincare's external cone condition).} We present various generalizations of this result in the context of higher dimensions replacing holomorphic with harmonic.
1987-03-20
with standard expressions of spherical trigonometry is sinr)0 = cos0 sini//0 (4.37) which is consistent with the results obtained previously with...theorems for discrete transforms. However, sampling questions inlroduce difficult obstacles in the develop- ment of a discrete theory. First, sampling...additional obstacle to discrete represen- tations of the CT. An example of qualitative predication of the shape of silhouettes with the Silhouette-Slice
Gouin, Henri
2015-01-01
Comments on Archimedes' theorem about sphere and cylinder; In his treatise addressed to Dositheus of Pelusium, Archimedes of Syracuse obtained the result of which he was the most proud: a sphere has two-thirds the volume of its circumscribing cylinder. At his request a sculpted sphere and cylinder were placed on his tomb near Syracuse. Usually, it is admitted that to find this formula, Archimedes used a half polygon inscribed in a semicircle; then he performed rotations of these two figures t...
Sandwich classification theorem
Alexey Stepanov
2015-09-01
Full Text Available The present note arises from the author's talk at the conference ``Ischia Group Theory 2014''. For subgroups FleN of a group G denote by Lat(F,N the set of all subgroups of N , containing F . Let D be a subgroup of G . In this note we study the lattice LL=Lat(D,G and the lattice LL ′ of subgroups of G , normalized by D . We say that LL satisfies sandwich classification theorem if LL splits into a disjoint union of sandwiches Lat(F,N G (F over all subgroups F such that the normal closure of D in F coincides with F . Here N G (F denotes the normalizer of F in G . A similar notion of sandwich classification is introduced for the lattice LL ′ . If D is perfect, i.,e. coincides with its commutator subgroup, then it turns out that sandwich classification theorem for LL and LL ′ are equivalent. We also show how to find basic subroup F of sandwiches for LL ′ and review sandwich classification theorems in algebraic groups over rings.
Causal categories: relativistically interacting processes
Coecke, Bob
2011-01-01
A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This paper is concerned with the encoding of a fixed causal structure within a symmetric monoidal category: causal dependencies will correspond to topological connectedness in the graphical language. We show that correlations, either classical or quantum, force terminality of the tensor unit. We also show that well-definedness of the concept of a global state forces the monoidal product to be only partially defined, which in turn results in a relativistic covariance theorem. Except for these assumptions, at no stage do we assume anything more than purely compositional symmetric-monoidal categorical structure. We cast these two structural results in terms of a mathematical entity, which we call a `causal category'. We provide methods of constructing causal categories, and we study t...
Common Fixed Point Theorems in Intuitionistic Fuzzy Metric Spaces
H.M.Abu-Donia; A.A.Nasef
2008-01-01
The purpose of this paper is to introduce some types of compatibility of maps, and we prove some common fixed point theorems for mappings satisfying some conditions on intuitionistic fuzzy metric spaces which defined by J.H.Park.
Failure of relativistic codes in the non-relativistic limit: the role of Brillouin configurations
Indelicato, P J; Desclaux, J P
2004-01-01
In the present letter we solve a long standing problem with relativistic calculations done with the widely used Multi-Configuration Dirac-Fock Method. We show, using Relativistic Many-Body Perturbation Theory (RMBPT), how even for relatively high-$Z$, relaxation or correlation causes the non-relativistic limit of states of different total angular momentum but identical orbital angular momentum to have different energies. We identify the role of single excitations obeying to Brillouin's theorem in this problem. We show that with large scale calculations in which this problem is properly treated, we can reproduce very accurately recent high-precision measurements in F-like Ar, and turn then into precise test of QED
Relativistic heat conduction and thermoelectric properties of nonuniform plasmas
Honda, M
2003-01-01
Relativistic heat transport in electron-two-temperature plasmas with density gradients has been investigated. The Legendre expansion analysis of relativistically modified kinetic equations shows that strong inhibition of heat flux appears in relativistic temperature regimes, suppressing the classical Spitzer-H{\\"a}rm conduction. The Seebeck coefficient, the Wiedemann-Franz law, and the thermoelectric figure of merit are derived in the relativistic regimes.
Von Zeipel's theorem for a magnetized circular flow around a compact object
Zanotti, O
2014-01-01
We analyze a class of physical properties, forming the content of the so-called von Zeipel theorem, which characterizes stationary, axisymmetric, non-selfgravitating perfect fluids in circular motion in the gravitational field of a compact object. We consider the extension of the theorem to the magnetohydrodynamic regime, under the assumption of an infinitely conductive fluid, both in the Newtonian and in the relativistic framework. When the magnetic field is toroidal, the conditions required by the theorem are equivalent to integrability conditions, as it is the case for purely hydrodynamic flows. When the magnetic field is poloidal, the analysis for the relativistic regime is substantially different with respect to the Newtonian case and additional constraints, in the form of PDEs, must be imposed on the magnetic field in order to guarantee that the angular velocity $\\Omega$ depends only on the specific angular momentum $\\ell$. In order to deduce such physical constraints, it is crucial to adopt special coo...
THE EQUIVALENT THEOREM OF TARAFDAR FIXED POINT THEOREM WITH APPLICATION%Tarafdar不动点定理的等价定理及其应用
罗元松
2000-01-01
The author's purpose is to give a further generalization of Tarafdar fixed point theorem and to prove that this theorem is equivalent to Tarafdar theorem. As an application,the author used the result to study the section theorem in product H-space, the equilibrium problem of society and economic. Results presented in this paper improved and generalized the Walras theorem which plays an important pole in social and economical equilibrium problems,improved the famous Ky Fan section theorem. These theorems also develop the known corresponding results.%得到Tarafdar不动点定理的一个等价性定理，作为应用，研究了乘积空间中的截口定理和社会经济平衡问题，从而改进和发展了许多众所周知的结果.
Canonical Approaches to Applications of the Virial Theorem.
Walton, Jay R; Rivera-Rivera, Luis A; Lucchese, Robert R; Bevan, John W
2016-02-11
Canonical approaches are applied for investigation of the extraordinarily accurate electronic ground state potentials of H2(+), H2, HeH(+), and LiH using the virial theorem. These approaches will be dependent on previous investigations involving the canonical nature of E(R), the Born-Oppenheimer potential, and F(R), the associated force of E(R), that have been demonstrated to be individually canonical to high accuracy in the case of the systems investigated. Now, the canonical nature of the remaining functions in the virial theorem [the electronic kinetic energy T(R), the electrostatic potential energy V(R), and the function W(R) = RF(R)] are investigated and applied to H2, HeH(+), and LiH with H2(+) chosen as reference. The results will be discussed in the context of a different perspective of molecular bonding that goes beyond previous direct applications of the virial theorem.
Transfinite Approximation of Hindman's Theorem
Beiglböck, Mathias
2010-01-01
Hindman's Theorem states that in any finite coloring of the integers, there is an infinite set all of whose finite sums belong to the same color. This is much stronger than the corresponding finite form, stating that in any finite coloring of the integers there are arbitrarily long finite sets with the same property. We extend the finite form of Hindman's Theorem to a "transfinite" version for each countable ordinal, and show that Hindman's Theorem is equivalent to the appropriate transfinite approximation holding for every countable ordinal. We then give a proof of Hindman's Theorem by directly proving these transfinite approximations.
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.
Duality Theorem and Drinfeld Double in Braided Tensor Categories
Shouchuan Zhang
2003-01-01
Let (C, ( ), I, C) be a braided tensor category. For a finite Hopf algebra H in c with CH, H = C-1 H,H, the duality theorem is shown, i.e.,(R#H)#H^* ≌ R( ) (H-( )H^*)as algebras in C. Also, it is proved that the Drinfeld double (D(H), [b]) is a quasi-triangular Hopf algebra in c.
Relativistically extended Blanchard recurrence relation for hydrogenic matrix elements
Martínez y Romero, R P; Salas-Brito, A L
2001-01-01
General recurrence relations for arbitrary non-diagonal, radial hydrogenic matrix elements are derived in Dirac relativistic quantum mechanics. Our approach is based on a generalization of the second hypervirial method previously employed in the non-relativistic Schr\\"odinger case. A relativistic version of the Pasternack-Sternheimer relation is thence obtained in the diagonal (i.e. total angular momentum and parity the same) case, from such relation an expression for the relativistic virial theorem is deduced. To contribute to the utility of the relations, explicit expressions for the radial matrix elements of functions of the form $r^\\lambda$ and $\\beta r^\\lambda$ ---where $\\beta$ is a Dirac matrix--- are presented.
Relativistic semi-classical theory of atom ionization in ultra-intense laser
无
2001-01-01
A relativistic semi-classical theory (RSCT) of H-atom ionizationin ultra-intense laser (UIL) is proposed. A relativistic analytical expression for ionization probability of H-atom in its ground state is given. This expression, compared with non-relativistic expression, clearly shows the effects of the magnet vector in the laser, the non-dipole approximation and the relativistic mass-energy relation on the ionization processes. At the same time, we show that under some conditions the relativistic expression reduces to the non-relativistic expression of non-dipole approximation. At last, some possible applications of the relativistic theory are briefly stated.
Relativistic dissipative hydrodynamics: where do we stand?
García-Perciante, A L; García-Colin, L S
2009-01-01
In this paper we analyze three different proposals that have been advanced to account for dissipative relativistic processes. Two of them are the so-called 'first order' theories of Eckart and Landau-Lifshitz, and a third one which is an extension of the classical Onsager-Meixner formulation of linear irreversible thermodynamics. We show that the two former ones, which are equivalent, do not obey the linear regression of fluctuations assumption which, besides being verified experimentally for the non-relativistic regime, lies at the heart of the proof of Onsager's reciprocity theorem. On the other hand, the third proposal is in agreement with such assumption. The consequence of these results, in particular those related to the so-called 'second order' theories, are thoroughly considered.
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
A Time scales Noether's theorem
Anerot, Baptiste; Cresson, Jacky; Pierret, Frédéric
2016-01-01
We prove a time scales version of the Noether's theorem relating group of symmetries and conservation laws. Our result extends the continuous version of the Noether's theorem as well as the discrete one and corrects a previous statement of Bartosiewicz and Torres in \\cite{BT}.
Abelian theorems for Whittaker transforms
Richard D. Carmichael
1987-01-01
Full Text Available Initial and final value Abelian theorems for the Whittaker transform of functions and of distributions are obtained. The Abelian theorems are obtained as the complex variable of the transform approaches 0 or ∞ in absolute value inside a wedge region in the right half plane.
Lopez-Real, Francis
2008-01-01
While the author was searching the web, he came across an article by Michael Keyton of IMSA (Illinois Mathematics and Science Academy) called "Theorems of mystery". The phrase is Keyton's own, and he defines such a theorem as "a result that has considerable structure with minimal hypotheses." The simplest of his 10 examples is one that many…
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.…
Generalized Browder's and Weyl's theorems for Banach space operators
Curto, Raúl E.; Han, Young Min
2007-12-01
We find necessary and sufficient conditions for a Banach space operator T to satisfy the generalized Browder's theorem. We also prove that the spectral mapping theorem holds for the Drazin spectrum and for analytic functions on an open neighborhood of [sigma](T). As applications, we show that if T is algebraically M-hyponormal, or if T is algebraically paranormal, then the generalized Weyl's theorem holds for f(T), where f[set membership, variant]H((T)), the space of functions analytic on an open neighborhood of [sigma](T). We also show that if T is reduced by each of its eigenspaces, then the generalized Browder's theorem holds for f(T), for each f[set membership, variant]H([sigma](T)).
Some Theorems on Generalized Basic Hypergeometric Series
A. D. Wadhwa
1972-07-01
Full Text Available In an earlier paper the author has established two theorems on generalized hypergeometric functions. In each theorem a numerator differs from a denominator by a positive integer. These theorems were further used to prove some theorems on the sums of Kampe de Feriet functions. Here, we have established the theorems which are the basic analogues of the theorems proved in the earlier paper.
Carbonell, J; democrite-00023242, ccsd
2004-01-01
Relativistic and QED corrections to the recently discovered first vibrational $2p\\sigma_u$ state are presented. This state has an extremely small nonrelativistic binding energy $E_B=1.085045252(1)\\times10^{-9}$ a.u. Its wave functions has a maximum at $R\\approx100$ a.u. and extends up to several hundreds. It is shown that this state does not disappear if higher order relativistic and QED corrections, including the Casimir--Polder effect, are taken into account.
A strong completeness theorem in intuitionistic quantified modal logic
无
2000-01-01
Based on the intuitionistic first order predicate calculus H given by Thomason with the modal machinery of MIPC put forward by Prior this paper obtains the intuitionistic quantified modal logic system MIPC*, gives it a semantic interpretation and proves its strong (thus also weak) completeness theorem and soundness theorem with respect to that semantic. Since Zorn lemma plays a decisive role in our discussion, methodologically, it was even farther from the intuitionistic point of view than Thomason's result.
A strong completeness theorem in intuitionistic quantified modal logic
高恒珊
2000-01-01
Based on the intuitionistic first order predicate calculus H given by Thomason with the modal machinery of MIPC put forward by Prior this paper obtains the intuitionistic quantified modal logic system MIPC* , gives it a semantic interpretation and proves its strong (thus also weak) completeness theorem and soundness theorem with respect to that semantic. Since Zom lemma plays a decisive role in our discussion, methodologically, it was even farther from the intuitionistic point of view than Thomason’s result.
Combinatorial Reciprocity Theorems
Beck, Matthias
2012-01-01
A common theme of enumerative combinatorics is formed by counting functions that are polynomials evaluated at positive integers. In this expository paper, we focus on four families of such counting functions connected to hyperplane arrangements, lattice points in polyhedra, proper colorings of graphs, and $P$-partitions. We will see that in each instance we get interesting information out of a counting function when we evaluate it at a \\emph{negative} integer (and so, a priori the counting function does not make sense at this number). Our goals are to convey some of the charm these "alternative" evaluations of counting functions exhibit, and to weave a unifying thread through various combinatorial reciprocity theorems by looking at them through the lens of geometry, which will include some scenic detours through other combinatorial concepts.
Towards the Carpenter's Theorem
Argerami, Martin
2008-01-01
Let M be a II_1 factor, A a masa in M and E the unique conditional expectation on A. Under some technical assumptions on the inclusion of A in M, which hold true for any semiregular masa of a separable factor, we show that for every discrete a in the positive part of the unit ball of A it is possible to find a projection p in M such that E(p)=a$. We also show an example of a diffuse operator x in A such that there exists a projection q in M with E(q)=x. These results show a new family of instances of a conjecture by Kadison, the so-called ``Carpenter's Theorem''.
Relativistic radiative transfer in relativistic spherical flows
Fukue, Jun
2017-02-01
Relativistic radiative transfer in relativistic spherical flows is numerically examined under the fully special relativistic treatment. We first derive relativistic formal solutions for the relativistic radiative transfer equation in relativistic spherical flows. We then iteratively solve the relativistic radiative transfer equation, using an impact parameter method/tangent ray method, and obtain specific intensities in the inertial and comoving frames, as well as moment quantities, and the Eddington factor. We consider several cases; a scattering wind with a luminous central core, an isothermal wind without a core, a scattering accretion on to a luminous core, and an adiabatic accretion on to a dark core. In the typical wind case with a luminous core, the emergent intensity is enhanced at the center due to the Doppler boost, while it reduces at the outskirts due to the transverse Doppler effect. In contrast to the plane-parallel case, the behavior of the Eddington factor is rather complicated in each case, since the Eddington factor depends on the optical depth, the flow velocity, and other parameters.
Chaichian, M; Presnajder, P; Tureanu, A
2005-04-22
We present a systematic framework for noncommutative (NC) quantum field theory (QFT) within the new concept of relativistic invariance based on the notion of twisted Poincare symmetry, as proposed by Chaichian et al. [Phys. Lett. B 604, 98 (2004)]. This allows us to formulate and investigate all fundamental issues of relativistic QFT and offers a firm frame for the classification of particles according to the representation theory of the twisted Poincare symmetry and as a result for the NC versions of CPT and spin-statistics theorems, among others, discussed earlier in the literature. As a further application of this new concept of relativism we prove the NC analog of Haag's theorem.
Index theorems for quantum graphs
Fulling, S A; Wilson, J H
2007-01-01
In geometric analysis, an index theorem relates the difference of the numbers of solutions of two differential equations to the topological structure of the manifold or bundle concerned, sometimes using the heat kernels of two higher-order differential operators as an intermediary. In this paper, the case of quantum graphs is addressed. A quantum graph is a graph considered as a (singular) one-dimensional variety and equipped with a second-order differential Hamiltonian H (a "Laplacian") with suitable conditions at vertices. For the case of scale-invariant vertex conditions (i.e., conditions that do not mix the values of functions and of their derivatives), the constant term of the heat-kernel expansion is shown to be proportional to the trace of the internal scattering matrix of the graph. This observation is placed into the index-theory context by factoring the Laplacian into two first-order operators, H =A*A, and relating the constant term to the index of A. An independent consideration provides an index f...
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...
Search for a Lorentz invariant velocity distribution of a relativistic gas
Curado, Evaldo M F; Soares, Ivano Damiao
2016-01-01
We examine numerically and analytically the problem of the relativistic velocity distribution in a 1-dim relativistic gas in thermal equilibrium. Our derivation is based on the special theory of relativity, the central limit theorem and the Lobachevsky structure of the velocity space of the theory, where the rapidity variable plays a crucial role. For v^2/c^2 << 1 and 1/\\beta = k_B T/ m_0 c^2 << 1 the distribution tends to the Maxwell-Boltzmann distribution.
-Dimensional Fractional Lagrange's Inversion Theorem
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
Fluctuation theorem: A critical review
Malek Mansour, M.; Baras, F.
2017-10-01
Fluctuation theorem for entropy production is revisited in the framework of stochastic processes. The applicability of the fluctuation theorem to physico-chemical systems and the resulting stochastic thermodynamics were analyzed. Some unexpected limitations are highlighted in the context of jump Markov processes. We have shown that these limitations handicap the ability of the resulting stochastic thermodynamics to correctly describe the state of non-equilibrium systems in terms of the thermodynamic properties of individual processes therein. Finally, we considered the case of diffusion processes and proved that the fluctuation theorem for entropy production becomes irrelevant at the stationary state in the case of one variable systems.
Limit theorem and uniqueness theorem of backward stochastic differential equations
JIANG; Long
2006-01-01
This paper establishes a limit theorem for solutions of backward stochastic differential equations (BSDEs). By this limit theorem, this paper proves that, under the standard assumption g(t,y,0)≡0, the generator g of a BSDE can be uniquely determined by the corresponding g-expectation εg; this paper also proves that if a filtration consistent expectation ε can be represented as a g-expectation εg, then the corresponding generator g must be unique.
Relativistic Remnants of Non-Relativistic Electrons
Kashiwa, Taro
2015-01-01
Electrons obeying the Dirac equation are investigated under the non-relativistic $c \\mapsto \\infty$ limit. General solutions are given by derivatives of the relativistic invariant functions whose forms are different in the time- and the space-like region, yielding the delta function of $(ct)^2 - x^2$. This light-cone singularity does survive to show that the charge and the current density of electrons travel with the speed of light in spite of their massiveness.
POISSON LIMIT THEOREM FOR COUNTABLE MARKOV CHAINS IN MARKOVIAN ENVIRONMENTS
方大凡; 王汉兴; 唐矛宁
2003-01-01
A countable Markov chain in a Markovian environment is considered. A Poisson limit theorem for the chain recurring to small cylindrical sets is mainly achieved. In order to prove this theorem, the entropy function h is introduced and the Shannon-McMillan-Breiman theorem for the Markov chain in a Markovian environment is shown. It' s well-known that a Markov process in a Markovian environment is generally not a standard Markov chain, so an example of Poisson approximation for a process which is not a Markov process is given. On the other hand, when the environmental process degenerates to a constant sequence, a Poisson limit theorem for countable Markov chains, which is the generalization of Pitskel's result for finite Markov chains is obtained.
Relativistic electron ring equilibrium with angular momentum spread
Croitoru, M.; Grecu, D. (Institutul de Fizica si Inginerie Nucleara, Bucharest (Romania))
1980-01-01
The equilibrium properties of a relativistic electron ring are determined by solving in a consistent way the Vlasov-Maxwell equations for a distribution function with an angular momentum spread. In the thin ring approximation there have been deduced general formulae for the electron density and the current density. A general theorem concerning the sharp form in space of the electron density is also obtained for the case of a microcanonical distribution function both in energy and angular momentum.
On Clifford's theorem for singular curves
Franciosi, Marco
2011-01-01
Let C be a 2-connected Gorenstein curve either reduced or contained in a smooth algebraic surface and let S be a subcanonical cluster (i.e. a 0-dim scheme such that the space H^0(C, I_S K_C) contains a generically invertible section). Under some general assumptions on S or C we show that h^0(C, I_S K_C) <= p_a(C) - deg (S)/2 and if equality holds then either S is trivial, or C is honestly hyperelliptic or 3-disconnected. As a corollary we give a generalization of Clifford's theorem for reduced curves.
Cardioids and Morley's Trisector Theorem
J. Brinkhuis (Jan); van de Craats, J.
2017-01-01
textabstractA self-contained account of Morley's own proof of his celebrated trisector theorem is given. This makes this elegant and almost forgotten fragment of analytic Euclidean geometry more accessible to modern readers
Statistics, Causality and Bell's theorem
Gill, Richard D
2012-01-01
Bell's (1964) theorem is popularly supposed to establish the non-locality of quantum physics as a mathematical-physical theory. Building from this, observed violation of Bell's inequality in experiments such as that of Aspect and coworkers (1982) is popularly supposed to provide empirical proof of non-locality in the real world. This paper reviews recent work on Bell's theorem, linking it to issues in causality as understood by statisticians. The paper starts with a new proof of a strong (finite sample) version of Bell's theorem which relies only on elementary arithmetic and (counting) probability. This proof underscores the fact that Bell's theorem tells us that quantum theory is incompatible with the conjunction of three cherished and formerly uncontroversial physical principles, nicknamed here locality, realism, and freedom. The first, locality, is obviously connected to causality: causal influences need time to propagate spatially. Less obviously, the other two principles, realism and freedom, are also fo...
Relativistic quantum mechanics
Wachter, Armin
2010-01-01
Which problems do arise within relativistic enhancements of the Schrödinger theory, especially if one adheres to the usual one-particle interpretation, and to what extent can these problems be overcome? And what is the physical necessity of quantum field theories? In many books, answers to these fundamental questions are given highly insufficiently by treating the relativistic quantum mechanical one-particle concept very superficially and instead introducing field quantization as soon as possible. By contrast, this monograph emphasizes relativistic quantum mechanics in the narrow sense: it extensively discusses relativistic one-particle concepts and reveals their problems and limitations, therefore motivating the necessity of quantized fields in a physically comprehensible way. The first chapters contain a detailed presentation and comparison of the Klein-Gordon and Dirac theory, always in view of the non-relativistic theory. In the third chapter, we consider relativistic scattering processes and develop the...
The Kolmogorov-Riesz compactness theorem
Hanche-Olsen, Harald
2009-01-01
We show that the Arzela-Ascoli theorem and Kolmogorov compactness theorem both are consequences of a simple lemma on compactness in metric spaces. Their relation to Helly's theorem is discussed. The paper contains a detailed discussion on the historical background of the Kolmogorov compactness theorem.
Haag's Theorem as a Reason to Reconsider Direct-Action Theories
Kastner, R E
2015-01-01
It is argued that the severe consequences of Haag's inconsistency theorem for relativistic quantum field theories can be successfully evaded in the direct-action approach. Some recent favorable comments of John Wheeler, often mistakenly presumed to have abandoned his own (and Feynman's) direct-action theory, together with the remarkable immunity of direct-action quantum electrodynamics to Haag's theorem, suggest that it may well be a good time to rehabilitate direct action theories. It is also noted that, as extra dividends, direct-action QED is immune to the self-energy problem of standard gauge field QED, and can also provide a solution to the problem of gauge arbitrariness.
The fixed point theorems of 1-set-contractive operators in Banach space
Wang Shuang
2011-01-01
Full Text Available Abstract In this paper, we obtain some new fixed point theorems and existence theorems of solutions for the equation Ax = μx using properties of strictly convex (concave function and theories of topological degree. Our results and methods are different from the corresponding ones announced by many others. MSC: 47H09, 47H10
Local virial and tensor theorems.
Cohen, Leon
2011-11-17
We show that for any wave function and potential the local virial theorem can always be satisfied 2K(r) = r·ΔV by choosing a particular expression for the local kinetic energy. In addition, we show that for each choice of local kinetic energy there are an infinite number of quasi-probability distributions which will generate the same expression. We also consider the local tensor virial theorem.
ZHANG Peng-Fei; RUAN Tu-Nan
2001-01-01
A systematic theory on the appropriate spin operators for the relativistic states is developed. For a massive relativistic particle with arbitrary nonzero spin, the spin operator should be replaced with the relativistic one, which is called in this paper as moving spin. Further the concept of moving spin is discussed in the quantum field theory. A new is constructed. It is shown that, in virtue of the two operators, problems in quantum field concerned spin can be neatly settled.
Relativistic Guiding Center Equations
White, R. B. [PPPL; Gobbin, M. [Euratom-ENEA Association
2014-10-01
In toroidal fusion devices it is relatively easy that electrons achieve relativistic velocities, so to simulate runaway electrons and other high energy phenomena a nonrelativistic guiding center formalism is not sufficient. Relativistic guiding center equations including flute mode time dependent field perturbations are derived. The same variables as used in a previous nonrelativistic guiding center code are adopted, so that a straightforward modifications of those equations can produce a relativistic version.
Relativistic Linear Restoring Force
Clark, D.; Franklin, J.; Mann, N.
2012-01-01
We consider two different forms for a relativistic version of a linear restoring force. The pair comes from taking Hooke's law to be the force appearing on the right-hand side of the relativistic expressions: d"p"/d"t" or d"p"/d["tau"]. Either formulation recovers Hooke's law in the non-relativistic limit. In addition to these two forces, we…
Convexity and symmetrization in relativistic theories
Ruggeri, T.
1990-09-01
There is a strong motivation for the desire to have symmetric hyperbolic field equations in thermodynamics, because they guarantee well-posedness of Cauchy problems. A generic quasi-linear first order system of balance laws — in the non-relativistic case — can be shown to be symmetric hyperbolic, if the entropy density is concave with respect to the variables. In relativistic thermodynamics this is not so. This paper shows that there exists a scalar quantity in relativistic thermodynamics whose concavity guarantees a symmetric hyperbolic system. But that quantity — we call it —bar h — is not the entropy, although it is closely related to it. It is formed by contracting the entropy flux vector — ha with a privileged time-like congruencebar ξ _α . It is also shown that the convexity of h plus the requirement that all speeds be smaller than the speed of light c provide symmetric hyperbolic field equations for all choices of the direction of time. At this level of generality the physical meaning of —h is unknown. However, in many circumstances it is equal to the entropy. This is so, of course, in the non-relativistic limit but also in the non-dissipative relativistic fluid and even in relativistic extended thermodynamics for a non-degenerate gas.
MALFLIET, R
1993-01-01
We discuss the present status of relativistic transport theory. Special emphasis is put on problems of topical interest: hadronic features, thermodynamical consistent approximations and spectral properties.
Fixed-point-like theorems on subspaces
Bernard Cornet
2004-08-01
Full Text Available We prove a fixed-point-like theorem for multivalued mappings defined on the finite Cartesian product of Grassmannian manifolds and convex sets. Our result generalizes two different kinds of theorems: the fixed-point-like theorem by Hirsch et al. (1990 or Husseini et al. (1990 and the fixed-point theorem by Gale and Mas-Colell (1975 (which generalizes Kakutani's theorem (1941.
A Z_m Ham Sandwich Theorem for Complex Measures
Simon, Steven
2010-01-01
A "ham sandwich" theorem is derived for n complex measures on C^n. For each integer m >= 2, a complex hyperplane H and m corresponding "1/m" sectors are found, satisfying the condition that the "rotational average" of the measures of these sectors is zero. The result can be seen as a kind of rotational equipartition of each measure by a regular "m-fan". The proof of the theorem is topological, based on a Z_m version of the Borsuk-Ulam theorem for punctured (2n - 1)-spheres in C^n. Any finite real measure on R^{2n} can be seen as a type of complex measure on C^n, so the theorem can be applied to n finite measures on R^{2n}. In the case that m = 3, this shows the existence of a regular 3-fan which trisects each of the n measures. Similarly, any pair of finite real measures on R^{2n} can be naturally identified with a complex measure on C^n, so the theorem applies to 2n finite measures on R^{2n}. This yields a rotational condition on pairs of finite measures, and the original ham sandwich theorem for R^{2n} is r...
Arzeliès, Henri
1972-01-01
Relativistic Point Dynamics focuses on the principles of relativistic dynamics. The book first discusses fundamental equations. The impulse postulate and its consequences and the kinetic energy theorem are then explained. The text also touches on the transformation of main quantities and relativistic decomposition of force, and then discusses fields of force derivable from scalar potentials; fields of force derivable from a scalar potential and a vector potential; and equations of motion. Other concerns include equations for fields; transfer of the equations obtained by variational methods int
KKM and KY fan theorems in modular function spaces
Latif Abdul
2011-01-01
Full Text Available Abstract In modular function spaces, we introduce Knaster-Kuratowski-Mazurkiewicz mappings (in short KKM-mappings and prove an analogue to Ky Fan s fixed point theorem. 2010 Mathematics Subject Classification: Primary 46B20, 47H09; Secondary 47H10.
A Quantitative Gibbard-Satterthwaite Theorem Without Neutrality
2014-05-02
that violate the monotonicity condition. Goldreich, Goldwasser, Lehman , Ron, and Samorodnitsky showed in [12, Theorem 2] that p (h) ≥ D̃n . Now going...O. Goldreich, S. Goldwasser, E. Lehman , D. Ron, and A. Samorodnitsky. Testing Monotonicity. Com- binatorica, 20(3):301–337, 2000. [13] L.H. Harper
Relativistic quantum mechanics; Mecanique quantique relativiste
Ollitrault, J.Y. [CEA Saclay, 91 - Gif-sur-Yvette (France). Service de Physique Theorique]|[Universite Pierre et Marie Curie, 75 - Paris (France)
1998-12-01
These notes form an introduction to relativistic quantum mechanics. The mathematical formalism has been reduced to the minimum in order to enable the reader to calculate elementary physical processes. The second quantification and the field theory are the logical followings of this course. The reader is expected to know analytical mechanics (Lagrangian and Hamiltonian), non-relativistic quantum mechanics and some basis of restricted relativity. The purpose of the first 3 chapters is to define the quantum mechanics framework for already known notions about rotation transformations, wave propagation and restricted theory of relativity. The next 3 chapters are devoted to the application of relativistic quantum mechanics to a particle with 0,1/5 and 1 spin value. The last chapter deals with the processes involving several particles, these processes require field theory framework to be thoroughly described. (A.C.) 2 refs.
Towards relativistic quantum geometry
Ridao, Luis Santiago [Instituto de Investigaciones Físicas de Mar del Plata (IFIMAR), Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Mar del Plata (Argentina); Bellini, Mauricio, E-mail: mbellini@mdp.edu.ar [Departamento de Física, Facultad de Ciencias Exactas y Naturales, Universidad Nacional de Mar del Plata, Funes 3350, C.P. 7600, Mar del Plata (Argentina); Instituto de Investigaciones Físicas de Mar del Plata (IFIMAR), Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Mar del Plata (Argentina)
2015-12-17
We obtain a gauge-invariant relativistic quantum geometry by using a Weylian-like manifold with a geometric scalar field which provides a gauge-invariant relativistic quantum theory in which the algebra of the Weylian-like field depends on observers. An example for a Reissner–Nordström black-hole is studied.
An application of the Nash-Moser theorem to the vacuum boundary problem of gaseous stars
Makino, Tetu
2017-01-01
We have been studying spherically symmetric motions of gaseous stars with physical vacuum boundary governed either by the Euler-Poisson equations in the non-relativistic theory or by the Einstein-Euler equations in the relativistic theory. The problems are to construct solutions whose first approximations are small time-periodic solutions to the linearized problem at an equilibrium and to construct solutions to the Cauchy problem near an equilibrium. These problems can be solved when 1 / (γ - 1) is an integer, where γ is the adiabatic exponent of the gas near the vacuum, by the formulation by R. Hamilton of the Nash-Moser theorem. We discuss on an application of the formulation by J.T. Schwartz of the Nash-Moser theorem to the case in which 1 / (γ - 1) is not an integer but sufficiently large.
Harder, T Mark
2016-01-01
It is shown how Fermionic material particles can emerge from a covariant formulation of the de Broglie-Bohm theory. Material particles are continuous fields, formed as the eigenvalue of the Schrodinger field operator, evaluated along a Bohmian trajectory. The motivation for this work is due to a theorem proved by Malament that states there cannot be a relativistic quantum mechanics of localizable particles.
Causal Categories: Relativistically Interacting Processes
Coecke, Bob; Lal, Raymond
2013-04-01
A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This paper is concerned with the encoding of a fixed causal structure within a symmetric monoidal category: causal dependencies will correspond to topological connectedness in the graphical language. We show that correlations, either classical or quantum, force terminality of the tensor unit. We also show that well-definedness of the concept of a global state forces the monoidal product to be only partially defined, which in turn results in a relativistic covariance theorem. Except for these assumptions, at no stage do we assume anything more than purely compositional symmetric-monoidal categorical structure. We cast these two structural results in terms of a mathematical entity, which we call a causal category. We provide methods of constructing causal categories, and we study the consequences of these methods for the general framework of categorical quantum mechanics.
Refinement of Representation Theorems for Context-Free Languages
Fujioka, Kaoru
In this paper, we obtain some refinement of representation theorems for context-free languages by using Dyck languages, insertion systems, strictly locally testable languages, and morphisms. For instance, we improved the Chomsky-Schützenberger representation theorem and show that each context-free language L can be represented in the form L = h (D ∩ R), where D is a Dyck language, R is a strictly 3-testable language, and h is a morphism. A similar representation for context-free languages can be obtained, using insertion systems of weight (3, 0) and strictly 4-testable languages.
Nekhoroshev theorem for the periodic Toda lattice.
Henrici, Andreas; Kappeler, Thomas
2009-09-01
The periodic Toda lattice with N sites is globally symplectomorphic to a two parameter family of N-1 coupled harmonic oscillators. The action variables fill out the whole positive quadrant of R(N-1). We prove that in the interior of the positive quadrant as well as in a neighborhood of the origin, the Toda Hamiltonian is strictly convex and therefore Nekhoroshev's theorem applies on (almost) all parts of phase space (2000 Mathematics Subject Classification: 37J35, 37J40, 70H06).
Splitting spacetime and cloning qubits: linking no-go theorems across the ER=EPR duality
Bao, Ning [Institute for Quantum Information and Matter, California Institute of Technology, Pasadena, CA 91125 (United States); Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125 (United States); Pollack, Jason; Remmen, Grant N. [Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125 (United States)
2015-11-15
We analyze the no-cloning theorem in quantum mechanics through the lens of the proposed ER=EPR (Einstein-Rosen = Einstein-Podolsky-Rosen) duality between entanglement and wormholes. In particular, we find that the no-cloning theorem is dual on the gravity side to the no-go theorem for topology change, violating the axioms of which allows for wormhole stabilization and causality violation. Such a duality between important no-go theorems elucidates the proposed connection between spacetime geometry and quantum entanglement. (copyright 2015 WILEY-VCH Verlag GmbH and Co. KGaA, Weinheim)
Relativistic and Non-relativistic Equations of Motion
Mangiarotti, L
1998-01-01
It is shown that any second order dynamic equation on a configuration space $X$ of non-relativistic time-dependent mechanics can be seen as a geodesic equation with respect to some (non-linear) connection on the tangent bundle $TX\\to X$ of relativistic velocities. Using this fact, the relationship between relativistic and non-relativistic equations of motion is studied.
Fluctuation theorems for quantum processes
Albash, Tameem; Marvian, Milad; Zanardi, Paolo
2013-01-01
We present fluctuation theorems and moment generating function equalities for generalized thermodynamic observables and quantum dynamics described by completely positive trace preserving (CPTP) maps, with and without feedback control. Our results include the quantum Jarzynski equality and Crooks fluctuation theorem, and clarify the special role played by the thermodynamic work and thermal equilibrium states in previous studies. We show that unitality replaces micro-reversibility as the condition for the physicality of the reverse process in our fluctuation theorems. We present an experimental application of our theory to the problem of extracting the system-bath coupling magnitude, which we do for a system of pairs of coupled superconducting flux qubits undergoing quantum annealing.
Takesaki-Takai Duality Theorem in Hilbert C*-Modules
Mao Zheng GUO; Xiao Xia ZHANG
2004-01-01
In this paper, we generalize the Takesaki-Takai duality theorem in Hilbert C*-modules;that is to say, if (H, V, U) is a Kac-system, where H is a Hilbert space, V is a multiplicative unitary operator on H (×) H and U is a unitary operator on H, and if E is an (j)-compatible Hilbert (A)-module,then E × (j∧) × (j) (≌) E (×) K(H), where K(H) is the set of all compact operators on H, and (j) and (j) are Hopf C*-algebras corresponding to the Kac-system (H, V, U).
Improvement of Hartman's linearization theorem
SHI; Jinlin(史金麟)
2003-01-01
Hartman's linearization theorem tells us that if matrix A has no zero real part and f(x) isbounded and satisfies Lipchitz condition with small Lipchitzian constant, then there exists a homeomorphismof Rn sending the solutions of nonlinear system x' = Ax + f(x) onto the solutions of linear system x' = Ax.In this paper, some components of the nonlinear item f(x) are permitted to be unbounded and we provethe result of global topological linearization without any special limitation and adding any condition. Thus,Hartman's linearization theorem is improved essentially.
Poutiainen, H. (Hayley)
2015-01-01
Group theory is a mathematical domain where groups and their properties are studied. The evolution of group theory as an area of study is said to be the result of the parallel development of a variety of different studies in mathematics. Sylow’s Theorems were a set of theorems proved around the same time the concept of group theory was being established, in the 1870s. Sylow used permutation groups in his proofs which were then later generalized and shown to hold true for all finite groups. Th...
Louis M. Houston
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...
Noether theorems and higher derivatives
Townsend, Paul K
2016-01-01
A simple proof of Noether's first theorem involves the promotion of a constant symmetry parameter $\\epsilon$ to an arbitrary function of time; the Noether charge $Q$ is then the coefficient of $\\dot\\epsilon$ in the variation of the action. Here we examine the validity of this proof for Lagrangian mechanics with arbitrarily-high time derivatives, in which context "higher-level" analogs of Noether's theorem can be similarly proved, and "Noetherian charges" read off from, e.g. the coefficient of $\\ddot \\epsilon$ in the variation of the action. While $Q=0$ implies a restricted gauge invariance, an unrestricted gauge invariance requires zero Noetherian charges too. Some illustrative examples are considered.
Pasicki, Lech
2011-01-01
Many versions of the Stokes theorem are known. More advanced of them require complicated mathematical machinery to be formulated which discourages the users. Our theorem is sufficiently simple to suit the handbooks and yet it is pretty general, as we assume the differential form to be continuous on a compact set F(A) and C1 "inside" while F(A) is built of "bricks" and its inner part is a C1 manifold. There is no problem of orientability and the integrals under consideration are convergent. The proof is based on integration by parts and inner approximation.
The truncated Second Main Theorem and uniqueness theorems
无
2010-01-01
In this paper, we first establish a truncated Second Main Theorem for algebraically nondegenerate holomorphic mappings from the complex plane into a complex projective variety V intersecting hypersurfaces. We then prove some uniqueness results for meromorphic mappings. The result of Demailly about a partial solution to the Fujita’s conjecture is used.
Testing the no-hair theorem with observations of black holes in the electromagnetic spectrum
Johannsen, Tim
2016-06-01
According to the general-relativistic no-hair theorem, astrophysical black holes depend only on their masses and spins and are uniquely described by the Kerr metric. Mass and spin are the first two multipole moments of the Kerr spacetime and completely determine all other moments. The no-hair theorem can be tested by measuring potential deviations from the Kerr metric which alter such higher-order moments. In this review, I discuss tests of the no-hair theorem with current and future observations of such black holes across the electromagnetic spectrum, focusing on near-infrared observations of the supermassive black hole at the Galactic center, pulsar-timing and very-long baseline interferometric observations, as well as x-ray observations of fluorescent iron lines, thermal continuum spectra, variability, and polarization.
Testing the No-Hair Theorem with Observations of Black Holes in the Electromagnetic Spectrum
Johannsen, Tim
2016-01-01
According to the general-relativistic no-hair theorem, black holes depend only on their masses and spins and are uniquely described by the Kerr metric. Mass and spin are the first two multipole moments of the Kerr spacetime and completely determine all other moments. The no-hair theorem can be tested by measuring potential deviations from the Kerr metric which alter such higher-order moments. In this review, I discuss tests of the no-hair theorem with current and future observations of black holes across the electromagnetic spectrum, focusing on near-infrared observations of the supermassive black hole at the Galactic center, pulsar-timing and very-long baseline interferometric observations, as well as X-ray observations of fluorescent iron lines, thermal continuum spectra, variability, and polarization.
沈自飞
2000-01-01
本文首先在局部凸 H- 空间中建立一个新的Fan型截口定理.作为应用,我们在 H- 空间中获得了相交定理、重合定理和极大极小定理.本文中的定理把文献中的相应结果改进和推广到 H- 空间.
A normal form theorem around symplectic leaves
Crainic, M.N.; Marcut, I.T.
2012-01-01
We prove the Poisson geometric version of the Local Reeb Stability (from foliation theory) and of the Slice Theorem (from equivariant geometry), which is also a generalization of Conn’s linearization theorem.
Von Laue's theorem and its applications
Wang, Changbiao
2012-01-01
Von Laue's theorem is strictly proved in detail to clarify confusions in textbook and literature. This theorem is used to analyze the classical electron and the static electric field confined in a finite region of space.
The Classical Version of Stokes' Theorem Revisited
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...
Hall, Richard L.; Zorin, Petr
2016-04-01
The classic comparison theorem of quantum mechanics states that if two potentials are ordered then the corresponding energy eigenvalues are similarly ordered, that is to say if Va≤ Vb, then Ea≤ Eb. Such theorems have recently been established for relativistic problems even though the discrete spectra are not easily characterized variationally. In this paper we improve on the basic comparison theorem for the Dirac equation with spin and pseudo-spin symmetry in d≥ 1 dimensions. The graphs of two comparison potentials may now cross each other in a prescribed manner implying that the energy values are still ordered. The refined comparison theorems are valid for the ground state in one dimension and for the bottom of an angular momentum subspace in d>1 dimensions. For instance in a simplest case in one dimension, the condition Va≤ Vb is replaced by Ua≤ Ub, where Ui(x)=int0x Vi(t)dt, xin[0,∞), and i=a or b.
Shell theorem for spontaneous emission
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....
JACKSON'S THEOREM FOR COMPACT GROUPS
H. Vaezi; S. F. Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by(Sh.f)(g) = ∫Gf (tut-1g)dton compact group G and by help of this operator we define "Spherical" modulus of continuity. So we proveStechkin and Jackson type theorems.
LUROTH'S THEOREM IN DIFFERENTIAL FIELDS
GAO Xiaoshan; XU Tao
2002-01-01
In this paper, we present a constructive proof of Liroth's theorem in differentialcase. We also give a method to find the inversion maps for general differential rationalparametric equations. As a consequence, we prove that a differential rational curve alwayshas a set of proper parametric equations.
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.)
Kinsler, Paul; Favaro, Alberto; McCall, Martin W.
2009-01-01
The Poynting vector is an invaluable tool for analysing electromagnetic problems. However, even a rigorous stress-energy tensor approach can still leave us with the question: is it best defined as E x H or as D x B? Typical electromagnetic treatments provide yet another perspective: they regard E x B as the appropriate definition, because E and B…
GENERALIZED RECIPROCAL THEOREMS AND THEIR APPLICATIONS
付宝连
2002-01-01
Generalized reciprocal theorems of non-coupled and coupled systems , which are valid for two deformed bodies with different constitutive relations are established by generalizing the idea of Betti ' s reciprocal theorem. When the constitutive relations of the two deformed bodies are all alike and linear elastic, the generalized reciprocal theorem of non-coupled systems just becomes Betti' s . Meanwhile, the generalized reciprocal theorems are applied to simulate calculations in elasticity.
Relativistic spherical plasma waves
Bulanov, S. S.; Maksimchuk, A.; Schroeder, C. B.; Zhidkov, A. G.; Esarey, E.; Leemans, W. P.
2012-02-01
Tightly focused laser pulses that diverge or converge in underdense plasma can generate wake waves, having local structures that are spherical waves. Here we study theoretically and numerically relativistic spherical wake waves and their properties, including wave breaking.
Relativistic GLONASS and geodesy
Mazurova, E. M.; Kopeikin, S. M.; Karpik, A. P.
2016-12-01
GNSS technology is playing a major role in applications to civil, industrial and scientific areas. Nowadays, there are two fully functional GNSS: American GPS and Russian GLONASS. Their data processing algorithms have been historically based on the Newtonian theory of space and time with only a few relativistic effects taken into account as small corrections preventing the system from degradation on a fairly long time. Continuously growing accuracy of geodetic measurements and atomic clocks suggests reconsidering the overall approach to the GNSS theoretical model based on the Einstein theory of general relativity. This is essentially more challenging but fundamentally consistent theoretical approach to relativistic space geodesy. In this paper, we overview the basic principles of the relativistic GNSS model and explain the advantages of such a system for GLONASS and other positioning systems. Keywords: relativistic GLONASS, Einstein theory of general relativity.
Bliokh, Konstantin Y
2011-01-01
We consider the relativistic deformation of quantum waves and mechanical bodies carrying intrinsic angular momentum (AM). When observed in a moving reference frame, the centroid of the object undergoes an AM-dependent transverse shift. This is the relativistic analogue of the spin Hall effect, which occurs in free space without any external fields. Remarkably, the shifts of the geometric and energy centroids differ by a factor of 2, and both centroids are crucial for the correct Lorentz transformations of the AM tensor. We examine manifestations of the relativistic Hall effect in quantum vortices, mechanical flywheel, and discuss various fundamental aspects of the phenomenon. The perfect agreement of quantum and relativistic approaches allows applications at strikingly different scales: from elementary spinning particles, through classical light, to rotating black-holes.
Exact Relativistic 'Antigravity' Propulsion
Felber, F S
2006-01-01
The Schwarzschild solution is used to find the exact relativistic motion of a payload in the gravitational field of a mass moving with constant velocity. At radial approach or recession speeds faster than 3^-1/2 times the speed of light, even a small mass gravitationally repels a payload. At relativistic speeds, a suitable mass can quickly propel a heavy payload from rest nearly to the speed of light with negligible stresses on the payload.
Exact Relativistic `Antigravity' Propulsion
Felber, Franklin S.
2006-01-01
The Schwarzschild solution is used to find the exact relativistic motion of a payload in the gravitational field of a mass moving with constant velocity. At radial approach or recession speeds faster than 3-1/2 times the speed of light, even a small mass gravitationally repels a payload. At relativistic speeds, a suitable mass can quickly propel a heavy payload from rest nearly to the speed of light with negligible stresses on the payload.
Relativistic quantum revivals.
Strange, P
2010-03-26
Quantum revivals are now a well-known phenomena within nonrelativistic quantum theory. In this Letter we display the effects of relativity on revivals and quantum carpets. It is generally believed that revivals do not occur within a relativistic regime. Here we show that while this is generally true, it is possible, in principle, to set up wave packets with specific mathematical properties that do exhibit exact revivals within a fully relativistic theory.
A definability theorem for first order logic
Butz, C.; Moerdijk, I.
2001-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
Ordering in mechanical geometry theorem proving
李洪波￥
1997-01-01
Ordering in mechanical geometry theorem proving is studied from geometric viewpoint and some new ideas are proposed. For Thebault’s theorem which is the most difficult theorem that has ever been proved by Wu’ s method, a very simple proof using Wu’s method under a linear order is discovered.
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.
On Brayton and Moser's missing stability theorem
Jeltsema, D.; Scherpen, J. M. A.
2005-01-01
In the early 1960s, Brayton and Moser proved three theorems concerning the stability of nonlinear electrical circuits. The applicability of each theorem depends on three different conditions on the type of admissible nonlinearities in circuit. Roughly speaking, this means that the theorems apply to
Unicity Theorems of Mesomorphic Functions with Three Weighted Sharing Values
WANG Xin-li; CAO Zhang-long
2012-01-01
In this paper,with the idea of weighted sharing values,we deal with the problem of uniqueness of mesomorphic functions sharing three weighted values. We obtaia some theorems which improve the results of H X Yi and W R Lü.
Relativistic viscoelastic fluid mechanics.
Fukuma, Masafumi; Sakatani, Yuho
2011-08-01
A detailed study is carried out for the relativistic theory of viscoelasticity which was recently constructed on the basis of Onsager's linear nonequilibrium thermodynamics. After rederiving the theory using a local argument with the entropy current, we show that this theory universally reduces to the standard relativistic Navier-Stokes fluid mechanics in the long time limit. Since effects of elasticity are taken into account, the dynamics at short time scales is modified from that given by the Navier-Stokes equations, so that acausal problems intrinsic to relativistic Navier-Stokes fluids are significantly remedied. We in particular show that the wave equations for the propagation of disturbance around a hydrostatic equilibrium in Minkowski space-time become symmetric hyperbolic for some range of parameters, so that the model is free of acausality problems. This observation suggests that the relativistic viscoelastic model with such parameters can be regarded as a causal completion of relativistic Navier-Stokes fluid mechanics. By adjusting parameters to various values, this theory can treat a wide variety of materials including elastic materials, Maxwell materials, Kelvin-Voigt materials, and (a nonlinearly generalized version of) simplified Israel-Stewart fluids, and thus we expect the theory to be the most universal description of single-component relativistic continuum materials. We also show that the presence of strains and the corresponding change in temperature are naturally unified through the Tolman law in a generally covariant description of continuum mechanics.
F Laytimi; W Nahm
2013-11-01
Let be a vector bundle and be a line bundle over a smooth projective variety . In this article, we give a condition for the vanishing of Dolbeault cohomology groups of the form $H^{p,q}(X, S^ E \\otimes {\\wedge}^ E \\otimes L)$ when $S^{+} E \\otimes L$ is ample. This condition is shown to be invariant under the interchange of and . The optimality of this condition is discussed for some parameter values.
A Maschke Type Theorem for Weak Hopf Algebras
J. N. ALONSO (A)LVAREZ; J. M. FERN(A)NDEZ VILABOA; R. GONZ(A)LEZ RODR(I)GUEZ; A. B. RODR(I)GUEZ RAPOSO
2008-01-01
In this paper, we give a necessary and sufficient condition for a comodule algebra over a weak Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the Hopf algebra setting. Also, from these results, we deduce a version of Maschke's Theorem for (H, S)-Hopf modules associated with a weak Hopf algebra H and a right H-comodule algebra B.
The Knaster-Kuratowski-Mazurkiewicz theorem and abstract convexities
Cain, George L., Jr.; González, Luis
2008-02-01
The Knaster-Kuratowski-Mazurkiewicz covering theorem (KKM), is the basic ingredient in the proofs of many so-called "intersection" theorems and related fixed point theorems (including the famous Brouwer fixed point theorem). The KKM theorem was extended from Rn to Hausdorff linear spaces by Ky Fan. There has subsequently been a plethora of attempts at extending the KKM type results to arbitrary topological spaces. Virtually all these involve the introduction of some sort of abstract convexity structure for a topological space, among others we could mention H-spaces and G-spaces. We have introduced a new abstract convexity structure that generalizes the concept of a metric space with a convex structure, introduced by E. Michael in [E. Michael, Convex structures and continuous selections, Canad. J. MathE 11 (1959) 556-575] and called a topological space endowed with this structure an M-space. In an article by Shie Park and Hoonjoo Kim [S. Park, H. Kim, Coincidence theorems for admissible multifunctions on generalized convex spaces, J. Math. Anal. Appl. 197 (1996) 173-187], the concepts of G-spaces and metric spaces with Michael's convex structure, were mentioned together but no kind of relationship was shown. In this article, we prove that G-spaces and M-spaces are close related. We also introduce here the concept of an L-space, which is inspired in the MC-spaces of J.V. Llinares [J.V. Llinares, Unified treatment of the problem of existence of maximal elements in binary relations: A characterization, J. Math. Econom. 29 (1998) 285-302], and establish relationships between the convexities of these spaces with the spaces previously mentioned.
Theoretical study of the relativistic molecular rotational g-tensor
Aucar, I. Agustín, E-mail: agustin.aucar@conicet.gov.ar; Gomez, Sergio S., E-mail: ssgomez@exa.unne.edu.ar [Institute for Modeling and Technological Innovation, IMIT (CONICET-UNNE) and Faculty of Exact and Natural Sciences, Northeastern University of Argentina, Avenida Libertad 5400, W3404AAS Corrientes (Argentina); Giribet, Claudia G.; Ruiz de Azúa, Martín C. [Physics Department, Faculty of Exact and Natural Sciences, University of Buenos Aires and IFIBA CONICET, Ciudad Universitaria, Pab. I, 1428 Buenos Aires (Argentina)
2014-11-21
An original formulation of the relativistic molecular rotational g-tensor valid for heavy atom containing compounds is presented. In such formulation, the relevant terms of a molecular Hamiltonian for non-relativistic nuclei and relativistic electrons in the laboratory system are considered. Terms linear and bilinear in the nuclear rotation angular momentum and an external uniform magnetic field are considered within first and second order (relativistic) perturbation theory to obtain the rotational g-tensor. Relativistic effects are further analyzed by carrying out the linear response within the elimination of the small component expansion. Quantitative results for model systems HX (X=F, Cl, Br, I), XF (X=Cl, Br, I), and YH{sup +} (Y=Ne, Ar, Kr, Xe, Rn) are obtained both at the RPA and density functional theory levels of approximation. Relativistic effects are shown to be small for this molecular property. The relation between the rotational g-tensor and susceptibility tensor which is valid in the non-relativistic theory does not hold within the relativistic framework, and differences between both molecular parameters are analyzed for the model systems under study. It is found that the non-relativistic relation remains valid within 2% even for the heavy HI, IF, and XeH{sup +} systems. Only for the sixth-row Rn atom a significant deviation of this relation is found.
The de Finetti theorem for test spaces
Barrett, Jonathan; Leifer, Matthew
2009-03-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 de Finetti theorem for test spaces
Barrett, Jonathan [H H Wills Physics Laboratory, University of Bristol, Tyndall Avenue, Bristol BS8 1TL (United Kingdom); Leifer, Matthew [Institute for Quantum Computing, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1 (Canada)], E-mail: j.barrett@bristol.ac.uk, E-mail: matt@mattleifer.info
2009-03-15
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 virial theorem in Eddington-Born-Infeld gravity
Santos, Noelia S
2015-01-01
We examine the possibility that the Eddington-Born-Infeld (EBI) modified gravity provides an alternative explanation for the mass discrepancy in clusters of galaxies. For this purpose we derive the modified Einstein field equations, finding an additional "geometrical mass" term which provides an effective contribution to the gravitational binding energy. Using some approximations and assumptions for week gravitational fields, and taking into account the collisionless relativistic Boltzmann equation, we derive a generalized version of the virial theorem in the framework of EBI gravity. We show that the "geometrical mass" term may account for the well known virial mass discrepancy in clusters of galaxies. We also derive the velocity dispersion relation for galaxies in the clusters, which could provide an efficient method for testing EBI gravity from astrophysical observations.
The virial theorem in Eddington-Born-Infeld gravity
Santos, Noelia S.; Santos, Janilo
2015-12-01
We consider the possibility that the Eddington-Born-Infeld (EBI) modified gravity provides an alternative explanation for the mass discrepancy in clusters of galaxies. For this purpose we derive the modified Einstein field equations, finding an additional "geometrical mass" term which provides an effective contribution to the gravitational binding energy. Using some approximations and assumptions for weak gravitational fields, and taking into account the collisionless relativistic Boltzmann equation, we derive a generalized version of the virial theorem in the framework of EBI gravity. We show that the "geometrical mass" term may account for the well known virial mass discrepancy in clusters of galaxies. We also derive the velocity dispersion relation for galaxies in the clusters, which could provide an efficient method for testing EBI gravity from astrophysical observations.
Expectation Value in Bell's Theorem
Wang, Zheng-Chuan
2006-01-01
We will demonstrate in this paper that Bell's theorem (Bell's inequality) does not really conflict with quantum mechanics, the controversy between them originates from the different definitions for the expectation value using the probability distribution in Bell's inequality and the expectation value in quantum mechanics. We can not use quantum mechanical expectation value measured in experiments to show the violation of Bell's inequality and then further deny the local hidden-variables theor...
ANDRAGOGY OF DEVELOPMENT: BASIC THEOREMS
A. G. Teslinov
2016-01-01
Full Text Available The article presents criticism of the state of scientific knowledge about adult education and provides the reasons for the choice of directions of its development.Methods. The approach to the substantiation of directions of development of andragogy includes aspectual analysis of scientific rhetoric of adult education; summarizing the symptoms and causes of the problems of educational practice examples of education managers; the analysis of the status of andragogy as a scientific paradigm; a conceptual analysis of the key theses of the modern synthesis of andragogy and the provisions for developmental adult education.Results and scientific novelty. Four theorems are formulated that specify the complete set of propositions about a developmental approach to adult education. These theorems are presented as a scientific hypothesis about the features of the approach. The theorems are proved, and the substantiation of the conditions of emergence of the adult education of educational properties is described. The idea of adult education as a developing culture is in the centre of reasoning. It is shown that the assertions of theorems form the conceptual core of the scientific branches in adult education – andragogy of development. The effect of the practical interpretation of its provisions is disclosed.Practical significance. Disclosed meanings and recommendations may be oriented to developers of educational systems and media for adults while creating the developmental components. These references will help to overcome the evident trend information of adult education to the "pulling" them up to continually outdated standards, and to give it the look of a truly developing technology.
An improvement of Papadakis' theorem
ZHANG Zhihua; MU Lehua; ZHANG Peixuan
2004-01-01
There exist many orthonormal wavelets which cannot be derived by multiresolution analysis (MRA) with a single scaling function.In 2000,Papadakis announced that any orthonormal wavelet is derived by a generalized MRA with countable scaling functions at most.We improve Papadakis' theorem and find that for any othonormal wavelet,the least number of the corresponding scaling functions is just the essential supremum of the dimension function of the orthonormal wavelet.Moreover,we construct directly the fewest scaling functions.
Compactness theorems of fuzzy semantics
无
2000-01-01
The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically. The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members corresponding to continuous functions is compact.
Software Reliability through Theorem Proving
S.G.K. Murthy
2009-05-01
Full Text Available Improving software reliability of mission-critical systems is widely recognised as one of the major challenges. Early detection of errors in software requirements, designs and implementation, need rigorous verification and validation techniques. Several techniques comprising static and dynamic testing approaches are used to improve reliability of mission critical software; however it is hard to balance development time and budget with software reliability. Particularly using dynamic testing techniques, it is hard to ensure software reliability, as exhaustive testing is not possible. On the other hand, formal verification techniques utilise mathematical logic to prove correctness of the software based on given specifications, which in turn improves the reliability of the software. Theorem proving is a powerful formal verification technique that enhances the software reliability for missioncritical aerospace applications. This paper discusses the issues related to software reliability and theorem proving used to enhance software reliability through formal verification technique, based on the experiences with STeP tool, using the conventional and internationally accepted methodologies, models, theorem proving techniques available in the tool without proposing a new model.Defence Science Journal, 2009, 59(3, pp.314-317, DOI:http://dx.doi.org/10.14429/dsj.59.1527
Relativistic theories of materials
Bressan, Aldo
1978-01-01
The theory of relativity was created in 1905 to solve a problem concerning electromagnetic fields. That solution was reached by means of profound changes in fundamental concepts and ideas that considerably affected the whole of physics. Moreover, when Einstein took gravitation into account, he was forced to develop radical changes also in our space-time concepts (1916). Relativistic works on heat, thermodynamics, and elasticity appeared as early as 1911. However, general theories having a thermodynamic basis, including heat conduction and constitutive equations, did not appear in general relativity until about 1955 for fluids and appeared only after 1960 for elastic or more general finitely deformed materials. These theories dealt with materials with memory, and in this connection some relativistic versions of the principle of material indifference were considered. Even more recently, relativistic theories incorporating finite deformations for polarizable and magnetizable materials and those in which couple s...
Relativistic Quantum Communication
Hosler, Dominic
2013-01-01
In this Ph.D. thesis, I investigate the communication abilities of non-inertial observers and the precision to which they can measure parametrized states. I introduce relativistic quantum field theory with field quantisation, and the definition and transformations of mode functions in Minkowski, Schwarzschild and Rindler spaces. I introduce information theory by discussing the nature of information, defining the entropic information measures, and highlighting the differences between classical and quantum information. I review the field of relativistic quantum information. We investigate the communication abilities of an inertial observer to a relativistic observer hovering above a Schwarzschild black hole, using the Rindler approximation. We compare both classical communication and quantum entanglement generation of the state merging protocol, for both the single and dual rail encodings. We find that while classical communication remains finite right up to the horizon, the quantum entanglement generation tend...
Relativistic quantum mechanics
Horwitz, Lawrence P
2015-01-01
This book describes a relativistic quantum theory developed by the author starting from the E.C.G. Stueckelberg approach proposed in the early 40s. In this framework a universal invariant evolution parameter (corresponding to the time originally postulated by Newton) is introduced to describe dynamical evolution. This theory is able to provide solutions for some of the fundamental problems encountered in early attempts to construct a relativistic quantum theory. A relativistically covariant construction is given for which particle spins and angular momenta can be combined through the usual rotation group Clebsch-Gordan coefficients. Solutions are defined for both the classical and quantum two body bound state and scattering problems. The recently developed quantum Lax-Phillips theory of semigroup evolution of resonant states is described. The experiment of Lindner and coworkers on interference in time is discussed showing how the property of coherence in time provides a simple understanding of the results. Th...
Handbook of relativistic quantum chemistry
Liu, Wenjian (ed.) [Peking Univ., Beijing (China). Center for Computational Science and Engineering
2017-03-01
This handbook focuses on the foundations of relativistic quantum mechanics and addresses a number of fundamental issues never covered before in a book. For instance: How can many-body theory be combined with quantum electrodynamics? How can quantum electrodynamics be interfaced with relativistic quantum chemistry? What is the most appropriate relativistic many-electron Hamiltonian? How can we achieve relativistic explicit correlation? How can we formulate relativistic properties? - just to name a few. Since relativistic quantum chemistry is an integral component of computational chemistry, this handbook also supplements the ''Handbook of Computational Chemistry''. Generally speaking, it aims to establish the 'big picture' of relativistic molecular quantum mechanics as the union of quantum electrodynamics and relativistic quantum chemistry. Accordingly, it provides an accessible introduction for readers new to the field, presents advanced methodologies for experts, and discusses possible future perspectives, helping readers understand when/how to apply/develop the methodologies.
Relativistic electronic dressing
Attaourti, Y
2002-01-01
We study the effects of the relativistic electronic dressing in laser-assisted electron-hydrogen atom elastic collisions. We begin by considering the case when no radiation is present. This is necessary in order to check the consistency of our calculations and we then carry out the calculations using the relativistic Dirac-Volkov states. It turns out that a simple formal analogy links the analytical expressions of the differential cross section without laser and the differential cross section in presence of a laser field.
Fabian, A C; Parker, M L
2014-01-01
Broad emission lines, particularly broad iron-K lines, are now commonly seen in the X-ray spectra of luminous AGN and Galactic black hole binaries. Sensitive NuSTAR spectra over the energy range of 3-78 keV and high frequency reverberation spectra now confirm that these are relativistic disc lines produced by coronal irradiation of the innermost accretion flow around rapidly spinning black holes. General relativistic effects are essential in explaining the observations. Recent results are briefly reviewed here.
Relativistic Rotating Vector Model
Lyutikov, Maxim
2016-01-01
The direction of polarization produced by a moving source rotates with the respect to the rest frame. We show that this effect, induced by pulsar rotation, leads to an important correction to polarization swings within the framework of rotating vector model (RVM); this effect has been missed by previous works. We construct relativistic RVM taking into account finite heights of the emission region that lead to aberration, time-of-travel effects and relativistic rotation of polarization. Polarizations swings at different frequencies can be used, within the assumption of the radius-to-frequency mapping, to infer emission radii and geometry of pulsars.
The special relativistic shock tube
Thompson, Kevin W.
1986-01-01
The shock-tube problem has served as a popular test for numerical hydrodynamics codes. The development of relativistic hydrodynamics codes has created a need for a similar test problem in relativistic hydrodynamics. The analytical solution to the special relativistic shock-tube problem is presented here. The relativistic shock-jump conditions and rarefaction solution which make up the shock tube are derived. The Newtonian limit of the calculations is given throughout.
Noutchegueme, N; Noutchegueme, Norbert; Tetsadjio, Mesmin Erick
2003-01-01
We prove, for the relativistic Boltzmann equation in the homogeneous case, on the Minkowski space-time, a global in time existence and uniqueness theorem. The method we develop extends to the cases of some curved space-times such as the flat Robertson-Walker space-time and some Bianchi type I space-times.
Integrating Factors and Conservation Laws for Relativistic Mechanical System
ZHANG Yi
2005-01-01
In this paper, we present a new method to construct the conservation laws for relativistic mechanical systems by finding corresponding integrating factors. First, the Lagrange equations of relativisticmechanical systems are established, and the definition of integrating factors of the systems is given; second, the necessary conditions for the existence of conserved quantities of the relativistic mechanical systems are studied in detail, and the relation between the conservation laws and the integrating factors of the systems is obtained and the generaized Killing equations for the determination of the integrating factors are given; finally, the conservation theorem and its inverse for the systems are established, and an example is given to illustrate the application of the results.
Variable operator technique and the min-max theorem
Sambhu Nath Datta
2000-09-01
We investigate a variation method where the trial function is generated from the application of a variable operator on a reference function. Two conditions are identiﬁed, one for obtaining a maximum and another for a minimum. Although the conditions are easy to understand, the overall formulation is somewhat unusual as each condition gives rise to a two-step variation process. As an example, projection operators are used to form the variable operator, and by this tactics one obtains the new interpretation that the pseudopotential formalism is in fact equivalent to a minimax procedure. The two-step variational process is nevertheless more ﬂexible than the pseudopotential formalism, for it can also be used when the variable operator isnot manifestly expressed in terms of projectors. This is illustrated by a comparison of the two-step method with the variational solution of Dirac’s relativistic electron equation. The same comparison leads to an alternative proof that the process of maximizing energy by varying the – coupling operator eliminates all negative-energy contributions from a trial spinor. The latter observation is crucial for the derivation of the min-max theorem in relativistic quantum mechanics.
Bruce, Adam L
2015-01-01
We show the traditional rocket problem, where the ejecta velocity is assumed constant, can be reduced to an integral quadrature of which the completely non-relativistic equation of Tsiolkovsky, as well as the fully relativistic equation derived by Ackeret, are limiting cases. By expanding this quadrature in series, it is shown explicitly how relativistic corrections to the mass ratio equation as the rocket transitions from the Newtonian to the relativistic regime can be represented as products of exponential functions of the rocket velocity, ejecta velocity, and the speed of light. We find that even low order correction products approximate the traditional relativistic equation to a high accuracy in flight regimes up to $0.5c$ while retaining a clear distinction between the non-relativistic base-case and relativistic corrections. We furthermore use the results developed to consider the case where the rocket is not moving relativistically but the ejecta stream is, and where the ejecta stream is massless.
Moussa, P. [Commissariat a l' Energie Atomique, 91 - Saclay (France). Centre d' Etudes Nucleaires
1968-06-01
This work describes the angular analysis of reactions between particles with spin in a fully relativistic fashion. One particle states are introduced, following Wigner's method, as representations of the inhomogeneous Lorentz group. In order to perform the angular analyses, the reduction of the product of two representations of the inhomogeneous Lorentz group is studied. Clebsch-Gordan coefficients are computed for the following couplings: l-s coupling, helicity coupling, multipolar coupling, and symmetric coupling for more than two particles. Massless and massive particles are handled simultaneously. On the way we construct spinorial amplitudes and free fields; we recall how to establish convergence theorems for angular expansions from analyticity hypothesis. Finally we substitute these hypotheses to the idea of 'potential radius', which gives at low energy the usual 'centrifugal barrier' factors. The presence of such factors had never been deduced from hypotheses compatible with relativistic invariance. (author) [French] On decrit un formalisme permettant de tenir compte de l'invariance relativiste, dans l'analyse angulaire des amplitudes de reaction entre particules de spin quelconque. Suivant Wigner, les etats a une particule sont introduits a l'aide des representations du groupe de Lorentz inhomogene. Pour effectuer les analyses angulaires, on etudie la reduction du produit de deux representations du groupe de Lorentz inhomogene. Les coefficients de Clebsch-Gordan correspondants sont calcules dans les couplages suivants: couplage l-s couplage d'helicite, couplage multipolaire, couplage symetrique pour plus de deux particules. Les particules de masse nulle et de masse non nulle sont traitees simultanement. Au passage, on introduit les amplitudes spinorielles et on construit les champs libres, on rappelle comment des hypotheses d'analyticite permettent d'etablir des theoremes de convergence pour les
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 $\\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 two stated classical theorems are (like the fundamental theorem of calculus) nothing but shadows of the general version of Stokes' theorem for differential forms on manifolds. The main points in the present paper, however, is firstly...... 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....
On Krasnoselskii's Cone Fixed Point Theorem
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.
The Helmholtz theorem and retarded fields
Heras, Ricardo
2016-11-01
Textbooks frequently use the Helmholtz theorem to derive expressions for electrostatic and magnetostatic fields but they do not usually apply this theorem to derive expressions for time-dependent electric and magnetic fields, even when there is no formal objection to doing so because the proof of the theorem does not involve time derivatives but only spatial derivatives. Here we address the question as to whether the Helmholtz theorem is useful in deriving expressions for the fields of Maxwell’s equations. We show that when this theorem is applied to Maxwell’s equations we obtain instantaneous expressions of the electric and magnetic fields, which are formally correct but of little practical usefulness. We then discuss two generalizations of the theorem which are shown to be useful in deriving the retarded fields.
The Helmholtz theorem and retarded fields
Heras, Ricardo
2016-01-01
Textbooks frequently use the Helmholtz theorem to derive expressions for the electrostatic and magnetostatic fields but they do not usually apply this theorem to derive expressions for the time-dependent electric and magnetic fields, even when there is no formal objection to doing so because the proof of the theorem does not involve time derivatives but only spatial derivatives. Here we address the question as to whether the Helmholtz theorem is useful to derive expressions for the fields of Maxwell's equations. We show that when this theorem is applied to Maxwell's equations we obtain instantaneous expressions of the electric and magnetic fields, which are formally correct but of little practical usefulness. We then discuss two generalizations of the theorem which are shown to be useful to derive the retarded fields.
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.
Relativistic cosmology; Cosmologia Relativista
Bastero-Gil, M.
2015-07-01
Relativistic cosmology is nothing but the study of the evolution of our universe expanding from the General Theory of Relativity, which describes the gravitational interaction at any scale and given its character far-reaching is the force that dominate the evolution of the universe. (Author)
Relativistic impulse dynamics.
Swanson, Stanley M
2011-08-01
Classical electrodynamics has some annoying rough edges. The self-energy of charges is infinite without a cutoff. The calculation of relativistic trajectories is difficult because of retardation and an average radiation reaction term. By reconceptuallizing electrodynamics in terms of exchanges of impulses rather than describing it by forces and potentials, we eliminate these problems. A fully relativistic theory using photonlike null impulses is developed. Numerical calculations for a two-body, one-impulse-in-transit model are discussed. A simple relationship between center-of-mass scattering angle and angular momentum was found. It reproduces the Rutherford cross section at low velocities and agrees with the leading term of relativistic distinguishable-particle quantum cross sections (Møller, Mott) when the distance of closest approach is larger than the Compton wavelength of the particle. Magnetism emerges as a consequence of viewing retarded and advanced interactions from the vantage point of an instantaneous radius vector. Radiation reaction becomes the local conservation of energy-momentum between the radiating particle and the emitted impulse. A net action is defined that could be used in developing quantum dynamics without potentials. A reinterpretation of Newton's laws extends them to relativistic motion.
Antippa, Adel F.
2009-01-01
We solve the problem of the relativistic rocket by making use of the relation between Lorentzian and Galilean velocities, as well as the laws of superposition of successive collinear Lorentz boosts in the limit of infinitesimal boosts. The solution is conceptually simple, and technically straightforward, and provides an example of a powerful…
Relativistic length agony continued
Redžić D.V.
2014-01-01
Full Text Available We made an attempt to remedy recent confusing treatments of some basic relativistic concepts and results. Following the argument presented in an earlier paper (Redžić 2008b, we discussed the misconceptions that are recurrent points in the literature devoted to teaching relativity such as: there is no change in the object in Special Relativity, illusory character of relativistic length contraction, stresses and strains induced by Lorentz contraction, and related issues. We gave several examples of the traps of everyday language that lurk in Special Relativity. To remove a possible conceptual and terminological muddle, we made a distinction between the relativistic length reduction and relativistic FitzGerald-Lorentz contraction, corresponding to a passive and an active aspect of length contraction, respectively; we pointed out that both aspects have fundamental dynamical contents. As an illustration of our considerations, we discussed briefly the Dewan-Beran-Bell spaceship paradox and the ‘pole in a barn’ paradox. [Projekat Ministarstva nauke Republike Srbije, br. 171028
Expanding the Interaction Equivalency Theorem
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.
Inverting the central limit theorem
Navascues, Miguel; Villanueva, Ignacio
2011-01-01
The central limit theorem states that the sum of N independently distributed n-tuples of real variables (subject to appropriate normalization) tends to a multivariate gaussian distribution for large N. Here we propose to invert this argument: given a set of n correlated gaussian variables, we try to infer information about the structure of the discrete microscopic probability distributions whose convolution generated such a macroscopic behavior. The techniques developed along the article are applied to prove that the classical description of certain macroscopic optical experiments is infinitely more complex than the quantum one.
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
A parametrization of the abstract Ramsey theorem
Mijares, Jose G
2010-01-01
We give a parametrization with perfect subsets of $2^{\\infty}$ of the abstract Ramsey theorem (see \\cite{todo}) Our main tool is an extension of the parametrized version of the combinatorial forcing developed in \\cite{nash} and \\cite{todo}, used in \\cite{mij} to the obtain a parametrization of the abstract Ellentuck theorem. As one of the consequences, we obtain a parametrized version of the Hales-Jewett theorem. Finally, we conclude that the family of perfectly ${\\cal S}$-Ramsey subsets of $2^{\\infty}\\times {\\cal R}$ is closed under the Souslin operation. {\\bf Key words and phrases}: Ramsey theorem, Ramsey space, parametrization.
A generalised Sylvester-Gallai Theorem
L. M. Pretorius
2007-09-01
Full Text Available We give an algorithmic proof for the contrapositive of the following theorem that has recently been proved by the authors:Let S be a ﬁnite set of points in the plane, with each point coloured red, blue or with both colours. Suppose that for any two distinct points A and B in S sharing a colour k, there is a third point in S which has (inter alia the colour different from k and is collinear with A and B. Then all the points in S are collinear.This theorem is a generalization of both the Sylvester-Gallai Theorem and the Motzkin-Rabin Theorem.
A History of the Central Limit Theorem
Fischer, Hans
2011-01-01
This study discusses the history of the central limit theorem and related probabilistic limit theorems from about 1810 through 1950. In this context the book also describes the historical development of analytical probability theory and its tools, such as characteristic functions or moments. The central limit theorem was originally deduced by Laplace as a statement about approximations for the distributions of sums of independent random variables within the framework of classical probability, which focused upon specific problems and applications. Making this theorem an autonomous mathematical
A generalized preimage theorem in global analysis
MA; Jipu
2001-01-01
［1］Ma Jipu, (1.2) inverses of operators between Banach spaces and conjugacy theorem, Chinese Annals of Math., B, 1999, 20(1): 57.［2］Ma Jipu, Rank theorem of operators between Banach spaces, Science in China, Ser. A, 2000, 43(1): 1.［3］Ma Jipu, Local conjugacy theorem, rank theorems in advenced calculus and a generalized principle constructing Banach manifolds, Science in China, Ser. A, 2000, 43(12): 1233.［4］Zeidler, A. E., Nonlinear Function Analysis and Its Applications, IV: Applications to Mathematical Physics, New York: Springer-Verlag, 1988.
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.
GIRSANOV＇S THEOREM ON ABSTRACT WIENER SPACES
ZHANGYINNAN
1997-01-01
Let (E, H,u) be an abstract Wiener space in the sense of L. Gross. It is proved that if u is a measurable map from E to H such that u ∈ W2.1(H,u) and there esists a constant a1 0 < a < 1, such that either ∑n || Dnu(w)||2H < a2 or ||u(w+ h)- u(w)||H < a||h||H a. s. for every h ∈ H and E(exp(108/(1-a)2(∑||Dnu||H))))＜∞,then the measure uoT-1 is equivalent to u, where T(w) = w + u(w) for w ∈ E. And the explicit expreesion of the Padon-Nikodym derivative (cf. Theorem 2.1) is given.
An elementary derivation of the quantum virial theorem from Hellmann-Feynman theorem
İpekoğlu, Y.; Turgut, S.
2016-07-01
A simple proof of the quantum virial theorem that can be used in undergraduate courses is given. The proof proceeds by first showing that the energy eigenvalues of a Hamiltonian remain invariant under a scale transformation. Then invoking the Hellmann-Feynman theorem produces the final statement of the virial theorem.
Hrobárik, Peter; Hrobáriková, Veronika; Meier, Florian; Repiský, Michal; Komorovský, Stanislav; Kaupp, Martin
2011-06-09
State-of-the-art relativistic four-component DFT-GIAO-based calculations of (1)H NMR chemical shifts of a series of 3d, 4d, and 5d transition-metal hydrides have revealed significant spin-orbit-induced heavy atom effects on the hydride shifts, in particular for several 4d and 5d complexes. The spin-orbit (SO) effects provide substantial, in some cases even the dominant, contributions to the well-known characteristic high-field hydride shifts of complexes with a partially filled d-shell, and thereby augment the Buckingham-Stephens model of off-center paramagnetic ring currents. In contrast, complexes with a 4d(10) and 5d(10) configuration exhibit large deshielding SO effects on their hydride (1)H NMR shifts. The differences between the two classes of complexes are attributed to the dominance of π-type d-orbitals for the true transition-metal systems compared to σ-type orbitals for the d(10) systems.
Vallès, Jean
2012-01-01
Our aim is to prove a Poncelet type theorem for a line configuration on the complex projective. More precisely, we say that a polygon with 2n sides joining 2n vertices A1, A2,..., A2n is well inscribed in a configuration Ln of n lines if each line of the configuration contains exactly two points among A1, A2, ..., A2n. Then we prove : "Let Ln be a configuration of n lines and D a smooth conic in the complex projective plane. If it exists one polygon with 2n sides well inscribed in Ln and circumscribed around D then there are infinitely many such polygons. In particular a general point in Ln is a vertex of such a polygon." We propose an elementary proof based on Fr\\'egier's involution. We begin by recalling some facts about these involutions. Then we explore the following question : When does the product of involutions correspond to an involution? It leads to Pascal theorem, to its dual version proved by Brianchon, and to its generalization proved by M\\"obius.
Rodé's theorem on common fixed points of semigroup of nonexpansive mappings in CAT(0 spaces
Anakkamatee Watcharapong
2011-01-01
Full Text Available Abstract We extend Rodé's theorem on common fixed points of semigroups of nonexpansive mappings in Hilbert spaces to the CAT(0 space setting. 2000 Mathematics Subject Classification: 47H09; 47H10.
Quantum Monte Carlo studies of relativistic effects in light nuclei
Forest, J. L.; Pandharipande, V. R.; Arriaga, A.
1999-07-01
Relativistic Hamiltonians are defined as the sum of relativistic one-body kinetic energy, two- and three-body potentials, and their boost corrections. In this work we use the variational Monte Carlo method to study two kinds of relativistic effects in 3H and 4He, using relativistic Hamiltonians. The first is due to the nonlocalities in the relativistic kinetic energy and relativistic one-pion exchange potential (OPEP), and the second is from boost interaction. The OPEP contribution is reduced by ~15% by the relativistic nonlocality, which may also have significant effects on pion exchange currents. However, almost all of this reduction is canceled by changes in the kinetic energy and other interaction terms, and the total effect of the nonlocalities on the binding energy is very small. The boost interactions, on the other hand, give repulsive contributions of ~0.4 (1.9) MeV in 3H (4He) and account for ~37% of the phenomenological part of the three-nucleon interaction needed in the nonrelativistic Hamiltonians. The wave functions of nuclei are not significantly changed by these effects.
THE EXISTENCE THEOREM OF OPTIMAL GROWTH MODEL
Gong Liutang; Peng Xianze
2005-01-01
This paper proves a general existence theorem of optimal growth theory. This theorem is neither restricted to the case of a constant technology progress, nor stated in terms of mathematical conditions which have no direct economic interpretation and moreover, are difficult to apply.
Euler and the Fundamental Theorem of Algebra.
Duham, William
1991-01-01
The complexity of the proof of the Fundamental Theorem of Algebra makes it inaccessible to lower level students. Described are more understandable attempts of proving the theorem and a historical account of Euler's efforts that relates the progression of the mathematical process used and indicates some of the pitfalls encountered. (MDH)
A New Fixed Point Theorem and Applications
Min Fang
2013-01-01
Full Text Available A new fixed point theorem is established under the setting of a generalized finitely continuous topological space (GFC-space without the convexity structure. As applications, a weak KKM theorem and a minimax inequalities of Ky Fan type are also obtained under suitable conditions. Our results are different from known results in the literature.
Double soft theorem for perturbative gravity
Saha, Arnab Priya
2016-09-01
Following up on the recent work of Cachazo, He and Yuan [1], 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.
On the Hausdorff-Young theorem
Nasserddine, W
2005-01-01
Let $G_{mn}=ax + b$ be the matricial group of a local field. The Hausdorff-Young theorem for $G_{11}$ was proved by Eymard-Terp in 1978. We will establish here the Hausdorff-Young theorem for $G_{nn}$ for all $n \\in \\mathbb{N}$.
Abel's theorem in the noncommutative case
Leitenberger, Frank
2004-03-01
We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic differentials of the first kind. Following Abel we prove Abel's theorem.
A New Type of Singularity Theorem
Senovilla, José M M
2007-01-01
A new type of singularity theorem, based on spatial averages of physical quantities, is presented and discussed. Alternatively, the results inform us of when a spacetime can be singularity-free. This theorem provides a decisive observational difference between singular and non-singular, globally hyperbolic, open cosmological models.
Interpolation theorems on weighted Lorentz martingale spaces
2007-01-01
In this paper several interpolation theorems on martingale Lorentz spaces are given.The proofs are based on the atomic decompositions of martingale Hardy spaces over weighted measure spaces.Applying the interpolation theorems,we obtain some inequalities on martingale transform operator.
The Euler Line and Nine-Point-Circle Theorems.
Eccles, Frank M.
1999-01-01
Introduces the Euler line theorem and the nine-point-circle theorem which emphasize transformations and the power of functions in a geometric concept. Presents definitions and proofs of theorems. (ASK)
Relativistic Hydrodynamics with Wavelets
DeBuhr, Jackson; Anderson, Matthew; Neilsen, David; Hirschmann, Eric W
2015-01-01
Methods to solve the relativistic hydrodynamic equations are a key computational kernel in a large number of astrophysics simulations and are crucial to understanding the electromagnetic signals that originate from the merger of astrophysical compact objects. Because of the many physical length scales present when simulating such mergers, these methods must be highly adaptive and capable of automatically resolving numerous localized features and instabilities that emerge throughout the computational domain across many temporal scales. While this has been historically accomplished with adaptive mesh refinement (AMR) based methods, alternatives based on wavelet bases and the wavelet transformation have recently achieved significant success in adaptive representation for advanced engineering applications. This work presents a new method for the integration of the relativistic hydrodynamic equations using iterated interpolating wavelets and introduces a highly adaptive implementation for multidimensional simulati...
Relativistic heavy ion reactions
Brink, D.M.
1989-08-01
The theory of quantum chromodynamics predicts that if nuclear matter is heated to a sufficiently high temperature then quarks might become deconfined and a quark-gluon plasma could be produced. One of the aims of relativistic heavy ion experiments is to search for this new state of matter. These lectures survey some of the new experimental results and give an introduction to the theories used to interpret them. 48 refs., 4 tabs., 11 figs.
Relativistic spherical plasma waves
Bulanov, S S; Schroeder, C B; Zhidkov, A G; Esarey, E; Leemans, W P
2011-01-01
Tightly focused laser pulses as they diverge or converge in underdense plasma can generate wake waves, having local structures that are spherical waves. Here we report on theoretical study of relativistic spherical wake waves and their properties, including wave breaking. These waves may be suitable as particle injectors or as flying mirrors that both reflect and focus radiation, enabling unique X-ray sources and nonlinear QED phenomena.
Relativistic Quantum Noninvasive Measurements
Bednorz, Adam
2014-01-01
Quantum weak, noninvasive measurements are defined in the framework of relativity. Invariance with respect to reference frame transformations of the results in different models is discussed. Surprisingly, the bare results of noninvasive measurements are invariant for certain class of models, but not the detection error. Consequently, any stationary quantum realism based on noninvasive measurements will break, at least spontaneously, relativistic invariance and correspondence principle at zero temperature.
Relativistic cosmological hydrodynamics
Hwang, J
1997-01-01
We investigate the relativistic cosmological hydrodynamic perturbations. We present the general large scale solutions of the perturbation variables valid for the general sign of three space curvature, the cosmological constant, and generally evolving background equation of state. The large scale evolution is characterized by a conserved gauge invariant quantity which is the same as a perturbed potential (or three-space curvature) in the comoving gauge.
Pointwise ergodic theorems beyond amenable groups
Bowen, Lewis
2011-01-01
We prove pointwise and maximal ergodic theorems for probability measure preserving actions of any countable group, provided it admits an essentially free, weakly mixing amenable action of stable type III_r for some r >0. Our approach is based on the following two principles. First, it is possible to generalize the ergodic theory of measure-preserving actions of amenable groups to include probability-measure-preserving amenable equivalence relations. Second, it is possible to reduce the proof of ergodic theorems for actions of a general group to the proof of ergodic theorems in an associated measure-preserving amenable equivalence relation, provided the group admits an amenable action with the properties stated above. The general ergodic theorems established here are used in a sequel paper to prove mean and pointwise ergodic theorems for arbitrary Gromov-hyperbolic groups.
Generalized fluctuation theorems for classical systems
Agarwal, G S
2015-01-01
Fluctuation theorems have a very special place in the study of non equilibrium dynamics of physical systems. The form in which it is used most extensively is the Gallavoti-Cohen Fluctuation Theorem which is in terms of the distribution of the work $p(W)/p(-W)=\\exp(\\alpha W)$. We derive the general form of the fluctuation theorems for an arbitrary Gaussian Markov process and find conditions when the parameter $\\alpha$ becomes a universal parameter $1/kT$. As an application we consider fluctuation theorems for classical cyclotron motion of an electron in a parabolic potential. The motion of the electron is described by four coupled Langevin equations and thus is non-trivial. The generalized theorems are equally valid for non-equilibrium steady states.
Relativistic gravity gradiometry
Bini, Donato; Mashhoon, Bahram
2016-12-01
In general relativity, relativistic gravity gradiometry involves the measurement of the relativistic tidal matrix, which is theoretically obtained from the projection of the Riemann curvature tensor onto the orthonormal tetrad frame of an observer. The observer's 4-velocity vector defines its local temporal axis and its local spatial frame is defined by a set of three orthonormal nonrotating gyro directions. The general tidal matrix for the timelike geodesics of Kerr spacetime has been calculated by Marck [Proc. R. Soc. A 385, 431 (1983)]. We are interested in the measured components of the curvature tensor along the inclined "circular" geodesic orbit of a test mass about a slowly rotating astronomical object of mass M and angular momentum J . Therefore, we specialize Marck's results to such a "circular" orbit that is tilted with respect to the equatorial plane of the Kerr source. To linear order in J , we recover the gravitomagnetic beating phenomenon [B. Mashhoon and D. S. Theiss, Phys. Rev. Lett. 49, 1542 (1982)], where the beat frequency is the frequency of geodetic precession. The beat effect shows up as a special long-period gravitomagnetic part of the relativistic tidal matrix; moreover, the effect's short-term manifestations are contained in certain post-Newtonian secular terms. The physical interpretation of this effect is briefly discussed.
Relativistic Radiation Mediated Shocks
Budnik, Ran; Sagiv, Amir; Waxman, Eli
2010-01-01
The structure of relativistic radiation mediated shocks (RRMS) propagating into a cold electron-proton plasma is calculated and analyzed. A qualitative discussion of the physics of relativistic and non relativistic shocks, including order of magnitude estimates for the relevant temperature and length scales, is presented. Detailed numerical solutions are derived for shock Lorentz factors $\\Gamma_u$ in the range $6\\le\\Gamma_u\\le30$, using a novel iteration technique solving the hydrodynamics and radiation transport equations (the protons, electrons and positrons are argued to be coupled by collective plasma processes and are treated as a fluid). The shock transition (deceleration) region, where the Lorentz factor $ \\Gamma $ drops from $ \\Gamma_u $ to $ \\sim 1 $, is characterized by high plasma temperatures $ T\\sim \\Gamma m_ec^2 $ and highly anisotropic radiation, with characteristic shock-frame energy of upstream and downstream going photons of a few~$\\times\\, m_ec^2$ and $\\sim \\Gamma^2 m_ec^2$, respectively.P...
Point form relativistic quantum mechanics and relativistic SU(6)
Klink, W. H.
1993-01-01
The point form is used as a framework for formulating a relativistic quantum mechanics, with the mass operator carrying the interactions of underlying constituents. A symplectic Lie algebra of mass operators is introduced from which a relativistic harmonic oscillator mass operator is formed. Mass splittings within the degenerate harmonic oscillator levels arise from relativistically invariant spin-spin, spin-orbit, and tensor mass operators. Internal flavor (and color) symmetries are introduced which make it possible to formulate a relativistic SU(6) model of baryons (and mesons). Careful attention is paid to the permutation symmetry properties of the hadronic wave functions, which are written as polynomials in Bargmann spaces.
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...
Singlet and triplet instability theorems
Yamada, Tomonori; Hirata, So
2015-09-01
A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree-Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree-Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree-Fock-theory-based explanations of Hund's rule, a singlet instability in Jahn-Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions.
Posterior Probability and Fluctuation Theorem in Stochastic Processes
Ohkubo, Jun
2009-12-01
A generalization of fluctuation theorems in stochastic processes is proposed. The new theorem is written in terms of posterior probabilities, which are introduced via Bayes’ theorem. In conventional fluctuation theorems, a forward path and its time reversal play an important role, so that a microscopically reversible condition is essential. In contrast, the microscopically reversible condition is not necessary in the new theorem. It is shown that the new theorem recovers various theorems and relations previously known, such as the Gallavotti-Cohen-type fluctuation theorem, the Jarzynski equality, and the Hatano-Sasa relation, when suitable assumptions are employed.
Relativistic magnetohydrodynamics in one dimension.
Lyutikov, Maxim; Hadden, Samuel
2012-02-01
We derive a number of solutions for one-dimensional dynamics of relativistic magnetized plasma that can be used as benchmark estimates in relativistic hydrodynamic and magnetohydrodynamic numerical codes. First, we analyze the properties of simple waves of fast modes propagating orthogonally to the magnetic field in relativistically hot plasma. The magnetic and kinetic pressures obey different equations of state, so that the system behaves as a mixture of gases with different polytropic indices. We find the self-similar solutions for the expansion of hot strongly magnetized plasma into vacuum. Second, we derive linear hodograph and Darboux equations for the relativistic Khalatnikov potential, which describe arbitrary one-dimensional isentropic relativistic motion of cold magnetized plasma and find their general and particular solutions. The obtained hodograph and Darboux equations are very powerful: A system of highly nonlinear, relativistic, time-dependent equations describing arbitrary (not necessarily self-similar) dynamics of highly magnetized plasma reduces to a single linear differential equation.
Casarin, Maurizio; Finetti, Paola; Vittadini, Andrea; Wang, Fan; Ziegler, Tom
2007-06-21
Time-dependent density functional theory (TDDFT) coupled to the relativistic two-component zeroth-order regular approximation, both available in the last version of the ADF package, have been successfully used to simulate X-ray absorption spectra of TiCl4, Ti(eta5-C5H5)Cl3, and Ti(eta5-C5H5)2Cl2 in terms of their oscillator strength distributions. Besides allowing a first principle assignment of Ti 1s, Cl 1s, and Ti 2p (L2,3 edges) core excitation spectra, theoretical outcomes provide a rationale for deviations from the expected L3/L2 branching ratio.
Weyl-gauge invariant proof of the Spin-Statistics Theorem
Santamato, Enrico
2016-01-01
The traditional standard theory of quantum mechanics is unable to solve the spin-statistics problem, i.e. to justify the utterly important \\qo{Pauli Exclusion Principle} but by the adoption of the complex standard relativistic quantum field theory. In a recent paper (Ref. [1]) we presented a proof of the spin-statistics problem in the nonrelativistic approximation on the basis of the \\qo{Conformal Quantum Geometrodynamics}. In the present paper, by the same theory the proof of the Spin-Statistics Theorem is extended to the relativistic domain in the general scenario of curved spacetime. The relativistic approach allows to formulate a manifestly step-by-step Weyl gauge invariant theory and to emphasize some fundamental aspects of group theory in the demonstration. No relativistic quantum field operators are used and the particle exchange properties are drawn from the conservation of the intrinsic helicity of elementary particles. It is therefore this property, not considered in the Standard Quantum Mechanics, ...
Kutateladze, Andrei G; Mukhina, Olga A
2015-05-15
We previously developed a reliable method for multiparametric scaling of Fermi contacts to achieve fast and accurate prediction of proton-proton spin-spin coupling constants (SSCC) in (1)H NMR. We now report that utilization of NBO hybridization coefficients for carbon atoms in the involved C-H bonds allows for a significant simplification of this parametric scheme, requiring only four general types of SSCCs: geminal, vicinal, 1,3-, and long-range constants. The method is optimized for inexpensive B3LYP/6-31G(d) molecular geometries. A new DU8 basis set, based on a training set of 475 experimental spin-spin coupling constants, is developed for hydrogen and common non-hydrogen atoms (Li, B, C, N, O, F, Si, P, S, Cl, Se, Br, I) to calculate Fermi contacts. On a test set of 919 SSCCs from a diverse collection of natural products and complex synthetic molecules the method gave excellent accuracy of 0.29 Hz (rmsd) with the maximum unsigned error not exceeding 1 Hz.
The pointwise Hellmann-Feynman theorem
David Carfì
2010-02-01
Full Text Available In this paper we study from a topological point of view the Hellmann-Feynman theorem of Quantum Mechanics. The goal of the paper is twofold: On one hand we emphasize the role of the strong topology in the classic version of the theorem in Hilbert spaces, for what concerns the kind of convergence required on the space of continuous linear endomorphisms, which contains the space of (continuous observables.On the other hand we state and prove a new pointwise version of the classic Hellmann-Feynman theorem. This new version is not yet present in the literature and follows the idea of A. Bohm concerning the topology which is desiderable to use in Quantum Mechanics. It is indeed out of question that this non-trivial new version of the Hellmann-Feynman theorem is the ideal one - for what concerns the continuous observables on Hilbert spaces, both from a theoretical point of view, since it is the strongest version obtainable in this context - we recall that the pointwise topology is the coarsest one compatible with the linear structure of the space of continuous observables -, and from a practical point of view, because the pointwise topology is the easiest to use among topologies: it brings back the problems to the Hilbert space topology. Moreover, we desire to remark that this basic theorem of Quantum Mechanics, in his most desiderable form, is deeply interlaced with two cornerstones of Functional Analysis: the Banach-Steinhaus theorem and the Baire theorem.
Another Direct Proof of Oka's Theorem (Oka IX)
Noguchi, Junjiro
2011-01-01
In 1953 K. Oka IX solved in first and in a final form Levi's problem (Hartogs' inverse problem) for domains or Riemann domains over $\\C^n$ of arbitrary dimension. Later on a number of the proofs were given; cf.\\ e.g., Docquier-Grauert's paper in 1960, R. Narasimhan's paper in 1961/62, Gunning-Rossi's book, and H\\"ormander's book (in which the holomorphic separability is pre-assumed in the definition of Riemann domains and thus the assumption is stronger than the one in the present paper). Here we will give another direct elementary proof of Oka's Theorem, relying only on Grauert's finiteness theorem by the {\\it induction on the dimension} and the {\\it jets over Riemann domains}; hopefully, the proof is most comprehensive.
Haag's theorem in renormalised quantum field theories
Klaczynski, Lutz
2016-01-01
We review a package of no-go results in axiomatic quantum field theory with Haag's theorem at its centre. Since the concept of operator-valued distributions in this framework comes very close to what we believe canonical quantum fields are about, these results are of consequence to quantum field theory: they suggest the seeming absurdity that this highly victorious theory is incapable of describing interactions. We single out unitarity of the interaction picture's intertwiner as the most salient provision of Haag's theorem and critique canonical perturbation theory to argue that renormalisation bypasses Haag's theorem by violating this very assumption.
Existence theorems for ordinary differential equations
Murray, Francis J
2007-01-01
Theorems stating the existence of an object-such as the solution to a problem or equation-are known as existence theorems. This text examines fundamental and general existence theorems, along with the Picard iterants, and applies them to properties of solutions and linear differential equations.The authors assume a basic knowledge of real function theory, and for certain specialized results, of elementary functions of a complex variable. They do not consider the elementary methods for solving certain special differential equations, nor advanced specialized topics; within these restrictions, th
Effective randomness, strong reductions and Demuth's theorem
Bienvenu, Laurent
2011-01-01
We study generalizations of Demuth's Theorem, which states that the image of a Martin-L\\"of random real under a tt-reduction is either computable or Turing equivalent to a Martin-L\\"of random real. We show that Demuth's Theorem holds for Schnorr randomness and computable randomness (answering a question of Franklin), but that it cannot be strengthened by replacing the Turing equivalence in the statement of the theorem with wtt-equivalence. We also provide some additional results about the Turing and tt-degrees of reals that are random with respect to some computable measure.
Relativistic kinetic theory and non-gaussian statistical
de Oliveira, Z. B. B.; Silva, R.
2016-12-01
The nonextensive statistical mechanics is extended in the special relativity context through a generalization of H-theorem. We show that the Tsallis framework is compatible with the second law of the thermodynamics when the nonadditive effects are consistently introduced on the collisional term of the Boltzmann equation. The proof of the H-theorem follows from using of q-algebra in the generalization of the molecular chaos hypothesis (Stosszahlansatz). A thermodynamic consistency is possible whether the entropic parameter belongs to interval q ∈ [ 0 , 2 ] .
Brudnyi, A
2011-01-01
We develop the elements of complex function theory within certain algebras of holomorphic functions on coverings of complex manifolds (including holomorphic extension from complex submanifolds, properties of divisors, corona type theorem, holomorphic analogue of Peter-Weyl approximation theorem, Hartogs type theorem, characterization of the uniqueness sets, etc). Our model examples are: (1) algebra of Bohr's holomorphic almost periodic functions on tube domains (i.e. the uniform limits of exponential polynomials) (2) algebra of all fibrewise bounded holomorphic functions (arising in corona problem for H^\\infty) (3) algebra of holomorphic functions having fibrewise limits. Our proofs are based on the analogues of Cartan theorems A and B for coherent type sheaves on the maximal ideal spaces of these subalgebras.
Relativistic twins or sextuplets?
Sheldon, E S
2003-01-01
A recent study of the relativistic twin 'paradox' by Soni in this journal affirmed that 'A simple solution of the twin paradox also shows anomalous behaviour of rigidly connected distant clocks' but entailed a pedagogic hurdle which the present treatment aims to surmount. Two scenarios are presented: the first 'flight-plan' is akin to that depicted by Soni, with constant-velocity segments, while the second portrays an alternative mission undertaken with sustained acceleration and deceleration, illustrated quantitatively for a two-way spacecraft flight from Earth to Polaris (465.9 light years distant) and back.
Numerical Relativistic Quantum Optics
2013-11-08
µm and a = 1. The condition for an atomic spectrum to be non-relativistic is Z α−1 ≈ 137, as follows from elementary Dirac theory. One concludes that...peculiar result that B0 = 1 TG is a weak field. At present, such fields are observed only in connection with astrophysical phenomena [14]. The highest...pulsars. The Astrophysical Journal, 541:367–373, Sep 2000. [15] M. Tatarakis, I. Watts, F.N. Beg, E.L. Clark, A.E. Dangor, A. Gopal, M.G. Haines, P.A
Relativistic quantum information
Mann, R. B.; Ralph, T. C.
2012-11-01
Over the past few years, a new field of high research intensity has emerged that blends together concepts from gravitational physics and quantum computing. Known as relativistic quantum information, or RQI, the field aims to understand the relationship between special and general relativity and quantum information. Since the original discoveries of Hawking radiation and the Unruh effect, it has been known that incorporating the concepts of quantum theory into relativistic settings can produce new and surprising effects. However it is only in recent years that it has become appreciated that the basic concepts involved in quantum information science undergo significant revision in relativistic settings, and that new phenomena arise when quantum entanglement is combined with relativity. A number of examples illustrate that point. Quantum teleportation fidelity is affected between observers in uniform relative acceleration. Entanglement is an observer-dependent property that is degraded from the perspective of accelerated observers moving in flat spacetime. Entanglement can also be extracted from the vacuum of relativistic quantum field theories, and used to distinguish peculiar motion from cosmological expansion. The new quantum information-theoretic framework of quantum channels in terms of completely positive maps and operator algebras now provides powerful tools for studying matters of causality and information flow in quantum field theory in curved spacetimes. This focus issue provides a sample of the state of the art in research in RQI. Some of the articles in this issue review the subject while others provide interesting new results that will stimulate further research. What makes the subject all the more exciting is that it is beginning to enter the stage at which actual experiments can be contemplated, and some of the articles appearing in this issue discuss some of these exciting new developments. The subject of RQI pulls together concepts and ideas from
Corinaldesi, Ernesto
1963-01-01
Geared toward advanced undergraduate and graduate students of physics, this text provides readers with a background in relativistic wave mechanics and prepares them for the study of field theory. The treatment originated as a series of lectures from a course on advanced quantum mechanics that has been further amplified by student contributions.An introductory section related to particles and wave functions precedes the three-part treatment. An examination of particles of spin zero follows, addressing wave equation, Lagrangian formalism, physical quantities as mean values, translation and rotat
Rössler, O E; Matsuno, K
1998-04-01
The two mindsets of absolutism and relativism are juxtaposed, and the relational or relativist stance is vindicated. The only 'absolute' entity which undeniably exists, consciousness has the reality of a dream. The escape hatch from this prison is relational, as Descartes and Levinas found out: Unfalsified relational consistency implies exteriority. Exteriority implies infinite power which in turn makes compassion inevitable. Aside from ethics as a royal way to enlightenment, a new technology called 'deep technology' may be accessible. It changes the whole world in a demonstrable fashion by manipulation of the micro frame--that is, the observer-world interface.
Moore, Keith; Lane, Ian C
2015-01-01
BaH is an attractive molecular candidate for laser cooling to ultracold temperatures and a potential precursor for the production of ultracold gases of hydrogen and deuterium. The theoretical challenge is to simulate the laser cooling cycle as reliably as possible and this paper addresses the generation of highly accurate ab initio potentials for such studies. The performance of various basis sets within the multi-reference configuration-interaction (MRCI) approximation with the Davidson correction (MRCI+Q) is tested and taken to the complete basis set limit. It is shown that the calculated molecular constants using a 46 electron Effective Core-Potential (ECP), the augmented polarized core-valence quintuplet basis set (aug-pCV5Z-PP) but only including three active electrons in the MRCI calculation are in close agreement with the available experimental values. The predicted dissociation energy D$_e$ for the X$^2\\Sigma^+$ state (extrapolated to the complete basis set (CBS) limit) is 16975.14 cm$^{-1}$ (2.099 eV...
Quantum Monte Carlo Studies of Relativistic Effects in Light Nuclei
Forest, J L; Arriaga, A
1999-01-01
Relativistic Hamiltonians are defined as the sum of relativistic one-body kinetic energy, two- and three-body potentials and their boost corrections. In this work we use the variational Monte Carlo method to study two kinds of relativistic effects in the binding energy of 3H and 4He. The first is due to the nonlocalities in the relativistic kinetic energy and relativistic one-pion exchange potential (OPEP), and the second is from boost interaction. The OPEP contribution is reduced by about 15% by the relativistic nonlocality, which may also have significant effects on pion exchange currents. However, almost all of this reduction is canceled by changes in the kinetic energy and other interaction terms, and the total effect of the nonlocalities on the binding energy is very small. The boost interactions, on the other hand, give repulsive contributions of 0.4 (1.9) MeV in 3H (4He) and account for 37% of the phenomenological part of the three-nucleon interaction needed in the nonrelativistic Hamiltonians.
Exotic Non-relativistic String
Casalbuoni, Roberto; Longhi, Giorgio
2007-01-01
We construct a classical non-relativistic string model in 3+1 dimensions. The model contains a spurion tensor field that is responsible for the non-commutative structure of the model. Under double dimensional reduction the model reduces to the exotic non-relativistic particle in 2+1 dimensions.
'Antigravity' Propulsion and Relativistic Hyperdrive
Felber, F S
2006-01-01
Exact payload trajectories in the strong gravitational fields of compact masses moving with constant relativistic velocities are calculated. The strong field of a suitable driver mass at relativistic speeds can quickly propel a heavy payload from rest to a speed significantly faster than the driver, a condition called hyperdrive. Hyperdrive thresholds and maxima are calculated as functions of driver mass and velocity.
A Simple Relativistic Bohr Atom
Terzis, Andreas F.
2008-01-01
A simple concise relativistic modification of the standard Bohr model for hydrogen-like atoms with circular orbits is presented. As the derivation requires basic knowledge of classical and relativistic mechanics, it can be taught in standard courses in modern physics and introductory quantum mechanics. In addition, it can be shown in a class that…
A Simple Relativistic Bohr Atom
Terzis, Andreas F.
2008-01-01
A simple concise relativistic modification of the standard Bohr model for hydrogen-like atoms with circular orbits is presented. As the derivation requires basic knowledge of classical and relativistic mechanics, it can be taught in standard courses in modern physics and introductory quantum mechanics. In addition, it can be shown in a class that…
Security Theorems via Model Theory
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.
Subspace gaps and Weyl's theorem for an elementary operator
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.
The Equivalence between Property(ω)and Weyl's Theorem
Ling Ling ZHAO; Xiao Hong CAO; He Jia ZHANG
2011-01-01
We call T ∈B(H) consistent in Fredholm and index (briefly a CFI operator) if for each B ∈ B(H),TB and BT are Fredholm together and the same index of B,or not Fredholm together.Using a new spectrum defined in view of the CFI operator,we give the equivalence of Weyl's theorem and property(ω)for T and its conjugate operator T*.In addition,the property (ω)for operator matrices is considered.
Applications of the ergodic iteration theorem
Zapletal, J.
2010-01-01
I prove several natural preservation theorems for the countable support iteration. This solves a question of Roslanowski regarding the preservation of localization properties and greatly simplifies the proofs in the area.
The virial theorem for nonlinear problems
Amore, Paolo [Facultad de Ciencias, Universidad de Colima, Bernal DIaz del Castillo 340, Colima (Mexico); Fernandez, Francisco M [INIFTA (UNLP, CCT La Plata-CONICET), Division Quimica Teorica, Blvd 113 S/N, Sucursal 4, Casilla de Correo 16, 1900 La Plata (Argentina)], E-mail: paolo.amore@gmail.com, E-mail: fernande@quimica.unlp.edu.ar
2009-09-15
We show that the virial theorem provides a useful simple tool for approximating nonlinear problems. In particular, we consider conservative nonlinear oscillators and obtain the same main result derived earlier from the expansion in Chebyshev polynomials. (letters and comments)
Affine and Projective Tree Metric Theorems
Harel, Matan; Pachter, Lior
2011-01-01
The tree metric theorem provides a combinatorial four point condition that characterizes dissimilarity maps derived from pairwise compatible split systems. A similar (but weaker) four point condition characterizes dissimilarity maps derived from circular split systems (Kalmanson metrics). The tree metric theorem was first discovered in the context of phylogenetics and forms the basis of many tree reconstruction algorithms, whereas Kalmanson metrics were first considered by computer scientists, and are notable in that they are a non-trivial class of metrics for which the traveling salesman problem is tractable. We present a unifying framework for these theorems based on combinatorial structures that are used for graph planarity testing. These are (projective) PC-trees, and their affine analogs, PQ-trees. In the projective case, we generalize a number of concepts from clustering theory, including hierarchies, pyramids, ultrametrics and Robinsonian matrices, and the theorems that relate them. As with tree metric...
Transformation groups and the virial theorem
Kampen, N.G. van
1972-01-01
A generalization of Noether's result for classical mechanics is given, which shows that the virial theorem is related to an invariance property of the Lagrange function. Two examples are discussed in detail.
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 ...
Two No-Go Theorems on Superconductivity
Tada, Yasuhiro
2016-01-01
We study lattice superconductors such as attractive Hubbard models. As is well known, Bloch's theorem asserts absence of persistent current in ground states and equilibrium states for general fermion systems. While the statement of the theorem is true, we can show that the theorem cannot exclude possibility of a surface persistent current. Such a current can be stabilized by boundary magnetic fields which do not penetrate into the bulk region of a superconductor, provided emergence of massive photons, i.e., Meissner effect. Therefore, we can expect that a surface persistent current is realized for a ground/equilibrium state in the sense of stability against local perturbations. We also apply Elitzur's theorem to superconductors at finite temperatures. As a result, we prove absence of symmetry breaking of the global U(1) phase of electrons for almost all gauge fixings. These observations suggest that the nature of superconductivity is the emergence of massive photons rather than the symmetry breaking of the U(...
Rank theorems of operators between Banach spaces
2000-01-01
Let E and F be Banach spaces, and B( E, F) all of bounded linear operators on E into F. Let T0 ∈ B( E, F) with an outer inverse T0# ∈ B( F, E). Then a characteristic condition of S= (I + T0# ( T- T0))-1 T0# with T∈ B( E, F) and || T0# ( T- T0) || < 1, being a generalized inverse of T, is presented, and hence, a rank theorem of operators on E into F is established (which generalizes the rank theorem of matrices to Banach spaces). Consequently, an improved finite rank theorem and a new rank theorem are deduced. These results will be very useful to nonlinear functional analysis.
Rank theorems of operators between Banach spaces
无
2000-01-01
Let E and F be Banach spaces, and B(E,F) all of bounded linear operators on E into F. Let T0∈B(E,F) with an outer inverse T#0∈B(F,E). Then a characteristic condition of S=(I+T#0(T-T0))-1T#0 with T∈B(E,F) and ‖T#0(T-T0)‖<1, being a generalized inverse of T, is presented, and hence, a rank theorem of operators on E into F is established (which generalizes the rank theorem of matrices to Banach spaces). Consequently, an improved finite rank theorem and a new rank theorem are deduced. These results will be very useful to nonlinear functional analysis.
A generalized preimage theorem in global analysis
无
2001-01-01
The concept of locally fine point and generalized regular valueof a C1 map between Banach spaces were carried over C1 map between Banach manifolds. Hence the preimage theorem, a principle constructing Banach manifolds in global analysis, is generalized.
Sahoo- and Wayment-Type Integral Mean Value Theorems
Tiryaki, Aydin; Cakmak, Devrim
2010-01-01
In this article, by using Rolle's theorem, we establish some results related to the mean value theorem for integrals. Our results are different from the set of integral mean value theorems which are given by Wayment ["An integral mean value theorem", Math. Gazette 54 (1970), pp. 300-301] and Sahoo ["Some results related to the integral mean value…
A New GLKKM Theorem and Its Application to Abstract Economies
WEN Kai-ting
2012-01-01
In this paper,a new GLKKM theorem in L-convex spaces is established.As applications,a new fixed point theorem and a maximal element theorem are obtained in Lconvex spaces.Finally,equilibrium existence theorems for abstract economies and qualitative games in L-convex spaces are yielded.
Sahoo- and Wayment-Type Integral Mean Value Theorems
Tiryaki, Aydin; Cakmak, Devrim
2010-01-01
In this article, by using Rolle's theorem, we establish some results related to the mean value theorem for integrals. Our results are different from the set of integral mean value theorems which are given by Wayment ["An integral mean value theorem", Math. Gazette 54 (1970), pp. 300-301] and Sahoo ["Some results related to the integral mean value…
Komissarov, S S; Lyutikov, M
2015-01-01
In this paper we describe a simple numerical approach which allows to study the structure of steady-state axisymmetric relativistic jets using one-dimensional time-dependent simulations. It is based on the fact that for narrow jets with v~c the steady-state equations of relativistic magnetohydrodynamics can be accurately approximated by the one-dimensional time-dependent equations after the substitution z=ct. Since only the time-dependent codes are now publicly available this is a valuable and efficient alternative to the development of a high-specialized code for the time-independent equations. The approach is also much cheaper and more robust compared to the relaxation method. We tested this technique against numerical and analytical solutions found in literature as well as solutions we obtained using the relaxation method and found it sufficiently accurate. In the process, we discovered the reason for the failure of the self-similar analytical model of the jet reconfinement in relatively flat atmospheres a...
Robust relativistic bit commitment
Chakraborty, Kaushik; Chailloux, André; Leverrier, Anthony
2016-12-01
Relativistic cryptography exploits the fact that no information can travel faster than the speed of light in order to obtain security guarantees that cannot be achieved from the laws of quantum mechanics alone. Recently, Lunghi et al. [Phys. Rev. Lett. 115, 030502 (2015), 10.1103/PhysRevLett.115.030502] presented a bit-commitment scheme where each party uses two agents that exchange classical information in a synchronized fashion, and that is both hiding and binding. A caveat is that the commitment time is intrinsically limited by the spatial configuration of the players, and increasing this time requires the agents to exchange messages during the whole duration of the protocol. While such a solution remains computationally attractive, its practicality is severely limited in realistic settings since all communication must remain perfectly synchronized at all times. In this work, we introduce a robust protocol for relativistic bit commitment that tolerates failures of the classical communication network. This is done by adding a third agent to both parties. Our scheme provides a quadratic improvement in terms of expected sustain time compared with the original protocol, while retaining the same level of security.
A relativistic trolley paradox
Matvejev, Vadim N.; Matvejev, Oleg V.; Grøn, Ø.
2016-06-01
We present an apparent paradox within the special theory of relativity, involving a trolley with relativistic velocity and its rolling wheels. Two solutions are given, both making clear the physical reality of the Lorentz contraction, and that the distance on the rails between each time a specific point on the rim touches the rail is not equal to 2 π R , where R is the radius of the wheel, but 2 π R / √{ 1 - R 2 Ω 2 / c 2 } , where Ω is the angular velocity of the wheels. In one solution, the wheel radius is constant as the velocity of the trolley increases, and in the other the wheels contract in the radial direction. We also explain two surprising facts. First that the shape of a rolling wheel is elliptical in spite of the fact that the upper part of the wheel moves faster than the lower part, and thus is more Lorentz contracted, and second that a Lorentz contracted wheel with relativistic velocity rolls out a larger distance between two successive touches of a point of the wheel on the rails than the length of a circle with the same radius as the wheels.
Relativistic internally contracted multireference electron correlation methods
Shiozaki, Toru
2015-01-01
We report internally contracted relativistic multireference configuration interaction (ic-MRCI), complete active space second-order perturbation (CASPT2), and strongly contracted n-electron valence state perturbation theory (NEVPT2) on the basis of the four-component Dirac Hamiltonian, enabling accurate simulations of relativistic, quasi-degenerate electronic structure of molecules containing transition-metal and heavy elements. Our derivation and implementation of ic-MRCI and CASPT2 are based on an automatic code generator that translates second-quantized ans\\"atze to tensor-based equations, and to efficient computer code. NEVPT2 is derived and implemented manually. The rovibrational transition energies and absorption spectra of HI and TlH are presented to demonstrate the accuracy of these methods.
Relativistic quantum chemistry on quantum computers
Veis, L.; Visnak, J.; Fleig, T.
2012-01-01
The past few years have witnessed a remarkable interest in the application of quantum computing for solving problems in quantum chemistry more efficiently than classical computers allow. Very recently, proof-of-principle experimental realizations have been reported. However, so far only...... the nonrelativistic regime (i.e., the Schrodinger equation) has been explored, while it is well known that relativistic effects can be very important in chemistry. We present a quantum algorithm for relativistic computations of molecular energies. We show how to efficiently solve the eigenproblem of the Dirac......-Coulomb Hamiltonian on a quantum computer and demonstrate the functionality of the proposed procedure by numerical simulations of computations of the spin-orbit splitting in the SbH molecule. Finally, we propose quantum circuits with three qubits and nine or ten controlled-NOT (CNOT) gates, which implement a proof...
Fractional Dynamics of Relativistic Particle
Tarasov, Vasily E
2011-01-01
Fractional dynamics of relativistic particle is discussed. Derivatives of fractional orders with respect to proper time describe long-term memory effects that correspond to intrinsic dissipative processes. Relativistic particle subjected to a non-potential four-force is considered as a nonholonomic system. The nonholonomic constraint in four-dimensional space-time represents the relativistic invariance by the equation for four-velocity u_{\\mu} u^{\\mu}+c^2=0, where c is a speed of light in vacuum. In the general case, the fractional dynamics of relativistic particle is described as non-Hamiltonian and dissipative. Conditions for fractional relativistic particle to be a Hamiltonian system are considered.
The Michaelis-Menten-Stueckelberg Theorem
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.
Double Soft Theorem for Perturbative Gravity
Saha, Arnab Priya
2016-01-01
Following up on the recent work of Cachazo, He and Yuan \\cite{arXiv:1503.04816 [hep-th]}, we derive the double soft graviton theorem in perturbative gravity. We show that the double soft theorem derived using CHY formula precisely matches with the perturbative computation involving Feynman diagrams. In particular, we find how certain delicate limits of Feynman diagrams play an important role in obtaining this equivalence.
Transversality theorems for the weak topology
2011-01-01
In his 1979 paper Trotman proves, using the techniques of the Thom transversality theorem, that under some conditions on the dimensions of the manifolds under consideration, openness of the set of maps transverse to a stratification in the strong (Whitney) topology implies that the stratification is $(a)$-regular. Here we first discuss the Thom transversality theorem for the weak topology and then give a similiar kind of result for the weak topology, under very weak hypotheses. Recently sever...
Optical theorem for Aharonov-Bohm scattering
Sitenko, Yu A
2011-01-01
Quantum-mechanical scattering off an impermeable magnetic vortex is considered and the optical theorem is derived. The nonvanishing transverse size of the vortex is taken into account, and the Robin boundary condition is imposed on the particle wave function at the edge of the vortex. The persistence of the Fraunhofer diffraction in the short-wavelength limit is shown to be crucial for maintaining the optical theorem in the quasiclassical limit.
The large deviations theorem and ergodicity
Gu Rongbao [School of Finance, Nanjing University of Finance and Economics, Nanjing 210046 (China)
2007-12-15
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.
Herbrand's theorem and non-Euclidean geometry
Beeson, Michael; Boutry, Pierre; Narboux, Julien
2014-01-01
International audience; We use Herbrand's theorem to give a new proof that Eu- clid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non- Euclidean geometry. This proof uses a very old and basic theorem of logic together with some simple properties of ruler-and-compass constructions to give a short, simple, and intuitively appealing proof.
Mental Constructions for The Group Isomorphism Theorem
Arturo Mena-Lorca
2016-03-01
Full Text Available The group isomorphism theorem is an important subject in any abstract algebra undergraduate course; nevertheless, research shows that it is seldom understood by students. We use APOS theory and propose a genetic decomposition that separates it into two statements: the first one for sets and the second with added structure. We administered a questionnaire to students from top Chilean universities and selected some of these students for interviews to gather information about the viability of our genetic decomposition. The students interviewed were divided in two groups based on their familiarity with equivalence relations and partitions. Students who were able to draw on their intuition of partitions were able to reconstruct the group theorem from the set theorem, while those who stayed on the purely algebraic side could not. Since our approach to learning this theorem was successful, it may be worthwhile to gather data while teaching it the way we propose here in order to check how much the learning of the group isomorphism theorem is improved. This approach could be expanded to other group homomorphism theorems provided further analysis is conducted: going from the general (e.g., sets to the particular (e.g., groups might not always the best strategy, but in some cases we may just be turning to more familiar settings.
A novel sampling theorem on the sphere
McEwen, J D
2011-01-01
We develop a novel sampling theorem on the sphere and corresponding fast algorithms by associating the sphere with the torus through a periodic extension. The fundamental property of any sampling theorem is the number of samples required to represent a band-limited signal. To represent exactly a signal on the sphere band-limited at L, all sampling theorems on the sphere require O(L^2) samples. However, our sampling theorem requires less than half the number of samples of other equiangular sampling theorems on the sphere and an asymptotically identical, but smaller, number of samples than the Gauss-Legendre sampling theorem. The complexity of our algorithms scale as O(L^3), however, the continual use of fast Fourier transforms reduces the constant prefactor associated with the asymptotic scaling considerably, resulting in algorithms that are fast. Furthermore, we do not require any precomputation and our algorithms apply to both scalar and spin functions on the sphere without any change in computational comple...
Khare, A; Paranjape, M B; Khare, Avinash; MacKenzie, R; Paranjape, M B
1994-01-01
The Coleman-Hill theorem prohibits the appearance of radiative corrections to the topological mass (more precisely, to the parity-odd part of the vacuum polarization tensor at zero momentum) in a wide class of abelian gauge theories in 2+1 dimensions. We re-express the theorem in terms of the effective action rather than in terms of the vacuum polarization tensor. The theorem so restated becomes somewhat stronger: a known exception to the theorem, spontaneously broken scalar Chern-Simons electrodynamics, obeys the new non-renormalization theorem. Whereas the vacuum polarization {\\sl does} receive a one-loop, parity-odd correction, this does not translate to a radiative contribution to the Chern-Simons term in the effective action. We also point out a new situation, involving scalar fields and parity-odd couplings, which was overlooked in the original analysis, where the conditions of the theorem are satisfied and where the topological mass does, in fact, get a radiative correction.
The modified Poynting theorem and the concept of mutual energy
Zhao, Shuang-ren; Yang, Kang; Yang, Xingang; Yang, Xintie
2015-01-01
The Poynting theorem is generalized to the modified Poynting theorem. In the modified Poynting theorem the electromagnetic field is superimposition of different electromagnetic fields including the field of retarded potential and advanced potential. The media epsilon (permittivity) and mu (permeability) can also be different in the different fields. The concept of mutual energy is introduced which is the difference between the total energy and self-energy. Using the modified Poynting theorem with the concept of the mutual energy the modified mutual energy theorem is derived. Applying time-offset transform and time integral to the modified mutual energy theorem, the time-correlation modified mutual energy theorem is obtained. Assume there are only two fields which are retarded potential, and there is only one media, the modified time-correlation energy theorem becomes the time-correlation energy theorem, which is also referred as the time-correlation reciprocity theorem. Assume there are two electromagnetic fi...
Lei DENG; Ming Ge YANG
2006-01-01
Some new coincidence theorems involving admissible set-valued mappings are proved in general noncompact topological spaces. As applications, some new minimax inequalities, section theorem, best approximation theorem, existence theorems of weighted Nash equilibria and Pareto equilibria for multiobjective games are given in general topological spaces.
Limit Theorems For Closed Queuing Networks With Excess Of Servers
Tsitsiashvili, G.
2013-01-01
In this paper limit theorems for closed queuing networks with excess of servers are formulated and proved. First theorem is a variant of the central limit theorem and is proved using classical results of V.I. Romanovskiy for discrete Markov chains. Second theorem considers a convergence to chi square distribution. These theorems are mainly based on an assumption of servers excess in queuing nodes.
A KKM TYPE THEOREM WITH THEIR APPLICATIONS IN TOPOLOGICAL SPACE%拓扑空间中的KKM型定理及其应用
王彬
2015-01-01
According to a KKM type theorem in topological space with property(H),a matching theorem, a fixed point theorem and a maximal element theorem are obtained in topological space with property(H). Finally, the equilibrium existence theorems for abstract economy in topological space with property(H) is yielded.%利用具有性质(H)的拓扑空间中的KKM型定理，给出了一个匹配定理，一个不动点定理，一个极大元定理。最后作为其应用，在具有性质(H)的拓扑空间得到了抽象经济的平衡存在定理。
Magnetic Dissipation in Relativistic Jets
Yosuke Mizuno
2016-10-01
Full Text Available The most promising mechanisms for producing and accelerating relativistic jets, and maintaining collimated structure of relativistic jets involve magnetohydrodynamical (MHD processes. We have investigated the magnetic dissipation mechanism in relativistic jets via relativistic MHD simulations. We found that the relativistic jets involving a helical magnetic field are unstable for the current-driven kink instability, which leads to helically distorted structure in relativistic jets. We identified the regions of high current density in filamentary current sheets, indicative of magnetic reconnection, which are associated to the kink unstable regions and correlated to the converted regions of magnetic to kinetic energies of the jets. We also found that an over-pressured relativistic jet leads to the generation of a series of stationary recollimation shocks and rarefaction structures by the nonlinear interaction of shocks and rarefaction waves. The differences in the recollimation shock structure due to the difference of the magnetic field topologies and strengths may be observable through mm-VLBI observations and space-VLBI mission.
Relativistic Fractal Cosmologies
Ribeiro, Marcelo B
2009-01-01
This article reviews an approach for constructing a simple relativistic fractal cosmology whose main aim is to model the observed inhomogeneities of the distribution of galaxies by means of the Lemaitre-Tolman solution of Einstein's field equations for spherically symmetric dust in comoving coordinates. This model is based on earlier works developed by L. Pietronero and J.R. Wertz on Newtonian cosmology, whose main points are discussed. Observational relations in this spacetime are presented, together with a strategy for finding numerical solutions which approximate an averaged and smoothed out single fractal structure in the past light cone. Such fractal solutions are shown, with one of them being in agreement with some basic observational constraints, including the decay of the average density with the distance as a power law (the de Vaucouleurs' density power law) and the fractal dimension in the range 1 <= D <= 2. The spatially homogeneous Friedmann model is discussed as a special case of the Lemait...
Relativistic Gravothermal Instabilities
Roupas, Zacharias
2014-01-01
The thermodynamic instabilities of the self-gravitating, classical ideal gas are studied in the case of static, spherically symmetric configurations in General Relativity taking into account the Tolman-Ehrenfest effect. One type of instabilities is found at low energies, where thermal energy becomes too weak to halt gravity and another at high energies, where gravitational attraction of thermal pressure overcomes its stabilizing effect. These turning points of stability are found to depend on the total rest mass $\\mathcal{M}$ over the radius $R$. The low energy instability is the relativistic generalization of Antonov instability, which is recovered in the limit $G\\mathcal{M} \\ll R c^2$ and low temperatures, while in the same limit and high temperatures, the high energy instability recovers the instability of the radiation equation of state. In the temperature versus energy diagram of series of equilibria, the two types of gravothermal instabilities make themselves evident as a double spiral! The two energy l...
Lock, Maximilian P E
2016-01-01
The conflict between quantum theory and the theory of relativity is exemplified in their treatment of time. We examine the ways in which their conceptions differ, and describe a semiclassical clock model combining elements of both theories. The results obtained with this clock model in flat spacetime are reviewed, and the problem of generalizing the model to curved spacetime is discussed, before briefly describing an experimental setup which could be used to test of the model. Taking an operationalist view, where time is that which is measured by a clock, we discuss the conclusions that can be drawn from these results, and what clues they contain for a full quantum relativistic theory of time.
Galilean relativistic fluid mechanics
Ván, Péter
2015-01-01
Single component Galilean-relativistic (nonrelativistic) fluids are treated independently of reference frames. The basic fields are given, their balances, thermodynamic relations and the entropy production is calculated. The usual relative basic fields, the mass, momentum and energy densities, the diffusion current density, the pressure tensor and the heat flux are the time- and spacelike components of the third order mass-momentum-energy density tensor according to a velocity field. The transformation rules of the basic fields are derived and prove that the non-equilibrium thermodynamic background theory, that is the Gibbs relation, extensivity condition and the entropy production is absolute, that is independent of the reference frame and also of the fluid velocity. --- Az egykomponensu Galilei-relativisztikus (azaz nemrelativisztikus) disszipativ folyadekokat vonatkoztatasi rendszertol fuggetlenul targyaljuk. Megadjuk az alapmennyisegeket, ezek merlegeit, a termodinamikai osszefuggeseket es kiszamoljuk az ...
Relativistic Runaway Electrons
Breizman, Boris
2014-10-01
This talk covers recent developments in the theory of runaway electrons in a tokamak with an emphasis on highly relativistic electrons produced via the avalanche mechanism. The rapidly growing population of runaway electrons can quickly replace a large part of the initial current carried by the bulk plasma electrons. The magnetic energy associated with this current is typically much greater than the particle kinetic energy. The current of a highly relativistic runaway beam is insensitive to the particle energy, which separates the description of the runaway current evolution from the description of the runaway energy spectrum. A strongly anisotropic distribution of fast electrons is generally prone to high-frequency kinetic instabilities that may cause beneficial enhancement of runaway energy losses. The relevant instabilities are in the frequency range of whistler waves and electron plasma waves. The instability thresholds reported in earlier work have been revised considerably to reflect strong dependence of collisional damping on the wave frequency and the role of plasma non-uniformity, including radial trapping of the excited waves in the plasma. The talk also includes a discussion of enhanced scattering of the runaways as well as the combined effect of enhanced scattering and synchrotron radiation. A noteworthy feature of the avalanche-produced runaway current is a self-sustained regime of marginal criticality: the inductive electric field has to be close to its critical value (representing avalanche threshold) at every location where the runaway current density is finite, and the current density should vanish at any point where the electric field drops below its critical value. This nonlinear Ohm's law enables complete description of the evolving current profile. Work supported by the U.S. Department of Energy Contract No. DEFG02-04ER54742 and by ITER contract ITER-CT-12-4300000273. The views and opinions expressed herein do not necessarily reflect those of
The Hellmann–Feynman theorem, the comparison theorem, and the envelope theory
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.
What is "Relativistic Canonical Quantization"?
Arbatsky, D. A.
2005-01-01
The purpose of this review is to give the most popular description of the scheme of quantization of relativistic fields that was named relativistic canonical quantization (RCQ). I do not give here the full exact account of this scheme. But with the help of this review any physicist, even not a specialist in the relativistic quantum theory, will be able to get a general view of the content of RCQ, of its connection with other known approaches, of its novelty and of its fruitfulness.
Non-linear energy conservation theorem in the framework of Special Relativity
Teruel, Ginés R Pérez
2015-01-01
In this work we revisit the study of the gravitational interaction in the context of the Special Theory of Relativity. It is found that, as long as the equivalence principle is respected, a relativistic non-linear energy conservation theorem arises in a natural way. We interpret that this non-linear conservation law stresses the non-linear character of the gravitational interaction.The theorem reproduces the energy conservation theorem of Newtonian mechanics in the corresponding low energy limit, but also allows to derive some standard results of post-Newtonian gravity, such as the formula of the gravitational redshift. Guided by this conservation law, we develop a Lagrangian formalism for a particle in a gravitational field. We realize that the Lagrangian can be written in an explicit covariant fashion, and turns out to be the geodesic Lagrangian of a curved Lorentzian manifold. Therefore, any attempt to describe gravity within the Special Theory, leads outside their own domains towards a curved space-time. ...
无
2000-01-01
Applications of locally fine property for operators are further developed. Let E and F be Banach spaces and f: be C1 nonlinear map, where U (x0) is an open set containing point x0∈E. With the locally fine property for Frechet derivatives f′(x) and generalized rank theorem for f′(x), a local conjugacy theorem, i.e. a characteristic condition for f being conjugate to f′(x0) near x0,is proved. This theorem gives a complete answer to the local conjugacy problem. Consequently, several rank theorems in advanced calculus are established, including a theorem for C1 Fredholm map which has been so far unknown. Also with this property the concept of regular value is extended, which gives rise to a generalized principle for constructing Banach submanifolds.
马吉溥
2000-01-01
Applications of locally fine property for operators are further developed. Let E and F be Banach spaces and f: U( x0) E—→F be C1 nonlinear map, where U (x0) is an open set containing point x0∈ E. With the locally fine property for Frechet derivatives f’ (x) and generalized rank theorem for f ’( x), a local conjugacy theorem, i. e. a characteristic condition for f being conjugate to f (x0) near x0,is proved. This theorem gives a complete answer to the local conjugacy problem. Consequently, several rank theorems in advanced calculus are established, including a theorem for C1 Fredholm map which has been so far unknown. Also with this property the concept of regular value is extended, which gives rise to a generalized principle for constructing Banach submanifolds.
Topological interpretation of the Luttinger theorem
Seki, Kazuhiro; Yunoki, Seiji
2017-08-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 noninteracting single-particle Green's functions, is also represented as the winding number of this ratio. The formulation based on the winding number naturally leads to two types of the generalized Luttinger theorem. Exploring two examples of single-band translationally invariant interacting electrons, i.e., simple metal and Mott insulator, we show that the first type falls into the original statement for Fermi liquids given by Luttinger, where poles of the single-particle Green's function appear at the chemical potential, while the second type corresponds to the extended one for nonmetallic cases with no Fermi surface such as insulators and superconductors generalized by Dzyaloshinskii, where zeros of the single-particle Green's function appear at the chemical potential. This formulation also allows us to derive a sufficient condition for the validity of the Luttinger theorem of the first type by applying the Rouche's theorem in complex analysis as an inequality. Moreover, we can rigorously prove in a nonperturbative manner, without assuming any detail of a microscopic Hamiltonian, that the generalized Luttinger theorem of both types is valid for generic interacting fermions as long as the particle-hole symmetry is preserved. Finally, we show that the winding number of the single-particle Green's function can also be associated with the distribution function of quasiparticles, and therefore the number of quasiparticles is equal to the Luttinger volume. This implies that
Anti-Bell - Refutation of Bell's theorem
Barukčić, Ilija
2012-12-01
In general, Albert Einstein as one of "the founding fathers of quantum mechanics" had some problems to accept especially the Copenhagen dominated interpretation of quantum mechanics. Einstein's dissatisfaction with Copenhagen's interpretation of quantum mechanics, the absence of locality and causality within the Copenhagen dominated quantum mechanics lead to the well known Einstein, Podolsky and Rosen thought experiment. According to Einstein et al., the Copenhagen dominated quantum mechanics cannot be regarded as a complete physical theory. The Einstein, Podolsky and Rosen thought experiment was the origin of J. S. Bell's publication in 1964; known as Bell's theorem. Meanwhile, some dramatic violations of Bell's inequality (by so called Bell test experiments) have been reported which is taken as an empirical evidence against local realism and causality at quantum level and as positive evidence in favor of the Copenhagen dominated quantum mechanics. Thus far, Quantum mechanics is still regarded as a "strictly" non-local theory. The purpose of this publication is to refute Bell's original theorem. Thus far, if we accept Bell's theorem as correct, we must accept that +0> = +1. We can derive a logical contradiction out of Bell's theorem, Bell's theorem is refuted.
Generalized fluctuation theorems for classical systems
Agarwal, G. S.; Dattagupta, Sushanta
2015-11-01
The fluctuation theorem has a very special place in the study of nonequilibrium dynamics of physical systems. The form in which it is used most extensively is the Gallavoti-Cohen fluctuation theorem which is in terms of the distribution of the work p (W )/p (-W )=exp(α W ) . We derive the general form of the fluctuation theorems for an arbitrary multidimensional Gaussian Markov process. Interestingly, the parameter α is by no means universal, hitherto taken for granted in the case of linear Gaussian processes. As a matter of fact, conditions under which α does become a universal parameter 1 /K T are found to be rather restrictive. As an application we consider fluctuation theorems for classical cyclotron motion of an electron in a parabolic potential. The motion of the electron is described by four coupled Langevin equations and thus is nontrivial. The generalized theorems are equally valid for nonequilibrium steady states and could be especially important in the presence of anisotropic diffusion.
Ergodic theorem, ergodic theory, and statistical mechanics.
Moore, Calvin C
2015-02-17
This perspective highlights the mean ergodic theorem established by John von Neumann and the pointwise ergodic theorem established by George Birkhoff, proofs of which were published nearly simultaneously in PNAS in 1931 and 1932. These theorems were of great significance both in mathematics and in statistical mechanics. In statistical mechanics they provided a key insight into a 60-y-old fundamental problem of the subject--namely, the rationale for the hypothesis that time averages can be set equal to phase averages. The evolution of this problem is traced from the origins of statistical mechanics and Boltzman's ergodic hypothesis to the Ehrenfests' quasi-ergodic hypothesis, and then to the ergodic theorems. We discuss communications between von Neumann and Birkhoff in the Fall of 1931 leading up to the publication of these papers and related issues of priority. These ergodic theorems initiated a new field of mathematical-research called ergodic theory that has thrived ever since, and we discuss some of recent developments in ergodic theory that are relevant for statistical mechanics.
What could have we been missing while Pauli's Theorem was in force?
Galapon, E A
2006-01-01
Pauli's theorem asserts that the canonical commutation relation $[T,H]=iI$ only admits Hilbert space solutions that form a system of imprimitivities on the real line, so that only non-self-adjoint time operators exist in single Hilbert quantum mechanics. This, however, is contrary to the fact that there is a large class of solutions to $[T,H]=iI$, including self-adjoint time operator solutions for semibounded and discrete Hamiltonians. Consequently the theorem has brushed aside and downplayed the rest of the solution set of the time-energy canonical commutation relation.
Observation of relativistic antihydrogen atoms
Blanford, Glenn DelFosse
1998-01-01
An observation of relativistic antihydrogen atoms is reported in this dissertation. Experiment 862 at Fermi National Accelerator Laboratory observed antihydrogen atoms produced by the interaction of a circulating beam of high momentum (3 < p < 9 GeV/c) antiprotons and a jet of molecular hydrogen gas. Since the neutral antihydrogen does not bend in the antiproton source magnets, the detectors could be located far from the interaction point on a beamline tangent to the storage ring. The detection of the antihydrogen is accomplished by ionizing the atoms far from the interaction point. The positron is deflected by a magnetic spectrometer and detected, as are the back to back photons resulting from its annihilation. The antiproton travels a distance long enough for its momentum and time of flight to be measured accurately. A statistically significant sample of 101 antihydrogen atoms has been observed. A measurement of the cross section for {bar H}{sup 0} production is outlined within. The cross section corresponds to the process where a high momentum antiproton causes e{sup +} e{sup -} pair creation near a nucleus with the e{sup +} being captured by the antiproton. Antihydrogen is the first atom made exclusively of antimatter to be detected. The observation experiment's results are the first step towards an antihydrogen spectroscopy experiment which would measure the n = 2 Lamb shift and fine structure.
Simulating relativistic binaries with Whisky
Baiotti, L.
We report about our first tests and results in simulating the last phase of the coalescence and the merger of binary relativistic stars. The simulations were performed using our code Whisky and mesh refinement through the Carpet driver.
Relativistic effects in atom gravimeters
Tan, Yu-Jie; Shao, Cheng-Gang; Hu, Zhong-Kun
2017-01-01
Atom interferometry is currently developing rapidly, which is now reaching sufficient precision to motivate laboratory tests of general relativity. Thus, it is extremely significant to develop a general relativistic model for atom interferometers. In this paper, we mainly present an analytical derivation process and first give a complete vectorial expression for the relativistic interferometric phase shift in an atom interferometer. The dynamics of the interferometer are studied, where both the atoms and the light are treated relativistically. Then, an appropriate coordinate transformation for the light is performed crucially to simplify the calculation. In addition, the Bordé A B C D matrix combined with quantum mechanics and the "perturbation" approach are applied to make a methodical calculation for the total phase shift. Finally, we derive the relativistic phase shift kept up to a sensitivity of the acceleration ˜1 0-14 m/s 2 for a 10 -m -long atom interferometer.
A generalization of Marstrand's theorem for projections of cartesian products
López, Jorge Erick
2011-01-01
We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Let $K_1,...,K_n$ Borel subsets of $\\mathbb R^{m_1},... ,\\mathbb R^{m_n}$ respectively, and $\\pi:\\mathbb R^{m_1}\\times...\\times\\mathbb R^{m_n}\\to\\mathbb R^k$ be a surjective linear map. We set $$\\mathfrak{m}:=\\min\\{\\sum_{i\\in I}\\dim_H(K_i) + \\dim\\pi(\\bigoplus_{i\\in I^c}\\mathbb R^{m_i}), I\\subset\\{1,...,n\\}, I\
Soliton propagation in relativistic hydrodynamics
Fogaça, D A; 10.1016/j.nuclphysa.2007.03.104
2013-01-01
We study the conditions for the formation and propagation of Korteweg-de Vries (KdV) solitons in nuclear matter. In a previous work we have derived a KdV equation from Euler and continuity equations in non-relativistic hydrodynamics. In the present contribution we extend our formalism to relativistic fluids. We present results for a given equation of state, which is based on quantum hadrodynamics (QHD).
Relativistic formulation and reference frame
Klioner, Sergei A.
2004-01-01
After a short review of experimental foundations of metric theories of gravity, the choice of general relativity as a theory to be used for the routine modeling of Gaia observations is justified. General principles of relativistic modeling of astronomical observations are then sketched and compared to the corresponding Newtonian principles. The fundamental reference system -- Barycentric Celestial Reference System, which has been chosen to be the relativistic reference system underlying the f...
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.
Bayes' theorem: scientific assessment of experience
Lex Rutten
2010-10-01
Full Text Available Homeopathy is based on experience and this is a scientific procedure if we follow Bayes' theorem. Unfortunately this is not the case at the moment. Symptoms are added to our materia medica based on absolute occurrence, while Bayes theorem tells us that this should be based on relative occurrence. Bayes theorem can be applied on prospective research, but also on retrospective research and consensus based on a large number of cases. Confirmation bias is an important source of false data in experience based systems like homeopathy. Homeopathic doctors should become more aware of this and longer follow-up of cases could remedy this. The existing system of adding symptoms to our materia medica is obsolete.
Some Limit Theorems in Geometric Processes
Yeh Lam; Yao-hui Zheng; Yuan-lin Zhang
2003-01-01
Geometric process (GP) was introduced by Lam[4,5], it is defined as a stochastic process {Xn, n =1, 2,...} for which there exists a real number a > 0, such that {an-1Xn, n = 1, 2,...} forms a renewal process (RP). In this paper, we study some limit theorems in GP. We first derive the Wald equation for GP and then obtain the limit theorems of the age, residual life and the total life at t for a GP. A general limit theorem for Sn with a > 1 is also studied. Furthermore, we make a comparison between GP and RP, including the comparison of their limit distributions of the age, residual life and the total life at t.
From Fibonacci Numbers to Central Limit Type Theorems
Miller, Steven J
2010-01-01
A beautiful theorem of Zeckendorf states that every integer can be written uniquely as a sum of non-consecutive Fibonacci numbers $\\{F_n\\}_{n=1}^{\\infty}$. Lekkerkerker proved that the average number of summands for integers in $[F_n, F_{n+1})$ is $n/(\\varphi^2 + 1)$, with $\\varphi$ the golden mean. We prove the following massive generalization: given nonnegative integers $c_1,c_2,\\dots,c_L$ with $c_1,c_L>0$ and recursive sequence $\\{H_n\\}_{n=1}^{\\infty}$ with $H_1=1$, $H_{n+1} =c_1H_n+c_2H_{n-1}+\\cdots +c_nH_1+1$ $(1\\le n< L)$ and $H_{n+1}=c_1H_n+c_2H_{n-1}+\\cdots +c_LH_{n+1-L}$ $(n\\geq L)$, every positive integer can be written uniquely as $\\sum a_iH_i$ under natural constraints on the $a_i$'s, the mean and the variance of the numbers of summands for integers in $[H_{n}, H_{n+1})$ are of size $n$, and the distribution of the numbers of summands converges to a Gaussian as $n$ goes to the infinity. Previous approaches were number theoretic, involving continued fractions, and were limited to results on exis...
iVPIC: A low-dispersion, energy-conserving relativistic PIC solver for LPI simulations
Chacon, Luis [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)
2017-06-07
We have developed a novel low-dispersion, exactly energy-conserving PIC algorithm for the relativistic Vlasov-Maxwell system. The approach features an exact energy conservation theorem while preserving the favorable performance and numerical dispersion properties of explicit PIC. The new algorithm has the potential to enable much longer laser-plasma-interaction (LPI) simulations than are currently possible.
Particle dynamics in a relativistic invariant stochastic medium
Cabo-Bizet, A; Cabo-Bizet, Alejandro; Oca, Alejandro Cabo Montes de
2005-01-01
The dynamics of particles moving in a medium defined by its relativistically invariant stochastic properties is investigated. For this aim, the force exerted on the particles by the medium is defined by a stationary random variable as a function of the proper time of the particles. The equations of motion for a single one-dimensional particle are obtained and numerically solved. A conservation law for the drift momentum of the particle during its random motion is shown. Moreover, the conservation of the mean value of the total linear momentum for two particles repelling each other according with the Coulomb interaction is also following. Therefore, the results indicate the realization of a kind of stochastic Noether theorem in the system under study. Possible applications to the stochastic representation of Quantum Mechanics are advanced.
Particle dynamics in a relativistic invariant stochastic medium
Cabo-Bizet, Alejandro [Facultad de Fisica, Universidad de La Habana, Colina Universitaria, Havana (Cuba); Cabo Montes de Oca, Alejandro [Grupo de Fisica Teorica, Instituto de Cibernetica, Matematica y Fisica, Havana (Cuba) and Abdus Salam International Center for Theoretical Physics, Strada Costiera 11, Miramare, Trieste (Italy)]. E-mail: cabo@fis.puc.cl
2006-11-27
The dynamics of particles moving in a medium defined by its relativistically invariant stochastic properties is investigated. For this aim, the force exerted on the particles by the medium is defined by a stationary random variable as a function of the proper time of the particles. The equations of motion for a single one-dimensional particle are obtained and numerically solved. A conservation law for the drift momentum of the particle during its random motion is shown. Moreover, the conservation of the mean value of the total linear momentum for two particles repelling each other according to the Coulomb interaction also follows. Therefore, the results indicate the realization of a kind of stochastic Noether theorem in the system under study.
De Zela, F.
2016-10-01
Born's quantum probability rule is traditionally included among the quantum postulates as being given by the squared amplitude projection of a measured state over a prepared state, or else as a trace formula for density operators. Both Gleason's theorem and Busch's theorem derive the quantum probability rule starting from very general assumptions about probability measures. Remarkably, Gleason's theorem holds only under the physically unsound restriction that the dimension of the underlying Hilbert space {H} must be larger than two. Busch's theorem lifted this restriction, thereby including qubits in its domain of validity. However, while Gleason assumed that observables are given by complete sets of orthogonal projectors, Busch made the mathematically stronger assumption that observables are given by positive operator-valued measures. The theorem we present here applies, similarly to the quantum postulate, without restricting the dimension of {H} and for observables given by complete sets of orthogonal projectors. We also show that the Born rule applies beyond the quantum domain, thereby exhibiting the common root shared by some quantum and classical phenomena.
Spectral mapping theorems a bluffer's guide
Harte, Robin
2014-01-01
Written by an author who was at the forefront of developments in multi-variable spectral theory during the seventies and the eighties, this guide sets out to describe in detail the spectral mapping theorem in one, several and many variables. The basic algebraic systems – semigroups, rings and linear algebras – are summarised, and then topological-algebraic systems, including Banach algebras, to set up the basic language of algebra and analysis. Spectral Mapping Theorems is written in an easy-to-read and engaging manner and will be useful for both the beginner and expert. It will be of great importance to researchers and postgraduates studying spectral theory.
Jarzynski's theorem for lattice gauge theory
Caselle, Michele; Nada, Alessandro; Panero, Marco; Toniato, Arianna
2016-01-01
Jarzynski's theorem is a well-known equality in statistical mechanics, which relates fluctuations in the work performed during a non-equilibrium transformation of a system, to the free-energy difference between two equilibrium states. In this article, we extend Jarzynski's theorem to lattice gauge theory, and present examples of applications for two challenging computational problems, namely the calculation of interface free energies and the determination of the equation of state. We conclude with a discussion of further applications of interest in QCD and in other strongly coupled gauge theories, in particular for the Schroedinger functional and for simulations at finite density using reweighting techniques.
Central Limit Theorem for Nonlinear Hawkes Processes
Zhu, Lingjiong
2012-01-01
Hawkes process is a self-exciting point process with clustering effect whose jump rate depends on its entire past history. It has wide applications in neuroscience, finance and many other fields. Linear Hawkes process has an immigration-birth representation and can be computed more or less explicitly. It has been extensively studied in the past and the limit theorems are well understood. On the contrary, nonlinear Hawkes process lacks the immigration-birth representation and is much harder to analyze. In this paper, we obtain a functional central limit theorem for nonlinear Hawkes process.
Limit theorems for fragmentation processes with immigration
Knobloch, Robert
2012-01-01
In this paper we extend two limit theorems which were recently obtained for fragmentation processes to such processes with immigration. More precisely, in the setting with immigration we consider a limit theorem for the process counted with a random characteristic as well as the asymptotic behaviour of an empirical measure associated with the stopping line corresponding to the first blocks, in their respective line of descent, that are smaller than a given size. In addition, we determine the asymptotic decay rate of the size of the largest block in a homogeneous fragmentation process with immigration. The techniques used to proves these results are based on submartingale arguments.
A Noether Theorem for Markov Processes
Baez, John C
2012-01-01
Noether's theorem links the symmetries of a quantum system with its conserved quantities, and is a cornerstone of quantum mechanics. Here we prove a version of Noether's theorem for Markov processes. In quantum mechanics, an observable commutes with the Hamiltonian if and only if its expected value remains constant in time for every state. For Markov processes that no longer holds, but an observable commutes with the Hamiltonian if and only if both its expected value and standard deviation are constant in time for every state.
General Common Fixed Point Theorems and Applications
Shyam Lal Singh
2012-01-01
Full Text Available The main result is a common fixed point theorem for a pair of multivalued maps on a complete metric space extending a recent result of Đorić and Lazović (2011 for a multivalued map on a metric space satisfying Ćirić-Suzuki-type-generalized contraction. Further, as a special case, we obtain a generalization of an important common fixed point theorem of Ćirić (1974. Existence of a common solution for a class of functional equations arising in dynamic programming is also discussed.
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
Generalizations of the Abstract Boundary singularity theorem
Whale, Ben E; Scott, Susan M
2015-01-01
The Abstract Boundary singularity theorem was first proven by Ashley and Scott. It links the existence of incomplete causal geodesics in strongly causal, maximally extended spacetimes to the existence of Abstract Boundary essential singularities, i.e., non-removable singular boundary points. We give two generalizations of this theorem: the first to continuous causal curves and the distinguishing condition, the second to locally Lipschitz curves in manifolds such that no inextendible locally Lipschitz curve is totally imprisoned. To do this we extend generalized affine parameters from $C^1$ curves to locally Lipschitz curves.
Barbu, Catalin
2010-01-01
Hyperbolic Geometry appeared in the first half of the 19th century as an attempt to understand Euclid's axiomatic basis of Geometry. It is also known as a type of non-Euclidean Geometry, being in many respects similar to Euclidean Geometry.
Refining a relativistic, hydrodynamic solver: Admitting ultra-relativistic flows
Bernstein, J. P.; Hughes, P. A.
2009-09-01
We have undertaken the simulation of hydrodynamic flows with bulk Lorentz factors in the range 102-106. We discuss the application of an existing relativistic, hydrodynamic primitive variable recovery algorithm to a study of pulsar winds, and, in particular, the refinement made to admit such ultra-relativistic flows. We show that an iterative quartic root finder breaks down for Lorentz factors above 102 and employ an analytic root finder as a solution. We find that the former, which is known to be robust for Lorentz factors up to at least 50, offers a 24% speed advantage. We demonstrate the existence of a simple diagnostic allowing for a hybrid primitives recovery algorithm that includes an automatic, real-time toggle between the iterative and analytical methods. We further determine the accuracy of the iterative and hybrid algorithms for a comprehensive selection of input parameters and demonstrate the latter’s capability to elucidate the internal structure of ultra-relativistic plasmas. In particular, we discuss simulations showing that the interaction of a light, ultra-relativistic pulsar wind with a slow, dense ambient medium can give rise to asymmetry reminiscent of the Guitar nebula leading to the formation of a relativistic backflow harboring a series of internal shockwaves. The shockwaves provide thermalized energy that is available for the continued inflation of the PWN bubble. In turn, the bubble enhances the asymmetry, thereby providing positive feedback to the backflow.
A Dual of the Compression-Expansion Fixed Point Theorems
Henderson Johnny
2007-01-01
Full Text Available This paper presents a dual of the fixed point theorems of compression and expansion of functional type as well as the original Leggett-Williams fixed point theorem. The multi-valued situation is also discussed.
A Note on a Broken-Cycle Theorem for Hypergraphs
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 duality theorem of crossed coproduct for Hopf algebras
王栓宏
1995-01-01
A duality theorem for Hopf crossed coproduct is proved. This theorem plays a role similar to that appearing in the work of Koppinen (which generalized the corresponding results of group grraded ring).
Adiabatic limits,vanishing theorems and the noncommutative residue
无
2009-01-01
In this paper,we compute the adiabatic limit of the scalar curvature and prove several vanishing theorems by taking adiabatic limits.As an application,we give a Kastler-Kalau-Walze type theorem for foliations.
Lp-inverse theorem for modified beta operators
V. K. Jain
2003-04-01
Full Text Available We obtain a converse theorem for the linear combinations of modified beta operators whose weight function is the Baskakov operators. To prove our inverse theorem, we use the technique of linear approximating method, namely, Steklov mean.
Application of the residue theorem to bilateral hypergeometric series
Wenchang Chu
2007-12-01
Full Text Available The application of the residue theorem to bilateral hypergeometric series identities is systematically reviewed by exemplifying three classes of summation theorems due to Dougall (1907, Jackson (1949, 1952 and Slater-Lakin (1953.
An existence theorem for Volterra integrodifferential equations with infinite delay
Ferenc Izsak
2003-01-01
Full Text Available Using Schauder's fixed point theorem, we prove an existence theorem for Volterra integrodifferential equations with infinite delay. As an appplication, we consider an $n$ species Lotka-Volterra competitive system.
Central Limit Theorem for Coloured Hard Dimers
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.
Generalization of the Hellmann-Feynman theorem
Esteve, J.G., E-mail: esteve@unizar.e [Departamento de Fisica Teorica, Facultad de Ciencias, Universidad de Zaragoza, 50009 Zaragoza (Spain); Instituto de Biocomputacion y Fisica de Sistemas complejos (BIFI), Universidad de Zaragoza, 50009 Zaragoza (Spain); Falceto, Fernando [Departamento de Fisica Teorica, Facultad de Ciencias, Universidad de Zaragoza, 50009 Zaragoza (Spain); Instituto de Biocomputacion y Fisica de Sistemas complejos (BIFI), Universidad de Zaragoza, 50009 Zaragoza (Spain); Garcia Canal, C. [Laboratorio de Fisica Teorica, Departamento de Fisica, Facultad de Ciencias Exactas, Universidad Nacional de La Plata and IFLP-CONICET (Argentina)
2010-01-25
The well-known Hellmann-Feynman theorem of quantum mechanics connected with the derivative of the eigenvalues with respect to a parameter upon which the Hamiltonian depends, is generalized to include cases in which the domain of definition of the Hamiltonian of the system also depends on that parameter.
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…
A simpler derivation of the coding theorem
Lomnitz, Yuval
2012-01-01
A simple proof for the Shannon coding theorem, using only the Markov inequality, is presented. The technique is useful for didactic purposes, since it does not require many preliminaries and the information density and mutual information follow naturally in the proof. It may also be applicable to situations where typicality is not natural.
Ptolemy's Theorem and Familiar Trigonometric Identities.
Bidwell, James K.
1993-01-01
Integrates the sum, difference, and multiple angle identities into an examination of Ptolemy's Theorem, which states that the sum of the products of the lengths of the opposite sides of a quadrilateral inscribed in a circle is equal to the product of the lengths of the diagonals. (MDH)
The central limit theorem and chaos
NIU Ying-xuan
2009-01-01
Let X be a compact metric space and f : X → X be a continuous map. This paper studies some relationships between stochastic and topological properties of dynamical systems.It is shown that if f satisfies the central limit theorem, then f is topologically ergodic and f is sensitively dependent on initial conditions if and only if f is neither minimal nor equicontinuous.
JACKSON‘S THEOREM FOR COMPACT GROUPS
H.Vaezi; S.F.Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by (Shuf)(g)=∫Gf(tut-1g)dt on compact group G and by help of this operator we define “Spherical” modulus of continuity.So we prove Stechkin and Jackson type theorems.
A cosmological no-hair theorem
Chambers, C M; Chris M Chambers; Ian G Moss
1994-01-01
A generalisation of Price's theorem is given for application to Inflationary Cosmologies. Namely, we show that on a Schwarzschild--de Sitter background there are no static solutions to the wave or gravitational perturbation equations for modes with angular momentum greater than their intrinsic spin.
Multiplier theorems for special Hermite expansions on
张震球; 郑维行
2000-01-01
The weak type (1,1) estimate for special Hermite expansions on Cn is proved by using the Calderon-Zygmund decomposition. Then the multiplier theorem in Lp(1 < p < ω ) is obtained. The special Hermite expansions in twisted Hardy space are also considered. As an application, the multipli-ers for a certain kind of Laguerre expansions are given in Lp space.
Lagrange’s Four-Square Theorem
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].
SOME REFINEMENTS OF ENESTROM-KAKEYA THEOREM
A.Aziz; B.A.Zargar
2007-01-01
In this paper we present certain interesting refinements of a well-known Enestrom-Kakeya theorem in the theory of distribution of zeros of polynomials which among other things also improve upon some results of Aziz and Mohammad, Govil and Rehman and others.
The Viner-Wong Envelope Theorem.
Silberberg, Eugene
1999-01-01
Observes that the envelope theorem, a fundamental tool in duality analysis, is still a puzzle to many people. Argues that the essence of a solution proposed by Paul Samuelson (1947) is also unclear to many people, but can be communicated with a simple cost diagram. Presents and explains the proposed diagram. (DSK)
Some Generalizations of Jungck's Fixed Point Theorem
J. R. Morales
2012-01-01
Full Text Available We are going to generalize the Jungck's fixed point theorem for commuting mappings by mean of the concepts of altering distance functions and compatible pair of mappings, as well as, by using contractive inequalities of integral type and contractive inequalities depending on another function.
A non-differentiable Noether's theorem
Cresson, Jacky; Greff, Isabelle
2011-02-01
In the framework of the nondifferentiable embedding of Lagrangian systems, defined by Cresson and Greff [non-dierentiable embedding of lagrangian systems and partial dierential equations. Preprint Max-Plank-Institut für Mathematik in den Naturwissenschaften, Leipzig 16, 26 (2010)], we prove a Noether's theorem based on the lifting of one-parameter groups of diffeomorphisms.
Fixed Point Theorems for Asymptotically Contractive Multimappings
M. Djedidi
2012-01-01
Full Text Available We present fixed point theorems for a nonexpansive set-valued mapping from a closed convex subset of a reflexive Banach space into itself under some asymptotic contraction assumptions. Some existence results of coincidence points and eigenvalues for multimappings are given.
Agreement Theorems in Dynamic-Epistemic Logic
Degremont, Cedric; Roy, Oliver
2012-01-01
This paper introduces Agreement Theorems to dynamic-epistemic logic. We show first that common belief of posteriors is sufficient for agreement in epistemic-plausibility models, under common and well-founded priors. We do not restrict ourselves to the finite case, showing that in countable structure
An extension theorem for conformal gauge singularities
Tod, Paul
2007-01-01
We analyse conformal gauge, or isotropic, singularities in cosmological models in general relativity. Using the calculus of tractors, we find conditions in terms of tractor curvature for a local extension of the conformal structure through a cosmological singularity and prove a local extension theorem.
A Generalized Krein-Rutman Theorem
Zhang, Lei
2016-01-01
A generalized Krein-Rutman theorem for a strongly positive bounded linear operator whose spectral radius is larger than essential spectral radius is established: the spectral radius of the operator is an algebraically simple eigenvalue with strongly positive eigenvector and other eigenvalues are less than the spectral radius.
Stokes' theorem, volume growth and parabolicity
Valtorta, Daniele
2010-01-01
We present some new Stokes'type theorems on complete non-compact manifolds that extend, in different directions, previous work by Gaffney and Karp and also the so called Kelvin-Nevanlinna-Royden criterion for (p-)parabolicity. Applications to comparison and uniqueness results involving the p-Laplacian are deduced.
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.
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.…
The Fundamental Theorems of Interval Analysis
van Emden, M. H.; Moa, B.
2007-01-01
Expressions are not functions. Confusing the two concepts or failing to define the function that is computed by an expression weakens the rigour of interval arithmetic. We give such a definition and continue with the required re-statements and proofs of the fundamental theorems of interval arithmetic and interval analysis. Revision Feb. 10, 2009: added reference to and acknowledgement of P. Taylor.
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...
Nash-Williams’ cycle-decomposition theorem
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...
Tennis Rackets and the Parallel Axis Theorem
Christie, Derek
2014-01-01
This simple experiment uses an unusual graph straightening exercise to confirm the parallel axis theorem for an irregular object. Along the way, it estimates experimental values for g and the moment of inertia of a tennis racket. We use Excel to find a 95% confidence interval for the true values.
Average sampling theorems for shift invariant subspaces
无
2000-01-01
The sampling theorem is one of the most powerful results in signal analysis. In this paper, we study the average sampling on shift invariant subspaces, e.g. wavelet subspaces. We show that if a subspace satisfies certain conditions, then every function in the subspace is uniquely determined and can be reconstructed by its local averages near certain sampling points. Examples are given.
On the Hardy-Littlewood maximal theorem
Shinji Yamashita
1982-01-01
Full Text Available The Hardy-Littlewood maximal theorem is extended to functions of class PL in the sense of E. F. Beckenbach and T. Radó, with a more precise expression of the absolute constant in the inequality. As applications we deduce some results on hyperbolic Hardy classes in terms of the non-Euclidean hyperbolic distance in the unit disk.
Crum's Theorem for `Discrete' Quantum Mechanics
Odake, Satoru; Sasaki, Ryu
2009-01-01
In one-dimensional quantum mechanics, or the Sturm-Liouville theory, Crum's theorem describes the relationship between the original and the associated Hamiltonian systems, which are iso-spectral except for the lowest energy state. Its counterpart in `discrete' quantum mechanics is formulated algebraically, elucidating the basic structure of the discrete quantum mechanics, whose Schr\\"odinger equation is a difference equation.
1/4-pinched contact sphere theorem
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 res...
Green's Theorem for Generalized Fractional Derivatives
Odzijewicz, Tatiana; Torres, Delfim F M
2012-01-01
We study three types of generalized partial fractional operators. An extension of Green's theorem, by considering partial fractional derivatives with more general kernels, is proved. New results are obtained, even in the particular case when the generalized operators are reduced to the standard partial fractional derivatives and fractional integrals in the sense of Riemann-Liouville or Caputo.
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…
A non-archimedean Montel's theorem
Favre, Charles; Trucco, Eugenio
2011-01-01
We prove a version of Montel's theorem for analytic functions over a non-archimedean complete valued field. We propose a definition of normal family in this context, and give applications of our results to the dynamics of non-archimedean entire functions.
Norton's theorem for batch routing queueing networks
Bause, Falko; Boucherie, Richard J.; Buchholz, Peter
2001-01-01
This paper shows that the aggregation and decomposition result known as Norton’s theorem for queueing networks can be extended to a general class of batch routing queueing networks with product-form solution that allows for multiple components to simultaneously release and receive (batches of) custo
Generalized entropy production fluctuation theorems for quantum systems
Subhashis Rana; Sourabh Lahiri; A M Jayannavar
2013-02-01
Based on trajectory-dependent path probability formalism in state space, we derive generalized entropy production fluctuation relations for a quantum system in the presence of measurement and feedback. We have obtained these results for three different cases: (i) the system is evolving in isolation from its surroundings; (ii) the system being weakly coupled to a heat bath; and (iii) system in contact with reservoir using quantum Crooks fluctuation theorem. In Case (iii), we build on the treatment carried out by H T Quan and H Dong [arXiv/cond-mat:0812.4955], where a quantum trajectory has been defined as a sequence of alternating work and heat steps. The obtained entropy production fluctuation theorems (FTs) retain the same form as in the classical case. The inequality of second law of thermodynamics gets modified in the presence of information. These FTs are robust against intermediate measurements of any observable performed with respect to von Neumann projective measurements as well as weak or positive operator-valued measurements.
A brief introduction to non-relativistic supergravity
Zojer, Thomas [Van Swinderen Institute for Particle Physics and Gravity, University of Groningen (Netherlands)
2016-04-15
Non-relativistic geometries have received more attention lately. We review our attempts to construct supersymmetric extensions of this so-called Newton-Cartan geometry in three space-time dimensions. (copyright 2015 WILEY-VCH Verlag GmbH and Co. KGaA, Weinheim)
Two Theorems on Calculating the Relative Entropy of Entanglement
WU Sheng-Jun; ZHANG Yong-De; WU Qiang
2001-01-01
We present two theorems on calculating the relative entropy of entanglement. Theorem 1 is an extension of Vedral and Plenio's theorem (Phys. Rev. A 57 (1998) 1619) for pure states, which is useful for calculating the relative entropy of entanglement for all pure states as well as for a class of mixed states. Theorem 2 gives the relative entropy of entanglement for any bipartite state whose tripartite purification has two separable reduced bipartite states.
Nonempty intersection theorems in topological spaces with applications
Min FANG; Nan-jing HUANG
2009-01-01
In this paper,we establish some new nonempty intersection theorems for generalized L-KKM mappings and prove some new fixed point theorems for set-valued mappings under suitable conditions in topological spaces.As applications,an existence theorem for an equilibrium problem with lower and upper bounds and two existence theorems for a quasi-equilibrium problem with lower and upper bounds are obtained in topological spaces.Our results generalize some known results in the literature.
Ehrenfest theorem, Galilean invariance and nonlinear Schr"odinger equations
Kälbermann, G
2003-01-01
Galilean invariant Schr"odinger equations possessing nonlinear terms coupling the amplitude and the phase of the wave function can violate the Ehrenfest theorem. An example of this kind is provided. The example leads to the proof of the theorem: A Galilean invariant Schr"odinger equation derived from a lagrangian density obeys the Ehrenfest theorem. The theorem holds for any linear or nonlinear lagrangian.
Empirical Foundations of Relativistic Gravity
Ni, W T
2005-01-01
In 1859, Le Verrier discovered the mercury perihelion advance anomaly. This anomaly turned out to be the first relativistic-gravity effect observed. During the 141 years to 2000, the precisions of laboratory and space experiments, and astrophysical and cosmological observations on relativistic gravity have been improved by 3 orders of magnitude. In 1999, we envisaged a 3-6 order improvement in the next 30 years in all directions of tests of relativistic gravity. In 2000, the interferometric gravitational wave detectors began their runs to accumulate data. In 2003, the measurement of relativistic Shapiro time-delay of the Cassini spacecraft determined the relativistic-gravity parameter gammaγ with a 1.5-order improvement. In October 2004, Ciufolini and Pavlis reported a measurement of the Lense-Thirring effect on the LAGEOS and LAGEOS2 satellites to 10 percent of the value predicted by general relativity. In April 2004, Gravity Probe B was launched and has been accumulating science data for more than ...
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, . 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 , where is the of the Weibull function that fits best to the cumulative noise distribution, and depends on the transducer. We derive general expressions for and , from which we derive expressions for specific cases. One case that follows naturally from our general analysis is Pelli's finding that, when , . 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-independent, it has lower kurtosis than a Gaussian. PMID:24124456
A remark on Kov\\'acs' vanishing theorem
Fujino, Osamu
2012-01-01
We give an alternative proof of Kov\\'acs' vanishing theorem. Our proof is based on the standard arguments of the minimal model theory. We do not need the notion of Du Bois pairs. We reduce Kov\\'acs' vanishing theorem to the well-known relative Kawamata--Viehweg--Nadel vanishing theorem.
A Simple Geometrical Derivation of the Spatial Averaging Theorem.
Whitaker, Stephen
1985-01-01
The connection between single phase transport phenomena and multiphase transport phenomena is easily accomplished by means of the spatial averaging theorem. Although different routes to the theorem have been used, this paper provides a route to the averaging theorem that can be used in undergraduate classes. (JN)
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
ON COLLECTIVELY FIXED POINT THEOREMS ON FC-SPACES
Yongjie Piao
2010-01-01
Based on a KKM type theorem on FC-space,some new fixed point theorems for Fan-Browder type are established,and then some collectively fixed point theorems for a family of Φ-maps defined on product space of FC-spaees are given.These results generalize and improve many corresponding results.
Generalized Levinson theorem: Applications to electron-atom scattering
Rosenberg, Leonard; Spruch, Larry
1996-12-01
A recent formulation provides an absolute definition of the zero-energy phase shift δ for multiparticle single-channel scattering of a particle by a neutral compound target in a given partial wave l. This formulation, along with the minimum principle for the scattering length, leads to a determination of δ that represents a generalization of Levinson's theorem. In its original form that theorem is applicable only to potential scattering of a particle and relates δ/π to the number of bound states of that l. The generalized Levinson theorem relates δ/π for scattering in a state of given angular momentum to the number of composite bound states of that angular momentum plus a calculable number that, for a system described in the Hartree-Fock approximation, is the number of states of that angular momentum excluded by the Pauli principle. Thus, for example, for electron scattering by Na, with its (1s)2(2s)2(2p)63s configuration and with one L=0 singlet composite bound state, δ would be π+2π for s-wave singlet scattering, 0+3π for s-wave triplet scattering, and 0+π for both triplet and singlet p-wave scattering; the Pauli contribution has been listed first. The method is applicable to a number of e+/--atom and nucleon-nucleus scattering processes, but only applications of the former type are described here. We obtain the absolute zero-energy phase shifts for e--H and e--He scattering and, in the Hartree-Fock approximation for the target, for atoms that include the noble gases, the alkali-metal atoms, and, as examples, B, C, N, O, and F, which have one, two, three, four, and five p electrons, respectively, outside of closed shells. In all cases, the applications provide results in agreement with expectations.
Back to epicycles - relativistic Coulomb systems in velocity space
Ben-Ya'acov, Uri
2017-05-01
The study of relativistic Coulomb systems in velocity space is prompted by the fact that the study of Newtonian Kepler/Coulomb systems in velocity space, although less familiar than the analytic solutions in ordinary space, provides a much simpler (also more elegant) method. The simplicity and elegance of the velocity-space method derives from the linearity of the velocity equation, which is the unique feature of 1/r interactions for Newtonian and relativistic systems alike. The various types of possible trajectories are presented, their properties deduced from the orbits in velocity space, accompanied with illustrations. In particular, it is found that the orbits traversed in the relativistic velocity space (which is hyperbolic (H 3) rather than Euclidean) are epicyclic - circles whose centres also rotate - thus the title. Dedicated to the memory of J. D. Bekenstein - physicist, teacher and human
Index Theorems on Torsional Geometries
Kimura, Tetsuji
2007-01-01
We study various topological invariants on a differential geometry in the presence of a totally anti-symmetric torsion H under the closed condition dH=0. By using the identification between the Clifford algebra on a geometry and the canonical quantization condition of fermion in the quantum mechanics, we construct the N=1 quantum mechanical sigma model in the Hamiltonian formalism and extend this model to N=2 system, equipped with the totally anti-symmetric tensor associated with the torsion on the target space geometry. Next we construct transition elements in the Lagrangian path integral formalism and apply them to the analyses of the Witten indices in supersymmetric systems. We improve the formulation of the Dirac index on the torsional geometry which has already been studied. We also formulate the Euler characteristic and the Hirzebruch signature on the torsional geometry.
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.
Distortion theorems on the Lie ball R_Ⅳ(n) in C~n
WANG JianFei; LIU TaiShun; XU HuiMing
2009-01-01
In this paper,we introduce the subfamilies Hm (R_Ⅳ(n)) of holomorphic mappings defined on the Lie ball R_Ⅳ(n) which reduce to the family of holomorphic mappings and the family of locally biholomorphic mappings when m = 1 and m→+∞,respectively. Various distortion theorems for holomophic mappings Hm(R_Ⅳ(n)) are established. The distortion theorems coincide with Liu and Minda's as the special case of the unit disk. When m = 1 and m →+∞,the distortion theorems reduce to the results obtained by Gong for R_Ⅳ(n),respectively. Moreover,our method is different. As an application,the bounds for Bloch constants of H_m(R_Ⅳ(n)) are given.
Relativistic causality and clockless circuits
Matherat, Philippe; 10.1145/2043643.2043650
2011-01-01
Time plays a crucial role in the performance of computing systems. The accurate modelling of logical devices, and of their physical implementations, requires an appropriate representation of time and of all properties that depend on this notion. The need for a proper model, particularly acute in the design of clockless delay-insensitive (DI) circuits, leads one to reconsider the classical descriptions of time and of the resulting order and causal relations satisfied by logical operations. This questioning meets the criticisms of classical spacetime formulated by Einstein when founding relativity theory and is answered by relativistic conceptions of time and causality. Applying this approach to clockless circuits and considering the trace formalism, we rewrite Udding's rules which characterize communications between DI components. We exhibit their intrinsic relation with relativistic causality. For that purpose, we introduce relativistic generalizations of traces, called R-traces, which provide a pertinent des...
Gabriel, G. J.
1980-01-01
A new theorem on a class of four-dimensional skew-symmetric tensors is demonstrated. Coupled with the relativistic covariant form of Maxwell's equations, this theorem consolidates the classifications of guided waves by combining the three types - TE, TM, TEM - under a uniform condition applied to the generating four-potential which is Lorentz invariant. Each type corresponds to a potential of which a pair of the four components vanishes in a particular frame. Through appropriate normalization conditions, the resulting time-domain equations for the field amplitudes are readily reduced to modified telegraphist equations, which in turn lead to distributed network representations for each of the three types. The ambiguity of distributed network formalisms in general is elucidated and the concept of network parameter densities such as traditionally employed in TEM transmission line theory is questioned.
Post-Newtonian reference ellipsoid for relativistic geodesy
Kopeikin, Sergei; Han, Wenbiao; Mazurova, Elena
2016-02-01
We apply general relativity to construct the post-Newtonian background manifold that serves as a reference spacetime in relativistic geodesy for conducting a relativistic calculation of the geoid's undulation and the deflection of the plumb line from the vertical. We chose an axisymmetric ellipsoidal body made up of a perfect homogeneous fluid uniformly rotating around a fixed axis, as a source generating the reference geometry of the background manifold through Einstein's equations. We then reformulate and extend hydrodynamic calculations of rotating fluids done by a number of previous researchers for astrophysical applications to the realm of relativistic geodesy to set up algebraic equations defining the shape of the post-Newtonian reference ellipsoid. To complete this task, we explicitly perform all integrals characterizing gravitational field potentials inside the fluid body and represent them in terms of the elementary functions depending on the eccentricity of the ellipsoid. We fully explore the coordinate (gauge) freedom of the equations describing the post-Newtonian ellipsoid and demonstrate that the fractional deviation of the post-Newtonian level surface from the Maclaurin ellipsoid can be made much smaller than the previously anticipated estimate based on the astrophysical application of the coordinate gauge advocated by Bardeen and Chandrasekhar. We also derive the gauge-invariant relations of the post-Newtonian mass and the constant angular velocity of the rotating fluid with the parameters characterizing the shape of the post-Newtonian ellipsoid including its eccentricity, a semiminor axis, and a semimajor axis. We formulate the post-Newtonian theorems of Pizzetti and Clairaut that are used in geodesy to connect the geometric parameters of the reference ellipsoid to the physically measurable force of gravity at the pole and equator of the ellipsoid. Finally, we expand the post-Newtonian geodetic equations describing the post-Newtonian ellipsoid to
Soft theorems from string theory
Di Vecchia, Paolo [The Niels Bohr Institute, University of Copenhagen (Denmark); Nordita, KTH Royal Institute of Technology and Stockholm University (Sweden); Marotta, Raffaele [Istituto Nazionale di Fisica Nucleare, Sezione di Napoli (Italy); Complesso Universitario di Monte S. Angelo, Napoli (Italy); Mojaza, Matin [Nordita, KTH Royal Institute of Technology and Stockholm University (Sweden)
2016-04-15
Soft behaviour of closed string amplitudes involving dilatons, gravitons and anti-symmetric tensors, is studied in the framework of bosonic string theory. The leading double soft limit of gluons is analysed as well, starting from scattering amplitudes computed in the open bosonic string. Field theory expressions are then obtained by sending the string tension to infinity. The presented results have been derived in the papers of Ref [1]. (copyright 2016 WILEY-VCH Verlag GmbH and Co. KGaA, Weinheim)
Relativistic RPA in axial symmetry
Arteaga, D Pena; 10.1103/PhysRevC.77.034317
2009-01-01
Covariant density functional theory, in the framework of self-consistent Relativistic Mean Field (RMF) and Relativistic Random Phase approximation (RPA), is for the first time applied to axially deformed nuclei. The fully self-consistent RMF+RRPA equations are posed for the case of axial symmetry and non-linear energy functionals, and solved with the help of a new parallel code. Formal properties of RPA theory are studied and special care is taken in order to validate the proper decoupling of spurious modes and their influence on the physical response. Sample applications to the magnetic and electric dipole transitions in $^{20}$Ne are presented and analyzed.
Multifragmentation calculated with relativistic forces
Feldmeier, H; Papp, G
1995-01-01
A saturating hamiltonian is presented in a relativistically covariant formalism. The interaction is described by scalar and vector mesons, with coupling strengths adjusted to the nuclear matter. No explicit density depe ndence is assumed. The hamiltonian is applied in a QMD calculation to determine the fragment distribution in O + Br collision at different energies (50 -- 200 MeV/u) to test the applicability of the model at low energies. The results are compared with experiment and with previous non-relativistic calculations. PACS: 25.70Mn, 25.75.+r
Relativistic Stern-Gerlach Deflection
Talman, Richard
2016-01-01
Modern advances in polarized beam control should make it possible to accurately measure Stern-Gerlach (S-G) deflection of relativistic beams. Toward this end a relativistically covariant S-G formalism is developed that respects the opposite behavior under inversion of electric and magnetic fields. Not at all radical, or even new, this introduces a distinction between electric and magnetic fields that is not otherwise present in pure Maxwell theory. Experimental configurations (mainly using polarized electron beams passing through magnetic or electric quadrupoles) are described. Electron beam preparation and experimental methods needed to detect the extremely small deflections are discussed.
Special Relativistic Hydrodynamics with Gravitation
Hwang, Jai-chan; Noh, Hyerim
2016-12-01
Special relativistic hydrodynamics with weak gravity has hitherto been unknown in the literature. Whether such an asymmetric combination is possible has been unclear. Here, the hydrodynamic equations with Poisson-type gravity, considering fully relativistic velocity and pressure under the weak gravity and the action-at-a-distance limit, are consistently derived from Einstein’s theory of general relativity. An analysis is made in the maximal slicing, where the Poisson’s equation becomes much simpler than our previous study in the zero-shear gauge. Also presented is the hydrodynamic equations in the first post-Newtonian approximation, now under the general hypersurface condition. Our formulation includes the anisotropic stress.
Special relativistic hydrodynamics with gravitation
Hwang, Jai-chan
2016-01-01
The special relativistic hydrodynamics with weak gravity is hitherto unknown in the literature. Whether such an asymmetric combination is possible was unclear. Here, the hydrodynamic equations with Poisson-type gravity considering fully relativistic velocity and pressure under the weak gravity and the action-at-a-distance limit are consistently derived from Einstein's general relativity. Analysis is made in the maximal slicing where the Poisson's equation becomes much simpler than our previous study in the zero-shear gauge. Also presented is the hydrodynamic equations in the first post-Newtonian approximation, now under the {\\it general} hypersurface condition. Our formulation includes the anisotropic stress.
Vector Theory in Relativistic Thermodynamics
刘泽文
1994-01-01
It is pointed out that five defects occur in Planck-Einstein’s relativistic thermodynamics (P-E theory). A vector theory in relativistic thermodynamics (VTRT) is established. Defining the internal energy as a 4-vector, and supposing the entropy and the number of. particles to be invariants we have derived the transformations of all quantities, and subsequently got the Lagrangian and 4-D forms of thermodynamic laws. In order to test the new theory, several exact solutions with classical limits are given. The VTRT is free from the defects of the P-E theory.
Frontiers in relativistic celestial mechanics
2014-01-01
Relativistic celestial mechanics – investigating the motion celestial bodies under the influence of general relativity – is a major tool of modern experimental gravitational physics. With a wide range of prominent authors from the field, this two-volume series consists of reviews on a multitude of advanced topics in the area of relativistic celestial mechanics – starting from more classical topics such as the regime of asymptotically-flat spacetime, light propagation and celestial ephemerides, but also including its role in cosmology and alternative theories of gravity as well as modern experiments in this area.
Leung, Chun Sing; Harko, Tiberiu
2013-01-01
We consider a description of the stochastic oscillations of the general relativistic accretion disks around compact astrophysical objects based on the generalized Langevin equation, which accounts for the general retarded effects of the frictional force, and on the fluctuation-dissipation theorems. The vertical displacements, velocities and luminosities of the stochastically perturbed disks are explicitly obtained for both the Schwarzschild and the Kerr cases. The Power Spectral Distribution of the luminosity it is also obtained, and it is shown that it has non-standard values. The theoretical predictions of the model are compared with the observational data for the luminosity time variation of the BL Lac S5 0716+714 object.
Generalized Langevin Equation Description of Stochastic Oscillations of General Relativistic Disks
Chun Sing Leung; Gabriela Mocanu; Tiberiu Harko
2014-09-01
We consider a description of the stochastic oscillations of the general relativistic accretion disks around compact astrophysical objects based on the generalized Langevin equation, which accounts for the general retarded effects of the frictional force, and on the fluctuation–dissipation theorems. The vertical displacements, velocities and luminosities of the stochastically perturbed disks are explicitly obtained for both the Schwarzschild and Kerr cases. The power spectral distribution of the luminosity is also obtained, and it is shown that it has non-standard values. The theoretical predictions of the model are compared with the observational data for the luminosity time variation of the BL Lac S5 0716+714 object.
Angular momentum in non-relativistic QED and photon contribution to spin of hydrogen atom
Chen Panying, E-mail: pychen@umd.ed [Maryland Center for Fundamental Physics, Department of Physics, University of Maryland, College Park, MD 20742 (United States); Ji Xiangdong [Maryland Center for Fundamental Physics, Department of Physics, University of Maryland, College Park, MD 20742 (United States); Institute of Particle Physics and Cosmology, Department of Physics, Shanghai Jiao Tong University, Shanghai, 200240 (China); Center for High-Energy Physics and Institute of Theoretical Physics, Peking University, Beijing, 100080 (China); Xu Yang [Center for High-Energy Physics and Institute of Theoretical Physics, Peking University, Beijing, 100080 (China); Zhang Yue [Maryland Center for Fundamental Physics, Department of Physics, University of Maryland, College Park, MD 20742 (United States); Center for High-Energy Physics and Institute of Theoretical Physics, Peking University, Beijing, 100080 (China)
2010-04-26
We study angular momentum in non-relativistic quantum electrodynamics (NRQED). We construct the effective total angular momentum operator by applying Noether's theorem to the NRQED lagrangian. We calculate the NRQED matching for the individual components of the QED angular momentum up to one loop. We illustrate an application of our results by the first calculation of the angular momentum of the ground state hydrogen atom carried in radiative photons, alpha{sub em}{sup 3}/18pi, which might be measurable in future atomic experiments.
Boundedness of the total energy of relativistic membranes evolving in a curved spacetime
LeFloch, Philippe G
2016-01-01
We establish a global existence theory for the equation governing the evolution of a relativistic membrane in a (possibly curved) Lorentzian manifold, when the spacetime metric is a perturbation of the Minkowski metric. Relying on the Hyperboloidal Foliation Method introduced by LeFloch and Ma in 2014, we revisit a theorem established earlier by Lindblad (who treated membranes in the flat Minkowski spacetime) and we provide a simpler proof of existence, which is also valid in a curved spacetime and, most importantly, leads to the important property that the total energy of the membrane is globally bounded in time.
Analytical families of 2-component anisotropic polytropes and their relativistic extensions
Nguyen, Phuc H
2013-01-01
In this paper, we study a family of 2-component anisotropic polytropes which model a wide range of spherically symmetric astrophysical systems such as early type baryonic galaxies. This family is found to contain a large class of models such as the hypervirial family (which satisfy the virial theorem locally), the Plummer and Hernquist models, and NFW-like models. The potential-density pair for these models are derived, as well as their velocity dispersions and anisotropy parameters. The projected quantities are computed and found to reduce to analytical expressions in some cases. The following section presents an extension of the 2-term anisotropic polytropes to encompass a very wide range of potential-density pairs. In the next section, we present the general relativistic extension of the potential-density pair, and calculate the stress-energy tensor, the relativistic anisotropy parameter, the velocity of circular orbits and the angular momentum. Remarkably, for the case of the hypervirial family the relati...
On the role of the chaotic velocity in relativistic kinetic theory
Moratto, Valdemar [Departamento de Física, Universidad Autónoma Metropolitana-Iztapalapa, Apartado Postal 55-534, 09340 México D.F. (Mexico); García-Perciante, A. L. [Departamento de Matemáticas Aplicadas y Sistemas, Universidad Autónoma Metropolitana-Cuajimalpa, Prol. Vasco de Quiroga 4871, México D. F. 05348 (Mexico)
2014-01-14
In this paper we revisit the concept of chaotic velocity within the context of relativistic kinetic theory. Its importance as the key ingredient which allows to clearly distinguish convective and dissipative effects is discussed to some detail. Also, by addressing the case of the two component mixture, the relevance of the barycentric comoving frame is established and thus the convenience for the introduction of peculiar velocities for each species. The fact that the decomposition of molecular velocity in systematic and peculiar components does not alter the covariance of the theory is emphasized. Moreover, we show that within an equivalent decomposition into space-like and time-like tensors, based on a generalization of the relative velocity concept, the Lorentz factor for the chaotic velocity can be expressed explicitly as an invariant quantity. This idea, based on Ellis' theorem, allows to foresee a natural generalization to the general relativistic case.
Relativistic Hydrodynamics for Heavy-Ion Collisions
Ollitrault, Jean-Yves
2008-01-01
Relativistic hydrodynamics is essential to our current understanding of nucleus-nucleus collisions at ultrarelativistic energies (current experiments at the Relativistic Heavy Ion Collider, forthcoming experiments at the CERN Large Hadron Collider). This is an introduction to relativistic hydrodynamics for graduate students. It includes a detailed…
The virial theorem and the dark matter problem in hybrid metric-Palatini gravity
Capozziello, Salvatore; Koivisto, Tomi S; Lobo, Francisco S N; Olmo, Gonzalo J
2013-01-01
Hybrid metric-Palatini gravity is a recently proposed theory, consisting of the superposition of the metric Einstein-Hilbert Lagrangian with an $f(\\cal R)$ term constructed \\`{a} la Palatini. The theory predicts the existence of a long-range scalar field, which passes the Solar System observational constraints, even if the scalar field is very light, and modifies the cosmological and galactic dynamics. Thus, the theory opens new possibilities to approach, in the same theoretical framework, the problems of both dark energy and dark matter. In this work, we consider the generalized virial theorem in the scalar-tensor representation of the hybrid metric-Palatini gravity. More specifically, taking into account the relativistic collisionless Boltzmann equation, we show that the supplementary geometric terms in the gravitational field equations provide an effective contribution to the gravitational potential energy. We show that the total virial mass is proportional to the effective mass associated with the new ter...
Multideviations: The hidden structure of Bell's theorems
Fogel, Brandon
2015-01-01
Specification of the strongest possible Bell inequalities for arbitrarily complicated physical scenarios -- any number of observers choosing between any number of observables with any number of possible outcomes -- is currently an open problem. Here I provide a new set of tools, which I refer to as "multideviations", for finding and analyzing these inequalities for the fully general case. In Part I, I introduce the multideviation framework and then use it to prove an important theorem: the Bell distributions can be generated from the set of joint distributions over all observables by deeming specific degrees of freedom unobservable. In Part II, I show how the theorem provides a new method for finding tight Bell inequalities. I then specify a set of new tight Bell inequalities for arbitrary event spaces -- the "even/odd" inequalities -- which have a straightforward interpretation when expressed in terms of multideviations. The even/odd inequalities concern degrees of freedom that are independent of those invol...
Generalized Sampling Theorem for Bandpass Signals
Prokes Ales
2006-01-01
Full Text Available The reconstruction of an unknown continuously defined function from the samples of the responses of linear time-invariant (LTI systems sampled by the th Nyquist rate is the aim of the generalized sampling. Papoulis (1977 provided an elegant solution for the case where is a band-limited function with finite energy and the sampling rate is equal to times cutoff frequency. In this paper, the scope of the Papoulis theory is extended to the case of bandpass signals. In the first part, a generalized sampling theorem (GST for bandpass signals is presented. The second part deals with utilizing this theorem for signal recovery from nonuniform samples, and an efficient way of computing images of reconstructing functions for signal recovery is discussed.
Generalized Sampling Theorem for Bandpass Signals
Prokes, Ales
2006-12-01
The reconstruction of an unknown continuously defined function[InlineEquation not available: see fulltext.] from the samples of the responses of[InlineEquation not available: see fulltext.] linear time-invariant (LTI) systems sampled by the[InlineEquation not available: see fulltext.]th Nyquist rate is the aim of the generalized sampling. Papoulis (1977) provided an elegant solution for the case where[InlineEquation not available: see fulltext.] is a band-limited function with finite energy and the sampling rate is equal to[InlineEquation not available: see fulltext.] times cutoff frequency. In this paper, the scope of the Papoulis theory is extended to the case of bandpass signals. In the first part, a generalized sampling theorem (GST) for bandpass signals is presented. The second part deals with utilizing this theorem for signal recovery from nonuniform samples, and an efficient way of computing images of reconstructing functions for signal recovery is discussed.
An Equivalent Gauge and the Equivalence Theorem
Wulzer, Andrea
2014-01-01
I describe a novel covariant formulation of massive gauge theories in which the longitudinal polarization vectors do not grow with the energy. Therefore in the present formalism, differently from the ordinary one, the energy and coupling power-counting is completely transparent at the level of individual Feynman diagrams, with obvious advantages both at the conceptual and practical level. Since power-counting is transparent, the high-energy limit of the amplitudes involving longitudinal particles is immediately taken, and the Equivalence Theorem is easily demonstrated at all orders in perturbation theory. Since the formalism makes the Equivalence Theorem self-evident, and because it is based on a suitable choice of the gauge, we can call it an "Equivalent Gauge".
Noether theorem for {mu}-symmetries
Cicogna, Giampaolo [Dipartimento di Fisica, Universita di Pisa and INFN, Sezione di Pisa, Largo B Pontecorvo 3, 50127 Pisa (Italy); Gaeta, Giuseppe [Dipartimento di Matematica, Universita di Milano, via Saldini 50, 20133 Milano (Italy)
2007-09-28
We give a version of Noether theorem adapted to the framework of {mu}-symmetries; this extends to such case recent work by Muriel, Romero and Olver in the framework of {lambda}-symmetries, and connects {mu}-symmetries of a Lagrangian to a suitably modified conservation law. In some cases this '{mu}-conservation law' actually reduces to a standard one; we also note a relation between {mu}-symmetries and conditional invariants. We also consider the case where the variational principle is itself formulated as requiring vanishing variation under {mu}-prolonged variation fields, leading to modified Euler-Lagrange equations. In this setting, {mu}-symmetries of the Lagrangian correspond to standard conservation laws as in the standard Noether theorem. We finally propose some applications and examples.
Parameterized quantum field theory without Haag's theorem
Seidewitz, Ed
2015-01-01
Under the normal assumptions of quantum field theory, Haag's theorem states that any field unitarily equivalent to a free field must itself be a free field. Unfortunately, the derivation of the Dyson series perturbation expansion relies on the use of the interaction picture, in which the interacting field is unitarily equivalent to the free field but must still account for interactions. Thus, the traditional perturbative derivation of the scattering matrix in quantum field theory is mathematically ill defined. Nevertheless, perturbative quantum field theory is currently the only practical approach for addressing scattering for realistic interactions, and it has been spectacularly successful in making empirical predictions. This paper explains this success by showing that quantum field theory can be formulated, using an invariant, fifth path parameter in addition to the usual four position parameters, in such a way that Haag's theorem no longer applies, but such that the Dyson perturbation expansion for the sc...
De Finetti theorems for easy quantum groups
Banica, Teodor; Speicher, Roland
2009-01-01
We study sequences of noncommutative random variables which are invariant under "quantum transformations" coming from an orthogonal quantum group satisfying the "easiness" condition axiomatized in our previous paper. For 10 easy quantum groups, we obtain de Finetti type theorems characterizing the joint distribution of any infinite, quantum invariant sequence. In particular, we give a new and unified proof of the classical results of de Finetti and Freedman for the easy groups S_n, O_n, which is based on the combinatorial theory of cumulants. We also recover the free de Finetti theorem of K\\"ostler and Speicher, and the characterization of operator-valued free semicircular families due to Curran. We consider also finite sequences, and prove an approximation result in the spirit of Diaconis and Freedman.
A noncommutative extended de Finetti theorem
Köstler, Claus
2008-01-01
The extended de Finetti theorem characterizes exchangeable infinite random sequences as conditionally i.i.d. and shows that the apparently weaker distributional symmetry of spreadability is equivalent to exchangeability. Our main result is a noncommutative version of this theorem. In contrast to the classical result of Ryll-Nadzewski, exchangeability turns out to be stronger than spreadability for infinite noncommutative random sequences. Out of our investigations emerges noncommutative conditional independence in terms of a von Neumann algebraic structure closely related to Popa's notion of commuting squares and K\\"ummerer's generalized Bernoulli shifts. Our main result is applicable to classical probability, quantum probability, in particular free probability, braid group representations and Jones subfactors.
Thermodynamics of biochemical networks and duality theorems.
De Martino, Daniele
2013-05-01
One interesting yet difficult computational issue has recently been posed in biophysics in regard to the implementation of thermodynamic constraints to complex networks. Biochemical networks of enzymes inside cells are among the most efficient, robust, differentiated, and flexible free-energy transducers in nature. How is the second law of thermodynamics encoded for these complex networks? In this article it is demonstrated that for chemical reaction networks in the steady state the exclusion (presence) of closed reaction cycles makes possible (impossible) the definition of a chemical potential vector. Interestingly, this statement is encoded in one of the key results in combinatorial optimization, i.e., the Gordan theorem of the alternatives. From a computational viewpoint, the theorem reveals that calculating a reaction's free energy and identifying infeasible loops in flux states are dual problems whose solutions are mutually exclusive, and this opens the way for efficient and scalable methods to perform the energy balance analysis of large-scale biochemical networks.
Locomotion in complex fluids: Integral theorems
Lauga, Eric
2014-01-01
The biological fluids encountered by self-propelled cells display complex microstructures and rheology. We consider here the general problem of low-Reynolds number locomotion in a complex fluid. {Building on classical work on the transport of particles in viscoelastic fluids,} we demonstrate how to mathematically derive three integral theorems relating the arbitrary motion of an isolated organism to its swimming kinematics {in a non-Newtonian fluid}. These theorems correspond to three situations of interest, namely (1) squirming motion in a linear viscoelastic fluid, (2) arbitrary surface deformation in a weakly non-Newtonian fluid, and (3) small-amplitude deformation in an arbitrarily non-Newtonian fluid. Our final results, valid for a wide-class of {swimmer geometry,} surface kinematics and constitutive models, at most require mathematical knowledge of a series of Newtonian flow problems, and will be useful to quantity the locomotion of biological and synthetic swimmers in complex environments.
Wigner-Eckart theorem for induced symmetries
Klein, D.J. (Texas A and M University, Galveston (USA). Department of Marine Sciences); Seligman, T.H. (Universidad Nacional Autonoma de Mexico, Mexico City. Inst. de Fisica)
1982-01-01
A unified treatment is given for all group-theoretic problems arising from the evaluation of matrix elements involving operators and states of induced symmetries. To achieve this general treatment two group-theoretic theorems are proven, the first characterizing recoupling coefficients between different symmetry adaptation schemes, and the second making a double coset factorization of a group algebraic matrix basis element. A number of problems previously discussed in the literature, including the conventional Wigner-Eckart theorem and more recent double coset expansions of matrix elements, are realized as special cases in the present treatment. These results entail two new types of recoupling coefficients, namely DC coefficients and 3-symmetry symbols, so that some of their properties are indicated.
Oseledec multiplicative ergodic theorem for laminations
Nguyên, Viêt-Anh
2017-01-01
Given a n-dimensional lamination endowed with a Riemannian metric, the author introduces the notion of a multiplicative cocycle of rank d, where n and d are arbitrary positive integers. The holonomy cocycle of a foliation and its exterior powers as well as its tensor powers provide examples of multiplicative cocycles. Next, the author defines the Lyapunov exponents of such a cocycle with respect to a harmonic probability measure directed by the lamination. He also proves an Oseledec multiplicative ergodic theorem in this context. This theorem implies the existence of an Oseledec decomposition almost everywhere which is holonomy invariant. Moreover, in the case of differentiable cocycles the author establishes effective integral estimates for the Lyapunov exponents. These results find applications in the geometric and dynamical theory of laminations. They are also applicable to (not necessarily closed) laminations with singularities. Interesting holonomy properties of a generic leaf of a foliation are obtained...
Fluctuation theorem for constrained equilibrium systems
Gilbert, Thomas; Dorfman, J. Robert
2006-02-01
We discuss the fluctuation properties of equilibrium chaotic systems with constraints such as isokinetic and Nosé-Hoover thermostats. Although the dynamics of these systems does not typically preserve phase-space volumes, the average phase-space contraction rate vanishes, so that the stationary states are smooth. Nevertheless, finite-time averages of the phase-space contraction rate have nontrivial fluctuations which we show satisfy a simple version of the Gallavotti-Cohen fluctuation theorem, complementary to the usual fluctuation theorem for nonequilibrium stationary states and appropriate to constrained equilibrium states. Moreover, we show that these fluctuations are distributed according to a Gaussian curve for long enough times. Three different systems are considered here: namely, (i) a fluid composed of particles interacting with Lennard-Jones potentials, (ii) a harmonic oscillator with Nosé-Hoover thermostatting, and (iii) a simple hyperbolic two-dimensional map.
Do non-relativistic neutrinos constitute the dark matter?
Nieuwenhuizen, T.M.
2009-01-01
The dark matter of the Abell 1689 Galaxy Cluster is modeled by thermal, non-relativistic gravitating fermions and its galaxies and X-ray gas by isothermal distributions. A fit yields a mass of h(70)(1/2) (12/(g) over bar)(1)/(4) 1.445(30) eV. A dark-matter fraction Omega(nu) = h(70)(-3/2) 0.1893(39)
Carnot's theorem and Szil\\'ard engine
Shu, Liangsuo; Huang, Suyi; Jin, Shiping
2016-01-01
In this work, the relationship between Carnot engine and Szil\\'ard engine was discussed. By defining the available information about the temperature difference between two heat reservoirs, the Carnot engine was found to have a same physical essence with Szil\\'ard engine: lossless conversion of available information. Thus, a generalized Carnot's theorem for wider scope of application can be described as "all the available information is 100% coded into work".
New electromagnetic memories and soft photon theorems
Mao, Pujian; Ouyang, Hao; Wu, Jun-Bao; Wu, Xiaoning
2017-06-01
In this paper, we present a new type of electromagnetic memory. It is a "magnetic" type, or B mode, radiation memory effect. Rather than a residual velocity, we find a position displacement of a charged particle induced by the B mode radiation with memory. We find two types of electromagnetic displacement (ordinary and null). We also show that the null electromagnetic memory formulas are nothing but a Fourier transformation of soft photon theorems.
Volume Integral Theorem for Exotic Matter
Nandi, Kamal Kanti; Zhang, Yuan-Zhong; Kumar, K. B. Vijaya
2004-01-01
We answer an important question in general relativity about the volume integral theorem for exotic matter by suggesting an exact integral quantifier for matter violating Averaged Null Energy Condition (ANEC). It is checked against some well known static, spherically symmetric traversable wormhole solutions of general relativity with a sign reversed kinetic term minimally coupled scalar field. The improved quantifier is consistent with the principle that traversable wormholes can be supported ...
Theorems for Asymptotic Safety of Gauge Theories
Bond, Andrew D
2016-01-01
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 emphasized. 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.
Bezout's theorem and Cohen-Macaulay modules
1999-01-01
We define very proper intersections of modules and projective subschemes. It turns out that equidimensional locally Cohen-Macaulay modules intersect very properly if and only if they intersect properly. We prove a Bezout theorem for modules which meet very properly. Furthermore, we show for equidimensional subschemes $X$ and $Y$: If they intersect properly in an arithmetically Cohen-Macaulay subscheme of positive dimension then $X$ and $Y$ are arithmetically Cohen-Macaulay. The module version...
Hyperplane arrangements and Lefschetz's hyperplane section theorem
Yoshinaga, Masahiko
2005-01-01
The Lefschetz hyperplane section theorem asserts that a complex affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to give an explicit description of attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real numbers. The cells and attaching maps are described in combinatorial terms of chambers. We also discuss the cellular chain complex with coefficient...
Hildebrandt's theorem for the essential spectrum
Janko Bračič
2015-01-01
Full Text Available We prove a variant of Hildebrandt's theorem which asserts that the convex hull of the essential spectrum of an operator \\(A\\ on a complex Hilbert space is equal to the intersection of the essential numerical ranges of operators which are similar to \\(A\\. As a consequence, it is given a necessary and sufficient condition for zero not being in the convex hull of the essential spectrum of \\(A\\.
Simultaneous DOA estimation based on Kolmogorov's theorem
Nájar Martón, Montserrat; Lagunas Hernandez, Miguel A.
1993-01-01
The design of a new architecture for signal processing, based on the Kolmogorov's theorem (1957), is addressed. This architecture is applied to solve the problem of source separation. Particularly, an adaptive algorithm is proposed to separate simultaneously all the unknown impinging sources on an aperture of sensors. The implemented framework is composed of two different stages: the first one is the inhibition stage, which turns the problem of estimating simultaneous DOAs (directions of arri...
Bell's theorem without inequalities and without alignments
Cabello, A
2003-01-01
A proof of Bell's theorem without inequalities is presented which exhibits three remarkable properties: (a) reduced local states are immune to collective decoherence, (b) local setups do not need to be aligned, since the required perfect correlations are achieved for any local rotation of the local setups, and (c) local measurements require only individual measurements on the qubits. Indeed, it is shown that this proof is essentially the only one which fulfils (a), (b), and (c).