Bell's Theorem from Moore's Theorem
Fields, Chris
2012-01-01
It is shown that the restrictions of what can be inferred from classically-recorded observational outcomes that are imposed by the no-cloning theorem, the Kochen-Specker theorem and Bell's theorem also follow from restrictions on inferences from observations formulated within classical automata theory. Similarities between the assumptions underlying classical automata theory and those underlying universally-unitary quantum theory are discussed.
Schleimer, Saul
2009-01-01
This note is an exposition of Waldhausen's proof of Waldhausen's Theorem: the three-sphere has a single Heegaard splitting, up to isotopy, in every genus. As a necessary step we also give a sketch of the Reidemeister-Singer Theorem.
Heck, Richard G
2011-01-01
Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy. The Theorem is the central contribution of Gottlob Frege's formal work on arithmetic. It tells us that the axioms of arithmetic can be derived, purely logically, from a single principle: the number of these things is the same as the number of those things just in case these can be matched up one-to-one with those. But that principle seems so utterlyfundamental to thought about number that it might almost count as a definition of number. If so, Frege's Theorem shows that a
Noether's theorem attains its maximum simplicity and depth when formulated in curved space-time, gravitation being included. Extension to curved space-times is here made simple by the use of a formulation, for the flat case, due to Jackiw. The exposition purports to be pedagogical. (Author)
SELECTION OF BRILLOUIN SHIFT DISCRIMINATOR FOR BRILLOUIN LIDAR
吴东; 刘智深
2002-01-01
For the measurement of vertical profiles of sound speed in the sea using laser excited Brillouin scattering, a high-resolution measurement of Brillouin frequency shift is required. In this work, a molecular absorption cell was selec ted as the frequency shift discriminator and several kinds of absorption gases were tri ed. It was found that the strong line (#1095) of 127I2 at 18783.3297 cm-1 and two absorption lines of 129I2 located at the two sides of the #1095 line of 127 I2 could be used as frequency shift discriminator to detect the changes of the Brillouin frequency s hift. This selection is the best one within the range from 532.0131 nm to 532.5154 nm. But it is not perfect and there is a lot of work to do before its practical application.
SELECTION OF BRILLOUIN SHIFT DISCRIMINATOR FOR BRILLOUIN LIDAR
吴东; 刘智深
2002-01-01
For the measurement of vertical profiles of sound speed in the sea using laser excited Brillouin scattering, a high-resolution measurement of Brillouin frequency shift is required. In this work, a molecular absorption cell was selected as the frequency shift discriminator and several kinds of absorption gases were tried. It was found that the strong line ( # 1095) of 127 I2 at 18783. 3297 cm-1 and two absorption lines of 129 I2 located at the two sides of the # 1095 line of 127 I2 could be used as frequency shift discriminator to detect the changes of the Brillouin frequency shift. This selection is the best one within the range from 532.0131 run to 532.5154 nm. But it is not perfect and there is a lot of work to do before its practical application.
Shear Brillouin light scattering microscope.
Kim, Moonseok; Besner, Sebastien; Ramier, Antoine; Kwok, Sheldon J J; An, Jeesoo; Scarcelli, Giuliano; Yun, Seok Hyun
2016-01-11
Brillouin spectroscopy has been used to characterize shear acoustic phonons in materials. However, conventional instruments had slow acquisition times over 10 min per 1 mW of input optical power, and they required two objective lenses to form a 90° scattering geometry necessary for polarization coupling by shear phonons. Here, we demonstrate a confocal Brillouin microscope capable of detecting both shear and longitudinal phonons with improved speeds and with a single objective lens. Brillouin scattering spectra were measured from polycarbonate, fused quartz, and borosilicate in 1-10 s at an optical power level of 10 mW. The elastic constants, phonon mean free path and the ratio of the Pockels coefficients were determined at microscopic resolution. PMID:26832263
Brillouin scattering self-cancellation
Florez, O.; Jarschel, P. F.; Espinel, Y. A. V.; Cordeiro, C. M. B.; Mayer Alegre, T. P.; Wiederhecker, G. S.; Dainese, P.
2016-06-01
The interaction between light and acoustic phonons is strongly modified in sub-wavelength confinement, and has led to the demonstration and control of Brillouin scattering in photonic structures such as nano-scale optical waveguides and cavities. Besides the small optical mode volume, two physical mechanisms come into play simultaneously: a volume effect caused by the strain-induced refractive index perturbation (known as photo-elasticity), and a surface effect caused by the shift of the optical boundaries due to mechanical vibrations. As a result, proper material and structure engineering allows one to control each contribution individually. Here, we experimentally demonstrate the perfect cancellation of Brillouin scattering arising from Rayleigh acoustic waves by engineering a silica nanowire with exactly opposing photo-elastic and moving-boundary effects. This demonstration provides clear experimental evidence that the interplay between the two mechanisms is a promising tool to precisely control the photon-phonon interaction, enhancing or suppressing it.
Brillouin Scattering Self-Cancellation
Florez, Omar; Espinel, Yovanny A V; Cordeiro, Cristiano M B; Alegre, Thiago P Mayer; Wiederhecker, Gustavo S; Dainese, Paulo
2016-01-01
The interaction between light and acoustic phonons is strongly modified in sub-wavelength confinement, and has led to the demonstration and control of Brillouin scattering in photonic structures such as nano-scale optical waveguides and cavities. Besides the small optical mode volume, two physical mechanisms come into play simultaneously: a volume effect caused by the strain induced refractive index perturbation (known as photo-elasticity), and a surface effect caused by the shift of the optical boundaries due to mechanical vibrations. As a result proper material and structure engineering allows one to control each contribution individually. In this paper, we experimentally demonstrate the perfect cancellation of Brillouin scattering by engineering a silica nanowire with exactly opposing photo-elastic and moving-boundary effects. This demonstration provides clear experimental evidence that the interplay between the two mechanisms is a promising tool to precisely control the photon-phonon interaction, enhancin...
Asano, Motoki; Özdemir, Şahin Kaya; Ikuta, Rikizo; Yang, Lan; Imoto, Nobuyuki; Yamamoto, Takashi
2016-01-01
We report the first observation of stimulated Brillouin scattering (SBS) with Brillouin lasing, and Brillouin-coupled four-wave-mixing (FWM) in an ultra-high-Q silica microbottle resonator. The Brillouin lasing was observed at the frequency of $\\Omega_B=2\\pi\\times10.4$ GHz with a threshold power of $0.45$ mW. Coupling between Brillouin and FWM was observed in both backward and forward scattering directions with separations of $2\\Omega_B$. At a pump power of $10$ mW, FWM spacing reached to 7th and 9th order anti-Stokes and Stokes, respectively.
Stimulated Brillouin scattering in metamaterials
Smith, M J A; de Sterke, C Martijn; Wolff, C; Lapine, M; Poulton, C G
2016-01-01
We compute the SBS gain for a metamaterial comprising a cubic lattice of dielectric spheres suspended in a background dielectric material. Theoretical methods are presented to calculate the optical, acoustic, and opto-acoustic parameters that describe the SBS properties of the material at long wavelengths. Using the electromagnetic and strain energy densities we accurately characterise the optical and acoustic properties of the metamaterial. From a combination of energy density methods and perturbation theory, we recover the appropriate terms of the photoelastic tensor for the metamaterial. We demonstrate that electrostriction is not necessarily the dominant mechanism in the enhancement and suppression of the SBS gain coefficient in a metamaterial, and that other parameters, such as the Brillouin linewidth, can dominate instead. Examples are presented that exhibit an order of magnitude enhancement in the SBS gain as well as perfect suppression.
Tunable multiwavelength Brillouin-Erbium fiber laser with intra-cavity pre-amplified Brillouin pump
We have demonstrated a new configuration of Brillouin-Erbium fiber laser, in which the Brillouin pump is pre-amplified within the laser cavity before entering the single-mode fiber. By using this simple scheme, a lower external Brillouin pump power is required to create the Brillouin gain and suppresses the laser cavity modes. The proposed laser structure exhibits a wide tuning range of 13 nm from 1597 nm to 1610 nm with 1480 nm pump power of 100 mW. The number of channels obtained within this wavelength range is 14 channels with 0.089 nm spacing
Unifying Brillouin scattering and cavity optomechanics
Van Laer, Raphaël; Baets, Roel; Van Thourhout, Dries
2015-01-01
So far, Brillouin scattering and cavity optomechanics were mostly disconnected branches of research. Both deal with photon-phonon coupling, but a number of differences impeded their unambiguous fusion. Here, we reveal a close connection between two parameters of central importance in these fields: the Brillouin gain coefficient $\\tilde{\\mathcal{G}}$ and the zero-point optomechanical coupling rate $g_{0}$. In addition, we derive the dynamical cavity equations from the coupled-mode description of a Brillouin waveguide. This explicit transition shows the unity of optomechanical phenomena, such as stimulated Brillouin scattering and electromagnetically induced transparency, regardless of whether they occur in waveguides or in resonators. Therefore, the fields can no longer be disentangled. We propose an experimental manifestation of the link in silicon photonic nanowires.
Brillouin Cooling in a Linear Waveguide
Chen, Yin-Chung; Bahl, Gaurav
2016-01-01
Brillouin scattering is rarely considered as a mechanism that can cause cooling of a material due to the thermodynamic dominance of Stokes scattering in most practical systems. However, it has been shown in experiments on resonators that net phonon annihilation through anti-Stokes Brillouin scattering can be enabled by means of a suitable set of optical and acoustic states. The cooling of traveling phonons in a linear waveguide, on the other hand, could lead to the exciting future prospect of manipulating unidirectional heat fluxes and even the nonreciprocal transport of quantum information via phonons. In this work, we present the first analysis of the conditions under which Brillouin cooling may be achieved in a linear waveguide. We analyze the three-wave mixing interaction between the optical and acoustic modes that participate in forward Brillouin scattering, and reveal the key regimes of operation for the process. Our calculations indicate that measurable cooling may occur in state-of-the-art systems whe...
Stimulated Brillouin processes in crystals and glasses
The basic physics and material properties needed to describe and predict the Brillouin gain for a variety of materials have been investigated. Lawrence Livermore National Laboratory (LLNL) has identified transverse stimulated Brillouin scattering (SBS) as an important limiting mechanism in high power laser fusion systems. At sufficiently high laser intensities, SBS drives acoustic vibrations that can damage optical components. SRI has performed measurements and developed the corresponding theory for stimulated Brillouin gain spectroscopy in anisotropic crystals. Absolute Brillouin steady-state gain coefficients, linewidths, and frequency shifts have been determined at 532 nm for a number of optical materials of interest to LLNL. This knowledge can be used to select optical materials and devise suppression schemes that will allow much higher laser fluences to be used in laser fusion
Guided-wave Brillouin scattering in air
Renninger, William H; Rakich, Peter T
2016-01-01
Here we identify a new form of optomechanical coupling in gas-filled hollow-core fibers. Stimulated forward Brillouin scattering is observed in air in the core of a photonic bandgap fiber. A single resonance is observed at 35 MHz, which corresponds to the first excited axial-radial acoustic mode in the air-filled core. The linewidth and coupling strengths are determined by the acoustic loss and electrostrictive coupling in air, respectively. A simple analytical model, refined by numerical simulations, is developed that accurately predicts the Brillouin coupling strength and frequency from the gas and fiber parameters. Since this form of Brillouin coupling depends strongly on both the acoustic and dispersive optical properties of the gas within the fiber, this new type of optomechanical interaction is highly tailorable. These results allow for forward Brillouin spectroscopy in dilute gases, could be useful for sensing and will present a power and noise limitation for certain applications.
Noise and dynamics in forward Brillouin interactions
Kharel, Prashanta; Renninger, William; Rakich, Peter
2015-01-01
In this paper, we explore the spatio-temporal dynamics of spontaneous and stimulated forward Brillouin scattering. This general treatment incorporates the optomechanical coupling produced by boundary-induced radiation pressures (boundary motion) and material-induced electrostrictive forces (photo-elastic effects), permitting straightforward application to a range of emerging micro- and nano-scale optomechanical systems. Through a self-consistent fully coupled nonlinear treatment, developed within a general Hamiltonian framework, we establish the connection between the power spectral density of spontaneously scattered light in forward Brillouin interactions and the nonlinear coupling strength. We show that, in sharp contrast to backward Brillouin scattering, noise-initiated stimulated forward Brillouin scattering is forbidden in the majority of experimental systems. In fact, the single-pass gain, which characterizes the threshold for energy transfer in back-scattering processes, is negative for a large class o...
Noise and dynamics in forward Brillouin interactions
Kharel, P.; Behunin, R. O.; Renninger, W. H.; Rakich, P. T.
2016-06-01
In this paper, we explore the spatiotemporal dynamics of spontaneous and stimulated forward Brillouin scattering. This general treatment incorporates the optomechanical coupling produced by boundary-induced radiation pressures (boundary motion) and material-induced electrostrictive forces (photoelastic effects), permitting straightforward application to a range of emerging micro- and nanoscale optomechanical systems. Through a self-consistent fully coupled nonlinear treatment, developed within a general Hamiltonian framework, we establish the connection between the power spectral density of spontaneously scattered light in forward Brillouin interactions and the nonlinear coupling strength. We show that, in sharp contrast to backward Brillouin scattering, noise-initiated stimulated forward Brillouin scattering is forbidden in the majority of experimental systems. In fact, the single-pass gain, which characterizes the threshold for energy transfer in back-scattering processes, is negative for a large class of forward Brillouin devices. Beyond this frequent experimental case, we explore mechanisms for dispersive symmetry breaking that lead to amplification and dynamics reminiscent of backward Brillouin scattering.
Loh, K. K.; Yeo, K. S.; Shee, Y. G.
2015-04-01
A microwave photonic filter based on double-Brillouin-frequency spaced multiwavelength Brillouin-erbium fiber laser (BEFL) is experimentally demonstrated. The filter selectivity can be easily adjusted by tuning and apodizing the optical taps generated from the multiwavelength BEFL. Reconfiguration of different frequency responses are demonstrated.
Loh, K. K.; Yeo, K. S.; Shee, Y. G. [Integrated Lightwave Research Group, Department of Electrical Engineering, University of Malaya, 50603 Kuala Lumpur (Malaysia)
2015-04-24
A microwave photonic filter based on double-Brillouin-frequency spaced multiwavelength Brillouin-erbium fiber laser (BEFL) is experimentally demonstrated. The filter selectivity can be easily adjusted by tuning and apodizing the optical taps generated from the multiwavelength BEFL. Reconfiguration of different frequency responses are demonstrated.
A microwave photonic filter based on double-Brillouin-frequency spaced multiwavelength Brillouin-erbium fiber laser (BEFL) is experimentally demonstrated. The filter selectivity can be easily adjusted by tuning and apodizing the optical taps generated from the multiwavelength BEFL. Reconfiguration of different frequency responses are demonstrated
We examine a soft scalar theorem which has proved useful in the evaluation of certain Feynman graphs. The use of this theorem is described in connection with the determination of the Λnphi coupling in a unified model of weak and electromagnetic interactions. (author)
Smith, Michael D.
2016-01-01
The Parity Theorem states that any permutation can be written as a product of transpositions, but no permutation can be written as a product of both an even number and an odd number of transpositions. Most proofs of the Parity Theorem take several pages of mathematical formalism to complete. This article presents an alternative but equivalent…
Saa, Diego
2005-01-01
Goedel's results have had a great impact in diverse fields such as philosophy, computer sciences and fundamentals of mathematics. The fact that the rule of mathematical induction is contradictory with the rest of clauses used by Goedel to prove his undecidability and incompleteness theorems is proved in this paper. This means that those theorems are invalid.
Kreutzer, Stephan
2009-01-01
Algorithmic meta-theorems are general algorithmic results applying to a whole range of problems, rather than just to a single problem alone. They often have a "logical" and a "structural" component, that is they are results of the form: every computational problem that can be formalised in a given logic L can be solved efficiently on every class C of structures satisfying certain conditions. This paper gives a survey of algorithmic meta-theorems obtained in recent years and the methods used to prove them. As many meta-theorems use results from graph minor theory, we give a brief introduction to the theory developed by Robertson and Seymour for their proof of the graph minor theorem and state the main algorithmic consequences of this theory as far as they are needed in the theory of algorithmic meta-theorems.
Genova, Alessandro; Pavanello, Michele
2015-12-16
In order to approximately satisfy the Bloch theorem, simulations of complex materials involving periodic systems are made n(k) times more complex by the need to sample the first Brillouin zone at n(k) points. By combining ideas from Kohn-Sham density-functional theory (DFT) and orbital-free DFT, for which no sampling is needed due to the absence of waves, subsystem DFT offers an interesting middle ground capable of sizable theoretical speedups against Kohn-Sham DFT. By splitting the supersystem into interacting subsystems, and mapping their quantum problem onto separate auxiliary Kohn-Sham systems, subsystem DFT allows an optimal topical sampling of the Brillouin zone. We elucidate this concept with two proof of principle simulations: a water bilayer on Pt[1 1 1]; and a complex system relevant to catalysis-a thiophene molecule physisorbed on a molybdenum sulfide monolayer deposited on top of an α-alumina support. For the latter system, a speedup of 300% is achieved against the subsystem DTF reference by using an optimized Brillouin zone sampling (600% against KS-DFT). PMID:26596499
Intersection homology Kunneth theorems
Friedman, Greg
2008-01-01
Cohen, Goresky and Ji showed that there is a Kunneth theorem relating the intersection homology groups $I^{\\bar p}H_*(X\\times Y)$ to $I^{\\bar p}H_*(X)$ and $I^{\\bar p}H_*(Y)$, provided that the perversity $\\bar p$ satisfies rather strict conditions. We consider biperversities and prove that there is a K\\"unneth theorem relating $I^{\\bar p,\\bar q}H_*(X\\times Y)$ to $I^{\\bar p}H_*(X)$ and $I^{\\bar q}H_*(Y)$ for all choices of $\\bar p$ and $\\bar q$. Furthermore, we prove that the Kunneth theorem...
To string together six theorems of physics by Pythagoras theorem
Cui, H. Y.
2002-01-01
In this paper, we point out that there are at lest six theorems in physics sharing common virtue of Pythagoras theorem, so that it is possible to string these theorems together with the Pythagoras theorem for physics teaching, the six theorems are Newton's three laws of motion, universal gravitational force, Coulomb's law, and the formula of relativistic dynamics. Knowing the internal relationships between them, which have never been clearly revealed by other author, will benefit the logic of...
Virial Theorem and Hypervirial Theorem in a spherical geometry
Li, Yan; Zhang, Fu-Lin; Chen, Jing-Ling
2010-01-01
The Virial Theorem in the one- and two-dimensional spherical geometry are presented, in both classical and quantum mechanics. Choosing a special class of Hypervirial operators, the quantum Hypervirial relations in the spherical spaces are obtained. With the aid of the Hellmann-Feynman Theorem, these relations can be used to formulate a \\emph{perturbation theorem without wave functions}, corresponding to the Hypervirial-Hellmann-Feynman Theorem perturbation theorem of Euclidean geometry. The o...
Zapletal, Jindrich
2005-01-01
I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included.
Unifying Brillouin scattering and cavity optomechanics
Van Laer, Raphaël; Baets, Roel; Van Thourhout, Dries
2016-05-01
So far, Brillouin scattering and cavity optomechanics have been mostly disconnected branches of research, although both deal with photon-phonon coupling. This begs for the development of a broader theory that contains both fields. Here, we derive the dynamics of optomechanical cavities from that of Brillouin-active waveguides. This explicit transition elucidates the link between phenomena such as Brillouin amplification and electromagnetically induced transparency. It proves that effects familiar from cavity optomechanics all have traveling-wave partners, but not vice versa. We reveal a close connection between two parameters of central importance in these fields: the Brillouin gain coefficient and the zero-point optomechanical coupling rate. This enables comparisons between systems as diverse as ultracold atom clouds, plasmonic Raman cavities, and nanoscale silicon waveguides. In addition, back-of-the-envelope calculations show that unobserved effects, such as photon-assisted amplification of traveling phonons, are now accessible in existing systems. Finally, we formulate both circuit- and cavity-oriented optomechanics in terms of vacuum coupling rates, cooperativities, and gain coefficients, thus reflecting the similarities in the underlying physics.
D'Agostini, G
2005-01-01
It is curious to learn that Enrico Fermi knew how to base probabilistic inference on Bayes theorem, and that some influential notes on statistics for physicists stem from what the author calls elsewhere, but never in these notes, {\\it the Bayes Theorem of Fermi}. The fact is curious because the large majority of living physicists, educated in the second half of last century -- a kind of middle age in the statistical reasoning -- never heard of Bayes theorem during their studies, though they have been constantly using an intuitive reasoning quite Bayesian in spirit. This paper is based on recollections and notes by Jay Orear and on Gauss' ``Theoria motus corporum coelestium'', being the {\\it Princeps mathematicorum} remembered by Orear as source of Fermi's Bayesian reasoning.
Neutron Brillouin scattering in dense fluids
Verkerk, P. [Technische Univ. Delft (Netherlands); FINGO Collaboration
1997-04-01
Thermal neutron scattering is a typical microscopic probe for investigating dynamics and structure in condensed matter. In contrast, light (Brillouin) scattering with its three orders of magnitude larger wavelength is a typical macroscopic probe. In a series of experiments using the improved small-angle facility of IN5 a significant step forward is made towards reducing the gap between the two. For the first time the transition from the conventional single line in the neutron spectrum scattered by a fluid to the Rayleigh-Brillouin triplet known from light-scattering experiments is clearly and unambiguously observed in the raw neutron data without applying any corrections. Results of these experiments are presented. (author).
Converse Barrier Certificate Theorem
Wisniewski, Rafael; Sloth, Christoffer
2013-01-01
This paper presents a converse barrier certificate theorem for a generic dynamical system.We show that a barrier certificate exists for any safe dynamical system defined on a compact manifold. Other authors have developed a related result, by assuming that the dynamical system has no singular...... points in the considered subset of the state space. In this paper, we redefine the standard notion of safety to comply with generic dynamical systems with multiple singularities. Afterwards, we prove the converse barrier certificate theorem and illustrate the differences between ours and previous work by...
Poutiainen, H. (Hayley)
2015-01-01
Group theory is a mathematical domain where groups and their properties are studied. The evolution of group theory as an area of study is said to be the result of the parallel development of a variety of different studies in mathematics. Sylow’s Theorems were a set of theorems proved around the same time the concept of group theory was being established, in the 1870s. Sylow used permutation groups in his proofs which were then later generalized and shown to hold true for all finite groups....
Kartavtsev, Alexander
2014-01-01
According to the Goldstone theorem a scalar theory with a spontaneously broken global symmetry contains strictly massless states. In this letter we identify a loophole in the current-algebra proof of the theorem. Therefore, the question whether in models with Mexican hat potential the tangential excitations are strictly massless or are just almost massless as compared to the radial ones remains open. We also argue that mass of the tangential excitations approaches zero even if the symmetry is not spontaneously broken but a combination of the field components invariant under the symmetry transformations acquires a large vacuum expectation value.
Bressler, Paul; Gorokhovsky, Alexander; Nest, Ryszard;
2015-01-01
The main result of the present paper is an analogue of Kontsevich formality theorem in the context of the deformation theory of gerbes. We construct an L∞L∞ deformation of the Schouten algebra of multi-vectors which controls the deformation theory of a gerbe.......The main result of the present paper is an analogue of Kontsevich formality theorem in the context of the deformation theory of gerbes. We construct an L∞L∞ deformation of the Schouten algebra of multi-vectors which controls the deformation theory of a gerbe....
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)
Bandwidth reconfigurable microwave photonic filter based on stimulated Brillouin scattering
Xiao, Yongchuan; Wang, Xin; Zhang, Youdi; Dong, Wei; Zhang, Xindong; Liu, Caixia; Ruan, Shengping; Chen, Weiyou
2015-01-01
A bandwidth reconfigurable microwave photonic filter is proposed and numerically analyzed employing Brillouin gain spectrum narrowing and broadening. The stimulated Brillouin scattering (SBS) process is used to convert the phase modulation to intensity modulation to generate filter passband. Due to the fact that the passband is formed by mapping the Brillouin gain spectrum, bandwidth reconfiguration can be implemented by changing Brillouin gain linewidth. In this paper, both bandwidth reduction and increase are included in a single system and the details of gain spectrum narrowing and broadening are demonstrated. Theoretically, nearly 60% bandwidth reduction and hundreds times of bandwidth increase are achieved as compared to the case without gain spectrum process.
Dalen, D. van
2008-01-01
The following pages make form a new chapter for the book Logic and Structure. This chapter deals with the incompleteness theorem, and contains enough basic material for the treatment of the required notions of computability, representability and the like. This chapter will appear in the next edition of Logic and Structure. Comments are welcome.
Dalen, D. van
2008-01-01
The following pages make form a new chapter for the book Logic and Structure. This chapter deals with the incompleteness theorem, and contains enough basic material for the treatment of the required notions of computability, representability and the like. This chapter will appear in the next edition
An Improved Subadditive Ergodic Theorem
Liggett, Thomas M.
1985-01-01
A new version of Kingman's subadditive ergodic theorem is presented, in which the subadditivity and stationarity assumptions are relaxed without weakening the conclusions. This result applies to a number of situations that were not covered by Kingman's original theorem. The proof involves a rather simple reduction to the additive case, where Birkhoff's ergodic theorem can be applied.
Abramovitz, Buma; Berezina, Miryam; Berman, Abraham; Shvartsman, Ludmila
2009-01-01
In this article we describe the process of studying the assumptions and the conclusion of a theorem. We tried to provide the students with exercises and problems where we discuss the following questions: What are the assumptions of a theorem and what are the conclusions? What is the geometrical meaning of a theorem? What happens when one or more…
Virial theorem and hypervirial theorem in a spherical geometry
Li Yan; Chen Jingling [Theoretical Physics Division, Chern Institute of Mathematics, Nankai University, Tianjin 300071 (China); Zhang Fulin, E-mail: flzhang@tju.edu.cn, E-mail: chenjl@nankai.edu.cn [Physics Department, School of Science, Tianjin University, Tianjin 300072 (China)
2011-09-09
The virial theorem in the one- and two-dimensional spherical geometry are presented in both classical and quantum mechanics. Choosing a special class of hypervirial operators, the quantum hypervirial relations in the spherical spaces are obtained. With the aid of the Hellmann-Feynman theorem, these relations can be used to formulate a perturbation theorem without wavefunctions, corresponding to the hypervirial-Hellmann-Feynman theorem perturbation theorem of Euclidean geometry. The one-dimensional harmonic oscillator and two-dimensional Coulomb system in the spherical spaces are given as two sample examples to illustrate the perturbation method. (paper)
Fixed points, intersection theorems, variational inequalities, and equilibrium theorems
Sehie Park
2000-07-01
Full Text Available From a fixed point theorem for compact acyclic maps defined on admissible convex sets in the sense of Klee, we first deduce collectively fixed point theorems, intersection theorems for sets with convex sections, and quasi-equilibrium theorems. These quasi-equilibrium theorems are applied to give simple and unified proofs of the known variational inequalities of the Hartman-Stampacchia-Browder type. Moreover, from our new fixed point theorem, we deduce new variational inequalities which can be used to obtain fixed point results for convex-valued maps. Finally, various general economic equilibrium theorems are deduced in the forms of the Nash type, the Tarafdar type, and the Yannelis-Prabhakar type. Our results are stated for not-necessarily locally convex topological vector spaces and for abstract economies with arbitrary number of commodities and agents. Our new results extend a lot of known works with much simpler proofs.
Noether's theorem relates symmetries and conservation laws of Hamiltonians systems. Arnol'd's theorem uses those integrals of motion for the construction of sufficient stability conditions of hydrodynamical problems, which are Hamiltonian with a singular Poisson bracket. Finally, Andrews' theorem imposes restriction on the existence of Arnol'd stable solutions of symmetric systems. It is shown that denial of Andrews'theorem implies the divergence of the velocity component normal to the symmetric coordinate. This proof by reductio ad absurdum may be used to determine the strength of the symmetry breaking elements, necessary to overcome the limitations imposed by this theorem (Author)
Rayleigh-Brillouin scattering of carbon dioxide
Gu, Ziyu; van de Water, Willem
2014-01-01
The spectral lineshape of spontaneous Rayleigh-Brillouin scattering in CO2 is studied in a range of pressures. The spectrum is influenced by the bulk viscosity, which is a relaxation phenomenon involving the internal degrees of freedom of the molecule. The associated relaxation rates can be compared to the frequency shift of the scattered light, which demands precise measurements of the spectral lineshape. We find the value of the bulk viscosity around 5.7 X 10^{-6} kg/(ms) for the range of pressures p= 2-4 bar and for conditions of room temperature.
Taylor, Marika
2016-01-01
The F theorem states that, for a unitary three dimensional quantum field theory, the F quantity defined in terms of the partition function on a three sphere is positive, stationary at fixed point and decreases monotonically along a renormalization group flow. We construct holographic renormalization group flows corresponding to relevant deformations of three-dimensional conformal field theories on spheres, working to quadratic order in the source. For these renormalization group flows, the F quantity at the IR fixed point is always less than F at the UV fixed point, but F increases along the RG flow for deformations by operators of dimension $3/2 < \\Delta < 5/2$. Therefore the strongest version of the F theorem is in general violated.
N V Rao
2003-02-01
The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose is a compact set in the complex plane and 0 belongs to the boundary . Let $\\mathcal{A}(K)$ denote the space of all functions on such that is holomorphic in a neighborhood of and (0) = 0. Also for any given positive integer , let $\\mathcal{A}(m, K)$ denote the space of all such that is holomorphic in a neighborhood of and $f(0) = f'(0) = \\cdots = f^{(m)}(0) = 0$. Then $\\mathcal{A}(m, K)$ is dense in $\\mathcal{A}(K)$ under the supremum norm on provided that there exists a sector $W = \\{re^{i}; 0 ≤ r ≤ , ≤ ≤ \\}$ such that $W \\cap K = \\{0\\}$. (This is the well-known Poincare's external cone condition).} We present various generalizations of this result in the context of higher dimensions replacing holomorphic with harmonic.
The electromagnetic Brillouin precursor in one-dimensional photonic crystals
Uitham, R.; Hoenders, B. J.
2008-01-01
We have calculated the electromagnetic Brillouin precursor that arises in a one-dimensional photonic crystal that consists of two homogeneous slabs which each have a single electron resonance. This forerunner is compared with the Brillouin precursor that arises in a homogeneous double-electron reson
Short-Pulse Amplification by Strongly-Coupled Brillouin Scattering
Edwards, Matthew R; Mikhailova, Julia M; Fisch, Nathaniel J
2016-01-01
We examine the feasibility of strongly-coupled stimulated Brillouin scattering as a mechanism for the plasma-based amplification of sub-picosecond pulses. In particular, we use fluid theory and particle-in-cell simulations to compare the relative advantages of Raman and Brillouin amplification over a broad range of achievable parameters.
Stephen A. Ross
2011-01-01
We can only estimate the distribution of stock returns but we observe the distribution of risk neutral state prices. Risk neutral state prices are the product of risk aversion - the pricing kernel - and the natural probability distribution. The Recovery Theorem enables us to separate these and to determine the market's forecast of returns and the market's risk aversion from state prices alone. Among other things, this allows us to determine the pricing kernel, the market risk premium, the pro...
Vela Velupillai, K.
2011-01-01
Takashi Negishi's remarkable youthful contribution to welfare economics, general equilibrium theory and, with the benefit of hindsight, also to one strand of computable general equilibrium theory, all within the span of six pages in one article, has become one of the modern classics of general equilibrium theory and mathematical economics. Negishi's celebrated theorem and what has been called Negishi's Method have formed one foundation for computable general equilibrium theory. In this paper ...
Coevolution. Extending Prigogine Theorem
Leon, Antonio
2006-01-01
The formal consideration of the concept of interaction in thermodynamic analysis makes it possible to deduce, in the broadest terms, new results related to the coevolution of interacting systems, irrespective of their distance from thermodynamic equilibrium. In this paper I prove the existence of privileged coevolution trajectories characterized by the minimum joint production of internal entropy, a conclusion that extends Prigogine theorem to systems evolving far from thermodynamic equilibri...
Bourgain's discretization theorem
Giladi, Ohad; Schechtman, Gideon
2011-01-01
Bourgain's discretization theorem asserts that there exists a universal constant $C\\in (0,\\infty)$ with the following property. Let $X,Y$ be Banach spaces with $\\dim X=n$. Fix $D\\in (1,\\infty)$ and set $\\d= e^{-n^{Cn}}$. Assume that $\\mathcal N$ is a $\\d$-net in the unit ball of $X$ and that $\\mathcal N$ admits a bi-Lipschitz embedding into $Y$ with distortion at most $D$. Then the entire space $X$ admits a bi-Lipschitz embedding into $Y$ with distortion at most $CD$. This mostly expository article is devoted to a detailed presentation of a proof of Bourgain's theorem. We also obtain an improvement of Bourgain's theorem in the important case when $Y=L_p$ for some $p\\in [1,\\infty)$: in this case it suffices to take $\\delta= C^{-1}n^{-5/2}$ for the same conclusion to hold true. The case $p=1$ of this improved discretization result has the following consequence. For arbitrarily large $n\\in \\N$ there exists a family $\\mathscr Y$ of $n$-point subsets of ${1,...,n}^2\\subseteq \\R^2$ such that if we write $|\\mathscr ...
Tailorable Stimulated Brillouin Scattering in Nanoscale Silicon Waveguides
Shin, Heedeuk; Jarecki, Robert; Cox, Jonathan A; Olsson, Roy H; Starbuck, Andrew; Wang, Zheng; Rakich, Peter T
2013-01-01
While nanoscale modal confinement radically enhances a variety of nonlinear light-matter interactions within silicon waveguides, traveling-wave stimulated Brillouin scattering nonlinearities have never been observed in silicon nanophotonics. Through a new class of hybrid photonic-phononic waveguides, we demonstrate tailorable traveling-wave forward stimulated Brillouin scattering in nanophotonic silicon waveguides for the first time, yielding 3000 times stronger forward SBS responses than any previous waveguide system. Simulations reveal that a coherent combination of electrostrictive forces and radiation pressures are responsible for greatly enhanced photon-phonon coupling at nano-scales. Highly tailorable Brillouin nonlinearities are produced by engineering the structure of a membrane-suspended waveguide to yield Brillouin resonances from 1 to 18 GHz through high quality-factor (>1000) phonon modes. Such wideband and tailorable stimulated Brillouin scattering in silicon photonics could enable practical real...
The Non-Signalling theorem in generalizations of Bell's theorem
Walleczek, Jan; Groessing, Gerhard
2014-01-01
Does "epistemic non-signalling" ensure the peaceful coexistence of special relativity and quantum nonlocality? The possibility of an affirmative answer is of great importance to deterministic approaches to quantum mechanics given recent developments towards generalizations of Bell's theorem. By generalizations of Bell's theorem we here mean efforts that seek to demonstrate the impossibility of any deterministic theories to obey the predictions of Bell's theorem, including even nonlocal hidden...
Arrow's Theorem in Judgement Aggregation
Franz Dietrich; Christian List
2005-01-01
In response to recent work on the aggregation of individual judgements on logically connected propositions into collective judgements, it is often asked whether judgement aggregation is a special case of Arrowian preference aggregation. We argue the opposite. After proving a general impossibility theorem, we construct an embedding of preference aggregation into judgement aggregation and prove Arrow's theorem as a corollary of our result. Although we provide a new proof of Arrow's theorem, our...
Perspectives on the CAP Theorem
Gilbert, Seth; Lynch, Nancy Ann
2012-01-01
Almost twelve years ago, in 2000, Eric Brewer introduced the idea that there is a fundamental trade-off between consistency, availability, and partition tolerance. This trade-off, which has become known as the CAP Theorem, has been widely discussed ever since. In this paper, we review the CAP Theorem and situate it within the broader context of distributed computing theory. We then discuss the practical implications of the CAP Theorem, and explore some general techniques for coping with the i...
A theorem in relativistic electronics
Yongjian, Yu
1990-04-01
This paper presents a theorem that connects the dispersion relation of the Electron Cyclotron Maser' and the oscillation equation of the Gyromonotron. This theorem gives us a simple way of obtaining the osscillating characteristics of the Gyromonotron provided that dispersion relation of the ECRM is given. Though the theorem is proved only with the case of ECRM and Gyromonotron, it holds for other kinds of Electron Masers, FEL4etc. and corresponding osscillators.
We in the nuclear power industry consider ourselves to be at the forefront of civilised progress. Yet, all too often, even we ourselves don't believe our public relations statements about nuclear power. Why is this? Let us approach the question by considering Godel's Theorem. Godel's Theorem is extremely complicated mathematically, but for our purposes can be simplified to the maxim that one cannot validate a system from within that system. Scientists, especially those in the fields of astronomy and nuclear physics, have long realised the implications of Godel's Theorem. The people to whom we must communicate look to us, who officially know everything about our industry, to comfort and reassure them. And we forget that we can only comfort them by addressing their emotional needs, not by demonstrating our chilling objectivity. Let us try something completely new in communication. Instead of looking for incremental rules which will help us marginally differentiate the way we communicate about minor or major incidents, let us leapfrog across 'objectivity' to meaning and relevance. If we truly believe that nuclear energy is a good thing, this leap should not be difficult. Finally, if we as communicators are not prepared to be meaningful and relevant - not prepared to leapfrog beyond weasel terms like 'minor incident' - what does that say about the kinds of people we believe the nuclear community to be? Are nuclear people a group apart, divisible from the rest of the human race by their evil? In fact the nuclear community is a living, laughing, normal part of a whole society; and is moreover a good contributor to the technological progress that society demands. When we ourselves recognise this, we will start to communicate nuclear issues in the same language as the rest of society. We will start to speak plainly and convincingly, and our conviction will leapfrog our audience into being able to believe us
Cobham's theorem for substitutions
Durand, Fabien
2010-01-01
The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\\alpha$ and $\\beta$ be two multiplicatively independent Perron numbers. Then, a sequence $x\\in A^\\mathbb{N}$, where $A$ is a finite alphabet, is both $\\alpha$-substitutive and $\\beta$-substitutive if and only if $x$ is ultimately periodic.
Fluctuation theorem in spintronics
Microscopic reversibility is a key in deriving the Onsager relation. It even leads a new exact relationship that would be valid far from equilibrium, called fluctuation theorem (FT). The FT provides a precise statement for the second law of thermodynamics; and remarkably, reproduces the linear response theory. We consider the FT in the spin-dependent transport and derive universal relations among nonlinear spin and charge transport coefficients. We apply the relations to a quantum dot embedded in a two-terminal Aharonov-Bohm interferometer and check that the relations are satisfied.
Reiher, Christian
2012-01-01
Tur\\'{a}n's theorem is a cornerstone of extremal graph theory. It asserts that for any integer $r \\geq 2$ every graph on $n$ vertices with more than ${\\tfrac{r-2}{2(r-1)}\\cdot n^2}$ edges contains a clique of size $r$, i.e., $r$ mutually adjacent vertices. The corresponding extremal graphs are balanced $(r-1)$-partite graphs. The question as to how many such $r$-cliques appear at least in any $n$-vertex graph with $\\gamma n^2$ edges has been intensively studied in the literature. In particula...
Abelian theorems for Whittaker transforms
Richard D. Carmichael
1987-01-01
Full Text Available Initial and final value Abelian theorems for the Whittaker transform of functions and of distributions are obtained. The Abelian theorems are obtained as the complex variable of the transform approaches 0 or ∞ in absolute value inside a wedge region in the right half plane.
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.…
Andreev's Theorem on hyperbolic polyhedra
Roeder, R K W; Dunbar, W D; Roeder, Roland K. W.; Hubbard, John H.; Dunbar, William D.
2004-01-01
In 1970, E. M. Andreev published a classification of all three-dimensional compact hyperbolic polyhedra having non-obtuse dihedral angles. Given a combinatorial description of a polyhedron, $C$, Andreev's Theorem provides five classes of linear inequalities, depending on $C$, for the dihedral angles, which are necessary and sufficient conditions for the existence of a hyperbolic polyhedron realizing $C$ with the assigned dihedral angles. Andreev's Theorem also shows that the resulting polyhedron is unique, up to hyperbolic isometry. Andreev's Theorem is both an interesting statement about the geometry of hyperbolic 3-dimensional space, as well as a fundamental tool used in the proof for Thurston's Hyperbolization Theorem for 3-dimensional Haken manifolds. It is also remarkable to what level the proof of Andreev's Theorem resembles (in a simpler way) the proof of Thurston. We correct a fundamental error in Andreev's proof of existence and also provide a readable new proof of the other parts of the proof of And...
Cascaded forward Brillouin scattering to all Stokes orders
Wolff, Christian; Eggleton, Benjamin J; Steel, Michael J; Poulton, Christopher G
2016-01-01
Inelastic scattering processes such as Brillouin scattering can often function in cascaded regimes and this is likely to occur in certain integrated opto-acoustic devices. We develop a Hamiltonian formalism for cascaded Brillouin scattering valid for both quantum and classical regimes. By regarding Brillouin scattering as the interaction of a single acoustic envelope and a single optical envelope that covers all Stokes and anti-Stokes orders, we obtain a compact model that is well suited for numerical implementation, extension to include other optical nonlinearities or short pulses, and application in the quantum-optics domain. We then theoretically analyze intra-mode forward Brillouin scattering (FBS) for arbitrary waveguides with and without optical dispersion. In the absence of optical dispersion, we find an exact analytical solution. With a perturbative approach, we furthermore solve the case of weak optical dispersion. Our work leads to several key results on intra-mode FBS. For negligible dispersion, we...
Stimulated Raman-Brillouin scattering processes in magnetoactive semiconductor plasma
A simple analytical treatment based on hydrodynamic model of plasma is developed to study both steady-state and transient stimulated Raman and Brillouin scattering processes (SRS and SBS) in centrosymmetric or weakly non centrosymmetric semiconductors. Gain constants, threshold-pump intensities, and optimum-pulse durations for the onset of Raman and Brillouin instabilities are estimated. Authors have also addressed themselves to the question of behaviour of the transient gain factors (Raman and Brillouin) as function of different physical parameters such as external magnetic field, pump pulse durations etc. The quantitative behaviour of transient gain factors is found to be in agreement with the experimental and other theoretical observations. The analysis explain satisfactorily the competition between stimulated Raman and Brillouin processes in the short and long pulse duration regimes. The highlight of present theory is that both SRS and SBS (steady-state as well as transient) can be studied in centrosymmetric or weakly non centrosymmetric dielectrics using simple classical treatment. (author)
Some Theorems on Generalized Basic Hypergeometric Series
A. D. Wadhwa
1972-07-01
Full Text Available In an earlier paper the author has established two theorems on generalized hypergeometric functions. In each theorem a numerator differs from a denominator by a positive integer. These theorems were further used to prove some theorems on the sums of Kampe de Feriet functions. Here, we have established the theorems which are the basic analogues of the theorems proved in the earlier paper.
Herbrand's Fundamental Theorem - an encyclopedia article
Wirth, Claus-Peter
2015-01-01
Herbrand's Fundamental Theorem provides a constructive characterization of derivability in first-order predicate logic by means of sentential logic. Sometimes it is simply called "Herbrand's Theorem", but the longer name is preferable as there are other important "Herbrand theorems" and Herbrand himself called it "Th\\'eor\\`eme fondamental". It was ranked by Bernays [1957] as follows: "In its proof-theoretic form, Herbrand's Theorem can be seen as the central theorem of predicate logic. It exp...
Combinatorial Reciprocity Theorems
Beck, Matthias
2012-01-01
A common theme of enumerative combinatorics is formed by counting functions that are polynomials evaluated at positive integers. In this expository paper, we focus on four families of such counting functions connected to hyperplane arrangements, lattice points in polyhedra, proper colorings of graphs, and $P$-partitions. We will see that in each instance we get interesting information out of a counting function when we evaluate it at a \\emph{negative} integer (and so, a priori the counting function does not make sense at this number). Our goals are to convey some of the charm these "alternative" evaluations of counting functions exhibit, and to weave a unifying thread through various combinatorial reciprocity theorems by looking at them through the lens of geometry, which will include some scenic detours through other combinatorial concepts.
Variable delay using stationary and localized Brillouin dynamic gratings
Antman, Yair; Primerov, Nikolay; Sancho Dura, Juan; Thévenaz, Luc; Zadok, Avinoam
2012-01-01
Reflections from movable, dynamic acoustic gratings in polarization maintaining (PM) fibers are employed in the long variable delay of periodic, isolated pulses. The gratings are introduced by stimulated Brillouin scattering (SBS) interaction between two counter-propagating pump waves, which are spectrally detuned by the Brillouin frequency shift of the PM fiber and are both polarized along one of its principal axes. The gratings are interrogated by the reflections of read-out signals that ar...
Tailorable stimulated Brillouin scattering in nanoscale silicon waveguides
Shin, Heedeuk; Qiu, Wenjun; Jarecki, Robert; Cox, Jonathan A.; Olsson, Roy H.; Starbuck, Andrew; Wang, Zheng; Rakich, Peter T.
2013-01-01
While nanoscale modal confinement radically enhances a variety of nonlinear light-matter interactions within silicon waveguides, traveling-wave stimulated Brillouin scattering nonlinearities have never been observed in silicon nanophotonics. Through a new class of hybrid photonic-phononic waveguides, we demonstrate tailorable traveling-wave forward stimulated Brillouin scattering in nanophotonic silicon waveguides for the first time, yielding 3000 times stronger forward SBS responses than any...
Tailorable stimulated Brillouin scattering in nanoscale silicon waveguides.
Shin, Heedeuk; Qiu, Wenjun; Jarecki, Robert; Cox, Jonathan A; Olsson, Roy H; Starbuck, Andrew; Wang, Zheng; Rakich, Peter T
2013-01-01
Nanoscale modal confinement is known to radically enhance the effect of intrinsic Kerr and Raman nonlinearities within nanophotonic silicon waveguides. By contrast, stimulated Brillouin-scattering nonlinearities, which involve coherent coupling between guided photon and phonon modes, are stifled in conventional nanophotonics, preventing the realization of a host of Brillouin-based signal-processing technologies in silicon. Here we demonstrate stimulated Brillouin scattering in silicon waveguides, for the first time, through a new class of hybrid photonic-phononic waveguides. Tailorable travelling-wave forward-stimulated Brillouin scattering is realized-with over 1,000 times larger nonlinearity than reported in previous systems-yielding strong Brillouin coupling to phonons from 1 to 18 GHz. Experiments show that radiation pressures, produced by subwavelength modal confinement, yield enhancement of Brillouin nonlinearity beyond those of material nonlinearity alone. In addition, such enhanced and wideband coherent phonon emission paves the way towards the hybridization of silicon photonics, microelectromechanical systems and CMOS signal-processing technologies on chip. PMID:23739586
Complex integration and Cauchy's theorem
Watson, GN
2012-01-01
This brief monograph by one of the great mathematicians of the early twentieth century offers a single-volume compilation of propositions employed in proofs of Cauchy's theorem. Developing an arithmetical basis that avoids geometrical intuitions, Watson also provides a brief account of the various applications of the theorem to the evaluation of definite integrals.Author G. N. Watson begins by reviewing various propositions of Poincaré's Analysis Situs, upon which proof of the theorem's most general form depends. Subsequent chapters examine the calculus of residues, calculus optimization, the
-Dimensional Fractional Lagrange's Inversion Theorem
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.
Cascaded Brillouin lasing in monolithic barium fluoride whispering gallery mode resonators
We report the observation of stimulated Brillouin scattering and lasing at 1550 nm in barium fluoride (BaF2) crystal. Brillouin lasing was achieved with ultra-high quality (Q) factor monolithic whispering gallery mode mm-size disk resonators. Overmoded resonators were specifically used to provide cavity resonances for both the pump and all Brillouin Stokes waves. Single and multiple Brillouin Stokes radiations with frequency shift ranging from 8.2 GHz up to 49 GHz have been generated through cascaded Brillouin lasing. BaF2 resonator-based Brillouin lasing can find potential applications for high-coherence lasers and microwave photonics
Cascaded Brillouin lasing in monolithic barium fluoride whispering gallery mode resonators
Lin, Guoping; Saleh, Khaldoun; Martinenghi, Romain; Beugnot, Jean-Charles; Sylvestre, Thibaut; Chembo, Yanne K
2015-01-01
We report the observation of stimulated Brillouin scattering and lasing at 1550~nm in barium fluoride (BaF$_2$) crystal. Brillouin lasing was achieved with ultra-high quality ($Q$) factor monolithic whispering gallery mode (WGM) mm-size disk resonators. Overmoded resonators were specifically used to provide cavity resonances for both the pump and all Brillouin Stokes waves. Single and multiple Brillouin Stokes radiations with frequency shift ranging from $8.2$ GHz up to $49$ GHz have been generated through cascaded Brillouin lasing. BaF$_2$ resonator-based Brillouin lasing can find potential applications for high-coherence lasers and microwave photonics.
Brillouin spectroscopy on doped SmS
SmS becomes intermediate valent at an applied pressure of about 6.5 kbar. On the other hand, SmS doped with La or Tm is already intermediate valent at normal pressure and room temperature. The doping atoms (depending on their concentration) create new occupied states in the SmS gap which lead to the typical hybridised 4fi/4fi-1-5d1-states. The La-cation is always trivalent in LaS, whereas the Tm-cation has a valence between 2 and 3. Therefore, we expect to see a difference in the intermediate valent behaviour. A strong evidence of intermediate valence is a negative C12 and a negative Poisson's ratio. Using high-resolution Brillouin-spectroscopy we measured the phase velocity of the surface acoustic waves in the (100)-plane of Sm1-xLaxS and Sm1-xTmxS. Applying a standard fit-algorithm we calculated all three elastic constants (C11, C12 and C44) from the angular dispersion relation. To get more reliable results the compression-moduli also have been determined and linked to the elastic constants C11 and C12 in the fit model. (orig.)
Nonstationary stimulated Brillouin scattering in laser plasma
Stimulated Brillouin scattering (SBS) is a known phenomenon observed in many laser plasma experiments. In spite of enormous amount of experimental and theoretical works there are some properties of SBS that have no ambiguous interpretation yet. Here we try to explain some characteristic features of SBS taking place in the high intensity laser plasma interaction. Here we compare numerical results with experimental data obtained with use of CO2 laser facility TIR-1. Experiments have been performed under the next parameters of the laser system: energy of up to 100 J, pulse length (FWHM) of 3 ns, contrast ratio larger than 107, wavelength of 10.591 mkm. The NaCl aspherical lens was used to focus the laser beam on the plane massive target. Intensity distribution in the focal plate had near Gaussian distribution with diameter (1/e) of 65 mkm, maximum intensity being 5.*1014 W/cm2. One of the most characteristic features of SBS in these experiments is its nonstationarity. (author) 4 refs., 3 figs
Opechowski's theorem and commutator groups
It is shown that the conditions of application of Opechowski's theorem for double groups of subgroups of O(3) are directly associated to the structure of their commutator groups. Some characteristics of the structure of classes are also discussed. (Author)
KAM Theorem and Renormalization Group
E. Simone; Kupiainen, A.
2007-01-01
We give an elementary proof of the analytic KAM theorem by reducing it to a Picard iteration of a PDE with quadratic nonlinearity, the so called Polchinski renormalization group equation studied in quantum field theory.
The Kramer sampling theorem revisited
García García, Antonio; Hernandez Medina, Miguel Angel; Muñoz Bouto, María José
2013-01-01
The classical Kramer sampling theorem provides a method for obtaining orthogonal sampling formulas. Besides, it has been the cornerstone for a significant mathematical literature on the topic of sampling theorems associated with differential and difference problems. In this work we provide, in an unified way, new and old generalizations of this result corresponding to various different settings; all these generalizations are illustrated with examples. All the different situations along the pa...
Complex extension of Wigner's theorem
Brody, Dorje C
2013-01-01
Wigner's theorem asserts that an isometric (probability conserving) transformation on a quantum state space must be generated by a Hamiltonian that is Hermitian. It is shown that when the Hermiticity condition on the Hamiltonian is relaxed, we obtain the following complex generalisation of Wigner's theorem: a holomorphically projective (complex geodesic-curves preserving) transformation on a quantum state space must be generated by a Hamiltonian that is not necessarily Hermitian.
Kazhdan's Theorem on Arithmetic Varieties
Milne, J S
2001-01-01
Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again arithmetic. This article simplifies Kazhdan's proof. In particular, it avoids recourse to the classification theorems. It was originally completed on March 28, 1984, and distribu...
Noether theorems and higher derivatives
Townsend, Paul K.
2016-01-01
A simple proof of Noether's first theorem involves the promotion of a constant symmetry parameter $\\epsilon$ to an arbitrary function of time, the Noether charge $Q$ is then the coefficient of $\\dot\\epsilon$ in the variation of the action. Here we examine the validity of this proof for Lagrangian mechanics with arbitrarily-high time derivatives, in which context "higher-level" analogs of Noether's theorem can be similarly proved, and "Noetherian charges" read off from, e.g. the coefficient of...
Acceptable Complexity Measures of Theorems
Grenet, Bruno
2009-01-01
In 1931, G\\"odel presented in K\\"onigsberg his famous Incompleteness Theorem, stating that some true mathematical statements are unprovable. Yet, this result gives us no idea about those independent (that is, true and unprovable) statements, about their frequency, the reason they are unprovable, and so on. Calude and J\\"urgensen proved in 2005 Chaitin's "heuristic principle" for an appropriate measure: the theorems of a finitely-specified theory cannot be significantly more complex than the t...
Goedel's Incompleteness Theorems hold vacuously
Anand, Bhupinder Singh
2002-01-01
In an earlier paper, "Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem" (math/0206302), I argued that a constructive interpretation of Goedel's reasoning establishes any formal system of Arithmetic as omega-inconsistent. It follows from this that Goedel's Theorem VI holds vacuously. In this paper I show that Goedel's Theorem XI essentially states that, if we assume there is a P-formula [Con(P)] whose standard interpretation is equivalent to the a...
Local virial and tensor theorems.
Cohen, Leon
2011-11-17
We show that for any wave function and potential the local virial theorem can always be satisfied 2K(r) = r·ΔV by choosing a particular expression for the local kinetic energy. In addition, we show that for each choice of local kinetic energy there are an infinite number of quasi-probability distributions which will generate the same expression. We also consider the local tensor virial theorem. PMID:21863837
The Heisenberg Uncertainty Principle and the Nyquist-Shannon Sampling Theorem
Millette P. A.
2013-07-01
Full Text Available The derivation of the Heisenberg Uncertainty Principle (HUP from the Uncertainty Theorem of Fourier Transform theory demonstrates that the HUP arises from the dependency of momentum on a wave number that exists at the quantum level. It also establishes that the HUP is purely a relationship between the eﬀective widths of Fourier transform pairs of variables (i.e. conjugate variables. We note that the HUP is not a quantum mechanical measurement principle per se. We introduce the Quantum Mechanical equivalent of the Nyquist-Shannon Sampling Theorem of Fourier Transform theory, and show that it is a better principle to describe the measurement limitations of Quantum Mechanics. We show that Brillouin zones in Solid State Physics are a manifestation of the Nyquist-Shannon Sampling Theorem at the quantum level. By comparison with other ﬁelds where Fourier Transform theory is used, we propose that we need todiscern between measurement limitations and inherent limitations when interpreting the impact of the HUP on the nature of the quantum level. We further propose that while measurement limitations result in our perception of indeterminism at the quantum level, there is no evidence that there are any inherent limitations at the quantum level, based on the Nyquist-Shannon Sampling Theorem
Photonic-phononic orbital angular momentum in Brillouin parametric conversion
Zhu, Zhihan; Mu, Chunyuan; Li, Hongwei
2014-01-01
Orbital angular momentum (OAM) is a fundamental photonic degree of freedom, showed by Allen and co-workers. Its most attractive feature is an inherently infinite dimensionality, which in recent years has obtained several ground-breaking demonstrations for high information-density communication and processing, both in classical and quantum. Here, by seeking the reason for photonic OAM non-conservation in stimulated Brillouin amplification, we report the first demonstration of the evolution law for OAM in Brillouin process. The parameter of OAM can conveniently transfer between the phonons and different polarized photons due to the photonic spin angular momentum conservation. Our results have revealed a parametric conversion mechanism of Brillouin process for Photonic-phononic OAM, demonstrated the role of phononic OAM and the vortex acoustic wave in this process, and suggested this mechanism may find important applications in OAM-based information communication and processing.
Brillouin filtering of optical combs for narrow linewidth frequency synthesis
Galindo-Santos, Juan; Velasco, Aitor V.; Carrasco-Sanz, Ana; Corredera, Pedro
2016-05-01
We report a tunable monochromatic source generation scheme, based on Brillouin filtering of a self-referenced optical frequency comb. The system benefits from the high stability and mode linewidth of the frequency comb, significantly improving the performance of the original laser source used as Brillouin pump. A synthesized frequency with stability under 4×10-11 and a linewidth under 75 kHz was experimentally demonstrated for two separate pump lasers in the C-band. The proposed monochromatic source can be tuned with high precision in a very broad band by combining a coarse control with the pumping source and a fine control with the optical frequency comb references. In our experimental setup, coarse and fine tuning resolutions were 4 MHz and 20 Hz, respectively. Influence of Brillouin pump fluctuations in the synthesized signal stability were also analyzed for observation times up to 104 s.
A new configuration of multi-wavelength Brillouin fiber laser
A multi-wavelength laser is demonstrated using stimulated Brillouin scattering in a single-mode fiber with a feedback loop using two couplers and an optical circulator. This Brillouin fiber laser can operate at any wavelength depending on the Brillouin pump (BP) wavelength used. With a BP of 14 dBm, approximately 8 to 10 BFL lines are obtained in both forward and backward directions respectively with a line spacing of 0.16 nm. The use of the 99/1 coupler and 50/50 coupler gives the highest power and number of lines for the forward and backward outputs respectively. The maximum Stokes power obtained is approximately 8.0 dBm. The anti-Stokes lines are also obtained due to four wave mixing and bidirectional operation. The combination of forward and backward output can generate a larger number of lines with channel spacing of 0.08 nm
Cascaded Brillouin lasing in monolithic barium fluoride whispering gallery mode resonators
Lin, Guoping; Diallo, Souleymane; Saleh, Khaldoun; Martinenghi, Romain; Beugnot, Jean-Charles; Sylvestre, Thibaut; Chembo, Yanne K.
2015-01-01
We report the observation of stimulated Brillouin scattering and lasing at 1550~nm in barium fluoride (BaF$_2$) crystal. Brillouin lasing was achieved with ultra-high quality ($Q$) factor monolithic whispering gallery mode (WGM) mm-size disk resonators. Overmoded resonators were specifically used to provide cavity resonances for both the pump and all Brillouin Stokes waves. Single and multiple Brillouin Stokes radiations with frequency shift ranging from $8.2$ GHz up to $49$ GHz have been gen...
Recent Progress in Brillouin Scattering Based Fiber Sensors
Liang Chen
2011-04-01
Full Text Available Brillouin scattering in optical fiber describes the interaction of an electro-magnetic field (photon with a characteristic density variation of the fiber. When the electric field amplitude of an optical beam (so-called pump wave, and another wave is introduced at the downshifted Brillouin frequency (namely Stokes wave, the beating between the pump and Stokes waves creates a modified density change via the electrostriction effect, resulting in so-called the stimulated Brillouin scattering. The density variation is associated with a mechanical acoustic wave; and it may be affected by local temperature, strain, and vibration which induce changes in the fiber effective refractive index and sound velocity. Through the measurement of the static or dynamic changes in Brillouin frequency along the fiber one can realize a distributed fiber sensor for local temperature, strain and vibration over tens or hundreds of kilometers. This paper reviews the progress on improving sensing performance parameters like spatial resolution, sensing length limitation and simultaneous temperature and strain measurement. These kinds of sensors can be used in civil structural monitoring of pipelines, bridges, dams, and railroads for disaster prevention. Analogous to the static Bragg grating, one can write a moving Brillouin grating in fibers, with the lifetime of the acoustic wave. The length of the Brillouin grating can be controlled by the writing pulses at any position in fibers. Such gratings can be used to measure changes in birefringence, which is an important parameter in fiber communications. Applications for this kind of sensor can be found in aerospace, material processing and fine structures.
Multibeam seeded brillouin sidescatter in inertial confinement fusion experiments.
Turnbull, D; Michel, P; Ralph, J E; Divol, L; Ross, J S; Berzak Hopkins, L F; Kritcher, A L; Hinkel, D E; Moody, J D
2015-03-27
We present the first observations of multibeam weakly seeded Brillouin sidescatter in indirect-drive inertial confinement fusion (ICF) experiments. Two seeding mechanisms have been identified and quantified: specular reflections ("glint") from opposite hemisphere beams, and Brillouin backscatter from neighboring beams with a different angle of incidence. Seeded sidescatter can dominate the overall coupling losses, so understanding this process is crucial for proper accounting of energy deposition and drive symmetry. Glint-seeded scattered light could also be used to probe hydrodynamic conditions inside ICF targets. PMID:25860748
Brillouin amplification and processing of the Rayleigh scattered signal.
Mermelstein, David; Shacham, Eliashiv; Biton, Moran; Sternklar, Shmuel
2015-07-15
Brillouin amplification of Rayleigh scattering is demonstrated using two different configurations. In the first technique, the Rayleigh scattering and amplification occurs simultaneously in the same fiber. In the second technique, the amplification takes place in a second fiber. The differences between the two techniques are delineated. Using the second technique, we demonstrate single-sideband off-resonant Brillouin amplification of the Rayleigh signal. This technique is shown to enhance the SNR of a signal that is due to vibration-induced strain on the fiber. PMID:26176464
Alternative implementation of simplified Brillouin optical correlation-domain reflectometry
Hayashi, Neisei; Nakamura, Kentaro
2014-01-01
We developed an alternative configuration of simplified Brillouin optical correlation-domain reflectometry, which can overcome the drawbacks of the original configuration. This system uses, as reference light, the light that is Fresnel reflected at a partial reflection point artificially produced near an optical circulator. We show that the influence of the 0th correlation peak fixed at the partial reflection point can be suppressed by replacing the nearby fibers with other fibers having different Brillouin frequency shift values (here, multi-mode fibers are used). Finally, we demonstrate a distributed measurement for detecting a 1.46-m-long strained section with a high signal-to-noise ratio.
Soft theorems from anomalous symmetries
Huang, Yu-tin
2015-01-01
We discuss constraints imposed by soft limits for effective field theories arising from symmetry breaking. In particular, we consider those associated with anomalous conformal symmetry as well as duality symmetries in supergravity. We verify these soft theorems for the dilaton effective action relevant for the a-theorem, as well as the one-loop effective action for N=4 supergravity. Using the universality of leading transcendental coefficients in the alpha' expansion of string theory amplitudes, we study the matrix elements of operator R^4 with half maximal supersymmetry. We construct the non-linear completion of R^4 that satisfies both single and double soft theorems up to seven points. This supports the existence of duality invariant completion of R^4.
Fluctuation theorems for quantum processes
Albash, Tameem; Marvian, Milad; Zanardi, Paolo
2013-01-01
We present fluctuation theorems and moment generating function equalities for generalized thermodynamic observables and quantum dynamics described by completely positive trace preserving (CPTP) maps, with and without feedback control. Our results include the quantum Jarzynski equality and Crooks fluctuation theorem, and clarify the special role played by the thermodynamic work and thermal equilibrium states in previous studies. We show that unitality replaces micro-reversibility as the condition for the physicality of the reverse process in our fluctuation theorems. We present an experimental application of our theory to the problem of extracting the system-bath coupling magnitude, which we do for a system of pairs of coupled superconducting flux qubits undergoing quantum annealing.
Nonperturbative Adler-Bardeen theorem
The Adler-Bardeen theorem has been proven only as a statement valid at all orders in perturbation theory, without any control on the convergence of the series. In this paper we prove a nonperturbative version of the Adler-Bardeen theorem in d=2 by using recently developed technical tools in the theory of Grassmann integration. The proof is based on the assumption that the boson propagator decays fast enough for large momenta. If the boson propagator does not decay, as for Thirring contact interactions, the anomaly in the WI (Ward Identities) is renormalized by higher order contributions
Two extensions of Ramsey's theorem
Conlon, David; Fox, Jacob; Sudakov, Benny
2011-01-01
Ramsey’s theorem, in the version of Erdős and Szekeres, states that every $2$ -coloring of the edges of the complete graph on $\\{1,2,\\ldots,n\\}$ contains a monochromatic clique of order $({1}/{2})\\log n$ . In this article, we consider two well-studied extensions of Ramsey’s theorem. Improving a result of Rödl, we show that there is a constant $c\\gt 0$ such that every $2$ -coloring of the edges of the complete graph on $\\{2,3,\\ldots,n\\}$ contains a monochromatic clique $S$ for which the sum of...
Noether theorems and higher derivatives
Townsend, Paul K
2016-01-01
A simple proof of Noether's first theorem involves the promotion of a constant symmetry parameter $\\epsilon$ to an arbitrary function of time; the Noether charge $Q$ is then the coefficient of $\\dot\\epsilon$ in the variation of the action. Here we examine the validity of this proof for Lagrangian mechanics with arbitrarily-high time derivatives, in which context "higher-level" analogs of Noether's theorem can be similarly proved, and "Noetherian charges" read off from, e.g. the coefficient of $\\ddot \\epsilon$ in the variation of the action. While $Q=0$ implies a restricted gauge invariance, an unrestricted gauge invariance requires zero Noetherian charges too. Some illustrative examples are considered.
Relativistic Brillouin flow in the high ν/γ diode
Relativistic Brillouin solutions have been derived for electron flow in crossed electric and magnetic fields. The application of these solutions to the high ν/γ diode is discussed and an approximate analytical expression for the anode current is derived. Measurements of diode current are compared to the theoretical and empirical expressions for diode current which have been developed
Nonlinear stimulated Brillouin scattering based photonic signal processors
Minasian, Robert A. [School of Electrical and Information Engineering, Institute of Photonics and Optical Science, University of Sydney, NSW, Sydney, 2006 (Australia)
2014-10-06
Recent new methods in photonic signal processing based on stimulated Brillouin scattering, that enable the realization of photonic mixers with high conversion efficiency, ultra-wide continuously tunable high-resolution microwave photonic filters and programmable switchable microwave photonic tunable filters, are presented. These processors provide new capabilities for the realisation of high-performance and high-resolution signal processing.
Nonlinear stimulated Brillouin scattering based photonic signal processors
Recent new methods in photonic signal processing based on stimulated Brillouin scattering, that enable the realization of photonic mixers with high conversion efficiency, ultra-wide continuously tunable high-resolution microwave photonic filters and programmable switchable microwave photonic tunable filters, are presented. These processors provide new capabilities for the realisation of high-performance and high-resolution signal processing
Yin Chen
2004-01-01
Full Text Available We extend the Putnam-Fuglede theorem and the second-degree Putnam-Fuglede theorem to the nonnormal operators and to an elementary operator under perturbation by quasinilpotents. Some asymptotic results are also given.
Angle Defect and Descartes' Theorem
Scott, Paul
2006-01-01
Rene Descartes lived from 1596 to 1650. His contributions to geometry are still remembered today in the terminology "Descartes' plane". This paper discusses a simple theorem of Descartes, which enables students to easily determine the number of vertices of almost every polyhedron. (Contains 1 table and 2 figures.)
Kruglikov, Boris
2011-01-01
We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of polynomial-rational differential invariants and invariant derivations.
Birkhoff Theorems in General Relativity
Torre, Charles G.
2014-01-01
In the following Maple worksheet I demonstrate three versions of Birkhoff's theorem, which is a characterization of spherically symmetric solutions of the Einstein equations. The three versions considered here correspond to taking the "Einstein equations" to be: (1) the vacuum Einstein equations; (2) the Einstein equations with a cosmological constant (3) the Einstein-Maxwell equations.
Microwave electronics Slater's perturbation theorem
Slater's perturbation theorem is one of the most useful for both experiments and theories of microwave electronics. In particular, this is applied to measurements of the field strengths in standing-wave systems. Since a traveling wave can be represented by a linear combination of two standing waves, the field measurement is also possible in a traveling-wave system. The theorem tells us the amount of the shift in a resonant frequency arising from a metallic body. Since the amount is dependent upon the square of the electric and magnetic field strengths at the metallic body, one can obtain the field strengths at the metallic body from the measured frequency shift. First the theorem is derived in Sec. 2. We then discuss the implications of the theorem by deriving it intuitively in Sec. 3. The perturbation of the field due to a metallic body is described in Sec. 4, where the frequency shift is actually related to the field strengths. In Sec. 5, we describe how to determine the impedance by using the data thus measured. Examples of field measurement are shown in Sec. 6 together with the impedance measurement. (author)
JACKSON'S THEOREM FOR COMPACT GROUPS
H. Vaezi; S. F. Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by(Sh.f)(g) = ∫Gf (tut-1g)dton compact group G and by help of this operator we define "Spherical" modulus of continuity. So we proveStechkin and Jackson type theorems.
Illustrating the Central Limit Theorem
Corcoran, Mimi
2016-01-01
Statistics is enjoying some well-deserved limelight across mathematics curricula of late. Some statistical concepts, however, are not especially intuitive, and students struggle to comprehend and apply them. As an AP Statistics teacher, the author appreciates the central limit theorem as a foundational concept that plays a crucial role in…
Discovering the Inscribed Angle Theorem
Roscoe, Matt B.
2012-01-01
Learning to play tennis is difficult. It takes practice, but it also helps to have a coach--someone who gives tips and pointers but allows the freedom to play the game on one's own. Learning to act like a mathematician is a similar process. Students report that the process of proving the inscribed angle theorem is challenging and, at times,…
Almost Subadditive Extensions of Kingman's Ergodic Theorem
Schurger, Klaus
1991-01-01
Based on two notions of almost subadditivity which were introduced by Derriennic and Schurger, two a.s. limit theorems are proved which both generalize Kingman's subadditive ergodic theorem. These results, being valid under weak moment conditions, are obtained by short proofs. One of these proofs is completely elementary and does not even make use of Birkhoff's ergodic theorem which, instead, is obtained as a by-product. Finally, an improvement of Liggett's a.s. limit theorem is given.
On Brayton and Moser's missing stability theorem
Jeltsema, D.; Scherpen, J. M. A.
2005-01-01
In the early 1960s, Brayton and Moser proved three theorems concerning the stability of nonlinear electrical circuits. The applicability of each theorem depends on three different conditions on the type of admissible nonlinearities in circuit. Roughly speaking, this means that the theorems apply to
Pythagorean Theorem Proofs: Connecting Interactive Websites
Lin, Cheng-Yao
2007-01-01
There are over 400 proofs of the Pythagorean Theorem. Some are visual proofs, others are algebraic. This paper features several proofs of the Pythagorean Theorem in different cultures--Greek, Chinese, Hindu and American. Several interactive websites are introduced to explore ways to prove this beautiful theorem. (Contains 8 figures.)
An Algebraic Identity Leading to Wilson Theorem
Ruiz, Sebastian Martin
2004-01-01
In most text books on number theory Wilson Theorem is proved by applying Lagrange theorem concerning polynomial congruences.Hardy and Wright also give a proof using cuadratic residues. In this article Wilson theorem is derived as a corollary to an algebraic identity.
A generalized no-broadcasting theorem
Barnum, H.; Barrett, J; Leifer, M.; Wilce, A.
2007-01-01
We prove a generalized version of the no-broadcasting theorem, applicable to essentially \\emph{any} nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with ``super-quantum'' correlations. A strengthened version of the quantum no-broadcasting theorem follows, and its proof is significantly simpler than existing proofs of the no-broadcasting theorem.
Tight closure and vanishing theorems
Tight closure has become a thriving branch of commutative algebra since it was first introduced by Mel Hochster and Craig Huneke in 1986. Over the past few years, it has become increasingly clear that tight closure has deep connections with complex algebraic geometry as well, especially with those areas of algebraic geometry where vanishing theorems play a starring role. The purpose of these lectures is to introduce tight closure and to explain some of these connections with algebraic geometry. Tight closure is basically a technique for harnessing the power of the Frobenius map. The use of the Frobenius map to prove theorems about complex algebraic varieties is a familiar technique in algebraic geometry, so it should perhaps come as no surprise that tight closure is applicable to algebraic geometry. On the other hand, it seems that so far we are only seeing the tip of a large and very beautiful iceberg in terms of tight closure's interpretation and applications to algebraic geometry. Interestingly, although tight closure is a 'characteristic p' tool, many of the problems where tight closure has proved useful have also yielded to analytic (L2) techniques. Despite some striking parallels, there had been no specific result directly linking tight closure and L∼ techniques. Recently, however, the equivalence of an ideal central to the theory of tight closure was shown to be equivalent to a certain 'multiplier ideal' first defined using L2 methods. Presumably, deeper connections will continue to emerge. There are two main types of problems for which tight closure has been helpful: in identifying nice structure and in establishing uniform behavior. The original algebraic applications of tight closure include, for example, a quick proof of the Hochster-Roberts theorem on the Cohen-Macaulayness of rings of invariants, and also a refined version of the Brianqon-Skoda theorem on the uniform behaviour of integral closures of powers of ideals. More recent, geometric
The Classical Version of Stokes' Theorem Revisited
Markvorsen, Steen
2005-01-01
of the vector field in a tubular shell around the given surface. The intuitive appeal of the divergence theorem is thus applied to bootstrap a corresponding intuition for Stokes' theorem. The two stated classical theorems are (like the fundamental theorem of calculus) nothing but shadows of the......Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we prove that the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...... general version of Stokes' theorem for differential forms on manifolds. The main points in the present paper, however, is firstly that this latter fact usually does not get within reach for students in first year calculus courses and secondly that calculus textbooks in general only just hint at the...
The relativistic virial theorem and scale invariance
Gaite, Jose
2013-01-01
The virial theorem is related to the dilatation properties of bound states. This is realized, in particular, by the Landau-Lifshitz formulation of the relativistic virial theorem, in terms of the trace of the energy-momentum tensor. We construct a Hamiltonian formulation of dilatations in which the relativistic virial theorem naturally arises as the condition of stability against dilatations. A bound state becomes scale invariant in the ultrarelativistic limit, in which its energy vanishes. However, for very relativistic bound states, scale invariance is broken by quantum effects and the virial theorem must include the energy-momentum tensor trace anomaly. This quantum field theory virial theorem is directly related to the Callan-Symanzik equations. The virial theorem is applied to QED and then to QCD, focusing on the bag model of hadrons. In massless QCD, according to the virial theorem, 3/4 of a hadron mass corresponds to quarks and gluons and 1/4 to the trace anomaly.
Navier Stokes Theorem in Hydrology
Narayanan, M.
2005-12-01
In a paper presented at the 2004 AGU International Conference, the author outlined and stressed the importance of studying and teaching certain important mathematical techniques while developing a course in Hydrology and Fluid Mechanics. The Navier-Stokes equations are the foundation of fluid mechanics, and Stokes' theorem is used in nearly every branch of mechanics as well as electromagnetics. Stokes' Theorem also plays a vital role in many secondary theorems such as those pertaining to vorticity and circulation. Mathematically expressed, Stokes' theorem can be expressed by considering a surface S having a bounding curve C. Here, V is any sufficiently smooth vector field defined on the surface and its bounding curve C. In an article entitled "Corrections to Fluid Dynamics" R. F. Streater, (Open Systems and Information Dynamics, 10, 3-30, 2003.) proposes a kinetic model of a fluid in which five macroscopic fields, the mass, energy, and three components of momentum, are conserved. The dynamics is constructed using the methods of statistical dynamics, and results in a non-linear discrete-time Markov chain for random fields on a lattice. In the continuum limit he obtains a non-linear coupled parabolic system of field equations, showing a correction to the Navier-Stokes equations. In 2001, David Hoff published an article in Journees Equations aux derivees partielles. (Art. No. 7, 9 p.). His paper is entitled : Dynamics of Singularity Surfaces for Compressible Navier-Stokes Flows in Two Space Dimensions. In his paper, David Hoff proves the global existence of solutions of the Navier-Stokes equations of compressible, barotropic flow in two space dimensions with piecewise smooth initial data. These solutions remain piecewise smooth for all time, retaining simple jump discontinuities in the density and in the divergence of the velocity across a smooth curve, which is convected with the flow. The strengths of these discontinuities are shown to decay exponentially in time
A Randomized Central Limit Theorem
Eliazar, Iddo; Klafter, Joseph
2010-05-01
The Central Limit Theorem (CLT), one of the most elemental pillars of Probability Theory and Statistical Physics, asserts that: the universal probability law of large aggregates of independent and identically distributed random summands with zero mean and finite variance, scaled by the square root of the aggregate-size (√{n}), is Gaussian. The scaling scheme of the CLT is deterministic and uniform - scaling all aggregate-summands by the common and deterministic factor √{n}. This Letter considers scaling schemes which are stochastic and non-uniform, and presents a "Randomized Central Limit Theorem" (RCLT): we establish a class of random scaling schemes which yields universal probability laws of large aggregates of independent and identically distributed random summands. The RCLT universal probability laws, in turn, are the one-sided and the symmetric Lévy laws.
A Randomized Central Limit Theorem
The Central Limit Theorem (CLT), one of the most elemental pillars of Probability Theory and Statistical Physics, asserts that: the universal probability law of large aggregates of independent and identically distributed random summands with zero mean and finite variance, scaled by the square root of the aggregate-size (√(n)), is Gaussian. The scaling scheme of the CLT is deterministic and uniform - scaling all aggregate-summands by the common and deterministic factor √(n). This Letter considers scaling schemes which are stochastic and non-uniform, and presents a 'Randomized Central Limit Theorem' (RCLT): we establish a class of random scaling schemes which yields universal probability laws of large aggregates of independent and identically distributed random summands. The RCLT universal probability laws, in turn, are the one-sided and the symmetric Levy laws.
Bell's theorem, accountability and nonlocality
Bell's theorem is a fundamental theorem in physics concerning the incompatibility between some correlations predicted by quantum theory and a large class of physical theories. In this paper, we introduce the hypothesis of accountability, which demands that it is possible to explain the correlations of the data collected in many runs of a Bell experiment in terms of what happens in each single run. Under this assumption, and making use of a recent result by Colbeck and Renner (2011 Nature Commun. 2 411), we then show that any nontrivial account of these correlations in the form of an extension of quantum theory must violate parameter independence. Moreover, we analyze the violation of outcome independence of quantum mechanics and show that it is also a manifestation of nonlocality. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell's theorem’. (paper)
Lectures on Fermat's last theorem
The report presents the main ideas involved in the approach towards the so-called Fermat's last theorem (FLT). The discussion leads to the point where recent work of A. Wiles starts and his work is not discussed. After a short history of the FLT and of the present approach, are discussed the elliptic curves and the modular forms with their relations, the Taniyama-Shimura-Well conjecture and the FLT
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...
Dynamic Newton-Puiseux Theorem
Mannaa, Bassel; Coquand, Thierry
2013-01-01
A constructive version of Newton-Puiseux theorem for computing the Puiseux expansions of algebraic curves is presented. The proof is based on a classical proof by Abhyankar. Algebraic numbers are evaluated dynamically; hence the base field need not be algebraically closed and a factorization algorithm of polynomials over the base field is not needed. The extensions obtained are a type of regular algebras over the base field and the expansions are given as formal power series over these algebras.
Khesin, B.; Rosly, A.; Thomas, R. P.
2003-01-01
We prove an analogue of the de Rham theorem for polar homology; that the polar homology $HP_q(X)$ of a smooth projective variety $X$ is isomorphic to its $H^{n,n-q}$ Dolbeault cohomology group. This analogue can be regarded as a geometric complexification where arbitrary (sub)manifolds are replaced by complex (sub)manifolds and de Rham's operator $d$ is replaced by Dolbeault's $\\bar\\partial$.
Hawking's area theorem can be understood from a quasi-stationary process in which a black hole accretes positive energy matter, independent of the details of the gravity action. I use this process to study the dynamics of the inner as well as the outer horizons for various black holes which include the recently discovered exotic black holes and three-dimensional black holes in higher derivative gravities as well as the usual BTZ black hole and the Kerr black hole in four dimensions. I find that the area for the inner horizon 'can decrease', rather than increase, with the quasi-stationary process. However, I find that the area for the outer horizon 'never decreases' such that the usual area theorem still works in our examples, though this is quite non-trivial in general. There exists an instability problem of the inner horizons but it seems that the instability is not important in my analysis. I also find a generalized area theorem by combining those of the outer and inner horizons
On Harnack's theorem and extensions
Costa, Antonio F.; Parlier, Hugo
Harnack's theorem states that the fixed points of an orientation reversing involution of a compact orientable surface of genus g are a set of k disjoint simple closed geodesic where 0≤ k≤ g+1 . The first goal of this article is to give a purely geometric, complete and self-contained proof of this fact. In the case where the fixed curves of the involution do not separate the surface, we prove an extension of this theorem, by exhibiting the existence of auxiliary invariant curves with interesting properties. Although this type of extension is well known (see, for instance, Comment. Math. Helv. 57(4): 603-626 (1982) and Transl. Math. Monogr., vol. 225, Amer. Math. Soc., Providence, RI, 2004), our method also extends the theorem in the case where the surface has boundary. As a byproduct, we obtain a geometric method on how to obtain these auxiliary curves. As a consequence of these constructions, we obtain results concerning presentations of Non-Euclidean crystallographic groups and a new proof of a result on the set of points corresponding to real algebraic curves in the compactification of the Moduli space of complex curves of genus g , overline{M_{g}} . More concretely, we establish that given two real curves there is a path in overline{M_{g}} which passes through at most two singular curves, a result of M. Seppaelae (Ann. Sci. Ecole Norm. Sup. (4), 24(5), 519-544 (1991)).
Stimulated Brillouin scatter in a magnetized ionospheric plasma.
Bernhardt, P A; Selcher, C A; Lehmberg, R H; Rodriguez, S P; Thomason, J F; Groves, K M; McCarrick, M J; Frazer, G J
2010-04-23
High power electromagnetic waves transmitted from the HAARP facility in Alaska can excite low-frequency electrostatic waves by magnetized stimulated Brillouin scatter. Either an ion-acoustic wave with a frequency less than the ion cyclotron frequency (f(CI)) or an electrostatic ion cyclotron (EIC) wave just above f(CI) can be produced. The coupled equations describing the magnetized stimulated Brillouin scatter instability show that the production of both ion-acoustic and EIC waves is strongly influenced by the wave propagation relative to the background magnetic field. Experimental observations of stimulated electromagnetic emissions using the HAARP transmitter have confirmed that only ion-acoustic waves are excited for propagation along the magnetic zenith and that EIC waves can only be detected with oblique propagation angles. The ion composition can be obtained from the measured EIC frequency. PMID:20482059
Stimulated Brillouin Scatter in a Magnetized Ionospheric Plasma
High power electromagnetic waves transmitted from the HAARP facility in Alaska can excite low-frequency electrostatic waves by magnetized stimulated Brillouin scatter. Either an ion-acoustic wave with a frequency less than the ion cyclotron frequency (fCI) or an electrostatic ion cyclotron (EIC) wave just above fCI can be produced. The coupled equations describing the magnetized stimulated Brillouin scatter instability show that the production of both ion-acoustic and EIC waves is strongly influenced by the wave propagation relative to the background magnetic field. Experimental observations of stimulated electromagnetic emissions using the HAARP transmitter have confirmed that only ion-acoustic waves are excited for propagation along the magnetic zenith and that EIC waves can only be detected with oblique propagation angles. The ion composition can be obtained from the measured EIC frequency.
Extreme temperature sensing using brillouin scattering in optical fibers
Fellay, Alexandre
Stimulated Brillouin scattering in silica-based optical fibers may be considered from two different and complementary standpoints. For a physicist, this interaction of light and pressure wave in a material, or equivalently in quantum theory terms between photons and phonons, gives some glimpses of the atomic structure of the solid and of its vibration modes. For an applied engineer, the same phenomenon may be put to good use as a sensing mechanism for distributed measurements, thanks to the dependence of the scattered light on external parameters such as the temperature, the pressure or the strain applied to the fiber. As far as temperature measurements are concerned, Brillouin-based distributed sensors have progressively gained wide recognition as efficient systems, even if their rather high cost still restricts the number of their applications. Yet they are generally used in a relatively narrow temperature range around the usual ambient temperature; in this domain, the frequency of the scattered light incre...
A Rayleigh-Brillouin scattering spectrometer for ultraviolet wavelengths
Gu, Ziyu; van Duijn, Eric-Jan; Ubachs, Wim; 10.1063/1.4721272
2012-01-01
A spectrometer for the measurement of spontaneous Rayleigh-Brillouin scattering line profiles at ultraviolet wavelengths from gas phase molecules has been developed, employing a high-power frequency-stabilized UV laser with narrow bandwidth (2 MHz). The UV light from a frequency-doubled titanium:sapphire laser is further amplified in an enhancement cavity, delivering a 5 Watt UV-beam propagating through the interaction region inside a scattering cell. The design of the RB-scattering cell allows for measurements at gas pressures in the range 0-4 bar and at stably controlled temperatures from -30 to 70 degree Celsius. A scannable Fabry-Perot analyzer with instrument resolution of 232 MHz probes the Rayleigh-Brillouin profiles. Measurements on N2 and SF6 gases demonstrate the high signal-to-noise ratio achievable with the instrument, at the 1% level at the peak amplitude of the scattering profile.
A New Approach to Cascaded Stimulated Brillouin Scattering
Dong, Mark
2015-01-01
We present a novel approach to cascaded stimulated Brillouin scattering and frequency comb generation in which the multitude of interacting pump, Stokes, and anti-Stokes optical fields are described by a single forward wave and a single backward wave at a single carrier frequency. The envelopes of these two waves are modulated through coupling to a single acoustic oscillation and through four-wave mixing. Starting from a single pump field, we observe the emergence of a comb of frequencies as the intensity is increased. The set of three differential equations derived here are sufficient to describe the generation of any number of Brillouin sidebands in oscillator systems that would have required hundreds of coupled equations in the standard approach. We test the new approach on some published experiments and find excellent agreement with the results.
Brillouin scattering induced transparency and non-reciprocal light storage
Dong, Chun-Hua; Zou, Chang-Ling; Zhang, Yan-Lei; Fu, Wei; Guo, Guang-Can
2014-01-01
Stimulated Brillouin scattering (SBS) is a very fundamental interaction between light and travelling acoustic waves, which is mainly attributed to the electrostriction and photoelastic effects with the interaction strength being orders of magnitude larger than other nonlinearities. Although various photonic applications for all-optical light controlling based on SBS have been achieved in optical fiber and waveguides, the coherent light-acoustic interaction remains a challenge. Here, we experimentally demonstrated the Brillouin scattering induced transparency (BSIT) in a high quality optical microresonantor. Benefited from the triple-resonance in the whispering gallery cavity, the photon-phonon interaction is enhanced, and enables the light storage to the phonon, which has lifetime up to 10us. In addition, due to the phase matching condition, the stored circulating acoustic phonon can only interact with certain direction light, which leads to non-reciprocal light storage and retrieval. Our work paves the way t...
Realistic model for the stimulated Brillouin scattering instability
The purpose of this work is to present a new model describing the stimulated Brillouin scattering instability in an inhomogeneous plasma. This model, called the harmonic decomposition method is based on the decomposition of plasma characteristics like density and speed into their short and long wavelengths components. This model describes: the propagation of the incident and reflected laser wave, the evolution of the sound wave and the hydrodynamic evolution of the plasma on a large scale. The first chapter recalls theoretical concepts concerning the stimulated Brillouin scattering, the filamentation and auto-focusing and introduces the harmonic decomposition method. The second chapter deals with the validation of this method through a comparison with an exact hydrodynamics model. The third chapter presents the interpretation of laser-plasma experiments with this new method. The fourth chapter presents different ways of improving the description by taking into account kinetics effects or a better decomposition of the sound wave. (A.C.)
Meng, Zhaokai; Jaiswal, Manish K.; Chitrakar, Chandani; Thakur, Teena; Gaharwar, Akhilesh K.; Yakovlev, Vladislav V.
2016-03-01
Developing new biomaterials is essential for the next-generation of materials for bioenergy, bioelectronics, basic biology, medical diagnostics, cancer research, and regenerative medicine. Specifically, recent progress in nanotechnology has stimulated the development of multifunctional biomaterials for tissue engineering applications. The physical properties of nanocomposite biomaterials, including elasticity and viscosity, play key roles in controlling cell fate, which underlines therapeutic success. Conventional mechanical tests, including uniaxial compression and tension, dynamic mechanical analysis and shear rheology, require mechanical forces to be directly exerted onto the sample and therefore may not be suitable for in situ measurements or continuous monitoring of mechanical stiffness. In this study, we employ spontaneous Brillouin spectroscopy as a viscoelasticity-specific probing technique. We utilized a Brillouin spectrometer to characterize biomaterial's microscopic elasticity and correlated those with conventional mechanical tests (e.g., rheology).
Quasi distributed hybrid Brillouin fiber laser sensor system
A hybrid quasi distributed sensing system combining point fiber Bragg gratings and long integral Brillouin scattering transducers is presented. It is able to measure global temperature changes along the sensing line as well as punctual changes at the critical locations of the structure. A 20 km proof-of-concept system has been experimentally demonstrated with a temperature resolution of 0.47 °C. (paper)
Brillouin-Wigner perturbation theory in open electromagnetic systems
Muljarov, E. A.; Langbein, W; R. Zimmermann(Physikalisches Institut, University of Bonn, Bonn, Germany)
2012-01-01
A Brillouin-Wigner perturbation theory is developed for open electromagnetic systems which are characterised by discrete resonant states with complex eigenenergies. Since these states are exponentially growing at large distances, a modified normalisation is introduced that allows a simple spectral representation of the Green's function. The perturbed modes are found by solving a linear eigenvalue problem in matrix form. The method is illustrated on exactly solvable one- and three-dimensional ...
Brillouin distributed sensing using localized and stationary dynamic gratings
Primerov, Nikolay; Antman, Yair; Sancho Dura, Juan; Zadok, Avinoam; Thévenaz, Luc
2012-01-01
In this work, we apply a recent technique for the generation of stimulated Brillouin scattering (SBS) dynamic gratings that are both localized and stationary to realize high-resolution distributed temperature sensing. The gratings generation method relies on the phase modulation of two pump waves by a common pseudo-random bit sequence (PRBS), with a symbol duration that is much shorter than the acoustic lifetime. This way the acoustic wave can efficiently build up in the medium at discrete lo...
Distributed sensing employing stimulated Brillouin scattering in optical fibers
Antman, Yair; Thévenaz, Luc; Zadok, Avinoam
2012-01-01
Disclosed are methods and devices for distributed sensing of a measurable parameter employing stimulated Brillouin scattering in an optical fiber. A frequency-modulated or phase-modulated light wave is transmitted into the optical fiber. A scattered light wave in the optical fiber is monitored for sensing a measurable parameter. In some embodiments, the calculating step may include calculating a distance of a sensed location along the optical fiber using the monitored time of arrival.
All-optical signal processing using dynamic Brillouin gratings
Santagiustina, Marco; Chin, Sanghoon; Primerov, Nicolay; Ursini, Leonora; Thévenaz, Luc
2013-01-01
The manipulation of dynamic Brillouin gratings in optical fibers is demonstrated to be an extremely flexible technique to achieve, with a single experimental setup, several all-optical signal processing functions. In particular, all-optical time differentiation, time integration and true time reversal are theoretically predicted, and then numerically and experimentally demonstrated. The technique can be exploited to process both photonic and ultra-wide band microwave signals, so enabling many applications in photonics and in radio science. PMID:23549159
Brillouin-Wigner perturbation theory in open electromagnetic systems
Muljarov, E A; Zimmermann, R; 10.1209/0295-5075/92/50010
2012-01-01
A Brillouin-Wigner perturbation theory is developed for open electromagnetic systems which are characterised by discrete resonant states with complex eigenenergies. Since these states are exponentially growing at large distances, a modified normalisation is introduced that allows a simple spectral representation of the Green's function. The perturbed modes are found by solving a linear eigenvalue problem in matrix form. The method is illustrated on exactly solvable one- and three-dimensional examples being, respectively, a dielectric slab and a microsphere.
Stimulated Brillouin scattering enhancement in silicon inverse opal waveguides
Smith, M. J. A.; Wolff, C; Sterke, C. Martijn de; Lapine, M.; Kuhlmey, B. T.; Poulton, C. G.
2016-01-01
Silicon is an ideal material for on-chip applications, however its poor acoustic properties limit its performance for important optoacoustic applications, particularly for Stimulated Brillouin Scattering (SBS). We theoretically show that silicon inverse opals exhibit a strongly improved acoustic performance that enhances the bulk SBS gain coefficient by more than two orders of magnitude. We also design a waveguide that incorporates silicon inverse opals and which has SBS gain values that are ...
What is the Brillouin Zone of an Anisotropic Photonic Crystal?
Sivarajah, P; Ofori-Okai, B K; Nelson, K A
2015-01-01
The concept of the Brillouin zone (BZ) in relation to a photonic crystal fabricated in an optically anisotropic material is explored both experimentally and theoretically. In experiment, we used femtosecond laser pulses to excite THz polaritons and image their propagation in lithium niobate and lithium tantalate photonic crystal (PhC) slabs. We directly measured the dispersion relation inside PhCs and observed that the lowest bandgap expected to form at the BZ boundary forms inside the BZ in the anisotropic lithium niobate PhC. Our analysis shows that in an anisotropic material the BZ - defined as the Wigner-Seitz cell in the reciprocal lattice - is no longer bounded by Bragg planes and thus does not conform to the original definition of the BZ by Brillouin. We construct an alternative Brillouin zone defined by Bragg planes and show its utility in identifying features of the dispersion bands. We show that for an anisotropic 2D PhC without dispersion, the Bragg plane BZ can be constructed by applying the Wigne...
Fiore, Antonio; Zhang, Jitao; Shao, Peng; Yun, Seok Hyun; Scarcelli, Giuliano
2016-05-01
Brillouin microscopy has recently emerged as a powerful technique to characterize the mechanical properties of biological tissue, cell, and biomaterials. However, the potential of Brillouin microscopy is currently limited to transparent samples, because Brillouin spectrometers do not have sufficient spectral extinction to reject the predominant non-Brillouin scattered light of turbid media. To overcome this issue, we combined a multi-pass Fabry-Perot interferometer with a two-stage virtually imaged phased array spectrometer. The Fabry-Perot etalon acts as an ultra-narrow band-pass filter for Brillouin light with high spectral extinction and low loss. We report background-free Brillouin spectra from Intralipid solutions and up to 100 μm deep within chicken muscle tissue.
High-extinction VIPA-based Brillouin spectroscopy of turbid biological media
Fiore, Antonio; Shao, Peng; Yun, Seok Hyun; Scarcelli, Giuliano
2016-01-01
Brillouin microscopy has recently emerged as powerful technique to characterize the mechanical properties of biological tissue, cell and biomaterials. However, the potential of Brillouin microscopy is currently limited to transparent samples, because Brillouin spectrometers do not have sufficient spectral extinction to reject the predominant non-Brillouin scattered light of turbid media. To overcome this issue, we developed a spectrometer composed of a two VIPA stages and a multi-pass Fabry-Perot interferometer. The Fabry-Perot etalon acts as an ultra-narrow band-pass filter for Brillouin light with high spectral extinction and low loss. We report background-free Brillouin spectra from Intralipid solutions and up to 100 microns deep within chicken muscle tissue.
Cascaded Brillouin lasing in monolithic barium fluoride whispering gallery mode resonators
Lin, Guoping, E-mail: guoping.lin@femto-st.fr; Diallo, Souleymane; Saleh, Khaldoun; Martinenghi, Romain; Beugnot, Jean-Charles; Sylvestre, Thibaut; Chembo, Yanne K. [Optics Department, FEMTO-ST Institute (CNRS UMR6174), 25030 Besançon (France)
2014-12-08
We report the observation of stimulated Brillouin scattering and lasing at 1550 nm in barium fluoride (BaF{sub 2}) crystal. Brillouin lasing was achieved with ultra-high quality (Q) factor monolithic whispering gallery mode mm-size disk resonators. Overmoded resonators were specifically used to provide cavity resonances for both the pump and all Brillouin Stokes waves. Single and multiple Brillouin Stokes radiations with frequency shift ranging from 8.2 GHz up to 49 GHz have been generated through cascaded Brillouin lasing. BaF{sub 2} resonator-based Brillouin lasing can find potential applications for high-coherence lasers and microwave photonics.
Measurement error analysis of Brillouin lidar system using F-P etalon and ICCD
Yao, Yuan; Niu, Qunjie; Liang, Kun
2016-09-01
Brillouin lidar system using Fabry-Pérot (F-P) etalon and Intensified Charge Coupled Device (ICCD) is capable of real time remote measuring of properties like temperature of seawater. The measurement accuracy is determined by two key parameters, Brillouin frequency shift and Brillouin linewidth. Three major errors, namely the laser frequency instability, the calibration error of F-P etalon and the random shot noise are discussed. Theoretical analysis combined with simulation results showed that the laser and F-P etalon will cause about 4 MHz error to both Brillouin shift and linewidth, and random noise bring more error to linewidth than frequency shift. A comprehensive and comparative analysis of the overall errors under various conditions proved that colder ocean(10 °C) is more accurately measured with Brillouin linewidth, and warmer ocean (30 °C) is better measured with Brillouin shift.
Effect of collisions on amplification of laser beams by Brillouin scattering in plasmas
Humphrey, K. A.; Trines, R. M. G. M.; Fiuza, F.; Speirs, D. C.; Norreys, P.; Cairns, R. A.; Silva, L. O.; R. Bingham
2013-01-01
We report on particle in cell simulations of energy transfer between a laser pump beam and a counter-propagating seed beam using the Brillouin scattering process in uniform plasma including collisions. The results presented show that the ion acoustic waves excited through naturally occurring Brillouin scattering of the pump field are preferentially damped without affecting the driven Brillouin scattering process resulting from the beating of the pump and seed fields together. We find that col...
Signal Processing for Fibre-optic Distributed Sensing Techniques Employing Brillouin Scattering
XIAO Shang-hui; LI Li
2009-01-01
As fibre optic distributed scattering sensing systems are providing innovative solutions for the monitoring of large structures, Brillouin-based distributed scattering sensing techniques represent a new physical approach for structures health monitoring, which seems extremely promising and is receiving most attentions. This paper comprehensively presents some methods of signal interrogation for fibre optic Brillouin-based distributed scattering sensing technology, especially establishes an accurate Pseudo-Voigt model of Brillouin gain spectrum and gives some results on spectrum analysis and data processing.
Carnot's theorem as Noether's theorem for thermoacoustic engines
Onset in thermoacoustic engines, the transition to spontaneous self-generation of oscillations, is studied here as both a dynamical critical transition and a limiting heat engine behavior. The critical transition is interesting because it occurs for both dissipative and conservative systems, with common scaling properties. When conservative, the stable oscillations above the critical point also implement a reversible engine cycle satisfying Carnot's theorem, a universal conservation law for entropy flux. While criticality in equilibrium systems is naturally associated with symmetries and universal conservation laws, these are usually exploited with global minimization principles, which dynamical critical systems may not have if dissipation is essential to their criticality. Acoustic heat engines furnish an example connecting equilibrium methods with dynamical and possibly even dissipative critical transitions: A reversible engine is shown to map, by a change of variables, to an equivalent system in apparent thermal equilibrium; a Noether symmetry in the equilibrium field theory implies Carnot's theorem for the engine. Under the same association, onset is shown to be a process of spontaneous symmetry breaking and the scaling of the quality factor predicted for both the reversible and irreversible engines is shown to arise from the Ginzburg-Landau description of the broken phase. copyright 1998 The American Physical Society
Symbolic logic and mechanical theorem proving
Chang, Chin-Liang
1969-01-01
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Bringing Theorem Proving to the (sonic) Masses
Gallego Arias, Emilio Jesús; Pin, Benoît; Jouvelot, Pierre,
2015-01-01
We explore the intersection of interactive theorem proving and digital signal processing through the use of web-based, rich interfaces. Traditionally, the barrier to entry to interactive theorem proving has been high.Provers are complex systems using obscure programming languages, and libraries may be underdocumented and use formalisms and notations far from the standard domain-specific practice. Thus, it doesn't come at a surprise that interactive theorem proving has seldom been explored in ...
The relativistic virial theorem and scale invariance
Gaite, Jose
2013-01-01
The virial theorem is related to the dilatation properties of bound states. This is realized, in particular, by the Landau-Lifshitz formulation of the relativistic virial theorem, in terms of the trace of the energy-momentum tensor. We construct a Hamiltonian formulation of dilatations in which the relativistic virial theorem naturally arises as the condition of stability against dilatations. A bound state becomes scale invariant in the ultrarelativistic limit, in which its energy vanishes. H...
The Equivalence Theorem and Effective Lagrangians
Grosse-Knetter, Carsten; Kuss, Ingolf
1994-01-01
We point out that the equivalence theorem, which relates the amplitude for a process with external longitudinally polarized vector bosons to the amplitude in which the longitudinal vector bosons are replaced by the corresponding pseudo-Goldstone bosons, is not valid for effective Lagrangians. However, a more general formulation of this theorem also holds for effective interactions. The generalized theorem can be utilized to determine the high-energy behaviour of scattering processes just by p...
The exchange fluctuation theorem in quantum mechanics
Akagawa, Shiho; Hatano, Naomichi
2009-01-01
We study the heat transfer between two finite quantum systems initially at different temperatures. We find that a recently proposed fluctuation theorem for heat exchange, namely the exchange fluctuation theorem [C. Jarzynski and D. K. Wojcik, Phys. Rev. Lett. 92, 230602 (2004)], does not generally hold in the presence of a finite heat transfer as in the original form proved for weak coupling. As the coupling is weakened, the deviation from the theorem and the heat transfer vanish in the same ...
Expanding the Interaction Equivalency Theorem
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.
Shell theorem for spontaneous emission
Kristensen, Philip Trøst; Mortensen, Jakob Egeberg; Lodahl, Peter; Stobbe, Søren
2013-01-01
We investigate spontaneous emission from excitons beyond the point source dipole approximation and show how the symmetry of the exciton wave function plays a crucial role. We find that for spherically symmetric wave functions, the Purcell effect is independent of the wave function size and...... therefore is given exactly by the dipole approximation theory. This surprising result is a spontaneous emission counterpart to the shell theorems of classical mechanics and electrostatics and provides insights into the physics of mesoscopic emitters as well as great simplifications in practical calculations....
Herbrand Theorems for Substructural Logics
Cintula, Petr; Metcalfe, G.
Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. (Lecture Notes in Computer Science. Advanced Research in Computing and Software Science. 8312). ISBN 978-3-642-45221-5. ISSN 0302-9743. [LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013] R&D Projects: GA ČR GAP202/10/1826 Institutional support: RVO:67985807 Keywords : substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics Subject RIV: BA - General Mathematics
The inverse Fueter mapping theorem
Colombo, Fabrizio; Sabadini, Irene; Sommen, Franciscus
2011-01-01
In a recent paper the authors have shown how to give an integral representation of the Fueter mapping theorem using the Cauchy formula for slice monogenic functions. Specifically, given a slice monogenic function f of the form f = alpha + (omega) under bar beta (where alpha, beta satisfy the Cauchy-Riemann equations) we represent in integral form the axially monogenic function f = A + (omega) under barB (where A, B satisfy the Vekua's system) given by f(x) = Delta n-1/2 f (x) where Delta is t...
A generalized preimage theorem in global analysis
MA; Jipu
2001-01-01
［1］Ma Jipu, (1.2) inverses of operators between Banach spaces and conjugacy theorem, Chinese Annals of Math., B, 1999, 20(1): 57.［2］Ma Jipu, Rank theorem of operators between Banach spaces, Science in China, Ser. A, 2000, 43(1): 1.［3］Ma Jipu, Local conjugacy theorem, rank theorems in advenced calculus and a generalized principle constructing Banach manifolds, Science in China, Ser. A, 2000, 43(12): 1233.［4］Zeidler, A. E., Nonlinear Function Analysis and Its Applications, IV: Applications to Mathematical Physics, New York: Springer-Verlag, 1988.
Sol Swords
2011-10-01
Full Text Available Interactive theorem proving requires a lot of human guidance. Proving a property involves (1 figuring out why it holds, then (2 coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDD- or SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and automates the process of admitting it as a theorem. We use GL at Centaur Technology to verify execution units for x86 integer, MMX, SSE, and floating-point arithmetic.
Cosmological Perturbations and the Weinberg Theorem
Akhshik, Mohammad; Jazayeri, Sadra
2015-01-01
The celebrated Weinberg theorem in cosmological perturbation theory states that there always exist two adiabatic scalar modes in which the comoving curvature perturbation is conserved on super-horizon scales. In particular, when the perturbations are generated from a single source, such as in single field models of inflation, both of the two allowed independent solutions are adiabatic and conserved on super-horizon scales. There are few known examples in literature which violate this theorem. We revisit the theorem and specify the loopholes in some technical assumptions which violate the theorem in models of non-attractor inflation, fluid inflation, solid inflation and in the model of pseudo conformal universe.
Vela Velupillai, K.
2014-01-01
The Hahn-Banach Theorem plays a crucial role in the second fundamental theorem of welfare economics. To date, all mathematical economics and advanced general equilibrium textbooks concentrate on using nonconstructive or incomputable versions of this celebrated theorem. In this paper we argue for the introduction of constructive or computable Hahn-Banach theorems in mathematical economics and advanced general equilibrium theory. The suggested modification would make applied and policy-oriented...
An elementary derivation of the quantum virial theorem from Hellmann–Feynman theorem
İpekoğlu, Y.; Turgut, S.
2016-07-01
A simple proof of the quantum virial theorem that can be used in undergraduate courses is given. The proof proceeds by first showing that the energy eigenvalues of a Hamiltonian remain invariant under a scale transformation. Then invoking the Hellmann–Feynman theorem produces the final statement of the virial theorem.
Two extensions of Ramsey's theorem
Conlon, David; Sudakov, Benny
2011-01-01
Ramsey's theorem, in the version of Erd\\H{o}s and Szekeres, states that every 2-coloring of the edges of the complete graph on {1, 2,...,n} contains a monochromatic clique of order 1/2\\log n. In this paper, we consider two well-studied extensions of Ramsey's theorem. Improving a result of R\\"odl, we show that there is a constant $c>0$ such that every 2-coloring of the edges of the complete graph on \\{2, 3,...,n\\} contains a monochromatic clique S for which the sum of 1/\\log i over all vertices i \\in S is at least c\\log\\log\\log n. This is tight up to the constant factor c and answers a question of Erd\\H{o}s from 1981. Motivated by a problem in model theory, V\\"a\\"an\\"anen asked whether for every k there is an n such that the following holds. For every permutation \\pi of 1,...,k-1, every 2-coloring of the edges of the complete graph on {1, 2, ..., n} contains a monochromatic clique a_1a_{\\pi(2)+1}-a_{\\pi(2)}>...>a_{\\pi(k-1)+1}-a_{\\pi(k-1)}. That is, not only do we want a monochromatic clique, but the difference...
Zonas de Brillouin de los grupos de capa
García Santos, Laura
2016-01-01
La base de datos de las zonas de Brillouin de los grupos de capa del Bilbao Crystallographic Server incluye tablas de vectores de onda y figuras que forman la base para la clasificación de las representaciones de los grupos de capa. Las propiedades de simetría de los vectores de onda se determinan por los llamados grupos del espacio recíproco y esta clasificación se compara con la que recoge el libro “Character Tables and Compatibility Relations of The Eighty Layer Groups and Seventeen Plane ...
Stimulated Brillouin scattering enhancement in silicon inverse opal waveguides
Smith, M J A; de Sterke, C Martijn; Lapine, M; Kuhlmey, B T; Poulton, C G
2016-01-01
Silicon is an ideal material for on-chip applications, however its poor acoustic properties limit its performance for important optoacoustic applications, particularly for Stimulated Brillouin Scattering (SBS). We theoretically show that silicon inverse opals exhibit a strongly improved acoustic performance that enhances the bulk SBS gain coefficient by more than two orders of magnitude. We also design a waveguide that incorporates silicon inverse opals and which has SBS gain values that are comparable with chalcogenide glass waveguides. This research opens new directions for opto-acoustic applications in on-chip material systems.
Atherosclerotic plaque detection by confocal Brillouin and Raman microscopies
Meng, Zhaokai; Basagaoglu, Berkay; Yakovlev, Vladislav V.
2015-02-01
Atherosclerosis, the development of intraluminal plaque, is a fundamental pathology of cardiovascular system and remains the leading cause of morbidity and mortality worldwide. Biomechanical in nature, plaque rupture occurs when the mechanical properties of the plaque, related to the morphology and viscoelastic properties, are compromised, resulting in intraluminal thrombosis and reduction of coronary blood flow. In this report, we describe the first simultaneous application of confocal Brillouin and Raman microscopies to ex-vivo aortic wall samples. Such a non-invasive, high specific approach allows revealing a direct relationship between the biochemical and mechanical properties of atherosclerotic tissue.
Brillouin scattering from collective spin waves in magnetic superlattices (invited)
Hillebrands, B.; Boufelfel, A.; Falco, C.M.; Baumgart, P.; Guentherodt, G.; Zirngiebl, E.; Thompson, J.D.
1988-04-15
We report on the observation and the analysis of collective magnetostatic spin-wave excitations in magnetic superlattices. The influence of interface anisotropies, which can become dominant for small modulation wavelengths, is discussed. For the system Fe/Pd we show that Brillouin spectroscopy experiments in combination with the measurement of the saturation magnetization by a SQUID magnetometer give evidence for a magnetic polarization of the Pd spacer layers, as well as for a small negative out-of-plane interface anisotropy constant of K/sub s/ = -0.15 erg/cm/sup 2/.
Brillouin scattering from collective spin waves in magnetic superlattices
Hillebrands, B.; Boufelfel, A.; Falco, C.M.; Baumgart, P.; Guentherodt, G.; Zirngiebl, E.; Thompson, J.D.
1987-01-01
We report on the observation and the analysis of collective magnetostatic spin-wave excitations in magnetic superlattices. The influence of interface anisotropies, which can become dominant for small modulation wavelengths, is discussed. For the system Fe/Pd we show that Brillouin spectroscopy experiments in combination with the measurement of the saturation magnetization by a SQUID magnetometer give evidence for a magnetic polarization of the Pd spacer layers, as well as for a small negative out-of-plane interface anisotropy constant of K/sub s/ = -0.15 erg/cm/sup 2/. 22 refs., 5 figs., 1 tab.
Magnetostatic wave device characterization by Brillouin light scattering
Patton, Carl E.; Srinivasan, Gopalan
1989-02-01
This final report summarizes the important results of the Brillouin light scattering investigations of magnetic excitations in magnetostatic wave (MSW) devices which were carried out under the RADC contract. The key accomplishments were the observation and characterization of surface waves, forward volume waves, backward volume waves, parametric spin waves, and a new type of evanescent surface wave in yttrium iron garnet film MSW devices. The propagation characteristics for surface wave in Fe, Co-Cr, and Ni-Fe films were also examined, in order to investigate the possible use of such films in MSW devices. Details on technical publications and participating personnel during this contract period are also provided.
Sancho J.; Chin S.; Sagues M.; Loayssa A.; Lloret J.; Gasulla I.; Sales S.; Thevenaz L.; Capmany J.
2010-01-01
Dynamic reconfiguration of a microwave photonic filter by tuning its basic delay based on stimulated Brillouin scattering-induced slow light and optical phase shift of the optical carrier is experimentally implemented. The measurements confirm that the free spectral range of the filter changes when a Brillouin pump is applied. These results demonstrate the potential of the separate carrier technique in microwave photonics applications.
Abel's Theorem in the Noncommutative Case
Leitenberger, Frank
2005-01-01
We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic differentials of the first kind. Following Abel we prove Abel's Theorem.
The classical version of Stokes' Theorem revisited
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we show how the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...
Anisotropic weak Hardy spaces and interpolation theorems
2008-01-01
In this paper, the authors establish the anisotropic weak Hardy spaces associated with very general discrete groups of dilations. Moreover, the atomic decomposition theorem of the anisotropic weak Hardy spaces is also given. As some applications of the above results, the authors prove some interpolation theorems and obtain the boundedness of the singular integral operators on these Hardy spaces.
Convergence theorems for intermediate problems. II
Beattie, C. A.; Greenlee, W. M.
2002-01-01
Convergence theorems for the practical eigenvector free methods of Gay and Goerisch are obtained under a variety of hypotheses, so that our theorems apply to both traditional boundary-value problems and atomic problems. In addition, we prove convergence of the T*T method of Bazley and Fox without an alignment of projections hypothesis required in previous literature.
Interpolation theorems on weighted Lorentz martingale spaces
2007-01-01
In this paper several interpolation theorems on martingale Lorentz spaces are given.The proofs are based on the atomic decompositions of martingale Hardy spaces over weighted measure spaces.Applying the interpolation theorems,we obtain some inequalities on martingale transform operator.
AN ABSTRACT ORLICS: PETTIS THEOREM AND APPLICATIONS
LI RONGLU
2008-08-01
Full Text Available In this paper we establish two abstract versions of the classical Orlicz-Pettis Theorem for multiplier convergent series. We show that these abstract results yield known versions of the Orlicz-Pettis Theorem for locally convex spaces as well as versions for operator valued series. We also give applications to vector valued measures and spaces of continuous functions.
The Ahlfors lemma and Picard's theorems
Simonič, Aleksander
2015-01-01
The article introduces Ahlfors' generalization of the Schwarz lemma. With this powerful geometric tool of complex functions in one variable, we are able to prove some theorems concerning the size of images under holomorphic mappings, including the celebrated Picard's theorems. The article concludes with a brief insight into the theory of Kobayashi hyperbolic complex manifolds.
Generalized Fibonacci Numbers and Blackwell's Renewal Theorem
Christensen, Sören
2010-01-01
We investigate a connection between generalized Fibonacci numbers and renewal theory for stochastic processes. Using Blackwell's renewal theorem we find an approximation to the generalized Fibonacci numbers. With the help of error estimates in the renewal theorem we figure out an explicit representation.
Szemeredi's theorem and problems on arithmetic progressions
Szemeredi's famous theorem on arithmetic progressions asserts that every subset of integers of positive asymptotic density contains arithmetic progressions of arbitrary length. His remarkable theorem has been developed into a major new area of combinatorial number theory. This is the topic of the present survey.
No-cloning theorem in thermofield dynamics
Prudencio, Thiago
2011-01-01
Here we apply the no-cloning theorem from quantum information in the thermofield dynamics (TFD) scenario, relating the doubling procedure of TFD to a cloning machine process. As a consequence we use the no-cloning theorem to demonstrate that the thermal vaccuum state defined in TFD is necessarilly a mixed state.
No-cloning theorem in thermofield dynamics
Prudencio, Thiago
2011-01-01
We discuss the relation between the no-cloning theorem from quantum information and the doubling procedure used in the formalism of thermofield dynamics (TFD). We also discuss how to apply the no-cloning theorem in the context of thermofield states defined in TFD. Consequences associated to mixed states, von Neumann entropy and thermofield vacuum are also addressed.
A New Fixed Point Theorem and Applications
Min Fang
2013-01-01
Full Text Available A new fixed point theorem is established under the setting of a generalized finitely continuous topological space (GFC-space without the convexity structure. As applications, a weak KKM theorem and a minimax inequalities of Ky Fan type are also obtained under suitable conditions. Our results are different from known results in the literature.
Non perturbative Adler-Bardeen Theorem
Mastropietro, Vieri
2006-01-01
The Adler-Bardeen theorem has been proved only as a statement valid at all orders in perturbation theory, without any control on the convergence of the series. In this paper we prove a nonperturbative version of the Adler-Bardeen theorem in $d=2$ by using recently developed technical tools in the theory of Grassmann integration.
The Classical Version of Stokes' Theorem Revisited
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations--essentially from first year undergraduate mathematics--we show how the classical Stokes' theorem for any given surface and vector field in R[superscript 3] follows from an application of Gauss' divergence theorem to a suitable modification of the vector field in a tubular shell around the…
A Metrized Duality Theorem for Markov Processes
Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash
2014-01-01
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudometric and the algebras with a notion of metric diameter. We are able to show that the isomorphisms of our previous duality theorem become isometries in this quantitative setting. This opens the wa...
A Generalization of the Prime Number Theorem
Bruckman, Paul S.
2008-01-01
In this article, the author begins with the prime number theorem (PNT), and then develops this into a more general theorem, of which many well-known number theoretic results are special cases, including PNT. He arrives at an asymptotic relation that allows the replacement of certain discrete sums involving primes into corresponding differentiable…
Visualizing the Central Limit Theorem through Simulation
Ruggieri, Eric
2016-01-01
The Central Limit Theorem is one of the most important concepts taught in an introductory statistics course, however, it may be the least understood by students. Sure, students can plug numbers into a formula and solve problems, but conceptually, do they really understand what the Central Limit Theorem is saying? This paper describes a simulation…
Boundary contributions to the hypervirial theorem
Esteve, J. G.; Falceto, F.; Giri, Pulak Ranjan
2012-01-01
It is shown that under certain boundary conditions the virial theorem has to be modified. We analyze the origin of the extra term and compute it in particular examples. The Coulomb and harmonic oscillator with point interaction have been studied in the light of this generalization of the virial theorem.
A Simple Vector Proof of Feuerbach's Theorem
Scheer, Michael
2011-01-01
The celebrated theorem of Feuerbach states that the nine-point circle of a nonequilateral triangle is tangent to both its incircle and its three excircles. In this note, we give a simple proof of Feuerbach's Theorem using straightforward vector computations. All required preliminaries are proven here for the sake of completeness.
A density Corradi-Hajnal theorem
Allen, P.; Böttcher, J.; Hladký, Jan; Piguet, D.
2015-01-01
Roč. 67, č. 4 (2015), s. 721-758. ISSN 0008-414X Institutional support: RVO:67985840 Keywords : extremal graph theory * Mantel's theorem * Corradi-Hajnal theorem Subject RIV: BA - General Mathematics Impact factor: 0.765, year: 2014 http://cms.math.ca/10.4153/CJM-2014-030-6
New proofs of basic theorems in calculus
Reem, Daniel
2007-01-01
In this note we present new proofs of three basic theorems in calculus. Although these theorems are well-known, in each proof we obtain something which seems to be unknown. We start with the Heine-Cantor theorem about uniform continuity and obtain explicitly the optimal delta for the given epsilon. We then proceed with the Weierstrass extreme value theorem and present two proofs of it: the ``envelope proof'' in which the largest possible maximal point is found using an envelope function, and the ``programmer proof'', which does not use the costume argument of proving boundedness first, and in which an explicit sequence is shown to converge monotonically to the maximal value. We finish with the intermediate value theorem, which is generalized to a class of discontinuous functions and in which the meaning of the intermediate value property is re-examined. In the end we discuss in which sense the proofs are constructive.
Brillouin light scattering from surface acoustic waves in a subwavelength-diameter optical fibre.
Beugnot, Jean-Charles; Lebrun, Sylvie; Pauliat, Gilles; Maillotte, Hervé; Laude, Vincent; Sylvestre, Thibaut
2014-01-01
Brillouin scattering in optical fibres is a fundamental interaction between light and sound with important implications ranging from optical sensors to slow and fast light. In usual optical fibres, light both excites and feels shear and longitudinal bulk elastic waves, giving rise to forward-guided acoustic wave Brillouin scattering and backward-stimulated Brillouin scattering. In a subwavelength-diameter optical fibre, the situation changes dramatically, as we here report with the first experimental observation of Brillouin light scattering from surface acoustic waves. These Rayleigh-type surface waves travel the wire surface at a specific velocity of 3,400 m s(-1) and backscatter the light with a Doppler shift of about 6 GHz. As these acoustic resonances are sensitive to surface defects or features, surface acoustic wave Brillouin scattering opens new opportunities for various sensing applications, but also in other domains such as microwave photonics and nonlinear plasmonics. PMID:25341638
Uniqueness theorems in linear elasticity
Knops, Robin John
1971-01-01
The classical result for uniqueness in elasticity theory is due to Kirchhoff. It states that the standard mixed boundary value problem for a homogeneous isotropic linear elastic material in equilibrium and occupying a bounded three-dimensional region of space possesses at most one solution in the classical sense, provided the Lame and shear moduli, A and J1 respectively, obey the inequalities (3 A + 2 J1) > 0 and J1>O. In linear elastodynamics the analogous result, due to Neumann, is that the initial-mixed boundary value problem possesses at most one solution provided the elastic moduli satisfy the same set of inequalities as in Kirchhoffs theorem. Most standard textbooks on the linear theory of elasticity mention only these two classical criteria for uniqueness and neglect altogether the abundant literature which has appeared since the original publications of Kirchhoff. To remedy this deficiency it seems appropriate to attempt a coherent description ofthe various contributions made to the study of uniquenes...
Dirac's theorem for random graphs
Lee, Choongbum
2011-01-01
A classical theorem of Dirac from 1952 asserts that every graph on $n$ vertices with minimum degree at least $\\lceil n/2 \\rceil$ is Hamiltonian. In this paper we extend this result to random graphs. Motivated by the study of resilience of random graph properties we prove that if $p \\gg \\log n /n$, then a.a.s. every subgraph of $G(n,p)$ with minimum degree at least $(1/2+o(1))np$ is Hamiltonian. Our result improves on previously known bounds, and answers an open problem of Sudakov and Vu. Both, the range of edge probability $p$ and the value of the constant 1/2 are asymptotically best possible.
Ehrenfest Theorem in Precanonical Quantization
Kanatchikov, I V
2015-01-01
We discuss the precanonical quantization of fields, which is based on the De Donder-Weyl (DW) Hamiltonian formulation and does not distinguish between the space and time variables. Classical field equations in DW Hamiltonian form are derived as the equations on the expectation values of the corresponding precanonical quantum operators. This field-theoretic generalization of the quantum mechanical Ehrenfest theorem demonstrates the consistency of three aspects of precanonical field quantization: the precanonical representation of operators in terms of the Clifford (Dirac) algebra valued partial differential operators, the Dirac-like precanonical generalization of the Schr\\"odinger equation without the distinguished time dimension, and the prescription of calculating the expectation values of operators using the Clifford-valued precanonical wave functions.
Singlet and triplet instability theorems
Yamada, Tomonori; Hirata, So, E-mail: sohirata@illinois.edu [Department of Chemistry, University of Illinois at Urbana-Champaign, 600 South Mathews Avenue, Urbana, Illinois 61801 (United States); CREST, Japan Science and Technology Agency, 4-1-8 Honcho, Kawaguchi, Saitama 332-0012 (Japan)
2015-09-21
A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree–Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree–Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree–Fock-theory-based explanations of Hund’s rule, a singlet instability in Jahn–Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions.
Magnetohydrodynamic stability comparison theorems revisited
Magnetohydrodynamic (MHD) stability comparison theorems are presented for several different plasma models, each one corresponding to a different level of collisionality: a collisional fluid model (ideal MHD), a collisionless kinetic model (kinetic MHD), and two intermediate collisionality hybrid models (Vlasov-fluid and kinetic MHD-fluid). Of particular interest is the re-examination of the often quoted statement that ideal MHD makes the most conservative predictions with respect to stability boundaries for ideal modes. Some of the models have already been investigated in the literature and we clarify and generalize these results. Other models are essentially new and for them we derive new comparison theorems. Three main conclusions can be drawn: (1) it is crucial to distinguish between ergodic and closed field line systems; (2) in the case of ergodic systems, ideal MHD does indeed make conservative predictions compared to the other models; (3) in closed line systems undergoing perturbations that maintain the closed line symmetry this is no longer true. Specifically, when the ions are collisionless and their gyroradius is finite, as in the Vlasov-fluid model, there is no compressibility stabilization. The Vlasov-fluid model is more unstable than ideal MHD. The reason for this is related to the wave-particle resonance associated with the perpendicular precession drift motion of the particles (i.e., the ExB drift and magnetic drifts), combined with the absence of any truly toroidally trapped particles. The overall conclusion is that to determine macroscopic stability boundaries for ideal modes for any magnetic geometry using a simple conservative approach, one should analyze the ideal MHD energy principle for incompressible displacements.
Singlet and triplet instability theorems
A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree–Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree–Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree–Fock-theory-based explanations of Hund’s rule, a singlet instability in Jahn–Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions
OTTER, Resolution Style Theorem Prover
1 - Description of program or function: OTTER (Other Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first-order logic with equality. OTTER includes the inference rules binary resolution, hyper-resolution, UR-resolution, and binary para-modulation. These inference rules take as small set of clauses and infer a clause. If the inferred clause is new and useful, it is stored and may become available for subsequent inferences. Other capabilities are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, and evaluable functions and predicates. 2 - Method of solution: For its inference process OTTER uses the given-clause algorithm, which can be viewed as a simple implementation of the set of support strategy. OTTER maintains three lists of clauses: axioms, sos (set of support), and demodulators. OTTER is not automatic. Even after the user has encoded a problem into first-order logic or into clauses, the user must choose inference rules, set options to control the processing of inferred clauses, and decide which input formulae or clauses are to be in the initial set of support and which, if any, equalities are to be demodulators. If OTTER fails to find a proof, the user may try again different initial conditions. 3 - Restrictions on the complexity of the problem - Maxima of: 5000 characters in an input string, 64 distinct variables in a clause, 51 characters in any symbol. The maxima can be changed by finding the appropriate definition in the header.h file, increasing the limit, and recompiling OTTER. There are a few constraints on the order of commands
Spectral shape of stimulated Brillouin scattering in crystals
Ohno, S.; Sonehara, T.; Tatsu, E.; Koreeda, A.; Saikan, S.
2015-12-01
We derived a formula to describe the stimulated Brillouin spectral shape in crystals for various temperatures ranging from room temperature to liquid-helium temperature. We modeled a sample as a one-dimensional system with a finite thickness in which the optically induced phonon propagates, partly interacting with the pump and probe laser beams. When the sample length is shorter than the propagation distance (i.e., the mean free path) of phonons, the spectral shape becomes multipeaked due to the multiple phonon reflections in the sample. Such a situation can be realized in a thin film or a bulk sample at low temperatures. We experimentally measured the Brillouin gain spectra with a multipeak structure in TeO2 and PbMoO4 crystals at low temperatures. We found that these spectra were reproduced by our formula for both the coaxial and off-axis phonon propagations with respect to the laser beams. It was revealed that our formula is very useful in estimating the phonon attenuation coefficient from the observed spectra, which gradually change from Lorentzian shape to a multipeak spectrum with decreasing temperature.
Brillouin distributed sensing using localized and stationary dynamic gratings
Primerov, Nikolay; Antman, Yair; Sancho, Juan; Zadok, Avi; Thevenaz, Luc
2012-04-01
In this work, we apply a recent technique for the generation of stimulated Brillouin scattering (SBS) dynamic gratings that are both localized and stationary to realize high-resolution distributed temperature sensing. The gratings generation method relies on the phase modulation of two pump waves by a common pseudo-random bit sequence (PRBS), with a symbol duration that is much shorter than the acoustic lifetime. This way the acoustic wave can efficiently build up in the medium at discrete locations only, where the phase difference between the two waves does not temporarily vary. The separation between neighboring correlation peaks can be made arbitrarily long. Using the proposed method, we experimentally demonstrate distributed temperature sensing with 5 cm resolution, based on modifications to both the local birefringence and the local Brillouin frequency shift in polarization maintaining fibers. The localization method does not require wideband detection and can generate the grating at any random position along the fiber, with complete flexibility. The phase-coding method is equally applicable to high-resolution SBS distributed sensing over standard fibers.
Brillouin scattering of light by spin waves in ferromagnetic nanorods
We report the investigations of spin wave modes of arrays of Ni and Co nanorods using Brillouin light scattering. We have revealed the significant influence of spin wave modes along the nanorod axis in contrast to infinite magnetic nanowires. Unusual optical properties featuring an inverted Stokes/anti-Stokes asymmetry of the Brillouin scattering spectra have been observed. The spectrum of spin wave modes in the nanorod array has been calculated and compared with the experiment. Experimental observations are explained in terms of a combined numerical–analytical approach taking into account both the low aspect ratio of individual magnetic nanorods and dipolar magnetic coupling between the nanorods in the array. The optical studies of spin-wave modes in nanorod metamaterials with low aspect ratio nanorods have revealed new magnetic and magneto-optical properties compared to continuous magnetic films or infinite magnetic nanowires. Such magnetic artificial materials are important class of active metamaterials needed for prospective data storage and signal processing applications.
The pointwise Hellmann-Feynman theorem
David Carfì
2010-02-01
Full Text Available In this paper we study from a topological point of view the Hellmann-Feynman theorem of Quantum Mechanics. The goal of the paper is twofold: On one hand we emphasize the role of the strong topology in the classic version of the theorem in Hilbert spaces, for what concerns the kind of convergence required on the space of continuous linear endomorphisms, which contains the space of (continuous observables.On the other hand we state and prove a new pointwise version of the classic Hellmann-Feynman theorem. This new version is not yet present in the literature and follows the idea of A. Bohm concerning the topology which is desiderable to use in Quantum Mechanics. It is indeed out of question that this non-trivial new version of the Hellmann-Feynman theorem is the ideal one - for what concerns the continuous observables on Hilbert spaces, both from a theoretical point of view, since it is the strongest version obtainable in this context - we recall that the pointwise topology is the coarsest one compatible with the linear structure of the space of continuous observables -, and from a practical point of view, because the pointwise topology is the easiest to use among topologies: it brings back the problems to the Hilbert space topology. Moreover, we desire to remark that this basic theorem of Quantum Mechanics, in his most desiderable form, is deeply interlaced with two cornerstones of Functional Analysis: the Banach-Steinhaus theorem and the Baire theorem.
An algebraic spin and statistics theorem
Guido, I D
1994-01-01
Abstract. A spin-statistics theorem and a PCT theorem are obtained in the context of the superselection sectors in Quantum Field Theory on a 4-dimensional space-time. Our main assumption is the requirement that the modular groups of the von Neumann algebras of local observables associated with wedge regions act geometrically as pure Lorentz transformations. Such a property, satisfied by the local algebras generated by Wightman fields because of the Bisognano-Wichmann theorem, is regarded as a natural primitive assumption.
A Generalization of Chaplygin's Reducibility Theorem
Fernandez, O E; Bloch, A M
2009-01-01
In this paper we study Chaplygin's Reducibility Theorem and extend its applicability to nonholonomic systems with symmetry described by the Hamilton-Poincare-d'Alembert equations in arbitrary degrees of freedom. As special cases we extract the extension of the Theorem to nonholonomic Chaplygin systems with nonabelian symmetry groups as well as Euler-Poincare-Suslov systems in arbitrary degrees of freedom. In the latter case, we also extend the Hamiltonization Theorem to nonholonomic systems which do not possess an invariant measure. Lastly, we extend previous work on conditionally variational systems using the results above. We illustrate the results through various examples of well-known nonholonomic systems.
Existence theorems for ordinary differential equations
Murray, Francis J
2007-01-01
Theorems stating the existence of an object-such as the solution to a problem or equation-are known as existence theorems. This text examines fundamental and general existence theorems, along with the Picard iterants, and applies them to properties of solutions and linear differential equations.The authors assume a basic knowledge of real function theory, and for certain specialized results, of elementary functions of a complex variable. They do not consider the elementary methods for solving certain special differential equations, nor advanced specialized topics; within these restrictions, th
Limit theorems for 2D invasion percolation
Damron, Michael
2010-01-01
We prove limit theorems and variance estimates for quantities related to ponds and outlets for 2D invasion percolation. We first exhibit several properties of a sequence (O(n)) of outlet variables, the n-th of which gives the number of outlets in the box centered at the origin of side length 2^n. The most important of these properties describe the sequence's renewal structure and exponentially fast mixing behavior. We use these to prove a central limit theorem and strong law of large numbers for (O(n)). We then show consequences of these limit theorems for the pond radii and outlet weights.
Quadratic Goldreich-Levin Theorems
Tulsiani, Madhur
2011-01-01
Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseudorandom with respect to linear phases. The Goldreich-Levin algorithm can be viewed as an algorithmic analogue of such a decomposition as it gives a way to efficiently find the linear phases associated with large Fourier coefficients. In the study of "quadratic Fourier analysis", higher-degree analogues of such decompositions have been developed in which the pseudorandomness property is stronger but the structured part correspondingly weaker. For example, it has previously been shown that it is possible to express a bounded function as a sum of a few quadratic phases plus a part that is small in the $U^3$ norm, defined by Gowers for the purpose of counting arithmetic progressions of length 4. We give a polynomial time algorithm for computing such a decomposition. A key part of the algorithm is a local self-correction procedure for Re...
Lorentz violating kinematics: threshold theorems
Baccetti, Valentina; Tate, Kyle; Visser, Matt
2012-03-01
Recent tentative experimental indications, and the subsequent theoretical speculations, regarding possible violations of Lorentz invariance have attracted a vast amount of attention. An important technical issue that considerably complicates detailed calculations in any such scenario, is that once one violates Lorentz invariance the analysis of thresholds in both scattering and decay processes becomes extremely subtle, with many new and naively unexpected effects. In the current article we develop several extremely general threshold theorems that depend only on the existence of some energy momentum relation E(p), eschewing even assumptions of isotropy or monotonicity. We shall argue that there are physically interesting situations where such a level of generality is called for, and that existing (partial) results in the literature make unnecessary technical assumptions. Even in this most general of settings, we show that at threshold all final state particles move with the same 3-velocity, while initial state particles must have 3-velocities parallel/anti-parallel to the final state particles. In contrast the various 3-momenta can behave in a complicatedand counter-intuitive manner.
Security Theorems via Model Theory
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.
TRANSVERSAL SPACES AND FIXED POINT THEOREMS
Sinia N. Ješić; Milan R. Tasković; Nataša Babačev
2007-01-01
In this paper we define Transversal functional probabilistic spaces (upper and lower) as a natural extension of Metric spaces, Probabilistic metric spaces and Fuzzy metric spaces. Also, we formulate and prove some fixed and common fixed point theorems.
Remarks on the Cayley-Hamilton Theorem
Gatto, Letterio; Scherbak, Inna
2015-01-01
We revisit the classical theorem by Cayley and Hamilton, "{\\em each endomorphism is a root of its own characteristic polynomial}", from the point of view of {\\em Hasse--Schmidt derivations on an exterior algebra}
Yet another proof of Szemeredi's theorem
Green, Ben
2010-01-01
Using the density-increment strategy of Roth and Gowers, we derive Szemeredi's theorem on arithmetic progressions from the inverse conjectures GI(s) for the Gowers norms, recently established by the authors and Ziegler.
Limit Theorems in Free Probability Theory I
Chistyakov, G. P.; Götze, F.
2006-01-01
Based on a new analytical approach to the definition of additive free convolution on probability measures on the real line we prove free analogs of limit theorems for sums for non-identically distributed random variables in classical Probability Theory.
Two No-Go Theorems on Superconductivity
Tada, Yasuhiro
2016-01-01
We study lattice superconductors such as attractive Hubbard models. As is well known, Bloch's theorem asserts absence of persistent current in ground states and equilibrium states for general fermion systems. While the statement of the theorem is true, we can show that the theorem cannot exclude possibility of a surface persistent current. Such a current can be stabilized by boundary magnetic fields which do not penetrate into the bulk region of a superconductor, provided emergence of massive photons, i.e., Meissner effect. Therefore, we can expect that a surface persistent current is realized for a ground/equilibrium state in the sense of stability against local perturbations. We also apply Elitzur's theorem to superconductors at finite temperatures. As a result, we prove absence of symmetry breaking of the global U(1) phase of electrons for almost all gauge fixings. These observations suggest that the nature of superconductivity is the emergence of massive photons rather than the symmetry breaking of the U(...
A generalized preimage theorem in global analysis
无
2001-01-01
The concept of locally fine point and generalized regular valueof a C1 map between Banach spaces were carried over C1 map between Banach manifolds. Hence the preimage theorem, a principle constructing Banach manifolds in global analysis, is generalized.
Interval logic. Proof theory and theorem proving
Rasmussen, Thomas Marthedal
2002-01-01
Real-time systems are computer systems which have to meet real-time constraints. To increase the confidence in such systems, formal methods and formal verification are utilized. The class of logics known as interval logics can be used for expressing properties and requirements of real-time systems...... labelled natural deduction system. We conduct theoretical investigations of the systems with respect to subformula properties, proof search, etc. The generic theorem proving system Isabelle is used as a framework for encoding both proof theoretical systems. We consider a number of examples/small case....... By theorem proving we understand the activity of proving theorems of a logic with the assistance of a computer. The goal of this thesis is to improve theorem proving support for interval logics such that larger and more realistic case-studies of real-time systems can be conducted using these...
Lambda-mu-calculus and Bohm's theorem
David, René; Py, Walter
2001-01-01
The lambda mu-calculus is an extension of the lambda-calculus that has been introduced by M. Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.
Transformation groups and the virial theorem
Kampen, N.G. van
1972-01-01
A generalization of Noether's result for classical mechanics is given, which shows that the virial theorem is related to an invariance property of the Lagrange function. Two examples are discussed in detail.
Lie Algebras and the Four Color Theorem
Bar-Natan, Dror
1996-01-01
We present a ``reasonable'' statement about Lie algebras that is equivalent to the Four Color Theorem. The notions appearing in the statement also appear in the theory of finite-type invariants of knots (Vassiliev invariants) and 3-manifolds.
On the failure of Bell's theorem
Bene, Gyula
1997-01-01
Using a new approach to quantum mechanics we revisit Hardy's proof for Bell's theorem and point out a loophole in it. We also demonstrate on this example that quantum mechanics is a local realistic theory.
Stable convergence and stable limit theorems
Häusler, Erich
2015-01-01
The authors present a concise but complete exposition of the mathematical theory of stable convergence and give various applications in different areas of probability theory and mathematical statistics to illustrate the usefulness of this concept. Stable convergence holds in many limit theorems of probability theory and statistics – such as the classical central limit theorem – which are usually formulated in terms of convergence in distribution. Originated by Alfred Rényi, the notion of stable convergence is stronger than the classical weak convergence of probability measures. A variety of methods is described which can be used to establish this stronger stable convergence in many limit theorems which were originally formulated only in terms of weak convergence. Naturally, these stronger limit theorems have new and stronger consequences which should not be missed by neglecting the notion of stable convergence. The presentation will be accessible to researchers and advanced students at the master's level...
Protein dynamics in Brillouin light scattering: Termal denaturation of hen egg white lysozyme
Svanidze, A. V.; Lushnikov, S. G.; Kojima, S.
2009-09-01
Thermal denaturation of hen egg white lysozyme has been investigated by Brillouin light scattering in the temperature range from 297 to 350 K. Anomalies in the temperature dependences of velocity and damping of hypersound and also in the behavior of the intensity of Brillouin components for the lysozyme solution at thermal denaturation have been revealed. These anomalies are attributable to phase transformations of the protein in the high-temperature region. It has been shown that Brillouin light scattering is a suitable tool for studying the structural evolution of proteins.
ESTIMATION OF SOUNDING ABILITY OF A BRILLOUIN LIDAR IN THE EAST CHINA SEA
吴东; 宋小全; 刘智深
2001-01-01
Vertical profiles of sound speed in the sea can be measured by using laser excited Brillouin scattering. In this paper the dependence of the accuracy of sound speed measurement on the accuracy of the Brillouin shift measurement is analyzed. We calculated the maximum detecting depths of sound speed to an accuracy of 1 m/s by lidar with different laser pulse energy, platform altitude, telescope aperture and lidar effective attenuation coefficient. The estimation of sounding ability in the East China Sea is made in some stations. These data can be used in the design of Brillouin Lidar for the China Sea.
A tunable multiwavelength Brillouin fiber laser with a semiconductor optical amplifier
A multiwavelength Brillouin fiber laser with wavelength tunability using a semiconductor optical amplifier (SOA) and a birefringence fiber loop mirror has been demonstrated. The inhomogeneous broadening, and flat and broad gain in the SOA make the proposed multiwavelength laser comparatively stable and have the potential to generate a large number of Brillouin lasing wavelengths. A stable multiwavelength output with a spectral spacing of the Brillouin frequency shift of 0.08 nm and a wavelength number of more than 91 has been successfully produced. Moreover, wavelength tuning over a 21 nm wavelength range has been achieved. (paper)
Effect of collisions on amplification of laser beams by Brillouin scattering in plasmas
Humphrey, K. A.; Trines, R. M. G. M.; Fiuza, F.; Speirs, D. C.; Norreys, P.; Cairns, R. A.; Silva, L. O.; Bingham, R.
2013-10-01
We report on particle in cell simulations of energy transfer between a laser pump beam and a counter-propagating seed beam using the Brillouin scattering process in uniform plasma including collisions. The results presented show that the ion acoustic waves excited through naturally occurring Brillouin scattering of the pump field are preferentially damped without affecting the driven Brillouin scattering process resulting from the beating of the pump and seed fields together. We find that collisions, including the effects of Landau damping, allow for a more efficient transfer of energy between the laser beams, and a significant reduction in the amount of seed pre-pulse produced.
Effect of collisions on amplification of laser beams by Brillouin scattering in plasmas
We report on particle in cell simulations of energy transfer between a laser pump beam and a counter-propagating seed beam using the Brillouin scattering process in uniform plasma including collisions. The results presented show that the ion acoustic waves excited through naturally occurring Brillouin scattering of the pump field are preferentially damped without affecting the driven Brillouin scattering process resulting from the beating of the pump and seed fields together. We find that collisions, including the effects of Landau damping, allow for a more efficient transfer of energy between the laser beams, and a significant reduction in the amount of seed pre-pulse produced
Importance of residual stresses in the Brillouin gain spectrum of single mode optical fibers.
Mamdem, Y Sikali; Burov, E; de Montmorillon, L-A; Jaouën, Y; Moreau, G; Gabet, R; Taillade, F
2012-01-16
Residual stresses inside optical fibers can impact significantly on Brillouin spectrum properties. We have analyzed the importance of internal stresses on the Brillouin Gain Spectrum (BGS) for a conventional G.652 fiber and compared modeling results to measurements. Then the residual internal stresses have been investigated for a set of trench-assisted fibers: fibers are coming from a single preform with different draw tensions. Numerical modeling based on measured internal stresses profiles are compared with corresponding BGS experimental results. Clearly, Brillouin spectrum is shifted linearly versus draw tension with a coefficient of -20MHz/100g and its linewidth increases. PMID:22274523
A new approach to measure the ocean temperature using Brillouin lidar
Wei Gao; Zhiwei Lü; Yongkang Dong; Weiming He
2006-01-01
@@ An approach of lidar measurements of ocean temperature through measuring the spectral linewidth of the backscattered Brillouin lines is presented. An empirical equation for the temperature as a function of Brillouin linewidth and salinity is derived. Theoretical results are in good agreement with the experimental data. The equation also reveals the dependence of the temperature on the salinity and Brillouin linewidth.It is shown that the uncertainty of the salinity has very little impact on the temperature measurement.The uncertainty of this temperature measurement methodology is approximately 0.02 ℃.
Brillouin lasing in whispering gallery micro-resonators
Sturman, B.; Breunig, I.
2015-12-01
Thresholds of stimulated Brillouin scattering (SBS) in solid-state whispering gallery mode (WGM) microresonators are analyzed. It is shown that the SBS interaction is substantially different here from that known in the bulk case and in the case of water droplet resonators. The reason is the absence of pure longitudinal acoustic WGMs owing to strong coupling of the longitudinal (l) and transverse (t) acoustic displacements at the surface of the resonator. As a result, a considerable increase of the SBS thresholds takes place, and the lowest thresholds correspond to the hybrid tl-modes with very large radial indices. Nevertheless, the thresholds lie in the μW range of the pump power. Dependence of the SBS power thresholds on the modal numbers and the possibility of self-tuning to the SBS resonance are analyzed.
Beyond the Brillouin limit with the Penning Fusion Experiment
Several years ago, it was proposed that a dense non-neutral plasma could be produced in a Penning trap. Nonneutral plasmas have excellent confinement, and such a dense plasma might produce simultaneously high density and good confinement. Recently, this theoretical conjecture has been demonstrated in a small (3 mm radius) electron experiment, PFX (Penning Fusion Experiment). Densities up to 35 times the Brillouin density (limiting number density in a static trap) have been inferred from the observed strong (100:1) spherical focusing. Electrons are injected at low energy from a single pole of the sphere. A surprising observation is the self-organization of the system into a spherical state, which occurs precisely when the trap parameters are adjusted to produce a spherical well. This organization is caused by a bootstrapping mechanism which produces a hysteresis. Observations of energy-scattered electrons confirm the existence of a dense spherical focus. copyright 1997 American Institute of Physics
The Einstein-Brillouin Action Quantization for Dirac Fermions
Onorato, P.
The Einstein-Brillouin-Keller semiclassical quantization and the topological Maslov index are used to compute the electronic structure of carbon based nanostructures with or without transverse magnetic field. The calculation is based on the Dirac Fermions approach in the limit of strong coupling for the pseudospin. The electronic bandstructure for carbon nanotubes and graphene nanoribbons are discussed, focusing on the role of the chirality and of the unbonded edges configuration respectively. The effects of a transverse uniform magnetic field are analyzed, the different kinds of classical trajectories are discussed and related to the corresponding energies. The development is concise, transparent, and involves only elementary integral calculus and provides a conceptual and intuitive introduction to the quantum nature of carbon nanostructures.
Bunching of temporal cavity solitons via forward Brillouin scattering
Erkintalo, Miro; Jang, Jae K; Coen, Stéphane; Murdoch, Stuart G
2015-01-01
We report on the experimental observation of bunching dynamics with temporal cavity solitons in a continuously-driven passive fibre resonator. Specifically, we excite a large number of ultrafast cavity solitons with random temporal separations, and observe in real time how the initially random sequence self-organizes into regularly-spaced aggregates. To explain our experimental observations, we develop a simple theoretical model that allows long-range acoustically-induced interactions between a large number of temporal cavity solitons to be simulated. Significantly, results from our simulations are in excellent agreement with our experimental observations, strongly suggesting that the soliton bunching dynamics arise from forward Brillouin scattering. In addition to confirming prior theoretical analyses and unveiling a new cavity soliton self-organization phenomenon, our findings elucidate the manner in which sound interacts with large ensembles of ultrafast pulses of light.
Dual-microcavity narrow-linewidth Brillouin laser
Loh, William; Baynes, Frederick; Cole, Daniel; Quinlan, Franklyn; Lee, Hansuek; Vahala, Kerry; Papp, Scott; Diddams, Scott
2014-01-01
Ultralow noise, yet tunable lasers are a revolutionary tool in precision spectroscopy, displacement measurements at the standard quantum limit, and the development of advanced optical atomic clocks. Further applications include LIDAR, coherent communications, frequency synthesis, and precision sensors of strain, motion, and temperature. While all applications benefit from lower frequency noise, many also require a laser that is robust and compact. Here, we introduce a dual-microcavity laser that leverages one chip-integrable silica microresonator to generate tunable 1550 nm laser light via stimulated Brillouin scattering (SBS) and a second microresonator for frequency stabilization of the SBS light. This configuration reduces the fractional frequency noise to $7.8\\times10^{-14} 1/\\sqrt{Hz}$ at 10 Hz offset, which is a new regime of noise performance for a microresonator-based laser. Our system also features terahertz tunability and the potential for chip-level integration. We demonstrate the utility of our du...
Brillouin resonance broadening due to structural variations in nanoscale waveguides
Wolff, Christian; Steel, Michael J; Eggleton, Benjamin J; Poulton, Christopher G
2015-01-01
We study the impact of structural variations (that is slowly varying geometry aberrations and internal strain fields) on the resonance width and shape of stimulated Brillouin scattering (SBS) in nanoscale waveguides. We find that they lead to an inhomogeneous resonance broadening through two distinct mechanisms: firstly, the acoustic frequency is directly influenced via mechanical nonlinearities; secondly, the optical wave numbers are influenced via the opto-mechanical nonlinearity leading to an additional acoustic frequency shift via the phase-matching condition. We find that this second mechanism is proportional to the opto-mechanical coupling and, hence, related to the SBS-gain itself. It is absent in intra-mode forward SBS, while it plays a significant role in backward scattering. In backward SBS increasing the opto-acoustic overlap beyond a threshold defined by the fabrication tolerances will therefore no longer yield the expected quadratic increase in overall Stokes amplification. Our results can be tra...
Coherent Rayleigh-Brillouin scattering as a flow diagnostic technique
Graul, J. S.; Lilly, T. C. [Department of Mechanical and Aerospace Engineering, University of Colorado Colorado Springs, 1420 Austin Bluffs Parkway, Colorado Springs, CO 80918 (United States)
2014-12-09
Broadband coherent Rayleigh-Brillouin scattering (CRBS) was used to measure translational gas temperatures for nitrogen at the ambient pressure of 0.8 atm using a purpose-built Fabry-Perot etalon spectrometer. Temperatures derived from the CRBS spectral analysis were compared with experimentally-measured temperatures, and were found to be, on average, within 2% of the experimentally-measured value. Axial flow velocities from a double jet at a pressure ratio of 0.38 were also measured by looking at the Doppler shift of the CRBS line shape. With recent developments in chirped laser technology and the capacity of CRBS to simultaneously provide thermodynamic and bulk flow information, the CRBS line shape acquisition and analysis technique presented here may allow for future time-resolved, characterization of aerospace flows.
Fishman, S.; Soffer, A.
2016-07-01
We employ the recently developed multi-time scale averaging method to study the large time behavior of slowly changing (in time) Hamiltonians. We treat some known cases in a new way, such as the Zener problem, and we give another proof of the adiabatic theorem in the gapless case. We prove a new uniform ergodic theorem for slowly changing unitary operators. This theorem is then used to derive the adiabatic theorem, do the scattering theory for such Hamiltonians, and prove some classical propagation estimates and asymptotic completeness.
The matrix Euler-Fermat theorem
We prove many congruences for binomial and multinomial coefficients as well as for the coefficients of the Girard-Newton formula in the theory of symmetric functions. These congruences also imply congruences (modulo powers of primes) for the traces of various powers of matrices with integer elements. We thus have an extension of the matrix Fermat theorem similar to Euler's extension of the numerical little Fermat theorem
A Theorem on Combinatorial Group Theory
何伯和
2000-01-01
Let F= F(X) be a free group of rand n, A be a finite subset of F(X) and x∈X be a generator. The theorem states that x can be denoted as a rotation-inserting word of A if x is in the normal closure of A in F(X). Finally, an application of the theorem in Heegaard splitting of 3manifolds is given.
In the present letter, Newton’s theorem for the gravitational field outside a uniform spherical shell is considered. In particular, a purely geometric proof of proposition LXXI/theorem XXXI of Newton’s Principia, which is suitable for undergraduates and even skilled high-school students, is proposed. Minimal knowledge of elementary calculus and three-dimensional Euclidean geometry are required. (letters and comments)
Fluctuation theorems for a molecular refrigerator.
Kim, Kyung Hyuk; Qian, Hong
2007-02-01
We extend fluctuation theorems to a molecular refrigeration system that consists of Brownian particles in a heat bath under feedback control of their velocities. Such control can actively remove heat from the bath due to an entropy-pumping mechanism [Phys. Rev. Lett. 93, 120602 (2004)]. The presence of entropy pumping in an underdamped Brownian system modifies both the Jarzynski equality and the fluctuation theorems. We discover that the entropy pumping has a dual role of work and heat. PMID:17358382
Levi-Civita's Theorem for Noncommutative Tori
Jonathan Rosenberg
2013-11-01
Full Text Available We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas.