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.
Optical zilch and Noether's theorem
Philbin, T G
2013-01-01
A simple conserved quantity for electromagnetic fields in vacuum was discovered by Lipkin in 1964. In recent years this "zilch" has been used as a measure of the chirality of light. The conservation of optical zilch is here shown to be due to a simple symmetry of the standard electromagnetic action. Other investigations of the symmetry underlying zilch conservation have not been based on transformations of the dynamical variables of the standard action (the vector and scalar potentials). The symmetry transformation allows the identification of zilch eigenstates, which are shown to be circularly polarized plane waves. The same symmetry is present for electromagnetism in a homogeneous, dispersive medium, allowing the derivation of the zilch density and flux in such a medium.
Generalized Optical Theorem Detection in Random and Complex Media
Tu, Jing
The problem of detecting changes of a medium or environment based on active, transmit-plus-receive wave sensor data is at the heart of many important applications including radar, surveillance, remote sensing, nondestructive testing, and cancer detection. This is a challenging problem because both the change or target and the surrounding background medium are in general unknown and can be quite complex. This Ph.D. dissertation presents a new wave physics-based approach for the detection of targets or changes in rather arbitrary backgrounds. The proposed methodology is rooted on a fundamental result of wave theory called the optical theorem, which gives real physical energy meaning to the statistics used for detection. This dissertation is composed of two main parts. The first part significantly expands the theory and understanding of the optical theorem for arbitrary probing fields and arbitrary media including nonreciprocal media, active media, as well as time-varying and nonlinear scatterers. The proposed formalism addresses both scalar and full vector electromagnetic fields. The second contribution of this dissertation is the application of the optical theorem to change detection with particular emphasis on random, complex, and active media, including single frequency probing fields and broadband probing fields. The first part of this work focuses on the generalization of the existing theoretical repertoire and interpretation of the scalar and electromagnetic optical theorem. Several fundamental generalizations of the optical theorem are developed. A new theory is developed for the optical theorem for scalar fields in nonhomogeneous media which can be bounded or unbounded. The bounded media context is essential for applications such as intrusion detection and surveillance in enclosed environments such as indoor facilities, caves, tunnels, as well as for nondestructive testing and communication systems based on wave-guiding structures. The developed scalar
Quantum optical ABCD theorem in two-mode case
Institute of Scientific and Technical Information of China (English)
Fan Hong-Yi; Hu Li-Yun
2008-01-01
By introducing the entangled Fresnel operator (EFO) this paper demonstrates that there exists ABCD theorem for two-mode entangled case in quantum optics.The canonical operator method as mapping of ray-transfer ABCD matrix is explicitly shown by EFO's normally ordered expansion through the coherent state representation and the technique of integration within an ordered product of operators.
Optical theorem for multipole sources in wave diffraction theory
Eremin, Yu. A.; Sveshnikov, A. G.
2016-05-01
The optical theorem is generalized to the case of local body excitation by multipole sources. It is found that, to calculate the extinction cross section, it is sufficient to calculate the scattered field derivatives at a single point. It is shown that the Purcell factor, which is a rather important parameter, can be represented in analytic form. The result is generalized to the case of a local scatterer incorporated in a homogeneous halfspace.
The optical theorem for local source excitation of a particle near a plane interface
Eremin, Yuri; Wriedt, Thomas
2015-11-01
Based on classic Maxwell's theory and the Gauss Theorem we extended the Optical Theorem to the case of a penetrable particle excited by a local source deposited near a plane interface. We demonstrate that the derived Extinction Cross-Section involves the total point source radiating cross-section and some definite integrals responsible for the scattering by the interface. The derived extinction cross-section can be employed to estimate the quantum yield and the optical antenna efficiency without computation of the absorption cross-section.
Mitri, F G
2015-09-01
The optical theorem for plane waves is recognized as one of the fundamental theorems in optical, acoustical and quantum wave scattering theory as it relates the extinction cross-section to the forward scattering complex amplitude function. Here, the optical theorem is extended and generalized in a cylindrical coordinates system for the case of 2D beams of arbitrary character as opposed to plane waves of infinite extent. The case of scalar monochromatic acoustical wavefronts is considered, and generalized analytical expressions for the extinction, absorption and scattering cross-sections are derived and extended in the framework of the scalar resonance scattering theory. The analysis reveals the presence of an interference scattering cross-section term describing the interaction between the diffracted Franz waves with the resonance elastic waves. The extended optical theorem in cylindrical coordinates is applicable to any object of arbitrary geometry in 2D located arbitrarily in the beam's path. Related investigations in optics, acoustics and quantum mechanics will benefit from this analysis in the context of wave scattering theory and other phenomena closely connected to it, such as the multiple scattering by a cloud of particles, as well as the resulting radiation force and torque.
On a possible violation of the optical theorem in LHC experiments
Kupczynski, Marian
2013-01-01
The optical theorem allowing the determination of the total cross-section for the hadron-hadron scattering from the imaginary part of the forward elastic scattering amplitude is believed to be an unavoidable consequence of the conservation of the probability and of the unitary S matrix. This is a fundamental theorem which contains not directly measurable imaginary part of the forward elastic scattering amplitude. The impossibility of scattering phenomena without the existence of the elastic channel is considered to be a part of the quantum magic. However if one takes seriously the idea that the hadrons are extended particles one may define a unitary S matrix such that one cannot prove the optical theorem. Moreover the data violating the optical theorem do exist but they are not conclusive due to the uncertainties related to the extrapolation of the differential elastic cross-section to the forward direction. These results were published several years ago but they were forgotten. In this paper we will recall t...
Mitri, F G
2016-04-01
One of the fundamental theorems in (optical, acoustical, quantum, gravitational) wave scattering is the optical theorem for plane waves, which relates the extinction cross-section to the forward scattering complex amplitude function. In this analysis, the optical theorem is extended for the case of 3D-beams of arbitrary character in a cylindrical coordinates system for any angle of incidence and any scattering angle. Generalized analytical expressions for the extinction, absorption, scattering cross-sections and efficiency factors are derived in the framework of the scalar resonance scattering theory for an object of arbitrary shape. The analysis reveals the presence of an interference scattering cross-section term, which describes interference between the diffracted or specularly reflected inelastic (Franz) waves with the resonance elastic waves. Moreover, an alternate expression for the extinction cross-section, which relates the resonance cross-section with the scattering cross-section for an impenetrable object, is obtained, suggesting an improved method for particle characterization. Cross-section expressions are also derived for known acoustical wavefronts centered on the object, defined as the on-axis case. The extended optical theorem in cylindrical coordinates can be applied to evaluate the extinction efficiency from any object of arbitrary geometry placed on or off the axis of the incident beam. Applications in acoustics, optics, and quantum mechanics should benefit from this analysis in the context of wave scattering theory and other phenomena closely connected to it, such as the multiple scattering by many particles, as well as the radiation force and torque.
No-go theorem for passive single-rail linear optical quantum computing.
Wu, Lian-Ao; Walther, Philip; Lidar, Daniel A
2013-01-01
Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dual-rail photons effective non-linearities and near-deterministic non-trivial two-qubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use single-rail encoded photons, where entangled states can be deterministically generated. Here we prove that even for such systems universal optical quantum computing using only passive optical elements such as beam splitters and phase shifters is not possible. This no-go theorem proves that photon bunching cannot be passively suppressed even when extra ancilla modes and arbitrary number of photons are used. Our result provides useful guidance for the design of optical quantum computers.
Cancellation of spurious arrivals in Green's function extraction and the generalized optical theorem
Snieder, R.; Van Wijk, K.; Haney, M.; Calvert, R.
2008-01-01
The extraction of the Green's function by cross correlation of waves recorded at two receivers nowadays finds much application. We show that for an arbitrary small scatterer, the cross terms of scattered waves give an unphysical wave with an arrival time that is independent of the source position. This constitutes an apparent inconsistency because theory predicts that such spurious arrivals do not arise, after integration over a complete source aperture. This puzzling inconsistency can be resolved for an arbitrary scatterer by integrating the contribution of all sources in the stationary phase approximation to show that the stationary phase contributions to the source integral cancel the spurious arrival by virtue of the generalized optical theorem. This work constitutes an alternative derivation of this theorem. When the source aperture is incomplete, the spurious arrival is not canceled and could be misinterpreted to be part of the Green's function. We give an example of how spurious arrivals provide information about the medium complementary to that given by the direct and scattered waves; the spurious waves can thus potentially be used to better constrain the medium. ?? 2008 The American Physical Society.
Nieto-Vesperinas, Manuel
2015-01-01
We put forward the physical meaning of the conservation equation for the helicity on scattering of an electromagnetic field with a generally magnetodielectric bi-isotropic dipolar object. This is the optical theorem for the helicity that, as we find, plays a role for this quantity analogous to that of the optical thorem for energy. We discuss its consequences for helicity transfer between molecules and for new detection procedures of circular dichroism based on ellipsometric measurements.
Emitter near an arbitrary body: Purcell effect, optical theorem and the Wheeler-Feynman absorber
Venkatapathi, Murugesan
2012-09-01
The altered spontaneous emission of an emitter near an arbitrary body can be elucidated using an energy balance of the electromagnetic field. From a classical point of view it is trivial to show that the field scattered back from any body should alter the emission of the source. But it is not at all apparent that the total radiative and non-radiative decay in an arbitrary body can add to the vacuum decay rate of the emitter (i.e.) an increase of emission that is just as much as the body absorbs and radiates in all directions. This gives us an opportunity to revisit two other elegant classical ideas of the past, the optical theorem and the Wheeler-Feynman absorber theory of radiation. It also provides us alternative perspectives of Purcell effect and generalizes many of its manifestations, both enhancement and inhibition of emission. When the optical density of states of a body or a material is difficult to resolve (in a complex geometry or a highly inhomogeneous volume) such a generalization offers new directions to solutions.
Emitter near an arbitrary body: Purcell effect, optical theorem and the Wheeler-Feynman absorber
Venkatapathi, Murugesan
2012-01-01
The altered spontaneous emission of an emitter near an arbitrary body can be elucidated using an energy balance of the electromagnetic field. From a classical point of view it is trivial to show that the field scattered back from any body should alter the emission of the source. But it is not at all apparent that the total radiative and non-radiative decay in an arbitrary body can add to the vacuum decay rate of the emitter (i.e.) an increase of emission that is just as much as the body absorbs and radiates in all directions. This gives us an opportunity to revisit two other elegant classical ideas of the past, the optical theorem and the Wheeler-Feynman absorber theory of radiation. It also provides us alternative perspectives of Purcell effect and generalizes many of its manifestations, both enhancement and inhibition of emission. When the optical density of states of a body or a material is difficult to resolve (in a complex geometry or a highly inhomogeneous volume) such a generalization offers new direct...
Avanaki, Mohammad R N; Podoleanu, Adrian Gh; Schofield, John B; Jones, Carole; Sira, Manu; Liu, Yan; Hojjat, Ali
2013-03-10
An optical properties extraction algorithm is developed based on enhanced Huygens-Fresnel light propagation theorem, to extract the scattering coefficient of a specific region in an optical coherence tomography (OCT) image. The aim is to quantitatively analyze the OCT images. The algorithm is evaluated using a set of phantoms with different concentrations of scatterers, designed based on Mie theory. The algorithm is then used to analyze basal cell carcinoma and healthy eyelid tissues, demonstrating distinguishable differences in the scattering coefficient between these tissues. In this study, we have taken advantage of the simplification introduced by the utilization of a dynamic focus OCT system. This eliminates the need to deconvolve the reflectivity profile with the confocal gate profile, as the sensitivity of the OCT system is constant throughout the axial range.
Treatment of hereditary optic neuropathies.
Newman, Nancy J
2012-10-01
The hereditary optic neuropathies are inherited disorders in which optic nerve dysfunction is a prominent feature in the phenotypic expression of disease. Optic neuropathy may be primarily an isolated finding, such as in Leber hereditary optic neuropathy and dominant optic atrophy, or part of a multisystem disorder. The pathophysiological mechanisms underlying the hereditary optic neuropathies involve mitochondrial dysfunction owing to mutations in mitochondrial or nuclear DNA that encodes proteins essential to mitochondrial function. Effective treatments are limited, and current management includes therapies directed at enhancing mitochondrial function and preventing oxidative damage, as well as genetic counselling, and supportive and symptomatic measures. New therapies, including gene therapy, are emerging via animal models and human clinical trials. Leber hereditary optic neuropathy, in particular, provides a unique model for testing promising treatments owing to its characteristic sequential bilateral involvement and the accessibility of target tissue within the eye. Lessons learned from treatment of the hereditary optic neuropathies may have therapeutic implications for other disorders of presumed mitochondrial dysfunction. In this Review, the natural history of the common inherited optic neuropathies, the presumed pathogenesis of several of these disorders, and the literature to date regarding potential therapies are summarized.
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
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
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
-Dimensional Fractional Lagrange's Inversion Theorem
Directory of Open Access Journals (Sweden)
F. A. Abd El-Salam
2013-01-01
Full Text Available Using Riemann-Liouville fractional differential operator, a fractional extension of the Lagrange inversion theorem and related formulas are developed. The required basic definitions, lemmas, and theorems in the fractional calculus are presented. A fractional form of Lagrange's expansion for one implicitly defined independent variable is obtained. Then, a fractional version of Lagrange's expansion in more than one unknown function is generalized. For extending the treatment in higher dimensions, some relevant vectors and tensors definitions and notations are presented. A fractional Taylor expansion of a function of -dimensional polyadics is derived. A fractional -dimensional Lagrange inversion theorem is proved.
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 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
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...
Treatment options for atypical optic neuritis
Directory of Open Access Journals (Sweden)
Amina Malik
2014-01-01
Full Text Available Context: Optic neuritis (ON is defined as inflammation of the optic nerve and can have various etiologies. The most common presentation in the US is demyelinating, or "typical" ON, usually associated with multiple sclerosis. This is in contrast to "atypical" causes of ON, which differ in their clinical presentation, management, and prognosis. These atypical cases are characterized by lack of eye pain, exudates, and hemorrhages on exam, very severe, bilateral or progressive visual loss, or with failure to recover vision. Aims: The aim was to describe the clinical presentations of atypical ON and their treatments. Settings and Design: Review article. Materials and Methods: Literature review. Results: Types of atypical ON identified include neuromyelitis optica, autoimmune optic neuropathy, chronic relapsing inflammatory optic neuropathy, idiopathic recurrent neuroretinitis, and optic neuropathy associated with systemic diseases. Atypical ON usually requires corticosteroid treatment and often will require aggressive immunosuppression. Conclusions: Unlike demyelinating ON, atypical ON requires treatment to preserve vision.
Matrix Treatment of Ray Optics.
Quon, W. Steve
1996-01-01
Describes a method to combine two learning experiences--optical physics and matrix mathematics--in a straightforward laboratory experiment that allows engineering/physics students to integrate a variety of learning insights and technical skills, including using lasers, studying refraction through thin lenses, applying concepts of matrix…
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
Acupuncture Treatment for Optic Nerve Contusion
Institute of Scientific and Technical Information of China (English)
无
2008-01-01
@@ Optic nerve contusion is a commonly-seen eye injury, which is mostly caused by traffic accident, collision, and falling. Early diagnosis and timely emergency treatment can make such patients restore vision to a certain extent. Otherwise, there may appear optic atrophy or loss of vision. At present, in the treatment of this disease, cortical hormone, dehydrating agent, vasodilator, vitamin, energy mixture and neurotrophic agent, or surgical operation can all give certain therapeutic effect. In the recent 5 years, the Department of Ophthalmology of the Hospital Affiliated to Hubei College of Traditional Chinese Medicine has adopted acupuncture for treatment of optic nerve contusion, and obtained quite good therapeutic results. Some typical cases are reported in the following.
Lagrange Theorem for polygroups
Directory of Open Access Journals (Sweden)
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?.
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
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.
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.
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.
On the Equivalence of Weyl Theorem and Generalized Weyl Theorem
Institute of Scientific and Technical Information of China (English)
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.
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.
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)
Coincidence Point Theorems, Intersection Theorems and Saddle Point Theorems on FC-spaces
Institute of Scientific and Technical Information of China (English)
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.
Logic for computer science foundations of automatic theorem proving
Gallier, Jean H
2015-01-01
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in fir
[Optic neuritis: diagnosis, treatment and clinical implications].
Steffen, Heimo; Tabibian, David
2015-12-16
Optic neuritis is one of the most important causes of visual loss in young and middle aged adults. The prognosis in terms of functional outcome is good. The diagnosis of optic neuritis is a clinical one. Steroids can shorten the recovery time but do not change the long term functional outcome. The MRI is the most important investiga- tion to assess an associated risk of multiple sclerosis. Optic cohe- rence tomography (OCT) contribute additional details to course and functional outcome of optic neuritis. In the future the OCT may additionally contribute to the relationship between optic neuritis and possible associated multiple sclerosis.
Current options for the treatment of optic neuritis
Directory of Open Access Journals (Sweden)
Pula JH
2012-07-01
Full Text Available John H Pula,1 Christopher J MacDonald21Division of Neuro-ophthalmology, University of Illinois College of Medicine at Peoria, Peoria; 2University of Illinois College of Medicine at Urbana-Champaign, Champaign, IL, USAAbstract: Optic neuritis can be defined as typical (associated with multiple sclerosis, improving independent of steroid treatment, or atypical (not associated with multiple sclerosis, steroid-dependent improvement. Causes of atypical optic neuritis include connective tissue diseases (eg, lupus, vasculitis, sarcoidosis, or neuromyelitis optica. In this manuscript, updated treatment options for both typical and atypical optic neuritis are reviewed. Conventional treatments, such as corticosteroids, therapeutic plasma exchange, and intravenous immunoglobulin therapy are all discussed with commentary regarding evidence-based outcomes. Less commonly used treatments and novel purported therapies for optic neuritis are also reviewed. Special scenarios in the treatment of optic neuritis – pediatric optic neuritis, acute demyelinating encephalomyelitis, and optic neuritis occurring during pregnancy – are specifically examined.Keywords: optic neuritis, optic neuropathy, treatment, neuroophthalmology
ON RANGE DECOMPOSITION THEOREMS
Institute of Scientific and Technical Information of China (English)
吴利生
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.
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
Converse Barrier Certificate Theorem
DEFF Research Database (Denmark)
Wisniewski, Rafael; Sloth, Christoffer
2013-01-01
This paper presents a converse barrier certificate theorem for a generic dynamical system.We show that a barrier certificate exists for any safe dynamical system defined on a compact manifold. Other authors have developed a related result, by assuming that the dynamical system has no singular...... points in the considered subset of the state space. In this paper, we redefine the standard notion of safety to comply with generic dynamical systems with multiple singularities. Afterwards, we prove the converse barrier certificate theorem and illustrate the differences between ours and previous work...
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.
Lin, Tai-Chia; Petrovic, Milan S; Hajaiej, Hichem; Chen, Goong
2016-01-01
The virial theorem is a nice property for the linear Schrodinger equation in atomic and molecular physics as it gives an elegant ratio between the kinetic and potential energies and is useful in assessing the quality of numerically computed eigenvalues. If the governing equation is a nonlinear Schrodinger equation with power-law nonlinearity, then a similar ratio can be obtained but there seems no way of getting any eigenvalue estimate. It is surprising as far as we are concerned that when the nonlinearity is either square-root or saturable nonlinearity (not a power-law), one can develop a virial theorem and eigenvalue estimate of nonlinear Schrodinger (NLS) equations in R2 with square-root and saturable nonlinearity, respectively. Furthermore, we show here that the eigenvalue estimate can be used to obtain the 2nd order term (which is of order $ln\\Gamma$) of the lower bound of the ground state energy as the coefficient $\\Gamma$ of the nonlinear term tends to infinity.
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)
Certified Kruskal's Tree Theorem
Directory of Open Access Journals (Sweden)
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.
DEFF Research Database (Denmark)
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...
DEFF Research Database (Denmark)
Törnquist, Asger Dag; Weiss, W.
2009-01-01
We prove the following descriptive set-theoretic analogue of a theorem of R. 0. Davies: Every σ function f:ℝ × ℝ → ℝ can be represented as a sum of rectangular Σ functions if and only if all reals are constructible. © 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
Institute of Scientific and Technical Information of China (English)
无
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
Institute of Scientific and Technical Information of China (English)
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.
Converse Barrier Certificate Theorems
DEFF Research Database (Denmark)
Wisniewski, Rafael; Sloth, Christoffer
2016-01-01
This paper shows that a barrier certificate exists for any safe dynamical system. Specifically, we prove converse barrier certificate theorems for a class of structurally stable dynamical systems. Other authors have developed a related result by assuming that the dynamical system has neither 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, ...
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.
An Extension of Sobolev's Theorem
Institute of Scientific and Technical Information of China (English)
无
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.
Virial theorem and hypervirial theorem in a spherical geometry
Energy Technology Data Exchange (ETDEWEB)
Li Yan; Chen Jingling [Theoretical Physics Division, Chern Institute of Mathematics, Nankai University, Tianjin 300071 (China); Zhang Fulin, E-mail: flzhang@tju.edu.cn, E-mail: chenjl@nankai.edu.cn [Physics Department, School of Science, Tianjin University, Tianjin 300072 (China)
2011-09-09
The virial theorem in the one- and two-dimensional spherical geometry are presented in both classical and quantum mechanics. Choosing a special class of hypervirial operators, the quantum hypervirial relations in the spherical spaces are obtained. With the aid of the Hellmann-Feynman theorem, these relations can be used to formulate a perturbation theorem without wavefunctions, corresponding to the hypervirial-Hellmann-Feynman theorem perturbation theorem of Euclidean geometry. The one-dimensional harmonic oscillator and two-dimensional Coulomb system in the spherical spaces are given as two sample examples to illustrate the perturbation method. (paper)
If 1+1=2 then the Pythagorean theorem holds, or one more proof of the oldest theorem of mathematics
Directory of Open Access Journals (Sweden)
Alexandru HORVÁTH
2013-06-01
Full Text Available The Pythagorean theorem is one of the oldest theorems of mathematics. It gained during the time a central position and even today it continues to be a source of inspiration. In this note we try to give a proof which is based on a hopefully new approach. Our treatment will be as intuitive as it can be.
Experimental studies of the transient fluctuation theorem using liquid crystals
Indian Academy of Sciences (India)
Soma Datta; Arun Roy
2009-05-01
In a thermodynamical process, the dissipation or production of entropy can only be positive or zero, according to the second law of thermodynamics. However, the laws of thermodynamics are applicable to large systems in the thermodynamic limit. Recently a fluctuation theorem, known as the transient fluctuation theorem (TFT), which generalizes the second law of thermodynamics to small systems has been proposed. This theorem has been tested in small systems such as a colloidal particle in an optical trap. We report for the first time an analogous experimental study of TFT in a spatially extended system using liquid crystals.
Taylor, Marika
2016-01-01
The F theorem states that, for a unitary three dimensional quantum field theory, the F quantity defined in terms of the partition function on a three sphere is positive, stationary at fixed point and decreases monotonically along a renormalization group flow. We construct holographic renormalization group flows corresponding to relevant deformations of three-dimensional conformal field theories on spheres, working to quadratic order in the source. For these renormalization group flows, the F quantity at the IR fixed point is always less than F at the UV fixed point, but F increases along the RG flow for deformations by operators of dimension $3/2 < \\Delta < 5/2$. Therefore the strongest version of the F theorem is in general violated.
Indian Academy of Sciences (India)
N V Rao
2003-02-01
The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose is a compact set in the complex plane and 0 belongs to the boundary . Let $\\mathcal{A}(K)$ denote the space of all functions on such that is holomorphic in a neighborhood of and (0) = 0. Also for any given positive integer , let $\\mathcal{A}(m, K)$ denote the space of all such that is holomorphic in a neighborhood of and $f(0) = f'(0) = \\cdots = f^{(m)}(0) = 0$. Then $\\mathcal{A}(m, K)$ is dense in $\\mathcal{A}(K)$ under the supremum norm on provided that there exists a sector $W = \\{re^{i}; 0 ≤ r ≤ , ≤ ≤ \\}$ such that $W \\cap K = \\{0\\}$. (This is the well-known Poincare's external cone condition).} We present various generalizations of this result in the context of higher dimensions replacing holomorphic with harmonic.
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
Directory of Open Access Journals (Sweden)
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.
Optical fiber temperature sensors: applications in heat treatments for foods
Sosa-Morales, María Elena; Rojas-Laguna, Roberto; López-Malo, Aurelio
2010-10-01
Heat treatments are important methods to provide safe foods. Conventional heat treatments involve the application of steam and recently microwave treatments have been studied and applied as they are considered as fast, clean and efficient. Optical fiber sensing is an excellent tool to measure the temperature during microwave treatments. This paper shows the application of optical fiber temperature sensing during the heat treatment of different foods such as vegetables (jalapeño pepper and cilantro), cheese and ostrich meat. Reaching the target temperature, important bacteria were inactivated: Salmonella, Listeria and Escherichia coli. Thus, the use of optical fiber sensors has resulted be a useful way to develop protocols to inactivate microorganisms and to propose new methods for food processing.
General relativistic treatment of LISA optical links
Dhurandhar, S V; Nayak, K Rajesh
2008-01-01
LISA is a joint space mission of the NASA and the ESA for detecting low frequency gravitational waves in the band $10^{-5} - 1$ Hz. In order to attain the requisite sensitivity for LISA, the laser frequency noise must be suppressed below the other secondary noises such as the optical path noise, acceleration noise etc. This is achieved by combining time-delayed data for which precise knowledge of time-delays is required. The gravitational field, mainly that of the Sun and the motion of LISA affect the time-delays and the optical links. Further, the effect of the gravitational field of the Earth on the orbits of spacecraft is included. This leads to additional flexing over and above that of the Sun. We have written a numerical code which computes the optical links, that is, the time-delays with great accuracy $\\sim 10^{-2}$ metres - more than what is required for time delay interferometry (TDI) - for most of the orbit and with sufficient accuracy within $\\sim 10$ metres for an integrated time window of about s...
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.
Current options for the treatment of optic neuritis
Pula JH; MacDonald CJ
2012-01-01
John H Pula,1 Christopher J MacDonald21Division of Neuro-ophthalmology, University of Illinois College of Medicine at Peoria, Peoria; 2University of Illinois College of Medicine at Urbana-Champaign, Champaign, IL, USAAbstract: Optic neuritis can be defined as typical (associated with multiple sclerosis, improving independent of steroid treatment), or atypical (not associated with multiple sclerosis, steroid-dependent improvement). Causes of atypical optic neuritis include connective tissue di...
Wigner-Eckart theorem for induced symmetries
Energy Technology Data Exchange (ETDEWEB)
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.
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
Directory of Open Access Journals (Sweden)
Richard D. Carmichael
1987-01-01
Full Text Available Initial and final value Abelian theorems for the Whittaker transform of functions and of distributions are obtained. The Abelian theorems are obtained as the complex variable of the transform approaches 0 or ∞ in absolute value inside a wedge region in the right half plane.
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…
Directory of Open Access Journals (Sweden)
Coghetto Roland
2015-06-01
Full Text Available Morley’s trisector theorem states that “The points of intersection of the adjacent trisectors of the angles of any triangle are the vertices of an equilateral triangle” [10]. There are many proofs of Morley’s trisector theorem [12, 16, 9, 13, 8, 20, 3, 18]. We follow the proof given by A. Letac in [15].
Geometry of the Adiabatic Theorem
Lobo, Augusto Cesar; Ribeiro, Rafael Antunes; Ribeiro, Clyffe de Assis; Dieguez, Pedro Ruas
2012-01-01
We present a simple and pedagogical derivation of the quantum adiabatic theorem for two-level systems (a single qubit) based on geometrical structures of quantum mechanics developed by Anandan and Aharonov, among others. We have chosen to use only the minimum geometric structure needed for the understanding of the adiabatic theorem for this case.…
Some Theorems on Generalized Basic Hypergeometric Series
Directory of Open Access Journals (Sweden)
A. D. Wadhwa
1972-07-01
Full Text Available In an earlier paper the author has established two theorems on generalized hypergeometric functions. In each theorem a numerator differs from a denominator by a positive integer. These theorems were further used to prove some theorems on the sums of Kampe de Feriet functions. Here, we have established the theorems which are the basic analogues of the theorems proved in the earlier paper.
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''.
Diagnosis and treatment characteristics of radioactive optic neuropathy
Directory of Open Access Journals (Sweden)
Yan Zhang
2014-06-01
Full Text Available AIM: To explore the diagnosis and treatment methods of radioaction-induced optic neuritis(RIONthrough the clinical dates of 17 patients. METHODS: It was a retrospective case series study. From August 2008 to October 2013, 17 cases(24 eyesof Rion clinical dates from Chinese PLA General Hospital were studied. The diagnosis methods including visual acuity, pupil, fundus, visual field, fundus fluorescein angiography(FFA, visual electrophysiological testing, and head MRI. To analysis the clinical date of patients with diagnosis of RION by statistical description.RESULTS: The deterioration degree of vision: 13 eyes were classified as Ⅳ, 9 eyes as Ⅲ, 2 eyes as Ⅱ. Ten eyes RAPD(+, visual electrophysiology is extinguished. The retina of 5 eyes showed flame hemorrhages and cotton wool spots exudation. Optic nerve head edema in one eye. T1-weighted MRI enhanced in 19 eyes which showed optic nerve of the intracranial and intratubal segments abnormal changed, optic chiasm and pituitary stalk signal abnormalities and enhancement of the optic nerve. Tortuous optic nerves and rough edges were observed in 5 eyes. Treatment effect: 4 eyes of visual acuity improved, 1 eye from blindness to light perception,1 eye from 0.08 to 0.2, 1 eye from 0.4 to 0.6,1 eye from 0.04 to 0.15, the rest of the cases did not see any improvement.CONCLUSION: The unique clinical manifestation of RION can provide objective basis for clinical diagnosis in time, but there have not been proven any effective treatments.
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
Institute of Scientific and Technical Information of China (English)
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.
Optical Treatment of Strabismic and Combined Strabismic-Anisometropic Amblyopia
2011-01-01
Objective To determine visual acuity improvement in children with strabismic and combined strabismic-anisometropic (combined-mechanism) amblyopia treated with optical correction alone and to explore factors associated with improvement. Design Prospective multi-center cohort study Participants 146 children 3 to amblyopia (N=52) or combined-mechanism amblyopia (N=94). Methods Optical treatment was provided as spectacles (prescription based on a cycloplegic refraction) that were worn for the first time at the baseline visit. Visual acuity with spectacles was measured using the Amblyopia Treatment Study HOTV© visual acuity protocol at baseline and every 9 weeks thereafter until no further improvement in visual acuity. Ocular alignment was assessed at each visit. Main outcome measure Visual acuity 18 weeks after baseline. Results Overall, amblyopic eye visual acuity improved a mean of 2.6 lines (95% confidence interval: 2.3 to 3.0), with 75% of children improving ≥2 lines and 54% improving ≥3 lines. Resolution of amblyopia occurred in 32% (95% confidence interval: 24% to 41%) of the children. The treatment effect was greater for strabismic amblyopia than for combined-mechanism amblyopia (3.2 versus 2.3 lines, adjusted P=0.003). Visual acuity improved regardless of whether eye alignment improved. Conclusions Optical treatment alone of strabismic and combined-mechanism amblyopia results in clinically meaningful improvement in amblyopic eye visual acuity for most 3 to amblyopia before initiating other therapies. PMID:21959371
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...
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.
The Second Noether Theorem on Time Scales
Directory of Open Access Journals (Sweden)
Agnieszka B. Malinowska
2013-01-01
Full Text Available We extend the second Noether theorem to variational problems on time scales. As corollaries we obtain the classical second Noether theorem, the second Noether theorem for the h-calculus and the second Noether theorem for the q-calculus.
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.
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.
Quantum mechanical version of the classical Liouville theorem
Institute of Scientific and Technical Information of China (English)
Xie Chuan-Mei; Fan Hong-Yi
2013-01-01
In terms of the coherent state evolution in phase space,we present a quantum mechanical version of the classical Liouville theorem.The evolution of the coherent state from | z> to | sz-rz*> corresponds to the motion from a point z (q,p)to another point sz-rz* with |s|2-|r|2 =1.The evolution is governed by the so-called Fresnel operator U(s,r) that was recently proposed in quantum optics theory,which classically corresponds to the matrix optics law and the optical Fresnel transformation,and obeys group product rules.In other words,we can recapitulate the Liouville theorem in the context of quantum mechanics by virtue of coherent state evolution in phase space,which seems to be a combination of quantum statistics and quantum optics.
Cryosurgery treatment of actinic keratoses monitored by optical coherence tomography
DEFF Research Database (Denmark)
Themstrup, L.; Banzhaf, C.; Jemec, G.B.E.
2013-01-01
Background: Optical coherence tomography (OCT) is a non-invasive optical imaging technique providing high-resolution images. OCT may be useful as a monitoring tool during treatment of actinic keratoses (AK) and skin cancer. Objective: To examine and describe how OCT skin morphology changes when...... could not be monitored by OCT. Vesicle formation after cryotherapy could be identified in OCT images. In ex vivo skin no vesicle formation occurred. Conclusion: OCT cannot monitor the freezing depth, but OCT was able to visualise AK lesions and vesicle formation shortly after cryotherapy. Results add...... the tissue is exposed to the effects of cryotherapy. Methods: Normal ex vivo skin and in vivo AK lesions were examined. Cryotherapy was applied and OCT images were acquired at defined time points. OCT morphology was described. Results: Cryotherapy treatment produced an opaque iceball, and freezing depth...
Fixed-point-like theorems on subspaces
Directory of Open Access Journals (Sweden)
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.
Changes in optical behaviour of iron pyritohedron upon microwave treatment
Arvind, Hemant K.; Choudhary, B. L.; Dolia, S. N.; Dalela, S.; Jakhar, S. R.; Kumar, Sudhish
2016-05-01
We have utilized the volumetric heating of materials by microwave energy absorption for investigating the changes in the optical behavior of a well characterized natural crystal of iron pyritohedron (FeS2). For microwave treatment virgin central core pieces of the FeS2 crystal were ground to fine powder and then heated in a microwave oven for half an hour. Powder XRD measurements confirmed that the microwave treatment on FeS2 does not affect the face centered cubic structure of FeS2. The UV-Visible optical spectrum of the microwave treated FeS2 display a narrow optical absorption peak at ˜315 nm, on the other hand in the UV-Vis spectrum of pure FeS2 a broad absorption band with a maximum centered ˜310-330 nm was observed. The band gap energies for pure and microwave treated FeS2 are estimated to be 1.09 eV and 1.35 eV respectively. This study clearly indicates that microwave treatment results in a blue shift in the absorption edge and enhancement in the band gap energy.
Convolution theorems for the linear canonical transform and their applications
Institute of Scientific and Technical Information of China (English)
DENG Bing; TAO Ran; WANG Yue
2006-01-01
As generalization of the fractional Fourier transform (FRFT), the linear canonical transform (LCT) has been used in several areas, including optics and signal processing. Many properties for this transform are already known, but the convolution theorems, similar to the version of the Fourier transform, are still to be determined. In this paper, the authors derive the convolution theorems for the LCT, and explore the sampling theorem and multiplicative filter for the band limited signal in the linear canonical domain. Finally, the sampling and reconstruction formulas are deduced, together with the construction methodology for the above mentioned multiplicative filter in the time domain based on fast Fourier transform (FFT), which has much lower computational load than the construction method in the linear canonical domain.
Deviations from Wick's theorem in the canonical ensemble
Schönhammer, K.
2017-07-01
Wick's theorem for the expectation values of products of field operators for a system of noninteracting fermions or bosons plays an important role in the perturbative approach to the quantum many-body problem. A finite-temperature version holds in the framework of the grand canonical ensemble, but not for the canonical ensemble appropriate for systems with fixed particle number such as ultracold quantum gases in optical lattices. Here we present formulas for expectation values of products of field operators in the canonical ensemble using a method in the spirit of Gaudin's proof of Wick's theorem for the grand canonical case. The deviations from Wick's theorem are examined quantitatively for two simple models of noninteracting fermions.
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
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.
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.
Improvement of Hartman's linearization theorem
Institute of Scientific and Technical Information of China (English)
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
Institute of Scientific and Technical Information of China (English)
无
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.
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
DEFF Research Database (Denmark)
Markvorsen, Steen
2005-01-01
Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we prove that the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...... of the vector field in a tubular shell around the given surface. The intuitive appeal of the divergence theorem is thus applied to bootstrap a corresponding intuition for Stokes' theorem. The two stated classical theorems are (like the fundamental theorem of calculus) nothing but shadows of the general version...... to above. Our proof that Stokes' theorem follows from Gauss' divergence theorem goes via a well known and often used exercise, which simply relates the concepts of divergence and curl on the local differential level. The rest of the paper uses only integration in $1$, $2$, and $3$ variables together...
Shell theorem for spontaneous emission
DEFF Research Database (Denmark)
Kristensen, Philip Trøst; Mortensen, Jakob Egeberg; Lodahl, Peter;
2013-01-01
and therefore is given exactly by the dipole approximation theory. This surprising result is a spontaneous emission counterpart to the shell theorems of classical mechanics and electrostatics and provides insights into the physics of mesoscopic emitters as well as great simplifications in practical calculations....
JACKSON'S THEOREM FOR COMPACT GROUPS
Institute of Scientific and Technical Information of China (English)
H. Vaezi; S. F. Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by(Sh.f)(g) = ∫Gf (tut-1g)dton compact group G and by help of this operator we define "Spherical" modulus of continuity. So we proveStechkin and Jackson type theorems.
LUROTH'S THEOREM IN DIFFERENTIAL FIELDS
Institute of Scientific and Technical Information of China (English)
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.)
GENERALIZED RECIPROCAL THEOREMS AND THEIR APPLICATIONS
Institute of Scientific and Technical Information of China (English)
付宝连
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.
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
Institute of Scientific and Technical Information of China (English)
李洪波￥
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
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…
A new theorem relating quantum tomogram to the Fresnel operator
Institute of Scientific and Technical Information of China (English)
Xie Chuan-Mei; Fan Hong-Yi
2011-01-01
According to Fan-Hu's formalism (Fan Hong-Yi and Hu Li-Yun 2009 Opt. Commun. 282 3734) that the tomogram of quantum states can be considered as the module-square of the state wave function in the intermediate coordinatemomentum representation which is just the eigenvector of the Fresnel quadrature phase, we derive a new theorem for calculating quantum tomogram of density operator, i.e., the tomogram of a density operator p is equal to the marginal integration of the classical Weyl correspondence function of F+ρF, where F is the Fresnel operator. Applications of this theorem to evaluating the tomogram of optical chaotic field and squeezed chaotic optical field are presented.
Limit theorems for multi-indexed sums of random variables
Klesov, Oleg
2014-01-01
Presenting the first unified treatment of limit theorems for multiple sums of independent random variables, this volume fills an important gap in the field. Several new results are introduced, even in the classical setting, as well as some new approaches that are simpler than those already established in the literature. In particular, new proofs of the strong law of large numbers and the Hajek-Renyi inequality are detailed. Applications of the described theory include Gibbs fields, spin glasses, polymer models, image analysis and random shapes. Limit theorems form the backbone of probability theory and statistical theory alike. The theory of multiple sums of random variables is a direct generalization of the classical study of limit theorems, whose importance and wide application in science is unquestionable. However, to date, the subject of multiple sums has only been treated in journals. The results described in this book will be of interest to advanced undergraduates, graduate students and researchers who ...
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
Energy Technology Data Exchange (ETDEWEB)
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.
Institute of Scientific and Technical Information of China (English)
I. I. Guseinov
2012-01-01
Simpler formulas are derived for one-range addition theorems for the integer and noninteger n generalized exponential type orbitals,momentum space orbitals,and hyperspherical harmonics with hyperbolic cosine (GETO HC,GMSO HC,and GHSH HC) in position,momentum and four-dimensional spaces,respectively.The final results are expressed in terms of one-range addition theorems of complete orthonormal sets of ψα-exponential type orbitals,(φ)α-momentum space orbitals and zα-hyperspherical harmonics.We notice that the one-range addition theorems for integer and noninteger n-Slater type orbitals and Gaussian type orbitals in position,momentum and four dimensional spaces are special cases of GETO HC,GMSO HC,and GHSH HC.The theorems presented can be useful in the accurate study of the electronic structure of atomic and molecular systems.
Externalities and the Coase Theorem: A Diagrammatic Presentation
Halteman, James
2005-01-01
In intermediate microeconomic textbooks the reciprocal nature of externalities is presented using numerical examples of costs and benefits. This treatment of the Coase theorem obscures the fact that externality costs and benefits are best understood as being on a continuum where costs vary with the degree of intensity of the externality. When…
Multiwavelet sampling theorem in Sobolev spaces
Institute of Scientific and Technical Information of China (English)
无
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.
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.
Navier Stokes Theorem in Hydrology
Narayanan, M.
2005-12-01
In a paper presented at the 2004 AGU International Conference, the author outlined and stressed the importance of studying and teaching certain important mathematical techniques while developing a course in Hydrology and Fluid Mechanics. The Navier-Stokes equations are the foundation of fluid mechanics, and Stokes' theorem is used in nearly every branch of mechanics as well as electromagnetics. Stokes' Theorem also plays a vital role in many secondary theorems such as those pertaining to vorticity and circulation. Mathematically expressed, Stokes' theorem can be expressed by considering a surface S having a bounding curve C. Here, V is any sufficiently smooth vector field defined on the surface and its bounding curve C. In an article entitled "Corrections to Fluid Dynamics" R. F. Streater, (Open Systems and Information Dynamics, 10, 3-30, 2003.) proposes a kinetic model of a fluid in which five macroscopic fields, the mass, energy, and three components of momentum, are conserved. The dynamics is constructed using the methods of statistical dynamics, and results in a non-linear discrete-time Markov chain for random fields on a lattice. In the continuum limit he obtains a non-linear coupled parabolic system of field equations, showing a correction to the Navier-Stokes equations. In 2001, David Hoff published an article in Journees Equations aux derivees partielles. (Art. No. 7, 9 p.). His paper is entitled : Dynamics of Singularity Surfaces for Compressible Navier-Stokes Flows in Two Space Dimensions. In his paper, David Hoff proves the global existence of solutions of the Navier-Stokes equations of compressible, barotropic flow in two space dimensions with piecewise smooth initial data. These solutions remain piecewise smooth for all time, retaining simple jump discontinuities in the density and in the divergence of the velocity across a smooth curve, which is convected with the flow. The strengths of these discontinuities are shown to decay exponentially in time
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
Directory of Open Access Journals (Sweden)
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
Institute of Scientific and Technical Information of China (English)
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.
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.
Compactness theorems of fuzzy semantics
Institute of Scientific and Technical Information of China (English)
无
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
Directory of Open Access Journals (Sweden)
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
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.
Wigner's theorem - revisited. A simple proof using projective geometry
Energy Technology Data Exchange (ETDEWEB)
Keller, Kai Johannes [II. Institut fuer Theoretische Physik der Universitaet Hamburg (Germany); Institut fuer Physik der Universitaet Mainz (Germany); Papadopoulos, Nikolaos A. [Institut fuer Physik der Universitaet Mainz (Germany); Reyes Lega, Andres Fernando [Universidad de los Andes, Bogota (Colombia)
2008-07-01
This talk presents a a simple, geometric proof of Wigner's theorem on the realization of symmetries in quantum mechanics, that clarifies its relation to projective geometry. Although there exist several proofs, it seems that the relevance of Wigner's theorem is not fully appreciated in general. It is Wigner's theorem, which allows the use of linear realizations of symmetries and therefore guarantees that, in the end, quantum theory stays a linear theory. The proof presented here takes a strictly geometrical point of view. It becomes apparent, that Wigner's theorem is nothing else but a corollary of the fundamental theorem of projective geometry. In this sense the proof is simple, transparent and therefore accessible even to elementary treatments in quantum mechanics.
The classical version of Stokes' Theorem revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we show how the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...... 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
Directory of Open Access Journals (Sweden)
Man Kam Kwong
2008-04-01
Full Text Available In recent years, the Krasnoselskii fixed point theorem for cone maps and its many generalizations have been successfully applied to establish the existence of multiple solutions in the study of boundary value problems of various types. In the first part of this paper, we revisit the Krasnoselskii theorem, in a more topological perspective, and show that it can be deduced in an elementary way from the classical Brouwer-Schauder theorem. This viewpoint also leads to a topology-theoretic generalization of the theorem. In the second part of the paper, we extend the cone theorem in a different direction using the notion of retraction and show that a stronger form of the often cited Leggett-Williams theorem is a special case of this extension.
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.
Expanding the Interaction Equivalency Theorem
Directory of Open Access Journals (Sweden)
Brenda Cecilia Padilla Rodriguez
2015-06-01
Full Text Available Although interaction is recognised as a key element for learning, its incorporation in online courses can be challenging. The interaction equivalency theorem provides guidelines: Meaningful learning can be supported as long as one of three types of interactions (learner-content, learner-teacher and learner-learner is present at a high level. This study sought to apply this theorem to the corporate sector, and to expand it to include other indicators of course effectiveness: satisfaction, knowledge transfer, business results and return on expectations. A large Mexican organisation participated in this research, with 146 learners, 30 teachers and 3 academic assistants. Three versions of an online course were designed, each emphasising a different type of interaction. Data were collected through surveys, exams, observations, activity logs, think aloud protocols and sales records. All course versions yielded high levels of effectiveness, in terms of satisfaction, learning and return on expectations. Yet, course design did not dictate the types of interactions in which students engaged within the courses. Findings suggest that the interaction equivalency theorem can be reformulated as follows: In corporate settings, an online course can be effective in terms of satisfaction, learning, knowledge transfer, business results and return on expectations, as long as (a at least one of three types of interaction (learner-content, learner-teacher or learner-learner features prominently in the design of the course, and (b course delivery is consistent with the chosen type of interaction. Focusing on only one type of interaction carries a high risk of confusion, disengagement or missed learning opportunities, which can be managed by incorporating other forms of interactions.
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
Directory of Open Access Journals (Sweden)
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
Institute of Scientific and Technical Information of China (English)
MA; Jipu
2001-01-01
［1］Ma Jipu, (1.2) inverses of operators between Banach spaces and conjugacy theorem, Chinese Annals of Math., B, 1999, 20(1): 57.［2］Ma Jipu, Rank theorem of operators between Banach spaces, Science in China, Ser. A, 2000, 43(1): 1.［3］Ma Jipu, Local conjugacy theorem, rank theorems in advenced calculus and a generalized principle constructing Banach manifolds, Science in China, Ser. A, 2000, 43(12): 1233.［4］Zeidler, A. E., Nonlinear Function Analysis and Its Applications, IV: Applications to Mathematical Physics, New York: Springer-Verlag, 1988.
Directory of Open Access Journals (Sweden)
Sol Swords
2011-10-01
Full Text Available Interactive theorem proving requires a lot of human guidance. Proving a property involves (1 figuring out why it holds, then (2 coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDD- or SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and automates the process of admitting it as a theorem. We use GL at Centaur Technology to verify execution units for x86 integer, MMX, SSE, and floating-point arithmetic.
Optical spectroscopy for tissue diagnostics and treatment control
Yavari, Nazila
2006-01-01
Biomedical Optics as an interdisciplinary field of science has been developed during many years and is experiencing tremendous growth, to cover a wide range of optical techniques and methods, utilized for medical therapeutic and diagnostic purposes. Biomedical optics contributes by introducing methods and creation of devices used in healthcare of various specialties, such as ophthalmology, cardiology, surgery, dermatology, oncology, radiology, etc. Each of these specialities mi...
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.
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.
[Current status and progress in diagnosis and treatments of pediatric optic neuritis].
Chen, Lanlan; Jiang, Libin
2014-12-01
Pediatric optic neuritis (ON) is different from its adult counterpart in terms of epidemiology, etiology, clinical manifestations, and prognosis. Although adult optic neuritis was well described in treatments by the Optic Neuritis Treatment Trial (ONTT), there is no universal agreement on the treatments in a pediatric population. Since there is an inadequate knowledge about pediatric ON in our nation, we compared the clinical manifestations of pediatric ON with its adult population, reviewed the existing understanding of the relationship between pediatric ON and various diseases of CNS, and summarized the current treatments, expecting to provide useful reference in clinic.
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.
Moss, Heather E; Gao, Weihua; Balcer, Laura J; Joslin, Charlotte E
2014-04-01
IMPORTANCE Retrospective studies have demonstrated disparate outcomes following acute optic neuritis in individuals of African descent compared with individuals of white race/ethnicity. However, published analyses of the prospectively collected Optic Neuritis Treatment Trial (ONTT) data identified no association between worse visual outcomes and black race/ethnicity. OBJECTIVES To investigate the associations of age, sex, and race/ethnicity with visual outcomes following acute optic neuritis through application of longitudinal data analysis techniques to the ONTT data set. DESIGN Secondary analysis of the ONTT (a prospective randomized controlled trial) data set. Our models included effects of treatment (placebo, oral prednisone, or intravenous methylprednisolone), time, and treatment × time interaction, as well as demographic covariates of age, sex, and race/ethnicity. SETTING AND PARTICIPANTS The ONTT data were collected at multiple centers in the United States. Patients of black (n = 58) and white (n = 388) race/ethnicity with acute optic neuritis who enrolled in the ONTT within 8 days of symptom onset were included in analyses. MAIN OUTCOMES AND MEASURES The contrast sensitivity and visual acuity (logMAR) in the affected eye were modeled using 2-stage mixed-effects regression techniques. All available follow-up data from baseline to 15 to 18 years were included. RESULTS The data identified no relationship of age, sex, or treatment with contrast sensitivity or visual acuity outcomes. Race/ethnicity was significantly related to contrast sensitivity (P optic neuritis, with black race/ethnicity being associated with worse scores for both. CONCLUSIONS AND RELEVANCE Race/ethnicity seems to be associated with contrast sensitivity and visual acuity outcomes in affected eyes following acute optic neuritis. To our knowledge, this is the largest cohort of black race/ethnicity with acute optic neuritis to be studied and represents the first evidence from a
THE EXISTENCE THEOREM OF OPTIMAL GROWTH MODEL
Institute of Scientific and Technical Information of China (English)
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 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.
A New Fixed Point Theorem and Applications
Directory of Open Access Journals (Sweden)
Min Fang
2013-01-01
Full Text Available A new fixed point theorem is established under the setting of a generalized finitely continuous topological space (GFC-space without the convexity structure. As applications, a weak KKM theorem and a minimax inequalities of Ky Fan type are also obtained under suitable conditions. Our results are different from known results in the literature.
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
Institute of Scientific and Technical Information of China (English)
2007-01-01
In this paper several interpolation theorems on martingale Lorentz spaces are given.The proofs are based on the atomic decompositions of martingale Hardy spaces over weighted measure spaces.Applying the interpolation theorems,we obtain some inequalities on martingale transform operator.
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)
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.
Reversible tuning of ZnO optical band gap by plasma treatment
Energy Technology Data Exchange (ETDEWEB)
Lee, Szetsen, E-mail: slee@cycu.edu.tw [Department of Chemistry and Center for Nano-technology, Chung Yuan Christian University, Jhongli, Taoyuan 32023, Taiwan (China); Peng, Jr-Wei [Department of Chemistry and Center for Nano-technology, Chung Yuan Christian University, Jhongli, Taoyuan 32023, Taiwan (China); Ho, Ching-Yuan [Department of Mechanical Engineering, Chung Yuan Christian University, Jhongli, Taoyuan 32023, Taiwan (China)
2011-12-15
Highlights: Black-Right-Pointing-Pointer The ZnO optical band gap blue-shifts with hydrogen plasma treatment. Black-Right-Pointing-Pointer The ZnO optical band gap red-shifts with oxygen plasma treatment. Black-Right-Pointing-Pointer The ZnO optical band gap can be reversibly fine-tuned. - Abstract: Zinc oxide (ZnO) films synthesized by reacting zinc nitrate with hexamethylenetetramine were treated with hydrogen and oxygen plasmas. From UV-visible absorption and optical emission inspection, we have found that the optical band gap of ZnO films blue-shifted with hydrogen plasma treatment, but red-shifted with oxygen plasma treatment. By alternating the treatment sequence of hydrogen and oxygen plasmas, the ZnO optical band gap can be reversibly fine-tuned with the tunable range up to 80 meV. Scanning electron microscopy characterization indicates that the variation of the optical band gap is attributed to the competition between amorphous and crystalline forms of ZnO. The mechanism of reversible optical band gap tuning is discussed.
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.
Applications of Noether conservation theorem to Hamiltonian systems
Mouchet, Amaury
2016-09-01
The Noether theorem connecting symmetries and conservation laws can be applied directly in a Hamiltonian framework without using any intermediate Lagrangian formulation. This requires a careful discussion about the invariance of the boundary conditions under a canonical transformation and this paper proposes to address this issue. Then, the unified treatment of Hamiltonian systems offered by Noether's approach is illustrated on several examples, including classical field theory and quantum dynamics.
Applications of Noether conservation theorem to Hamiltonian systems
Mouchet, Amaury
2016-01-01
The Noether theorem connecting symmetries and conservation laws can be applied directly in a Hamiltonian framework without using any intermediate Lagrangian formulation. This requires a careful discussion about the invariance of the boundary conditions under a canonical transformation and this paper proposes to address this issue. Then, the unified treatment of Hamiltonian systems offered by Noether's approach is illustrated on several examples, including classical field theory and quantum dynamics.
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.
The pointwise Hellmann-Feynman theorem
Directory of Open Access Journals (Sweden)
David Carfì
2010-02-01
Full Text Available In this paper we study from a topological point of view the Hellmann-Feynman theorem of Quantum Mechanics. The goal of the paper is twofold: On one hand we emphasize the role of the strong topology in the classic version of the theorem in Hilbert spaces, for what concerns the kind of convergence required on the space of continuous linear endomorphisms, which contains the space of (continuous observables.On the other hand we state and prove a new pointwise version of the classic Hellmann-Feynman theorem. This new version is not yet present in the literature and follows the idea of A. Bohm concerning the topology which is desiderable to use in Quantum Mechanics. It is indeed out of question that this non-trivial new version of the Hellmann-Feynman theorem is the ideal one - for what concerns the continuous observables on Hilbert spaces, both from a theoretical point of view, since it is the strongest version obtainable in this context - we recall that the pointwise topology is the coarsest one compatible with the linear structure of the space of continuous observables -, and from a practical point of view, because the pointwise topology is the easiest to use among topologies: it brings back the problems to the Hilbert space topology. Moreover, we desire to remark that this basic theorem of Quantum Mechanics, in his most desiderable form, is deeply interlaced with two cornerstones of Functional Analysis: the Banach-Steinhaus theorem and the Baire theorem.
Weiss, Jeffrey N.; Levy, Steven; Benes, Susan C.
2016-01-01
The Stem Cell Ophthalmology Treatment Study (SCOTS) is currently the largest-scale stem cell ophthalmology trial registered at ClinicalTrials.gov (identifier: NCT01920867). SCOTS utilizes autologous bone marrow-derived stem cells (BMSCs) to treat optic nerve and retinal diseases. Treatment approaches include a combination of retrobulbar, subtenon, intravitreal, intra-optic nerve, subretinal, and intravenous injection of autologous BMSCs according to the nature of the disease, the degree of visual loss, and any risk factors related to the treatments. Patients with Leber's hereditary optic neuropathy had visual acuity gains on the Early Treatment Diabetic Retinopathy Study (ETDRS) of up to 35 letters and Snellen acuity improvements from hand motion to 20/200 and from counting fingers to 20/100. Visual field improvements were noted. Macular and optic nerve head nerve fiber layer typically thickened. No serious complications were seen. The increases in visual acuity obtained in our study were encouraging and suggest that the use of autologous BMSCs as provided in SCOTS for ophthalmologic mitochondrial diseases including Leber's hereditary optic neuropathy may be a viable treatment option. PMID:27904503
High-energy ion treatments of amorphous As40Se60 thin films for optical applications
Rashmi Chauhan; Arvind Tripathi; Krishna Kant Srivastava
2014-01-01
The treatment of 100 MeV Ag swift-heavy ion (SHI) irradiation with five different fluences (3×1010, 1×1011, 3×1011, 1×1012, and 3×1012 ions/cm2) was used to design optical and structural properties of amorphous (a-) As40Se60 chalcogenide thin films. Swanepoel method was applied on transmission measurements to determine the changes in optical bandgap, Tauc parameter and linear optical parameters, i.e., linear optical absorption, extinction coefficient and linear refractive index. Dispersion of...
High-energy ion treatments of amorphous As40Se60 thin films for optical applications
Chauhan, Rashmi; Tripathi, Arvind; Srivastava, Krishna Kant
2014-01-01
The treatment of 100 MeV Ag swift-heavy ion (SHI) irradiation with five different fluences (3×1010, 1×1011, 3×1011, 1×1012, and 3×1012 ions/cm2) was used to design optical and structural properties of amorphous (a-) As40Se60 chalcogenide thin films. Swanepoel method was applied on transmission measurements to determine the changes in optical bandgap, Tauc parameter and linear optical parameters, i.e., linear optical absorption, extinction coefficient and linear refractive index. Dispersion of...
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.
In Vivo Optical Measurements for Diagnostics and Monitoring of Treatment
R.L.P. van Veen (Robert)
2006-01-01
textabstractThe interaction of light with tissue and its use for medical purposes has been under investigation for centuries. Since the early nineteen sixties, the development of novel optical technology and advances in laser design/technology allowed a wide range of innovative applications in ma
A double-blind, randomized trial of IV immunoglobulin treatment in acute optic neuritis
DEFF Research Database (Denmark)
Roed, H.G; Langkilde, Annika Reynberg; Sellebjerg, F;
2005-01-01
OBJECTIVE: To investigate if IV immunoglobulin (IVIG) treatment in the acute phase of optic neuritis (ON) could improve visual outcome and reduce MRI disease activity 6 months after onset of ON. METHODS: Sixty-eight patients with ON were randomized within 4 weeks from onset of symptoms. Thirty...... during follow-up. CONCLUSIONS: There was no effect of IV immunoglobulin (IVIG) on long-term visual function following acute optic neuritis, nor was there an effect of IVIG treatment in reducing latency on visual evoked potentials and thus preserving function of axons of the optic nerve...
Energy Technology Data Exchange (ETDEWEB)
Çoban, Onur, E-mail: onur_coban@yahoo.com
2014-10-30
Highlights: • Heat treatment improved both T{sub g} and microhardness values of PMMA. • FTIR results explained the hardness improvement with crosslinking phenomenon. • Both pristine and heat treated PMMA samples were showed ductile erosion behavior. • Maximum and minimum optical transmittance was observed at 15° and 90°, respectively. • Heat treatment improved optical transmittance under solid particle erosion. • Fresnel lenses should be heat treated at 85 °C for better optical transmittance. - Abstract: Influence of heat treatment on optical transmittance of poly(methyl methacrylate) (PMMA) samples was investigated under solid particle erosion. Heat treatment was employed at 85 °C for 1, 2 and 3 h. Effect of heat treatment on physical, chemical, mechanical and thermal properties of PMMA samples was investigated by differential scanning calorimeter (DSC), thermogravimetric analysis (TGA), Fourier transform infrared (FTIR) spectroscopy, Vickers microhardness measurement methods. After these analysis, both pristine and heat treated PMMA samples were eroded at 15°, 30°, 45°, 60°, 75° and 90° impingement angles. Then, optical transmittance of all eroded PMMA samples was inspected by a UV–Vis spectrometer. Scanning electron microscopy (SEM) was used to explain the erosion mechanisms and to compare the roughness and optical transmittance of eroded PMMA surfaces. Heat treatment under glass transition temperature of PMMA increased the T{sub g} and hardness values. According to erosion test results, both pristine and heat treated PMMA samples were showed ductile erosion behavior. However; maximum and minimum optical transmittance values of eroded pristine PMMA samples were obtained for the angles of 15° and 90°, respectively. A positive effect of heat treatment on optical transmittance of PMMA was obtained for all impingement angles, but most pronounced effect was seen for 15°.
Security Theorems via Model Theory
Directory of Open Access Journals (Sweden)
Joshua Guttman
2009-11-01
Full Text Available A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs . (phi implies for some ys . psi. Models (interpretations for these formulas are *skeletons*, partially ordered structures consisting of a number of local protocol behaviors. *Realized* skeletons contain enough local sessions to explain all the behavior, when combined with some possible adversary behaviors. We show two results. (1 If phi is the antecedent of a security goal, then there is a skeleton A_phi such that, for every skeleton B, phi is satisfied in B iff there is a homomorphism from A_phi to B. (2 A protocol enforces for all xs . (phi implies for some ys . psi iff every realized homomorphic image of A_phi satisfies psi. Hence, to verify a security goal, one can use the Cryptographic Protocol Shapes Analyzer CPSA (TACAS, 2007 to identify minimal realized skeletons, or "shapes," that are homomorphic images of A_phi. If psi holds in each of these shapes, then the goal holds.
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...
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
Energy Technology Data Exchange (ETDEWEB)
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
Institute of Scientific and Technical Information of China (English)
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
Institute of Scientific and Technical Information of China (English)
无
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
Institute of Scientific and Technical Information of China (English)
无
2001-01-01
The concept of locally fine point and generalized regular valueof a C1 map between Banach spaces were carried over C1 map between Banach manifolds. Hence the preimage theorem, a principle constructing Banach manifolds in global analysis, is generalized.
Neuroprotection - new promising treatment for glaucomatous optic neuropathy
Institute of Scientific and Technical Information of China (English)
Jian-He Xiao; Mao-Nian Zhang
2010-01-01
@@ Glaucoma is the second leading cause of blindness worldwide, and also the most common optic neuropathy, affecting about 60 million people worldwide in its most common forms. This figure is expected to rise to 80 million by 2020[1-2]. In glaucoma, the ultimate cause of vision loss in glaucoma is thought to be retinal ganglion cell (RGC) death. Neuroprotection of RGC is therefore an important goal of glaucoma therapy[3].
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
Institute of Scientific and Technical Information of China (English)
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…
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...
The large deviations theorem and ergodicity
Energy Technology Data Exchange (ETDEWEB)
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
Directory of Open Access Journals (Sweden)
Arturo Mena-Lorca
2016-03-01
Full Text Available The group isomorphism theorem is an important subject in any abstract algebra undergraduate course; nevertheless, research shows that it is seldom understood by students. We use APOS theory and propose a genetic decomposition that separates it into two statements: the first one for sets and the second with added structure. We administered a questionnaire to students from top Chilean universities and selected some of these students for interviews to gather information about the viability of our genetic decomposition. The students interviewed were divided in two groups based on their familiarity with equivalence relations and partitions. Students who were able to draw on their intuition of partitions were able to reconstruct the group theorem from the set theorem, while those who stayed on the purely algebraic side could not. Since our approach to learning this theorem was successful, it may be worthwhile to gather data while teaching it the way we propose here in order to check how much the learning of the group isomorphism theorem is improved. This approach could be expanded to other group homomorphism theorems provided further analysis is conducted: going from the general (e.g., sets to the particular (e.g., groups might not always the best strategy, but in some cases we may just be turning to more familiar settings.
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...
Institute of Scientific and Technical Information of China (English)
Lei DENG; Ming Ge YANG
2006-01-01
Some new coincidence theorems involving admissible set-valued mappings are proved in general noncompact topological spaces. As applications, some new minimax inequalities, section theorem, best approximation theorem, existence theorems of weighted Nash equilibria and Pareto equilibria for multiobjective games are given in general topological spaces.
Optical metabolic imaging of treatment response in human head and neck squamous cell carcinoma.
Directory of Open Access Journals (Sweden)
Amy T Shah
Full Text Available Optical metabolic imaging measures fluorescence intensity and lifetimes from metabolic cofactors nicotinamide adenine dinucleotide (NADH and flavin adenine dinucleotide (FAD. These molecular level measurements provide unique biomarkers for early cellular responses to cancer treatments. Head and neck squamous cell carcinoma (HNSCC is an attractive target for optical imaging because of easy access to the site using fiber optic probes. Two HNSCC cell lines, SCC25 and SCC61, were treated with Cetuximab (anti-EGFR antibody, BGT226 (PI3K/mTOR inhibitor, or cisplatin (chemotherapy for 24 hours. Results show increased redox ratio, NADH α1 (contribution from free NADH, and FAD α1 (contribution from protein-bound FAD for malignant cells compared with the nonmalignant cell line OKF6 (p<0.05. In SCC25 and SCC61 cells, the redox ratio is unaffected by cetuximab treatment and decreases with BGT226 and cisplatin treatment (p<0.05, and these results agree with standard measurements of proliferation rates after treatment. For SCC25, NADH α1 is reduced with BGT226 and cisplatin treatment. For SCC61, NADH α1 is reduced with cetuximab, BGT226, and cisplatin treatment. Trends in NADH α1 are statistically similar to changes in standard measurements of glycolytic rates after treatment. FAD α1 is reduced with cisplatin treatment (p<0.05. These shifts in optical endpoints reflect early metabolic changes induced by drug treatment. Overall, these results indicate that optical metabolic imaging has potential to detect early response to cancer treatment in HNSCC, enabling optimal treatment regimens and improved patient outcomes.
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.
Hyperbaric oxygen in the treatment of radiation-induced optic neuropathy
Energy Technology Data Exchange (ETDEWEB)
Guy, J.; Schatz, N.J.
1986-08-01
Four patients with radiation-induced optic neuropathies were treated with hyperbaric oxygen. They had received radiation therapy for treatment of pituitary tumors, reticulum cell sarcoma, and meningioma. Two presented with amaurosis fugax before the onset of unilateral visual loss and began hyperbaria within 72 hours after development of unilateral optic neuropathy. Both had return of visual function to baseline levels. The others initiated treatment two to six weeks after visual loss occurred in the second eye and had no significant improvement of vision. Treatment consisted of daily administration of 100% oxygen under 2.8 atmospheres of pressure for 14-28 days. There were no medical complications of hyperbaria. While hyperbaric oxygen is effective in the treatment of radiation-induced optic neuropathy, it must be instituted within several days of deterioration in vision for restoration of baseline function.
Cosine directions using Rao-Blackwell Theorem and Hausdorff metric in Quasars
Bell, Byron E
2015-01-01
This analysis will determine the equations of the cosine directions for all flux of the optical spectrum in quasars. Studies on Hausdorff metric will greatly enhance our understanding of quasars distances. This study will complete steps in the classification of quasars by finding the minimum variance of flux by using the RaoBlackwell Theorem. The papers of C. R. Rao and D. Blackwell will be examined to clarify more of the above theorem. Keywords: Theory of Flux, SDSS, Quasars, Redshift (z), Population Perimeters, Regression Analysis
Quantum Effects on the Deflection of Light and the Gauss-Bonnet Theorem
Jusufi, Kimet
2016-01-01
In this letter we apply the Gauss--Bonnet theorem to calculate the deflection angle by a quantum corrected Schwarzschild black hole in the weak limit approximation. In particular, we calculate the light deflection by two types of quantum corrected black holes: the renormalization group improved Schwarzschild solution and the quantum corrected Schwarzschild solution in Bohmian quantum mechanics. We start from the corresponding optical metrics to use then the Gauss--Bonnet theorem and calculate the Gaussian curvature in both cases. Finally, we calculate the leading terms of the deflection angle and show that quantum corrections modifies the deflection angle in both solutions.
A single TiO2-coated side-glowing optical fiber for photocatalytic wastewater treatment
Institute of Scientific and Technical Information of China (English)
HU Yan; XU Jingjing; YUAN Chunwei; LIN Jian; YIN Zhidong
2005-01-01
By means of TiO2-layer-on-SiO2-layer, anatase TiO2 was deposited on novel side- glowing optical fibers, which can provide side UV radiation along the whole fiber length. FE-SEM images show that the double layers adhered well to the side-glowing optical fiber, and the TiO2 coating was homogeneous and smooth. The decomposition reaction of reactive brilliant red dye X-3B on a single TiO2-coated side-glowing optical fiber indicated that the side-scattering UV light intensity was strong enough for photocatalytic oxidation reaction. Therefore, TiO2-coated side-glowing optical fibers open up a new way to use the optical fiber reactor in photocatalytic wastewater treatment.
An optical microfluidic platform for spatiotemporal biofilm treatment monitoring
Kim, Young Wook; Mosteller, Matthew P.; Subramanian, Sowmya; Meyer, Mariana T.; Bentley, William E.; Ghodssi, Reza
2016-01-01
Bacterial biofilms constitute in excess of 65% of clinical microbial infections, with the antibiotic treatment of biofilm infections posing a unique challenge due to their high antibiotic tolerance. Recent studies performed in our group have demonstrated that a bioelectric effect featuring low-intensity electric signals combined with antibiotics can significantly improve the efficacy of biofilm treatment. In this work, we demonstrate the bioelectric effect using sub-micron thick planar electrodes in a microfluidic device. This is critical in efforts to develop microsystems for clinical biofilm infection management, including both in vivo and in vitro applications. Adaptation of the method to the microscale, for example, can enable the development of localized biofilm infection treatment using microfabricated medical devices, while augmenting existing capabilities to perform biofilm management beyond the clinical realm. Furthermore, due to scale-down of the system, the voltage requirement for inducing the electric field is reduced further below the media electrolysis threshold. Enhanced biofilm treatment using the bioelectric effect in the developed microfluidic device elicited a 56% greater reduction in viable cell density and 26% further decrease in biomass growth compared to traditional antibiotic therapy. This biofilm treatment efficacy, demonstrated in a micro-scale device and utilizing biocompatible voltage ranges, encourages the use of this method for future clinical biofilm treatment applications.
High-energy ion treatments of amorphous As40Se60 thin films for optical applications
Directory of Open Access Journals (Sweden)
Rashmi Chauhan
2014-06-01
Full Text Available The treatment of 100 MeV Ag swift-heavy ion (SHI irradiation with five different fluences (3×1010, 1×1011, 3×1011, 1×1012, and 3×1012 ions/cm2 was used to design optical and structural properties of amorphous (a- As40Se60 chalcogenide thin films. Swanepoel method was applied on transmission measurements to determine the changes in optical bandgap, Tauc parameter and linear optical parameters, i.e., linear optical absorption, extinction coefficient and linear refractive index. Dispersion of the material was determined by Wemple–DiDomenico relation. Changes in nonlinear optical parameters of third-order optical susceptibility and nonlinear refractive index were determined using semi-empirical relations. Changes in surface morphology of the films were investigated using SEM observation, which indicated that fluence 3×1012 ions/cm2 was upper threshold limit for these films for ion treatment. It is observed that optical bandgap reduces from 1.76 eV to 1.64 eV, and nonlinear refractive index increases from 1.31×10−10 [esu] to 1.74×10−10 [esu]. Linear refractive index initially increases from 2.80 to 3.52 (for fluence 3×1010 ions/cm2 and then keeps decreasing. The observed changes in optical properties upon irradiation were explained in terms of structural rearrangements by Raman measurement. The study was compiled with the previous literature to propose SHI as an effective optical engineering technique to achieve desired changes according to the need of optical/photonic applications.
High-energy ion treatments of amorphous As40Se60 thin films for optical applications
Institute of Scientific and Technical Information of China (English)
Rashmi Chauhan; Arvind Tripathi; Krishna Kant Srivastava
2014-01-01
The treatment of 100 MeV Ag swift-heavy ion (SHI) irradiation with five different fluences (3 ? 1010, 1 ? 1011, 3 ? 1011, 1 ? 1012, and 3 ? 1012 ions/cm2) was used to design optical and structural properties of amorphous (a-) As40Se60 chalcogenide thin films. Swanepoel method was applied on transmission measurements to determine the changes in optical bandgap, Tauc parameter and linear optical parameters, i.e., linear optical absorption, extinction coefficient and linear refractive index. Dispersion of the material was determined by Wemple-DiDomenico relation. Changes in nonlinear optical parameters of third-order optical susceptibility and nonlinear refractive index were determined using semi-empirical relations. Changes in surface morphology of the films were investigated using SEM observation, which indicated that fluence 3 ? 1012 ions/cm2 was upper threshold limit for these films for ion treatment. It is observed that optical bandgap reduces from 1.76 eV to 1.64 eV, and nonlinear refractive index increases from 1.31 ? 10 ? 10 [esu] to 1.74 ? 10 ? 10 [esu]. Linear refractive index initially increases from 2.80 to 3.52 (for fluence 3 ? 1010 ions/cm2) and then keeps decreasing. The observed changes in optical properties upon irradiation were explained in terms of structural rearrangements by Raman measurement. The study was compiled with the previous literature to propose SHI as an effective optical engineering technique to achieve desired changes according to the need of optical/photonic applications.
Laser-optical treatment for toothbrush bristles (nylon, synthetic, and polymeric materials, etc.)
Ma, Yangwu
1994-08-01
On the basis of the principle of laser radiation and materials interaction, a laser-optical treatment method for toothbrush bristles (nylon et al., synthetic and polymeric materials) is provided. In this process, laser irradiation is stopped during melting and followed by cooling, so the free end of each bristle of toothbrush is formed for a smooth globe. The toothbrush with laser-optical end-globed bristles have many remarkable functions.
The Hellmann–Feynman theorem, the comparison theorem, and the envelope theory
Directory of Open Access Journals (Sweden)
Claude Semay
2015-01-01
Full Text Available The envelope theory is a convenient method to compute approximate solutions for bound state equations in quantum mechanics. It is shown that these approximate solutions obey a kind of Hellmann–Feynman theorem, and that the comparison theorem can be applied to these approximate solutions for two ordered Hamiltonians.
Optical Assessment of Vascular Disease Progression and Treatment
Samuels, Joshua A.
Vascular disease manifests itself in many different forms, including chronic ulcers which do not heal, impaired blood flow to the limbs, or damage to the natural reperfusion process. The current forms of assessing vascular disease are often subjective and provide incomplete knowledge about the tissue of interest. This work focused on developing non-invasive techniques to quantitatively evaluate three specific elements of vascular disease: diabetic ulcers, venous ulcers, and peripheral arterial disease. Diffuse Near Infrared Spectroscopy (DNIRS) was used to predict healing (82% positive predictive value) in diabetic ulcers after 4 weeks of assessment (sensitivity of 0.9 and specificity of 0.86; pulcers, using a low-frequency (20kHz), low intensity (ulcers compared to wounds which do not heal (p30 seconds) belonging to patients with PAD (pvascular health and the results obtained promise to develop new clinically relevant and quantitative techniques using non-invasive optical modalities.
Institute of Scientific and Technical Information of China (English)
无
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.
Institute of Scientific and Technical Information of China (English)
马吉溥
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
WEYL'S TYPE THEOREMS AND HYPERCYCLIC OPERATORS
Institute of Scientific and Technical Information of China (English)
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.
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.
Temperature-monitored optical treatment for radial tissue expansion.
Bak, Jinoh; Kang, Hyun Wook
2017-07-01
Esophageal stricture occurs in 7-23% of patients with gastroesophageal reflux disease. However, the current treatments including stent therapy, balloon dilation, and bougienage involve limitations such as stent migration, formation of the new strictures, and snowplow effect. The purpose of the current study was to investigate the feasibility of structural expansion in tubular tissue ex vivo during temperature-monitored photothermal treatment with a diffusing applicator for esophageal stricture. Porcine liver was used as an ex vivo tissue sample for the current study. A glass tube was used to maintain a constant distance between the diffuser and tissue surface and to evaluate any variations in the luminal area after 10-W 1470-nm laser irradiation for potential stricture treatment. The 3D goniometer measurements confirmed roughly isotropic distribution with less than 10% deviation from the average angular intensity over 2π (i.e., 0.86 ± 0.09 in arbitrary unit) from the diffusing applicator. The 30-s irradiation increased the tissue temperature up to 72.5 °C, but due to temperature feedback, the interstitial tissue temperature became saturated at 70 °C (i.e., steady-state error = ±0.4 °C). The irradiation times longer than 5 s presented area expansion index of 1.00 ± 0.04, signifying that irreversible tissue denaturation permanently deformed the lumen in a circular shape and secured the equivalent luminal area to that of the glass tube. Application of a temperature feedback controller for photothermal treatment with the diffusing applicator can regulate the degree of thermal denaturation to feasibly treat esophageal stricture in a tubular tissue.
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
Directory of Open Access Journals (Sweden)
Lex Rutten
2010-10-01
Full Text Available Homeopathy is based on experience and this is a scientific procedure if we follow Bayes' theorem. Unfortunately this is not the case at the moment. Symptoms are added to our materia medica based on absolute occurrence, while Bayes theorem tells us that this should be based on relative occurrence. Bayes theorem can be applied on prospective research, but also on retrospective research and consensus based on a large number of cases. Confirmation bias is an important source of false data in experience based systems like homeopathy. Homeopathic doctors should become more aware of this and longer follow-up of cases could remedy this. The existing system of adding symptoms to our materia medica is obsolete.
Some Limit Theorems in Geometric Processes
Institute of Scientific and Technical Information of China (English)
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.
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...
Directory of Open Access Journals (Sweden)
Ajith Sivadasan
2013-01-01
Full Text Available Optic nerve tuberculomas are rarely reported and their natural history, prognosis, and duration of required treatment remain unclear. A 40-year-old immunocompetent male presented with complete loss of vision in his right eye, which had evolved over 6 weeks. He had optic atrophy on examination. Initial imaging showed right optic nerve swelling and thickening suggesting an infiltrative inflammatory optic neuropathy (infectious or noninfectious. Serial imaging revealed appearance of ring enhancement with a necrotic centre. Biopsy and culture of the coexistent parietal lobe lesion revealed Mycobacterium tuberculosis. Persistent optic nerve granuloma with evidence of radiological improvement was noted at 18 months follow-up with antituberculous therapy (ATT. Visual recovery could not be achieved. The salient features in this case include the clinical presentation initially mimicking an infiltrative or compressive optic neuropathy, rapid radiological evolution into a tuberculoma, subtle paradoxical radiological worsening after initiation of ATT and persistence of granuloma on follow up scan. The challenges involved in early diagnosis and during the treatment course will be discussed.
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
Directory of Open Access Journals (Sweden)
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.
Unified treatment of coupled optical and acoustic phonons in piezoelectric cubic materials
DEFF Research Database (Denmark)
Willatzen, Morten; Wang, Zhong Lin
2015-01-01
A unified treatment of coupled optical and acoustic phonons in piezoelectric cubic materials is presented whereby the lattice displacement vector and the internal ionic displacement vector are found simultaneously. It is shown that phonon couplings exist in pairs only; either between the electric...... potential and the lattice displacement coordinate perpendicular to the phonon wave vector or between the two other lattice displacement components. The former leads to coupled acousto-optical phonons by virtue of the piezoelectric effect. We then establish three new conjectures that entirely stem from...... piezoelectricity in a cubic structured material slab. First, it is shown that isolated optical phonon modes generally cannot exist in piezoelectric cubic slabs. Second, we prove that confined acousto-optical phonon modes only exist for a discrete set of in-plane wave numbers in piezoelectric cubic slabs. Third...
Fincham, W H A
2013-01-01
Optics: Ninth Edition Optics: Ninth Edition covers the work necessary for the specialization in such subjects as ophthalmic optics, optical instruments and lens design. The text includes topics such as the propagation and behavior of light; reflection and refraction - their laws and how different media affect them; lenses - thick and thin, cylindrical and subcylindrical; photometry; dispersion and color; interference; and polarization. Also included are topics such as diffraction and holography; the limitation of beams in optical systems and its effects; and lens systems. The book is recommen
Effect of annealing treatment on optical and electrical properties of ZnO films
Institute of Scientific and Technical Information of China (English)
WANG Wan-lu; LIAO Ke-jun; LI Li; WU Zhi-hua; WANG Yong-tian; ZHANG Jin
2005-01-01
The ZnO-Al films were prepared by R. F. magnetron sputtering system using a Zn-Al target (with purity of 99.99%). The obtained films were characterized by X-ray diffraction, SEM and optical and electrical measurements. The experimental results show that the properties of ZnO films can be further improved by annealing treatment. The crystallinity of ZnO films becomes better, and the optical gap energy is decreased, but thermoelectric power is enhanced after heat treatment. The optical gap energy decreases from 3.75 eV to 3.68 eV when the annealing temperature increases from 25 ℃ to 400 ℃. This can be ascribed to the decrease of carrier concentration, resulting in Burstein shift.
Energy Technology Data Exchange (ETDEWEB)
Gonzalez, G. [Facultad de Ingenieria Mecanica y Electrica, Universidad Autonoma de Nuevo Leon, San Nicolas de los Garza, Nuevo Leon, C.P 66450 (Mexico); Krishnan, B. [Facultad de Ingenieria Mecanica y Electrica, Universidad Autonoma de Nuevo Leon, San Nicolas de los Garza, Nuevo Leon, C.P 66450 (Mexico); CIIDIT, Universidad Autonoma de Nuevo Leon, Apodaca, Nuevo Leon (Mexico); Avellaneda, D.; Castillo, G. Alan; Das Roy, T.K. [Facultad de Ingenieria Mecanica y Electrica, Universidad Autonoma de Nuevo Leon, San Nicolas de los Garza, Nuevo Leon, C.P 66450 (Mexico); Shaji, S., E-mail: sshajis@yahoo.com [Facultad de Ingenieria Mecanica y Electrica, Universidad Autonoma de Nuevo Leon, San Nicolas de los Garza, Nuevo Leon, C.P 66450 (Mexico); CIIDIT, Universidad Autonoma de Nuevo Leon, Apodaca, Nuevo Leon (Mexico)
2011-08-31
Cadmium sulphide (CdS) is a well known n-type semiconductor that is widely used in solar cells. Here we report preparation and characterization of chemical bath deposited CdS thin films and modification of their optical and electrical properties using plasma treatments. CdS thin films were prepared from a chemical bath containing Cadmium chloride, Triethanolamine and Thiourea under various deposition conditions. Good quality thin films were obtained during deposition times of 5, 10 and 15 min. CdS thin films prepared for 10 min. were treated using a glow discharge plasma having nitrogen and argon carrier gases. The changes in morphology, optical and electrical properties of these plasma treated CdS thin films were analyzed in detail. The results obtained show that plasma treatment is an effective technique in modification of the optical and electrical properties of chemical bath deposited CdS thin films.
Sdobnov, Anton Yu; Tuchin, Valery V.; Lademann, Juergen; E Darvin, Maxim
2017-07-01
Confocal Raman microscopy (CRM) is employed to study the skin physiology, drug permeation and skin disease monitoring. In order to increase the depth of investigations, the effect of optical clearing was observed on porcine ear skin ex vivo. The optical clearing agents (OCAs) glycerol and iohexol (Omnipaque™) were applied to the porcine ear skin and investigated by CRM after 30 and 60 min of treatment. The extent of optical clearing by utilizing concentrations of 70% glycerol and 100% Omnipaque™ was evaluated. The intensity of the skin-related Raman peaks significantly increased starting from the depth 160 µm for Omnipaque™ and 40 µm for glycerol (p ⩽ 0.05) after 60 min of treatment. The OCAs’ influence on the collagen hydration in the deep-located dermis was investigated. Both OCAs induce skin dehydration, but the effect of glycerol treatment (30 min and 60 min) is stronger. The obtained results demonstrate that with increasing the treatment time, both glycerol and Omnipaque™ solutions improve the optical clearing of porcine skin making the deep-located dermal regions able for investigations. At the used concentrations and time intervals, glycerol is more effective than Omnipaque™. However, Omnipaque™ is more promising than glycerol for future in vivo applications as it is an already approved pharmaceutic substance without any known impact on the skin structure.
A Dual of the Compression-Expansion Fixed Point Theorems
Directory of Open Access Journals (Sweden)
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
Directory of Open Access Journals (Sweden)
Trinks Martin
2014-08-01
Full Text Available Whitney’s Broken-cycle Theorem states the chromatic polynomial of a graph as a sum over special edge subsets. We give a definition of cycles in hypergraphs that preserves the statement of the theorem there
A duality theorem of crossed coproduct for Hopf algebras
Institute of Scientific and Technical Information of China (English)
王栓宏
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
Institute of Scientific and Technical Information of China (English)
无
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
Directory of Open Access Journals (Sweden)
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
Directory of Open Access Journals (Sweden)
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
Directory of Open Access Journals (Sweden)
Ferenc Izsak
2003-01-01
Full Text Available Using Schauder's fixed point theorem, we prove an existence theorem for Volterra integrodifferential equations with infinite delay. As an appplication, we consider an $n$ species Lotka-Volterra competitive system.
Central Limit Theorem for Coloured Hard Dimers
Directory of Open Access Journals (Sweden)
Maria Simonetta Bernabei
2010-01-01
Full Text Available We study the central limit theorem for a class of coloured graphs. This means that we investigate the limit behavior of certain random variables whose values are combinatorial parameters associated to these graphs. The techniques used at arriving this result comprise combinatorics, generating functions, and conditional expectations.
Generalization of the Hellmann-Feynman theorem
Energy Technology Data Exchange (ETDEWEB)
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.
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.
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
Institute of Scientific and Technical Information of China (English)
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
Institute of Scientific and Technical Information of China (English)
H.Vaezi; S.F.Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by (Shuf)(g)=∫Gf(tut-1g)dt on compact group G and by help of this operator we define “Spherical” modulus of continuity.So we prove Stechkin and Jackson type theorems.
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
Institute of Scientific and Technical Information of China (English)
张震球; 郑维行
2000-01-01
The weak type (1,1) estimate for special Hermite expansions on Cn is proved by using the Calderon-Zygmund decomposition. Then the multiplier theorem in Lp(1 < p < ω ) is obtained. The special Hermite expansions in twisted Hardy space are also considered. As an application, the multipli-ers for a certain kind of Laguerre expansions are given in Lp space.
Lagrange’s Four-Square Theorem
Directory of Open Access Journals (Sweden)
Watase Yasushige
2015-02-01
Full Text Available This article provides a formalized proof of the so-called “the four-square theorem”, namely any natural number can be expressed by a sum of four squares, which was proved by Lagrange in 1770. An informal proof of the theorem can be found in the number theory literature, e.g. in [14], [1] or [23].
SOME REFINEMENTS OF ENESTROM-KAKEYA THEOREM
Institute of Scientific and Technical Information of China (English)
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
Directory of Open Access Journals (Sweden)
J. R. Morales
2012-01-01
Full Text Available We are going to generalize the Jungck's fixed point theorem for commuting mappings by mean of the concepts of altering distance functions and compatible pair of mappings, as well as, by using contractive inequalities of integral type and contractive inequalities depending on another function.
A 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
Directory of Open Access Journals (Sweden)
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
DEFF Research Database (Denmark)
Thomassen, Carsten
2016-01-01
We give an elementary proof of the theorem of Nash-Williams that a graph has an edge-decomposition into cycles if and only if it does not contain an odd cut. We also prove that every bridgeless graph has a collection of cycles covering each edge at least once and at most 7 times. The two results...
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
Institute of Scientific and Technical Information of China (English)
无
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
Directory of Open Access Journals (Sweden)
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
DEFF Research Database (Denmark)
Ge, Jian; Huang, Yang
2016-01-01
Given a closed contact 3-manifold with a compatible Riemannian metric, we show that if the sectional curvature is 1/4-pinched, then the contact structure is universally tight. This result improves the Contact Sphere Theorem in [EKM12], where a 4/9-pinching constant was imposed. Some tightness 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
Two Theorems on Calculating the Relative Entropy of Entanglement
Institute of Scientific and Technical Information of China (English)
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
Institute of Scientific and Technical Information of China (English)
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.
Virial theorem and universality in a unitary fermi gas.
Thomas, J E; Kinast, J; Turlapov, A
2005-09-16
Unitary Fermi gases, where the scattering length is large compared to the interparticle spacing, can have universal properties, which are independent of the details of the interparticle interactions when the range of the scattering potential is negligible. We prepare an optically trapped, unitary Fermi gas of 6Li, tuned just above the center of a broad Feshbach resonance. In agreement with the universal hypothesis, we observe that this strongly interacting many-body system obeys the virial theorem for an ideal gas over a wide range of temperatures. Based on this result, we suggest a simple volume thermometry method for unitary gases. We also show that the observed breathing mode frequency, which is close to the unitary hydrodynamic value over a wide range of temperature, is consistent with a universal hydrodynamic gas with nearly isentropic dynamics.
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
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.
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.
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
Institute of Scientific and Technical Information of China (English)
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.
Fincham, W H A
2013-01-01
Optics: Eighth Edition covers the work necessary for the specialization in such subjects as ophthalmic optics, optical instruments and lens design. The text includes topics such as the propagation and behavior of light; reflection and refraction - their laws and how different media affect them; lenses - thick and thin, cylindrical and subcylindrical; photometry; dispersion and color; interference; and polarization. Also included are topics such as diffraction and holography; the limitation of beams in optical systems and its effects; and lens systems. The book is recommended for engineering st
Larsen, Eivind L. P.; Randeberg, Lise L.; Gederaas, Odrun A.; Arum, Carl-Jørgen; Krokan, Hans E.; Hjelme, Dag R.; Svaasand, Lars O.
2006-02-01
Photodynamic therapy (PDT) is a treatment modality which has been shown to be effective for both malignant and non-malignant diseases. New photosensitizers such as 5-aminolevulinic acid hexylester (hALA) may increase the efficiency of PDT. Monitoring of the tissue response provides important information for optimizing factors such as drug and light dose for this treatment modality. Optical spectroscopy may be suited for this task. To test the efficacy of hALA induced PDT, a study on rats with a superficial bladder cancer model, in which a bladder cancer cell line (AY-27) is instilled, will be performed. Preliminary studies have included a PDT feasibility study on rats, fluorescence spectroscopy on AY-27 cell suspensions, and optical reflection and fluorescence spectroscopy in rat bladders in vivo. The results from the preliminary studies are promising, and the study on hALA induced PDT treatment of bladder cancer will be continued.
Representation theorems and Green's function retrieval for scattering in acoustic media.
Vasconcelos, Ivan; Snieder, Roel; Douma, Huub
2009-09-01
Reciprocity theorems for perturbed acoustic media are provided in the form of convolution- and correlation-type theorems. These reciprocity relations are particularly useful in the general treatment of both forward and inverse-scattering problems. Using Green's functions to describe perturbed and unperturbed waves in two distinct wave states, representation theorems for scattered waves are derived from the reciprocity relations. While the convolution-type theorems can be manipulated to obtain scattering integrals that are analogous to the Lippmann-Schwinger equation, the correlation-type theorems can be used to retrieve the scattering response of the medium by cross correlations. Unlike previous formulations of Green's function retrieval, the extraction of scattered-wave responses by cross correlations does not require energy equipartitioning. Allowing for uneven energy radiation brings experimental advantages to the retrieval of fields scattered by remote lossless and/or attenuative scatterers. These concepts are illustrated with a number of examples, including analytic solutions to a one-dimensional scattering problem, and a numerical example in the context of seismic waves recorded on the ocean bottom.
Vapour–to–liquid nucleation: Nucleation theorems for nonisothermal–nonideal case
Energy Technology Data Exchange (ETDEWEB)
Malila, J.; McGraw, R.; Napari, I.; Laaksonen, A.
2010-08-29
Homogeneous vapour-to-liquid nucleation, a basic process of aerosol formation, is often considered as a type example of nucleation phenomena, while most treatment of the subject introduce several simplifying assumptions (ideal gas phase, incompressible nucleus, isothermal kinetics, size-independent surface free energy...). During last decades, nucleation theorems have provided new insights into properties of critical nuclei facilitating direct comparison between laboratory experiments and molecular simulations. These theorems are, despite of their generality, often applied in forms where the aforementioned assumptions are made. Here we present forms of nucleation theorems that explicitly take into account these effects and allow direct estimation of their importance. Only assumptions are Arrhenius-type kinetics of nucleation process and exclusion carrier gas molecules from the critical nucleus.
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...
Tissue motion tracking at the edges of a radiation treatment field using local optical flow analysis
Teo, P. T.; Pistorius, S.
2014-03-01
This paper investigates the feasibility and accuracy of tracking the motion of an intruding organ-at-risk (OAR) at the edges of a treatment field using a local optical flow analysis of electronic portal images. An intruding OAR was simulated by modifying the portal images obtained by irradiating a programmable phantom's lung tumour. A rectangular treatment aperture was assumed and the edges of the beam's eye view (BEV) were partitioned into clusters/grids according to the width of the multi-leaf collimators (MLC). The optical flow velocities were calculated and the motion accuracy in these clusters was analysed. A velocity error of 0.4 ± 1.4 mm/s with a linearity of 1.04 for tracking an object intruding at 10mm/s (max) was obtained.
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...
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.
Generalized Sampling Theorem for Bandpass Signals
Directory of Open Access Journals (Sweden)
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
Energy Technology Data Exchange (ETDEWEB)
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.
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.
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.
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.
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
Directory of Open Access Journals (Sweden)
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).
On the equivalence theorem for integrable systems
Melikyan, A; Rivelles, V O
2014-01-01
We investigate the equivalence theorem for integrable systems using two formulations of the Alday-Arutyunov-Frolov model. We show that the S-matrix is invariant under the field transformation which reduces the non-linear Dirac brackets of one formulation into the standard commutation relations in the second formulation. We also explain how to perform the direct diagonalization of the transformed Hamiltonian by constructing the states corresponding to self-adjoint extensions.
Resource Adaptive Agents in Interactive Theorem Proving
Benzmueller, Christoph
2009-01-01
We introduce a resource adaptive agent mechanism which supports the user in interactive theorem proving. The mechanism uses a two layered architecture of agent societies to suggest appropriate commands together with possible command argument instantiations. Experiments with this approach show that its effectiveness can be further improved by introducing a resource concept. In this paper we provide an abstract view on the overall mechanism, motivate the necessity of an appropriate resource concept and discuss its realization within the agent architecture.
Reciprocity Theorems for Ab Initio Force Calculations
Wei, C; Mele, E J; Rappe, A M; Lewis, Steven P.; Rappe, Andrew M.
1996-01-01
We present a method for calculating ab initio interatomic forces which scales quadratically with the size of the system and provides a physically transparent representation of the force in terms of the spatial variation of the electronic charge density. The method is based on a reciprocity theorem for evaluating an effective potential acting on a charged ion in the core of each atom. We illustrate the method with calculations for diatomic molecules.
Theorems for asymptotic safety of gauge theories
Energy Technology Data Exchange (ETDEWEB)
Bond, Andrew D.; Litim, Daniel F. [University of Sussex, Department of Physics and Astronomy, Brighton (United Kingdom)
2017-06-15
We classify the weakly interacting fixed points of general gauge theories coupled to matter and explain how the competition between gauge and matter fluctuations gives rise to a rich spectrum of high- and low-energy fixed points. The pivotal role played by Yukawa couplings is emphasised. Necessary and sufficient conditions for asymptotic safety of gauge theories are also derived, in conjunction with strict no go theorems. Implications for phase diagrams of gauge theories and physics beyond the Standard Model are indicated. (orig.)
A Central Limit Theorem for Repeating Patterns
Abrams, Aaron; Landau, Henry; Landau, Zeph; Pommersheim, James
2012-01-01
This note gives a central limit theorem for the length of the longest subsequence of a random permutation which follows some repeating pattern. This includes the case of any fixed pattern of ups and downs which has at least one of each, such as the alternating case considered by Stanley in [2] and Widom in [3]. In every case considered the convergence in the limit of long permutations is to normal with mean and variance linear in the length of the permutations.
Generalized entropy production fluctuation theorems for quantum systems
Indian Academy of Sciences (India)
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.
Radiation optic neuropathy and retinopathy with low dose (20 Gy radiation treatment
Directory of Open Access Journals (Sweden)
Crandall E. Peeler
2016-10-01
Conclusions and importance: Though cumulative radiation doses to the anterior visual pathway of less than 50 Gy are traditionally felt to be safe, it is important to consider not just the total exposure but also the size of individual fractions. The single-dose threshold for RON in proton beam treatment has yet to be defined. Our case suggests that fractions of less than 10 Gy should be delivered to minimize the risk of optic nerve injury.
Haag's Theorem and Parameterized Quantum Field Theory
Seidewitz, Edwin
2017-01-01
``Haag's theorem is very inconvenient; it means that the interaction picture exists only if there is no interaction''. In traditional quantum field theory (QFT), Haag's theorem states that any field unitarily equivalent to a free field must itself be a free field. But 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 which must still account for interactions. So, the usual derivation of the scattering matrix in QFT is mathematically ill defined. Nevertheless, perturbative QFT is currently the only practical approach for addressing realistic scattering, and it has been very successful in making empirical predictions. This success can be understood through an alternative derivation of the Dyson series in a covariant formulation of QFT using an invariant, fifth path parameter in addition to the usual four position parameters. The parameterization provides an additional degree of freedom that allows Haag's Theorem to be avoided, permitting the consistent use of a form of interaction picture in deriving the Dyson expansion. The extra symmetry so introduced is then broken by the choice of an interacting vacuum.
The "Nernst Theorem" and Black Hole Thermodynamics
Wald, R M
1997-01-01
The Nernst formulation of the third law of ordinary thermodynamics (often referred to as the ``Nernst theorem'') asserts that the entropy, $S$, of a system must go to zero (or a ``universal constant'') as its temperature, $T$, goes to zero. This assertion is commonly considered to be a fundamental law of thermodynamics. As such, it seems to spoil the otherwise perfect analogy between the ordinary laws of thermodynamics and the laws of black hole mechanics, since rotating black holes in general relativity do not satisfy the analog of the ``Nernst theorem''. The main purpose of this paper is to attempt to lay to rest the ``Nernst theorem'' as a law of thermodynamics. We consider a boson (or fermion) ideal gas with its total angular momentum, $J$, as an additional state parameter, and we analyze the conditions on the single particle density of states, $g(\\epsilon,j)$, needed for the Nernst formulation of the third law to hold. (Here, $\\epsilon$ and $j$ denote the single particle energy and angular momentum.) Alt...
Directory of Open Access Journals (Sweden)
Amy eWaldman
2011-11-01
Full Text Available The Optic Neuritis Treatment Trial and subsequent studies have had a tremendous impact on the treatment and prognosis of optic neuritis and multiple sclerosis in adults. The results of these studies have been extrapolated to children; however, pediatric data are sparse. Using the method of prospective preference assessment, the willingness of parents and medical professionals to enroll children in a hypothetical Pediatric Optic Neuritis Treatment Trial was assessed using a mock consent form and questionnaire. A 3-arm trial was proposed: 1 intravenous corticosteroids, 2 high-dose oral corticosteroids, and 3 an oral placebo. The forms were completed by 198 parents and 49 physicians. After reviewing the hypothetical scenario, trial design, risks and benefits, and alternatives to the study, 21% of parents would enroll their children in the trial whereas 98% of medical professionals would enroll their patients. With medical professional recommendation, 43% of parents would enroll their children. The manner in which this hypothetical trial was presented to parents, specifically with respect to the recommendation of their child’s health care team, influenced a parent’s willingness to participate.
Institute of Scientific and Technical Information of China (English)
Jeffrey N Weiss; Steven Levy; Alexis Malkin
2015-01-01
In this report, we present the results of a single patient with optic neuropathy treated within the Stem Cell Ophthalmology Treatment Study (SCOTS). SCOTS is an Institutional Review Board approved clinical trial and is the largest ophthalmology stem cell study registered at the National Institutes of Health to date-www.clinicaltrials.gov Identifier NCT 01920867. SCOTS utilizes autologous bone marrow-derived stem cells in the treatment of optic nerve and retinal diseases. Pre-and post-treatment comprehensive eye exams were independently performed at the Wilmer Eye Institute at the Johns Hopkins Hospital, USA. A 27 year old female patient had lost vision approximately 5 years prior to enrollment in SCOTS. Pre-treatment best-corrected visual acuity at the Wilmer Eye Institute was 20/800 Right Eye (OD) and 20/4,000 Left Eye (OS). Four months following treatment in SCOTS, the central visual acuity had improved to 20/100 OD and 20/40 OS.
Directory of Open Access Journals (Sweden)
Jeffrey N Weiss
2015-01-01
Full Text Available In this report, we present the results of a single patient with optic neuropathy treated within the Stem Cell Ophthalmology Treatment Study (SCOTS. SCOTS is an Institutional Review Board approved clinical trial and is the largest ophthalmology stem cell study registered at the National Institutes of Health to date- www.clinicaltrials.gov Identifier NCT 01920867. SCOTS utilizes autologous bone marrow-derived stem cells in the treatment of optic nerve and retinal diseases. Pre- and post-treatment comprehensive eye exams were independently performed at the Wilmer Eye Institute at the Johns Hopkins Hospital, USA. A 27 year old female patient had lost vision approximately 5 years prior to enrollment in SCOTS. Pre-treatment best-corrected visual acuity at the Wilmer Eye Institute was 20/800 Right Eye (OD and 20/4,000 Left Eye (OS. Four months following treatment in SCOTS, the central visual acuity had improved to 20/100 OD and 20/40 OS.
Using Pre-TMIn Treatment to Improve the Optical Properties of Green Light Emitting Diodes
Directory of Open Access Journals (Sweden)
Bing Xu
2014-01-01
Full Text Available We investigated the effects of pre-TMIn treatment on the optical properties of green light emitting diodes (LEDs. Although pre-TMIn treatment did not affect the epitaxial structure of quantum wells, it significantly improved the quality of the surface morphology relative to that of the untreated sample. Indium cluster can be seen by high-resolution transmission electron microscopy (HR-TEM, which is the explanation for the red-shift of photoluminescence (PL. Time-resolved photoluminescence measurements indicated that the sample prepared with pre-TMIn treatment had a shorter radiative decay time. As a result, the light output power of the treated green LED was higher than that of the conventional untreated one. Thus, pre-TMIn treatment appears to be a simple and efficient means of improving the performance of green LEDs.
Verner, Ines; Kutscher, Tuvia Dror
2017-08-01
Different treatment modalities are used for the treatment and esthetic improvement of aging hands. This study evaluated the efficacy and safety of a novel technology, which combines bipolar radio frequency (RF) and optical energies for the cosmetic treatment of aging hands. The objective of the study was to assess the efficacy, safety, tolerability, and patient satisfaction of combined bipolar radiofrequency and optical energies vs. optical energy alone for the treatment of aging hands. Thirteen female patients with solar lentigines on the back of the hands were enrolled. Participants received three treatments: combined RF and intense pulsed light (IPL) on one hand and IPL treatment alone on the other. Standardized clinical photographs were taken, and patient and investigator improvement assessment (Global Esthetic Improvement (GAI) scale), patient satisfaction, and tolerability were evaluated. At the 1 and 3 months follow-up, skin laxity and pigmentation, investigator and patient improvement assessments, and satisfaction were significantly better in the hand treated with combined bipolar RF and IPL. This study demonstrates the safety and efficacy of combining RF and optical energies for the esthetic improvement of aging hands. Combined RF and IPL treatment was more efficient than IPL alone in improving skin pigmentation, skin laxity, and texture.
Four theorems on the psychometric function.
Directory of Open Access Journals (Sweden)
Keith A May
Full Text Available In a 2-alternative forced-choice (2AFC discrimination task, observers choose which of two stimuli has the higher value. The psychometric function for this task gives the probability of a correct response for a given stimulus difference, Δx. This paper proves four theorems about the psychometric function. Assuming the observer applies a transducer and adds noise, Theorem 1 derives a convenient general expression for the psychometric function. Discrimination data are often fitted with a Weibull function. Theorem 2 proves that the Weibull "slope" parameter, β, can be approximated by β(Noise x β(Transducer, where β(Noise is the β of the Weibull function that fits best to the cumulative noise distribution, and β(Transducer depends on the transducer. We derive general expressions for β(Noise and β(Transducer, from which we derive expressions for specific cases. One case that follows naturally from our general analysis is Pelli's finding that, when d' ∝ (Δx(b, β ≈ β(Noise x b. We also consider two limiting cases. Theorem 3 proves that, as sensitivity improves, 2AFC performance will usually approach that for a linear transducer, whatever the actual transducer; we show that this does not apply at signal levels where the transducer gradient is zero, which explains why it does not apply to contrast detection. Theorem 4 proves that, when the exponent of a power-function transducer approaches zero, 2AFC performance approaches that of a logarithmic transducer. We show that the power-function exponents of 0.4-0.5 fitted to suprathreshold contrast discrimination data are close enough to zero for the fitted psychometric function to be practically indistinguishable from that of a log transducer. Finally, Weibull β reflects the shape of the noise distribution, and we used our results to assess the recent claim that internal noise has higher kurtosis than a Gaussian. Our analysis of β for contrast discrimination suggests that, if internal noise is
Directory of Open Access Journals (Sweden)
Leonardo Provetti Cunha
Full Text Available ABSTRACT Herein, we report a case of nonarteritic anterior ischemic optic neuropathy (NAION following uneventful pars plana vitrectomy for macular hole treatment. A 56-year-old previously healthy woman presented with a full-thickness macular hole in right eye (OD and small cup-to-disc ratios in both eyes. Five days after surgery, she noticed sudden painless loss of vision in OD and was found to have an afferent pupillary defect and intraocular pressure of 29 mmHg. Fundus examination showed right optic disc edema and the resolution of a macular hole with an inferior altitudinal visual field defect. Erythrocyte sedimentation rate, C-reactive protein levels, and general physical examination findings were normal. She was treated with hypotensive eyedrops and oral prednisone, resulting in mild visual improvement and a pale optic disc. A combination of face-down position and increased intraocular pressure due to a small optic disc cup were considered as potential mechanisms underlying NAION in the present case. Vitreoretinal surgeons should be aware of NAION as a potentially serious complication and be able to recognize associated risk factors and clinical findings.
Optical applications of von Neumann's alternating-projection theorem.
Montgomery, W D
1982-01-01
The previous work of Gerchberg [Opt. Acta 21, 709 (1974)], Papoulis [IEEE Trans. Circuits Syst. CAS-22, 735 (1975)], Youla [IEEE Trans. Circuits Syst. CAS-25, 694 (1978)], and Stark et al. [J. Opt. Soc. Am. 71, 735 (1981)] on image restoration is presented in a generalized setting. New examples using three projections are given. The method is used to solve the general problem of diffraction by a perfectly conducting plane screen of arbitrary configuration.
Institute of Scientific and Technical Information of China (English)
LI Zhi-hua; KE Yu-peng; REN Dong-yan
2008-01-01
Indium-tin-oxide(ITO) films were prepared on the quarts glass by sol-gel technique. Effects of different heat treatment temperatures and cooling methods on the morphological, optical and electrical properties of ITO films were measured by TG/DTA, IR, XRD, SEM, UV-VIS spectrometer and four-probe apparatus. It is found that the crystallized ITO films exhibit a polycrystalline cubic bixbyite structure. The heat treatment process has significant effects on the morphological, optical and electrical properties of ITO films. Elevating the heat treatment temperature can perfect the crystallization process of ITO films, therefore the optical and electrical properties of ITO films are improved. But the further increasing of heat treatment temperature results in the increment of ITO films' resistivity. Compared with ITO films elaborated by furnace cooling, those prepared through air cooling have following characteristics as obviously decreased crystalline size, deeply declined porosity, more compact micro-morphology, improved electrical property and slightly decreased optical transmission.
P. Tyczynski (Pawel); N. Kukreja (Neville); R.J.M. van Geuns (Robert Jan); J.J. Wykrzykowska (Joanna); M.N. Sheppard (Mary); C. di Mario (Carlo)
2010-01-01
textabstractAims: Pre- and post-interventional optical coherence tomography (OCT) assessment of degenerated saphenous vein grafts (SVG) treated with implantation of pericardium covered stents. Percutaneous treatment of SVG represents one of the major challenges of current percutaneous coronary
The implicit function theorem history, theory, and applications
Krantz, Steven G
2003-01-01
The implicit function theorem is part of the bedrock of mathematics analysis and geometry. Finding its genesis in eighteenth century studies of real analytic functions and mechanics, the implicit and inverse function theorems have now blossomed into powerful tools in the theories of partial differential equations, differential geometry, and geometric analysis. There are many different forms of the implicit function theorem, including (i) the classical formulation for Ck functions, (ii) formulations in other function spaces, (iii) formulations for non-smooth function, (iv) formulations for functions with degenerate Jacobian. Particularly powerful implicit function theorems, such as the Nash-Moser theorem, have been developed for specific applications (e.g., the imbedding of Riemannian manifolds). All of these topics, and many more, are treated in the present volume. The history of the implicit function theorem is a lively and complex store, and intimately bound up with the development of fundamental ideas in a...
Fluctuation theorem for out-of-time-ordered correlator
Halpern, Nicole Yunger
2016-01-01
The out-of-time-ordered correlator (OTOC) diagnoses quantum chaos and the scrambling of quantum information via the spread of entanglement. The OTOC encodes forward and reverse evolutions and has deep connections with the flow of time. So do fluctuation theorems such as Jarzynski's Equality, derived in nonequilibrium statistical mechanics. I unite these two powerful, seemingly disparate tools by deriving a fluctuation theorem for the OTOC. The fluctuation theorem is analogous to Jarzynski's Equality. The theorem's left-hand side equals the OTOC. The right-hand side implies a platform-nonspecific protocol for experimentally measuring the OTOC in an indirect manner fundamentally different from existing proposals. Time evolution need not be reversed in any trial. The theorem opens holography, condensed matter, and quantum information to new insights from fluctuation theorems and vice versa.
Feedback-induced Bistability of an Optically Levitated Nanoparticle: A Fokker-Planck Treatment
Ge, Wenchao; Bhattacharya, M
2016-01-01
Optically levitated nanoparticles have recently emerged as versatile platforms for investigating macroscopic quantum mechanics and enabling ultrasensitive metrology. In this article we theoretically consider two damping regimes of an optically levitated nanoparticle cooled by cavityless parametric feedback. Our treatment is based on a generalized Fokker-Planck equation derived from the quantum master equation presented recently and shown to agree very well with experiment [1]. For low damping, we find that the resulting Wigner function yields the single-peaked oscillator position distribution and recovers the appropriate energy distribution derived earlier using a classical theory and verified experimentally [2]. For high damping, in contrast, we predict a double-peaked position distribution, which we trace to an underlying bistability induced by feedback. Unlike in cavity-based optomechanics, stochastic processes play a major role in determining the bistable behavior. To support our conclusions, we present a...
Theorems on Existence and Global Dynamics for the Einstein Equations
Directory of Open Access Journals (Sweden)
Rendall Alan D.
2005-10-01
Full Text Available This article is a guide to theorems on existence and global dynamics of solutions of the Einstein equations. It draws attention to open questions in the field. The local-in-time Cauchy problem, which is relatively well understood, is surveyed. Global results for solutions with various types of symmetry are discussed. A selection of results from Newtonian theory and special relativity that offer useful comparisons is presented. Treatments of global results in the case of small data and results on constructing spacetimes with prescribed singularity structure or late-time asymptotics are given. A conjectural picture of the asymptotic behaviour of general cosmological solutions of the Einstein equations is built up. Some miscellaneous topics connected with the main theme are collected in a separate section.
Theorems on Existence and Global Dynamics for the Einstein Equations
Directory of Open Access Journals (Sweden)
Rendall Alan
2002-01-01
Full Text Available This article is a guide to theorems on existence and global dynamics of solutions ofthe Einstein equations. It draws attention to open questions in the field. The local-in-time Cauchy problem, which is relatively well understood, is surveyed. Global results for solutions with various types of symmetry are discussed. A selection of results from Newtonian theory and special relativity that offer useful comparisons is presented. Treatments of global results in the case of small data and results on constructing spacetimes with prescribed singularity structure are given. A conjectural picture of the asymptotic behaviour of general cosmological solutions of the Einstein equations is built up. Some miscellaneous topics connected with the main theme are collected in a separate section.
On the linearization theorem for proper Lie groupoids
Crainic, Marius
2011-01-01
We revisit the linearization theorems for proper Lie groupoids around general orbits (statements and proofs). In the the fixed point case (known as Zung's theorem) we give a shorter and more geometric proof, based on a Moser deformation argument. The passing to general orbits (Weinstein) is given a more conceptual interpretation: as a manifestation of Morita invariance. We also clarify the precise conditions needed for the theorem to hold (which often have been misstated in the literature).
Inconsistency of Carnot's theorem's proof by R. Clausius
Ihnatovych, V
2013-01-01
R. Clausius proved Carnot's theorem basing on postulate "Heat cannot, of itself, pass from a colder to a hotter body". Alexander Gukhman demonstrated that Carnot's theorem can be proved based on the postulate "Heat cannot, of itself, pass from a hotter to a colder body". He concluded that Carnot's theorem does not follow from Clausius' postulate. The following paper gives a detailed justification of Gukhman's derivation.
Virial Theorem for a Class of Quantum Nonlinear Harmonic Oscillators
Institute of Scientific and Technical Information of China (English)
王雪红; 郭军义; 李艳
2012-01-01
In this paper,the Virial Theorem based on a class of quantum nonlinear harmonic oscillators is presented.This relationship has to do with parameter λ and ?/?λ,where the λ is a real number.When λ=0,the nonlinear harmonic oscillator naturally reduces to the usual quantum linear harmonic oscillator,and the Virial Theorem also reduces to the usual Virial Theorem.
A Converse of the Mean Value Theorem Made Easy
Mortici, Cristinel
2011-01-01
The aim of this article is to discuss some results about the converse mean value theorem stated by Tong and Braza [J. Tong and P. Braza, "A converse of the mean value theorem", Amer. Math. Monthly 104(10), (1997), pp. 939-942] and Almeida [R. Almeida, "An elementary proof of a converse mean-value theorem", Internat. J. Math. Ed. Sci. Tech. 39(8)…
Goedel incompleteness theorems and the limits of their applicability. I
Energy Technology Data Exchange (ETDEWEB)
Beklemishev, Lev D [Steklov Mathematical Institute, Russian Academy of Sciences, Moscow (Russian Federation)
2011-01-25
This is a survey of results related to the Goedel incompleteness theorems and the limits of their applicability. The first part of the paper discusses Goedel's own formulations along with modern strengthenings of the first incompleteness theorem. Various forms and proofs of this theorem are compared. Incompleteness results related to algorithmic problems and mathematically natural examples of unprovable statements are discussed. Bibliography: 68 titles.
Stochastic thermodynamics, fluctuation theorems and molecular machines.
Seifert, Udo
2012-12-01
Stochastic thermodynamics as reviewed here systematically provides a framework for extending the notions of classical thermodynamics such as work, heat and entropy production to the level of individual trajectories of well-defined non-equilibrium ensembles. It applies whenever a non-equilibrium process is still coupled to one (or several) heat bath(s) of constant temperature. Paradigmatic systems are single colloidal particles in time-dependent laser traps, polymers in external flow, enzymes and molecular motors in single molecule assays, small biochemical networks and thermoelectric devices involving single electron transport. For such systems, a first-law like energy balance can be identified along fluctuating trajectories. For a basic Markovian dynamics implemented either on the continuum level with Langevin equations or on a discrete set of states as a master equation, thermodynamic consistency imposes a local-detailed balance constraint on noise and rates, respectively. Various integral and detailed fluctuation theorems, which are derived here in a unifying approach from one master theorem, constrain the probability distributions for work, heat and entropy production depending on the nature of the system and the choice of non-equilibrium conditions. For non-equilibrium steady states, particularly strong results hold like a generalized fluctuation-dissipation theorem involving entropy production. Ramifications and applications of these concepts include optimal driving between specified states in finite time, the role of measurement-based feedback processes and the relation between dissipation and irreversibility. Efficiency and, in particular, efficiency at maximum power can be discussed systematically beyond the linear response regime for two classes of molecular machines, isothermal ones such as molecular motors, and heat engines such as thermoelectric devices, using a common framework based on a cycle decomposition of entropy production.
Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem
Directory of Open Access Journals (Sweden)
Juliana Bueno-Soler
2016-09-01
Full Text Available This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs. We show that LFIs encode very naturally an extension of the notion of probability able to express sophisticated probabilistic reasoning under contradictions employing appropriate notions of conditional probability and paraconsistent updating, via a version of Bayes’ theorem for conditionalization. We argue that the dissimilarity between the notions of inconsistency and contradiction, one of the pillars of LFIs, plays a central role in our extended notion of probability. Some critical historical and conceptual points about probability theory are also reviewed.
Number systems and the Chinese Remainder Theorem
van de Woestijne, Christiaan E
2011-01-01
A well-known generalisation of positional numeration systems is the case where the base is the residue class of $x$ modulo a given polynomial $f(x)$ with coefficients in (for example) the integers, and where we try to construct finite expansions for all residue classes modulo $f(x)$, using a suitably chosen digit set. We give precise conditions under which direct or fibred products of two such polynomial number systems are again of the same form. The main tool is a general form of the Chinese Remainder Theorem. We give applications to simultaneous number systems in the integers.
APPROXIMATE SAMPLING THEOREM FOR BIVARIATE CONTINUOUS FUNCTION
Institute of Scientific and Technical Information of China (English)
杨守志; 程正兴; 唐远炎
2003-01-01
An approximate solution of the refinement equation was given by its mask, and the approximate sampling theorem for bivariate continuous function was proved by applying the approximate solution. The approximate sampling function defined uniquely by the mask of the refinement equation is the approximate solution of the equation, a piece-wise linear function, and posseses an explicit computation formula. Therefore the mask of the refinement equation is selected according to one' s requirement, so that one may controll the decay speed of the approximate sampling function.
Fixed point theorems in spaces and -trees
Directory of Open Access Journals (Sweden)
Kirk WA
2004-01-01
Full Text Available We show that if is a bounded open set in a complete space , and if is nonexpansive, then always has a fixed point if there exists such that for all . It is also shown that if is a geodesically bounded closed convex subset of a complete -tree with , and if is a continuous mapping for which for some and all , then has a fixed point. It is also noted that a geodesically bounded complete -tree has the fixed point property for continuous mappings. These latter results are used to obtain variants of the classical fixed edge theorem in graph theory.
A singularity theorem based on spatial averages
Indian Academy of Sciences (India)
J M M Senovilla
2007-07-01
Inspired by Raychaudhuri's work, and using the equation named after him as a basic ingredient, a new singularity theorem is proved. Open non-rotating Universes, expanding everywhere with a non-vanishing spatial average of the matter variables, show severe geodesic incompletness in the past. Another way of stating the result is that, under the same conditions, any singularity-free model must have a vanishing spatial average of the energy density (and other physical variables). This is very satisfactory and provides a clear decisive difference between singular and non-singular cosmologies.
Adiabatic theorems for generators of contracting evolutions
Avron, J E; Graf, G M; Grech, P
2011-01-01
We develop an adiabatic theory for generators of contracting evolution on Banach spaces. This provides a uniform framework for a host of adiabatic theorems ranging from unitary quantum evolutions through quantum evolutions of open systems generated by Lindbladians all the way to classically driven stochastic systems. In all these cases the adiabatic evolution approximates, to lowest order, the natural notion of parallel transport in the manifold of instantaneous stationary states. The dynamics in the manifold of instantaneous stationary states and transversal to it have distinct characteristics: The former is irreversible and the latter is transient in a sense that we explain. Both the gapped and gapless cases are considered. Some applications are discussed.
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).
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.
Gerlach, Moritz
2011-01-01
We prove that every bounded, positive, irreducible, stochastically continuous semigroup on the space of bounded, measurable functions which is strong Feller, consists of kernel operators and possesses an invariant measure converges pointwise. This differs from Doob's theorem in that we do not require the semigroup to be Markovian and request a fairly weak kind of irreducibility. In addition, we elaborate on the various notions of kernel operators in this context, show the stronger result that the adjoint semigroup converges strongly and discuss as an example diffusion equations on rough domains. The proofs are based on the theory of positive semigroups and do not use probability theory.
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.
Godel's Incompleteness Theorems and Platonic Metaphysics
Mikovic, Aleksandar
2015-01-01
We argue by using Godel's incompletness theorems in logic that platonism is the best metaphysics for science. This is based on the fact that a natural law in a platonic metaphysics represents a timeless order in the motion of matter, while a natural law in a materialistic metaphysics can be only defined as a temporary order which appears at random in the chaotic motion of matter. Although a logical possibility, one can argue that this type of metaphysics is highly implausible. Given that mathematics fits naturally within platonism, we conclude that a platonic metaphysics is more preferable than a materialistic metaphysics.
Jackson's Theorem on Bounded Symmetric Domains
Institute of Scientific and Technical Information of China (English)
Ming Zhi WANG; Guang Bin REN
2007-01-01
Polynomial approximation is studied on bounded symmetric domain Ω in C n for holo-morphic function spaces X ,such as Bloch-type spaces,Bergman-type spaces,Hardy spaces,Ω algebra and Lipschitz space.We extend the classical Jackson ’s theorem to several complex variables:E k f,X ) ω (1 /k,f,X ),where E k f,X )is the deviation of the best approximation of f ∈X by polynomials of degree at mostk with respect to the X -metric and ω (1/k,f,X )is the corresponding modulus of continuity.
Stone's representation theorem in fuzzy topology
Institute of Scientific and Technical Information of China (English)
LIU; Yingming(刘应明); ZHANG; Dexue(张德学)
2003-01-01
In this paper, a complete solution to the problem of Stone's repesentation theorem in fuzzy topology is given for a class of completely distributive lattices. Precisely, it is proved that if L is a frame such that 0 ∈ L is a prime or 1 ∈ L is a coprime, then the category of distributive lattices is dually equivalent to the category of coherent L-locales and that if L is moreover completely distributive, then the category of distributive lattices is dually equivalent to the category of coherent stratified L-topological spaces.
Lampart, Jonas; Lewin, Mathieu
2015-12-01
We prove a generalized version of the RAGE theorem for N-body quantum systems. The result states that only bound states of systems with {0 ≤slant n ≤slant N} particles persist in the long time average. The limit is formulated by means of an appropriate weak topology for many-body systems, which was introduced by the second author in a previous work, and is based on reduced density matrices. This topology is connected to the weak-* topology of states on the algebras of canonical commutation or anti-commutation relations, and we give a formulation of our main result in this setting.
Lifespan theorem for constrained surface diffusion flows
McCoy, James; Williams, Graham; 10.1007/s00209-010-0720-7
2012-01-01
We consider closed immersed hypersurfaces in $\\R^{3}$ and $\\R^4$ evolving by a class of constrained surface diffusion flows. Our result, similar to earlier results for the Willmore flow, gives both a positive lower bound on the time for which a smooth solution exists, and a small upper bound on a power of the total curvature during this time. By phrasing the theorem in terms of the concentration of curvature in the initial surface, our result holds for very general initial data and has applications to further development in asymptotic analysis for these flows.
Theorem proving support in programming language semantics
Bertot, Yves
2007-01-01
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system. Covered aspects are natural semantics, denotational semantics, axiomatic semantics, and abstract interpretation. Descriptions as recursive functions are also provided whenever suitable, thus yielding a a verification condition generator and a static analyser that can be run inside the theorem prover for use in reflective proofs. Extraction of an interpreter from the denotational semantics is also described. All different aspects are formally proved sound with respect to the natural semantics specification.
Generalizations of the Nash Equilibrium Theorem in the KKM Theory
Directory of Open Access Journals (Sweden)
Park Sehie
2010-01-01
Full Text Available The partial KKM principle for an abstract convex space is an abstract form of the classical KKM theorem. In this paper, we derive generalized forms of the Ky Fan minimax inequality, the von Neumann-Sion minimax theorem, the von Neumann-Fan intersection theorem, the Fan-type analytic alternative, and the Nash equilibrium theorem for abstract convex spaces satisfying the partial KKM principle. These results are compared with previously known cases for -convex spaces. Consequently, our results unify and generalize most of previously known particular cases of the same nature. Finally, we add some detailed historical remarks on related topics.
Generalizations of the Nash Equilibrium Theorem in the KKM Theory
Directory of Open Access Journals (Sweden)
Sehie Park
2010-01-01
Full Text Available The partial KKM principle for an abstract convex space is an abstract form of the classical KKM theorem. In this paper, we derive generalized forms of the Ky Fan minimax inequality, the von Neumann-Sion minimax theorem, the von Neumann-Fan intersection theorem, the Fan-type analytic alternative, and the Nash equilibrium theorem for abstract convex spaces satisfying the partial KKM principle. These results are compared with previously known cases for G-convex spaces. Consequently, our results unify and generalize most of previously known particular cases of the same nature. Finally, we add some detailed historical remarks on related topics.
A Formal Proof Of The Riesz Representation Theorem
Directory of Open Access Journals (Sweden)
Anthony Narkawicz
2011-01-01
Full Text Available This paper presents a formal proof of the Riesz representation theorem in the PVS theorem prover. The Riemann Stieltjes integral was defined in PVS, and the theorem relies on this integral. In order to prove the Riesz representation theorem, it was necessary to prove that continuous functions on a closed interval are Riemann Stieltjes integrable with respect to any function of bounded variation. This result follows from the equivalence of the Riemann Stieltjes and Darboux Stieltjes integrals, which would have been a lengthy result to prove in PVS, so a simpler lemma was proved that captures the underlying concept of this integral equivalence. In order to prove the Riesz theorem, the Hahn Banach theorem was proved in the case where the normed linear spaces are the continuous and bounded functions on a closed interval. The proof of the Riesz theorem follows the proof in Haaser and Sullivan's book Real Analysis. The formal proof of this result in PVS revealed an error in textbook's proof. Indeed, the proof of the Riesz representation theorem is constructive, and the function constructed in the textbook does not satisfy a key property. This error illustrates the ability of formal verification to find logical errors. A specific counterexample is given to the proof in the textbook. Finally, a corrected proof of the Riesz representation theorem is presented.
Fluctuation-dissipation theorem and quantum tunneling with dissipation
Fujikawa, K
1998-01-01
We suggest to take the fluctuation-dissipation theorem of Callen and Welton as a basis to study quantum dissipative phenomena (such as macroscopic quantum tunneling) in a manner analogous to the Nambu-Goldstone theorem for spontaneous symmetry breakdown. It is shown that the essential physical contents of the Caldeira-Leggett model such as the suppression of quantum coherence by Ohmic dissipation are derived from general principles only, namely, the fluctuation-dissipation theorem and unitarity and causality (i.e., dispersion relations), without referring to an explicit form of the Lagrangian. An interesting connection between quantum tunneling with Ohmic dissipation and the Anderson's orthogonality theorem is also noted.
Fluctuation theorem in dynamical systems with quenched disorder
Drocco, Jeffrey; Olson Reichhardt, Cynthia; Reichhardt, Charles
2010-03-01
We demonstrate that the fluctuation theorem of Gallavotti and Cohen can be used to characterize far from equilibrium dynamical nonthermal systems in the presence of quenched disorder where strong fluctuations or crackling noise occur. By observing the frequency of entropy-destroying trajectories, we show that the theorem holds in specific dynamical regimes near the threshold for motion, indicating that these systems might be ideal candidates for understanding what types of nonthermal fluctuations could be used in constructing generalized fluctuation theorems. We also discuss how the theorem could be tested with global or local probes in systems such as superconducting vortices, magnetic domain walls, stripe phases, Coulomb glasses and earthquake models.
New theorem relating two-mode entangled tomography to two-mode Fresnel operator
Institute of Scientific and Technical Information of China (English)
Xie Chuan-Mei; Fan Hong-Yi
2012-01-01
Based on the Fan-Hu's formalism,i.e.,the tomogram of two-mode quantum states can be considered as the module square of the states' wave function in the intermediate representation,which is just the eigenvector of the Fresnel quadrature phase,we derive a new theorem for calculating the quantum tomogram of two-mode density operators,i.e.,the tomogram of a two-mode density operator is equal to the marginal integration of the classical Weyl correspondence function of F+2pF2,where F2 is the two-mode Fresnel operator. An application of the theorem in evaluating the tomogram of an optical chaotic field is also presented.
Cosmological singularity theorems and splitting theorems for N-Bakry-Émery spacetimes
Woolgar, Eric; Wylie, William
2016-02-01
We study Lorentzian manifolds with a weight function such that the N-Bakry-Émery tensor is bounded below. Such spacetimes arise in the physics of scalar-tensor gravitation theories, including Brans-Dicke theory, theories with Kaluza-Klein dimensional reduction, and low-energy approximations to string theory. In the "pure Bakry-Émery" N = ∞ case with f uniformly bounded above and initial data suitably bounded, cosmological-type singularity theorems are known, as are splitting theorems which determine the geometry of timelike geodesically complete spacetimes for which the bound on the initial data is borderline violated. We extend these results in a number of ways. We are able to extend the singularity theorems to finite N-values N ∈ (n, ∞) and N ∈ (-∞, 1]. In the N ∈ (n, ∞) case, no bound on f is required, while for N ∈ (-∞, 1] and N = ∞, we are able to replace the boundedness of f by a weaker condition on the integral of f along future-inextendible timelike geodesics. The splitting theorems extend similarly, but when N = 1, the splitting is only that of a warped product for all cases considered. A similar limited loss of rigidity has been observed in a prior work on the N-Bakry-Émery curvature in Riemannian signature when N = 1 and appears to be a general feature.
Cosmological singularity theorems and splitting theorems for N-Bakry-Émery spacetimes
Energy Technology Data Exchange (ETDEWEB)
Woolgar, Eric, E-mail: ewoolgar@ualberta.ca [Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta T6G 2G1 (Canada); Wylie, William, E-mail: wwylie@syr.edu [215 Carnegie Building, Department of Mathematics, Syracuse University, Syracuse, New York 13244 (United States)
2016-02-15
We study Lorentzian manifolds with a weight function such that the N-Bakry-Émery tensor is bounded below. Such spacetimes arise in the physics of scalar-tensor gravitation theories, including Brans-Dicke theory, theories with Kaluza-Klein dimensional reduction, and low-energy approximations to string theory. In the “pure Bakry-Émery” N = ∞ case with f uniformly bounded above and initial data suitably bounded, cosmological-type singularity theorems are known, as are splitting theorems which determine the geometry of timelike geodesically complete spacetimes for which the bound on the initial data is borderline violated. We extend these results in a number of ways. We are able to extend the singularity theorems to finite N-values N ∈ (n, ∞) and N ∈ (−∞, 1]. In the N ∈ (n, ∞) case, no bound on f is required, while for N ∈ (−∞, 1] and N = ∞, we are able to replace the boundedness of f by a weaker condition on the integral of f along future-inextendible timelike geodesics. The splitting theorems extend similarly, but when N = 1, the splitting is only that of a warped product for all cases considered. A similar limited loss of rigidity has been observed in a prior work on the N-Bakry-Émery curvature in Riemannian signature when N = 1 and appears to be a general feature.
Directory of Open Access Journals (Sweden)
Ronghua He
2012-04-01
Full Text Available Let $I$ be any index set. By using some existence theorems of maximal elements for a family of set-valued mappings involving a better admissible set-valued mapping under noncompact setting of $FC$-spaces, we first present some nonempty intersection theorems for a family $\\{G_{i}\\}_{i\\in I}$ in a product space of $FC$-spaces. Next we give a coincidence theorem and a Fan-Browder type fixed point theorem. Finally, as applications, some equilibrium existence theorems for a system of generalized vector equilibrium problems are proved in product $FC$-space, some existence theorems of solutions for a system of Ky Fan type minimax inequalities involving a family of $G_{\\cal B}$-majorized mappings defined on the product space of $FC$-space are also obtained. Our results improve and generalize some recent results.
Directory of Open Access Journals (Sweden)
Arielle Spitze
2014-01-01
Full Text Available Background: Idiopathic intracranial hypertension (IIH has been increasing in prevalence in the past decade, following the obesity epidemic. When medical treatment fails, surgical treatment options must be considered. However, controversy remains as to which surgical procedure is the preferred surgical option - optic nerve sheath fenestration (ONSF or cerebrospinal fluid (CSF shunting - for the long-term treatment of this syndrome. Purpose: To provide a clinical update of the pros and cons of ONSF versus shunt placement for the treatment of IIH. Design: This was a retrospective review of the current literature in the English language indexed in PubMed. Methods: The authors conducted a PubMed search using the following terms: Idiopathic IIH, pseudotumor cerebri, ONSF, CSF shunts, vetriculo-peritoneal shunting, and lumbo-peritoneal shunting. The authors included pertinent and significant original articles, review articles, and case reports, which revealed the new aspects and updates in these topics. Results: The treatment of IIH remains controversial and lacks randomized controlled clinical trial data. Treatment of IIH rests with the determination of the severity of IIH-related visual loss and headache. Conclusion: The decision for ONSF versus shunting is somewhat institution and surgeon dependent. ONSF is preferred for patients with visual symptoms whereas shunting is reserved for patients with headache. There are positive and negative aspects of both procedures, and a prospective, randomized, controlled trial is needed (currently underway. This article will hopefully be helpful in allowing the reader to make a more informed decision until that time.
A Simple Technique to Facilitate Treatment of Urethral Strictures with Optical Internal Urethrotomy
Directory of Open Access Journals (Sweden)
Konstantinos Stamatiou
2014-01-01
Full Text Available Urethral stricture is a common condition that can lead to serious complications such as urinary infections and renal insufficiency secondary to urinary retention. Treatment options include catheterization, urethroplasty, endoscopic internal urethrotomy, and dilation. Optical internal urethrotomy offers faster recovery, minimal scarring, and less risk of infection, although recurrence is possible. However, technical difficulties associated with poor visualization of the stenosis or of the urethral lumen may increase procedural time and substantially increase the failure rates of internal urethrotomy. In this report we describe a technique for urethral catheterization via a suprapubic, percutaneous approach through the urinary bladder in order to facilitate endoscopic internal urethrotomy.
Monitoring laser treatment of port wine stains using phase-resolved optical Doppler tomography
Zhao, Yonghua; Chen, Zhongping; Saxer, Christopher E.; de Boer, Johannes F.; Majaron, Boris; Verkruysse, Wim; Nelson, J. Stuart
2000-04-01
We used a novel phase-resolved optical Doppler tomographic (ODT) technique, with very high flow velocity sensitivity and high spatial resolution, to image blood flow in port wine stain (PWS) birthmarks in human skin. The variance of blood flow velocity is used to locate the PWS vessels in addition to the regular ODT images. Our device combines an ODT system and laser so that PWS blood flow can be monitored in situ before and after treatment. To our knowledge, this is the first clinical application of ODT to provide a fast semi-quantitative evaluation of the efficacy of PWS laser therapy in situ and in real-time.
On the inversion of Fueter's theorem
Dong, Baohua; Kou, Kit Ian; Qian, Tao; Sabadini, Irene
2016-10-01
The well known Fueter theorem allows to construct quaternionic regular functions or monogenic functions with values in a Clifford algebra defined on open sets of Euclidean space R n + 1, starting from a holomorphic function in one complex variable or, more in general, from a slice hyperholomorphic function. Recently, the inversion of this theorem has been obtained for odd values of the dimension n. The present work extends the result to all dimensions n by using the Fourier multiplier method. More precisely, we show that for any axially monogenic function f defined in a suitable open set in R n + 1, where n is a positive integer, we can find a slice hyperholomorphic function f → such that f =Δ (n - 1) / 2 f →. Both the even and the odd dimensions are treated with the same, viz., the Fourier multiplier, method. For the odd dimensional cases the result obtained by the Fourier multiplier method coincides with the existing result obtained through the pointwise differential method.
Limit theorems for functions of marginal quantiles
Babu, G Jogesh; Choi, Kwok Pui; Mangalam, Vasudevan; 10.3150/10-BEJ287
2011-01-01
Multivariate distributions are explored using the joint distributions of marginal sample quantiles. Limit theory for the mean of a function of order statistics is presented. The results include a multivariate central limit theorem and a strong law of large numbers. A result similar to Bahadur's representation of quantiles is established for the mean of a function of the marginal quantiles. In particular, it is shown that \\[\\sqrt{n}\\Biggl(\\frac{1}{n}\\sum_{i=1}^n\\phi\\bigl(X_{n:i}^{(1)},...,X_{n:i}^{(d)}\\bigr)-\\bar{\\gamma}\\Biggr)=\\frac{1}{\\sqrt{n}}\\sum_{i=1}^nZ_{n,i}+\\mathrm{o}_P(1)\\] as $n\\rightarrow\\infty$, where $\\bar{\\gamma}$ is a constant and $Z_{n,i}$ are i.i.d. random variables for each $n$. This leads to the central limit theorem. Weak convergence to a Gaussian process using equicontinuity of functions is indicated. The results are established under very general conditions. These conditions are shown to be satisfied in many commonly occurring situations.
Birth of a theorem a mathematical adventure
Villani, Cédric
2015-01-01
This man could plainly do for mathematics what Brian Cox has done for physics" (Sunday Times). What goes on inside the mind of a rock-star mathematician? Where does inspiration come from? With a storyteller's gift, Cedric Villani takes us on a mesmerising journey as he wrestles with a new theorem that will win him the most coveted prize in mathematics. Along the way he encounters obstacles and setbacks, losses of faith and even brushes with madness. His story is one of courage and partnership, doubt and anxiety, elation and despair. We discover how it feels to be obsessed by a theorem during your child's cello practise and throughout your dreams, why appreciating maths is a bit like watching an episode of Columbo, and how sometimes inspiration only comes from locking yourself away in a dark room to think. Blending science with history, biography with myth, Villani conjures up an inimitable cast of characters including the omnipresent Einstein, mad genius Kurt Godel, and Villani's personal hero, John Nash. Bir...
De Finetti Theorem on the CAR Algebra
Crismale, Vitonofrio; Fidaleo, Francesco
2012-10-01
The symmetric states on a quasi local C*-algebra on the infinite set of indices J are those invariant under the action of the group of the permutations moving only a finite, but arbitrary, number of elements of J. The celebrated De Finetti Theorem describes the structure of the symmetric states (i.e. exchangeable probability measures) in classical probability. In the present paper we extend the De Finetti Theorem to the case of the CAR algebra, that is for physical systems describing Fermions. Namely, after showing that a symmetric state is automatically even under the natural action of the parity automorphism, we prove that the compact convex set of such states is a Choquet simplex, whose extremal (i.e. ergodic w.r.t. the action of the group of permutations previously described) are precisely the product states in the sense of Araki-Moriya. In order to do that, we also prove some ergodic properties naturally enjoyed by the symmetric states which have a self-containing interest.
De Finetti theorem on the CAR algebra
Crismale, Vito
2012-01-01
The symmetric states on a quasi local C*-algebra on the infinite set of indices J are those invariant under the action of the group of the permutations moving only a finite, but arbitrary, number of elements of J. The celebrated De Finetti Theorem describes the structure of the symmetric states (i.e. exchangeable probability measures) in classical probability. In the present paper we extend De Finetti Theorem to the case of the CAR algebra, that is for physical systems describing Fermions. Namely, after showing that a symmetric state is automatically even under the natural action of the parity automorphism, we prove that the compact convex set of such states is a Choquet simplex, whose extremal (i.e. ergodic w.r.t. the action of the group of permutations previously described) are precisely the product states in the sense of Araki-Moriya. In order to do that, we also prove some ergodic properties naturally enjoyed by the symmetric states which have a self--containing interest.
Bell's theorem, inference, and quantum transactions
Garrett, A. J. M.
1990-04-01
Bell's theorem is expounded as an analysis in Bayesian inference. Assuming the result of a spin measurement on a particle is governed by a causal variable internal (hidden, “local”) to the particle, one learns about it by making a spin measurement; thence about the internal variable of a second particle correlated with the first; and from there predicts the probabilistic result of spin measurements on the second particle. Such predictions are violated by experiment: locality/causality fails. The statistical nature of the observations rules out signalling; acausal, superluminal, or otherwise. Quantum mechanics is irrelevant to this reasoning, although its correct predictions of experiment imply that it has a nonlocal/acausal interpretation. Cramer's new transactional interpretation, which incorporates this feature by adapting the Wheeler-Feynman idea of advanced and retarded processes to the quantum laws, is advocated. It leads to an invaluable way of envisaging quantum processes. The usual paradoxes melt before this, and one, the “delayed choice” experiment, is chosen for detailed inspection. Nonlocality implies practical difficulties in influencing hidden variables, which provides a very plausible explanation for why they have not yet been found; from this standpoint, Bell's theorem reinforces arguments in favor of hidden variables.
Randomized central limit theorems: A unified theory
Eliazar, Iddo; Klafter, Joseph
2010-08-01
The central limit theorems (CLTs) characterize the macroscopic statistical behavior of large ensembles of independent and identically distributed random variables. The CLTs assert that the universal probability laws governing ensembles’ aggregate statistics are either Gaussian or Lévy, and that the universal probability laws governing ensembles’ extreme statistics are Fréchet, Weibull, or Gumbel. The scaling schemes underlying the CLTs are deterministic—scaling all ensemble components by a common deterministic scale. However, there are “random environment” settings in which the underlying scaling schemes are stochastic—scaling the ensemble components by different random scales. Examples of such settings include Holtsmark’s law for gravitational fields and the Stretched Exponential law for relaxation times. In this paper we establish a unified theory of randomized central limit theorems (RCLTs)—in which the deterministic CLT scaling schemes are replaced with stochastic scaling schemes—and present “randomized counterparts” to the classic CLTs. The RCLT scaling schemes are shown to be governed by Poisson processes with power-law statistics, and the RCLTs are shown to universally yield the Lévy, Fréchet, and Weibull probability laws.
A vector bundle proof of Poncelet theorem
Vallès, Jean
2012-01-01
In the town of Saratov where he was prisonner, Poncelet, continuing the work of Euler and Steiner on polygons simultaneously inscribed in a circle and circumscribed around an other circle, proved the following generalization : "Let C and D be two smooth conics in the projective complex plane. If D passes through the n(n-1)/2 vertices of a complete polygon with n sides tangent to C then D passes through the vertices of infinitely many such polygons." According to Marcel Berger this theorem is the nicest result about the geometry of conics. Even if it is, there are few proofs of it. To my knowledge there are only three. The first proof, published in 1822 and based on infinitesimal deformations, is due to Poncelet. Later, Jacobi proposed a new proof based on finite order points on elliptic curves; his proof, certainly the most famous, is explained in a modern way and in detail by Griffiths and Harris. In 1870 Weyr proved a Poncelet theorem in space (more precisely for two quadrics) that implies the one above whe...
Nanostructuring of alumina optical waveguides by hot water treatment for tuning sensor output
Energy Technology Data Exchange (ETDEWEB)
Aslan, Mustafa M., E-mail: mustafa.aslan@mam.gov.tr
2012-01-01
A study of the nanostructuring of alumina integrated optical waveguides by means of hot water treatment to tune their outputs, namely, total internal reflection and scattering, is presented. Homogeneous alumina thin films fabricated by atomic layer deposition were exposed to hot water to form surface nano-pillars of various heights and densities. The 135-, 232- and 307-nm thick alumina films were immersed in hot water at 50, 60, and 80 Degree-Sign C for 2, 5, 10, 15, 20 and 30 min. Topology measurements of the nanostructured integrated optical waveguides (n-IOWs) were made using an atomic force microscope and a scanning electron microscope. Optical transmission and coupling measurements for n-IOWs were taken. Average pillar height and density, controlled by adjusting the water temperature and exposure time, act to tune the scattered and guided fractions of the coupled light. Well controlled fabrication of nanopillars (up to 110-nm-tall) as well as fine tuning of the scattered component of sensor output is possible. Fabricated n-IOW sensors with dual outputs, total internal reflection and scattering, could be quite useful for the enhanced sensing of surface-adsorbed molecular species.
Successful treatment of bilateral visual loss caused by HIV-associated optic neuritis
Directory of Open Access Journals (Sweden)
Claire Cullen
2011-12-01
Full Text Available Optic neuritis is not an uncommon diagnosis in HIV-infected patients, but it is rarely idiopathic. We report a case of a young HIV-infected woman who developed optic neuritis as her presenting manifestation of HIV infection. She had initially experienced sudden-onset right-sided painful visual loss; the left eye had become involved within days. Bilateral swollen discs were apparent on fundoscopy. Investigations were performed for meningitis (including bacterial, cryptococcal, tuberculous and syphilitic types, auto-immune diseases, toxoplasma, rubella, cytomegalovirus, viral hepatitis, HTLV-1/2, HIV-1/2 and syphilis. The only positive result was a reactive HIV enzyme-linked immunosorbent assay. The CD4 count was 85 cells/µl. A post-contrast magnetic resonance imaging scan of the brain illustrated enhancement of the optic nerves. Treatment was 3 days of intravenous methylprednisolone 1 g daily, followed by 11 days of oral prednisone 60 mg daily. Highly active antiretroviral therapy was initiated after 2 weeks. Vision improved from day 6 after commencement of steroid therapy, with ongoing recovery at 5 months.
Thin-film optical notch filter spectacle coatings for the treatment of migraine and photophobia
Hoggan, Ryan N.; Subhash, Amith; Blair, Steve; Digre, Kathleen B.; Baggaley, Susan K.; Gordon, Jamison; Brennan, K.C.; Warner, Judith E.A.; Crum, Alison V.; Katz, Bradley J.
2017-01-01
Previous evidence suggests optical treatments hold promise for treating migraine and photophobia. We designed an optical notch filter, centered at 480 nm to reduce direct stimulation of intrinsically photosensitive retinal ganglion cells. We used thin-film technology to integrate the filter into spectacle lenses. Our objective was to determine if an optical notch filter, designed to attenuate activity of intrinsically photosensitive retinal ganglion cells, could reduce headache impact in chronic migraine subjects. For this randomized, double-masked study, our primary endpoint was the Headache Impact Test (HIT-6; GlaxoSmithKline, Brentford, Middlesex, UK). We developed two filters: the therapeutic filter blocked visible light at 480 nm; a 620 nm filter was designed as a sham. Participants were asked to wear lenses with one of the filters for 2 weeks; after 2 weeks when no lenses were worn, they wore lenses with the other filter for 2 weeks. Of 48 subjects, 37 completed the study. Wearing either the 480 or 620 nm lenses resulted in clinically and statistically significant HIT-6 reductions. However, there was no significant difference when comparing overall effect of the 480 and 620 nm lenses. Although the 620 nm filter was designed as a sham intervention, research published following the trial indicated that melanopsin, the photopigment in intrinsically photosensitive retinal ganglion cells, is bi-stable. This molecular property may explain the unexpected efficacy of the 620 nm filter. These preliminary findings indicate that lenses outfitted with a thin-film optical notch filter may be useful in treating chronic migraine. PMID:26935748
Application of double-layered skin phantoms for optical flow imaging during laser tattoo treatments
Lee, Byeong-il; Song, Woosub; Kim, Hyejin; Kang, Hyun Wook
2016-05-01
The feasible application of double-layered skin phantoms was evaluated to identify artificial blood flow with a Doppler optical coherence tomography (DOCT) system for laser tattoo treatments. Polydimethylsiloxane (PDMS) was used to fabricate the artificial phantoms with flow channels embedded. A double-integrating sphere system with an inverse adding-doubling method quantified both the absorption and the reduced scattering coefficients for epidermis and dermis phantoms. Both OCT and caliper measurements confirmed the double-layered phantom structure (epidermis = 136 ± 17 µm vs. dermis = 3.0 ± 0.1 mm). The DOCT method demonstrated that high flow rates were associated with high image contrast, visualizing the position and the shape of the flow channel. Application of the channel-embedded skin phantoms in conjunction with DOCT can be a reliable technique to assess dynamic variations in the blood flow during and after laser tattoo treatments.
Directory of Open Access Journals (Sweden)
Jeffrey N Weiss
2016-01-01
Full Text Available The Stem Cell Ophthalmology Treatment Study (SCOTS is currently the largest-scale stem cell ophthalmology trial registered at ClinicalTrials.gov (identifier: NCT01920867. SCOTS utilizes autologous bone marrow-derived stem cells (BMSCs to treat optic nerve and retinal diseases. Treatment approaches include a combination of retrobulbar, subtenon, intravitreal, intra-optic nerve, subretinal, and intravenous injection of autologous BMSCs according to the nature of the disease, the degree of visual loss, and any risk factors related to the treatments. Patients with Leber′s hereditary optic neuropathy had visual acuity gains on the Early Treatment Diabetic Retinopathy Study (ETDRS of up to 35 letters and Snellen acuity improvements from hand motion to 20/200 and from counting fingers to 20/100. Visual field improvements were noted. Macular and optic nerve head nerve fiber layer typically thickened. No serious complications were seen. The increases in visual acuity obtained in our study were encouraging and suggest that the use of autologous BMSCs as provided in SCOTS for ophthalmologic mitochondrial diseases including Leber′s hereditary optic neuropathy may be a viable treatment option.
Institute of Scientific and Technical Information of China (English)
Jeffrey N Weiss; Steven Levy; Susan C Benes
2016-01-01
hTe Stem Cell Ophthalmology Treatment Study (SCOTS) is currently the largest-scale stem cell ophthal-mology trial registered at ClinicalTrials.gov (identiifer: NCT01920867). SCOTS utilizes autologous bone marrow-derived stem cells (BMSCs) to treat optic nerve and retinal diseases. Treatment approaches include a combination of retrobulbar, subtenon, intravitreal, intra-optic nerve, subretinal, and intravenous injection of autologous BMSCs according to the nature of the disease, the degree of visual loss, and any risk factors related to the treatments. Patients with Leber’s hereditary optic neuropathy had visual acuity gains on the Early Treatment Diabetic Retinopathy Study (ETDRS) of up to 35 letters and Snellen acuity improvements from hand motion to 20/200 and from counting ifngers to 20/100. Visual ifeld improvements were noted. Macular and optic nerve head nerve ifber layer typically thickened. No serious complications were seen. hTe increases in visual acuity obtained in our study were encouraging and suggest that the use of autolo-gous BMSCs as provided in SCOTS for ophthalmologic mitochondrial diseases including Leber’s hereditary optic neuropathy may be a viable treatment option.
A note on the weighted Khintchine-Groshev Theorem
DEFF Research Database (Denmark)
Hussain, Mumtaz; Yusupova, Tatiana
Let W(m,n;ψ−−) denote the set of ψ1,…,ψn-approximable points in Rmn. The classical Khintchine-Groshev theorem assumes a monotonicity condition on the approximating functions ψ−−. Removing monotonicity from the Khintchine-Groshev theorem is attributed to different authors for different cases of m...
Caristi Fixed Point Theorem in Metric Spaces with a Graph
Directory of Open Access Journals (Sweden)
M. R. Alfuraidan
2014-01-01
Full Text Available We discuss Caristi’s fixed point theorem for mappings defined on a metric space endowed with a graph. This work should be seen as a generalization of the classical Caristi’s fixed point theorem. It extends some recent works on the extension of Banach contraction principle to metric spaces with graph.
Linear Strategy for Boolean Ring Based Theorem Proving
Institute of Scientific and Technical Information of China (English)
WU Jinzhao; LIU Zhuojun
2000-01-01
Two inference rules are discussed in boolean ring based theorem proving, and linear strategy is developed. It is shown that both of them are complete for linear strategy. Moreover, by introducing a partial ordering on atoms, pseudo O-linear and O-linear strategies are presented. The former is complete, the latter, however, is complete for clausal theorem proving.
The Boundary Crossing Theorem and the Maximal Stability Interval
Directory of Open Access Journals (Sweden)
Jorge-Antonio López-Renteria
2011-01-01
useful tools in the study of the stability of family of polynomials. Although both of these theorem seem intuitively obvious, they can be used for proving important results. In this paper, we give generalizations of these two theorems and we apply such generalizations for finding the maximal stability interval.
On Euler's Theorem for Homogeneous Functions and Proofs Thereof.
Tykodi, R. J.
1982-01-01
Euler's theorem for homogenous functions is useful when developing thermodynamic distinction between extensive and intensive variables of state and when deriving the Gibbs-Duhem relation. Discusses Euler's theorem and thermodynamic applications. Includes six-step instructional strategy for introducing the material to students. (Author/JN)
COMPARISON THEOREM OF BACKWARD DOUBLY STOCHASTIC DIFFERENTIAL EQUATIONS
Institute of Scientific and Technical Information of China (English)
无
2010-01-01
This paper is devoted to deriving a comparison theorem of solutions to backward doubly stochastic differential equations driven by Brownian motion and backward It-Kunita integral. By the application of this theorem, we give an existence result of the solutions to these equations with continuous coefficients.
Mann Iteration of Weak Convergence Theorems in Banach Space
Institute of Scientific and Technical Information of China (English)
Liang-gen Hu; Jin-ping Wang
2009-01-01
In this paper, by using Mann's iteration process we will establish several weak convergence theorems for approximating a fixed point of κ-strictly pseudocontractive mappings with respect to p in p-uniformly convex Banach spaces. Our results answer partially the open question proposed by Marino and Xu, and extend Reich's theorem from nonexpausive mappings to κ-strict pseudocontractive mappings.
The Non-countable Summation Type Hahn-Schur Theorems
Institute of Scientific and Technical Information of China (English)
LUETong-fu; HUJian-hua; CHOMin-hyung
2005-01-01
The classical countable summation type Hahn-Schur theorem is a famous result in summation theory and measure theory. An interesting problem is whether the theorem can be generalized to non-countable summation case? In this paper, we show that the answer is true.
AN EXISTENCE THEOREM FOR MAXIMAL ELEMENTS AND ITS APPLICATIONS
Institute of Scientific and Technical Information of China (English)
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.
A parametrised version of Moser's modifying terms theorem
Wagener, F.
2009-01-01
A sharpened version of Moser's `modifying terms' KAM theorem is derived, and it is shown how this theorem can be used to investigate the persistence of invariant tori in general situations, including those where some of the Floquet exponents of the invariant torus may vanish. The result is `structur
A parametrised version of Moser's modifying terms theorem
Wagener, F.
2010-01-01
A sharpened version of Moser's 'modifying terms' KAM theorem is derived, and it is shown how this theorem can be used to investigate the persistence of invariant tori in general situations, including those where some of the Floquet exponents of the invariant torus may vanish. The result is 'structur
Noether's theorem of a rotational relativistic variable mass system
Institute of Scientific and Technical Information of China (English)
方建会; 赵嵩卿
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.
N(o)ther-type theorem of piecewise algebraic curves
Institute of Scientific and Technical Information of China (English)
WANG Renhong; ZHU Chungang
2004-01-01
The piecewise algebraic curve is a generalization of the classical algebraic curve.This paper describes the improvement of the Nother-type theorem of piecewise algebraic curves on the star region.Moreover,the Nother-type theorem of piecewise algebraic curves on the cross-cut partition is discussed.
Sufficient Condition for Validity of Quantum Adiabatic Theorem
Institute of Scientific and Technical Information of China (English)
TAO Yong
2012-01-01
In this paper, we attempt to give a sufficient condition of guaranteeing the validity of the proof of the quantum adiabatic theorem. The new sufficient condition can clearly remove the inconsistency and the counterexample of the quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 （2004） 160408].
Discovering Theorems in Abstract Algebra Using the Software "GAP"
Blyth, Russell D.; Rainbolt, Julianne G.
2010-01-01
A traditional abstract algebra course typically consists of the professor stating and then proving a sequence of theorems. As an alternative to this classical structure, the students could be expected to discover some of the theorems even before they are motivated by classroom examples. This can be done by using a software system to explore a…
A simple proof of Renner's exponential de Finetti theorem
Vidick, Thomas; Yuen, Henry
2016-01-01
We give a simple proof of the exponential de Finetti theorem due to Renner. Like Renner's proof, ours combines the post-selection de Finetti theorem, the Gentle Measurement lemma, and the Chernoff bound, but avoids virtually all calculations, including any use of the theory of types.
A q-analogue of the four functions theorem
Christofides, Demetres
2009-01-01
In this article we give a proof of a q-analogue of the celebrated four functions theorem. This analogue was conjectured by Bjorner and includes as special cases both the four functions theorem and also Bjorner's q-analogue of the FKG inequality.
Generalizations of Karp's theorem to elastic scattering theory
Tuong, Ha-Duong
Karp's theorem states that if the far field pattern corresponding to the scattering of a time-harmonic acoustic plane wave by a sound-soft obstacle in R2 is invariant under the group of rotations, then the scatterer is a circle. The theorem is generalized to the elastic scattering problems and the axisymmetric scatterers in R3.
Systematic Approaches to Experimentation: The Case of Pick's Theorem
Papadopoulos, Ioannis; Iatridou, Maria
2010-01-01
In this paper two 10th graders having an accumulated experience on problem-solving ancillary to the concept of area confronted the task to find Pick's formula for a lattice polygon's area. The formula was omitted from the theorem in order for the students to read the theorem as a problem to be solved. Their working is examined and emphasis is…
Yan Theorem in L∞ with Applications to Asset Pricing
Institute of Scientific and Technical Information of China (English)
2007-01-01
We prove an L∞ version of the Yan theorem and deduce from it a necessary condition for the absence of free lunches in a model of financial markets, in which asset prices are a continuous Rd valued process and only simple investment strategies are admissible. Our proof is based on a new separation theorem for convex sets of finitely additive measures.
Leaning on Socrates to Derive the Pythagorean Theorem
Percy, Andrew; Carr, Alistair
2010-01-01
The one theorem just about every student remembers from school is the theorem about the side lengths of a right angled triangle which Euclid attributed to Pythagoras when writing Proposition 47 of "The Elements". Usually first met in middle school, the student will be continually exposed throughout their mathematical education to the formula b2 +…
An ideal topology type convergent theorem on scale effect algebras
Institute of Scientific and Technical Information of China (English)
WU JunDe; ZHOU XuanChang; Minhyung CHO
2007-01-01
The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic theory.
FIXED POINTS THEOREMS IN MULTI-METRIC SPACES
Directory of Open Access Journals (Sweden)
Laurentiu I. Calmutchi
2011-07-01
Full Text Available The aim of the present article is to give some general methods inthe fixed point theory for mappings of general topological spaces. Using the notions of the multi-metric space and of the E-metric space, we proved the analogous of several classical theorems: Banach fixed point principle, Theorems of Edelstein, Meyers, Janos etc.
The Structure Theorem for Complete Intersections of Grade 4
Institute of Scientific and Technical Information of China (English)
Oh-Jin Kang; Hyoung J. Ko
2005-01-01
Serre showed that a Gorenstein ideal of grade 2 is a complete intersection, and Buchsbaum and Eisenbud proved a structure theorem for Gorenstein ideals of grade 3. It is found that a certain complete matrix defines a perfect ideal K3(f).As an application,we present a structure theorem for complete intersections of grade 4.
THE KILLING FORMS AND DECOMPOSITION THEOREMS OF LIE SUPERTRIPLE SYSTEMS
Institute of Scientific and Technical Information of China (English)
Zhang Zhixue; Jia Peipei
2009-01-01
In this article, the Killing form of a Lie supertriple system (LSTS) and that of its imbedding Lie superalgebra (LSA) are investigated, and a unique decomposition theorem for a quasiclassical LSTS with trivial center is established by means of the parallel decomposition theorem for a quasiclassical LSA.
Computer Algebra Systems and Theorems on Real Roots of Polynomials
Aidoo, Anthony Y.; Manthey, Joseph L.; Ward, Kim Y.
2010-01-01
A computer algebra system is used to derive a theorem on the existence of roots of a quadratic equation on any bounded real interval. This is extended to a cubic polynomial. We discuss how students could be led to derive and prove these theorems. (Contains 1 figure.)
A Hamiltonian KAM theorem for bundles of Lagrangean tori
Broer, HW; Cushman, RH; Fasso, F; Dumortier, F; Broer, H; Mawhin, J; Vanderbauwhede, A; Lunel, SV
2005-01-01
The classical KAM theorem deals with Lagrangean invariant tori in nearly integrable Hamiltonian systems. The stability formulation of the KAM theorem states that, when restricting to a large measure Diophantine "Cantor set" of such tori, the integrable approximation is smoothly conjugate to the near
The Anosov theorem for flat generalized Hantzsche-Wendt manifolds
Dekimpe, K.; De Rock, B.; Malfait, W.
2004-10-01
In this paper we prove that N( f)=| L( f)| for any continuous map f on a given orientable flat generalized Hantzsche-Wendt manifold. This is the analogue of a theorem of Anosov for continuous maps on nilmanifolds. We also show that the theorem always fails in the non-orientable case.
Generalization of Bombieri’s theorem and its applications
Institute of Scientific and Technical Information of China (English)
林家发; 展涛
1995-01-01
By using the so-called Hooley-Huxley Contour and zero density estimates for Dirichlet L-function, Bombieri’s theorem is established for a class of arithmetic functions whose generating functions satisfy certain analytic conditions. As applications of our theorem, the mean value estimates of L-functions and the distribution of integers representable as sums of two squares are discussed.
An Algebraic Proof of Quillen's Resolution Theorem for K_1
Whale, Ben
2009-01-01
In his 1973 paper Quillen proved a resolution theorem for the K-Theory of an exact category; his proof was homotopic in nature. By using the main result of a paper by Nenashev, we are able to give an algebraic proof of Quillen's Resolution Theorem for K_1 of an exact category.
A note on the homomorphism theorem for hemirings
Directory of Open Access Journals (Sweden)
D. M. Olson
1978-01-01
Full Text Available The fundamental homomorphism theorem for rings is not generally applicable in hemiring theory. In this paper, we show that for the class of N-homomorphism of hemirings the fundamental theorem is valid. In addition, the concept of N-homomorphism is used to prove that every hereditarily semisubtractive hemiring is of type (K.
Nonlinear Contractive Conditions for Coupled Cone Fixed Point Theorems
Directory of Open Access Journals (Sweden)
Du Wei-Shih
2010-01-01
Full Text Available We establish some new coupled fixed point theorems for various types of nonlinear contractive maps in the setting of quasiordered cone metric spaces which not only obtain several coupled fixed point theorems announced by many authors but also generalize them under weaker assumptions.
An integral Riemann-Roch theorem for surface bundles
DEFF Research Database (Denmark)
Madsen, Ib Henning
2010-01-01
This paper is a response to a conjecture by T. Akita about an integral Riemann–Roch theorem for surface bundles.......This paper is a response to a conjecture by T. Akita about an integral Riemann–Roch theorem for surface bundles....
Note on two theorems in nonequilibrium statistical mechanics
Energy Technology Data Exchange (ETDEWEB)
Cohen, E.G.D.; Gallavotti, G.
1999-09-01
An attempt is made to clarify the difference between a theorem derived by Evans and Searles in 1994 on the statistics of trajectories in phase space and a theorem proved by the authors in 1995 on the statistics of fluctuations on phase space trajectory segments in a nonequilibrium stationary state.
Level reduction and the quantum threshold theorem
Aliferis, Panagiotis (Panos)
Computers have led society to the information age revolutionizing central aspects of our lives from production and communication to education and entertainment. There exist, however, important problems which are intractable with the computers available today and, experience teaches us, will remain so even with the more advanced computers we can envision for tomorrow.Quantum computers promise speedups to some of these important but classically intractable problems. Simulating physical systems, a problem of interest in a diverse range of areas from testing physical theories to understanding chemical reactions, and solving number factoring, a problem at the basis of cryptographic protocols that are used widely today on the internet, are examples of applications for which quantum computers, when built, will offer a great advantage over what is possible with classical computer technology.The construction of a quantum computer of sufficient scale to solve interesting problems is, however, especially challenging. The reason for this is that, by its very nature, operating a quantum computer will require the coherent control of the quantum state of a very large number of particles. Fortunately, the theory of quantum error correction and fault-tolerant quantum computation gives us confidence that such quantum states can be created, can be stored in memory and can also be manipulated provided the quantum computer can be isolated to a sufficient degree from sources of noise.One of the central results in the theory of fault-tolerant quantum computation, the quantum threshold theorem shows that a noisy quantum computer can accurately and efficiently simulate any ideal quantum computation provided that noise is weakly correlated and its strength is below a critical value known as the quantum accuracy threshold. This thesis provides a simpler and more transparent non-inductive proof of this theorem based on the concept of level reduction. This concept is also used in proving the
A most compendious and facile quantum de Finetti theorem
König, R; Koenig, Robert; Mitchison, Graeme
2007-01-01
In its most basic form, the finite quantum de Finetti theorem states that the reduced k-partite density operator of an n-partite symmetric state can be approximated by a convex combination of k-fold product states. Variations of this result include Renner's "exponential" approximation by "almost-product" states, a theorem which deals with certain triples of representations of the unitary group, and D'Cruz et al.'s result for infinite-dimensional systems. We show how these theorems follow from a single, general de Finetti theorem for representations of symmetry groups, each instance corresponding to a particular choice of symmetry group and representation of that group. This gives some insight into the nature of the set of approximating states, and leads to some new results, including an exponential theorem for infinite-dimensional systems.
Soft Photon and Graviton Theorems in Effective Field Theory
Elvang, Henriette; Naculich, Stephen G
2016-01-01
Extensions of the photon and graviton soft theorems are derived in 4d local effective field theories with massless particles of arbitrary spin. We prove that effective operators can result in new terms in the soft theorems at subleading order for photons and subsubleading order for gravitons. The new soft terms are unique and we provide a complete classification of all local operators responsible for such modifications. We show that no local operators can modify the subleading soft graviton theorem. The soft limits are taken in a manifestly on-locus manner using a complex double deformation of the external momenta. In addition to the new soft theorems, the resulting master formula yields consistency conditions such as the conservation of electric charge, the Einstein equivalence principle, supergravity Ward identities, and the Weinberg-Witten theorem.
The virial theorem for the polarizable continuum model
Energy Technology Data Exchange (ETDEWEB)
Cammi, R., E-mail: roberto.cammi@unipr.it [Dipartimento di Chimica, Università di Parma, Parco Area delle Scienze 17/A, I-43100 Parma (Italy)
2014-02-28
The electronic virial theorem is extended to molecular systems within the framework of the Polarizable Continuum Model (PCM) to describe solvation effects. The theorem is given in the form of a relation involving the components of the energy (kinetic and potential) of a molecular solute and its electrostatic properties (potential and field) at the boundary of the cavity in the continuum medium. The virial theorem is also derived in the presence of the Pauli repulsion component of the solute-solvent interaction. Furthermore, it is shown that these forms of the PCM virial theorem may be related to the virial theorem of more simple systems as a molecule in the presence of fixed point charges, and as an atom in a spherical box with confining potential.
The virial theorem for the Polarizable Continuum Model.
Cammi, R
2014-02-28
The electronic virial theorem is extended to molecular systems within the framework of the Polarizable Continuum Model (PCM) to describe solvation effects. The theorem is given in the form of a relation involving the components of the energy (kinetic and potential) of a molecular solute and its electrostatic properties (potential and field) at the boundary of the cavity in the continuum medium. The virial theorem is also derived in the presence of the Pauli repulsion component of the solute-solvent interaction. Furthermore, it is shown that these forms of the PCM virial theorem may be related to the virial theorem of more simple systems as a molecule in the presence of fixed point charges, and as an atom in a spherical box with confining potential.
Institute of Scientific and Technical Information of China (English)
Jeffrey N Weiss; Steven Levy; Susan C Benes
2015-01-01
We present the results from a patient with relapsing optic neuropathy treated within the Stem Cell Ophthalmology Treatment Study (SCOTS). SCOTS is an Institutional Review Board ap-proved clinical trial and has become the largest ophthalmology stem cell study registered at the National Institutes of Health to date (www.clinicaltrials.gov Identiifer NCT 01920867). SCOTS utilizes autologous bone marrow-derived stem cells (BMSCs) for treatment of retinal and optic nerve diseases. Pre-treatment and post-treatment comprehensive eye exams of a 54 year old female patient were performed both at the Florida Study Center, USA and at The Eye Center of Columbus, USA. As a consequence of a relapsing optic neuritis, the patient’s previously normal visual acuity decreased to between 20/350 and 20/400 in the right eye and to 20/70 in the left eye. Signiifcant visual ifeld loss developed bilaterally. The patient underwent a right eye vitrectomy with injection of BMSCs into the optic nerve of the right eyeand retrobulbar, subtenon and in-travitreal injection of BMSCs in the left eye. At 15 months after SCOTS treatment, the patient’s visual acuity had improved to 20/150 in the right eye and 20/20 in the left eye. Bilateral visual fields improved markedly. Both macular thickness and fast retinal nerve fiber layer thickness were maximally improved at 3 and 6 months after SCOTS treatment. The patient also reduced her mycophenylate dose from 1,500 mg per day to 500 mg per day and required no steroid pulse therapy during the 15-month follow up.
Primitive Near-rings-Some Structure Theorems
Institute of Scientific and Technical Information of China (English)
Gerhard Wendt
2007-01-01
We show that any zero symmetric 1-primitive near-ring with descending chain condition on left ideals can be described as a centralizer near-ring in which the multipli-cation is not the function composition but sandwich multiplication.This result follows from a more general structure theorem on 1-primitive near-rings with multiplicative right identity,not necessarily having a chain condition on left ideals.We then use our results to investigate more closely the multiplicative semigroup of a 1-primitive near-ring.In par-ticular,we show that the set of regular elements forms a right ideal of the multiplicative semigroup of the near-ring.
Some Generalizations of Fedorchuk Duality Theorem -- II
Dimov, Georgi Dobromirov
2007-01-01
As it was shown in the first part of this paper, there exists a duality between the category DSkeLC (introduced there) and the category SkeLC of locally compact Hausdorff spaces and continuous skeletal maps. We describe here the subcategories of the category DSkeLC which are dually equivalent to the following eight categories: all of them have as objects the locally compact Hausdorff spaces and their morphisms are, respectively, the injective (respectively, surjective) continuous skeletal maps, the injective (resp., surjective) open maps, the injective (resp., surjective) skeletal perfect maps, the injective (resp., surjective) open perfect maps. The particular cases of these theorems for the full subcategories of the last four categories having as objects all compact Hausdorff spaces are formulated and proved. The DSkeLC-morphisms which are LCA-embeddings and the dense homeomorphic embeddings are characterized through their dual morphisms. For any locally compact space X, a description of the frame of all op...
On a curvature-statistics theorem
Energy Technology Data Exchange (ETDEWEB)
Calixto, M [Departamento de Matematica Aplicada y Estadistica, Universidad Politecnica de Cartagena, Paseo Alfonso XIII 56, 30203 Cartagena (Spain); Aldaya, V [Instituto de Astrofisica de Andalucia, Apartado Postal 3004, 18080 Granada (Spain)], E-mail: Manuel.Calixto@upct.es
2008-08-15
The spin-statistics theorem in quantum field theory relates the spin of a particle to the statistics obeyed by that particle. Here we investigate an interesting correspondence or connection between curvature ({kappa} = {+-}1) and quantum statistics (Fermi-Dirac and Bose-Einstein, respectively). The interrelation between both concepts is established through vacuum coherent configurations of zero modes in quantum field theory on the compact O(3) and noncompact O(2; 1) (spatial) isometry subgroups of de Sitter and Anti de Sitter spaces, respectively. The high frequency limit, is retrieved as a (zero curvature) group contraction to the Newton-Hooke (harmonic oscillator) group. We also make some comments on the physical significance of the vacuum energy density and the cosmological constant problem.
Elementary Theorems Regarding Blue Isocurvature Perturbations
Chung, Daniel J H
2015-01-01
Blue CDM-photon isocurvature perturbations are attractive in terms of observability and may be typical from the perspective of generic mass relations in supergravity. We present and apply three theorems useful for blue isocurvature perturbations arising from linear spectator scalar fields. In the process, we give a more precise formula for the blue spectrum associated with the work of 0904.3800, which can in a parametric corner give a factor of O(10) correction. We explain how a conserved current associated with Peccei-Quinn symmetry plays a crucial role and explicitly plot several example spectra including the breaks in the spectra. We also resolve a little puzzle arising from a naive multiplication of isocurvature expression that sheds light on the gravitational imprint of the adiabatic perturbations on the fields responsible for blue isocurvature fluctuations.
Oscillation and the mean ergodic theorem
Avigad, Jeremy
2012-01-01
Let B be a uniformly convex Banach space, let T be a nonexpansive linear operator, and let A_n x denote the ergodic average (1/n) sum_{i 0, the sequence has only finitely many fluctuations greater than epsilon. Drawing on calculations by Kohlenbach and Leustean, we provide a uniform bound on the number of fluctuations that depends only on rho := || x || / epsilon and a modulus, eta, of uniform convexity for B. Specifically, we show that the sequence of averages (A_n x) has O(rho^2 log rho * eta(1/(8 rho))^{-1})-many epsilon-fluctuations, and if B is a Hilbert space, the sequence has O(rho^3 log rho)-many epsilon-fluctuations. The proof is fully explicit, providing a remarkably uniform, quantitative, and constructive formulation of the mean ergodic theorem.
Weak Convergence Theorems for Nonself Mappings
Institute of Scientific and Technical Information of China (English)
Liu Yong-quan; Guo Wei-ping; Ji You-qing
2015-01-01
Let E be a real uniformly convex and smooth Banach space, and K be a nonempty closed convex subset of E with P as a sunny nonexpansive retrac-tion. Let T1, T2 : K → E be two weakly inward nonself asymptotically nonexpan-sive mappings with respect to P with a sequence {k(i)n } ⊂ [1,∞) (i = 1, 2), and F := F (T1)∩F (T2) = ∅. An iterative sequence for approximation common fixed points of the two nonself asymptotically nonexpansive mappings is discussed. If E has also a Fr´echet differentiable norm or its dual E∗ has Kadec-Klee property, then weak convergence theorems are obtained.
The Birkhoff theorem and string clouds
Bronnikov, K A; Skvortsova, M V
2016-01-01
We consider spherically symmetric space-times in GR under the unconventional assumptions that the spherical radius $r$ is either a constant or has a null gradient in the $(t,x)$ subspace orthogonal to the symmetry spheres (i.e., $(\\partial r)^2 = 0$). It is shown that solutions to the Einstein equations with $r = \\rm const$ contain an extra (fourth) spatial or temporal Killing vector and thus satisfy the Birkhoff theorem under an additional physically motivated condition that the lateral pressure is functionally related to the energy density. This leads to solutions that directly generalize the Bertotti-Robinson, Nariai and Plebanski-Hacyan solutions. Under similar conditions, solutions with $(\\partial r)^2 = 0$ but $r\
What price the spin–statistics theorem?
Indian Academy of Sciences (India)
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’.
Steinitz theorems for simple orthogonal polyhedra
Directory of Open Access Journals (Sweden)
David Eppstein
2014-09-01
Full Text Available We define a simple orthogonal polyhedron to be a three-dimensional polyhedron with the topology of a sphere in which three mutually-perpendicular edges meet at each vertex.By analogy to Steinitz's theorem characterizing the graphs of convex polyhedra, we find graph-theoretic characterizations of three classes of simple orthogonal polyhedra: corner polyhedra, which can be drawn by isometric projection in the plane with only one hidden vertex, xyz polyhedra, in which each axis-parallel line through a vertex contains exactly one other vertex, and arbitrary simple orthogonal polyhedra. In particular, the graphs of xyz polyhedra are exactly the bipartite cubic polyhedral graphs, and every bipartite cubic polyhedral graph with a 4-connected dual graph is the graph of a corner polyhedron. Based on our characterizations we find efficient algorithms for constructing orthogonal polyhedra from their graphs.
Courcelle's Theorem - A Game-Theoretic Approach
Kneis, Joachim; Rossmanith, Peter
2011-01-01
Courcelle's Theorem states that every problem definable in Monadic Second-Order logic can be solved in linear time on structures of bounded treewidth, for example, by constructing a tree automaton that recognizes or rejects a tree decomposition of the structure. Existing, optimized software like the MONA tool can be used to build the corresponding tree automata, which for bounded treewidth are of constant size. Unfortunately, the constants involved can become extremely large - every quantifier alternation requires a power set construction for the automaton. Here, the required space can become a problem in practical applications. In this paper, we present a novel, direct approach based on model checking games, which avoids the expensive power set construction. Experiments with an implementation are promising, and we can solve problems on graphs where the automata-theoretic approach fails in practice.
A Theorem on Grid Access Control
Institute of Scientific and Technical Information of China (English)
XU ZhiWei(徐志伟); BU GuanYing(卜冠英)
2003-01-01
The current grid security research is mainly focused on the authentication of grid systems. A problem to be solved by grid systems is to ensure consistent access control. This problem is complicated because the hosts in a grid computing environment usually span multiple autonomous administrative domains. This paper presents a grid access control model, based on asynchronous automata theory and the classic Bell-LaPadula model. This model is useful to formally study the confidentiality and integrity problems in a grid computing environment. A theorem is proved, which gives the necessary and sufficient conditions to a grid to maintain confidentiality.These conditions are the formalized descriptions of local (node) relations or relationship between grid subjects and node subjects.
An entropic view of Pickands' theorem
Bercher, J -F
2008-01-01
It is shown that distributions arising in Renyi-Tsallis maximum entropy setting are related to the Generalized Pareto Distributions (GPD) that are widely used for modeling the tails of distributions. The relevance of such modelization, as well as the ubiquity of GPD in practical situations follows from Balkema-De Haan-Pickands theorem on the distribution of excesses (over a high threshold). We provide an entropic view of this result, by showing that the distribution of a suitably normalized excess variable converges to the solution of a maximum Tsallis entropy, which is the GPD. This highlights the relevance of the so-called Tsallis distributions in many applications as well as some relevance to the use of the corresponding entropy.
Virial Theorem in Nonlocal Newtonian Gravity
Directory of Open Access Journals (Sweden)
Bahram Mashhoon
2016-05-01
Full Text Available Nonlocal gravity is the recent classical nonlocal generalization of Einstein’s theory of gravitation in which the past history of the gravitational field is taken into account. In this theory, nonlocality appears to simulate dark matter. The virial theorem for the Newtonian regime of nonlocal gravity theory is derived and its consequences for “isolated” astronomical systems in virial equilibrium at the present epoch are investigated. In particular, for a sufficiently isolated nearby galaxy in virial equilibrium, the galaxy’s baryonic diameter D 0 —namely, the diameter of the smallest sphere that completely surrounds the baryonic system at the present time—is predicted to be larger than the effective dark matter fraction f D M times a universal length that is the basic nonlocality length scale λ 0 ≈ 3 ± 2 kpc.
Virial Theorem in Nonlocal Newtonian Gravity
Mashhoon, B
2015-01-01
Nonlocal gravity is the recent classical nonlocal generalization of Einstein's theory of gravitation in which the past history of the gravitational field is taken into account. In this theory, nonlocality appears to simulate dark matter. The virial theorem for the Newtonian regime of nonlocal gravity theory is derived and its consequences for "isolated" astronomical systems in virial equilibrium at the present epoch are investigated. In particular, for a sufficiently isolated nearby galaxy in virial equilibrium, the galaxy's baryonic diameter---namely, the diameter of the smallest sphere that completely surrounds the baryonic system at the present time---is predicted to be larger than the effective dark matter fraction times a universal length that is the basic nonlocality length scale of about 3 kpc.
Virial Theorem in Nonlocal Newtonian Gravity
Mashhoon, Bahram
2016-05-01
Nonlocal gravity is the recent classical nonlocal generalization of Einstein's theory of gravitation in which the past history of the gravitational field is taken into account. In this theory, nonlocality appears to simulate dark matter. The virial theorem for the Newtonian regime of nonlocal gravity theory is derived and its consequences for "isolated" astronomical systems in virial equilibrium at the present epoch are investigated. In particular, for a sufficiently isolated nearby galaxy in virial equilibrium, the galaxy's baryonic diameter---namely, the diameter of the smallest sphere that completely surrounds the baryonic system at the present time---is predicted to be larger than the effective dark matter fraction times a universal length that is the basic nonlocality length scale of about 3 kpc.
The Recursion Theorem and Infinite Sequences
Miller, Arnold W
2008-01-01
In this paper we use the Recursion Theorem to show the existence of various infinite sequences and sets. Our main result is that there is an increasing sequence e_0, e_1, e_2 .. such that W_{e_n}={e_{n+1}} for every n. Similarly, we prove that there exists an increasing sequence such that W_{e_n}={e_{n+1},e_{n+2},...} for every n. We call a nonempty computably enumerable set A self-constructing if W_e=A for every e in A. We show that every nonempty computable enumerable set which is disjoint from an infinite computable set is one-one equivalent to a self-constructing set
Theorem Proving in Intel Hardware Design
O'Leary, John
2009-01-01
For the past decade, a framework combining model checking (symbolic trajectory evaluation) and higher-order logic theorem proving has been in production use at Intel. Our tools and methodology have been used to formally verify execution cluster functionality (including floating-point operations) for a number of Intel products, including the Pentium(Registered TradeMark)4 and Core(TradeMark)i7 processors. Hardware verification in 2009 is much more challenging than it was in 1999 - today s CPU chip designs contain many processor cores and significant firmware content. This talk will attempt to distill the lessons learned over the past ten years, discuss how they apply to today s problems, outline some future directions.
Asset management using an extended Markowitz theorem
Directory of Open Access Journals (Sweden)
Paria Karimi
2014-06-01
Full Text Available Markowitz theorem is one of the most popular techniques for asset management. The method has been widely used to solve many applications, successfully. In this paper, we present a multi objective Markowitz model to determine asset allocation by considering cardinality constraints. The resulted model is an NP-Hard problem and the proposed study uses two metaheuristics, namely genetic algorithm (GA and particle swarm optimization (PSO to find efficient solutions. The proposed study has been applied on some data collected from Tehran Stock Exchange over the period 2009-2011. The study considers four objectives including cash return, 12-month return, 36-month return and Lower Partial Moment (LPM. The results indicate that there was no statistical difference between the implementation of PSO and GA methods.
An Extension of Gregus Fixed Point Theorem
Directory of Open Access Journals (Sweden)
J. O. Olaleru
2007-03-01
Full Text Available Let C be a closed convex subset of a complete metrizable topological vector space (X,d and T:CÃ¢Â†Â’C a mapping that satisfies d(Tx,TyÃ¢Â‰Â¤ad(x,y+bd(x,Tx+cd(y,Ty+ed(y,Tx+fd(x,Ty for all x,yÃ¢ÂˆÂˆC, where 0theorem, which is a generalization and an extension of the results of several authors, is proved in this paper. In addition, we use the Mann iteration to approximate the fixed point of T.
No-Hair Theorem for Weak Pulsar
Gruzinov, Andrei
2015-01-01
It is proposed that there exists a class of pulsars, called weak pulsars, for which the large-scale magnetosphere, and hence the gamma-ray emission, are independent of the detailed pattern of plasma production. The weak pulsar magnetosphere and its gamma-ray emission are uniquely determined by just three parameters: spin, dipole, and the spin-dipole angle. We calculate this supposedly unique pulsar magnetosphere in the axisymmetric case. The magnetosphere is found to be very close to (although interestingly not fully identical with) the magnetosphere we have previously calculated, explaining the phenomenological success of the old calculation. We offer only a highly tentative proof of this "Pulsar No-Hair Theorem". Our analytics, while convincing in its non-triviality, is incomplete, and counts only as a plausibility argument. Our numerics, while complete, is dubious. The plasma flow in the weak pulsar magnetosphere turns out to be even more intricate than what we have previously proposed: some particles, aft...
PBR theorem and Einstein's quantum hole argument
Weinstein, Galina
2013-01-01
This note discusses the latest hot topic: Quantum states: ontic or epistemic? and the PBR theorem. Upon reading Einstein's views on quantum incompleteness in publications or in his correspondence after 1935 (the EPR paradox), one gets a very intense feeling of deja-vu. Einstein presents a quantum hole argument, which somewhat reminds of the hole argument in his 1914 "Entwurf" general theory of relativity. In their paper, PBR write the following: "an important step towards the derivation of our result is the idea that the quantum state is physical if distinct quantum states correspond to non-overlapping distributions for [the set of possible physical states that a system can be in]", and they then refer to Einstein's argument and views.
Generalizations of some Zero Sum Theorems
Indian Academy of Sciences (India)
M N Chintamani; B K Moriya
2012-02-01
Given an abelian group of order , and a finite non-empty subset of integers, the Davenport constant of with weight , denoted by $D_A(G)$, is defined to be the least positive integer such that, for every sequence $(x_1,\\ldots,x_t)$ with $x_i\\in G$, there exists a non-empty subsequence $(x_{j_1},\\ldots,x_{j_l})$ and $a_i\\in A$ such that $\\sum^l_{i=1}a_ix_{j_i}=0$. Similarly, for an abelian group of order $n,E_A(G)$ is defined to be the least positive integer such that every sequence over of length contains a subsequence $(x_{j_1},\\ldots,x_{j_n})$ such that $\\sum^n_{i=1}a_ix_{j_i}=0$, for some $a_i\\in A$. When is of order , one considers to be a non-empty subset of $\\{1,\\ldots,n-1\\}$. If is the cyclic group $\\mathbb{Z}/n\\mathbb{Z}$, we denote $E_A(G)$ and $D_A(G)$ by $E_A(n)$ and $D_A(n)$ respectively. In this note, we extend some results of Adhikari et al(Integers 8(2008) Article A52) and determine bounds for $D_{R_n}(n)$ and $E_{R_n}(n)$, where $R_n=\\{x^2:x\\in(\\mathbb{Z}/n\\mathbb{Z})^∗\\}$. We follow some lines of argument from Adhikari et al(Integers 8 (2008) Article A52) and use a recent result of Yuan and Zeng (European J. Combinatorics 31 (2010) 677–680), a theorem due to Chowla (Proc. Indian Acad. Sci. (Math. Sci.) 2 (1935) 242–243) and Kneser’s theorem (Math. Z.58(1953) 459–484;66(1956) 88–110;61(1955) 429–434).
Fluctuation theorem for entropy production during effusion of an ideal gas with momentum transfer.
Wood, Kevin; Van den Broeck, C; Kawai, R; Lindenberg, Katja
2007-06-01
We derive an exact expression for entropy production during effusion of an ideal gas driven by momentum transfer in addition to energy and particle flux. Following the treatment in Cleuren [Phys. Rev. E 74, 021117 (2006)], we construct a master equation formulation of the process and explicitly verify the thermodynamic fluctuation theorem, thereby directly exhibiting its extended applicability to particle flows and hence to hydrodynamic systems.
On the Schwartz Space Isomorphism Theorem for Rank One Symmetric Space
Indian Academy of Sciences (India)
Joydip Jana; Rudra P Sarkar
2007-08-01
In this paper we give a simpler proof of the $L^p$-Schwartz space isomorphism (0 < ≤ 2) under the Fourier transform for the class of functions of left -type on a Riemannian symmetric space of rank one. Our treatment rests on Anker’s [2] proof of the corresponding result in the case of left -invariant functions on . Thus we give a proof which relies only on the Paley–Wiener theorem.
Cosmological singularity theorems and splitting theorems for N-Bakry-Emery spacetimes
Woolgar, Eric
2015-01-01
We study Lorentzian manifolds with a weight function such that the $N$-Bakry-\\'Emery tensor is bounded below. Such spacetimes arise in the physics of scalar-tensor gravitation theories, including Brans-Dicke theory, theories with Kaluza-Klein dimensional reduction, and low-energy approximations to string theory. In the "pure Bakry-\\'Emery" $N= \\infty$ case with $f$ uniformly bounded above and initial data suitably bounded, cosmological-type singularity theorems are known, as are splitting theorems which determine the geometry of timelike geodesically complete spacetimes for which the bound on the initial data is borderline violated. We extend these results in a number of ways. We are able to extend the singularity theorems to finite $N$-values $N\\in (n,\\infty)$ and $N\\in (-\\infty,1]$. In the $N\\in (n,\\infty)$ case, no bound on $f$ is required, while for $N\\in (-\\infty,1]$ and $N= \\infty$, we are able to replace the boundedness of $f$ by a weaker condition on the integral of $f$ along future-inextendible timel...
Traves, Will
2011-01-01
Using a new point of view inspired by hyperplane arrangements, we generalize the converse to Pascal's Theorem, sometimes called the Braikenridge-Maclaurin Theorem. In particular, we show that if 2k lines meet a given line, colored green, in k triple points and if we color the remaining lines so that each triple point lies on a red and blue line then the points of intersection of the red and blue lines lying off the green line lie on a unique curve of degree k-1. We also use these ideas to extend a second generalization of the Braikenridge-Maclaurin Theorem, due to M\\"obius. Finally we use Terracini's Lemma and secant varieties to show that this process constructs a dense set of curves in the space of plane curves of degree d, for degrees d <= 5. The process cannot produce a dense set of curves in higher degrees. The exposition is embellished with several exercises designed to amuse the reader.
Institute of Scientific and Technical Information of China (English)
同小军; 同登科; 陈绵云
2001-01-01
For the formal presentation about the definite problems of ultra-hyperbolic equations, the famous Asgeirsson mean value theorem has answered that Cauchy problems are ill-posed to ultra-hyperbolic partial differential equations of the second-order. So it is important to develop Asgeirsson mean value theorem. The mean value of solution for the higher order equation has been discussed primarily and has no exact result at present. The mean value theorem for the higher order equation can be deduced and satisfied generalized biaxial symmetry potential equation by using the result of Asgeirsson mean value theorem and the properties of derivation and integration. Moreover, the mean value formula can be obtained by using the regular solutions of potential equation and the special properties of Jacobi polynomials. Its converse theorem is also proved. The obtained results make it possible to discuss on continuation of the solutions and well posed problem.
Energy Technology Data Exchange (ETDEWEB)
Chandramohan, R., E-mail: rathinam.chandramohan@gmail.com [Department of Physics, Sree Sevugan Annamalai College, College Road, Devakottai 630303 (India); Vijayan, T.A. [Department of Physics, Sree Sevugan Annamalai College, College Road, Devakottai 630303 (India); Arumugam, S.; Ramalingam, H.B. [Department of Physics, Government Arts College, Udumalpet 642126 (India); Dhanasekaran, V.; Sundaram, K.; Mahalingam, T. [Department of Physics, Alagappa University, Karaikudi 630003 (India)
2011-02-15
Research highlights: > Effect of annealing temperature on Al-doped ZnO thin films. > Microstructural properties of Al-doped ZnO thin films. > Optical constants are found to increase with increase of heat treatment. - Abstract: Investigations on the effect of annealing temperature on the structural, optical properties and morphology of Al-doped ZnO thin films deposited on glass substrate by chemical bath deposition have been carried out. X-ray diffraction studies revealed that deposited films are in polycrystalline nature with hexagonal structure along the (0 0 2) crystallographic plane. Microstructural properties of films such as crystallite size, texture coefficient, stacking fault probability and microstrain were calculated from predominant (0 0 2) diffraction lines. The UV-Vis-NIR spectroscopy studies revealed that all the films have high optical transmittance (>60%) in the visible range. The optical band gap values are found to be in the range of 3.25-3.31 eV. Optical constants have been estimated and the values of n and k are found to increase with increase of heat treatment. The films have increased transmittance with increase of heat treatment. Al-doped ZnO thin films fabricated by this simple and economic chemical bath deposition technique without using any carrier gas are found to be good in structural and optical properties which are desirable for photovoltaic applications. Scanning electron microscopic images revealed that the hexagonal shaped grains that occupy the entire surface of the film with its near stoichiometric composition.
Mode-matching for Optical Antennas
Feichtner, Thorsten; Christiansen, Silke; Hecht, Bert
2016-01-01
The emission rate of a point dipole can be strongly increased in presence of a well-designed optical antenna. Yet, optical antenna design is largely based on radio-frequency rules, ignoring e.g.~ohmic losses and non-negligible field penetration in metals at optical frequencies. Here we combine reciprocity and Poynting's theorem to derive a set of optical-frequency antenna design rules for benchmarking and optimizing the performance of optical antennas driven by single quantum emitters. Based ...
Heat treatment effects on the surface morphology and optical properties of ZnO nanostructures
Energy Technology Data Exchange (ETDEWEB)
Zainizan Sahdan, M. [Faculty of Electrical Engineering, Universiti Teknologi MARA, 40450 Shah Alam, Selangor (Malaysia); Faculty of Electrical and Electronics Engineering, Universiti Tun Hussein onn Malaysia, 86400 Batu Pahat, Johor (Malaysia); Hafiz Mamat, M.; Salina, M.; Noor, Uzer M.; Rusop, Mohamad [Faculty of Electrical Engineering, Universiti Teknologi MARA, 40450 Shah Alam, Selangor (Malaysia); Khusaimi, Zuraida [Faculty of Applied Sciences, Universiti Teknologi MARA, 40450 Shah Alam, Selangor (Malaysia)
2010-09-15
Zinc oxide (ZnO) nanostructures have received broad attention due to its wide applications especially for thin-film solar cells and transistors. In this paper, we report the effects of heat treatment on the structural and optical properties of ZnO nanostructures. Zinc oxide nanostructures were synthesized using thermal chemical vapour deposition (CVD) method on glass substrate. The surface morphologies which were observed by scanning electron microscope (SEM) show that ZnO nanostructures change its shape and size when the annealing temperature increases from 400 C to 600 C. Structural measurement using X-ray diffraction (XRD) has shown that ZnO nanostructures have the highest crystallinity and smallest crystallite size (20 nm) when annealed at 550 C. Furthermore, the samples were optically characterized using Photoluminescence (PL) spectrometer. The PL spectra indicate that ZnO nanostructures have the highest peak at UV wavelength when annealed at 550 C. The mechanism of the PL properties of ZnO nanostructures is also discussed. We conclude that ZnO nanostructures deposited using thermal CVD have the optimum structural and PL properties when annealed at 550 C. (copyright 2010 WILEY-VCH Verlag GmbH and Co. KGaA, Weinheim) (orig.)
Mozafari, Masoud; Moztarzadeh, Fathollah; Vashaee, Dayoosh; Tayebi, Lobat
2012-04-01
The oxidation of lead sulfide (PbS) luminescent nanocrystals (NCs) considerably changes their luminescence characteristics. Hence, an understanding of the oxidation mechanism, the structure and properties of oxidized moieties is important. In this research, well-defined spherical PbS NCs were synthesized via a simple, effective and surfactant-free method and characterized. Then, the effects of heat treatment (at 250, 350, 450 and 550 °C) on the PbS NCs were investigated. The transmission electron microscope (TEM) micrographs of the synthesized PbS NCs revealed that they had a well-defined spherical morphology. In addition, the average crystallite size using Scherrer's formula was about 13 nm and the calculated lattice constant using Bragg's equation was 0.5950 nm, which was very close to the value in the standard card (JCPDS No. 5-592). Furthermore, the X-ray diffraction (XRD) revealed that the heat treatment of samples at temperatures of 250, 350,450 and 550 °C in air results in the formation of oxide sulfate phase of the compositions PbSO4 and PbO·PbSO4. The lattice parameter, crystallite size, average internal stress, micro-strain and optical properties of PbS NCs were calculated and correlated with the heat-treatment temperature.
Šantak, Vedran; Zaplotnik, Rok; Tarle, Zrinka; Milošević, Slobodan
2015-11-01
Optical emission spectroscopy was performed during atmospheric pressure plasma needle helium jet treatment of various tooth-bleaching gels. When the gel sample was inserted under the plasma plume, the intensity of all the spectral features increased approximately two times near the plasma needle tip and up to two orders of magnitude near the sample surface. The color change of the hydroxylapatite pastille treated with bleaching gels in conjunction with the atmospheric pressure plasma jet was found to be in correlation with the intensity of OH emission band (309 nm). Using argon as an additive to helium flow (2 L/min), a linear increase (up to four times) of OH intensity and, consequently, whitening (up to 10%) of the pastilles was achieved. An atmospheric pressure plasma jet activates bleaching gel, accelerates OH production, and accelerates tooth bleaching (up to six times faster).
Direct and converse theorems the elements of symbolic logic
Gradshtein, I S; Stark, M; Ulam, S
1963-01-01
Direct and Converse Theorems: The Elements of Symbolic Logic, Third Edition explains the logical relations between direct, converse, inverse, and inverse converse theorems, as well as the concept of necessary and sufficient conditions. This book consists of two chapters. The first chapter is devoted to the question of negation. Connected with the question of the negation of a proposition are interrelations of the direct and converse and also of the direct and inverse theorems; the interrelations of necessary and sufficient conditions; and the definition of the locus of a point. The second chap
The Differential Virial Theorem with Gradient Formulas for the Operators
Finley, James P
2016-01-01
A gradient dependent formula is derived for the spinless one-particle density-matrix operator z from the differential virial theorem. A gradient dependent formula is also derived for a spinless one-particle density-matrix operator that can replace the two operators of the differential virial theorem that arise from the kinetic energy operator. Other operators are also derived that can replace the operators mentioned above in the differential virial theorem; these operators depend on the real part of spinless one-particle density-matrix.
Fluctuation theorem for Hamiltonian Systems: Le Chatelier's principle
Evans, Denis J.; Searles, Debra J.; Mittag, Emil
2001-05-01
For thermostated dissipative systems, the fluctuation theorem gives an analytical expression for the ratio of probabilities that the time-averaged entropy production in a finite system observed for a finite time takes on a specified value compared to the negative of that value. In the past, it has been generally thought that the presence of some thermostating mechanism was an essential component of any system that satisfies a fluctuation theorem. In the present paper, we point out that a fluctuation theorem can be derived for purely Hamiltonian systems, with or without applied dissipative fields.
Bottom-Left Placement Theorem for Rectangle Packing
Huang, Wenqi; Chen, Duanbing
2011-01-01
This paper proves a bottom-left placement theorem for the rectangle packing problem, stating that if it is possible to orthogonally place n arbitrarily given rectangles into a rectangular container without overlapping, then we can achieve a feasible packing by successively placing a rectangle onto a bottom-left corner in the container. This theorem shows that even for the real-parameter rectangle packing problem, we can solve it after finite times of bottom-left placement actions. Based on this theorem, we might develop efficient heuristic algorithms for solving the rectangle packing problem.
Convergence theorems for lattice group-valued measures
Boccuto, Antonio
2015-01-01
Convergence Theorems for Lattice Group-valued Measures explains limit and boundedness theorems for measures taking values in abstract structures. The eBook begins with a historical survey about these topics since the beginning of the last century, moving on to basic notions and preliminaries on filters/ideals, lattice groups, measures and tools which are featured in the rest of this text. Readers will also find a survey on recent classical results about limit, boundedness and extension theorems for lattice group-valued measures followed by information about recent developments on these kinds o
Noether Theorem for Nonholonomic Systems with Time Delay
Directory of Open Access Journals (Sweden)
Shi-Xin Jin
2015-01-01
Full Text Available The paper focuses on studying the Noether theorem for nonholonomic systems with time delay. Firstly, the differential equations of motion for nonholonomic systems with time delay are established, which is based on the Hamilton principle with time delay and the Lagrange multiplier rules. Secondly, based upon the generalized quasi-symmetric transformations for nonconservative systems with time delay, the Noether theorem for corresponding holonomic systems is given. Finally, we obtain the Noether theorem for the nonholonomic nonconservative systems with time delay. At the end of the paper, an example is given to illustrate the application of the results.
Theorems on Positive Data: On the Uniqueness of NMF
Directory of Open Access Journals (Sweden)
Hans Laurberg
2008-01-01
Full Text Available We investigate the conditions for which nonnegative matrix factorization (NMF is unique and introduce several theorems which can determine whether the decomposition is in fact unique or not. The theorems are illustrated by several examples showing the use of the theorems and their limitations. We have shown that corruption of a unique NMF matrix by additive noise leads to a noisy estimation of the noise-free unique solution. Finally, we use a stochastic view of NMF to analyze which characterization of the underlying model will result in an NMF with small estimation errors.
ON THE PRIMARY DECOMPOSITION THEOREM OF MODULAR LIE SUPERALGEBRAS
Institute of Scientific and Technical Information of China (English)
CHEN LIANGYUN; MENG DAOJI
2005-01-01
This gives some identities of associative Lie superalgebras and some properties of modular Lie superalgebras. Furthermore, the primry decomposition theorem of modular Lie superalgebras is shown. It is well known that the primary decomposition theorem of modular Lie algebras has played an important role in the classification of the finite-dimensional simple modular Lie algebras (see [5, 6]). Analogously, the primary decomposition theorem of modular Lie superalgebras may play an important role in the open classification of the finite dimensional simple modular Lie superalgebras.
Inconsistency of Carnot's theorem's proof by William Thomson
Ihnatovych, V
2013-01-01
William Thomson proved Carnot's theorem basing on postulate: "It is impossible, by means of inanimate material agency, to derive mechanical effect from any portion of matter by cooling it below the temperature of the coldest of the surrounding objects". The present paper demonstrates that Carnot's theorem can be proved based on the contrary Thomson's postulate: "It is impossible to use the mechanical effect to the heating the coldest of surrounding objects". A conclusion that Carnot's theorem does not follow from the Thomson's postulate has been drawn.
A global Torelli theorem for hyperkaehler manifolds (after Verbitsky)
Huybrechts, Daniel
2011-01-01
Compact hyperkaehler manifolds are higher-dimensional generalizations of K3 surfaces. The classical Global Torelli theorem for K3 surfaces, however, does not hold in higher dimensions. More precisely, a compact hyperkaehler manifold is in general not determined by its natural weight-two Hodge structure. The text gives an account of a recent theorem of M. Verbitsky, which can be regarded as a weaker version of the Global Torelli theorem phrased in terms of the injectivity of the period map on the connected components of the moduli space of marked manifolds.
On Pythagoras Theorem for Products of Spectral Triples
D'Andrea, Francesco; Martinetti, Pierre
2013-05-01
We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non-pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some unitality condition. We show that these inequalities are optimal, and we provide non-unital counter-examples inspired by K-homology.
ON REGULARITY THEOREMS FOR LINEARLY INVARIANT FAMILIES OF HARMONIC FUNCTIONS
Directory of Open Access Journals (Sweden)
E. G. Ganenkova
2015-05-01
Full Text Available The classical theorem of growth regularity in the class S of analytic and univalent in the unit disc ∆ functions ƒ describes the growth character of different functionals of ƒ Є S and z Є ∆ as z tends to δ∆. Earlier the authors proved the theorems of growth and decrease regularity for harmonic and sense-preserving in ∆ functions which generalized the classical result for the class S. In the presented paper we establish new properties of harmonic sense-preserving functions, connected with the regularity theorems. The effects both common for analytic and harmonic case and specific for harmonic functions are displayed.
Asymmetric de Finetti Theorem for Infinite-dimensional Quantum Systems
Niu, Murphy Yuezhen
2016-01-01
The de Finetti representation theorem for continuous variable quantum system is first developed to approximate an N-partite continuous variable quantum state with a convex combination of independent and identical subsystems, which requires the original state to obey permutation symmetry conditioned on successful experimental verification on k of N subsystems. We generalize the de Finetti theorem to include asymmetric bounds on the variance of canonical observables and biased basis selection during the verification step. Our result thereby enables application of infinite-dimensional de Finetti theorem to situations where two conjugate measurements obey different statistics, such as the security analysis of quantum key distribution protocols based on squeezed state against coherent attack.
A reconstruction theorem for almost-commutative spectral triples
Ćaćić, Branimir
2011-01-01
We propose an expansion of the definition of almost-commutative spectral triple that accommodates non-trivial fibrations and is stable under inner fluctuation of the metric, and then prove a reconstruction theorem for almost-commutative spectral triples under this definition as a simple consequence of the reconstruction theorem for commutative spectral triples. Along the way, we weaken the orientability hypothesis in Connes's reconstruction theorem for commutative spectral triples, and, following Chakraborty and Mathai, prove a number of results concerning the stability of properties of spectral triples under suitable perturbation of the Dirac operator.
Noncommutative topology and the world's simplest index theorem.
van Erp, Erik
2010-05-11
In this article we outline an approach to index theory on the basis of methods of noncommutative topology. We start with an explicit index theorem for second-order differential operators on 3-manifolds that are Fredholm but not elliptic. This low-brow index formula is expressed in terms of winding numbers. We then proceed to show how it is derived as a special case of an index theorem for hypoelliptic operators on contact manifolds. Finally, we discuss the noncommutative topology that is employed in the proof of this theorem. The article is intended to illustrate that noncommutative topology can be a powerful tool for proving results in classical analysis and geometry.
The direct Flow parametric Proof of Gauss' Divergence Theorem revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
The standard proof of the divergence theorem in undergraduate calculus courses covers the theorem for static domains between two graph surfaces. We show that within first year undergraduate curriculum, the flow proof of the dynamic version of the divergence theorem - which is usually considered...... only much later in more advanced math courses - is comprehensible with only a little extension of the first year curriculum. Moreover, it is more intuitive than the static proof. We support this intuition further by unfolding and visualizing a few examples with increasing complexity. In these examples...
Convolution theorems: partitioning the space of integral transforms
Lindsey, Alan R.; Suter, Bruce W.
1999-03-01
Investigating a number of different integral transforms uncovers distinct patterns in the type of translation convolution theorems afforded by each. It is shown that transforms based on separable kernels (aka Fourier, Laplace and their relatives) have a form of the convolution theorem providing for a transform domain product of the convolved functions. However, transforms based on kernels not separable in the function and transform variables mandate a convolution theorem of a different type; namely in the transform domain the convolution becomes another convolution--one function with the transform of the other.
The Basic Existence Theorem of Riemann-Stieltjes Integral
Directory of Open Access Journals (Sweden)
Nakasho Kazuhisa
2016-12-01
Full Text Available In this article, the basic existence theorem of Riemann-Stieltjes integral is formalized. This theorem states that if f is a continuous function and ρ is a function of bounded variation in a closed interval of real line, f is Riemann-Stieltjes integrable with respect to ρ. In the first section, basic properties of real finite sequences are formalized as preliminaries. In the second section, we formalized the existence theorem of the Riemann-Stieltjes integral. These formalizations are based on [15], [12], [10], and [11].
Hardy, Luke A.; Chang, Chun-Hung; Myers, Erinn M.; Kennelly, Michael J.; Fried, Nathaniel M.
2016-02-01
Treatment of female stress urinary incontinence (SUI) by laser thermal remodeling of subsurface tissues is studied. Light transport, heat transfer, and thermal damage simulations were performed for transvaginal and transurethral methods. Monte Carlo (MC) provided absorbed photon distributions in tissue layers (vaginal wall, endopelvic fascia, urethral wall). Optical properties (n,μa,μs,g) were assigned to each tissue at λ=1064 nm. A 5-mm-diameter laser beam and power of 5 W for 15 s was used, based on previous experiments. MC output was converted into absorbed energy, serving as input for ANSYS finite element heat transfer simulations of tissue temperatures over time. Convective heat transfer was simulated with contact cooling probe set at 0 °C. Thermal properties (κ,c,ρ) were assigned to each tissue layer. MATLAB code was used for Arrhenius integral thermal damage calculations. A temperature matrix was constructed from ANSYS output, and finite sum was incorporated to approximate Arrhenius integral calculations. Tissue damage properties (Ea,A) were used to compute Arrhenius sums. For the transvaginal approach, 37% of energy was absorbed in endopelvic fascia layer with 0.8% deposited beyond it. Peak temperature was 71°C, treatment zone was 0.8-mm-diameter, and almost all of 2.7-mm-thick vaginal wall was preserved. For transurethral approach, 18% energy was absorbed in endopelvic fascia with 0.3% deposited beyond it. Peak temperature was 80°C, treatment zone was 2.0-mm-diameter, and only 0.6 mm of 2.4-mm-thick urethral wall was preserved. A transvaginal approach is more feasible than transurethral approach for laser treatment of SUI.
Kaplan, Haim; Sharir, Micha
2011-01-01
Recently Guth and Katz \\cite{GK2} invented, as a step in their nearly complete solution of Erd\\H{o}s's distinct distances problem, a new method for partitioning finite point sets in $\\R^d$, based on the Stone--Tukey polynomial ham-sandwich theorem. We apply this method to obtain new and simple proofs of two well known results: the Szemer\\'edi--Trotter theorem on incidences of points and lines, and the existence of spanning trees with low crossing numbers. Since we consider these proofs particularly suitable for teaching, we aim at self-contained, expository treatment. We also mention some generalizations and extensions, such as the Pach--Sharir bound on the number of incidences with algebraic curves of bounded degree.
Chang, Chun-Hung; Myers, Erinn M.; Kennelly, Michael J.; Fried, Nathaniel M.
2017-01-01
Near-infrared laser energy in conjunction with applied tissue cooling is being investigated for thermal remodeling of the endopelvic fascia during minimally invasive treatment of female stress urinary incontinence. Previous computer simulations of light transport, heat transfer, and tissue thermal damage have shown that a transvaginal approach is more feasible than a transurethral approach. However, results were suboptimal, and some undesirable thermal insult to the vaginal wall was still predicted. This study uses experiments and computer simulations to explore whether application of an optical clearing agent (OCA) can further improve optical penetration depth and completely preserve the vaginal wall during subsurface treatment of the endopelvic fascia. Several different mixtures of OCA's were tested, and 100% glycerol was found to be the optimal agent. Optical transmission studies, optical coherence tomography, reflection spectroscopy, and computer simulations [including Monte Carlo (MC) light transport, heat transfer, and Arrhenius integral model of thermal damage] using glycerol were performed. The OCA produced a 61% increase in optical transmission through porcine vaginal wall at 37°C after 30 min. The MC model showed improved energy deposition in endopelvic fascia using glycerol. Without OCA, 62%, 37%, and 1% of energy was deposited in vaginal wall, endopelvic fascia, and urethral wall, respectively, compared with 50%, 49%, and 1% using OCA. Use of OCA also resulted in 0.5-mm increase in treatment depth, allowing potential thermal tissue remodeling at a depth of 3 mm with complete preservation of the vaginal wall.
Enamel Thickness before and after Orthodontic Treatment Analysed in Optical Coherence Tomography
Koprowski, Robert; Safranow, Krzysztof; Woźniak, Krzysztof
2017-01-01
Despite the continuous development of materials and techniques of adhesive bonding, the basic procedure remains relatively constant. The technique is based on three components: etching substance, adhesive system, and composite material. The use of etchants during bonding orthodontic brackets carries the risk of damage to the enamel. Therefore, the article examines the effect of the manner of enamel etching on its thickness before and after orthodontic treatment. The study was carried out in vitro on a group of 80 teeth. It was divided into two subgroups of 40 teeth each. The procedure of enamel etching was performed under laboratory conditions. In the first subgroup, the classic method of enamel etching and the fifth-generation bonding system were used. In the second subgroup, the seventh-generation (self-etching) bonding system was used. In both groups, metal orthodontic brackets were fixed and the enamel was cleaned with a cutter fixed on the micromotor after their removal. Before and after the treatment, two-dimensional optical coherence tomography scans were performed. The enamel thickness was assessed on the two-dimensional scans. The average enamel thickness in both subgroups was not statistically significant. PMID:28243604
Enamel Thickness before and after Orthodontic Treatment Analysed in Optical Coherence Tomography
Directory of Open Access Journals (Sweden)
Julia Seeliger
2017-01-01
Full Text Available Despite the continuous development of materials and techniques of adhesive bonding, the basic procedure remains relatively constant. The technique is based on three components: etching substance, adhesive system, and composite material. The use of etchants during bonding orthodontic brackets carries the risk of damage to the enamel. Therefore, the article examines the effect of the manner of enamel etching on its thickness before and after orthodontic treatment. The study was carried out in vitro on a group of 80 teeth. It was divided into two subgroups of 40 teeth each. The procedure of enamel etching was performed under laboratory conditions. In the first subgroup, the classic method of enamel etching and the fifth-generation bonding system were used. In the second subgroup, the seventh-generation (self-etching bonding system was used. In both groups, metal orthodontic brackets were fixed and the enamel was cleaned with a cutter fixed on the micromotor after their removal. Before and after the treatment, two-dimensional optical coherence tomography scans were performed. The enamel thickness was assessed on the two-dimensional scans. The average enamel thickness in both subgroups was not statistically significant.
Enamel Thickness before and after Orthodontic Treatment Analysed in Optical Coherence Tomography.
Seeliger, Julia; Machoy, Monika; Koprowski, Robert; Safranow, Krzysztof; Gedrange, Tomasz; Woźniak, Krzysztof
2017-01-01
Despite the continuous development of materials and techniques of adhesive bonding, the basic procedure remains relatively constant. The technique is based on three components: etching substance, adhesive system, and composite material. The use of etchants during bonding orthodontic brackets carries the risk of damage to the enamel. Therefore, the article examines the effect of the manner of enamel etching on its thickness before and after orthodontic treatment. The study was carried out in vitro on a group of 80 teeth. It was divided into two subgroups of 40 teeth each. The procedure of enamel etching was performed under laboratory conditions. In the first subgroup, the classic method of enamel etching and the fifth-generation bonding system were used. In the second subgroup, the seventh-generation (self-etching) bonding system was used. In both groups, metal orthodontic brackets were fixed and the enamel was cleaned with a cutter fixed on the micromotor after their removal. Before and after the treatment, two-dimensional optical coherence tomography scans were performed. The enamel thickness was assessed on the two-dimensional scans. The average enamel thickness in both subgroups was not statistically significant.
Fiber Optic Sensors for Temperature Monitoring during Thermal Treatments: An Overview.
Schena, Emiliano; Tosi, Daniele; Saccomandi, Paola; Lewis, Elfed; Kim, Taesung
2016-07-22
During recent decades, minimally invasive thermal treatments (i.e., Radiofrequency ablation, Laser ablation, Microwave ablation, High Intensity Focused Ultrasound ablation, and Cryo-ablation) have gained widespread recognition in the field of tumor removal. These techniques induce a localized temperature increase or decrease to remove the tumor while the surrounding healthy tissue remains intact. An accurate measurement of tissue temperature may be particularly beneficial to improve treatment outcomes, because it can be used as a clear end-point to achieve complete tumor ablation and minimize recurrence. Among the several thermometric techniques used in this field, fiber optic sensors (FOSs) have several attractive features: high flexibility and small size of both sensor and cabling, allowing insertion of FOSs within deep-seated tissue; metrological characteristics, such as accuracy (better than 1 °C), sensitivity (e.g., 10 pm·°C(-1) for Fiber Bragg Gratings), and frequency response (hundreds of kHz), are adequate for this application; immunity to electromagnetic interference allows the use of FOSs during Magnetic Resonance- or Computed Tomography-guided thermal procedures. In this review the current status of the most used FOSs for temperature monitoring during thermal procedure (e.g., fiber Bragg Grating sensors; fluoroptic sensors) is presented, with emphasis placed on their working principles and metrological characteristics. The essential physics of the common ablation techniques are included to explain the advantages of using FOSs during these procedures.
Fiber Optic Sensors for Temperature Monitoring during Thermal Treatments: An Overview
Directory of Open Access Journals (Sweden)
Emiliano Schena
2016-07-01
Full Text Available During recent decades, minimally invasive thermal treatments (i.e., Radiofrequency ablation, Laser ablation, Microwave ablation, High Intensity Focused Ultrasound ablation, and Cryo-ablation have gained widespread recognition in the field of tumor removal. These techniques induce a localized temperature increase or decrease to remove the tumor while the surrounding healthy tissue remains intact. An accurate measurement of tissue temperature may be particularly beneficial to improve treatment outcomes, because it can be used as a clear end-point to achieve complete tumor ablation and minimize recurrence. Among the several thermometric techniques used in this field, fiber optic sensors (FOSs have several attractive features: high flexibility and small size of both sensor and cabling, allowing insertion of FOSs within deep-seated tissue; metrological characteristics, such as accuracy (better than 1 °C, sensitivity (e.g., 10 pm·°C−1 for Fiber Bragg Gratings, and frequency response (hundreds of kHz, are adequate for this application; immunity to electromagnetic interference allows the use of FOSs during Magnetic Resonance- or Computed Tomography-guided thermal procedures. In this review the current status of the most used FOSs for temperature monitoring during thermal procedure (e.g., fiber Bragg Grating sensors; fluoroptic sensors is presented, with emphasis placed on their working principles and metrological characteristics. The essential physics of the common ablation techniques are included to explain the advantages of using FOSs during these procedures.
Institute of Scientific and Technical Information of China (English)
Li Shan LIU
2001-01-01
In this paper, we will prove that Ky Fan's Theorem (Math. Z. 112(1969), 234-240) is true for1-set-contractive maps defined on a bounded closed convex subset K in a Banach space with intK ≠φ.This class of 1-set-contractive maps includes condensing maps, nonexpansive maps, semicontractivemaps, LANE maps and others. As applications of our theorems, some fixed point theorems of non-self-maps are proved under various well-known boundary conditions. Our results are generalizations andimprovements of the recent results obtained by many authors.
Institute of Scientific and Technical Information of China (English)
无
2007-01-01
BACKGROUND: Pattern- visual evoked potential (PVEP) can reflect the functional status of retinal ganglial cells (RGC) and visual cortex, and is an objective examination for visual pathway function. It is a unique method for objectively examining the optic nerve function of optic ganglion cells.OBJECTIVE: To observe the effects of nerve growth factor (NGF) on PVEF in the treatment of optic nerve contusion, evaluate the clinical efficacy of NGF, and make an efficacy comparison with vitamin B12.DESIGN: A randomly grouping, controlled observation.SETTING: Department of Ophthalmology, Tangshan Gongren Hospital Affiliated to Hebei Medical University.PARTICIPANTS: Forty patients with optic nerve contusion caused by eye trauma, who received the treatment in the Tangshan Worker Hospital Affiliated to Hebei Medical University between January 2006 and June 2007, were recruited in this study. The involved 40 patients, including 34 males and 6 females,were aged 14 - 59 years. They were confirmed to have optic nerve contusion by ophthalmologic consultation combined with history of disease and orbital CT examination. Informed consents of treatments and detected items were obtained from all the patients. The patients were randomly divided into 2 groups with 20 in each:NGF group and vitamin B12 group.METHODS: Conservative treatment was used in the two groups. In addition, patients in the NGF group were intramuscularly injected with NGF solution 18 μg/time, once a day. Those in the vitamin B12 group were injected by the same method with common vitamin B12 of 500 μg combined with vitamin B1 of 100 mg, once a day.MAIN OUTCOME MEASURES: PVEP examination was conducted in all the patients before, one and two weeks after treatment, and latency and amplitude at P100 were detected.RESULTS: Forty patients with optic nerve contusion participated in the final analysis. Before treatment,significant differences in the latency and amplitude at P100 were not found in patients between two groups
The Michaelis-Menten-Stueckelberg Theorem
Directory of Open Access Journals (Sweden)
Alexander N. Gorban
2011-05-01
Full Text Available We study chemical reactions with complex mechanisms under two assumptions: (i intermediates are present in small amounts (this is the quasi-steady-state hypothesis or QSS and (ii they are in equilibrium relations with substrates (this is the quasiequilibrium hypothesis or QE. Under these assumptions, we prove the generalized mass action law together with the basic relations between kinetic factors, which are sufficient for the positivity of the entropy production but hold even without microreversibility, when the detailed balance is not applicable. Even though QE and QSS produce useful approximations by themselves, only the combination of these assumptions can render the possibility beyond the “rarefied gas” limit or the “molecular chaos” hypotheses. We do not use any a priori form of the kinetic law for the chemical reactions and describe their equilibria by thermodynamic relations. The transformations of the intermediate compounds can be described by the Markov kinetics because of their low density (low density of elementary events. This combination of assumptions was introduced by Michaelis and Menten in 1913. In 1952, Stueckelberg used the same assumptions for the gas kinetics and produced the remarkable semi-detailed balance relations between collision rates in the Boltzmann equation that are weaker than the detailed balance conditions but are still sufficient for the Boltzmann H-theorem to be valid. Our results are obtained within the Michaelis-Menten-Stueckelbeg conceptual framework.
The Ewald-Oseen Extinction Theorem
Mansuripur, Masud
2015-01-01
When a beam of light enters a material medium, it sets in motion the resident electrons, whether these electrons are free or bound. The electronic oscillations in turn give rise to electromagnetic radiation which, in the case of linear media, possess the frequency of the exciting beam. Because Maxwell's equations are linear, one expects the total field at any point in space to be the sum of the original (exciting) field and the radiation produced by all the oscillating electrons. However, in practice the original beam appears to be absent within the medium, as though it had been replaced by a different beam, one having a shorter wavelength and propagating in a different direction. The Ewald-Oseen theorem resolves this paradox by showing how the oscillating electrons conspire to produce a field that exactly cancels out the original beam everywhere inside the medium. The net field is indeed the sum of the incident beam and the radiated field of the oscillating electrons, but the latter field completely masks th...