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…
A Randomized Central Limit Theorem
Eliazar, Iddo; Klafter, Joseph
2010-05-01
The Central Limit Theorem (CLT), one of the most elemental pillars of Probability Theory and Statistical Physics, asserts that: the universal probability law of large aggregates of independent and identically distributed random summands with zero mean and finite variance, scaled by the square root of the aggregate-size (√{n}), is Gaussian. The scaling scheme of the CLT is deterministic and uniform - scaling all aggregate-summands by the common and deterministic factor √{n}. This Letter considers scaling schemes which are stochastic and non-uniform, and presents a "Randomized Central Limit Theorem" (RCLT): we establish a class of random scaling schemes which yields universal probability laws of large aggregates of independent and identically distributed random summands. The RCLT universal probability laws, in turn, are the one-sided and the symmetric Lévy laws.
A Randomized Central Limit Theorem
International Nuclear Information System (INIS)
The Central Limit Theorem (CLT), one of the most elemental pillars of Probability Theory and Statistical Physics, asserts that: the universal probability law of large aggregates of independent and identically distributed random summands with zero mean and finite variance, scaled by the square root of the aggregate-size (√(n)), is Gaussian. The scaling scheme of the CLT is deterministic and uniform - scaling all aggregate-summands by the common and deterministic factor √(n). This Letter considers scaling schemes which are stochastic and non-uniform, and presents a 'Randomized Central Limit Theorem' (RCLT): we establish a class of random scaling schemes which yields universal probability laws of large aggregates of independent and identically distributed random summands. The RCLT universal probability laws, in turn, are the one-sided and the symmetric Levy laws.
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…
Central Limit Theorem for Coloured Hard Dimers
Directory of Open Access Journals (Sweden)
Maria Simonetta Bernabei
2010-01-01
Full Text Available We study the central limit theorem for a class of coloured graphs. This means that we investigate the limit behavior of certain random variables whose values are combinatorial parameters associated to these graphs. The techniques used at arriving this result comprise combinatorics, generating functions, and conditional expectations.
Central Limit Theorem for Nonlinear Hawkes Processes
Zhu, Lingjiong
2012-01-01
Hawkes process is a self-exciting point process with clustering effect whose jump rate depends on its entire past history. It has wide applications in neuroscience, finance and many other fields. Linear Hawkes process has an immigration-birth representation and can be computed more or less explicitly. It has been extensively studied in the past and the limit theorems are well understood. On the contrary, nonlinear Hawkes process lacks the immigration-birth representation and is much harder to analyze. In this paper, we obtain a functional central limit theorem for nonlinear Hawkes process.
A Central Limit Theorem for Punctuated Equilibrium
Bartoszek, Krzysztof
2016-01-01
Current evolutionary biology models usually assume that a phenotype undergoes gradual change. This is in stark contrast to biological intuition, which indicates that change can also be punctuated - the phenotype can jump. Such a jump can especially occur at speciation, i.e. dramatic change occurs that drives the species apart. Here we derive a central limit theorem for punctuated equilibrium. We show that, if adaptation is fast, for weak convergence to hold, dramatic change has to be a rare e...
Central limit theorem and deformed exponentials
International Nuclear Information System (INIS)
The central limit theorem (CLT) can be ranked among the most important ones in probability theory and statistics and plays an essential role in several basic and applied disciplines, notably in statistical thermodynamics. We show that there exists a natural extension of the CLT from exponentials to so-called deformed exponentials (also denoted as q-Gaussians). Our proposal applies exactly in the usual conditions in which the classical CLT is used. (fast track communication)
Sticky central limit theorems on open books
Hotz, Thomas; Le, Huiling; Marron, J Stephen; Mattingly, Jonathan C; Miller, Ezra; Nolen, James; Owen, Megan; Patrangenaru, Vic; Skwerer, Sean
2012-01-01
Given a probability distribution on an open book (a metric space obtained by gluing a disjoint union of copies of a half-space along their boundary hyperplanes), we define a precise concept of when the Fr\\'echet mean (barycenter) is "sticky". This non-classical phenomenon is quantified by a law of large numbers (LLN) stating that the empirical mean eventually almost surely lies on the (codimension 1 and hence measure 0) "spine" that is the glued hyperplane, and a central limit theorem (CLT) stating that the limiting distribution is Gaussian and supported on the spine. We also state versions of the LLN and CLT for the cases where the mean is nonsticky (that is, not lying on the spine) and partly sticky (that is, on the spine but not sticky).
A central limit theorem for a new statistic on permutations
Chatterjee, Sourav; Diaconis, Persi
2016-01-01
This paper does three things: It proves a central limit theorem for a novel permutation statistic, the number of descents plus the number of descents in the inverse. It provides a clear illustration of a new approach to proving central limit theorems more generally. It gives us an opportunity to acknowledge the work of our teacher and friend B. V. Rao.
Central limit theorem for reducible and irreducible open quantum walks
Sadowski, Przemysław; Pawela, Łukasz
2016-04-01
In this work we aim at proving central limit theorems for open quantum walks on {{Z}}^d . We study the case when there are various classes of vertices in the network. In particular, we investigate two ways of distributing the vertex classes in the network. First, we assign the classes in a regular pattern. Secondly, we assign each vertex a random class with a transition invariant distribution. For each way of distributing vertex classes, we obtain an appropriate central limit theorem, illustrated by numerical examples. These theorems may have application in the study of complex systems in quantum biology and dissipative quantum computation.
Central limit theorem for reducible and irreducible open quantum walks
Sadowski, Przemysław; Pawela, Łukasz
2016-07-01
In this work we aim at proving central limit theorems for open quantum walks on {mathbb {Z}}^d. We study the case when there are various classes of vertices in the network. In particular, we investigate two ways of distributing the vertex classes in the network. First, we assign the classes in a regular pattern. Secondly, we assign each vertex a random class with a transition invariant distribution. For each way of distributing vertex classes, we obtain an appropriate central limit theorem, illustrated by numerical examples. These theorems may have application in the study of complex systems in quantum biology and dissipative quantum computation.
Central limit theorem for Fourier transform of stationary processes
Peligrad, Magda
2009-01-01
We consider asymptotic behavior of Fourier transforms of stationary ergodic sequences with finite second moments. We establish the central limit theorem (CLT) for almost all frequencies and also the annealed CLT. The theorems hold for all regular sequences. Our results shed new light on the foundation of spectral analysis and on the asymptotic distribution of periodogram, and it provides a nice blend of harmonic analysis, theory of stationary processes and theory of martingales.
Improving Conceptions in Analytical Chemistry: The Central Limit Theorem
Rodriguez-Lopez, Margarita; Carrasquillo, Arnaldo, Jr.
2006-01-01
This article describes the central limit theorem (CLT) and its relation to analytical chemistry. The pedagogic rational, which argues for teaching the CLT in the analytical chemistry classroom, is discussed. Some analytical chemistry concepts that could be improved through an understanding of the CLT are also described. (Contains 2 figures.)
Central Limit Theorems for Multicolor Urns with Dominated Colors
Berti, Patrizia; Pratelli, Luca; Rigo, Pietro
2009-01-01
An urn contains balls of d colors. At each time, a ball is drawn and then replaced together with a random number of balls of the same color. Assuming that some colors are dominated by others, we prove central limit theorems. Some statistical applications are discussed.
The Central Limit Theorem for the Smoluchovski Coagulation Model
Kolokoltsov, Vassili
2007-01-01
The general model of coagulation is considered. For basic classes of unbounded coagulation kernels the central limit theorem (CLT) is obtained for the fluctuations around the dynamic law of large numbers (LLN). A rather precise rate of convergence is given both for LLN and CLT.
Almost sure central limit theorems for random functions
Institute of Scientific and Technical Information of China (English)
LU Chuanrong; QIU Jin; XU Jianjun
2006-01-01
Let {Xn,-∞＜ n ＜∞} be a sequence of independent identically distributed be a random function such that Tn = ASn+ Rn,where supnE|Rn|＜∞ and Rn = o(√n)a.s.,or Rn = O(n1/2-2γ) a.s.,0 ＜γ＜ 1/8.In this paper,we prove the almost sure central limit theorem (ASCLT) and the function-typed almost sure central limit theorem (FASCLT) for the random function Tn.As a consequence,it can be shown that ASCLT and FASCLT also hold for U-statistics,Von-Mises statistics,linear processes,moving average processes,error variance estimates in linear models,power sums,product-limit estimators of a continuous distribution,product-limit estimators of a quantile function,etc.
Central limit theorem of linear regression model under right censorship
Institute of Scientific and Technical Information of China (English)
HE; Shuyuan(何书元); HUANG; Xiang(Heung; Wong)(黄香)
2003-01-01
In this paper, the estimation of joint distribution F(y,z) of (Y, Z) and the estimation in thelinear regression model Y = b′Z + ε for complete data are extended to that of the right censored data. Theregression parameter estimates of b and the variance of ε are weighted least square estimates with randomweights. The central limit theorems of the estimators are obtained under very weak conditions and the derivedasymptotic variance has a very simple form.
Functional central limit theorems for single-stage samplings designs
Boistard, Hélène; Lopuhaä, Hendrik P.; Ruiz-Gazen, Anne
2015-01-01
For a joint model-based and design-based inference, we establish functional central limit theorems for the Horvitz-Thompson empirical process and the H\\'ajek empirical process centered by their finite population mean as well as by their super-population mean in a survey sampling framework. The results apply to single-stage unequal probability sampling designs and essentially only require conditions on higher order correlations. We apply our main results to a Hadamard differentiable statistica...
FAST TRACK COMMUNICATION: Central limit theorem and deformed exponentials
Vignat, C.; Plastino, A.
2007-11-01
The central limit theorem (CLT) can be ranked among the most important ones in probability theory and statistics and plays an essential role in several basic and applied disciplines, notably in statistical thermodynamics. We show that there exists a natural extension of the CLT from exponentials to so-called deformed exponentials (also denoted as q-Gaussians). Our proposal applies exactly in the usual conditions in which the classical CLT is used.
Two-parameter Non-commutative Central Limit Theorem
Blitvić, Natasha
2012-01-01
The non-commutative Central Limit Theorem (CLT) introduced by Speicher in 1992 states that given almost any sequence of non-commutative random variables that commute or anti-commute pair-wise, the *-moments of the normalized partial sum S_N=(b_1+...+ b_N)/\\sqrt{N} are given by a Wick-type formula refined to count the number of crossings in the underlying pair-partitions. When coupled with explicit matrix models, the theorem yields random matrix models for creation and annihilation operators on the q-Fock space of Bozejko and Speicher. In this paper, we derive a non-commutative CLT when the pair-wise commutation coefficients are real numbers (as opposed to signs). The statistics of the limiting random variable are a second-parameter refinement of those above, jointly indexing the number of crossings and nestings in the underlying pair-partitions. Coupled with analogous matrix constructions, the theorem yields random matrix models for creation and annihilation operators on the recently introduced (q,t)-Fock spa...
Continuous-variable entanglement distillation and noncommutative central limit theorems
Campbell, Earl T.; Genoni, Marco G.; Eisert, Jens
2013-04-01
Entanglement distillation transforms weakly entangled noisy states into highly entangled states, a primitive to be used in quantum repeater schemes and other protocols designed for quantum communication and key distribution. In this work, we present a comprehensive framework for continuous-variable entanglement distillation schemes that convert noisy non-Gaussian states into Gaussian ones in many iterations of the protocol. Instances of these protocols include (a) the recursive-Gaussifier protocol, (b) the temporally reordered recursive-Gaussifier protocol, and (c) the pumping-Gaussifier protocol. The flexibility of these protocols gives rise to several beneficial trade-offs related to success probabilities or memory requirements, which can be adjusted to reflect experimental demands. Despite these protocols involving measurements, we relate the convergence in this protocol to new instances of noncommutative central limit theorems, in a formalism that we lay out in great detail. Implications of the findings for quantum repeater schemes are discussed.
Central limit theorem behavior in the skew tent map
International Nuclear Information System (INIS)
In this paper we study and establish central limit theorem behavior in the skew (generalized) tent map transformation T: Y →Y originally considered by Billings and Bollt [Billings L, Bollt EM. Probability density functions of some skew tent maps. Chaos, Solitons and Fractals 2001; 12: 365-376] and Ito et al. [Ito S, Tanaka S, Nakada H. On unimodal linear transformations and chaos. II. Tokyo J Math 1979; 2: 241-59]. When the measure ν is invariant under T, the transfer operator PT:L1(ν)→L1(ν) governing the evolution of densities f under the action of the skew tent map, as well as the unique stationary density, are given explicitly for specific transformation parameters. Then, using this development, we solve the Poisson equation f=PTf+φ for two specific integrable observables φ and explicitly calculate the variance σ(φ)2=∫Yφ2(y)ν(dy)
Central limit theorem for products of toral automorphisms
Conze, Jean-Pierre; Roger, Mikaël
2010-01-01
Let $(\\tau_n)$ be a sequence of toral automorphisms $\\tau_n : x \\rightarrow A_n x \\hbox{mod}\\ZZ^d$ with $A_n \\in {\\cal A}$, where ${\\cal A}$ is a finite set of matrices in $SL(d, \\mathbb{Z})$. Under some conditions the method of "multiplicative systems" of Koml\\`os can be used to prove a Central Limit Theorem for the sums $\\sum_{k=1}^n f(\\tau_k \\circ \\tau_{k-1} \\cdots \\circ \\tau_1 x)$ if $f$ is a H\\"older function on $\\mathbb{T}^d$. These conditions hold for $2\\times 2$ matrices with positive coefficients. In dimension $d$ they can be applied when $A_n= A_n(\\omega)$, with independent choices of $A_n(\\omega)$ in a finite set of matrices $\\in SL(d, \\mathbb{Z})$, in order to prove a "quenched" CLT.
An almost Sure Central Limit Theorem for the Weight Function Sequences of NA Random Variables
Indian Academy of Sciences (India)
Qunying Wu
2011-08-01
Consider the weight function sequences of NA random variables. This paper proves that the almost sure central limit theorem holds for the weight function sequences of NA random variables. Our results generalize and improve those on the almost sure central limit theorem previously obtained from the i.i.d. case to NA sequences.
A multivariate central limit theorem for continuous local martingales
Zanten, van, M.
1998-01-01
A theorem on the weak convergence of a properly normalized multivariate continuous local martingale is proved. The time-change theorem used for this purpose allows for short and transparent arguments.
A GUE Central Limit Theorem and Universality of Directed First and Last Passage Site Percolation
Baik, Jinho; Suidan, Toufic M.
2004-01-01
We prove a GUE central limit theorem for random variables with finite fourth moment. We apply this theorem to prove that the directed first and last passage percolation problems in thin rectangles exhibit universal fluctuations given by the Tracy-Widom law.
Vitesse dans le theoreme limite central pour certains processus stationnaires fortement decorreles
Borgne, Stephane Le; Pene, Francoise
2003-01-01
We prove a central limit theorem with speed $n^{-1/2}$ for stationary processes satisfying a strong decorrelation hypothesis. The proof is a modification of the proof of a theorem of Rio. It is elementary but quite long and technical.
Central limit theorems for multivariate semi-Markov sequences and processes, with applications
Ball, Frank
1999-01-01
In this paper, central limit theorems for multivariate semi-Markov sequences and processes are obtained, both as the number of jumps of the associated Markov chain tends to infinity and, if appropriate, as the time for which the process has been running tends to infinity. The theorems are widely applicable since many functions defined on Markov or semi-Markov processes can be analysed by exploiting appropriate embedded multivariate semi-Markov sequences. An application to a ...
Central limit theorem for the Banach-valued weakly dependent random variables
International Nuclear Information System (INIS)
The central limit theorem (CLT) for the Banach-valued weakly dependent random variables is proved. In proving CLT convergence of finite-measured (i.e. cylindrical) distributions is established. A weak compactness of the family of measures generated by a certain sequence is confirmed. The continuity of the limiting field is checked
Central limit theorems for smoothed extreme value estimates of Poisson point processes boundaries
Girard, Stéphane; Menneteau, Ludovic
2011-01-01
In this paper, we give sufficient conditions to establish central limit theorems for boundary estimates of Poisson point processes. The considered estimates are obtained by smoothing some bias corrected extreme values of the point process. We show how the smoothing leads Gaussian asymptotic distributions and therefore pointwise confidence intervals. Some new unidimensional and multidimensional examples are provided.
Central limit theorems for smoothed extreme value estimates of point processes boundaries
Girard, Stéphane; Menneteau, Ludovic
2005-01-01
In this paper, we give sufficient conditions to establish central limit theorems for boundary estimates of Poisson point processes. The considered estimates are obtained by smoothing some bias corrected extreme values of the point process. We show how the smoothing leads Gaussian asymptotic distributions and therefore pointwise confidence intervals. Some new unidimensional and multidimensional examples are provided.
The Power of Doing: A Learning Exercise That Brings the Central Limit Theorem to Life
Price, Barbara A.; Zhang, Xiaolong
2007-01-01
This article demonstrates an active learning technique for teaching the Central Limit Theorem (CLT) in an introductory undergraduate business statistics class. Groups of students carry out one of two experiments in the lab, tossing a die in sets of 5 rolls or tossing a die in sets of 10 rolls. They are asked to calculate the sample average of each…
Local Central Limit Theorem for diffusions in a degenerate and unbounded Random Medium
Chiarini, Alberto; Deuschel, Jean-Dominique
2015-01-01
We study a symmetric diffusion $X$ on $\\mathbb{R}^d$ in divergence form in a stationary and ergodic environment, with measurable unbounded and degenerate coefficients. We prove a quenched local central limit theorem for $X$, under some moment conditions on the environment; the key tool is a local parabolic Harnack inequality obtained with Moser iteration technique.
A Functional Central Limit Theorem for a Class of Urn Models
Indian Academy of Sciences (India)
Gopal K Basak; Amites Dasgupta
2005-11-01
We construct an independent increments Gaussian process associated to a class of multicolor urn models. The construction uses random variables from the urn model which are different from the random variables for which central limit theorems are available in the two color case.
Central Limit Theorems for a Class of Irreducible Multicolor Urn Models
Indian Academy of Sciences (India)
Gopal K Basak; Amites Dasgupta
2007-11-01
We take a unified approach to central limit theorems for a class of irreducible multicolor urn models with constant replacement matrix. Depending on the eigenvalue, we consider appropriate linear combinations of the number of balls of different colors. Then under appropriate norming the multivariate distribution of the weak limits of these linear combinations is obtained and independence and dependence issues are investigated. Our approach consists of looking at the problem from the viewpoint of recursive equations.
Central limit theorems for directional and linear random variables with applications
García-Portugués, Eduardo; Crujeiras, Rosa M.; González-Manteiga, Wenceslao
2014-01-01
A central limit theorem for the integrated squared error of the directional-linear kernel density estimator is established. The result enables the construction and analysis of two testing procedures based on squared loss: a nonparametric independence test for directional and linear random variables and a goodness-of-fit test for parametric families of directional-linear densities. Limit distributions for both test statistics, and a consistent bootstrap strategy for the goodness-of-fit test, a...
Central limit theorems for the excursion sets volumes of weakly dependent random fields
Bulinski, Alexander; Timmermann, Florian
2010-01-01
The multivariate central limit theorems (CLT) for the volumes of excursion sets of stationary quasi-associated random fields on $\\mathbb{R}^d$ are proved. Special attention is paid to Gaussian and shot noise fields. Formulae for the covariance matrix of the limiting distribution are provided. Statistical versions of the CLT are considered as well. They employ three different estimators of the asymptotic covariance matrix. Some numerical results are also discussed.
A Central Limit Theorem for Convolution Equations and Weakly Self-Avoiding Walks
Bolthausen, Erwin; Ritzmann, Christine
2001-01-01
The main result of this paper is a general central limit theorem for distributions defined by certain renewal type equations. We apply this to weakly self-avoiding random walks. We give good error estimates and Gaussian tail estimates which have not been obtained by other methods. We use the lace expansion and at the same time develop a new perspective on this method: We work with a fixed point argument directly in the x-space without using Laplace or Fourier transformation.
On the Effect of Random Norming on the Rate of Convergence in the Central Limit Theorem
Hall, Peter
1988-01-01
It is shown that "studentizing," i.e., normalizing by the sample standard deviation rather than the population standard deviation, can improve the rate of convergence in the central limit theorem. This provides concise confirmation of one feature of the folklore that a studentized sum is in some sense more robust than a normed sum. The case of infinite population standard deviation is also examined.
Central limit theorem for first-passage percolation time across thin cylinders
Chatterjee, Sourav
2009-01-01
We prove that first-passage percolation times across thin cylinders of the form $[0,n]\\times [-h_n,h_n]^{d-1}$ obey Gaussian central limit theorems as long as $h_n$ grows slower than $n^{1/(d+1)}$. It is an open question as to what is the fastest that $h_n$ can grow so that a Gaussian CLT still holds. We conjecture that $n^{1/(d+1)}$ is the right answer for $d\\ge 2$.
Zipf's law is not a consequence of the central limit theorem
Troll, G.; Beim Graben, P.
1998-02-01
It has been observed that the rank statistics of string frequencies of many symbolic systems (e.g., word frequencies of natural languages) follows Zipf's law in good approximation. We show that, contrary to claims in the literature, Zipf's law cannot be realized by the central limit theorem(s). The observation that a log-normal distribution of string frequencies yields an approximately Zipf-like rank statistics is actually misleading. Indeed, Zipf's law for the rank statistics is strictly equivalent to a power law distribution of frequencies. There are two natural ways to perform the infinite size limit for the vocabulary. The first one is the method of choice in the literature; it makes the upper word length bound tend to infinity and leads in the case of a multistate Bernoulli process via a central limit theorem to a log-normal frequency distribution. An alternative and for text samples actually better realizable way is to make the lower frequency bound tend to zero. This limit procedure leads to a power law distribution and hence to Zipf's law-at least for Bernoulli processes and to a very good approximation for natural languages where it passes the χ2 test. For the Bernoulli case we will give a heuristic proof.
Bodnar, Taras; Mazur, Stepan; Parolya, Nestor
2016-01-01
In this paper we consider the asymptotic distributions of functionals of the sample covariance matrix and the sample mean vector obtained under the assumption that the matrix of observations has a matrix variate general skew normal distribution. The central limit theorem is derived for the product of the sample covariance matrix and the sample mean vector. Moreover, we consider the product of an inverse covariance matrix and the mean vector for which the central limit theorem is established a...
Taming systematic uncertainties at the LHC with the central limit theorem
Fichet, Sylvain
2016-01-01
We study the simplifications occurring in any likelihood function in the presence of a large number of small systematic uncertainties. We find that the marginalisation of these uncertainties can be done analytically by means of second-order error propagation, error combination, the Lyapunov central limit theorem, and under mild approximations which are typically satisfied for LHC likelihoods. The outcomes of this analysis are i) a very light treatment of systematic uncertainties ii) a convenient way of reporting the main effects of systematic uncertainties such as the detector effects occuring in LHC measurements.
A central limit theorem for the determinant of a Wigner matrix
Tao, Terence; Vu, Van
2011-01-01
We establish a central limit theorem for the log-determinant $\\log|\\det(M_n)|$ of a Wigner matrix $M_n$, under the assumption of four matching moments with either the GUE or GOE ensemble. More specifically, we show that this log-determinant is asymptotically distributed like $N(\\log \\sqrt{n!} - 1/2 \\log n, 1/2 \\log n)_\\R$ when one matches moments with GUE, and $N(\\log \\sqrt{n!} - 1/4 \\log n, 1/4 \\log n)_\\R$ when one matches moments with GOE.
Directory of Open Access Journals (Sweden)
Juan Carlos Aquino
2013-06-01
Full Text Available The application of different unit root statistics is by now a standard practice in empirical work. Even when it is a practical issue, these statistics have complex nonstandard distributions depending on functionals of certain stochastic processes, and their derivations represent a barrier even for many theoretical econometricians. These derivations are based on rigorous and fundamental statistical tools which are not (very well known by standard econometricians. This paper aims to fill this gap by explaining in a simple way one of these fundamental tools: namely, the Functional Central Limit Theorem. To this end, this paper analyzes the foundations and applicability of two versions of the Functional Central Limit Theorem within the framework of a unit root with a structural break. Initial attention is focused on the probabilistic structure of the time series to be considered. Thereafter, attention is focused on the asymptotic theory for nonstationary time series proposed by Phillips (1987a, which is applied by Perron (1989 to study the effects of an (assumed exogenous structural break on the power of the augmented Dickey-Fuller test and by Zivot and Andrews (1992 to criticize the exogeneity assumption and propose a method for estimating an endogenous breakpoint. A systematic method for dealing with efficiency issues is introduced by Perron and Rodriguez (2003, which extends the Generalized Least Squares detrending approach due to Elliot et al. (1996. An empirical application is provided.
Corrections to the Central Limit Theorem for Heavy-Tailed Probability Densities
Lam, Henry; Burch, Damian; Bazant, Martin Z
2011-01-01
Classical Edgeworth expansions provide asymptotic correction terms to the Central Limit Theorem (CLT) up to an order that depends on the number of moments available. In this paper, we provide subsequent correction terms beyond those given by a standard Edgeworth expansion in the general case of regularly varying distributions with diverging moments (beyond the second). The subsequent terms can be expressed in a simple closed form in terms of certain special functions (Dawson's integral and parabolic cylinder functions), and there are qualitative differences depending on whether the number of moments available is even, odd or not an integer, and whether the distributions are symmetric or not. If the increments have an even number of moments, then additional logarithmic corrections must also be incorporated in the expansion parameter. An interesting feature of our correction terms for the CLT is that they become dominant outside the central region and blend naturally with known large-deviation asymptotics when ...
Sanov and central limit theorems for output statistics of quantum Markov chains
International Nuclear Information System (INIS)
In this paper, we consider the statistics of repeated measurements on the output of a quantum Markov chain. We establish a large deviations result analogous to Sanov’s theorem for the multi-site empirical measure associated to finite sequences of consecutive outcomes of a classical stochastic process. Our result relies on the construction of an extended quantum transition operator (which keeps track of previous outcomes) in terms of which we compute moment generating functions, and whose spectral radius is related to the large deviations rate function. As a corollary to this, we obtain a central limit theorem for the empirical measure. Such higher level statistics may be used to uncover critical behaviour such as dynamical phase transitions, which are not captured by lower level statistics such as the sample mean. As a step in this direction, we give an example of a finite system whose level-1 (empirical mean) rate function is independent of a model parameter while the level-2 (empirical measure) rate is not
A necessary moment condition for the fractional functional central limit theorem
DEFF Research Database (Denmark)
Johansen, Søren; Nielsen, Morten Ørregaard
2012-01-01
innovation sequence. When d is close to -1/2 this moment condition is very strong. Our main result is to show that when -1/2
Central limit theorem for a class of globally correlated random variables
Budini, Adrián A.
2016-06-01
The standard central limit theorem with a Gaussian attractor for the sum of independent random variables may lose its validity in the presence of strong correlations between the added random contributions. Here, we study this problem for similar interchangeable globally correlated random variables. Under these conditions, a hierarchical set of equations is derived for the conditional transition probabilities. This result allows us to define different classes of memory mechanisms that depend on a symmetric way on all involved variables. Depending on the correlation mechanisms and statistics of the single variables, the corresponding sums are characterized by distinct probability densities. For a class of urn models it is also possible to characterize their domain of attraction, which, as in the standard case, is parametrized by the probability density of each random variable. Symmetric and asymmetric q -Gaussian attractors (q <1 ) arise in a particular two-state case of these urn models.
A central-limit theorem for a single-false match rate
Dietz, Zachariah; Schuckers, Michael E.
2010-04-01
In this paper, we present a central limit theorem (CLT) for the estimation of a false match rate for a single matching system. The false match rate is often a significant factor in an evaluation of such a matching system. To achieve the main result here we utilize the covariance/correlation structure for matching proposed by Schuckers. Along with the main result we present an illustration of the methodology here on biometric authentication data from Ross and Jain. This illustration is from resampling match decisions on three different biometric modalities: hand geometry, fingerprint and facial recognition and shows that as the number of matching pairs grows the sampling distribution for an FMR approaches a Gaussian distribution. These results suggest that statistical inference for a FMR based upon a Gaussian distribution is appropriate.
Institute of Scientific and Technical Information of China (English)
WANG YUEBAO; YANG YANG; ZHOU HAIYANG
2003-01-01
A random functional central limit theorem is obtained for processes of partial sums andproduct sums of linear processes generated by non-stationary martingale differences. It devel-ops and improves some corresponding results on processes of partial sums of linear processesgenerated by strictly stationary martingale differences, which can be found in [5].
Institute of Scientific and Technical Information of China (English)
PENG ShiGe
2009-01-01
This is a survey on normal distributions and the related central limit theorem under sublinear expectation. We also present Brownian motion under sublinear expectations and the related stochastic calculus of Ito's type. The results provide new and robust tools for the problem of probability model uncertainty arising in financial risk, statistics and other industrial problems.
Institute of Scientific and Technical Information of China (English)
2009-01-01
This is a survey on normal distributions and the related central limit theorem under sublinear expectation.We also present Brownian motion under sublinear expectations and the related stochastic calculus of It?’s type.The results provide new and robust tools for the problem of probability model uncertainty arising in financial risk,statistics and other industrial problems.
A necessary moment condition for the fractional functional central limit theorem
DEFF Research Database (Denmark)
Johansen, Søren; Nielsen, Morten Ørregaard
the innovation sequence. When d is close to -1/2 this moment condition is very strong. Our main result is to show that under some relatively weak conditions on u_{t}, the existence of q≥max(2,(d+1/2)^{-1}) is in fact necessary for the FCLT for fractionally integrated processes and that q>max(2,(d+1......We discuss the moment condition for the fractional functional central limit theorem (FCLT) for partial sums of x_{t}=Delta^{-d}u_{t}, where d in (-1/2,1/2) is the fractional integration parameter and u_{t} is weakly dependent. The classical condition is existence of q>max(2,(d+1/2)^{-1}) moments of....../2)^{-1}) moments are necessary and sufficient for more general fractional processes. Davidson and de Jong (2000) presented a fractional FCLT where only q>2 finite moments are assumed, which is remarkable because it is the only FCLT where the moment condition has been weakened relative to the earlier condition. As...
A Necessary Moment Condition for the Fractional Functional Central Limit Theorem
DEFF Research Database (Denmark)
Johansen, Søren; Nielsen, Morten Ørregaard
innovation sequence. When d is close to -1/2 this moment condition is very strong. Our main result is to show that under some relatively weak conditions on u(t), the existence of q=max(2,(d+1/2)-¹) is in fact necessary for the FCLT for fractionally integrated processes and that q>max(2,(d+1/2)-¹) moments are......We discuss the moment condition for the fractional functional central limit theorem (FCLT) for partial sums of x(t)=¿^(-d)u(t), where d ¿ (-1/2,1/2) is the fractional integration parameter and u(t) is weakly dependent. The classical condition is existence of q>max(2,(d+1/2)-¹) moments of the...... necessary and sufficient for more general fractional processes. Davidson and de Jong (2000) presented a fractional FCLT where only q>2 finite moments are assumed, which is remarkable because it is the only FCLT where the moment condition has been weakened relative to the earlier condition. As a corollary to...
Martingale approximation and optimality of some conditions for the central limit theorem
Volný, Dalibor
2009-01-01
Let $(X_i)$ be a stationary and ergodic Markov chain with kernel $Q$, $f$ an $L^2$ function on its state space. If $Q$ is a normal operator and $f = (I-Q)^{1/2}g$ (which is equivalent to the convergence of $\\sum_{n=1}^\\infty \\frac{\\sum_{k=0}^{n-1}Q^kf}{n^{3/2}}$ in $L^2$), we have the central limit theorem (cf\\. \\cite{D-L 1}, \\cite{G-L 2}). Without assuming normality of $Q$, the CLT is implied by the convergence of $\\sum_{n=1}^\\infty \\frac{\\|\\sum_{k=0}^{n-1}Q^kf\\|_2}{n^{3/2}}$, in particular by $\\|\\sum_{k=0}^{n-1}Q^kf\\|_2 = o(\\sqrt n/\\log^q n)$, $q>1$ by \\cite{M-Wu} and \\cite{Wu-Wo} respectively. We shall show that if $Q$ is not normal and $f\\in (I-Q)^{1/2} L^2$, or if the conditions of Maxwell and Woodroofe or of Wu and Woodroofe are weakened to $\\sum_{n=1}^\\infty c_n\\frac{\\|\\sum_{k=0}^{n-1}Q^kf\\|_2}{n^{3/2}}<\\infty$ for some sequence $c_n\\searrow 0$, or by $\\|\\sum_{k=0}^{n-1}Q^kf\\|_2 = O(\\sqrt n/\\log n)$, the CLT need not hold.
Assessment of the statistics of the Strehl ratio: predictions of central limit theorem analysis
Tyler, Glenn A.
2006-11-01
For a beam propagating through turbulence, the statistics of the Strehl ratio are determined by recognizing that the real and imaginary parts of the on-axis far-field pattern can be represented as the sum of many contributions from the aperture. With this in mind, the central limit theorem (CLT) can be used to develop the statistics of the real and imaginary parts of the optical field, which through the appropriate mathematical manipulations as described here can then be used to develop the probability distribution of the far-field irradiance. The results obtained in this way (which we call the CLT theory or analysis) provide an analytic expression that agrees with the results of detailed wave-optics simulations. This provides an approach by which the statistics of the Strehl ratio can be rapidly determined. A key feature of this work is that the analytic results depend on the values of a few relevant turbulence parameters that include r0,fG, and σ2l. Therefore, a measurement of these parameters at various sites of interest allows us to rapidly assess the detailed nature of the statistical fluctuations of the far-field irradiance that will be experienced at these locations.
Central Limit Theorem for Partial Linear Eigenvalue Statistics of Wigner Matrices
Bao, Zhigang; Pan, Guangming; Zhou, Wang
2013-01-01
In this paper, we study the complex Wigner matrices Mn=1/sqrt{n}Wn whose eigenvalues are typically in the interval [-2,2]. Let λ 1≤ λ 2⋯≤ λ n be the ordered eigenvalues of M n . Under the assumption of four matching moments with the Gaussian Unitary Ensemble (GUE), for test function f 4-times continuously differentiable on an open interval including [-2,2], we establish central limit theorems for two types of partial linear statistics of the eigenvalues. The first type is defined with a threshold u in the bulk of the Wigner semicircle law as mathcal{A}n[f; u]=sum_{l=1}nf(λl)mathbf{1}_{\\{λl≤ u\\}}. And the second one is mathcal{B}n[f; k]=sum_{l=1}kf(λl) with positive integer k= k n such that k/ n→ y∈(0,1) as n tends to infinity. Moreover, we derive a weak convergence result for a partial sum process constructed from mathcal{B}n[f; lfloor ntrfloor]. The main difficulty is to deal with the linear eigenvalue statistics for the test functions with several non-differentiable points. And our main strategy is to combine the Helffer-Sjöstrand formula and a comparison procedure on the resolvents to extend the results from GUE case to general Wigner matrices case. Moreover, the results on mathcal{A}n[f;u] for the real Wigner matrices will also be briefly discussed.
Directory of Open Access Journals (Sweden)
M. Gharib
1996-09-01
Full Text Available In this paper a uniform estimate is obtained for the remainder term in the central limit theorem (CLT for a sequence of random vectors forming a homogeneous Markov chain with arbitrary set of states. The result makes it possible to estimate the rate of convergence in the CLT without assuming the finiteness of the absolute third moment of the transition probabilities. Some consequences are also proved.
Occupancy of phase space, extensivity of Sq, and q-generalized central limit theorem
Tsallis, Constantino
2006-06-01
Increasing the number N of elements of a system typically makes the entropy to increase. The question arises on what particular entropic form we have in mind and how it increases with N. Thermodynamically speaking it makes sense to choose an entropy which increases linearly with N for large N, i.e., which is extensive. If the N elements are probabilistically independent (no interactions) or quasi-independent (e.g., short-range interacting), it is known that the entropy which is extensive is that of Boltzmann-Gibbs-Shannon, SBG≡-k∑i=1Wpilnpi. If they are, however, globally correlated (e.g., through long-range interactions), the answer depends on the particular nature of the correlations. There is a large class of correlations (in one way or another related to scale-invariance) for which an appropriate entropy is that on which nonextensive statistical mechanics is based, i.e., Sq≡k(1-∑i=1Wpiq)/q-1 ( S1=SBG), where q is determined by the specific correlations. We briefly review and illustrate these ideas through simple examples of occupation of phase space. A very similar scenario emerges with regard to the central limit theorem (CLT). If the variables that are being summed are independent (or quasi-independent, in the sense that they gradually become independent if N→∞), two basic possibilities exist: if the variance of the random variables that are being composed is finite, the N→∞ attractor in the space of distributions is a Gaussian, whereas if it diverges, it is a Lévy distribution. If the variables that are being summed are however globally correlated, there is no reason to expect the usual CLTs to hold. The N→∞ attractor is expected to depend on the nature of the correlations. That class of correlations (or part of it) that makes Sq to be extensive for q≠1 is expected to have a qe-Gaussian as its N→∞ attractor, where qe depends on q [ qe(q) such that qe(1)=1], and where qe-Gaussians are proportional to [1-(1-qe)β x2] ( β>0; qe<3
Moen, David H.; Powell, John E.
2008-01-01
Using Microsoft® Excel, several interactive, computerized learning modules are developed to illustrate the Central Limit Theorem's appropriateness for comparing the difference between the means of any two populations. These modules are used in the classroom to enhance the comprehension of this theorem as well as the concepts that provide the…
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.
International Nuclear Information System (INIS)
In this Letter we analyse the behaviour of the probability density function of the sum of N deterministic variables generated from the triangle map of Casati-Prosen. For the case in which the map is both ergodic and mixing the resulting probability density function quickly concurs with the Normal distribution. However, when the map is weakly chaotic, and fuzzily not mixing, the resulting probability density functions are described by power-laws. Moreover, contrarily to what it would be expected, as the number of added variables N increases the distance to Gaussian distribution increases. This behaviour goes against standard central limit theorem. By extrapolation of our finite size results we preview that in the limit of N going to infinity the distribution has the same asymptotic decay as a Lorentzian (or a q=2-Gaussian).
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...
Limit Theorems for Dispersing Billiards with Cusps
Bálint, P.; Chernov, N.; Dolgopyat, D.
2011-12-01
Dispersing billiards with cusps are deterministic dynamical systems with a mild degree of chaos, exhibiting "intermittent" behavior that alternates between regular and chaotic patterns. Their statistical properties are therefore weak and delicate. They are characterized by a slow (power-law) decay of correlations, and as a result the classical central limit theorem fails. We prove that a non-classical central limit theorem holds, with a scaling factor of {sqrt{nlog n}} replacing the standard {sqrt{n}} . We also derive the respective Weak Invariance Principle, and we identify the class of observables for which the classical CLT still holds.
Central limit theorem for integrated square error of kernel estimators of spherical density
Institute of Scientific and Technical Information of China (English)
ZHAO; Lincheng
2001-01-01
［1］ Cruzeiro, A. B., Malliavin, P., Renormalized differential geometry on path spaces: Structural equation, curvature, J. Funct. Anal., 1996, 139: 119-181.［2］ Stroock, D. W., Some thoughts about Riemannian structures on path spaces, preprint, 1996.［3］ Driver, B., A Cameron-Martin type quasi-invariance theorem for Brownian motion on a compact manifold, J. Funct. Anal., 1992, 109: 272-376.［4］ Enchev, O., Stroock, D. W., Towards a Riemannian geometry on the path space over a Riemannian manifold, J. Funct. Anal., 1995, 134: 392-416.［5］ Hsu, E., Quasi-invariance of the Wiener measure on the path space over a compact Riemannian manifold, J. Funct. Anal., 1995, 134: 417-450.［6］ Lyons, T. J., Qian, Z. M., A class of vector fields on path space, J.Funct. Anal., 1997, 145: 205-223.［7］ Li, X. D., Existence and uniqueness of geodesics on path spaces, J. Funct. Anal., to be published.［8］ Driver, B., Towards calculus and geometry on path spaces, in Proc. Symp. Pure and Appl. Math. 57 (ed. Cranston, M., Pinsky, M.), Cornell: AMS, 1993, 1995.
See, Lai-Chu; Huang, Yu-Hsun; Chang, Yi-Hu; Chiu, Yeo-Ju; Chen, Yi-Fen; Napper, Vicki S.
2010-01-01
This study examines the timing using computer-enriched instruction (CEI), before or after a traditional lecture to determine cross-over effect, period effect, and learning effect arising from sequencing of instruction. A 2 x 2 cross-over design was used with CEI to teach central limit theorem (CLT). Two sequences of graduate students in nursing…
Central Limit Theorems for Cavity and Local Fields of the Sherrington-Kirkpatrick Model
Chen, Wei-Kuo
2010-01-01
One of the remarkable applications of the cavity method is to prove the Thouless-Anderson-Palmer (TAP) system of equations in the high temperature analysis of the Sherrington-Kirkpatrick (SK) model. This naturally leads us to the important study of the limit laws for cavity and local fields. The first quantitative results for both fields based on Stein's method were studied by Chatterjee. Although Stein's method provides us an efficient search for the limiting distributions, the nature of this method in some way restricts the exploration for optimal and general results. In this paper, our study based on Gaussian interpolation obtains the CLT for cavity fields. With the help of this result, we conclude the CLT for local fields. In both cases, better quantitative results are given.
Kelson, Daniel D
2014-01-01
Star-formation rates (SFR) of disk galaxies strongly correlate with stellar mass, with a small dispersion in SSFR at fixed mass, sigma~0.3 dex. With such small scatter this star-formation main sequence (SFMS) has been interpreted as deterministic and fundamental. Here we demonstrate that it is a simple consequence of the central limit theorem. Our derivation begins by approximating in situ stellar mass growth as a stochastic process, much like a random walk (where the expectation of SFR at any time is equal to the SFR at the previous time). We then derive expectation values for median SSFR of star-forming disks and their scatter over time. We generalize the results for stochastic changes in SFR that are not independent of each other but are correlated over time. For unbiased samples of (disk) galaxies, we derive an expectation that should be independent of mass, decline as 1/T, and have a relative scatter that is independent of mass and time. The derived SFMS and its evolution matches published data to z=10 ...
Limit theorems for sequences of random trees
Balding, David; Ferrari, Pablo A.; Fraiman, Ricardo; Sued, Mariela
2004-01-01
We consider a random tree and introduce a metric in the space of trees to define the ``mean tree'' as the tree minimizing the average distance to the random tree. When the resulting metric space is compact we have laws of large numbers and central limit theorems for sequence of independent identically distributed random trees. As application we propose tests to check if two samples of random trees have the same law.
Pluchino, Alessandro; Rapisarda, Andrea; Tsallis, Constantino
2008-05-01
We give a closer look at the Central Limit Theorem (CLT) behavior in quasi-stationary states of the Hamiltonian Mean Field model, a paradigmatic one for long-range-interacting classical many-body systems. We present new calculations which show that, following their time evolution, we can observe and classify three kinds of long-standing quasi-stationary states (QSS) with different correlations. The frequency of occurrence of each class depends on the size of the system. The different microscopic nature of the QSS leads to different dynamical correlations and therefore to different results for the observed CLT behavior.
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.
Functional limit theorems for generalized variations of the fractional Brownian sheet
DEFF Research Database (Denmark)
Pakkanen, Mikko; Réveillac, Anthony
2016-01-01
We prove functional central and non-central limit theorems for generalized variations of the anisotropic d-parameter fractional Brownian sheet (fBs) for any natural number d. Whether the central or the non-central limit theorem applies depends on the Hermite rank of the variation functional and o...
Limit theorems for fragmentation processes with immigration
Knobloch, Robert
2012-01-01
In this paper we extend two limit theorems which were recently obtained for fragmentation processes to such processes with immigration. More precisely, in the setting with immigration we consider a limit theorem for the process counted with a random characteristic as well as the asymptotic behaviour of an empirical measure associated with the stopping line corresponding to the first blocks, in their respective line of descent, that are smaller than a given size. In addition, we determine the asymptotic decay rate of the size of the largest block in a homogeneous fragmentation process with immigration. The techniques used to proves these results are based on submartingale arguments.
Limit theorems for bifurcating integer-valued autoregressive processes
Blandin, Vassili
2012-01-01
We study the asymptotic behavior of the weighted least squares estimators of the unknown parameters of bifurcating integer-valued autoregressive processes. Under suitable assumptions on the immigration, we establish the almost sure convergence of our estimators, together with the quadratic strong law and central limit theorems. All our investigation relies on asymptotic results for vector-valued martingales.
Limit theorems for Markov random fields
International Nuclear Information System (INIS)
Markov Random Fields (MRF's) have been extensively applied in Statistical Mechanics as well as in Bayesian Image Analysis. MRF's are a special class of dependent random variables located at the vertices of a graph whose joint distribution includes a parameter called the temperature. When the number of vertices of the graph tends to infinity, the normalized distribution of statistics based on these random variables converge in distribution. It can happen that for certain values of the temperature, that the rate of growth of these normalizing constants change drastically. This feature is generally used to explain the phenomenon of phase transition as understood by physicist. In this dissertation the author will show that this drastic change in normalizing constants occurs even in the relatively smooth case when all the random variables are Gaussian. Hence any image analytic MRF ought to be checked for such discontinuous behavior before any analysis is performed. Mixed limit theorems in Bayesian Image Analysis seek to replace intensive simulations of MRF's with limit theorems that approximate the distribution of the MRF's as the number of sites increases. The problem of deriving mixed limit theorems for MRF's on a one dimensional lattice graph with an acceptor function that has a second moment has been studied by Chow. A mixed limit theorem for the integer lattice graph is derived when the acceptor function does not have a second moment as for instance when the acceptor function is a symmetric stable density of index 0 < α < 2
Limit Theorems for the Sample Entropy of Hidden Markov Chains
Han, Guangyue
2011-01-01
The Shannon-McMillan-Breiman theorem asserts that the sample entropy of a stationary and ergodic stochastic process converges to the entropy rate of the same process almost surely. In this paper, we focus our attention on the convergence behavior of the sample entropy of a hidden Markov chain. Under certain positivity assumption, we prove that a central limit theorem (CLT) with some Berry-Esseen bound for the sample entropy of a hidden Markov chain, and we use this CLT to establish a law of iterated logarithm (LIL) for the sample entropy.
Limit theorems for self-similar tilings
Bufetov, Alexander I
2012-01-01
We study deviation of ergodic averages for dynamical systems given by self-similar tilings on the plane and in higher dimensions. The main object of our paper is a special family of finitely-additive measures for our systems. An asymptotic formula is given for ergodic integrals in terms of these finitely-additive measures, and, as a corollary, limit theorems are obtained for dynamical systems given by self-similar tilings.
Limit theorems for extremes with random sample size
Silvestrov, Dmitrii S.; Teugels, Jozef L.
1998-01-01
This paper is devoted to the investigation of limit theorems for extremes with random sample size under general dependence-independence conditions for samples and random sample size indexes. Limit theorems of weak convergence type are obtained as well as functional limit theorems for extremal processes with random sample size indexes.
Goedel incompleteness theorems and the limits of their applicability. I
International Nuclear Information System (INIS)
This is a survey of results related to the Goedel incompleteness theorems and the limits of their applicability. The first part of the paper discusses Goedel's own formulations along with modern strengthenings of the first incompleteness theorem. Various forms and proofs of this theorem are compared. Incompleteness results related to algorithmic problems and mathematically natural examples of unprovable statements are discussed. Bibliography: 68 titles.
大数定律及中心极限定理在保险中的应用%Applications of Law of Large Numbers and Central Limit Theorem in Insurance
Institute of Scientific and Technical Information of China (English)
王丙参; 魏艳华; 林朱
2011-01-01
文中研究了大数定律及中心极限定理的含义及关系，阐述了它们在制定保费及自留额、拟定保险单位数及减少保险个人平均危险值等方面的应用．%It discussed the meanings and relationships of the law of large numbers and Central Limit Theorem, stud- ied the applications in the formulating premium and retention, the insurance units, reducing the average individual risk values, etc.
Reflexivity and the diagonal argument in proofs of limitative theorems
Młynarski, Kajetan
2011-01-01
This paper discusses limitations of reflexive and diagonal arguments as methods of proof of limitative theorems (e.g. G\\"odel's theorem on Entscheidungsproblem, Turing's halting problem or Chaitin-G\\"odel's theorem). The fact, that a formal system contains a sentence, which introduces reflexitivity, does not imply, that the same system does not contain a sentence or a proof procedure which solves this problem. Second basic method of proof - diagonal argument (i.e. showing non-eqiunumerosity o...
Goedel incompleteness theorems and the limits of their applicability. I
Energy Technology Data Exchange (ETDEWEB)
Beklemishev, Lev D [Steklov Mathematical Institute, Russian Academy of Sciences, Moscow (Russian Federation)
2011-01-25
This is a survey of results related to the Goedel incompleteness theorems and the limits of their applicability. The first part of the paper discusses Goedel's own formulations along with modern strengthenings of the first incompleteness theorem. Various forms and proofs of this theorem are compared. Incompleteness results related to algorithmic problems and mathematically natural examples of unprovable statements are discussed. Bibliography: 68 titles.
Some scaled limit theorems for an immigration super-Brownian motion
Institute of Scientific and Technical Information of China (English)
2008-01-01
In this paper,the small time limit behaviors for an immigration super-Brownian motion are studied,where the immigration is determined by Lebesgue measure.We first prove a functional central limit theorem,and then study the large and moderate deviations associated with this central tendency.
Some Limit Theorems for Negatively Associated Random Variables
Indian Academy of Sciences (India)
Yu Miao; Wenfei Xu; Shanshan Chen; Andre Adler
2014-08-01
Let $\\{X_n,n≥ 1\\}$ be a sequence of negatively associated random variables. The aim of this paper is to establish some limit theorems of negatively associated sequence, which include the $L^p$-convergence theorem and Marcinkiewicz–Zygmund strong law of large numbers. Furthermore, we consider the strong law of sums of order statistics, which are sampled from negatively associated random variables.
The Energy Transformation Limit Theorem for Gas Flow Systems
Volov, V T
2011-01-01
The limit energy theorem which determines the possibility of transformation the energy flow in power systems in the absence of technical work is investigated and proved for such systems as gas lasers and plasmatrons, chemical gas reactors, vortex tubes, gas-acoustic and other systems, as well as a system of close stars. In the case of the same name ideal gas in the system the maximum ratio of energy conversion effectiveness is linked to the Carnot theorem, which in its turn is connected with the Nernst theorem. However, numerical analyses show that the class of flow energy systems is non-carnot one. The ratio of energy conversion effectiveness depends on the properties of the working medium; a conventional cycle in open-circuit is essentially irreversible. The proved theorem gives a more strongly worded II law of thermodynamics for the selected class of flow energy systems. Implications for astrophysical thermodynamic systems and the theory of a strong shock wave are discussed.
Noncentral limit theorem and the bootstrap for quantiles of dependent data
Sharipov, Olimjon S.; Wendler, Martin
2012-01-01
We will show under minimal conditions on differentiability and dependence that the central limit theorem for quantiles holds and that the block bootstrap is weakly consistent. Under slightly stronger conditions, the bootstrap is strongly consistent. Without the differentiability condition, quantiles might have a non-normal asymptotic distribution and the bootstrap might fail.
Limit theorems and inequalities via martingale methods
Directory of Open Access Journals (Sweden)
Chazottes Jean-René
2014-01-01
Full Text Available In these notes, we first give a brief overwiew of martingales methods, from Paul Lévy (1935 untill now, to explain why these methods have become a central tool in probability, statistics and ergodic theory. Next, we present some recent results for/or based on martingales: exponential bounds for super-martingales, concentration inequalities for Lipschitz functionals of dynamical systems, oracle inequalities for the Cox model in a high dimensional setting, and invariance principles for stationary sequences.
Riedler, Martin G; Wainrib, Gilles
2011-01-01
In the present paper we present limit theorems for a sequence of Piecewise Deterministic Markov Processes taking values in Hilbert spaces. This class of processes provides a rigorous framework for stochastic spatial models in which discrete random events are globally coupled with continuous space-dependent variables solving partial differential equations, e.g., stochastic hybrid models of excitable membranes. We derive a law of large numbers which establishes a connection to deterministic macroscopic models and a martingale central limit theorem which connects the stochastic fluctuations to diffusion processes. As a prerequisite we carry out a thorough discussion of Hilbert space valued martingales associated to the PDMPs. Furthermore, these limit theorems provide the basis for a general Langevin approximation to PDMPs, i.e., certain stochastic partial differential equations that are expected to be similar in their dynamics to PDMPs. We apply these results to compartmental-type models of spatially extended ne...
A Trotter-Kato theorem for quantum Markov limits
Energy Technology Data Exchange (ETDEWEB)
Bouten, Luc [BTA VOF, Beringe (Netherlands); Gohm, Rolf; Gough, John [Aberystwyth University, Dept. for Mathematics and Physics, Wales (United Kingdom); Nurdin, Hendra [UNSW Australia, School of Electrical Engineering and Telecommunications, Sydney, NSW (Australia)
2015-04-30
Using the Trotter-Kato theorem we prove the convergence of the unitary dynamics generated by an increasingly singular Hamiltonian in the case of a single field coupling. The limit dynamics is a quantum stochastic evolution of Hudson-Parthasarathy type, and we establish in the process a graph limit convergence of the pre-limit Hamiltonian operators to the Chebotarev-Gregoratti-von Waldenfels Hamiltonian generating the quantum Ito evolution. (orig.)
Strong Limit Theorems for Arbitrary Fuzzy Stochastic Sequences
Institute of Scientific and Technical Information of China (English)
FEI Wei-yin
2008-01-01
Based on fuzzy random variables, the concept of fuzzy stochastic sequences is defined. Strong limit theorems for fuzzy stochastic sequences are established. Some known results in non-fuzzy stochastic sequences are extended. In order to prove results of this paper, the notion of fuzzy martingale difference sequences is also introduced.
The Energy Transformation Limit Theorem for Gas Flow Systems
Volov, V. T.
2011-01-01
The limit energy theorem which determines the possibility of transformation the energy flow in power systems in the absence of technical work is investigated and proved for such systems as gas lasers and plasmatrons, chemical gas reactors, vortex tubes, gas-acoustic and other systems, as well as a system of close stars. In the case of the same name ideal gas in the system the maximum ratio of energy conversion effectiveness is linked to the Carnot theorem, which in its turn is connected with ...
Transportation Distance and the Central Limit Theorem
Ekisheva, S.; Houdré, C.
2006-01-01
For probability measures on a complete separable metric space, we present sufficient conditions for the existence of a solution to the Kantorovich transportation problem. We also obtain sufficient conditions (which sometimes also become necessary) for the convergence, in transportation, of probability measures when the cost function is continuous, non-decreasing and depends on the distance. As an application, the CLT in the transportation distance is proved for independent and some dependent ...
Uniform Central Limit Theorems for Multidimensional Diffusions
Rohde, Angelika
2010-01-01
It has recently been shown that there are grave differences in the regularity behavior of the empirical process based on scalar diffusions as compared to the classical empirical process, due to the existence of diffusion local time. Besides establishing strong parallels to classical theory such as Ossiander's bracketing CLT and the general Gin\\'e-Zinn CLT for uniformly bounded families of functions, we find increased regularity also for multivariate ergodic diffusions, assuming that the invariant measure is finite with Lebesgue density $\\pi$. The effect is diminishing for growing dimension but always present. The fine differences to the classical iid setting are worked out using exponential inequalities for martingales and additive functionals of continuous Markov processes as well as the characterization of the sample path behavior of Gaussian processes by means of the generic chaining bound. To uncover the phenomenon, we study a smoothed version of the empirical diffusion process. It turns out that uniform ...
Fluctuation limit theorems for age-dependent critical binary branching systems
Directory of Open Access Journals (Sweden)
Murillo-Salas Antonio
2011-03-01
Full Text Available We consider an age-dependent branching particle system in ℝd, where the particles are subject to α-stable migration (0 < α ≤ 2, critical binary branching, and general (non-arithmetic lifetimes distribution. The population starts off from a Poisson random field in ℝd with Lebesgue intensity. We prove functional central limit theorems and strong laws of large numbers under two rescalings: high particle density, and a space-time rescaling that preserves the migration distribution. Properties of the limit processes such as Markov property, almost sure continuity of paths and generalized Langevin equation, are also investigated.
Limit theorems for stationary increments Lévy driven moving averages
DEFF Research Database (Denmark)
Basse-O'Connor, Andreas; Lachièze-Rey, Raphaël; Podolskij, Mark
kernel function g at 0. First order asymptotic theory essentially comprise three cases: stable convergence towards a certain infinitely divisible distribution, an ergodic type limit theorem and convergence in probability towards an integrated random process. We also prove the second order limit theorem...
Böinghoff, Christian; Kersting, Götz
2012-01-01
Intermediately subcritical branching processes in random environment are at the borderline between two subcritical regimes and exhibit a particularly rich behavior. In this paper, we prove a functional limit theorem for these processes. It is discussed together with two other recently proved limit theorems for the intermediately subcritical case and illustrated by several computer simulations.
A Strong Limit Theorem on Generalized Random Selection for m-valued Random Sequences
Institute of Scientific and Technical Information of China (English)
WANGZhong-zhi; XUFu-xia
2003-01-01
In this paper, a strong limit theorem on gambling strategy for binary Bernoulli sequence, i.e.irregularity theorem, is extended to random selection for dependent m-valued random variables, via using a new method-differentiability on net. Furthermore, by allowing the selection function to take value in finite interval [-M, M], the conception of random selection is generalized.
Strong limit theorems in noncommutative L2-spaces
Jajte, Ryszard
1991-01-01
The noncommutative versions of fundamental classical results on the almost sure convergence in L2-spaces are discussed: individual ergodic theorems, strong laws of large numbers, theorems on convergence of orthogonal series, of martingales of powers of contractions etc. The proofs introduce new techniques in von Neumann algebras. The reader is assumed to master the fundamentals of functional analysis and probability. The book is written mainly for mathematicians and physicists familiar with probability theory and interested in applications of operator algebras to quantum statistical mechanics.
Central limit behavior of deterministic dynamical systems
Tirnakli, Ugur; Beck, Christian; Tsallis, Constantino
2007-04-01
We investigate the probability density of rescaled sums of iterates of deterministic dynamical systems, a problem relevant for many complex physical systems consisting of dependent random variables. A central limit theorem (CLT) is valid only if the dynamical system under consideration is sufficiently mixing. For the fully developed logistic map and a cubic map we analytically calculate the leading-order corrections to the CLT if only a finite number of iterates is added and rescaled, and find excellent agreement with numerical experiments. At the critical point of period doubling accumulation, a CLT is not valid anymore due to strong temporal correlations between the iterates. Nevertheless, we provide numerical evidence that in this case the probability density converges to a q -Gaussian, thus leading to a power-law generalization of the CLT. The above behavior is universal and independent of the order of the maximum of the map considered, i.e., relevant for large classes of critical dynamical systems.
Mixing rates and limit theorems for random intermittent maps
Bahsoun, Wael; Bose, Christopher
2016-04-01
We study random transformations built from intermittent maps on the unit interval that share a common neutral fixed point. We focus mainly on random selections of Pomeu-Manneville-type maps {{T}α} using the full parameter range 0CLT and stable laws, depending on the parameters chosen in the range 0<α <1 ) for the associated skew product; these are detailed in theorem 3.2. Since our estimates in theorem 1.1 also hold for 1≤slant α <∞ we study a second class of random transformations derived from piecewise affine Gaspard-Wang maps, prove existence of an infinite (σ-finite) invariant measure and study the corresponding correlation asymptotics. To the best of our knowledge, this latter kind of result is completely new in the setting of random transformations.
Limit theorems for von Mises statistics of a measure preserving transformation
Denker, Manfred
2011-01-01
For a measure preserving transformation $T$ of a probability space $(X,\\mathcal F,\\mu)$ we investigate almost sure and distributional convergence of random variables of the form $$x \\to \\frac{1}{C_n} \\sum_{i_1
Limit theorems for Markov processes indexed by continuous time Galton-Watson trees
Bansaye, Vincent; Marsalle, Laurence; Tran, Viet Chi
2009-01-01
We study the evolution of a particle system whose genealogy is given by a supercritical continuous time Galton-Watson tree. The particles move independently according to a Markov process and when a branching event occurs, the offspring locations depend on the position of the mother and the number of offspring. We prove a law of large numbers for the empirical measure of individuals alive at time $t$. This relies on a probabilistic interpretation of its intensity by mean of an auxiliary process. This latter has the same generator as the Markov process along the branches plus additional branching events, associated with jumps of accelerated rate and biased distribution. This comes from the fact that choosing an individual uniformly at time $t$ favors lineages with more branching events and larger offspring number. The central limit theorem is considered on a special case. Several examples are developed, including applications to splitting diffusions, cellular aging, branching L\\'evy processes and ancestral line...
Multi-channel sampling theorems for band-limited signals with fractional Fourier transform
Institute of Scientific and Technical Information of China (English)
2008-01-01
Multi-channel sampling for band-limited signals is fundamental in the theory of multi-channel parallel A/D environment and multiplexing wireless communication environment. As the fractional Fourier transform has been found wide applications in signal processing fields, it is necessary to consider the multi-channel sampling theorem based on the fractional Fourier transform. In this paper, the multi-channel sampling theorem for the fractional band-limited signal is firstly proposed, which is the generalization of the well-known sampling theorem for the fractional Fourier transform. Since the periodic nonuniformly sampled signal in the fractional Fourier domain has valuable applications, the reconstruction expression for the periodic nonuniformly sampled signal has been then obtained by using the derived multi-channel sampling theorem and the specific space-shifting and phase-shifting properties of the fractional Fourier transform. Moreover, by designing different fractional Fourier filters, we can obtain reconstruction methods for other sampling strategies.
A Fluctuation Limit Theorem of Branching Processes with Immigration and Statistical Applications
Ma, Chunhua
2009-01-01
We prove a general fluctuation limit theorem for Galton-Watson branching processes with immigration. The limit is a time-inhomogeneous OU type process driven by a spectrally positive Levy process. As applications of this result, we obtain some asymptotic estimates for the conditional least-squares estimator of the offspring mean.
A scaling limit theorem for the parabolic Anderson model with exponential potential
Lacoin, Hubert
2010-01-01
The parabolic Anderson problem is the Cauchy problem for the heat equation with random potential and localized initial condition. In this paper we consider potentials which are constant in time and independent exponentially distributed in space. We study the growth rate of the total mass of the solution in terms of weak and almost sure limit theorems, and the spatial spread of the mass in terms of a scaling limit theorem. The latter result shows that in this case, just like in the case of heavy tailed potentials, the mass gets trapped in a single relevant island with high probability.
Conditional limit theorems for regulated fractional Brownian motion
Awad, Hernan; 10.1214/09-AAP605
2009-01-01
We consider a stationary fluid queue with fractional Brownian motion input. Conditional on the workload at time zero being greater than a large value $b$, we provide the limiting distribution for the amount of time that the workload process spends above level $b$ over the busy cycle straddling the origin, as $b\\to\\infty$. Our results can be interpreted as showing that long delays occur in large clumps of size of order $b^{2-1/H}$. The conditional limit result involves a finer scaling of the queueing process than fluid analysis, thereby departing from previous related literature.
Some inequalities and limit theorems under sublinear expectations
Hu, Ze-Chun; Yang, Yan-Zhi
2012-01-01
In this note, we study inequality and limit theory under sublinear expectations. We mainly prove Doob's inequality for submartingale and Kolmogrov's inequality. By Kolmogrov's inequality, we obtain a special version of Kolmogrov's law of large numbers. Finally, we present a strong law of large numbers for independent and identically distributed random variables under one-order type moment condition.
Yafaev, D. R.
2010-01-01
We obtain two-sided bounds on kinetic and potential energies of a bound state of a quantum particle in the semiclassical limit, as the Planck constant $\\hbar\\ri 0$. Proofs of these results rely on the generalized virial theorem obtained in the paper as well as on a decay of eigenfunctions in the classically forbidden region.
HEAVY TRAFFIC LIMIT THEOREMS IN FLUID BUFFER MODELS
Institute of Scientific and Technical Information of China (English)
YIN Gang; ZHANG Hanqin
2004-01-01
A fluid buffer model with Markov modulated input-output rates is considered.When traffic intensity is near its critical value, the system is known as in heavy traffic.It is shown that a suitably scaled sequence of the equilibrium buffer contents has a weakor distributional limit under heavy traffic conditionsThis weak limit is a functional of adiffusion process determined by the Markov chain modulating the input and output rates.The first passage time of the reflected process is examinedIt is shown that the mean firstpassage time can be obtained via a solution of a Dirichlet problemThen the transitiondensity of the reflected process is derived by solving the Kolmogorov forward equation witha Neumann boundary conditionFurthermore, when the fast changing part of the generatorof the Markov chain is a constant matrix, the representation of the probability distributionof the reflected process is derivedUpper and lower bounds of the probability distributionare also obtained by means of asymptotic expansions of standard normal distribution.
Limit Theorems for Competitive Density Dependent Population Processes
Parsons, Todd L
2010-01-01
Near the beginning of the century, Wright and Fisher devised an elegant, mathematically tractable model of gene reproduction and replacement that laid the foundation for contemporary population genetics. The Wright-Fisher model and its extensions have given biologists powerful tools of statistical inference that enabled the quantification of genetic drift and selection. Given the utility of these tools, we often forget that their model - for mathematical, and not biological reasons - makes assumptions that are violated in most real-world populations. In this paper, I consider an alternative framework that merges P. A. P. Moran's continuous-time Markov chain model of allele frequency with the density dependent models of ecological competition proposed by Gause, Lotka and Volterra, that, unlike Moran's model allow for a stochastically varying -- but bounded -- population size. I require that allele numbers vary according to a density-dependent population process, for which the limiting law of large numbers is a...
Almost Sure Central Limit Theorem for a Nonstationary Gaussian Sequence
Qing-pei Zang
2010-01-01
Let be a standardized non-stationary Gaussian sequence, and let denote , . Under some additional condition, let the constants satisfy as for some and , for some , then, we have almost surely for any , where is the indicator function of the event and stands for the standard normal distribution function.
Central limit theorems for multiple stochastic integrals and Malliavin calculus
Nualart, David; Ortiz, Salvador
2007-01-01
We give a new characterization for the convergence in distribution to a standard normal law of a sequence of multiple stochastic integrals of a fixed order with variance one, in terms of the Malliavin derivatives of the sequence. We extend our result to the multidimensional case and prove a weak convergence result for a sequence of square integrable random variables.
The Central Limit Theorem for Exchangeable Random Variables Without Moments
Klass, Michael; Teicher, Henry
1987-01-01
If $\\{X_n, n \\geq 1\\}$ is an exchangeable sequence with $(1/b_n(\\sum^n_1X_i - a_n)) \\rightarrow N(0, 1)$ for some constants $a_n$ and $0 < b_n \\rightarrow \\infty$ then $b_n/n^\\alpha$ is slowly varying with $\\alpha = 1$ or $\\frac{1}{2}$ and necessary conditions (depending on $\\alpha$) which are also sufficient, are obtained. Three such examples are given, one with infinite mean, one with no positive moments, and the third with almost all conditional distributions belonging to no domain of attr...
Mathematical statistics and limit theorems Festschrift in honour of Paul Deheuvels
Mason, David; Pfeifer, Dietmar; Steinebach, Josef
2015-01-01
This Festschrift in honour of Paul Deheuvels’ 65th birthday compiles recent research results in the area between mathematical statistics and probability theory with a special emphasis on limit theorems. The book brings together contributions from invited international experts to provide an up-to-date survey of the field. Written in textbook style, this collection of original material addresses researchers, PhD and advanced Master students with a solid grasp of mathematical statistics and probability theory.
A weak limit theorem for numerical approximation of Brownian semi-stationary processes
DEFF Research Database (Denmark)
Podolskij, Mark; Thamrongrat, Nopporn
In this paper we present a weak limit theorem for a numerical approximation of Brownian semi-stationary processes studied in [14]. In the original work of [14] the authors propose to use Fourier transformation to embed a given one dimensional (Levy) Brownian semi-stationary process into a two-par....../drift process needs to be numerically simulated. In particular, weak approximation errors for smooth test functions can be obtained from our asymptotic theory.......In this paper we present a weak limit theorem for a numerical approximation of Brownian semi-stationary processes studied in [14]. In the original work of [14] the authors propose to use Fourier transformation to embed a given one dimensional (Levy) Brownian semi-stationary process into a two......-parameter stochastic field. For the latter they use a simple iteration procedure and study the strong approximation error of the resulting numerical scheme given that the volatility process is fully observed. In this work we present the corresponding weak limit theorem for the setting, where the volatility...
Anomalous scaling due to correlations: limit theorems and self-similar processes
International Nuclear Information System (INIS)
We derive theorems which outline explicit mechanisms by which anomalous scaling for the probability density function of the sum of many correlated random variables asymptotically prevails. The results characterize general anomalous scaling forms, explain their universal character, and specify universality domains in the spaces of joint probability density functions of the summand variables. These density functions are assumed to be invariant under arbitrary permutations of their arguments. Examples from the theory of critical phenomena are discussed. The novel notion of stability implied by the limit theorems also allows us to define sequences of random variables whose sum satisfies anomalous scaling for any finite number of summands. If regarded as developing in time, the stochastic processes described by these variables are non-Markovian generalizations of Gaussian processes with uncorrelated increments, and provide, e.g., explicit realizations of a recently proposed model of index evolution in finance
Day, Troy
2012-04-01
The process of evolutionary diversification unfolds in a vast genotypic space of potential outcomes. During the past century, there have been remarkable advances in the development of theory for this diversification, and the theory's success rests, in part, on the scope of its applicability. A great deal of this theory focuses on a relatively small subset of the space of potential genotypes, chosen largely based on historical or contemporary patterns, and then predicts the evolutionary dynamics within this pre-defined set. To what extent can such an approach be pushed to a broader perspective that accounts for the potential open-endedness of evolutionary diversification? There have been a number of significant theoretical developments along these lines but the question of how far such theory can be pushed has not been addressed. Here a theorem is proven demonstrating that, because of the digital nature of inheritance, there are inherent limits on the kinds of questions that can be answered using such an approach. In particular, even in extremely simple evolutionary systems, a complete theory accounting for the potential open-endedness of evolution is unattainable unless evolution is progressive. The theorem is closely related to Gödel's incompleteness theorem, and to the halting problem from computability theory. PMID:21849390
Functional limit theorems for L\\'evy processes satisfying Cram\\'er's condition
Barczy, Matyas
2011-01-01
We consider a L\\'evy process that starts from $x<0$ and conditioned on having a positive maximum. When Cram\\'er's condition holds, we provide two weak limit theorems as $x\\to -\\infty$ for the law of the (two-sided) path shifted at the first instant when it enters $(0,\\infty)$, respectively shifted at the instant when its overall maximum is reached. The comparison of these two asymptotic results yields some interesting identities related to time-reversal, insurance risk, and self-similar Markov processes.
A limit theorem for moments in space of the increments of Brownian local time
Campese, Simon
2015-01-01
We proof a limit theorem for moments in space of the increments of Brownian local time. As special cases for the second and third moments, previous results by Chen et al. (Ann. Prob. 38, 2010, no. 1) and Rosen (Stoch. Dyn. 11, 2011, no. 1), which were later reproven by Hu and Nualart (Electron. Commun. Probab. 14, 2009; Electron. Commun. Probab. 15, 2010) and Rosen (S\\'eminaire de Probabilit\\'es XLIII, Springer, 2011) are included. Furthermore, a conjecture of Rosen for the fourth moment is s...
On Almost Sure Max-limit Theorems of Complete and Incomplete Samples from Stationary Sequences
Institute of Scientific and Technical Information of China (English)
Bin TONG; Zuo Xiang PENG
2011-01-01
Let Mn denote the partial maximum of a strictly stationary sequence (Xn). Suppose that some of the random variables of (Xn) can be observed and let (M~)n stand for the maximum of observed random variables from the set {Xi,..., Xn}. In this paper, the almost sure limit theorems related to random vector ((M~),Mn) are considered in terms of i.i.d. case. The related results are also extended to weakly dependent stationary Gaussian sequence as its covariance function satisfies some regular conditions.
Kulik, Rafal
2011-01-01
Long Memory Stochastic volatility (LMSV) models capture two standardized features of financial data: the log-returns are uncorrelated, but their squares, or absolute values are (highly) dependent and they may have heavy tails. EGARCH and related models were introduced to model leverage, i.e. negative dependence between previous returns and future volatility. Limit theorems for partial sums, sample variance and sample covariances are basic tools to investigate the presence of long memory and heavy tails and their consequences. In this paper we extend the existing literature on the asymptotic behaviour of the partial sums and the sample covariances of long memory stochastic volatility models in the case of infinite variance. We also consider models with leverage, for which our results are entirely new in the infinite variance case. Depending on the nterplay between the tail behaviour and the intensity of dependence, wo types of convergence rates and limiting distributions can arise. In articular, we show that t...
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
Limits to the validity of the quantum-mechanical Nyquist theorem
International Nuclear Information System (INIS)
It is suggested that the conventional form of the quantum-mechanical Nyquist theorem, derived from the fluctuation-dissipation theorem, may only be approximately correct when the effects of energy states with finite lifetimes are taken into account. These effects arise in the formulation of dissipation processes for a general thermodynamic system and similar breakdowns are possible for other applications of the fluctuation-dissipation theorem. The breakdown of the quantum-mechanical Nyquist theorem is analogous to a similar result obtained by Theimer and Dirk in 1982 for the conventional, classical Nyquist theorem. Our new expression for the theorem was developed by using procedures similar to those employed in the seminal derivation by Callen and Welton in 1951; in contrast to this work, however, it is utilized by us the Wigner-Weisskopf theory of natural line width to provide a more realistic description of energy dissipation processes. Our new expression for the quantum-mechanical Nyquist theorem contains terms not found in the conventional form involving the observation time and energy state lifetimes. A possible application of our new result for describing laser light scattering by vibrational and polariton modes in dielectric crystals is also discussed
International Nuclear Information System (INIS)
We investigate the consequences of Birkhoff's theorem in general relativity (GR) and in modified Newtonian dynamics (MOND). We study, in particular, the system of a finite-mass test particle inside a spherical shell. In both GR and MOND, we find nonvanishing acceleration for that test particle. The direction of the acceleration is such that it pushes the test particle toward the center of the shell. In GR, the acceleration is found analytically in the case of a small test mass with a small displacement from the center of the shell. In MOND, the acceleration is found analytically in the limit of large test mass and small displacement, and a comparison to numerical values is made. Numerical simulations are done for more general cases with parameters that mimic the system of a galaxy in a cluster. In GR, the acceleration is highly suppressed and physically insignificant. In MOND, on the contrary, the acceleration of the point particle can be a significant fraction of the field just outside of the spherical shell.
Central limit behavior in the Kuramoto model at the “edge of chaos”
Miritello, Giovanna; Pluchino, Alessandro; Rapisarda, Andrea
2009-12-01
We study the relationship between chaotic behavior and the Central Limit Theorem (CLT) in the Kuramoto model. We calculate sums of angles at equidistant times along deterministic trajectories of single oscillators and we show that, when chaos is sufficiently strong, the Pdfs of the sums tend to a Gaussian, consistently with the standard CLT. On the other hand, when the system is at the “edge of chaos” (i.e. in a regime with vanishing Lyapunov exponents), robust q-Gaussian-like limit distributions naturally emerge, consistently with recently proved generalizations of the CLT.
Central limit approximations for Markov population processes with countably many types
Barbour, A D
2012-01-01
When modelling metapopulation dynamics, the influence of a single patch on the metapopulation depends on the number of individuals in the patch. Since there is usually no obvious natural upper limit on the number of individuals in a patch, this leads to systems in which there are countably infinitely many possible types of entity. Analogous considerations apply in the transmission of parasitic diseases. In this paper, we prove central limit theorems for quite general systems of this kind, together with bounds on the rate of convergence in an appropriately chosen weighted $\\ell_1$ norm.
LIMIT THEOREMS FOR KERNEL DENSITY ESTIMATORS IN SPACES OF ARBITRARY NATURE
Directory of Open Access Journals (Sweden)
Orlov A. I.
2015-04-01
Full Text Available Some estimators of the probability density function in spaces of arbitrary nature are used for various tasks in statistics of non-numerical data. Systematic exposition of the theory of such estimators had a start in our work [2]. This article is a direct continuation of the article [2]. We will regularly use references to conditions and theorems of the article [2], in which we introduced several types of nonparametric estimators of the probability density. We studied more linear estimators. In this article we consider particular cases - kernel density estimates in spaces of arbitrary nature. When estimating the density of the one-dimensional random variable, kernel estimators become the Parzen-Rosenblatt estimators. Asymptotic behavior of kernel density estimators in the general case of an arbitrary nature spaces are devoted to Theorem 1 - 8. Under different conditions we prove the consistency and asymptotic normality of kernel density estimators. We have studied uniform convergence. We have introduced the concept of "preferred rate differences" and studied nuclear density estimators based on it. We have also introduced and studied natural affinity measures which are used in the analysis of the asymptotic behavior of kernel density estimators. We have found the asymptotic behavior of dispersions of kernel density estimators and considered the examples including kernel density estimators in finite-dimensional spaces and in the space of square-integrable functions
Directory of Open Access Journals (Sweden)
Sunny Chauhan
2013-11-01
Full Text Available In this paper, we utilize the notion of common limit range property in Non-Archimedean Menger PM-spaces and prove some fixed point theorems for two pairs of weakly compatible mappings. Some illustrative examples are furnished to support our results. As an application to our main result, we present a common fixed point theorem for four finite families of self mappings. Our results improve and extend several known results existing in the literature.
Universal central extensions of direct limits of Lie superalgebras
Neher, Erhard
2011-01-01
We show that the universal central extension of a direct limit of perfect Lie superalgebras L_i is (isomorphic to) the direct limit of the universal central extensions of L_i. As an application we describe the universal central extensions of some infinite rank Lie superalgebras.
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...
Functional limit theorems for generalized variations of the fractional Brownian sheet
DEFF Research Database (Denmark)
Pakkanen, Mikko; Réveillac, Anthony
the smallest component of the Hurst parameter vector of the fBs. The limiting process in the former result is another fBs, independent of the original fBs, whereas the limit given by the latter result is an Hermite sheet, which is driven by the same white noise as the original fBs. As an application...
Ivanov, Alexander V.; Leonenko, Nikolai; Ruiz-Medina, María D.; Savich, Irina N.
2013-01-01
The limit Gaussian distribution of multivariate weighted functionals of nonlinear transformations of Gaussian stationary processes, having multiple singular spectra, is derived, under very general conditions on the weight function. This paper is motivated by its potential applications in nonlinear regression, and asymptotic inference on nonlinear functionals of Gaussian stationary processes with singular spectra.
Limit theorems for splitting trees with structured immigration and applications to biogeography
Richard, Mathieu
2010-01-01
We consider a branching process with Poissonian immigration where individuals have inheritable types. At rate $\\theta$, new individuals singly enter the total population and start a new population which evolves like a supercritical, homogeneous, binary Crump-Mode-Jagers process: individuals have i.i.d. lifetimes durations (non necessarily exponential) during which they give birth independently at constant rate b. First, using spine decomposition, we relax previously known assumptions required for a.s. convergence of total population size. Then, we consider three models of structured populations: either all immigrants have a different type, or types are drawn in a discrete spectrum or in a continuous spectrum. In each model, the vector (P_1,P_2,...) of relative abundances of surviving families converges a.s. In the first model, the limit is the GEM distribution with parameter $\\theta/b$.
Nonergodicity and central-limit behavior for long-range Hamiltonians
Pluchino, A.; Rapisarda, A.; Tsallis, C.
2007-10-01
We present a molecular dynamics test of the Central-Limit Theorem (CLT) in a paradigmatic long-range-interacting many-body classical Hamiltonian system, the HMF model. We calculate sums of velocities at equidistant times along deterministic trajectories for different sizes and energy densities. We show that, when the system is in a chaotic regime (specifically, at thermal equilibrium), ergodicity is essentially verified, and the Pdfs of the sums appear to be Gaussians, consistently with the standard CLT. When the system is, instead, only weakly chaotic (specifically, along longstanding metastable Quasi-Stationary States), nonergodicity (i.e., discrepant ensemble and time averages) is observed, and robust q-Gaussian attractors emerge, consistently with recently proved generalizations of the CLT.
A feasible central limit theory for realised volatility under leverage
DEFF Research Database (Denmark)
Barndorff-Nielsen, Ole Eiler; Shephard, Neil
In this note we show that the feasible central limit theory for realised volatility and realised covariation recently developed by Barndor-Nielsen and Shephard applies under arbitrary diusion based leverage eects. Results from a simulation experiment suggest that the feasible version of the limit...
Variances and covariances in the Central Limit Theorem for the output of a transducer
Heuberger, Clemens; Kropf, Sara; Wagner, Stephan
2015-01-01
We study the joint distribution of the input sum and the output sum of a deterministic transducer. Here, the input of this finite-state machine is a uniformly distributed random sequence. We give a simple combinatorial characterization of transducers for which the output sum has bounded variance, and we also provide algebraic and combinatorial characterizations of transducers for which the covariance of input and output sum is bounded, so that the two are asymptotically independent. Our results are illustrated by several examples, such as transducers that count specific blocks in the binary expansion, the transducer that computes the Gray code, or the transducer that computes the Hamming weight of the width-w non-adjacent form digit expansion. The latter two turn out to be examples of asymptotic independence. PMID:27087727
A central limit theorem for random walk in random environment on marked Galton-Watson trees
Faraud, Gabriel
2008-01-01
In this article we focus on a general model of random walk on random marked trees. We prove a recurrence criterion, analogue to the recurrence criterion proved by R. Lyons and Robin Pemantle (1992) in a slightly different model. In the critical case, we obtain a criterion for the positive/null recurrence. Several regimes appear, as proved (in a similar model), by Y. Hu and Z. Shi (2007). We focus on the "diffusive" regime and improve their result in this case, by obtaining a functional Centra...
Central limit theorem for biased random walk on multi-type Galton-Watson trees
Dembo, Amir; Sun, Nike
2010-01-01
Let T be a rooted supercritical multi-type Galton-Watson (MGW) tree with types coming from a finite alphabet, conditioned to non-extinction. The lambda-biased random walk (X_t, t>=0) on T is the nearest-neighbor random walk which, when at a vertex v with d(v) offspring, moves closer to the root with probability lambda/[lambda+d(v)], and to each of the offspring with probability 1/[lambda+d(v)]. This walk is recurrent for lambda>=rho and transient for 0
Berry-Esseen's central limit theorem for non-causal linear processes in Hilbert space
Machkouri, Mohamed EL
2010-01-01
Let $H$ be a real separable Hilbert space and $(a_k)_{k\\in\\mathbb{Z}}$ a sequence of bounded linear operators from $H$ to $H$. We consider the linear process $X$ defined for any $k$ in $\\mathbb{Z}$ by $X_k=\\sum_{j\\in\\mathbb{Z}}a_j(\\varepsilon_{k-j})$ where $(\\varepsilon_k)_{k\\in\\mathbb{Z}}$ is a sequence of i.i.d. centered $H$-valued random variables. We investigate the rate of convergence in the CLT for $X$ and in particular we obtain the usual Berry-Esseen's bound provided that $\\sum_{j\\in\\mathbb{Z}}\\vert j\\vert\\|a_j\\|_{\\mathcal{L}(H)}<+\\infty$ and $\\varepsilon_0$ belongs to $L_H^{\\infty}$.
A Central Limit Theorem for the Volumes of High Excursions of Stationary Associated Random Fields
Directory of Open Access Journals (Sweden)
Vadim Demichev
2015-05-01
Full Text Available We prove that under certain conditions the excursion sets volumes of stationary positively associated random fields converge after rescaling to the normal distribution as the excursion level and the size of the observation window grow. In addition, we provide a number of examples.
Del Barrio, Eustasio; Lescornel, Hélène; Loubes, Jean-Michel
2016-01-01
Wasserstein barycenters and variance-like criterion using Wasserstein distance are used in many problems to analyze the homo-geneity of collections of distributions and structural relationships between the observations. We propose the estimation of the quantiles of the empirical process of the Wasserstein's variation using a bootstrap procedure. Then we use these results for statistical inference on a distribution registration model for general deformation functions. The tests are based on th...
Carlen, E
2011-01-01
We prove for the rescaled convolution map $f\\to f\\circledast f$ propagation of polynomial, exponential and gaussian localization. The gaussian localization is then used to prove an optimal bound on the rate of entropy production by this map. As an application we prove the convergence of the CLT to be at the optimal rate $1/\\sqrt{n}$ in the entropy (and $L^1$) sense, for distributions with finite 4th moment.
Central limit theorem for biased random walk on multi-type Galton-Watson trees
Dembo, Amir
2010-01-01
Let T be a rooted multi-type Galton-Watson (MGW) tree of finitely many types with at least one offspring at each vertex, and an offspring distribution with exponential tails. The lambda-biased random walk (X_t, t>=0) on T is the nearest-neighbor random walk which, when at a vertex v with d(v) offspring, moves closer to the root with probability lambda/(lambda+d(v)), and to each of the offspring with probability 1/(lambda+d(v)). This walk is recurrent for lambda >= rho and transient for 0 <= lambda < rho, with rho the Perron-Frobenius eigenvalue for the (assumed) irreducible matrix of expected offspring numbers. We prove the following quenched CLT for the critical value lambda = rho: for almost every T, the process |X_{floor(nt)}|/sqrt{n} converges in law as n tends to infinity to a deterministic positive multiple of a reflected Brownian motion. Following the approach of Peres and Zeitouni (2008) for Galton-Watson trees, our proof is based on a new explicit description of a reversing measure for the walk...
Occupancy of phase space, extensivity of Sq, and q-generalized central limit theorem
Tsallis, Constantino
2005-01-01
Increasing the number $N$ of elements of a system typically makes the entropy to increase. The question arises on {\\it what particular entropic form} we have in mind and {\\it how it increases} with $N$. Thermodynamically speaking it makes sense to choose an entropy which increases {\\it linearly} with $N$ for large $N$, i.e., which is {\\it extensive}. If the $N$ elements are probabilistically {\\it independent} (no interactions) or quasi-independent (e.g., {\\it short}-range interacting), it is ...
International Nuclear Information System (INIS)
Noether's theorem relates symmetries and conservation laws of Hamiltonians systems. Arnol'd's theorem uses those integrals of motion for the construction of sufficient stability conditions of hydrodynamical problems, which are Hamiltonian with a singular Poisson bracket. Finally, Andrews' theorem imposes restriction on the existence of Arnol'd stable solutions of symmetric systems. It is shown that denial of Andrews'theorem implies the divergence of the velocity component normal to the symmetric coordinate. This proof by reductio ad absurdum may be used to determine the strength of the symmetry breaking elements, necessary to overcome the limitations imposed by this theorem (Author)
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.
Range-limited Centrality Measures in Complex Networks
Ercsey-Ravasz, Maria; Chawla, Nitesh V; Toroczkai, Zoltan
2011-01-01
Here we present a range-limited approach to centrality measures in both non-weighted and weighted directed complex networks. We introduce an efficient method that generates for every node and every edge its betweenness centrality based on shortest paths of lengths not longer than $\\ell = 1,...,L$ in case of non-weighted networks, and for weighted networks the corresponding quantities based on minimum weight paths with path weights not larger than $w_{\\ell}=\\ell \\Delta$, $\\ell=1,2...,L=R/\\Delta$. These measures provide a systematic description on the positioning importance of a node (edge) with respect to its network neighborhoods 1-step out, 2-steps out, etc. up to including the whole network. We show that range-limited centralities obey universal scaling laws for large non-weighted networks. As the computation of traditional centrality measures is costly, this scaling behavior can be exploited to efficiently estimate centralities of nodes and edges for all ranges, including the traditional ones. The scaling ...
International Nuclear Information System (INIS)
A trick discovered by Vaidman, Aharanov, and Albert permitting retrodiction of the outcomes of more measurements than one would naively have thought possible is extended to a case in which the retrodicted observables are forbidden all to have values by a Bell-Kochen-Specker theorem. A rather peculiar analysis shows that an even better trick that retrodicts the outcomes of more informative measurements of these same observables is impossible
The large central charge limit of conformal blocks
Fateev, Vladimir
2011-01-01
We study conformal blocks of conformal field theories with a W3 symmetry algebra in the limit where the central charge is large. In this limit, we compute the four-point block as a special case of an sl3-invariant function. In the case when two of the four fields are semi-degenerate, we check that our results agree with the block's combinatorial expansion as a sum over Young diagrams. We also show that such a block obeys a sixth-order differential equation, and that it has an unexpected singularity at z=-1, in addition to the expected singularities at z=0,1,infinity.
Almost Subadditive Extensions of Kingman's Ergodic Theorem
Schurger, Klaus
1991-01-01
Based on two notions of almost subadditivity which were introduced by Derriennic and Schurger, two a.s. limit theorems are proved which both generalize Kingman's subadditive ergodic theorem. These results, being valid under weak moment conditions, are obtained by short proofs. One of these proofs is completely elementary and does not even make use of Birkhoff's ergodic theorem which, instead, is obtained as a by-product. Finally, an improvement of Liggett's a.s. limit theorem is given.
International Nuclear Information System (INIS)
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)
Sustaining Rural Afghanistan under Limited Central Government Influence
Directory of Open Access Journals (Sweden)
John William Groninger
2013-06-01
Full Text Available Land and water access insecurity, land grabbing, and unstable common property status of critical local resources continue to drive conflicts, rural landlessness and environmental problems throughout many areas of Afghanistan where formal government is weak or entirely absent. In contrast to traditional development strategies that favor infrastructure enhancement and backed by enforced national policies, we offer Afghan-specific strategies based on resource conservation and increased capacity of local resource management institutions that can function when and where central government cannot be relied upon to assume or maintain a supportive role. Resource conservation and building local capacity are key components of existing and proposed future efforts to increase stability. However, support for these efforts, whether government or community-based, has been limited in portions of rural Afghanistan , apparently due to low stakeholder confidence in retaining access to improved land, water and other critical resources when international forces withdraw. Powerful individuals and groups, operating outside local community structures, are increasingly impacting land use practices. We suggest a thorough assessment of the present and likely future social environment, including awareness of likely conflicts resulting from agricultural or natural resource improvements, before any tangible actions are taken.
Limiting Central Bank Credit to the Government; Theory and Practice
Carlo Cottarelli
1993-01-01
This paper examines central bank independence with reference to the constraints on central bank credit to the government, focusing on how such credit should be regulated. It discusses why credit should be contsrained, and in which forms, and how to implement those constraints.
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.
Hydrogeological mapping of north-central Madagascar using limited data
Davies, Jeffrey
2009-01-01
North-central Madagascar is well endowed with surface-water. Due to soil erosion and pollution, rivers can no longer provide year round clean water supplies. Shallow aquifers are being developed to provide sustainable rural and urban water supplies. A survey of water sources located 2760 boreholes, wells, ponds and springs in the area, but understanding of groundwater occurrence remains poor. The area comprises four hydrogeological zones: the dry Central High Plateau with erosi...
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...
Del Barrio, Eustasio; Lescornel, Hélène; Loubes, Jean-Michel
2016-01-01
Wasserstein barycenters and variance-like criterion using Wasser-stein distance are used in many problems to analyze the homogeneity of collections of distributions and structural relationships between the observations. We propose the estimation of the quantiles of the empirical process of the Wasserstein's variation using a bootstrap procedure. Then we use these results for statistical inference on a distribution registration model for general deformation functions. The tests are based on th...
Central limit theorem for germination-growth models in R^{ d } with non-Poisson locations
Chiu, S. N.; Quine, M. P.
2001-01-01
Seeds are randomly scattered in Rd according to an m-dependent point process. Each seed has its own potential germination time. From each seed that succeeds in germinating, a spherical inhibited region grows to prohibit germination of any seed with later potential germination time. We show that under certain conditions on the distribution of the potential germination time, the number of germinated seeds in a large region has an asymptotic normal distribution.
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.
Virial theorem for radiating accretion discs
Mach, Patryk
2011-01-01
A continuum version of the virial theorem is derived for a radiating self-gravitating accretion disc around a compact object. The central object is point-like, but we can avoid the regularization of its gravitational potential. This is achieved by applying a modified Pohozaev-Rellich identity to the gravitational potential of the disk only. The theorem holds for general stationary configurations, including discontinuous flows (shock waves, contact discontinuities). It is used to test numerica...
International Nuclear Information System (INIS)
We examine a soft scalar theorem which has proved useful in the evaluation of certain Feynman graphs. The use of this theorem is described in connection with the determination of the Λnphi coupling in a unified model of weak and electromagnetic interactions. (author)
Smith, Michael D.
2016-01-01
The Parity Theorem states that any permutation can be written as a product of transpositions, but no permutation can be written as a product of both an even number and an odd number of transpositions. Most proofs of the Parity Theorem take several pages of mathematical formalism to complete. This article presents an alternative but equivalent…
Saa, Diego
2005-01-01
Goedel's results have had a great impact in diverse fields such as philosophy, computer sciences and fundamentals of mathematics. The fact that the rule of mathematical induction is contradictory with the rest of clauses used by Goedel to prove his undecidability and incompleteness theorems is proved in this paper. This means that those theorems are invalid.
Double Soft Theorem for Perturbative Gravity
Saha, Arnab Priya
2016-01-01
Following up on the recent work of Cachazo, He and Yuan \\cite{arXiv:1503.04816 [hep-th]}, we derive the double soft graviton theorem in perturbative gravity. We show that the double soft theorem derived using CHY formula precisely matches with the perturbative computation involving Feynman diagrams. In particular, we find how certain delicate limits of Feynman diagrams play an important role in obtaining this equivalence.
Integral fluctuation theorem for the housekeeping heat
International Nuclear Information System (INIS)
The housekeeping heat Qhk is the dissipated heat necessary to maintain the violation of detailed balance in nonequilibrium steady states. By analysing the evolution of its probability distribution, we prove an integral fluctuation theorem (exp[-βQhk]) = 1 valid for arbitrary-driven transitions between steady states. We discuss Gaussian limiting cases and the difference between the new theorem and both the Hatano-Sasa and the Jarzynski relation. (letter to the editor)
Integral fluctuation theorem for the housekeeping heat
Speck, T.; Seifert, U.
2005-01-01
The housekeeping heat $Q\\hk$ is the dissipated heat necessary to maintain the violation of detailed balance in nonequilibrium steady states. By analyzing the evolution of its probability distribution, we prove an integral fluctuation theorem $\\mean{\\exp[-\\beta Q\\hk]}=1$ valid for arbitrary driven transitions between steady states. We discuss Gaussian limiting cases and the difference between the new theorem and both the Hatano-Sasa and the Jarzynski relation.
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.
Tight closure and vanishing theorems
International Nuclear Information System (INIS)
Tight closure has become a thriving branch of commutative algebra since it was first introduced by Mel Hochster and Craig Huneke in 1986. Over the past few years, it has become increasingly clear that tight closure has deep connections with complex algebraic geometry as well, especially with those areas of algebraic geometry where vanishing theorems play a starring role. The purpose of these lectures is to introduce tight closure and to explain some of these connections with algebraic geometry. Tight closure is basically a technique for harnessing the power of the Frobenius map. The use of the Frobenius map to prove theorems about complex algebraic varieties is a familiar technique in algebraic geometry, so it should perhaps come as no surprise that tight closure is applicable to algebraic geometry. On the other hand, it seems that so far we are only seeing the tip of a large and very beautiful iceberg in terms of tight closure's interpretation and applications to algebraic geometry. Interestingly, although tight closure is a 'characteristic p' tool, many of the problems where tight closure has proved useful have also yielded to analytic (L2) techniques. Despite some striking parallels, there had been no specific result directly linking tight closure and L∼ techniques. Recently, however, the equivalence of an ideal central to the theory of tight closure was shown to be equivalent to a certain 'multiplier ideal' first defined using L2 methods. Presumably, deeper connections will continue to emerge. There are two main types of problems for which tight closure has been helpful: in identifying nice structure and in establishing uniform behavior. The original algebraic applications of tight closure include, for example, a quick proof of the Hochster-Roberts theorem on the Cohen-Macaulayness of rings of invariants, and also a refined version of the Brianqon-Skoda theorem on the uniform behaviour of integral closures of powers of ideals. More recent, geometric
Quantum Rate Distortion, Reverse Shannon Theorems, and Source-Channel Separation
Datta, Nilanjana; Hsieh, Min-Hsiu; Wilde, Mark M.
2013-01-01
We derive quantum counterparts of two key theorems of classical information theory, namely, the rate distortion theorem and the source-channel separation theorem. The rate-distortion theorem gives the ultimate limits on lossy data compression, and the source-channel separation theorem implies that a two-stage protocol consisting of compression and channel coding is optimal for transmitting a memoryless source over a memoryless channel. In spite of their importance in the classical domain, the...
International Nuclear Information System (INIS)
The hypervirial and Hellmann-Feynman theorems are used in the methods of 1/N expansion to construct Rayleigh-Schroedinger perturbation expansion for bound-state energy eigenvalues of spherical symmetric potentials. A new iteration procedure of calculating correction terms of arbitrarily high orders is obtained for any kind of 1/N expansion. The recurrence formulas for three variants of the 1/N expansion are considered in this work, namely, the 1/n expansion, the shifted and unshifted 1/N expansions which are applied to the Gaussian and Patil potentials. As a result, their credibility could be reliably judged when account is taken of high order terms of the eigenenergies. It is also found that there is a distinct advantage in using the shifted 1/N expansion over the two other versions. However, the shifted 1/N expansion diverges for s states and in certain cases is not applicable as far as complicated potentials are concerned. In an effort to solve these problems we have incorporated the principle of minimal sensitivity in the shifted 1/N expansion as a first step toward extending the scope of applicability of that technique, and then we have tested the obtained approach to some unfavorable cases of the Patil and Hellmann potentials. The agreement between our numerical calculations and reference data is quite satisfactory. (author)
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...
A novel sampling theorem on the sphere
McEwen, J D
2011-01-01
We develop a novel sampling theorem on the sphere and corresponding fast algorithms by associating the sphere with the torus through a periodic extension. The fundamental property of any sampling theorem is the number of samples required to represent a band-limited signal. To represent exactly a signal on the sphere band-limited at L, all sampling theorems on the sphere require O(L^2) samples. However, our sampling theorem requires less than half the number of samples of other equiangular sampling theorems on the sphere and an asymptotically identical, but smaller, number of samples than the Gauss-Legendre sampling theorem. The complexity of our algorithms scale as O(L^3), however, the continual use of fast Fourier transforms reduces the constant prefactor associated with the asymptotic scaling considerably, resulting in algorithms that are fast. Furthermore, we do not require any precomputation and our algorithms apply to both scalar and spin functions on the sphere without any change in computational comple...
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.
Energy turnover in European hares is centrally limited during early, but not during peak lactation
Valencak, Teresa G.; Ruf, Thomas
2009-01-01
We investigated metabolizable energy intake (MEI) and milk energy output in European hares throughout gestation and lactation in females raising three young, i.e., close to maximum litter size in this precocial species. We hypothesized that herbivorous hares may face a central limitation of energy turnover during lactation, imposed by maximum capacity of the gastrointestinal tract. Females were provided with low-energy or high-energy diets, either continually, or during lactation only. Unexpe...
Limitations and potentials of dual-purpose cow herds in Central Coastal Veracruz, Mexico
Absalón-Medina, Victor Antonio; Blake, Robert W.; Fox, Danny Gene; Juárez-Lagunes, Francisco I.; Charles F. Nicholson; Canudas-Lara, Eduardo G.; Rueda-Maldonado, Bertha L.
2011-01-01
Feed chemical and kinetic composition and animal performance information was used to evaluate productivity limitations and potentials of dual-purpose member herds of the Genesis farmer organization of central coastal Veracruz, Mexico. The Cornell Net Carbohydrate and Protein System model (Version 6.0) was systematically applied to specific groups of cows in structured simulations to establish probable input–output relationships for typical management, and to estimate probable outcomes from al...
Voting, Lobbying, and the Decentralization Theorem
Lockwood, Benjamin
2007-01-01
This paper revisits the fiscal "decentralization theorem", by relaxing the role of the assumption that governments are benevolent, while retaining the assumption of policy uniformity. If instead, decisions are made by direct majority voting, (i) centralization can welfare-dominate decentralization even if there are no externalities and regions are heterogenous; (ii) decentralization can welfare-dominate centralization even if there are positive externalities and regions are hom...
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
The Goldstone boson equivalence theorem with fermions
Durand, Loyal; Riesselmann, Kurt
1995-01-01
The calculation of the leading electroweak corrections to physical transition matrix elements in powers of $M_H^2/v^2$ can be greatly simplified in the limit $M_H^2\\gg M_W^2,\\, M_Z^2$ through the use of the Goldstone boson equivalence theorem. This theorem allows the vector bosons $W^\\pm$ and $Z$ to be replaced by the associated scalar Goldstone bosons $w^\\pm$, $z$ which appear in the symmetry breaking sector of the Standard Model in the limit of vanishing gauge couplings. In the present pape...
Raychaudhuri equation and singularity theorems in Finsler spacetimes
Minguzzi, E.
2015-09-01
The Raychaudhuri equation and its consequences for chronality are studied in the context of Finsler spacetimes. It is proved that the notable singularity theorems of Lorentzian geometry extend to the Finslerian domain. Indeed, so do the theorems by Hawking, Penrose, Hawking and Penrose, Geroch, Gannon, Tipler and Kriele, and also the Topological Censorship theorem and so on. It is argued that the notable results in causality theory connected to achronal sets, future sets, domains of dependence, limit curve theorems, length functional, Lorentzian distance and geodesic connectedness, extend to the Finslerian domain. Results concerning the spacetime asymptotic structure, horizons differentiability and conformal transformations are also included.
Stability of Gas Clouds in Galactic Nuclei: An Extended Virial Theorem
Chen, Xian; Amaro-Seoane, Pau; Cuadra, Jorge
2016-03-01
Cold gas entering the central 1-102 pc of a galaxy fragments and condenses into clouds. The stability of the clouds determines whether they will be turned into stars or can be delivered to the central supermassive black hole (SMBH) to turn on an active galactic nucleus (AGN). The conventional criteria to assess the stability of these clouds, such as the Jeans criterion and Roche (or tidal) limit, are insufficient here, because they assume the dominance of self-gravity in binding a cloud, and neglect external agents, such as pressure and tidal forces, which are common in galactic nuclei. We formulate a new scheme for judging this stability. We first revisit the conventional Virial theorem, taking into account an external pressure, to identify the correct range of masses that lead to stable clouds. We then extend the theorem to further include an external tidal field, which is equally crucial for the stability in the region of our interest—in dense star clusters, around SMBHs. We apply our extended Virial theorem to find new solutions to controversial problems, namely, the stability of the gas clumps in AGN tori, the circum-nuclear disk in the Galactic Center, and the central molecular zone of the Milky Way. The masses we derive for these structures are orders of magnitude smaller than the commonly used Virial masses (equivalent to the Jeans mass). Moreover, we prove that these clumps are stable, contrary to what one would naively deduce from the Roche (tidal) limit.
D'Agostini, G
2005-01-01
It is curious to learn that Enrico Fermi knew how to base probabilistic inference on Bayes theorem, and that some influential notes on statistics for physicists stem from what the author calls elsewhere, but never in these notes, {\\it the Bayes Theorem of Fermi}. The fact is curious because the large majority of living physicists, educated in the second half of last century -- a kind of middle age in the statistical reasoning -- never heard of Bayes theorem during their studies, though they have been constantly using an intuitive reasoning quite Bayesian in spirit. This paper is based on recollections and notes by Jay Orear and on Gauss' ``Theoria motus corporum coelestium'', being the {\\it Princeps mathematicorum} remembered by Orear as source of Fermi's Bayesian reasoning.
Converse Barrier Certificate Theorem
DEFF Research Database (Denmark)
Wisniewski, Rafael; Sloth, Christoffer
2013-01-01
This paper presents a converse barrier certificate theorem for a generic dynamical system.We show that a barrier certificate exists for any safe dynamical system defined on a compact manifold. Other authors have developed a related result, by assuming that the dynamical system has no singular...... points in the considered subset of the state space. In this paper, we redefine the standard notion of safety to comply with generic dynamical systems with multiple singularities. Afterwards, we prove the converse barrier certificate theorem and illustrate the differences between ours and previous work by...
Poutiainen, H. (Hayley)
2015-01-01
Group theory is a mathematical domain where groups and their properties are studied. The evolution of group theory as an area of study is said to be the result of the parallel development of a variety of different studies in mathematics. Sylow’s Theorems were a set of theorems proved around the same time the concept of group theory was being established, in the 1870s. Sylow used permutation groups in his proofs which were then later generalized and shown to hold true for all finite groups....
Kartavtsev, Alexander
2014-01-01
According to the Goldstone theorem a scalar theory with a spontaneously broken global symmetry contains strictly massless states. In this letter we identify a loophole in the current-algebra proof of the theorem. Therefore, the question whether in models with Mexican hat potential the tangential excitations are strictly massless or are just almost massless as compared to the radial ones remains open. We also argue that mass of the tangential excitations approaches zero even if the symmetry is not spontaneously broken but a combination of the field components invariant under the symmetry transformations acquires a large vacuum expectation value.
DEFF Research Database (Denmark)
Bressler, Paul; Gorokhovsky, Alexander; Nest, Ryszard;
2015-01-01
The main result of the present paper is an analogue of Kontsevich formality theorem in the context of the deformation theory of gerbes. We construct an L∞L∞ deformation of the Schouten algebra of multi-vectors which controls the deformation theory of a gerbe.......The main result of the present paper is an analogue of Kontsevich formality theorem in the context of the deformation theory of gerbes. We construct an L∞L∞ deformation of the Schouten algebra of multi-vectors which controls the deformation theory of a gerbe....
Maximum principle and convergence of central schemes based on slope limiters
Mehmetoglu, Orhan
2012-01-01
A maximum principle and convergence of second order central schemes is proven for scalar conservation laws in dimension one. It is well known that to establish a maximum principle a nonlinear piecewise linear reconstruction is needed and a typical choice is the minmod limiter. Unfortunately, this implies that the scheme uses a first order reconstruction at local extrema. The novelty here is that we allow local nonlinear reconstructions which do not reduce to first order at local extrema and still prove maximum principle and convergence. © 2011 American Mathematical Society.
Normal Limits, Nonnormal Limits, and the Bootstrap for Quantiles of Dependent Data
Sharipov, O. Sh.; Wendler, M.
2012-01-01
We will show under very weak conditions on differentiability and dependence that the central limit theorem for quantiles holds and that the block bootstrap is weakly consistent. Under slightly stronger conditions, the bootstrap is strongly consistent. Without the differentiability condition, quantiles might have a non-normal asymptotic distribution and the bootstrap might fail.
Virial Theorem and Scale Transformations.
Kleban, Peter
1979-01-01
Discussed is the virial theorem, which is useful in classical, quantum, and statistical mechanics. Two types of derivations of this theorem are presented and the relationship between the two is explored. (BT)
Dalen, D. van
2008-01-01
The following pages make form a new chapter for the book Logic and Structure. This chapter deals with the incompleteness theorem, and contains enough basic material for the treatment of the required notions of computability, representability and the like. This chapter will appear in the next edition of Logic and Structure. Comments are welcome.
Dalen, D. van
2008-01-01
The following pages make form a new chapter for the book Logic and Structure. This chapter deals with the incompleteness theorem, and contains enough basic material for the treatment of the required notions of computability, representability and the like. This chapter will appear in the next edition
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…
Sampling theorems and compressive sensing on the sphere
McEwen, J D; Thiran, J -Ph; Vandergheynst, P; Van De Ville, D; Wiaux, Y
2011-01-01
We discuss a novel sampling theorem on the sphere developed by McEwen & Wiaux recently through an association between the sphere and the torus. To represent a band-limited signal exactly, this new sampling theorem requires less than half the number of samples of other equiangular sampling theorems on the sphere, such as the canonical Driscoll & Healy sampling theorem. A reduction in the number of samples required to represent a band-limited signal on the sphere has important implications for compressive sensing, both in terms of the dimensionality and sparsity of signals. We illustrate the impact of this property with an inpainting problem on the sphere, where we show superior reconstruction performance when adopting the new sampling theorem.
Virial theorem and hypervirial theorem in a spherical geometry
Energy Technology Data Exchange (ETDEWEB)
Li Yan; Chen Jingling [Theoretical Physics Division, Chern Institute of Mathematics, Nankai University, Tianjin 300071 (China); Zhang Fulin, E-mail: flzhang@tju.edu.cn, E-mail: chenjl@nankai.edu.cn [Physics Department, School of Science, Tianjin University, Tianjin 300072 (China)
2011-09-09
The virial theorem in the one- and two-dimensional spherical geometry are presented in both classical and quantum mechanics. Choosing a special class of hypervirial operators, the quantum hypervirial relations in the spherical spaces are obtained. With the aid of the Hellmann-Feynman theorem, these relations can be used to formulate a perturbation theorem without wavefunctions, corresponding to the hypervirial-Hellmann-Feynman theorem perturbation theorem of Euclidean geometry. The one-dimensional harmonic oscillator and two-dimensional Coulomb system in the spherical spaces are given as two sample examples to illustrate the perturbation method. (paper)
Carnot's theorem as Noether's theorem for thermoacoustic engines
International Nuclear Information System (INIS)
Onset in thermoacoustic engines, the transition to spontaneous self-generation of oscillations, is studied here as both a dynamical critical transition and a limiting heat engine behavior. The critical transition is interesting because it occurs for both dissipative and conservative systems, with common scaling properties. When conservative, the stable oscillations above the critical point also implement a reversible engine cycle satisfying Carnot's theorem, a universal conservation law for entropy flux. While criticality in equilibrium systems is naturally associated with symmetries and universal conservation laws, these are usually exploited with global minimization principles, which dynamical critical systems may not have if dissipation is essential to their criticality. Acoustic heat engines furnish an example connecting equilibrium methods with dynamical and possibly even dissipative critical transitions: A reversible engine is shown to map, by a change of variables, to an equivalent system in apparent thermal equilibrium; a Noether symmetry in the equilibrium field theory implies Carnot's theorem for the engine. Under the same association, onset is shown to be a process of spontaneous symmetry breaking and the scaling of the quality factor predicted for both the reversible and irreversible engines is shown to arise from the Ginzburg-Landau description of the broken phase. copyright 1998 The American Physical Society
Fixed points, intersection theorems, variational inequalities, and equilibrium theorems
Directory of Open Access Journals (Sweden)
Sehie Park
2000-07-01
Full Text Available From a fixed point theorem for compact acyclic maps defined on admissible convex sets in the sense of Klee, we first deduce collectively fixed point theorems, intersection theorems for sets with convex sections, and quasi-equilibrium theorems. These quasi-equilibrium theorems are applied to give simple and unified proofs of the known variational inequalities of the Hartman-Stampacchia-Browder type. Moreover, from our new fixed point theorem, we deduce new variational inequalities which can be used to obtain fixed point results for convex-valued maps. Finally, various general economic equilibrium theorems are deduced in the forms of the Nash type, the Tarafdar type, and the Yannelis-Prabhakar type. Our results are stated for not-necessarily locally convex topological vector spaces and for abstract economies with arbitrary number of commodities and agents. Our new results extend a lot of known works with much simpler proofs.
Weak Characterizations of Stochastic Integrability and Dudley's Theorem in Infinite Dimensions
Czech Academy of Sciences Publication Activity Database
Ondreját, Martin; Veraar, M.
2014-01-01
Roč. 27, č. 4 (2014), s. 1350-1374. ISSN 0894-9840 R&D Projects: GA ČR GAP201/10/0752 Institutional support: RVO:67985556 Keywords : stochastic integration in Banach spaces * almost sure limit theorems * Dudley representation theorem * universal representation theorem * weak characterization of stochastic integrability * Doob representation theorem Subject RIV: BA - General Mathematics Impact factor: 0.857, year: 2014 http://library.utia.cas.cz/separaty/2013/SI/ondrejat-0392394.pdf
Thermal Tachyons and the "g"-Theorem
Chaudhuri, Shyamoli
2002-01-01
We give a pedagogical introduction to Affleck and Ludwig's g-theorem, distinguishing its applications in field theory vs string theory. We clarify the recent proposal that the vacuum degeneracy $g$ of a noncompact worldsheet sigma model with a continuous spectrum of scaling dimensions is lowered under renormalization group flow while preserving the central charge. As an illustration we argue that the IR stable endpoint of the relevant flow of the worldsheet RG induced by a thermal tachyon in ...
Directory of Open Access Journals (Sweden)
Jeffrey J. Opperman
2010-03-01
Full Text Available Hydropower dam construction is expanding rapidly in Central America because of the increasing demand for electricity. Although hydropower can provide a low-carbon source of energy, dams can also degrade socially valued riverine and riparian ecosystems and the services they provide. Such degradation can be partially mitigated by the release of environmental flows below dams. However, environmental flows have been applied infrequently to dams in Central America, partly because of the lack of information on the ecological, social, and economic aspects of rivers. This paper presents a case study of how resource and information limitations were addressed in the development of environmental flow recommendations for the Patuca River in Honduras below a proposed hydroelectric dam. To develop flow recommendations, we applied a multistep process that included hydrological analysis and modeling, the collection of traditional ecological knowledge (TEK during field trips, expert consultation, and environmental flow workshops for scientists, water managers, and community members. The final environmental flow recommendation specifies flow ranges for different components of river hydrology, including low flows for each month, high-flow pulses, and floods, in dry, normal, and wet years. The TEK collected from local and indigenous riverine communities was particularly important for forming hypotheses about flow-dependent ecological and social factors that may be vulnerable to disruption from dam-modified river flows. We show that our recommended environmental flows would have a minimal impact on the dam's potential to generate electricity. In light of rapid hydropower development in Central America, we suggest that environmental flows are important at the local scale, but that an integrated landscape perspective is ultimately needed to pursue hydropower development in a manner that is as ecologically sustainable as possible.
Taylor, Marika
2016-01-01
The F theorem states that, for a unitary three dimensional quantum field theory, the F quantity defined in terms of the partition function on a three sphere is positive, stationary at fixed point and decreases monotonically along a renormalization group flow. We construct holographic renormalization group flows corresponding to relevant deformations of three-dimensional conformal field theories on spheres, working to quadratic order in the source. For these renormalization group flows, the F quantity at the IR fixed point is always less than F at the UV fixed point, but F increases along the RG flow for deformations by operators of dimension $3/2 < \\Delta < 5/2$. Therefore the strongest version of the F theorem is in general violated.
Indian Academy of Sciences (India)
N V Rao
2003-02-01
The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose is a compact set in the complex plane and 0 belongs to the boundary . Let $\\mathcal{A}(K)$ denote the space of all functions on such that is holomorphic in a neighborhood of and (0) = 0. Also for any given positive integer , let $\\mathcal{A}(m, K)$ denote the space of all such that is holomorphic in a neighborhood of and $f(0) = f'(0) = \\cdots = f^{(m)}(0) = 0$. Then $\\mathcal{A}(m, K)$ is dense in $\\mathcal{A}(K)$ under the supremum norm on provided that there exists a sector $W = \\{re^{i}; 0 ≤ r ≤ , ≤ ≤ \\}$ such that $W \\cap K = \\{0\\}$. (This is the well-known Poincare's external cone condition).} We present various generalizations of this result in the context of higher dimensions replacing holomorphic with harmonic.
Institute of Scientific and Technical Information of China (English)
2012-01-01
At present,there are many factors limiting large area centralized,rapid development,and moderately large-scale land operation in China.These factors include(i) the existing land utilization system is still at adaptation stage,and it lacks universal agreement of people on large-scale land operation;(ii) farmers’ dependence on land is great;(iii) it is difficult to transfer surplus labor;(iv) there is no positive connection between promotion of moderately large-scale land operation and realization of increase of farmers’ income;(v) it remains to be proved whether large-scale operation can become a stable rural occupation and whether big farming households can grow to professional farmers;(vi) large-scale land operation in rural areas may lead to waste of resources;(vii) the promotion of large-scale land operation may cause other social contradictions.
A New Simple Approach for Entropy and Carnot Theorem
International Nuclear Information System (INIS)
Entropy and Carnot theorem occupy central place in the typical Thermodynamics courses at the university level. In this work, we suggest a new simple approach for introducing the concept of entropy. Using simple procedure in TV plane, we proved that for reversible processes ∫dQ/T=0 and it is sufficient to define entropy. And also, using reversible processes in TS plane, we give an alternative simple proof for Carnot theorem
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...
No ghost theorem and cohomology theorem for strings in arbitrary static backgrounds
International Nuclear Information System (INIS)
This paper considers a string moving in an arbitrary time-independent background given by an arbitrary conformal field theory of appropriate central charge (e.g., c = 25 for bosonic string) and one flat time-like dimension. The authors show that the physical subspace of the Hilbert space is positive semi-definite (no ghost theorem) and that the cohomology of the BRST operator is trivial except for the ghost number one (for open bosonic string) sector (cohomology theorem). Both the proofs are reductio ad absurdum proofs based on the corresponding theorems for the strings moving in flat background. In cases where there is an extra flat space-like dimension (besides the flat time-like one), the transverse subspace with positive-definite norm can be constructed
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 ...
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...
Tau leaping of stiff stochastic chemical systems via local central limit approximation
International Nuclear Information System (INIS)
Stiffness manifests in stochastic dynamic systems in a more complex manner than in deterministic systems; it is not only important for a time-stepping method to remain stable but it is also important for the method to capture the asymptotic variances accurately. In the context of stochastic chemical systems, time stepping methods are known as tau leaping. Well known existing tau leaping methods have shortcomings in this regard. The implicit tau method is far more stable than the trapezoidal tau method but underestimates the asymptotic variance. On the other hand, the trapezoidal tau method which estimates the asymptotic variance exactly for linear systems suffers from the fact that the transients of the method do not decay fast enough in the context of very stiff systems. We propose a tau leaping method that possesses the same stability properties as the implicit method while it also captures the asymptotic variance with reasonable accuracy at least for the test system S1↔S2. The proposed method uses a central limit approximation (CLA) locally over the tau leaping interval and is referred to as the LCLA-τ. The CLA predicts the mean and covariance as solutions of certain differential equations (ODEs) and for efficiency we solve these using a single time step of a suitable low order method. We perform a mean/covariance stability analysis of various possible low order schemes to determine the best scheme. Numerical experiments presented show that LCLA-τ performs favorably for stiff systems and that the LCLA-τ is also able to capture bimodal distributions unlike the CLA itself. The proposed LCLA-τ method uses a split implicit step to compute the mean update. We also prove that any tau leaping method employing a split implicit step converges in the fluid limit to the implicit Euler method as applied to the fluid limit differential equation
Tautenhahn, Susanne; Lichstein, Jeremy W; Jung, Martin; Kattge, Jens; Bohlman, Stephanie A; Heilmeier, Hermann; Prokushkin, Anatoly; Kahl, Anja; Wirth, Christian
2016-06-01
Fire is a primary driver of boreal forest dynamics. Intensifying fire regimes due to climate change may cause a shift in boreal forest composition toward reduced dominance of conifers and greater abundance of deciduous hardwoods, with potential biogeochemical and biophysical feedbacks to regional and global climate. This shift has already been observed in some North American boreal forests and has been attributed to changes in site conditions. However, it is unknown if the mechanisms controlling fire-induced changes in deciduous hardwood cover are similar among different boreal forests, which differ in the ecological traits of the dominant tree species. To better understand the consequences of intensifying fire regimes in boreal forests, we studied postfire regeneration in five burns in the Central Siberian dark taiga, a vast but poorly studied boreal region. We combined field measurements, dendrochronological analysis, and seed-source maps derived from high-resolution satellite images to quantify the importance of site conditions (e.g., organic layer depth) vs. seed availability in shaping postfire regeneration. We show that dispersal limitation of evergreen conifers was the main factor determining postfire regeneration composition and density. Site conditions had significant but weaker effects. We used information on postfire regeneration to develop a classification scheme for successional pathways, representing the dominance of deciduous hardwoods vs. evergreen conifers at different successional stages. We estimated the spatial distribution of different successional pathways under alternative fire regime scenarios. Under intensified fire regimes, dispersal limitation of evergreen conifers is predicted to become more severe, primarily due to reduced abundance of surviving seed sources within burned areas. Increased dispersal limitation of evergreen conifers, in turn, is predicted to increase the prevalence of successional pathways dominated by deciduous hardwoods
Energy Technology Data Exchange (ETDEWEB)
NONE
1998-12-01
From 1996, the Norwegian and Swedish power markets were joined and a common power exchange was established. The two countries deal differently with bottlenecks (transmission obstruction) in their central networks. This report compares methods for dealing with such bottlenecks and looks at the alternatives. It emphasises the efficiency of pricing and incentives and the possibility of exercising market power under the different methods. Norway uses a method of price regions, or bottleneck tax. Prices are determined for the various price regions so as to keep the power flow below specified bounds. A surplus region is assigned a lower price than a deficit region and the bottleneck tax is the difference in price between two such price regions. The Swedish system is based on a counter purchase concept. In his offer to the spotmarket, the supplier has bound himself to provide a certain amount to the current system price regardless of network limitations. Up-regulation means that he produces more than this amount. Down-regulation means that he is paid for supplying less than he had offered to the current system price. In up- or down-regulation, compensation is given as the difference between the system price and the price on the counter purchase market. The main conclusions are: (1) Counter purchase is unsuitable as the main strategy for Norway. (2) Counter purchase may be suitable with short-lived and unpredicted bottlenecks; price regions may be suitable for long-lasting and predicted bottlenecks. Time is a central factor. (3) Present-day models for bottleneck management in Norway and Sweden do not give the optimum short-term load distribution on the network. In general, the current Norwegian system works fairly well, although it might be worthwhile to consider a system that approaches node pricing. 3 refs., 34 figs., 3 tabs.
Food limitation of sea lion pups and the decline of forage off central and southern California.
McClatchie, Sam; Field, John; Thompson, Andrew R; Gerrodette, Tim; Lowry, Mark; Fiedler, Paul C; Watson, William; Nieto, Karen M; Vetter, Russell D
2016-03-01
California sea lions increased from approximately 50 000 to 340 000 animals in the last 40 years, and their pups are starving and stranding on beaches in southern California, raising questions about the adequacy of their food supply. We investigated whether the declining sea lion pup weight at San Miguel rookery was associated with changes in abundance and quality of sardine, anchovy, rockfish and market squid forage. In the last decade off central California, where breeding female sea lions from San Miguel rookery feed, sardine and anchovy greatly decreased in biomass, whereas market squid and rockfish abundance increased. Pup weights fell as forage food quality declined associated with changes in the relative abundances of forage species. A model explained 67% of the variance in pup weights using forage from central and southern California and 81% of the variance in pup weights using forage from the female sea lion foraging range. A shift from high to poor quality forage for breeding females results in food limitation of the pups, ultimately flooding animal rescue centres with starving sea lion pups. Our study is unusual in using a long-term, fishery-independent dataset to directly address an important consequence of forage decline on the productivity of a large marine predator. Whether forage declines are environmentally driven, are due to a combination of environmental drivers and fishing removals, or are due to density-dependent interactions between forage and sea lions is uncertain. However, declining forage abundance and quality was coherent over a large area (32.5-38° N) for a decade, suggesting that trends in forage are environmentally driven. PMID:27069651
Stability of Gas Clouds in Galactic Nuclei: An Extended Virial Theorem
Chen, Xian; Cuadra, Jorge
2015-01-01
Cold gas entering the central $1$ to $10^2$ pc of a galaxy fragments and condenses into clouds. The stability of the clouds determines whether they will be turned into stars or can be delivered to the central supermassive black hole (SMBH) to turn on an active galactic nucleus (AGN). The conventional criteria to assess the stability of these clouds, such as the Jeans criterion and Roche (or tidal) limit, are insufficient here, because they assume the dominance of self-gravity in binding a cloud, and neglect external agents, such as pressure and tidal forces, which are common in galactic nuclei. We formulate a new scheme for judging this stability. We first revisit the conventional Virial theorem, taking into account an external pressure, to identify the correct range of masses that lead to stable clouds. We then extend the theorem to include an external tidal field, crucial for the stability in the region of interest -- in dense star clusters, around SMBHs. We apply our extended Virial theorem to find the cor...
A Limit Theorem for Double Arrays
Rosalsky, Andrew; Teicher, Henry
1981-01-01
The main result establishes that row sums $S_n$ of a double array of rowwise independent, infinitesimal (or merely uniformly asymptotically constant) random variables satisfying $\\lim \\sup |S_n - M_n| \\leq M_0 < \\infty$ a.c. (for some choice of constants $M_n$), obey a weak law of large numbers, i.e., $S_n - \\operatorname{med} S_n$ converges in probability to 0. No moment assumptions are imposed on the individual summands and zero-one laws are unavailable. As special cases, a new result for w...
A new VLA/e-MERLIN limit on central images in the gravitational lens system CLASS B1030+074
Quinn, Jonathan; Jackson, Neal; Tagore, Amitpal; Biggs, Andrew; Birkinshaw, Mark; Chapman, Scott; De Zotti, Gianfranco; McKean, John; Pérez-Fournon, Ismael; Scott, Douglas; Serjeant, Stephen
2016-07-01
We present the new Very Large Array 22 GHz and extended Multi-Element Remote-Linked Interferometer Network 5 GHz observations of CLASS B1030+074, a two-image strong gravitational lens system whose background source is a compact flat-spectrum radio quasar. In such systems we expect a third image of the background source to form close to the centre of the lensing galaxy. The existence and brightness of such images is important for investigation of the central mass distributions of lensing galaxies, but only one secure detection has been made so far in a galaxy-scale lens system. The noise levels achieved in our new B1030+074 images reach 3 μJy beam-1 and represent an improvement in central image constraints of nearly an order of magnitude over previous work, with correspondingly better resulting limits on the shape of the central mass profile of the lensing galaxy. Simple models with an isothermal outer power-law slope now require either the influence of a central supermassive black hole (SMBH), or an inner power-law slope very close to isothermal, in order to suppress the central image below our detection limit. Using the central mass profiles inferred from light distributions in Virgo galaxies, moved to z = 0.5, and matching to the observed Einstein radius, we now find that 45 per cent of such mass profiles should give observable central images, 10 per cent should give central images with a flux density still below our limit, and the remaining systems have extreme demagnification produced by the central SMBH. Further observations of similar objects will therefore allow proper statistical constraints to be placed on the central properties of elliptical galaxies at high redshift.
Arrow's Theorem in Judgement Aggregation
Franz Dietrich; Christian List
2005-01-01
In response to recent work on the aggregation of individual judgements on logically connected propositions into collective judgements, it is often asked whether judgement aggregation is a special case of Arrowian preference aggregation. We argue the opposite. After proving a general impossibility theorem, we construct an embedding of preference aggregation into judgement aggregation and prove Arrow's theorem as a corollary of our result. Although we provide a new proof of Arrow's theorem, our...
Perspectives on the CAP Theorem
Gilbert, Seth; Lynch, Nancy Ann
2012-01-01
Almost twelve years ago, in 2000, Eric Brewer introduced the idea that there is a fundamental trade-off between consistency, availability, and partition tolerance. This trade-off, which has become known as the CAP Theorem, has been widely discussed ever since. In this paper, we review the CAP Theorem and situate it within the broader context of distributed computing theory. We then discuss the practical implications of the CAP Theorem, and explore some general techniques for coping with the i...
A theorem in relativistic electronics
Yongjian, Yu
1990-04-01
This paper presents a theorem that connects the dispersion relation of the Electron Cyclotron Maser' and the oscillation equation of the Gyromonotron. This theorem gives us a simple way of obtaining the osscillating characteristics of the Gyromonotron provided that dispersion relation of the ECRM is given. Though the theorem is proved only with the case of ECRM and Gyromonotron, it holds for other kinds of Electron Masers, FEL4etc. and corresponding osscillators.
International Nuclear Information System (INIS)
We in the nuclear power industry consider ourselves to be at the forefront of civilised progress. Yet, all too often, even we ourselves don't believe our public relations statements about nuclear power. Why is this? Let us approach the question by considering Godel's Theorem. Godel's Theorem is extremely complicated mathematically, but for our purposes can be simplified to the maxim that one cannot validate a system from within that system. Scientists, especially those in the fields of astronomy and nuclear physics, have long realised the implications of Godel's Theorem. The people to whom we must communicate look to us, who officially know everything about our industry, to comfort and reassure them. And we forget that we can only comfort them by addressing their emotional needs, not by demonstrating our chilling objectivity. Let us try something completely new in communication. Instead of looking for incremental rules which will help us marginally differentiate the way we communicate about minor or major incidents, let us leapfrog across 'objectivity' to meaning and relevance. If we truly believe that nuclear energy is a good thing, this leap should not be difficult. Finally, if we as communicators are not prepared to be meaningful and relevant - not prepared to leapfrog beyond weasel terms like 'minor incident' - what does that say about the kinds of people we believe the nuclear community to be? Are nuclear people a group apart, divisible from the rest of the human race by their evil? In fact the nuclear community is a living, laughing, normal part of a whole society; and is moreover a good contributor to the technological progress that society demands. When we ourselves recognise this, we will start to communicate nuclear issues in the same language as the rest of society. We will start to speak plainly and convincingly, and our conviction will leapfrog our audience into being able to believe us
Cobham's theorem for substitutions
Durand, Fabien
2010-01-01
The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\\alpha$ and $\\beta$ be two multiplicatively independent Perron numbers. Then, a sequence $x\\in A^\\mathbb{N}$, where $A$ is a finite alphabet, is both $\\alpha$-substitutive and $\\beta$-substitutive if and only if $x$ is ultimately periodic.
Fluctuation theorem in spintronics
International Nuclear Information System (INIS)
Microscopic reversibility is a key in deriving the Onsager relation. It even leads a new exact relationship that would be valid far from equilibrium, called fluctuation theorem (FT). The FT provides a precise statement for the second law of thermodynamics; and remarkably, reproduces the linear response theory. We consider the FT in the spin-dependent transport and derive universal relations among nonlinear spin and charge transport coefficients. We apply the relations to a quantum dot embedded in a two-terminal Aharonov-Bohm interferometer and check that the relations are satisfied.
Reiher, Christian
2012-01-01
Tur\\'{a}n's theorem is a cornerstone of extremal graph theory. It asserts that for any integer $r \\geq 2$ every graph on $n$ vertices with more than ${\\tfrac{r-2}{2(r-1)}\\cdot n^2}$ edges contains a clique of size $r$, i.e., $r$ mutually adjacent vertices. The corresponding extremal graphs are balanced $(r-1)$-partite graphs. The question as to how many such $r$-cliques appear at least in any $n$-vertex graph with $\\gamma n^2$ edges has been intensively studied in the literature. In particula...
Limits to physiological plasticity of the coral Pocillopora verrucosa from the central Red Sea
Ziegler, M.
2014-07-26
Many coral species display changing distribution patterns across coral reef depths. While changes in the underwater light field and the ability to associate with different photosynthetic symbionts of the genus Symbiodinium explain some of the variation, the limits to physiological plasticity are unknown for most corals. In the central Red Sea, colonies of the branching coral Pocillopora verrucosa are most abundant in shallow high light environments and become less abundant in water depths below 10 m. To further understand what determines this narrow distribution, we conducted a cross-depths transplant experiment looking at physiological plasticity and acclimation in regard to depth. Colonies from 5, 10, and 20 m were collected, transplanted to all depths, and re-investigated after 30 and 210 d. All coral colonies transplanted downward from shallow to deep water displayed an increase in photosynthetic light-harvesting pigments, which resulted in higher photosynthetic efficiency. Shallow-water specimens transplanted to deeper water showed a significant decrease in total protein content after 30 and 210 d under low light conditions compared to specimens transplanted to shallow and medium depths. Stable isotope data suggest that heterotrophic input of carbon was not increased under low light, and consequently, decreasing protein levels were symptomatic of decreasing photosynthetic rates that could not be compensated for through higher light-harvesting efficiency. Our results provide insights into the physiological plasticity of P. verrucosa in changing light regimes and explain the observed depth distribution pattern. Despite its high abundance in shallow reef waters, P. verrucosa possesses limited heterotrophic acclimation potential, i.e., the ability to support its mainly photoautotrophic diet through heterotrophic feeding. We conclude that P. verrucosa might be a species vulnerable to sudden changes in underwater light fields resulting from processes such as
Limits to physiological plasticity of the coral Pocillopora verrucosa from the central Red Sea
Ziegler, Maren; Roder, Cornelia M.; Büchel, Claudia; Voolstra, Christian R.
2014-12-01
Many coral species display changing distribution patterns across coral reef depths. While changes in the underwater light field and the ability to associate with different photosynthetic symbionts of the genus Symbiodinium explain some of the variation, the limits to physiological plasticity are unknown for most corals. In the central Red Sea, colonies of the branching coral Pocillopora verrucosa are most abundant in shallow high light environments and become less abundant in water depths below 10 m. To further understand what determines this narrow distribution, we conducted a cross-depths transplant experiment looking at physiological plasticity and acclimation in regard to depth. Colonies from 5, 10, and 20 m were collected, transplanted to all depths, and re-investigated after 30 and 210 d. All coral colonies transplanted downward from shallow to deep water displayed an increase in photosynthetic light-harvesting pigments, which resulted in higher photosynthetic efficiency. Shallow-water specimens transplanted to deeper water showed a significant decrease in total protein content after 30 and 210 d under low light conditions compared to specimens transplanted to shallow and medium depths. Stable isotope data suggest that heterotrophic input of carbon was not increased under low light, and consequently, decreasing protein levels were symptomatic of decreasing photosynthetic rates that could not be compensated for through higher light-harvesting efficiency. Our results provide insights into the physiological plasticity of P. verrucosa in changing light regimes and explain the observed depth distribution pattern. Despite its high abundance in shallow reef waters, P. verrucosa possesses limited heterotrophic acclimation potential, i.e., the ability to support its mainly photoautotrophic diet through heterotrophic feeding. We conclude that P. verrucosa might be a species vulnerable to sudden changes in underwater light fields resulting from processes such as
International Nuclear Information System (INIS)
In this communication we establish stochastic limit laws leading from Zipf's law to Pareto's and Heaps' laws. We consider finite ensembles governed by Zipf's law and study their asymptotic statistics as the ensemble size tends to infinity. A Lorenz-curve analysis establishes three types of limit laws for the ensembles' statistical structure: 'communist', 'monarchic', and Paretian. Further considering a dynamic setting in which the ensembles grow stochastically in time, a functional central limit theorem analysis establishes a Gaussian approximation for the ensembles' stochastic growth. The Gaussian approximation provides a generalized and corrected formulation of Heaps' law. (fast track communication)
Theorems on Positive Data: On the Uniqueness of NMF
DEFF Research Database (Denmark)
Lauerberg, Hans; Christensen, Mads Græsbøll; Pumbley, Mark; Hansen, Lars Kai; Jensen, Søren Holdt
2008-01-01
We investigate the conditions for which nonnegative matrix factorization (NMF) is unique and introduce several theorems which can determine whether the decomposition is in fact unique or not. The theorems are illustrated by several examples showing the use of the theorems and their limitations. W...... have shown that corruption of a unique NMF matrix by additive noise leads to a noisy estimation of the noise-free unique solution. Finally, we use a stochastic view of NMF to analyze which characterization of the underlying model will result in an NMF with small estimation errors....
Theorems on Positive Data: On the Uniqueness of NMF
Directory of Open Access Journals (Sweden)
Mads Græsbøll Christensen
2008-05-01
Full Text Available We investigate the conditions for which nonnegative matrix factorization (NMF is unique and introduce several theorems which can determine whether the decomposition is in fact unique or not. The theorems are illustrated by several examples showing the use of the theorems and their limitations. We have shown that corruption of a unique NMF matrix by additive noise leads to a noisy estimation of the noise-free unique solution. Finally, we use a stochastic view of NMF to analyze which characterization of the underlying model will result in an NMF with small estimation errors.
Experimental studies of the transient fluctuation theorem using liquid crystals
Indian Academy of Sciences (India)
Soma Datta; Arun Roy
2009-05-01
In a thermodynamical process, the dissipation or production of entropy can only be positive or zero, according to the second law of thermodynamics. However, the laws of thermodynamics are applicable to large systems in the thermodynamic limit. Recently a fluctuation theorem, known as the transient fluctuation theorem (TFT), which generalizes the second law of thermodynamics to small systems has been proposed. This theorem has been tested in small systems such as a colloidal particle in an optical trap. We report for the first time an analogous experimental study of TFT in a spatially extended system using liquid crystals.
Weinberg Soft Theorems from Weinberg Adiabatic Modes
Mirbabayi, Mehrdad
2016-01-01
Soft theorems for the scattering of low energy photons and gravitons and cosmological consistency conditions on the squeezed-limit correlation functions are both understood to be consequences of invariance under large gauge transformations. We apply the same method used in cosmology -- based on the identification of an infinite set of "adiabatic modes" and the corresponding conserved currents -- to derive flat space soft theorems for electrodynamics and gravity. We discuss how the recent derivations based on the asymptotic symmetry groups (BMS) can be continued to a finite size sphere surrounding the scattering event, when the soft photon or graviton has a finite momentum. We give a finite distance derivation of the antipodal matching condition previously imposed between future and past null infinities, and explain why all but one radiative degrees of freedom decouple in the soft limit. In contrast to earlier works on BMS, we work with adiabatic modes which correspond to large gauge transformations that are $...
OTTER, Resolution Style Theorem Prover
International Nuclear Information System (INIS)
1 - Description of program or function: OTTER (Other Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first-order logic with equality. OTTER includes the inference rules binary resolution, hyper-resolution, UR-resolution, and binary para-modulation. These inference rules take as small set of clauses and infer a clause. If the inferred clause is new and useful, it is stored and may become available for subsequent inferences. Other capabilities are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, and evaluable functions and predicates. 2 - Method of solution: For its inference process OTTER uses the given-clause algorithm, which can be viewed as a simple implementation of the set of support strategy. OTTER maintains three lists of clauses: axioms, sos (set of support), and demodulators. OTTER is not automatic. Even after the user has encoded a problem into first-order logic or into clauses, the user must choose inference rules, set options to control the processing of inferred clauses, and decide which input formulae or clauses are to be in the initial set of support and which, if any, equalities are to be demodulators. If OTTER fails to find a proof, the user may try again different initial conditions. 3 - Restrictions on the complexity of the problem - Maxima of: 5000 characters in an input string, 64 distinct variables in a clause, 51 characters in any symbol. The maxima can be changed by finding the appropriate definition in the header.h file, increasing the limit, and recompiling OTTER. There are a few constraints on the order of commands
A volume-limited sample of X-ray galaxy groups and clusters: III. Central abundance drops
Panagoulia, Electra K; Fabian, Andy C
2014-01-01
We present the results of a search and study of central abundance drops in a volume-limited sample (z<=0.071) of 101 X-ray galaxy groups and clusters. These are best observed in nearby, and so best resolved, groups and clusters, making our sample ideal for their detection. Out of the 65 groups and clusters in our sample for which we have abundance profiles, 8 of them have certain central abundance drops, with possible central abundance drops in another 6. All sources with central abundance drops have X-ray cavities, and all bar one exception have a central cooling time <=1 Gyr. These central abundance drops can be generated if the iron injected by stellar mass loss processes in the core of these sources is in grains, which then become incorporated in the central dusty filaments. These, in turn, are dragged outwards by the bubbling feedback process in these sources. We find that data quality significantly affects the detection of central abundance drops, inasmuch as a higher number of counts in the centr...
Abelian theorems for Whittaker transforms
Directory of Open Access Journals (Sweden)
Richard D. Carmichael
1987-01-01
Full Text Available Initial and final value Abelian theorems for the Whittaker transform of functions and of distributions are obtained. The Abelian theorems are obtained as the complex variable of the transform approaches 0 or ∞ in absolute value inside a wedge region in the right half plane.
Geometry of the Adiabatic Theorem
Lobo, Augusto Cesar; Ribeiro, Rafael Antunes; Ribeiro, Clyffe de Assis; Dieguez, Pedro Ruas
2012-01-01
We present a simple and pedagogical derivation of the quantum adiabatic theorem for two-level systems (a single qubit) based on geometrical structures of quantum mechanics developed by Anandan and Aharonov, among others. We have chosen to use only the minimum geometric structure needed for the understanding of the adiabatic theorem for this case.…
A continuous mapping theorem for the smallest argmax functional
Seijo, Emilio; Sen, Bodhisattva
2011-01-01
This paper introduces a version of the argmax continuous mapping theorem that applies to M-estimation problems in which the objective functions converge to a limiting process with multiple maximizers. The concept of the smallest maximizer of a function in the d-dimensional Skorohod space is introduced and its main properties are studied. The resulting continuous mapping theorem is applied to three problems arising in change-point regression analysis. Some of the results proved in connection t...
Energy Budget and the Virial Theorem in Interstellar Clouds
Vazquez-Semadeni, Enrique
1997-01-01
The Virial Thoerem is a mathematical expression obtained from the equation of motion for a fluid, which describes the energy budget of particular regions within the flow. This course reviews the basic theory leading to the Virial Theorem, discusses its applicability and limitations, and then summarizes observational results concerning the physical and statistical properties of interstellar clouds which are normally understood in terms of the Virial Theorem, in particular the so-called ``Larso...
A limited role for suppression in the central field of individuals with strabismic amblyopia.
Directory of Open Access Journals (Sweden)
Brendan T Barrett
Full Text Available BACKGROUND: Although their eyes are pointing in different directions, people with long-standing strabismic amblyopia typically do not experience double-vision or indeed any visual symptoms arising from their condition. It is generally believed that the phenomenon of suppression plays a major role in dealing with the consequences of amblyopia and strabismus, by preventing images from the weaker/deviating eye from reaching conscious awareness. Suppression is thus a highly sophisticated coping mechanism. Although suppression has been studied for over 100 years the literature is equivocal in relation to the extent of the retina that is suppressed, though the method used to investigate suppression is crucial to the outcome. There is growing evidence that some measurement methods lead to artefactual claims that suppression exists when it does not. METHODOLOGY/RESULTS: Here we present the results of an experiment conducted with a new method to examine the prevalence, depth and extent of suppression in ten individuals with strabismic amblyopia. Seven subjects (70% showed no evidence whatsoever for suppression and in the three individuals who did (30%, the depth and extent of suppression was small. CONCLUSIONS: Suppression may play a much smaller role in dealing with the negative consequences of strabismic amblyopia than previously thought. Whereas recent claims of this nature have been made only in those with micro-strabismus our results show extremely limited evidence for suppression across the central visual field in strabismic amblyopes more generally. Instead of suppressing the image from the weaker/deviating eye, we suggest the visual system of individuals with strabismic amblyopia may act to maximise the possibilities for binocular co-operation. This is consistent with recent evidence from strabismic and amblyopic individuals that their binocular mechanisms are intact, and that, just as in visual normals, performance with two eyes is better than
Andreev's Theorem on hyperbolic polyhedra
Roeder, R K W; Dunbar, W D; Roeder, Roland K. W.; Hubbard, John H.; Dunbar, William D.
2004-01-01
In 1970, E. M. Andreev published a classification of all three-dimensional compact hyperbolic polyhedra having non-obtuse dihedral angles. Given a combinatorial description of a polyhedron, $C$, Andreev's Theorem provides five classes of linear inequalities, depending on $C$, for the dihedral angles, which are necessary and sufficient conditions for the existence of a hyperbolic polyhedron realizing $C$ with the assigned dihedral angles. Andreev's Theorem also shows that the resulting polyhedron is unique, up to hyperbolic isometry. Andreev's Theorem is both an interesting statement about the geometry of hyperbolic 3-dimensional space, as well as a fundamental tool used in the proof for Thurston's Hyperbolization Theorem for 3-dimensional Haken manifolds. It is also remarkable to what level the proof of Andreev's Theorem resembles (in a simpler way) the proof of Thurston. We correct a fundamental error in Andreev's proof of existence and also provide a readable new proof of the other parts of the proof of And...
Some Theorems on Generalized Basic Hypergeometric Series
Directory of Open Access Journals (Sweden)
A. D. Wadhwa
1972-07-01
Full Text Available In an earlier paper the author has established two theorems on generalized hypergeometric functions. In each theorem a numerator differs from a denominator by a positive integer. These theorems were further used to prove some theorems on the sums of Kampe de Feriet functions. Here, we have established the theorems which are the basic analogues of the theorems proved in the earlier paper.
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.
2010-07-02
... Economic Zone Off Alaska; Central Gulf of Alaska License Limitation Program; Amendment 86 AGENCY: National... the Gulf of Alaska (FMP) to NMFS for review. If approved, Amendment 86 would add a Pacific cod... of Amendment 86 to the Fishery Management Plan for Groundfish of the Gulf of Alaska, and...
POTENTIAL AND LIMITS OF RENEWABLE ENERGY IN THE CENTRAL AND SOUTH-EAST EUROPE REGION
CIRLEA Filip; Iancu, Iulian
2012-01-01
Renewable energy sources (solar power, wind power, hydroenergy, biomass, biofuels) with energy efficiency contribute to increasing security of electricity supply, competitiveness and sustainable development. The countries of the Central and South-East Europe region must to develop a focus on alternative energy sources and on energy efficiency and energy saving. Developing the renewable energy sector in a sustainable manner in the Central and South-East Europe region would enhance security of ...
The Weinberg-Witten theorem on massless particles: an essay
International Nuclear Information System (INIS)
In this essay we deal with the Weinberg-Witten theorem which imposes limitations on massless particles. First we motivate a classification of massless particles given by the Poincare group as the symmetry group of Minkowski spacetime. We then use the fundamental structure of the background in the form of Poincare covariance to derive restrictions on charged massless particles known as the Weinberg-Witten theorem. We address possible misunderstandings in the proof of this theorem motivated by several papers on this topic. In the last section the consequences of the theorem are discussed. We treat it in the context of known particles and as a constraint for emergent theories. (Abstract Copyright [2008], Wiley Periodicals, Inc.)
Complex integration and Cauchy's theorem
Watson, GN
2012-01-01
This brief monograph by one of the great mathematicians of the early twentieth century offers a single-volume compilation of propositions employed in proofs of Cauchy's theorem. Developing an arithmetical basis that avoids geometrical intuitions, Watson also provides a brief account of the various applications of the theorem to the evaluation of definite integrals.Author G. N. Watson begins by reviewing various propositions of Poincaré's Analysis Situs, upon which proof of the theorem's most general form depends. Subsequent chapters examine the calculus of residues, calculus optimization, the
-Dimensional Fractional Lagrange's Inversion Theorem
Directory of Open Access Journals (Sweden)
F. A. Abd El-Salam
2013-01-01
Full Text Available Using Riemann-Liouville fractional differential operator, a fractional extension of the Lagrange inversion theorem and related formulas are developed. The required basic definitions, lemmas, and theorems in the fractional calculus are presented. A fractional form of Lagrange's expansion for one implicitly defined independent variable is obtained. Then, a fractional version of Lagrange's expansion in more than one unknown function is generalized. For extending the treatment in higher dimensions, some relevant vectors and tensors definitions and notations are presented. A fractional Taylor expansion of a function of -dimensional polyadics is derived. A fractional -dimensional Lagrange inversion theorem is proved.
Opechowski's theorem and commutator groups
International Nuclear Information System (INIS)
It is shown that the conditions of application of Opechowski's theorem for double groups of subgroups of O(3) are directly associated to the structure of their commutator groups. Some characteristics of the structure of classes are also discussed. (Author)
KAM Theorem and Renormalization Group
E. Simone; Kupiainen, A.
2007-01-01
We give an elementary proof of the analytic KAM theorem by reducing it to a Picard iteration of a PDE with quadratic nonlinearity, the so called Polchinski renormalization group equation studied in quantum field theory.
Cosmological singularity theorems and splitting theorems for N-Bakry-Émery spacetimes
Energy Technology Data Exchange (ETDEWEB)
Woolgar, Eric, E-mail: ewoolgar@ualberta.ca [Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta T6G 2G1 (Canada); Wylie, William, E-mail: wwylie@syr.edu [215 Carnegie Building, Department of Mathematics, Syracuse University, Syracuse, New York 13244 (United States)
2016-02-15
We study Lorentzian manifolds with a weight function such that the N-Bakry-Émery tensor is bounded below. Such spacetimes arise in the physics of scalar-tensor gravitation theories, including Brans-Dicke theory, theories with Kaluza-Klein dimensional reduction, and low-energy approximations to string theory. In the “pure Bakry-Émery” N = ∞ case with f uniformly bounded above and initial data suitably bounded, cosmological-type singularity theorems are known, as are splitting theorems which determine the geometry of timelike geodesically complete spacetimes for which the bound on the initial data is borderline violated. We extend these results in a number of ways. We are able to extend the singularity theorems to finite N-values N ∈ (n, ∞) and N ∈ (−∞, 1]. In the N ∈ (n, ∞) case, no bound on f is required, while for N ∈ (−∞, 1] and N = ∞, we are able to replace the boundedness of f by a weaker condition on the integral of f along future-inextendible timelike geodesics. The splitting theorems extend similarly, but when N = 1, the splitting is only that of a warped product for all cases considered. A similar limited loss of rigidity has been observed in a prior work on the N-Bakry-Émery curvature in Riemannian signature when N = 1 and appears to be a general feature.
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
Soft Theorems from Conformal Field Theory
Lipstein, Arthur E
2015-01-01
Strominger and collaborators recently proposed that soft theorems for gauge and gravity amplitudes can be interpreted as Ward identities of a 2d CFT at null infinity. In this paper, we will consider a specific realization of this CFT known as ambitwistor string theory, which describes 4d Yang-Mills and gravity with any amount of supersymmetry. Using 4d ambitwistor string theory, we derive soft theorems in the form of an infinite series in the soft momentum which are valid to subleading order in gauge theory and sub-subleading order in gravity. Furthermore, we describe how the algebra of soft limits can be encoded in the braiding of soft vertex operators on the worldsheet and point out a simple relation between soft gluon and soft graviton vertex operators which suggests an interesting connection to color-kinematics duality. Finally, by considering ambitwistor string theory on a genus one worldsheet, we compute the 1-loop correction to the subleading soft graviton theorem due to infrared divergences.
Soft Theorems from Effective Field Theory
Larkoski, Andrew J; Stewart, Iain W
2014-01-01
The singular limits of massless gauge theory amplitudes are described by an effective theory, called soft-collinear effective theory (SCET), which has been applied most successfully to make all-orders predictions for observables in collider physics and weak decays. At tree-level, the emission of a soft gauge boson at subleading order in its energy is given by the Low-Burnett-Kroll theorem, with the angular momentum operator acting on a lower-point amplitude. For well separated particles at tree-level, we prove the Low-Burnett-Kroll theorem using matrix elements of subleading SCET Lagrangian and operator insertions which are individually gauge invariant. These contributions are uniquely determined by gauge invariance and the reparametrization invariance (RPI) symmetry of SCET. RPI in SCET is connected to the infinite-dimensional asymptotic symmetries of the S-matrix. The Low-Burnett-Kroll theorem is generically spoiled by on-shell corrections, including collinear loops and collinear emissions. We demonstrate t...
Coherent cyclotron motion beyond Kohn's theorem
Maag, T.; Bayer, A.; Baierl, S.; Hohenleutner, M.; Korn, T.; Schüller, C.; Schuh, D.; Bougeard, D.; Lange, C.; Huber, R.; Mootz, M.; Sipe, J. E.; Koch, S. W.; Kira, M.
2016-02-01
In solids, the high density of charged particles makes many-body interactions a pervasive principle governing optics and electronics. However, Walter Kohn found in 1961 that the cyclotron resonance of Landau-quantized electrons is independent of the seemingly inescapable Coulomb interaction between electrons. Although this surprising theorem has been exploited in sophisticated quantum phenomena, such as ultrastrong light-matter coupling, superradiance and coherent control, the complete absence of nonlinearities excludes many intriguing possibilities, such as quantum-logic protocols. Here, we use intense terahertz pulses to drive the cyclotron response of a two-dimensional electron gas beyond the protective limits of Kohn's theorem. Anharmonic Landau ladder climbing and distinct terahertz four- and six-wave mixing signatures occur, which our theory links to dynamic Coulomb effects between electrons and the positively charged ion background. This new context for Kohn's theorem unveils previously inaccessible internal degrees of freedom of Landau electrons, opening up new realms of ultrafast quantum control for electrons.
The universality of the Carnot theorem
International Nuclear Information System (INIS)
It is common in many thermodynamics textbooks to illustrate the Carnot theorem through the use of diverse state equations for gases, paramagnets, and other simple thermodynamic systems. As is well known, the universality of the Carnot efficiency is easily demonstrated in a temperature–entropy diagram, which means that ηC is independent of the working substance. In this paper we remark that the universality of the Carnot theorem goes beyond conventional state equations, and is fulfilled by gas state equations that do not correspond to an ideal gas in the dilution limit, namely V → ∞. Some of these unconventional state equations have certain thermodynamic ‘anomalies’ that nonetheless do not forbid them from obeying the Carnot theorem. We discuss how this very general behaviour arises from Maxwell relations, which are connected with a geometrical property expressed through preserving area transformations. A rule is proposed to calculate the Maxwell relations associated with a thermodynamic system by using the preserving area relationships. In this way it is possible to calculate the number of possible preserving area mappings by giving the number of possible Jacobian identities between all pairs of thermodynamic variables included in the corresponding Gibbs equation. This paper is intended for undergraduates and specialists in thermodynamics and related areas. (paper)
Soft theorems from conformal field theory
Lipstein, Arthur E.
2015-06-01
Strominger and collaborators recently proposed that soft theorems for gauge and gravity amplitudes can be interpreted as Ward identities of a 2d CFT at null infinity. In this paper, we will consider a specific realization of this CFT known as ambitwistor string theory, which describes 4d Yang-Mills and gravity with any amount of supersymmetry. Using 4d ambtwistor string theory, we derive soft theorems in the form of an infinite series in the soft momentum which are valid to subleading order in gauge theory and sub-subleading order in gravity. Furthermore, we describe how the algebra of soft limits can be encoded in the braiding of soft vertex operators on the worldsheet and point out a simple relation between soft gluon and soft graviton vertex operators which suggests an interesting connection to color-kinematics duality. Finally, by considering ambitwistor string theory on a genus one worldsheet, we compute the 1-loop correction to the subleading soft graviton theorem due to infrared divergences.
Ardenghi, J S; Campoamor-Sturberg, R; 10.1063/1.3243822
2010-01-01
The nonrelativistic limit of the centrally extended Poincar\\'e group is considered and their consequences in the modal Hamiltonian interpretation of quantum mechanics are discussed [ O. Lombardi and M. Castagnino, Stud. Hist. Philos. Mod. Phys 39, 380 (2008) ; J. Phys, Conf. Ser. 128, 012014 (2008) ]. Through the assumption that in quantum field theory the Casimir operators of the Poincar\\'e group actualize, the nonrelativistic limit of the latter group yields to the actualization of the Casimir operators of the Galilei group, which is in agreement with the actualization rule of previous versions of modal Hamiltonian interpretation [ Ardenghi et al., Found. Phys. (submitted)
A new VLA/e-MERLIN limit on central images in the gravitational lens system CLASS B1030+074
Quinn, Jonathan; Tagore, Amitpal; Biggs, Andrew; Birkinshaw, Mark; Chapman, Scott; De Zotti, Gianfranco; McKean, John; Perez-Fournon, Ismael; Scott, Douglas; Serjeant, Stephen
2016-01-01
We present new VLA 22-GHz and e-MERLIN 5-GHz observations of CLASS B1030+074, a two-image strong gravitational lens system whose background source is a compact flat-spectrum radio quasar. In such systems we expect a third image of the background source to form close to the centre of the lensing galaxy. The existence and brightness of such images is important for investigation of the central mass distributions of lensing galaxies, but only one secure detection has been made so far in a galaxy-scale lens system. The noise levels achieved in our new B1030+074 images reach 3 microJy/beam and represent an improvement in central image constraints of nearly an order of magnitude over previous work, with correspondingly better resulting limits on the shape of the central mass profile of the lensing galaxy. Simple models with an isothermal outer power law slope now require either the influence of a central supermassive black hole, or an inner power law slope very close to isothermal, in order to suppress the central i...
Distributed Online Judge System for Interactive Theorem Provers
Mizuno, Takahisa; Nishizaki, Shin-ya
2014-03-01
In this paper, we propose a new software design of an online judge system for interactive theorem proving. The distinctive feature of this architecture is that our online judge system is distributed on the network and especially involves volunteer computing. In volunteers' computers, network bots (software robots) are executed and donate computational resources to the central host of the online judge system. Our proposed design improves fault tolerance and security. We gave an implementation to two different styles of interactive theorem prover, Coq and ACL2, and evaluated our proposed architecture. From the experiment on the implementation, we concluded that our architecture is efficient enough to be used practically.
Distributed Online Judge System for Interactive Theorem Provers
Directory of Open Access Journals (Sweden)
Mizuno Takahisa
2014-03-01
Full Text Available In this paper, we propose a new software design of an online judge system for interactive theorem proving. The distinctive feature of this architecture is that our online judge system is distributed on the network and especially involves volunteer computing. In volunteers’ computers, network bots (software robots are executed and donate computational resources to the central host of the online judge system. Our proposed design improves fault tolerance and security. We gave an implementation to two different styles of interactive theorem prover, Coq and ACL2, and evaluated our proposed architecture. From the experiment on the implementation, we concluded that our architecture is efficient enough to be used practically.
Formulation of Liouville's theorem for grand ensemble molecular simulations
Delle Site, Luigi
2016-02-01
Liouville's theorem in a grand ensemble, that is for situations where a system is in equilibrium with a reservoir of energy and particles, is a subject that, to our knowledge, has not been explicitly treated in literature related to molecular simulation. Instead, Liouville's theorem, a central concept for the correct employment of molecular simulation techniques, is implicitly considered only within the framework of systems where the total number of particles is fixed. However, the pressing demand of applied science in treating open systems leads to the question of the existence and possible exact formulation of Liouville's theorem when the number of particles changes during the dynamical evolution of the system. The intention of this paper is to stimulate a debate about this crucial issue for molecular simulation.
Lampart, Jonas; Lewin, Mathieu
2015-12-01
We prove a generalized version of the RAGE theorem for N-body quantum systems. The result states that only bound states of systems with {0 ≤slant n ≤slant N} particles persist in the long time average. The limit is formulated by means of an appropriate weak topology for many-body systems, which was introduced by the second author in a previous work, and is based on reduced density matrices. This topology is connected to the weak-* topology of states on the algebras of canonical commutation or anti-commutation relations, and we give a formulation of our main result in this setting.
Four theorems on the psychometric function.
Directory of Open Access Journals (Sweden)
Keith A May
Full Text Available In a 2-alternative forced-choice (2AFC discrimination task, observers choose which of two stimuli has the higher value. The psychometric function for this task gives the probability of a correct response for a given stimulus difference, Δx. This paper proves four theorems about the psychometric function. Assuming the observer applies a transducer and adds noise, Theorem 1 derives a convenient general expression for the psychometric function. Discrimination data are often fitted with a Weibull function. Theorem 2 proves that the Weibull "slope" parameter, β, can be approximated by β(Noise x β(Transducer, where β(Noise is the β of the Weibull function that fits best to the cumulative noise distribution, and β(Transducer depends on the transducer. We derive general expressions for β(Noise and β(Transducer, from which we derive expressions for specific cases. One case that follows naturally from our general analysis is Pelli's finding that, when d' ∝ (Δx(b, β ≈ β(Noise x b. We also consider two limiting cases. Theorem 3 proves that, as sensitivity improves, 2AFC performance will usually approach that for a linear transducer, whatever the actual transducer; we show that this does not apply at signal levels where the transducer gradient is zero, which explains why it does not apply to contrast detection. Theorem 4 proves that, when the exponent of a power-function transducer approaches zero, 2AFC performance approaches that of a logarithmic transducer. We show that the power-function exponents of 0.4-0.5 fitted to suprathreshold contrast discrimination data are close enough to zero for the fitted psychometric function to be practically indistinguishable from that of a log transducer. Finally, Weibull β reflects the shape of the noise distribution, and we used our results to assess the recent claim that internal noise has higher kurtosis than a Gaussian. Our analysis of β for contrast discrimination suggests that, if internal noise is
A novel sampling theorem on the rotation group
McEwen, J D; Leistedt, B; Peiris, H V; Wiaux, Y
2015-01-01
We develop a novel sampling theorem for functions defined on the three-dimensional rotation group SO(3) by associating the rotation group with the three-torus through a periodic extension. Our sampling theorem requires $4L^3$ samples to capture all of the information content of a signal band-limited at $L$, reducing the number of required samples by a factor of two compared to other equiangular sampling theorems. We present fast algorithms to compute the associated Fourier transform on the rotation group, the so-called Wigner transform, which scale as $O(L^4)$, compared to the naive scaling of $O(L^6)$. For the common case of a low directional band-limit $N$, complexity is reduced to $O(N L^3)$. Our fast algorithms will be of direct use in speeding up the computation of directional wavelet transforms on the sphere. We make our SO3 code implementing these algorithms publicly available.
Limited irrigation of corn-based no-till crop rotations in west central Great Plains.
Identifying the most profitable crop rotation for an area is a continuous research challenge. The objective of this study was to evaluate 2, 3, and 4 yr. limited irrigation corn (Zea mays L.) based crop rotations for grain yield, available soil water, crop water productivity, and profitability in co...
Sardiñas, Hillary S; Tom, Kathleen; Ponisio, Lauren Catherine; Rominger, Andrew; Kremen, Claire
2016-03-01
The delivery of ecosystem services by mobile organisms depends on the distribution of those organisms, which is, in turn, affected by resources at local and landscape scales. Pollinator-dependent crops rely on mobile animals like bees for crop production, and the spatial relationship between floral resources and nest location for these central-place foragers influences the delivery of pollination services. Current models that map pollination coverage in agricultural regions utilize landscape-level estimates of floral availability and nesting incidence inferred from expert opinion, rather than direct assessments. Foraging distance is often derived from proxies of bee body size, rather than direct measurements of foraging that account for behavioral responses to floral resource type and distribution. The lack of direct measurements of nesting incidence and foraging distances may lead to inaccurate mapping of pollination services. We examined the role of local-scale floral resource presence from hedgerow plantings on nest incidence of ground-nesting bees in field margins and within monoculture, conventionally managed sunflower fields in California's Central Valley. We tracked bee movement into fields using fluorescent powder. We then used these data to simulate the distribution of pollination services within a crop field. Contrary to expert opinion, we found that ground-nesting native bees nested both in fields and edges, though nesting rates declined with distance into field. Further, we detected no effect of field-margin floral enhancements on nesting. We found evidence of an exponential decay rate of bee movement into fields, indicating that foraging predominantly occurred in less than 1% of medium-sized bees' predicted typical foraging range. Although we found native bees nesting within agricultural fields, their restricted foraging movements likely centralize pollination near nest sites. Our data thus predict a heterogeneous distribution of pollination services
DEFF Research Database (Denmark)
Bangsø Nielsen, Henrik; Angelidaki, Irini
2008-01-01
The present study focuses on process imbalances in Danish centralized biogas plants treating manure in combination with industrial waste. Collection of process data from various full-scale plants along with a number of interviews showed that imbalances occur frequently. High concentrations of...... conditions) and high fractions of industrial waste in the feedstock was also observed. The process imbalances and suboptimal conditions are mainly allowed to occur due to 1) inadequate knowledge about the waste composition, 2) inadequate knowledge about the waste degradation characteristics, 3) inadequate...... process surveillance, especially with regard to volatile fatty acids, and 4) insufficient pre-storage capacity causing inexpedient mixing and hindering exact dosing of the different waste products....
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.
Nakagawa, Shunsuke; Shinkoda, Yuichi; Hazeki, Daisuke; Imamura, Mari; Okamoto, Yasuhiro; Kawakami, Kiyoshi; Kawano, Yoshifumi
2016-07-01
Central diabetes insipidus (CDI) and relapse are frequently seen in multifocal Langerhans cell histiocytosis (LCH). We present two females with multifocal LCH who developed CDI 9 and 5 years after the initial diagnosis, respectively, as a relapse limited to the pituitary stalk. Combination chemotherapy with cytarabine reduced the mass in the pituitary stalk. Although CDI did not improve, there has been no anterior pituitary hormone deficiency (APHD), neurodegenerative disease in the central nervous system (ND-CNS) or additional relapse for 2 years after therapy. It was difficult to predict the development of CDI in these cases. CDI might develop very late in patients with multifocal LCH, and therefore strict follow-up is necessary, especially with regard to symptoms of CDI such as polydipsia and polyuria. For new-onset CDI with LCH, chemotherapy with cytarabine might be useful for preventing APHD and ND-CNS. PMID:27089406
The Variation Theorem Applied to H-2+: A Simple Quantum Chemistry Computer Project
Robiette, Alan G.
1975-01-01
Describes a student project which requires limited knowledge of Fortran and only minimal computing resources. The results illustrate such important principles of quantum mechanics as the variation theorem and the virial theorem. Presents sample calculations and the subprogram for energy calculations. (GS)
Radio observations of NGC 6388: an upper limit on the mass of its central black hole
Cseh, D; Corbel, S; Kording, E; Coriat, M; Tzioumis, A; Lanzoni, B
2010-01-01
We present the results of deep radio observations with the Australia Telescope Compact Array (ATCA) of the globular cluster NGC 6388. We show that there is no radio source detected (with a r.m.s. noise level of 27 uJy) at the cluster centre of gravity or at the locations of the any of the Chandra X-ray sources in the cluster. Based on the fundamental plane of accreting black holes which is a relationship between X-ray luminosity, radio luminosity and black hole mass, we place an upper limit of 1500 M_sun on the mass of the putative intermediate-mass black hole located at the centre of NGC 6388. We discuss the uncertainties of this upper limit and the previously suggested black hole mass of 5700 M_sun based on surface density profile analysis.
Nonperturbative Adler-Bardeen theorem
International Nuclear Information System (INIS)
The Adler-Bardeen theorem has been proven only as a statement valid at all orders in perturbation theory, without any control on the convergence of the series. In this paper we prove a nonperturbative version of the Adler-Bardeen theorem in d=2 by using recently developed technical tools in the theory of Grassmann integration. The proof is based on the assumption that the boson propagator decays fast enough for large momenta. If the boson propagator does not decay, as for Thirring contact interactions, the anomaly in the WI (Ward Identities) is renormalized by higher order contributions
Two extensions of Ramsey's theorem
Conlon, David; Fox, Jacob; Sudakov, Benny
2011-01-01
Ramsey’s theorem, in the version of Erdős and Szekeres, states that every $2$ -coloring of the edges of the complete graph on $\\{1,2,\\ldots,n\\}$ contains a monochromatic clique of order $({1}/{2})\\log n$ . In this article, we consider two well-studied extensions of Ramsey’s theorem. Improving a result of Rödl, we show that there is a constant $c\\gt 0$ such that every $2$ -coloring of the edges of the complete graph on $\\{2,3,\\ldots,n\\}$ contains a monochromatic clique $S$ for which the sum of...
Noether theorems and higher derivatives
Townsend, Paul K
2016-01-01
A simple proof of Noether's first theorem involves the promotion of a constant symmetry parameter $\\epsilon$ to an arbitrary function of time; the Noether charge $Q$ is then the coefficient of $\\dot\\epsilon$ in the variation of the action. Here we examine the validity of this proof for Lagrangian mechanics with arbitrarily-high time derivatives, in which context "higher-level" analogs of Noether's theorem can be similarly proved, and "Noetherian charges" read off from, e.g. the coefficient of $\\ddot \\epsilon$ in the variation of the action. While $Q=0$ implies a restricted gauge invariance, an unrestricted gauge invariance requires zero Noetherian charges too. Some illustrative examples are considered.
Radio observations of NGC 6388: an upper limit on the mass of its central black hole
Cseh, D.; Kaaret, P.; Corbel, S.; Kording, E.; Coriat, M.; Tzioumis, A.; Lanzoni, B.
2010-01-01
We present the results of deep radio observations with the Australia Telescope Compact Array (ATCA) of the globular cluster NGC 6388. We show that there is no radio source detected (with a r.m.s. noise level of 27 uJy) at the cluster centre of gravity or at the locations of the any of the Chandra X-ray sources in the cluster. Based on the fundamental plane of accreting black holes which is a relationship between X-ray luminosity, radio luminosity and black hole mass, we place an upper limit o...
Directory of Open Access Journals (Sweden)
Yin Chen
2004-01-01
Full Text Available We extend the Putnam-Fuglede theorem and the second-degree Putnam-Fuglede theorem to the nonnormal operators and to an elementary operator under perturbation by quasinilpotents. Some asymptotic results are also given.
Permission of change of limits in the vapor generators of the Atucha I Nuclear Central
International Nuclear Information System (INIS)
In the mark of the modification of the Atucha-I Nuclear Central Installation (CNA-I) as consequence of the Introduction of the System 'Second Drain of Heat' (SSC), the Entity Responsible for the CNA-I (NASA) requested authorization to the Nuclear Regulatory Authority (ARN) to modify the value of the minimum level of water in the secondary side in the Steam generators (GVs) to activate the signal 'shoot of the Cut of the Reactor' (RESA-LLV). As the level in the GVs is one of those parameters that are used to shoot the Emergency Feeding System (RX), component of the SSC System, also was analyzed the change in the activation of the shoot signal of the 'Second Drain of Heat' (2SSC-LLV). The ARN uses for the study of the nuclear safety of nuclear power plants, the series of prediction programs RELAP5/MOD3.X. It participates of the evaluation and maintenance activities of these codes through specific agreements with the U.S. Nuclear Regulatory Commission (US-NRC). It is necessary to account with programs of this type since the ARN it licenses the construction and operation of Nuclear Power Plants (NPPs) and other outstanding facilities and it inquires its operation according to its own standards. With these tools its are auditing the calculations that the Responsible Entities of the operation make to guarantee the operability of the NPPs assisting the mentioned standards. The analysis with computational codes is used as a tool to achieve the best understanding in the behavior of the plant in union with the engineering approach, the manual calculations, the data analysis and the experience in the operation of the machine. (Author)
Angle Defect and Descartes' Theorem
Scott, Paul
2006-01-01
Rene Descartes lived from 1596 to 1650. His contributions to geometry are still remembered today in the terminology "Descartes' plane". This paper discusses a simple theorem of Descartes, which enables students to easily determine the number of vertices of almost every polyhedron. (Contains 1 table and 2 figures.)
Kruglikov, Boris
2011-01-01
We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of polynomial-rational differential invariants and invariant derivations.
Birkhoff Theorems in General Relativity
Torre, Charles G.
2014-01-01
In the following Maple worksheet I demonstrate three versions of Birkhoff's theorem, which is a characterization of spherically symmetric solutions of the Einstein equations. The three versions considered here correspond to taking the "Einstein equations" to be: (1) the vacuum Einstein equations; (2) the Einstein equations with a cosmological constant (3) the Einstein-Maxwell equations.
Microwave electronics Slater's perturbation theorem
International Nuclear Information System (INIS)
Slater's perturbation theorem is one of the most useful for both experiments and theories of microwave electronics. In particular, this is applied to measurements of the field strengths in standing-wave systems. Since a traveling wave can be represented by a linear combination of two standing waves, the field measurement is also possible in a traveling-wave system. The theorem tells us the amount of the shift in a resonant frequency arising from a metallic body. Since the amount is dependent upon the square of the electric and magnetic field strengths at the metallic body, one can obtain the field strengths at the metallic body from the measured frequency shift. First the theorem is derived in Sec. 2. We then discuss the implications of the theorem by deriving it intuitively in Sec. 3. The perturbation of the field due to a metallic body is described in Sec. 4, where the frequency shift is actually related to the field strengths. In Sec. 5, we describe how to determine the impedance by using the data thus measured. Examples of field measurement are shown in Sec. 6 together with the impedance measurement. (author)
JACKSON'S THEOREM FOR COMPACT GROUPS
Institute of Scientific and Technical Information of China (English)
H. Vaezi; S. F. Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by(Sh.f)(g) = ∫Gf (tut-1g)dton compact group G and by help of this operator we define "Spherical" modulus of continuity. So we proveStechkin and Jackson type theorems.
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,…
Models with non-Hermitian Hamiltonian and optical theorem
Nazaruk, Valeriy
2014-01-01
The applicability of the optical theorem in the models with the non-Hermitian Hamiltonian is studied. The lower limit on the free-space $n\\bar{n}$ oscillation time $\\tau $ calculated by means of unitary model lies in the range $10^{16}\\; {\\rm yr}>\\tau >1.2\\cdot 10^{9}\\; {\\rm s}$.
Raychaudhuri equation and singularity theorems in Finsler spacetimes
Minguzzi, E
2015-01-01
The Raychaudhuri equation and its consequences for chronality are studied in the context of Finsler spacetimes. It is proved that all the notable singularity theorems of Lorentzian geometry extend to the Finslerian domain, e.g. Hawking's, Penrose's, Hawking and Penrose's, Geroch's, Gannon's, Tipler's, Kriele's, Topological Censorship's, and so on. It is argued that all the notable results in causality theory connected to achronal sets, future sets, domains of dependence, limit curve theorems, length functional, Lorentzian distance, geodesic connectedness, extend to the Finslerian domain. Results concerning the spacetime asymptotic structure and horizons differentiability are also included.
Models with non-Hermitian Hamiltonian and optical theorem
Nazaruk, Valeriy
2014-01-01
The applicability of the optical theorem in the models with the non-Hermitian Hamiltonian is studied. By way of example we consider the $n\\bar{n}$ transition in a medium followed by annihilation. It is shown that an application of optical theorem for the non-unitary $S$-matrix leads to the qualitative error in the result. The lower limit on the free-space $n\\bar{n}$ oscillation time $\\tau $ calculated by means of the model with Hermitian Hamiltonian lies in the range $10^{16}\\; {\\rm yr}>\\tau ...
An implicit sampling theorem for bounded bandlimited functions
Bar-David, I.
1974-01-01
A rigorous proof of the 'strong bias tone' scheme is embodied in the implicit sampling theorem. The representation of signals that are sample functions of possible nonstationary random processes being of principal interest, the proof could not directly invoke results from classical analysis, which depend on the existence of the Fourier transform of the function under consideration; rather, it is based on Zakai's (1965) theorem on the series expansion of functions, band-limited under a suitably extended definition. A practical circuit that restores an approximate version of the signal from its sine-wave-crossings is presented and possible improvements to it are discussed.
Carbon balance indicates a time limit for cultivation of organic soils in central Switzerland
Paul, Sonja; Ammann, Christof; Alewell, Christine; Leifeld, Jens
2016-04-01
Peatlands serve as important carbon sinks. Globally, more than 30% of the soil organic carbon is stored in organic soils, although they cover only 3% of the land surface. The agricultural use of organic soils usually requires drainage thereby transforming these soils from a net carbon sink into a net source. Currently, about 2 to 3 Gt CO2 are emitted world-wide from degrading organic soils (Joosten 2011; Parish et al. 2008) which is ca. 5% of the total anthropogenic emissions. Besides these CO2 emissions, the resulting subsidence of drained peat soils during agricultural use requires that drainage system are periodically renewed and finally to use pumping systems after progressive subsidence. In Switzerland, the Seeland region is characterised by fens which are intensively used for agriculture since 1900. The organic layer is degrading and subsequently getting shallower and the underlying mineral soil, as lake marl or loam, is approaching the surface. The questions arises for how long and under which land use practises and costs these soils can be cultivated in the near future. The study site was under crop rotation until 2009 when it was converted to extensively used grassland with the water regime still being regulated. The soil is characterised by a degraded organic horizon of 40 to 70 cm. Since December 2014 we are measuring the carbon exchange of this grassland using the Eddy-Covariance method. For 2015, the carbon balance indicates that the degraded fen is a strong carbon source, with approximately 500 g C m‑2 a‑1. The carbon balance is dominated by CO2 emissions and harvest. Methane emissions are negligible. With the gained emission factors different future scenarios are evaluated for the current cultivation practise of organic soils in central Switzerland. Joosten, H., 2011: Neues Geld aus alten Mooren: Über die Erzeugung von Kohlenstoffzertifikaten aus Moorwiedervernässungen. Telma Beiheft 4, 183-202. Parish, F., A. Sirin, D. Charman, H. Joosten, T
Extension to Eulers's theorem to n-dimensional spaces
Bar-Itzhack, Itzhack Y.
1989-01-01
Euler's theorem states that any sequence of finite rotations of a rigid body can be described as a single rotation of the body about a fixed axis in three-dimensional Euclidean space. The usual statement of the theorem in the literature cannot be extended to Euclidean spaces of other dimensions. Equivalent formulations of the theorem are given in this paper and proven in a way which does not limit them to the three-dimensional Euclidean space. Thus, the equivalent theorems hold in other dimensions. The proof of one formulation presents an algorithm which shows how to compute an angular-difference matrix that represents a single rotation which is equivalent to the sequence of rotations that have generated the final n-D orientation. This algorithm results also in a constant angular-velocity which, when applied to the initial orientation, yields eventually the final orientation regardless of what angular velocity generated the latter. Finally, the extension of the theorem is demonstrated in a four-dimensional numerical example.
Extension of Euler's theorem to n-dimensional spaces
Bar-Itzhack, Itzhack Y.
1989-01-01
Euler's theorem states that any sequence of finite rotations of a rigid body can be described as a single rotation of the body about a fixed axis in three-dimensional Euclidean space. The usual statement of the theorem in the literature cannot be extended to Euclidean spaces of other dimensions. Equivalent formulations of the theorem are given and proved in a way which does not limit them to the three-dimensional Euclidean space. Thus, the equivalent theorems hold in other dimensions. The proof of one formulation presents an algorithm which shows how to compute an angular-difference matrix that represents a single rotation which is equivalent to the sequence of rotations that have generated the final n-D orientation. This algorithm results also in a constant angular velocity which, when applied to the initial orientation, eventually yields the final orientation regardless of what angular velocity generated the latter. The extension of the theorem is demonstrated in a four-dimensional numerical example.
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.
Ratz, David; Hofer, Timothy; Flanders, Scott A; Saint, Sanjay; Chopra, Vineet
2016-07-01
BACKGROUND The number of peripherally inserted central catheter (PICC) lumens is associated with thrombotic and infectious complications. Because multilumen PICCs are not necessary in all patients, policies that limit their use may improve safety and cost. OBJECTIVE To design a simulation-based analysis to estimate outcomes and cost associated with a policy that encourages single-lumen PICC use. METHODS Model inputs, including risk of complications and costs associated with single- and multilumen PICCs, were obtained from available literature and a multihospital collaborative quality improvement project. Cost savings and reduction in central line-associated bloodstream infection and deep vein thrombosis events from institution of a single-lumen PICC default policy were reported. RESULTS According to our model, a hospital that places 1,000 PICCs per year (25% of which are single-lumen and 75% multilumen) experiences annual PICC-related maintenance and complication costs of $1,228,598 (95% CI, $1,053,175-$1,430,958). In such facilities, every 5% increase in single-lumen PICC use would prevent 0.5 PICC-related central line-associated bloodstream infections and 0.5 PICC-related deep vein thrombosis events, while saving $23,500. Moving from 25% to 50% single-lumen PICC utilization would result in total savings of $119,283 (95% CI, $74,030-$184,170) per year. Regardless of baseline prevalence, a single-lumen default PICC policy would be associated with approximately 10% cost savings. Findings remained robust in multiway sensitivity analyses. CONCLUSION Hospital policies that limit the number of PICC lumens may enhance patient safety and reduce healthcare costs. Studies measuring intended and unintended consequences of this approach, followed by rapid adoption, appear necessary. Infect Control Hosp Epidemiol 2016;37:811-817. PMID:27033138
The F-Theorem and F-Maximization
Pufu, Silviu S
2016-01-01
This contribution contains a review of the role of the three-sphere free energy F in recent developments related to the F-theorem and F-maximization. The F-theorem states that for any Lorentz-invariant RG trajectory connecting a conformal field theory CFT_UV in the ultraviolet to a conformal field theory CFT_IR, the F-coefficient decreases: F_UV > F_IR. I provide many examples of CFTs where one can compute F, approximately or exactly, and discuss various checks of the F-theorem. F-maximization is the principle that in an N=2 SCFT, viewed as the deep IR limit of an RG trajectory preserving N=2 supersymmetry, the superconformal R-symmetry maximizes F within the set of all R-symmetries preserved by the RG trajectory. I review the derivation of this result and provide examples.
Hadronic interactions of the J/ψ and Adler's theorem
International Nuclear Information System (INIS)
Effective Lagrangian models of charmonium have recently been used to estimate dissociation cross sections with light hadrons. Detailed study of the symmetry properties reveals possible shortcomings relative to chiral symmetry. We therefore propose a new Lagrangian and point out distinguishing features amongst the different approaches. Moreover, we test the models against Adler's theorem, which requires, in the appropriate limit, the decoupling of pions from the theory for the normal parity sector. Using the newly proposed Lagrangian, which exhibits SUL(Nf)xSUR(Nf) symmetry and complies with Adler's theorem, we find dissociation cross sections with pions that are reduced in an energy-dependent way, with respect to cases where the theorem is not fulfilled
A tokamak with nearly uniform coil stress based on virial theorem
International Nuclear Information System (INIS)
A novel tokamak concept with a new type of toroidal field (TF) coils and a central solenoid (CS) whose stress is much reduced to a theoretical limit determined by the virial theorem has been devised. Recently, we had developed a tokamak with force-balanced coils (FBCs) which are multi-pole helical hybrid coils combining TF coils and a CS coil. The combination reduces the net electromagnetic force in the direction of major radius. In this work, we have extended the FBC concept using the virial theorem. High-field coils should accordingly have same averaged principal stresses in all directions, whereas conventional FBC reduces stress in the toroidal direction only. Using a shell model, we have obtained the poloidal rotation number of helical coils which satisfy the uniform stress condition, and named the coil as virial-limited coil (VLC). VLC with circular cross section of aspect ratio A=2 reduces maximum stress to 60% compared with that of TF coils. In order to prove the advantage of VLC concept, we have designed a small VLC tokamak Todoroki-II. The plasma discharge in Todoroki-II will be presented. (author)
Time dependent electromagnetic fields and 4-dimensional Stokes' theorem
Andosca, Ryan
2016-01-01
Stokes' theorem is central to many aspects of physics -- electromagnetism, the Aharonov-Bohm effect, and Wilson loops to name a few. However, the pedagogical examples and research work almost exclusively focus on situations where the fields are time-independent so that one need only deal with purely spatial line integrals ({\\it e.g.} $\\oint {\\bf A} \\cdot d{\\bf x}$) and purely spatial area integrals ({\\it e.g.} $\\int (\
c-Theorem for disordered systems
International Nuclear Information System (INIS)
We find an analog of Zamolodchikov's c-theorem for disordered two-dimensional non-interacting systems in their supersymmetric field theory representation. We show that the energy momentum tensor of such field theories must be a part of a supermultiplet, and that a new parameter b can be introduced with the help of that multiplet. b flows along the renormalization group trajectories much like the central charge for unitary two-dimensional field theories. While it has not been established if this flow is irreversible, that is, if b always flows down to lower values, it does so for all the cases worked out so far. b gives a new way to label different conformal field theories for disordered systems whose central charge is always 0. b turns out to be related to the central extension of a certain algebra, a generalization of the Virasoro algebra, which we show may be present at the critical points of these theories. b is also related to the finite size corrections of the physical free energy of disordered systems. We discuss possible applications by computing b for two-dimensional Dirac fermions with random gauge potential, in other words, for U(1 vertical bar 1) Kac-Moody algebra
The no-ghost theorem for string theory in curved backgrounds with a flat timelike direction
Asano, M; Asano, Masako; Natsuume, Makoto
2000-01-01
It is well-known that the standard no-ghost theorem can be extended to the general c=26 CFT with d-dimensional Minkowski spacetime M^{(1,d-1)} and a compact unitary CFT K of central charge c_{K} = 26-d. The theorem has been established under the assumption d \\geq 2 so far. We prove the no-ghost theorem for d=1, i.e., when only the timelike direction is flat. This is done using the technique of Frenkel, Garland and Zuckerman.
The Classical Version of Stokes' Theorem Revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
2005-01-01
of the vector field in a tubular shell around the given surface. The intuitive appeal of the divergence theorem is thus applied to bootstrap a corresponding intuition for Stokes' theorem. The two stated classical theorems are (like the fundamental theorem of calculus) nothing but shadows of the......Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we prove that the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...... general version of Stokes' theorem for differential forms on manifolds. The main points in the present paper, however, is firstly that this latter fact usually does not get within reach for students in first year calculus courses and secondly that calculus textbooks in general only just hint at the...
Bell's theorem, accountability and nonlocality
International Nuclear Information System (INIS)
Bell's theorem is a fundamental theorem in physics concerning the incompatibility between some correlations predicted by quantum theory and a large class of physical theories. In this paper, we introduce the hypothesis of accountability, which demands that it is possible to explain the correlations of the data collected in many runs of a Bell experiment in terms of what happens in each single run. Under this assumption, and making use of a recent result by Colbeck and Renner (2011 Nature Commun. 2 411), we then show that any nontrivial account of these correlations in the form of an extension of quantum theory must violate parameter independence. Moreover, we analyze the violation of outcome independence of quantum mechanics and show that it is also a manifestation of nonlocality. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell's theorem’. (paper)
Lectures on Fermat's last theorem
International Nuclear Information System (INIS)
The report presents the main ideas involved in the approach towards the so-called Fermat's last theorem (FLT). The discussion leads to the point where recent work of A. Wiles starts and his work is not discussed. After a short history of the FLT and of the present approach, are discussed the elliptic curves and the modular forms with their relations, the Taniyama-Shimura-Well conjecture and the FLT
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$.
International Nuclear Information System (INIS)
Hawking's area theorem can be understood from a quasi-stationary process in which a black hole accretes positive energy matter, independent of the details of the gravity action. I use this process to study the dynamics of the inner as well as the outer horizons for various black holes which include the recently discovered exotic black holes and three-dimensional black holes in higher derivative gravities as well as the usual BTZ black hole and the Kerr black hole in four dimensions. I find that the area for the inner horizon 'can decrease', rather than increase, with the quasi-stationary process. However, I find that the area for the outer horizon 'never decreases' such that the usual area theorem still works in our examples, though this is quite non-trivial in general. There exists an instability problem of the inner horizons but it seems that the instability is not important in my analysis. I also find a generalized area theorem by combining those of the outer and inner horizons
On Harnack's theorem and extensions
Costa, Antonio F.; Parlier, Hugo
Harnack's theorem states that the fixed points of an orientation reversing involution of a compact orientable surface of genus g are a set of k disjoint simple closed geodesic where 0≤ k≤ g+1 . The first goal of this article is to give a purely geometric, complete and self-contained proof of this fact. In the case where the fixed curves of the involution do not separate the surface, we prove an extension of this theorem, by exhibiting the existence of auxiliary invariant curves with interesting properties. Although this type of extension is well known (see, for instance, Comment. Math. Helv. 57(4): 603-626 (1982) and Transl. Math. Monogr., vol. 225, Amer. Math. Soc., Providence, RI, 2004), our method also extends the theorem in the case where the surface has boundary. As a byproduct, we obtain a geometric method on how to obtain these auxiliary curves. As a consequence of these constructions, we obtain results concerning presentations of Non-Euclidean crystallographic groups and a new proof of a result on the set of points corresponding to real algebraic curves in the compactification of the Moduli space of complex curves of genus g , overline{M_{g}} . More concretely, we establish that given two real curves there is a path in overline{M_{g}} which passes through at most two singular curves, a result of M. Seppaelae (Ann. Sci. Ecole Norm. Sup. (4), 24(5), 519-544 (1991)).
On a curvature-statistics theorem
Energy Technology Data Exchange (ETDEWEB)
Calixto, M [Departamento de Matematica Aplicada y Estadistica, Universidad Politecnica de Cartagena, Paseo Alfonso XIII 56, 30203 Cartagena (Spain); Aldaya, V [Instituto de Astrofisica de Andalucia, Apartado Postal 3004, 18080 Granada (Spain)], E-mail: Manuel.Calixto@upct.es
2008-08-15
The spin-statistics theorem in quantum field theory relates the spin of a particle to the statistics obeyed by that particle. Here we investigate an interesting correspondence or connection between curvature ({kappa} = {+-}1) and quantum statistics (Fermi-Dirac and Bose-Einstein, respectively). The interrelation between both concepts is established through vacuum coherent configurations of zero modes in quantum field theory on the compact O(3) and noncompact O(2; 1) (spatial) isometry subgroups of de Sitter and Anti de Sitter spaces, respectively. The high frequency limit, is retrieved as a (zero curvature) group contraction to the Newton-Hooke (harmonic oscillator) group. We also make some comments on the physical significance of the vacuum energy density and the cosmological constant problem.
A tokamak with nearly uniform coil stress based on virial theorem
International Nuclear Information System (INIS)
A novel tokamak concept with a new type of toroidal field (TF) coils and a central solenoid (CS) whose stress is much reduced to a theoretical limit determined by the virial theorem has been devised, and a new small tokamak with the concept was constructed. According to the virial theorem, the best TF coil to produce the strongest magnetic .eld under the weakest stress requires equal averaged principal stresses in all directions. Applying this condition to a helical coil, its pitch number is determined as a function of the aspect ratio. The helical winding with the condition is modulated in such a way that poloidal .eld exists only outside of torus, which reduces the torsional force on the helical coil and makes plasma breakdown possible. Moreover, a helical coil with this modulation and a low aspect ratio is similar to CS and TF coil systems in conventional tokamaks, because its helical winding is nearly vertical in the outer side of torus. In the case of an aspect ratio A = 2, our optimal coil theoretically reduces the working stress in the coil to about one third smaller than those of conventional TF coils. (author)
Scaling limit and convergence of smoothed covariance for gradient models with non-convex potential
Hilger, Susanne
2016-01-01
A discrete gradient model for interfaces is studied. The interaction potential is a non-convex perturbation of the quadratic gradient potential. Based on a representation for the finite volume Gibbs measure obtained via a renormalization group analysis by Adams, Koteck\\'{y} and M\\"uller in [AKM] it is proven that the scaling limit is a continuum massless Gaussian free field. From probabilistic point of view, this is a Central Limit Theorem for strongly dependent random fields. Additionally, t...
Scaling Limits of a Tagged Particle in the Exclusion Process with Variable Diffusion Coefficient
Gonçalves, Patrícia; Jara, Milton
2008-09-01
We prove a law of large numbers and a central limit theorem for a tagged particle in a symmetric simple exclusion process in ℤ with variable diffusion coefficient. The scaling limits are obtained from a similar result for the current through -1/2 for a zero-range process with bond disorder. For the CLT, we prove convergence to a fractional Brownian motion of Hurst exponent 1/4.
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 Equivalence Theorem and Effective Lagrangians
Grosse-Knetter, Carsten; Kuss, Ingolf
1994-01-01
We point out that the equivalence theorem, which relates the amplitude for a process with external longitudinally polarized vector bosons to the amplitude in which the longitudinal vector bosons are replaced by the corresponding pseudo-Goldstone bosons, is not valid for effective Lagrangians. However, a more general formulation of this theorem also holds for effective interactions. The generalized theorem can be utilized to determine the high-energy behaviour of scattering processes just by p...
The exchange fluctuation theorem in quantum mechanics
Akagawa, Shiho; Hatano, Naomichi
2009-01-01
We study the heat transfer between two finite quantum systems initially at different temperatures. We find that a recently proposed fluctuation theorem for heat exchange, namely the exchange fluctuation theorem [C. Jarzynski and D. K. Wojcik, Phys. Rev. Lett. 92, 230602 (2004)], does not generally hold in the presence of a finite heat transfer as in the original form proved for weak coupling. As the coupling is weakened, the deviation from the theorem and the heat transfer vanish in the same ...
Expanding the Interaction Equivalency Theorem
Directory of Open Access Journals (Sweden)
Brenda Cecilia Padilla Rodriguez
2015-06-01
Full Text Available Although interaction is recognised as a key element for learning, its incorporation in online courses can be challenging. The interaction equivalency theorem provides guidelines: Meaningful learning can be supported as long as one of three types of interactions (learner-content, learner-teacher and learner-learner is present at a high level. This study sought to apply this theorem to the corporate sector, and to expand it to include other indicators of course effectiveness: satisfaction, knowledge transfer, business results and return on expectations. A large Mexican organisation participated in this research, with 146 learners, 30 teachers and 3 academic assistants. Three versions of an online course were designed, each emphasising a different type of interaction. Data were collected through surveys, exams, observations, activity logs, think aloud protocols and sales records. All course versions yielded high levels of effectiveness, in terms of satisfaction, learning and return on expectations. Yet, course design did not dictate the types of interactions in which students engaged within the courses. Findings suggest that the interaction equivalency theorem can be reformulated as follows: In corporate settings, an online course can be effective in terms of satisfaction, learning, knowledge transfer, business results and return on expectations, as long as (a at least one of three types of interaction (learner-content, learner-teacher or learner-learner features prominently in the design of the course, and (b course delivery is consistent with the chosen type of interaction. Focusing on only one type of interaction carries a high risk of confusion, disengagement or missed learning opportunities, which can be managed by incorporating other forms of interactions.
Shell theorem for spontaneous emission
DEFF Research Database (Denmark)
Kristensen, Philip Trøst; Mortensen, Jakob Egeberg; Lodahl, Peter; Stobbe, Søren
2013-01-01
We investigate spontaneous emission from excitons beyond the point source dipole approximation and show how the symmetry of the exciton wave function plays a crucial role. We find that for spherically symmetric wave functions, the Purcell effect is independent of the wave function size and...... therefore is given exactly by the dipole approximation theory. This surprising result is a spontaneous emission counterpart to the shell theorems of classical mechanics and electrostatics and provides insights into the physics of mesoscopic emitters as well as great simplifications in practical calculations....
Herbrand Theorems for Substructural Logics
Czech Academy of Sciences Publication Activity Database
Cintula, Petr; Metcalfe, G.
Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. (Lecture Notes in Computer Science. Advanced Research in Computing and Software Science. 8312). ISBN 978-3-642-45221-5. ISSN 0302-9743. [LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013] R&D Projects: GA ČR GAP202/10/1826 Institutional support: RVO:67985807 Keywords : substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics Subject RIV: BA - General Mathematics
The inverse Fueter mapping theorem
Colombo, Fabrizio; Sabadini, Irene; Sommen, Franciscus
2011-01-01
In a recent paper the authors have shown how to give an integral representation of the Fueter mapping theorem using the Cauchy formula for slice monogenic functions. Specifically, given a slice monogenic function f of the form f = alpha + (omega) under bar beta (where alpha, beta satisfy the Cauchy-Riemann equations) we represent in integral form the axially monogenic function f = A + (omega) under barB (where A, B satisfy the Vekua's system) given by f(x) = Delta n-1/2 f (x) where Delta is t...
A generalized preimage theorem in global analysis
Institute of Scientific and Technical Information of China (English)
MA; Jipu
2001-01-01
［1］Ma Jipu, (1.2) inverses of operators between Banach spaces and conjugacy theorem, Chinese Annals of Math., B, 1999, 20(1): 57.［2］Ma Jipu, Rank theorem of operators between Banach spaces, Science in China, Ser. A, 2000, 43(1): 1.［3］Ma Jipu, Local conjugacy theorem, rank theorems in advenced calculus and a generalized principle constructing Banach manifolds, Science in China, Ser. A, 2000, 43(12): 1233.［4］Zeidler, A. E., Nonlinear Function Analysis and Its Applications, IV: Applications to Mathematical Physics, New York: Springer-Verlag, 1988.
Directory of Open Access Journals (Sweden)
Sol Swords
2011-10-01
Full Text Available Interactive theorem proving requires a lot of human guidance. Proving a property involves (1 figuring out why it holds, then (2 coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDD- or SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and automates the process of admitting it as a theorem. We use GL at Centaur Technology to verify execution units for x86 integer, MMX, SSE, and floating-point arithmetic.
Cosmological Perturbations and the Weinberg Theorem
Akhshik, Mohammad; Jazayeri, Sadra
2015-01-01
The celebrated Weinberg theorem in cosmological perturbation theory states that there always exist two adiabatic scalar modes in which the comoving curvature perturbation is conserved on super-horizon scales. In particular, when the perturbations are generated from a single source, such as in single field models of inflation, both of the two allowed independent solutions are adiabatic and conserved on super-horizon scales. There are few known examples in literature which violate this theorem. We revisit the theorem and specify the loopholes in some technical assumptions which violate the theorem in models of non-attractor inflation, fluid inflation, solid inflation and in the model of pseudo conformal universe.
Quantization of Chirikov Map and Quantum KAM Theorem.
Shi, Kang-Jie
KAM theorem is one of the most important theorems in classical nonlinear dynamics and chaos. To extend KAM theorem to the regime of quantum mechanics, we first study the quantum Chirikov map, whose classical counterpart provides a good example of KAM theorem. Under resonance condition 2pihbar = 1/N, we obtain the eigenstates of the evolution operator of this system. We find that the wave functions in the coherent state representation (CSR) are very similar to the classical trajectories. In particular, some of these wave functions have wall-like structure at the locations of classical KAM curves. We also find that a local average is necessary for a Wigner function to approach its classical limit in the phase space. We then study the general problem theoretically. Under similar conditions for establishing the classical KAM theorem, we obtain a quantum extension of KAM theorem. By constructing successive unitary transformations, we can greatly reduce the perturbation part of a near-integrable Hamiltonian system in a region associated with a Diophantine number {rm W}_{o}. This reduction is restricted only by the magnitude of hbar.. We can summarize our results as follows: In the CSR of a nearly integrable quantum system, associated with a Diophantine number {rm W}_ {o}, there is a band near the corresponding KAM torus of the classical limit of the system. In this band, a Gaussian wave packet moves quasi-periodically (and remain close to the KAM torus) for a long time, with possible diffusion in both the size and the shape of its wave packet. The upper bound of the tunnelling rate out of this band for the wave packet can be made much smaller than any given power of hbar, if the original perturbation is sufficiently small (but independent of hbar). When hbarto 0, we reproduce the classical KAM theorem. For most near-integrable systems the eigenstate wave function in the above band can either have a wall -like structure or have a vanishing amplitude. These conclusions
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.
Implications for compressed sensing of a new sampling theorem on the sphere
McEwen, J D; Thiran, J -Ph; Vandergheynst, P; Van De Ville, D; Wiaux, Y
2011-01-01
A sampling theorem on the sphere has been developed recently, requiring half as many samples as alternative equiangular sampling theorems on the sphere. A reduction by a factor of two in the number of samples required to represent a band-limited signal on the sphere exactly has important implications for compressed sensing, both in terms of the dimensionality and sparsity of signals. We illustrate the impact of this property with an inpainting problem on the sphere, where we show the superior reconstruction performance when adopting the new sampling theorem compared to the alternative.
The virial theorem and the ground state problem in polaron theory
International Nuclear Information System (INIS)
The virial theorem for the translation-invariant theory of a polaron [3] is discussed. It is shown that, in [3], Tulub made a nonoptimal choice of variational parameters in the strong-coupling limit, which led to the violation of the virial relations. The introduction of an additional variational parameter to the test function reduces the polaron energy and makes it possible to satisfy the relations of the virial theorem for a strong-coupling polaron (the Pekar 1: 2: 3: 4 theorem).
The Virial Theorem and the Ground State Problem in Polaron Theory
Kashirina, N. I.; Lakhno, V. D.; Tulub, A. V.
2013-01-01
The virial theorem for the translation-invariant theory of a polaron [3] is discussed. It is shown that, in [3], Tulub made a nonoptimal choice of variational parameters in the strong-coupling limit, which led to the violation of the virial relations. The introduction of an additional variational parameter to the test function reduces the polaron energy and makes it possible to satisfy the relations of the virial theorem for a strong-coupling polaron (the Pekar 1 : 2 : 3 : 4 theorem).
The virial theorem and the ground state problem in polaron theory
Energy Technology Data Exchange (ETDEWEB)
Kashirina, N. I., E-mail: n_kashirina@mail.ru [National Academy of Sciences of Ukraine, Institute of Semiconductor Physics (Ukraine); Lakhno, V. D., E-mail: lak@impb.psn.ru [Russian Academy of Sciences, Institute of Mathematical Problems of Biology (Russian Federation); Tulub, A. V., E-mail: tulub@NK7099.Spb.edu [St. Petersburg State University (Russian Federation)
2012-05-15
The virial theorem for the translation-invariant theory of a polaron [3] is discussed. It is shown that, in [3], Tulub made a nonoptimal choice of variational parameters in the strong-coupling limit, which led to the violation of the virial relations. The introduction of an additional variational parameter to the test function reduces the polaron energy and makes it possible to satisfy the relations of the virial theorem for a strong-coupling polaron (the Pekar 1: 2: 3: 4 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...
Double Soft Theorems in Gauge and String Theories
Volovich, Anastasia; Zlotnikov, Michael
2015-01-01
We investigate the tree-level S-matrix in gauge theories and open superstring theory with several soft particles. We show that scattering amplitudes with two or three soft gluons of non-identical helicities behave universally in the limit, with multi-soft factors which are not the product of individual soft gluon factors. The results are obtained from the BCFW recursion relations in four dimensions, and further extended to arbitrary dimensions using the CHY formula. We also find new soft theorems for double soft limits of scalars and fermions in N=4 and pure N=2 SYM. Finally, we show that the double-soft-scalar theorems can be extended to open superstring theory without receiving any alpha' corrections.
Hadronic interactions of the J/psi and Adler's theorem
Bourque, A.; Gale, C.; Haglin, K. L.
2004-01-01
Effective Lagrangian models of charmonium have recently been used to estimate dissociation cross sections with light hadrons. Detailed study of the symmetry properties reveals possible shortcomings relative to chiral symmetry. We therefore propose a new Lagrangian and point out distinguishing features amongst the different approaches. Moreover, we test the models against Adler's theorem, which requires, in the appropriate limit, the decoupling of pions from the theory for the normal parity se...
A virial theorem for rotating charged perfect fluids in general relativity
International Nuclear Information System (INIS)
We obtain an exact form of the virial theorem in general relativity, which is sufficiently general to be applied to charged, conducting, rotating perfect fluids in electromagnetic and gravitational fields. The case of infinite conductivity is of particular importance in astrophysics and we derive the relevant equations from the general results. We indicate how to calculate the post-Newtonian limits of various expressions and show that in the absence of both, the electric and magnetic fields, they lead to Chandrasekhar's post-Newtonian virial theorem in hydrodynamics. We also note that Chandrasekhar's (Newtonian) virial theorem in hydromagnetics may be derived from the Newtonian limit of the exact equations obtained. Some possible applications are pointed out. Finally, we use the exact form of the virial theorem to obtain, in co-moving coordinates, equilibrium conditions for bounded rotating charged dust
Abel's Theorem in the Noncommutative Case
Leitenberger, Frank
2005-01-01
We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic differentials of the first kind. Following Abel we prove Abel's Theorem.
The classical version of Stokes' Theorem revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we show how the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...
Anisotropic weak Hardy spaces and interpolation theorems
Institute of Scientific and Technical Information of China (English)
2008-01-01
In this paper, the authors establish the anisotropic weak Hardy spaces associated with very general discrete groups of dilations. Moreover, the atomic decomposition theorem of the anisotropic weak Hardy spaces is also given. As some applications of the above results, the authors prove some interpolation theorems and obtain the boundedness of the singular integral operators on these Hardy spaces.
Convergence theorems for intermediate problems. II
Beattie, C. A.; Greenlee, W. M.
2002-01-01
Convergence theorems for the practical eigenvector free methods of Gay and Goerisch are obtained under a variety of hypotheses, so that our theorems apply to both traditional boundary-value problems and atomic problems. In addition, we prove convergence of the T*T method of Bazley and Fox without an alignment of projections hypothesis required in previous literature.
Interpolation theorems on weighted Lorentz martingale spaces
Institute of Scientific and Technical Information of China (English)
2007-01-01
In this paper several interpolation theorems on martingale Lorentz spaces are given.The proofs are based on the atomic decompositions of martingale Hardy spaces over weighted measure spaces.Applying the interpolation theorems,we obtain some inequalities on martingale transform operator.
AN ABSTRACT ORLICS: PETTIS THEOREM AND APPLICATIONS
Directory of Open Access Journals (Sweden)
LI RONGLU
2008-08-01
Full Text Available In this paper we establish two abstract versions of the classical Orlicz-Pettis Theorem for multiplier convergent series. We show that these abstract results yield known versions of the Orlicz-Pettis Theorem for locally convex spaces as well as versions for operator valued series. We also give applications to vector valued measures and spaces of continuous functions.
The Ahlfors lemma and Picard's theorems
Simonič, Aleksander
2015-01-01
The article introduces Ahlfors' generalization of the Schwarz lemma. With this powerful geometric tool of complex functions in one variable, we are able to prove some theorems concerning the size of images under holomorphic mappings, including the celebrated Picard's theorems. The article concludes with a brief insight into the theory of Kobayashi hyperbolic complex manifolds.
Generalized Fibonacci Numbers and Blackwell's Renewal Theorem
Christensen, Sören
2010-01-01
We investigate a connection between generalized Fibonacci numbers and renewal theory for stochastic processes. Using Blackwell's renewal theorem we find an approximation to the generalized Fibonacci numbers. With the help of error estimates in the renewal theorem we figure out an explicit representation.
Szemeredi's theorem and problems on arithmetic progressions
International Nuclear Information System (INIS)
Szemeredi's famous theorem on arithmetic progressions asserts that every subset of integers of positive asymptotic density contains arithmetic progressions of arbitrary length. His remarkable theorem has been developed into a major new area of combinatorial number theory. This is the topic of the present survey.
No-cloning theorem in thermofield dynamics
Prudencio, Thiago
2011-01-01
Here we apply the no-cloning theorem from quantum information in the thermofield dynamics (TFD) scenario, relating the doubling procedure of TFD to a cloning machine process. As a consequence we use the no-cloning theorem to demonstrate that the thermal vaccuum state defined in TFD is necessarilly a mixed state.
No-cloning theorem in thermofield dynamics
Prudencio, Thiago
2011-01-01
We discuss the relation between the no-cloning theorem from quantum information and the doubling procedure used in the formalism of thermofield dynamics (TFD). We also discuss how to apply the no-cloning theorem in the context of thermofield states defined in TFD. Consequences associated to mixed states, von Neumann entropy and thermofield vacuum are also addressed.
A New Fixed Point Theorem and Applications
Directory of Open Access Journals (Sweden)
Min Fang
2013-01-01
Full Text Available A new fixed point theorem is established under the setting of a generalized finitely continuous topological space (GFC-space without the convexity structure. As applications, a weak KKM theorem and a minimax inequalities of Ky Fan type are also obtained under suitable conditions. Our results are different from known results in the literature.
Non perturbative Adler-Bardeen Theorem
Mastropietro, Vieri
2006-01-01
The Adler-Bardeen theorem has been proved only as a statement valid at all orders in perturbation theory, without any control on the convergence of the series. In this paper we prove a nonperturbative version of the Adler-Bardeen theorem in $d=2$ by using recently developed technical tools in the theory of Grassmann integration.
The Classical Version of Stokes' Theorem Revisited
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations--essentially from first year undergraduate mathematics--we show how the classical Stokes' theorem for any given surface and vector field in R[superscript 3] follows from an application of Gauss' divergence theorem to a suitable modification of the vector field in a tubular shell around the…
A Metrized Duality Theorem for Markov Processes
DEFF Research Database (Denmark)
Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash
2014-01-01
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudometric and the algebras with a notion of metric diameter. We are able to show that the isomorphisms of our previous duality theorem become isometries in this quantitative setting. This opens the wa...
A Generalization of the Prime Number Theorem
Bruckman, Paul S.
2008-01-01
In this article, the author begins with the prime number theorem (PNT), and then develops this into a more general theorem, of which many well-known number theoretic results are special cases, including PNT. He arrives at an asymptotic relation that allows the replacement of certain discrete sums involving primes into corresponding differentiable…
Boundary contributions to the hypervirial theorem
Esteve, J. G.; Falceto, F.; Giri, Pulak Ranjan
2012-01-01
It is shown that under certain boundary conditions the virial theorem has to be modified. We analyze the origin of the extra term and compute it in particular examples. The Coulomb and harmonic oscillator with point interaction have been studied in the light of this generalization of the virial theorem.
A Simple Vector Proof of Feuerbach's Theorem
Scheer, Michael
2011-01-01
The celebrated theorem of Feuerbach states that the nine-point circle of a nonequilateral triangle is tangent to both its incircle and its three excircles. In this note, we give a simple proof of Feuerbach's Theorem using straightforward vector computations. All required preliminaries are proven here for the sake of completeness.
A density Corradi-Hajnal theorem
Czech Academy of Sciences Publication Activity Database
Allen, P.; Böttcher, J.; Hladký, Jan; Piguet, D.
2015-01-01
Roč. 67, č. 4 (2015), s. 721-758. ISSN 0008-414X Institutional support: RVO:67985840 Keywords : extremal graph theory * Mantel's theorem * Corradi-Hajnal theorem Subject RIV: BA - General Mathematics Impact factor: 0.765, year: 2014 http://cms.math.ca/10.4153/CJM-2014-030-6
A class of generalized Shannon-McMillan theorems for arbitrary discrete information source
WANG, Kangkang
2011-01-01
In this study, a class of strong limit theorems for the relative entropy densities of random sum of arbitrary information source are discussed by constructing the joint distribution and nonnegative super martingales. As corollaries, some Shannon-McMillan theorems for arbitrary information source, mth-order Markov information source and non-memory information source are obtained and some results for the discrete information source which have been obtained by authors are extended.
New proofs of basic theorems in calculus
Reem, Daniel
2007-01-01
In this note we present new proofs of three basic theorems in calculus. Although these theorems are well-known, in each proof we obtain something which seems to be unknown. We start with the Heine-Cantor theorem about uniform continuity and obtain explicitly the optimal delta for the given epsilon. We then proceed with the Weierstrass extreme value theorem and present two proofs of it: the ``envelope proof'' in which the largest possible maximal point is found using an envelope function, and the ``programmer proof'', which does not use the costume argument of proving boundedness first, and in which an explicit sequence is shown to converge monotonically to the maximal value. We finish with the intermediate value theorem, which is generalized to a class of discontinuous functions and in which the meaning of the intermediate value property is re-examined. In the end we discuss in which sense the proofs are constructive.
Uniqueness theorems in linear elasticity
Knops, Robin John
1971-01-01
The classical result for uniqueness in elasticity theory is due to Kirchhoff. It states that the standard mixed boundary value problem for a homogeneous isotropic linear elastic material in equilibrium and occupying a bounded three-dimensional region of space possesses at most one solution in the classical sense, provided the Lame and shear moduli, A and J1 respectively, obey the inequalities (3 A + 2 J1) > 0 and J1>O. In linear elastodynamics the analogous result, due to Neumann, is that the initial-mixed boundary value problem possesses at most one solution provided the elastic moduli satisfy the same set of inequalities as in Kirchhoffs theorem. Most standard textbooks on the linear theory of elasticity mention only these two classical criteria for uniqueness and neglect altogether the abundant literature which has appeared since the original publications of Kirchhoff. To remedy this deficiency it seems appropriate to attempt a coherent description ofthe various contributions made to the study of uniquenes...
Dirac's theorem for random graphs
Lee, Choongbum
2011-01-01
A classical theorem of Dirac from 1952 asserts that every graph on $n$ vertices with minimum degree at least $\\lceil n/2 \\rceil$ is Hamiltonian. In this paper we extend this result to random graphs. Motivated by the study of resilience of random graph properties we prove that if $p \\gg \\log n /n$, then a.a.s. every subgraph of $G(n,p)$ with minimum degree at least $(1/2+o(1))np$ is Hamiltonian. Our result improves on previously known bounds, and answers an open problem of Sudakov and Vu. Both, the range of edge probability $p$ and the value of the constant 1/2 are asymptotically best possible.
Ehrenfest Theorem in Precanonical Quantization
Kanatchikov, I V
2015-01-01
We discuss the precanonical quantization of fields, which is based on the De Donder-Weyl (DW) Hamiltonian formulation and does not distinguish between the space and time variables. Classical field equations in DW Hamiltonian form are derived as the equations on the expectation values of the corresponding precanonical quantum operators. This field-theoretic generalization of the quantum mechanical Ehrenfest theorem demonstrates the consistency of three aspects of precanonical field quantization: the precanonical representation of operators in terms of the Clifford (Dirac) algebra valued partial differential operators, the Dirac-like precanonical generalization of the Schr\\"odinger equation without the distinguished time dimension, and the prescription of calculating the expectation values of operators using the Clifford-valued precanonical wave functions.
Singlet and triplet instability theorems
Energy Technology Data Exchange (ETDEWEB)
Yamada, Tomonori; Hirata, So, E-mail: sohirata@illinois.edu [Department of Chemistry, University of Illinois at Urbana-Champaign, 600 South Mathews Avenue, Urbana, Illinois 61801 (United States); CREST, Japan Science and Technology Agency, 4-1-8 Honcho, Kawaguchi, Saitama 332-0012 (Japan)
2015-09-21
A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree–Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree–Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree–Fock-theory-based explanations of Hund’s rule, a singlet instability in Jahn–Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions.
Magnetohydrodynamic stability comparison theorems revisited
International Nuclear Information System (INIS)
Magnetohydrodynamic (MHD) stability comparison theorems are presented for several different plasma models, each one corresponding to a different level of collisionality: a collisional fluid model (ideal MHD), a collisionless kinetic model (kinetic MHD), and two intermediate collisionality hybrid models (Vlasov-fluid and kinetic MHD-fluid). Of particular interest is the re-examination of the often quoted statement that ideal MHD makes the most conservative predictions with respect to stability boundaries for ideal modes. Some of the models have already been investigated in the literature and we clarify and generalize these results. Other models are essentially new and for them we derive new comparison theorems. Three main conclusions can be drawn: (1) it is crucial to distinguish between ergodic and closed field line systems; (2) in the case of ergodic systems, ideal MHD does indeed make conservative predictions compared to the other models; (3) in closed line systems undergoing perturbations that maintain the closed line symmetry this is no longer true. Specifically, when the ions are collisionless and their gyroradius is finite, as in the Vlasov-fluid model, there is no compressibility stabilization. The Vlasov-fluid model is more unstable than ideal MHD. The reason for this is related to the wave-particle resonance associated with the perpendicular precession drift motion of the particles (i.e., the ExB drift and magnetic drifts), combined with the absence of any truly toroidally trapped particles. The overall conclusion is that to determine macroscopic stability boundaries for ideal modes for any magnetic geometry using a simple conservative approach, one should analyze the ideal MHD energy principle for incompressible displacements.
Singlet and triplet instability theorems
International Nuclear Information System (INIS)
A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree–Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree–Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree–Fock-theory-based explanations of Hund’s rule, a singlet instability in Jahn–Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions
Quantum macrostates, equivalence of ensembles, and an H-theorem
De Roeck, Wojciech; Maes, Christian; Netočný, Karel
2006-07-01
Before the thermodynamic limit, macroscopic averages need not commute for a quantum system. As a consequence, aspects of macroscopic fluctuations or of constrained equilibrium require a careful analysis, when dealing with several observables. We propose an implementation of ideas that go back to John von Neumann's writing about the macroscopic measurement. We apply our scheme to the relation between macroscopic autonomy and an H-theorem, and to the problem of equivalence of ensembles. In particular, we show how the latter is related to the asymptotic equipartition theorem. The main point of departure is an expression of a law of large numbers for a sequence of states that start to concentrate, as the size of the system gets larger, on the macroscopic values for the different macroscopic observables. Deviations from that law are governed by the entropy.
Newton's Theorem of Revolving Orbits in General Relativity
Christian, Pierre
2016-01-01
Newton's theorem of revolving orbits states that one can multiply the angular speed of a Keplerian orbit by a factor $k$ by applying a radial inverse cubed force proportional to $(1-k^2)$. In this paper we derive two generalizations of this theorem in general relativity, valid for the motion of massive particles in any static, spherically symmetric metrics. The first generalization, which we named the "force" picture, generalizes Newton's radial inverse cubed force by a corresponding four-force. The second generalization, which we named the "metric" picture, instead modifies the metric of the system to produce the multiplication in angular speed. Further, we verify the Newtonian limits of both generalizations and demonstrate that there is no such generalization for rotating metrics.
Sampling Theorem in Terms of the Bandwidth and Sampling Interval
Dean, Bruce H.
2011-01-01
An approach has been developed for interpolating non-uniformly sampled data, with applications in signal and image reconstruction. This innovation generalizes the Whittaker-Shannon sampling theorem by emphasizing two assumptions explicitly (definition of a band-limited function and construction by periodic extension). The Whittaker- Shannon sampling theorem is thus expressed in terms of two fundamental length scales that are derived from these assumptions. The result is more general than what is usually reported, and contains the Whittaker- Shannon form as a special case corresponding to Nyquist-sampled data. The approach also shows that the preferred basis set for interpolation is found by varying the frequency component of the basis functions in an optimal way.
Zero modes of various graphene configurations from the index theorem
Pachos, J K; Stone, M; Hatzinikitas, Agapitos; Pachos, Jiannis K.; Stone, Michael
2007-01-01
In this article we consider a graphene sheet that is folded in various compact geometries with arbitrary topology described by a certain genus, $g$. While the Hamiltonian of these systems is defined on a lattice one can take the continuous limit. The obtained Dirac-like Hamiltonian describes well the low energy modes of the initial system. Starting from first principles we derive an index theorem that corresponds to this Hamiltonian. This theorem relates the zero energy modes of the graphene sheet with the topology of the compact lattice. For $g=0$ and $g=1$ these results coincide with the analytical and numerical studies performed for fullerene molecules and carbon nanotubes while for higher values of $g$ they give predictions for more complicated molecules.
Moving mirrors and the fluctuation-dissipation theorem
Stargen, D Jaffino; Sriramkumar, L
2016-01-01
We investigate the random motion of a mirror in (1 + 1)-dimensions that is immersed in a thermal bath of massless scalar particles which are interacting with the mirror through a boundary condition. Imposing the Dirichlet or the Neumann boundary conditions on the moving mirror, we evaluate the mean radiation reaction force on the mirror and the correlation function describing the fluctuations in the force about the mean value. From the correlation function thus obtained, we explicitly establish the fluctuation-dissipation theorem governing the moving mirror. Using the fluctuation-dissipation theorem, we compute the mean-squared displacement of the mirror at finite and zero temperature. We clarify a few points concerning the various limiting behavior of the mean-squared displacement of the mirror. While we recover the standard result at finite temperature, we find that the mirror diffuses logarithmically at zero temperature, confirming similar conclusions that have been arrived at earlier in this context. We a...
The pointwise Hellmann-Feynman theorem
Directory of Open Access Journals (Sweden)
David Carfì
2010-02-01
Full Text Available In this paper we study from a topological point of view the Hellmann-Feynman theorem of Quantum Mechanics. The goal of the paper is twofold: On one hand we emphasize the role of the strong topology in the classic version of the theorem in Hilbert spaces, for what concerns the kind of convergence required on the space of continuous linear endomorphisms, which contains the space of (continuous observables.On the other hand we state and prove a new pointwise version of the classic Hellmann-Feynman theorem. This new version is not yet present in the literature and follows the idea of A. Bohm concerning the topology which is desiderable to use in Quantum Mechanics. It is indeed out of question that this non-trivial new version of the Hellmann-Feynman theorem is the ideal one - for what concerns the continuous observables on Hilbert spaces, both from a theoretical point of view, since it is the strongest version obtainable in this context - we recall that the pointwise topology is the coarsest one compatible with the linear structure of the space of continuous observables -, and from a practical point of view, because the pointwise topology is the easiest to use among topologies: it brings back the problems to the Hilbert space topology. Moreover, we desire to remark that this basic theorem of Quantum Mechanics, in his most desiderable form, is deeply interlaced with two cornerstones of Functional Analysis: the Banach-Steinhaus theorem and the Baire theorem.
An algebraic spin and statistics theorem
Guido, I D
1994-01-01
Abstract. A spin-statistics theorem and a PCT theorem are obtained in the context of the superselection sectors in Quantum Field Theory on a 4-dimensional space-time. Our main assumption is the requirement that the modular groups of the von Neumann algebras of local observables associated with wedge regions act geometrically as pure Lorentz transformations. Such a property, satisfied by the local algebras generated by Wightman fields because of the Bisognano-Wichmann theorem, is regarded as a natural primitive assumption.
A Generalization of Chaplygin's Reducibility Theorem
Fernandez, O E; Bloch, A M
2009-01-01
In this paper we study Chaplygin's Reducibility Theorem and extend its applicability to nonholonomic systems with symmetry described by the Hamilton-Poincare-d'Alembert equations in arbitrary degrees of freedom. As special cases we extract the extension of the Theorem to nonholonomic Chaplygin systems with nonabelian symmetry groups as well as Euler-Poincare-Suslov systems in arbitrary degrees of freedom. In the latter case, we also extend the Hamiltonization Theorem to nonholonomic systems which do not possess an invariant measure. Lastly, we extend previous work on conditionally variational systems using the results above. We illustrate the results through various examples of well-known nonholonomic systems.
Existence theorems for ordinary differential equations
Murray, Francis J
2007-01-01
Theorems stating the existence of an object-such as the solution to a problem or equation-are known as existence theorems. This text examines fundamental and general existence theorems, along with the Picard iterants, and applies them to properties of solutions and linear differential equations.The authors assume a basic knowledge of real function theory, and for certain specialized results, of elementary functions of a complex variable. They do not consider the elementary methods for solving certain special differential equations, nor advanced specialized topics; within these restrictions, th
On Soft Theorems And Form Factors In N=4 SYM Theory
Bork, L V
2015-01-01
Soft theorems for the form factors of 1/2-BPS and Konishi operator supermultiplets are derived at tree level in N=4 SYM theory. They have a form identical to the one in the amplitude case. For MHV sectors of stress tensor and Konishi supermultiplets loop corrections to soft theorems are considered at one loop level. They also appear to have universal form in soft limit. Possible generalization of the on-shell diagrams to the form factors based on leading soft behavior is suggested. Finally, we give some comments on inverse soft limit and integrability of form factors in the limit $q^2\\to 0$
A functional calculus and restriction theorem on H-type groups
Liu, Heping; Song, Manli
2014-01-01
Let $L$ be the sublaplacian and $T$ the partial Laplacian with respect to central variables on H-type groups. We investigate a class of invariant differential operators by the joint functional calculus of $L$ and $T$. We establish Stein-Tomas type restriction theorems for these operators. In particular, the asymptotic behaviors of restriction estimates are given.
Quadratic Goldreich-Levin Theorems
Tulsiani, Madhur
2011-01-01
Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseudorandom with respect to linear phases. The Goldreich-Levin algorithm can be viewed as an algorithmic analogue of such a decomposition as it gives a way to efficiently find the linear phases associated with large Fourier coefficients. In the study of "quadratic Fourier analysis", higher-degree analogues of such decompositions have been developed in which the pseudorandomness property is stronger but the structured part correspondingly weaker. For example, it has previously been shown that it is possible to express a bounded function as a sum of a few quadratic phases plus a part that is small in the $U^3$ norm, defined by Gowers for the purpose of counting arithmetic progressions of length 4. We give a polynomial time algorithm for computing such a decomposition. A key part of the algorithm is a local self-correction procedure for Re...
Lorentz violating kinematics: threshold theorems
Baccetti, Valentina; Tate, Kyle; Visser, Matt
2012-03-01
Recent tentative experimental indications, and the subsequent theoretical speculations, regarding possible violations of Lorentz invariance have attracted a vast amount of attention. An important technical issue that considerably complicates detailed calculations in any such scenario, is that once one violates Lorentz invariance the analysis of thresholds in both scattering and decay processes becomes extremely subtle, with many new and naively unexpected effects. In the current article we develop several extremely general threshold theorems that depend only on the existence of some energy momentum relation E(p), eschewing even assumptions of isotropy or monotonicity. We shall argue that there are physically interesting situations where such a level of generality is called for, and that existing (partial) results in the literature make unnecessary technical assumptions. Even in this most general of settings, we show that at threshold all final state particles move with the same 3-velocity, while initial state particles must have 3-velocities parallel/anti-parallel to the final state particles. In contrast the various 3-momenta can behave in a complicatedand counter-intuitive manner.
Security Theorems via Model Theory
Directory of Open Access Journals (Sweden)
Joshua Guttman
2009-11-01
Full Text Available A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs . (phi implies for some ys . psi. Models (interpretations for these formulas are *skeletons*, partially ordered structures consisting of a number of local protocol behaviors. *Realized* skeletons contain enough local sessions to explain all the behavior, when combined with some possible adversary behaviors. We show two results. (1 If phi is the antecedent of a security goal, then there is a skeleton A_phi such that, for every skeleton B, phi is satisfied in B iff there is a homomorphism from A_phi to B. (2 A protocol enforces for all xs . (phi implies for some ys . psi iff every realized homomorphic image of A_phi satisfies psi. Hence, to verify a security goal, one can use the Cryptographic Protocol Shapes Analyzer CPSA (TACAS, 2007 to identify minimal realized skeletons, or "shapes," that are homomorphic images of A_phi. If psi holds in each of these shapes, then the goal holds.
The Michaelis-Menten-Stueckelberg Theorem
Directory of Open Access Journals (Sweden)
Alexander N. Gorban
2011-05-01
Full Text Available We study chemical reactions with complex mechanisms under two assumptions: (i intermediates are present in small amounts (this is the quasi-steady-state hypothesis or QSS and (ii they are in equilibrium relations with substrates (this is the quasiequilibrium hypothesis or QE. Under these assumptions, we prove the generalized mass action law together with the basic relations between kinetic factors, which are sufficient for the positivity of the entropy production but hold even without microreversibility, when the detailed balance is not applicable. Even though QE and QSS produce useful approximations by themselves, only the combination of these assumptions can render the possibility beyond the “rarefied gas” limit or the “molecular chaos” hypotheses. We do not use any a priori form of the kinetic law for the chemical reactions and describe their equilibria by thermodynamic relations. The transformations of the intermediate compounds can be described by the Markov kinetics because of their low density (low density of elementary events. This combination of assumptions was introduced by Michaelis and Menten in 1913. In 1952, Stueckelberg used the same assumptions for the gas kinetics and produced the remarkable semi-detailed balance relations between collision rates in the Boltzmann equation that are weaker than the detailed balance conditions but are still sufficient for the Boltzmann H-theorem to be valid. Our results are obtained within the Michaelis-Menten-Stueckelbeg conceptual framework.
Low energy theorems of hidden local symmetries
International Nuclear Information System (INIS)
We prove to all orders of the loop expansion the low energy theorems of hidden local symmetries in four-dimensional nonlinear sigma models based on the coset space G/H, with G and H being arbitrary compact groups. Although the models are non-renormalizable, the proof is done in an analogous manner to the renormalization proof of gauge theories and two-dimensional nonlinear sigma models by restricting ourselves to the operators with two derivatives (counting a hidden gauge boson field as one derivative), i.e., with dimension 2, which are the only operators relevant to the low energy limit. Through loop-wise mathematical induction based on the Ward-Takahashi identity for the BRS symmetry, we solve renormalization equation for the effective action up to dimension-2 terms plus terms with the relevant BRS sources. We then show that all the quantum corrections to the dimension-2 operators, including the finite parts as well as the divergent ones, can be entirely absorbed into a re-definition (renormalization) of the parameters and the fields in the dimension-2 part of the tree-level Lagrangian. (author)
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.
Two No-Go Theorems on Superconductivity
Tada, Yasuhiro
2016-01-01
We study lattice superconductors such as attractive Hubbard models. As is well known, Bloch's theorem asserts absence of persistent current in ground states and equilibrium states for general fermion systems. While the statement of the theorem is true, we can show that the theorem cannot exclude possibility of a surface persistent current. Such a current can be stabilized by boundary magnetic fields which do not penetrate into the bulk region of a superconductor, provided emergence of massive photons, i.e., Meissner effect. Therefore, we can expect that a surface persistent current is realized for a ground/equilibrium state in the sense of stability against local perturbations. We also apply Elitzur's theorem to superconductors at finite temperatures. As a result, we prove absence of symmetry breaking of the global U(1) phase of electrons for almost all gauge fixings. These observations suggest that the nature of superconductivity is the emergence of massive photons rather than the symmetry breaking of the U(...
A generalized preimage theorem in global analysis
Institute of Scientific and Technical Information of China (English)
无
2001-01-01
The concept of locally fine point and generalized regular valueof a C1 map between Banach spaces were carried over C1 map between Banach manifolds. Hence the preimage theorem, a principle constructing Banach manifolds in global analysis, is generalized.
Interval logic. Proof theory and theorem proving
DEFF Research Database (Denmark)
Rasmussen, Thomas Marthedal
2002-01-01
Real-time systems are computer systems which have to meet real-time constraints. To increase the confidence in such systems, formal methods and formal verification are utilized. The class of logics known as interval logics can be used for expressing properties and requirements of real-time systems...... labelled natural deduction system. We conduct theoretical investigations of the systems with respect to subformula properties, proof search, etc. The generic theorem proving system Isabelle is used as a framework for encoding both proof theoretical systems. We consider a number of examples/small case....... By theorem proving we understand the activity of proving theorems of a logic with the assistance of a computer. The goal of this thesis is to improve theorem proving support for interval logics such that larger and more realistic case-studies of real-time systems can be conducted using these...
Lambda-mu-calculus and Bohm's theorem
David, René; Py, Walter
2001-01-01
The lambda mu-calculus is an extension of the lambda-calculus that has been introduced by M. Parigot to give an algorithmic content to classical proofs. We show that Bohm's theorem fails in this calculus.
Transformation groups and the virial theorem
Kampen, N.G. van
1972-01-01
A generalization of Noether's result for classical mechanics is given, which shows that the virial theorem is related to an invariance property of the Lagrange function. Two examples are discussed in detail.
Lie Algebras and the Four Color Theorem
Bar-Natan, Dror
1996-01-01
We present a ``reasonable'' statement about Lie algebras that is equivalent to the Four Color Theorem. The notions appearing in the statement also appear in the theory of finite-type invariants of knots (Vassiliev invariants) and 3-manifolds.
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.
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
International Nuclear Information System (INIS)
We prove many congruences for binomial and multinomial coefficients as well as for the coefficients of the Girard-Newton formula in the theory of symmetric functions. These congruences also imply congruences (modulo powers of primes) for the traces of various powers of matrices with integer elements. We thus have an extension of the matrix Fermat theorem similar to Euler's extension of the numerical little Fermat theorem
A Theorem on Combinatorial Group Theory
Institute of Scientific and Technical Information of China (English)
何伯和
2000-01-01
Let F= F(X) be a free group of rand n, A be a finite subset of F(X) and x∈X be a generator. The theorem states that x can be denoted as a rotation-inserting word of A if x is in the normal closure of A in F(X). Finally, an application of the theorem in Heegaard splitting of 3manifolds is given.
International Nuclear Information System (INIS)
In the present letter, Newton’s theorem for the gravitational field outside a uniform spherical shell is considered. In particular, a purely geometric proof of proposition LXXI/theorem XXXI of Newton’s Principia, which is suitable for undergraduates and even skilled high-school students, is proposed. Minimal knowledge of elementary calculus and three-dimensional Euclidean geometry are required. (letters and comments)
Fluctuation theorems for a molecular refrigerator.
Kim, Kyung Hyuk; Qian, Hong
2007-02-01
We extend fluctuation theorems to a molecular refrigeration system that consists of Brownian particles in a heat bath under feedback control of their velocities. Such control can actively remove heat from the bath due to an entropy-pumping mechanism [Phys. Rev. Lett. 93, 120602 (2004)]. The presence of entropy pumping in an underdamped Brownian system modifies both the Jarzynski equality and the fluctuation theorems. We discover that the entropy pumping has a dual role of work and heat. PMID:17358382
Levi-Civita's Theorem for Noncommutative Tori
Directory of Open Access Journals (Sweden)
Jonathan Rosenberg
2013-11-01
Full Text Available We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas.
Levi-Civita's Theorem for Noncommutative Tori
Jonathan Rosenberg
2013-01-01
We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas.
The two Bell's theorems of John Bell
International Nuclear Information System (INIS)
Many of the heated arguments about the meaning of ‘Bell's theorem’ arise because this phrase can refer to two different theorems that John Bell proved, the first in 1964 and the second in 1976. His 1964 theorem is the incompatibility of quantum phenomena with the dual assumptions of locality and determinism. His 1976 theorem is the incompatibility of quantum phenomena with the unitary property of local causality. This is contrary to Bell's own later assertions, that his 1964 theorem began with that single, and indivisible, assumption of local causality (even if not by that name). While there are other forms of Bell's theorems—which I present to explain the relation between Jarrett-completeness, ‘fragile locality’, and EPR-completeness—I maintain that Bell's two versions are the essential ones. Although the two Bell's theorems are logically equivalent, their assumptions are not, and the different versions of the theorem suggest quite different conclusions, which are embraced by different communities. For realists, the notion of local causality, ruled out by Bell's 1976 theorem, is motivated implicitly by Reichenbach's principle of common cause and explicitly by the principle of relativistic causality, and it is the latter which must be forgone. Operationalists pay no heed to Reichenbach's principle, but wish to keep the principle of relativistic causality, which, bolstered by an implicit ‘principle of agent-causation’, implies their notion of locality. Thus for operationalists, Bell's theorem is the 1964 one, and implies that it is determinism that must be forgone. I discuss why the two ‘camps’ are drawn to these different conclusions, and what can be done to increase mutual understanding. (review article)
A new proof of Goodstein's Theorem
Perez, Juan A.
2009-01-01
Goodstein sequences are numerical sequences in which a natural number m, expressed as the complete normal form to a given base a, is modified by increasing the value of the base a by one unit and subtracting one unit from the resulting expression. As initially defined, the first term of the Goodstein sequence is the complete normal form of m to base 2. Goodstein's Theorem states that, for all natural numbers, the Goodstein sequence eventually terminates at zero. Goodstein's Theorem was origin...
Epistemological Consequences of the Incompleteness Theorems
Raguní, Giuseppe
2016-01-01
After highlighting the cases in which the semantics of a language cannot be mechanically reproduced (in which case it is called inherent), the main epistemological consequences of the first incompleteness Theorem for the two fundamental arithmetical theories are shown: the non-mechanizability for the truths of the first-order arithmetic and the peculiarities for the model of the second-order arithmetic. Finally, the common epistemological interpretation of the second incompleteness Theorem is...
Virial theorems for trapped cold atoms
Werner, Félix
2008-01-01
A few small corrections We present a general virial theorem for quantum particles with arbitrary zero-range or finite-range interactions in an arbitrary external potential. We deduce virial theorems for several situations relevant to trapped cold atoms: zero-range interactions with and without Efimov effect, hard spheres, narrow Feshbach resonances, and finite-range interactions. If the scattering length $a$ is varied adiabatically in the BEC-BCS crossover, we find that the trapping potent...
Shafranov's virial theorem and magnetic plasma confinement
Faddeev, Ludvig; Freyhult, Lisa; Niemi, Antti J.; Rajan, Peter
2000-01-01
Shafranov's virial theorem implies that nontrivial magnetohydrodynamical equilibrium configurations must be supported by externally supplied currents. Here we extend the virial theorem to field theory, where it relates to Derrick's scaling argument on soliton stability. We then employ virial arguments to investigate a realistic field theory model of a two-component plasma, and conclude that stable localized solitons can exist in the bulk of a finite density plasma. These solitons entail a non...
q-Deformed Dynamics and Virial Theorem
Zhang, Jian-Zu
2002-01-01
In the framework of the q-deformed Heisenberg algebra the investigation of $q$-deformation of Virial theorem explores that q-deformed quantum mechanics possesses better dynamical property. It is clarified that in the case of the zero potential the theoretical framework for the q-deformed Virial theorem is self-consistent. In the selfadjoint states the q-deformed uncertainty relation essentially deviates from the Heisenberg one.
The Fundamental Theorem of Vassiliev Invariants
Bar-Natan, Dror; STOIMENOW, Alexander
1997-01-01
The "fundamental theorem of Vassiliev invariants" says that every weight system can be integrated to a knot invariant. We discuss four different approaches to the proof of this theorem: a topological/combinatorial approach following M. Hutchings, a geometrical approach following Kontsevich, an algebraic approach following Drinfel'd's theory of associators, and a physical approach coming from the Chern-Simons quantum field theory. Each of these approaches is unsatisfactory in one way or anothe...
Has the Goldstone theorem been revisited?
Guerrieri, A
2014-01-01
A recent paper (arXiv:1404.5619) claimed the presence of a loophole in the current-algebra proof of Goldstone Theorem. The enforcing of manifest covariance would lead to contradictory results also in scalar theory. We show that the argument proposed is not in contradiction with covariance, thus not invalidating the theorem. Moreover, the counterexample proposed of a scalar operator with a non-zero vacuum expectation value in an unbroken theory is ill-defined.
Positive energy theorems in General Relativity
Dain, Sergio
2013-01-01
The aim of this chapter is to present an introduction and also an overview of some of the most relevant results concerning positivity energy theorems in General Relativity. These theorems provide the answer to a long standing problem that has been proved remarkably difficult to solve. They constitute one of the major results in classical General Relativity and they uncover a deep self-consistence of the theory.
A Converse of Fermat's Little Theorem
Bruckman, P. S.
2007-01-01
As the name of the paper implies, a converse of Fermat's Little Theorem (FLT) is stated and proved. FLT states the following: if p is any prime, and x any integer, then x[superscript p] [equivalent to] x (mod p). There is already a well-known converse of FLT, known as Lehmer's Theorem, which is as follows: if x is an integer coprime with m, such…
On the Significance of the Gottesman-Knill Theorem
Cuffaro, Michael E
2013-01-01
According to the Gottesman-Knill theorem, quantum algorithms utilising operations chosen from a particular restricted set are efficiently simulable classically. Since some of these algorithms involve entangled states, it is commonly concluded that entanglement is not sufficient to enable quantum computers to outperform classical computers. It is argued in this paper, however, that what the Gottesman-Knill theorem shows us is only that if we limit ourselves to the Gottesman-Knill operations, we will not have used the entanglement with which we have been provided to its full potential, for all of the Gottesman-Knill operations are such that their associated statistics (even when they involve entangled states) are reproducible in a local hidden variables theory. It is further argued that considering the Gottesman-Knill theorem is illuminating, not only for our understanding of quantum computation, but also for our understanding of what we take to be a plausible local hidden variables theory, as well as for our u...
Sperner and KKM-type theorems on trees and cycles
Niedermaier, Andrew; Su, Francis Edward
2009-01-01
In this paper we prove a new combinatorial theorem for labellings of trees, and show that it is equivalent to a KKM-type theorem for finite covers of trees and to discrete and continuous fixed point theorems on finite trees. This is in analogy with the equivalence of the classical Sperner's lemma, KKM lemma, and the Brouwer fixed point theorem on simplices. Furthermore, we use these ideas to develop new KKM and fixed point theorems for infinite covers and infinite trees. Finally, we extend the KKM theorem on trees to an entirely new KKM theorem for cycles, and discuss interesting social consequences, including an application in voting theory.
Combinatorial theorems in sparse random sets
Conlon, D
2010-01-01
We develop a new technique that allows us to show in a unified way that many well-known combinatorial theorems, including Tur\\'an's theorem, Szemer\\'edi's theorem and Ramsey's theorem, hold almost surely inside sparse random sets. For instance, we extend Tur\\'an's theorem to the random setting by showing that for every epsilon > 0 and every positive integer t >= 3 there exists a constant C such that, if G is a random graph on n vertices where each edge is chosen independently with probability at least C n^{-2/(t+1)}, then, with probability tending to 1 as n tends to infinity, every subgraph of G with at least (1 - \\frac{1}{t-1} + epsilon) e(G) edges contains a copy of K_t. This is sharp up to the constant C. We also show how to prove sparse analogues of structural results, giving two main applications, a stability version of the random Tur\\'an theorem stated above and a sparse hypergraph removal lemma. Many similar results have recently been obtained independently in a different way by Schacht and by Friedgut...
Optical theorem detectors for active scatterers
Marengo, Edwin A.; Tu, Jing
2015-10-01
We develop a new theory of the optical theorem for scalar fields in nonhomogeneous media which can be bounded or unbounded. It applies to arbitrary lossless backgrounds and quite general probing fields. The derived formulation holds for arbitrary passive scatterers, which can be dissipative, as well as for the more general class of active scatterers which are composed of a (passive) scatterer component and an active, radiating (antenna) component. The generalization of the optical theorem to active scatterers is relevant to many applications such as surveillance of active targets including certain cloaks and invisible scatterers and wireless communications. The derived theoretical framework includes the familiar real power optical theorem describing power extinction due to both dissipation and scattering as well as a novel reactive optical theorem related to the reactive power changes. The developed approach naturally leads to three optical theorem indicators or statistics which can be used to detect changes or targets in unknown complex media. The paper includes numerical simulation results that illustrate the application of the derived optical theorem results to change detection in complex and random media.
Mental Constructions for The Group Isomorphism Theorem
Directory of Open Access Journals (Sweden)
Arturo Mena-Lorca
2016-03-01
Full Text Available The group isomorphism theorem is an important subject in any abstract algebra undergraduate course; nevertheless, research shows that it is seldom understood by students. We use APOS theory and propose a genetic decomposition that separates it into two statements: the first one for sets and the second with added structure. We administered a questionnaire to students from top Chilean universities and selected some of these students for interviews to gather information about the viability of our genetic decomposition. The students interviewed were divided in two groups based on their familiarity with equivalence relations and partitions. Students who were able to draw on their intuition of partitions were able to reconstruct the group theorem from the set theorem, while those who stayed on the purely algebraic side could not. Since our approach to learning this theorem was successful, it may be worthwhile to gather data while teaching it the way we propose here in order to check how much the learning of the group isomorphism theorem is improved. This approach could be expanded to other group homomorphism theorems provided further analysis is conducted: going from the general (e.g., sets to the particular (e.g., groups might not always the best strategy, but in some cases we may just be turning to more familiar settings.
The modified Poynting theorem and the concept of mutual energy
Zhao, Shuang-ren; Yang, Kang; Yang, Xingang; Yang, Xintie
2015-01-01
The Poynting theorem is generalized to the modified Poynting theorem. In the modified Poynting theorem the electromagnetic field is superimposition of different electromagnetic fields including the field of retarded potential and advanced potential. The media epsilon (permittivity) and mu (permeability) can also be different in the different fields. The concept of mutual energy is introduced which is the difference between the total energy and self-energy. Using the modified Poynting theorem with the concept of the mutual energy the modified mutual energy theorem is derived. Applying time-offset transform and time integral to the modified mutual energy theorem, the time-correlation modified mutual energy theorem is obtained. Assume there are only two fields which are retarded potential, and there is only one media, the modified time-correlation energy theorem becomes the time-correlation energy theorem, which is also referred as the time-correlation reciprocity theorem. Assume there are two electromagnetic fi...
DEFF Research Database (Denmark)
Damkilde, Lars
2007-01-01
Limit State analysis has a long history and many prominent researchers have contributed. The theoretical foundation is based on the upper- and lower-bound theorems which give a very comprehensive and elegant formulation on complicated physical problems. In the pre-computer age Limit State analysis...
Institute of Scientific and Technical Information of China (English)
Lei DENG; Ming Ge YANG
2006-01-01
Some new coincidence theorems involving admissible set-valued mappings are proved in general noncompact topological spaces. As applications, some new minimax inequalities, section theorem, best approximation theorem, existence theorems of weighted Nash equilibria and Pareto equilibria for multiobjective games are given in general topological spaces.
A Unifying Impossibility Theorem for Compact Metricsocial Alternatives Space
Priscilla Man; Shino Takayama
2013-01-01
In Man and Takayama (2013) (henceforth MT) we show that many classical impossibility theorems follow from three simple and intuitive axioms on the social choice correspondence when the set of social alternatives is finite. This note extends the main theorem (Theorem 1) in MT to the case where the set of social alternatives is a compact metric space. We also qualify how versions of Arrow's Impossibility Theorem and the Muller-Satterthwaite Theorem (Muller and Satterthwaite, 1977) can be obtain...
Stability theorems for multidimensional linear systems with variable parameters
Shrivastava, S. K.
1981-01-01
A Liapunov-type approach is used to derive two equivalent theorems which govern the stability of coupled linear systems with varying multiple parameters. The theorems generalize some of the existing theorems applicable to systems with constant parameters and the Sonin-Polya theorem applicable to a single-degree-of-freedom system with variable coefficients. As an illustration, the proposed theorems are applied to mechanical systems with varying inertia, stiffness, gyroscopic, and damping terms, and velocity and position-dependent forces.
Theorem on magnet fringe field
International Nuclear Information System (INIS)
Transverse particle motion in particle accelerators is governed almost totally by non-solenoidal magnets for which the body magnetic field can be expressed as a series expansion of the normal (bn) and skew (an) multipoles, By + iBx = summation(bn + ian)(x + iy)n, where x, y, and z denote horizontal, vertical, and longitudinal (along the magnet) coordinates. Since the magnet length L is necessarily finite, deflections are actually proportional to ''field integrals'' such as bar BL ≡ ∫ B(x,y,z)dz where the integration range starts well before the magnet and ends well after it. For bar an, bar bn, bar Bx, and bar By defined this way, the same expansion Eq. 1 is valid and the ''standard'' approximation is to neglect any deflections not described by this expansion, in spite of the fact that Maxwell's equations demand the presence of longitudinal field components at the magnet ends. The purpose of this note is to provide a semi-quantitative estimate of the importance of |Δp∝|, the transverse deflection produced by the ion-gitudinal component of the fringe field at one magnet end relative to |Δp0|, the total deflection produced by passage through the whole magnet. To emphasize the generality and simplicity of the result it is given in the form of a theorem. The essence of the proof is an evaluation of the contribution of the longitudinal field Bx from the vicinity of one magnet end since, along a path parallel to the magnet axis such as path BC
Kharitonov's theorem: Generalizations and algorithms
Rublein, George
1989-01-01
In 1978, the Russian mathematician V. Kharitonov published a remarkably simple necessary and sufficient condition in order that a rectangular parallelpiped of polynomials be a stable set. Here, stable is taken to mean that the polynomials have no roots in the closed right-half of the complex plane. The possibility of generalizing this result was studied by numerous authors. A set, Q, of polynomials is given and a necessary and sufficient condition that the set be stable is sought. Perhaps the most general result is due to Barmish who takes for Q a polytope and proceeds to construct a complicated nonlinear function, H, of the points in Q. With the notion of stability which was adopted, Barmish asks that the boundary of the closed right-half plane be swept, that the set G is considered = to (j(omega)(bar) - infinity is less than omega is less than infinity) and for each j(omega)(sigma)G, require H(delta) is greater than 0. Barmish's scheme has the merit that it describes a true generalization of Kharitonov's theorem. On the other hand, even when Q is a polyhedron, the definition of H requires that one do an optimization over the entire set of vertices, and then a subsequent optimization over an auxiliary parameter. In the present work, only the case where Q is a polyhedron is considered and the standard definition of stability described, is used. There are straightforward generalizations of the method to the case of discrete stability or to cases where certain root positions are deemed desirable. The cases where Q is non-polyhedral are less certain as candidates for the method. Essentially, a method of geometric programming was applied to the problem of finding maximum and minimum angular displacements of points in the Nyquist locus (Q(j x omega)(bar) - infinity is less than omega is less than infinity). There is an obvious connection with the boundary sweeping requirement of Barmish.
Chavanis, Pierre-Henri; Sire, Clément
2006-06-01
We derive the virial theorem appropriate to the generalized Smoluchowski-Poisson (GSP) system describing self-gravitating Brownian particles in an overdamped limit. We extend previous works by considering the case of an unbounded domain and an arbitrary equation of state. We use the virial theorem to study the diffusion (evaporation) of an isothermal Brownian gas above the critical temperature Tc in dimension d = 2 and show how the effective diffusion coefficient and the Einstein relation are modified by self-gravity. We also study the collapse at T = Tc and show that the central density increases logarithmically with time instead of exponentially in a bounded domain. Finally, for d > 2, we show that the evaporation of the system is essentially a pure diffusion slightly slowed down by self-gravity. We also study the linear dynamical stability of stationary solutions of the GSP system representing isolated clusters of particles and investigate the influence of the equation of state and of the dimension of space on the dynamical stability of the system. PMID:16906910
Maximum entropy as a consequence of Bayes' theorem in differentiable manifolds
Davis, Sergio
2015-01-01
Bayesian inference and the principle of maximum entropy (PME) are usually presented as separate but complementary branches of inference, the latter playing a central role in the foundations of Statistical Mechanics. In this work it is shown that the PME can be derived from Bayes' theorem and the divergence theorem for systems whose states can be mapped to points in a differentiable manifold. In this view, entropy must be interpreted as the invariant measure (non-informative prior) on the space of probability densities.
Energy Technology Data Exchange (ETDEWEB)
Caillet, C.; Deat, M. [Commissariat a l' Energie Atomique, Saclay (France). Centre d' Etudes Nucleaires
1958-07-01
speciaux que l'on decrit en discutant la validite des approximations choisies. 4. Les simulateurs de machines tournantes: on souligne le caractere particulier que presentent les calculs des machines tournantes en raison de la necessite ou l'on est de passer par l'intermediaire d'abaques. On propose l'utilisation d'une memoire a acces aleatoire permettant un traitement analogique de ces problemes. 5. Etude d'une centrale nucleaire: on etudie, sur un exemple, les problemes poses par l'interconnexion d'elements du type precedent pour la simulation de grands ensembles (centrales nucleaires) et on souligne le role des elements ordinaires de calcul. 6. Conclusion: on souligne la necessite pour toutes ces etudes, de disposer d'un materiel de qualite et on discute la signification des resultats ainsi obtenus. (auteur)
Energy Technology Data Exchange (ETDEWEB)
Ventura, M. [Autoridad Regulatoria Nuclear, Av. Libertador 8250 (1429), Capital Federal (Argentina)]. e-mail: mventura@sede.arn.gov.ar
2006-07-01
In the mark of the modification of the Atucha-I Nuclear Central Installation (CNA-I) as consequence of the Introduction of the System 'Second Drain of Heat' (SSC), the Entity Responsible for the CNA-I (NASA) requested authorization to the Nuclear Regulatory Authority (ARN) to modify the value of the minimum level of water in the secondary side in the Steam generators (GVs) to activate the signal 'shoot of the Cut of the Reactor' (RESA-LLV). As the level in the GVs is one of those parameters that are used to shoot the Emergency Feeding System (RX), component of the SSC System, also was analyzed the change in the activation of the shoot signal of the 'Second Drain of Heat' (2SSC-LLV). The ARN uses for the study of the nuclear safety of nuclear power plants, the series of prediction programs RELAP5/MOD3.X. It participates of the evaluation and maintenance activities of these codes through specific agreements with the U.S. Nuclear Regulatory Commission (US-NRC). It is necessary to account with programs of this type since the ARN it licenses the construction and operation of Nuclear Power Plants (NPPs) and other outstanding facilities and it inquires its operation according to its own standards. With these tools its are auditing the calculations that the Responsible Entities of the operation make to guarantee the operability of the NPPs assisting the mentioned standards. The analysis with computational codes is used as a tool to achieve the best understanding in the behavior of the plant in union with the engineering approach, the manual calculations, the data analysis and the experience in the operation of the machine. (Author)
Choi, E.Y.; Lim, J-H; Neuwirth, A.; Economopoulou, M; Chatzigeorgiou, A; Chung, K-J; Bittner, S.; Lee, S-H; Langer, H; Samus, M; Kim, H.; Cho, G-S; Ziemssen, T; Bdeir, K; Chavakis, E
2014-01-01
Inflammation in the central nervous system (CNS) and disruption of its immune privilege are major contributors to the pathogenesis of multiple sclerosis (MS) and of its rodent counterpart, experimental autoimmune encephalomyelitis (EAE). We have previously identified developmental endothelial locus-1 (Del-1) as an endogenous anti-inflammatory factor, which inhibits integrin-dependent leukocyte adhesion. Here we show that Del-1 contributes to the immune privilege status of the CNS. Intriguingl...
The Hellmann–Feynman theorem, the comparison theorem, and the envelope theory
Claude Semay
2015-01-01
The envelope theory is a convenient method to compute approximate solutions for bound state equations in quantum mechanics. It is shown that these approximate solutions obey a kind of Hellmann–Feynman theorem, and that the comparison theorem can be applied to these approximate solutions for two ordered Hamiltonians.
Generalized Virial Theorem and Pressure Relation for a strongly correlated Fermi gas
Tan, Shina
2008-01-01
For a two-component Fermi gas in the unitarity limit (ie, with infinite scattering length), there is a well-known virial theorem, first shown by J. E. Thomas et al, Phys. Rev. Lett. 95, 120402 (2005). A few people rederived this result, and extended it to few-body systems, but their results are all restricted to the unitarity limit. Here I show that there is a generalized virial theorem for FINITE scattering lengths. I also generalize an exact result concerning the pressure, first shown in co...
Limiting theorems for the nodes in binary search trees
Institute of Scientific and Technical Information of China (English)
2008-01-01
We consider three random variables X_n, Y_n and Z_n, which represent the numbers of the nodes with 0, 1, and 2 children, in the binary search trees of size n. The expectation and variance of the three above random variables are got, and it is also shown that X_n, Y_n and Z_n are all asymptotically normal as n→∞by applying the contraction method.
Limiting theorems for the nodes in binary search trees
Institute of Scientific and Technical Information of China (English)
无
2008-01-01
We consider three random variables Xn, Yn and Zn, which represent the numbers of the nodes with 0, 1, and 2 children, in the binary search trees of size n. The expectation and variance of the three above random variables are got, and it is also shown that Xn, Yn and Zn are all asymptotically normal as n →∞ by applying the contraction method.
Limit Theorems for some Branching Measure-Valued Processes
Cloez, Bertrand
2011-01-01
We consider a particles system, where, the particles move independently according to a Markov process and branching event occurs at an inhomogeneous time. The offspring locations and their number may depend on the position of the mother. Our setting capture, for instance, the processes indexed by Galton-Watson tree. We first determine the asymptotic behaviour of the empirical measure. The proof is based on an expression of the empirical measure using an auxiliary process. This latter is not distributed as a one cell lineage, there is a biased phenomenon. Our model is a microscopic description of a random (discrete) population of individuals. We then obtain a large population approximation as weak solution of a growth- fragmentation equation. We illustrate our result with two examples. The first one is a size-structured population model which describes the mitosis and the second one can model a parasite infection.
Some Limit Theorems for Weighted Sums of Random Variable Fields
Institute of Scientific and Technical Information of China (English)
无
2006-01-01
Let{X-n,-n∈Nd} be a field of Banach space valued random variables, 0 ＜r＜p≤2 and{a-n,-k,(-n,-k)∈Nd×Nd,-k≤-n} a triangular array of real numbers, where Nd is the d-dimensional lattice(d≥1). Under the minimal condition that {‖X-n‖r,-n∈Nd} is {|a-n,-k|r,(-n,-k)} ∈Nd×Nd,-k≤-n}-uniformly integrable, we show that ∑(-k≤-n)(a-n,-kX-k)Lr(or a.s.)→0 as |-n|→∞. In the above, if 0＜r＜1, the random variables are not needed to be independent. If 1≤r＜p≤2, and Banach space valued random variables are independent with mean zero we assume the Banach space is of type p. If 1≤r＜p≤2 and Banach space valued random variables are not independent we assume the Banach space is p-smoothable.
The limiting theorems of random quadratic forms and their application
Institute of Scientific and Technical Information of China (English)
PAN; Guangming; MIAO; Baiqi; TAN; Changchun
2005-01-01
The strong convergence and convergence rate of the random quadratic formss1T(S1S1T)ms1 and s1T(SST)ms1 are set up. The application of these results in wireless communication is given. Simulation results are presented.
Completely Monotone Multisequences, Symmetric Probabilities and a Normal Limit Theorem
Indian Academy of Sciences (India)
J C Gupta
2000-11-01
Let G, be the set of all partial completely monotone multisequences of order and degree , i.e., multisequences (1, 2,$\\ldots$ ,k), 1, 2,$\\ldots$ , = 0, 1, 2,$\\ldots$ ,1 + 2 + \\$cdots$ + ≤ n, (0,0,$\\ldots$ ,0) = 1 and $(-1)^{_0}^{_0}$ (1, 2,$\\ldots$ ,)≥ 0 whenever 0 ≤ -(1 + 2 +$\\cdots$ +) where (1, 2,$\\ldots$ ,)=(1+1, 2,$\\ldots$ ,)+ (1,2+1,$\\ldots$ ,)+$\\cdots$ + (1, 2,$\\ldots$ ,+1)-(1,2,$\\ldots$ ,)$. Further, let $\\prod_{n,k}$ be the set of all symmetric probabilities on ${0, 1, 2,\\ldots ,k}^{n}$. We establish a one-to-one correspondence between the sets G, and $\\prod_{n, k}$ and use it to formulate and answer interesting questions about both. Assigning to G, the uniform probability measure, we show that, as → ∞ , any fixed section {(1, 2,$\\ldots$ ,), 1 ≤ $\\sum ≤ }, properly centered and normalized, is asymptotically multivariate normal. That is, $\\left\\{\\sqrt{\\left(\\binom{n+k}{k}\\right)}((1, 2,\\ldots ,)-c_0(1, 2,\\ldots ,), 1≤ _1+2+\\cdots +_k≤ m\\right\\}$ converges weakly to MVN[0,]; the centering constants 0(1, 2,$\\ldots$ ,) and the asymptotic covariances depend on the moments of the Dirichlet $(1, 1,\\ldots ,1; 1)$ distribution on the standard simplex in .
Quantum fluctuation theorems in the strong damping limit
Deffner, Sebastian; Brunner, Michael; Lutz, Eric
2009-01-01
We consider a driven quantum particle in the strong friction regime described by the quantum Smoluchowski equation. We derive Crooks and Jarzynski type relations for the reduced quantum system by properly generalizing the entropy production to take into account the non-Gibbsian character of the equilibrium distribution. In the case of a nonequilibrium steady state, we obtain a quantum version of the Hatano-Sasa relation. We, further, propose an experiment with driven Josephson junctions that ...
Dai-Freed theorem and topological phases of matter
Yonekura, Kazuya
2016-01-01
We describe a physics derivation of theorems due to Dai and Freed about the Atiyah-Patodi-Singer eta-invariant which is important for anomalies and topological phases of matter. This is done by studying a massive fermion. The key role is played by the wave function of the ground state in the Hilbert space of the fermion in the large mass limit. The ground state takes values in the determinant line bundle and has nontrivial Berry phases which characterize the low energy topological phases.
Double Soft Theorems and Shift Symmetry in Nonlinear Sigma Models
Low, Ian
2015-01-01
We show both the leading and subleading double soft theorems of the nonlinear sigma model follow from a shift symmetry enforcing Adler's zero condition in the presence of an unbroken global symmetry. They do not depend on the underlying coset G/H and are universal infrared behaviors of Nambu-Goldstone bosons. Although nonlinear sigma models contain an infinite number of interaction vertices, the double soft limit is determined entirely by a single four-point interaction, together with the existence of Adler's zeros.
Goldstone’s Theorem on a Light-Like Plane
International Nuclear Information System (INIS)
I review various aspects of chiral symmetry and its spontaneous breaking on null planes, including the interesting manner in which Goldstone’s theorem is realized and the constraints that chiral symmetry imposes on the null-plane Hamiltonians. Specializing to QCD with N massless flavors, I show that there is an interesting limit in which the chiral constraints on the null-plane Hamiltonians can be solved to give the spin-flavor algebra SU(2N), recovering a result originally found by Weinberg using different methods. (author)
Virial theorem and gravitational equilibrium with a cosmological constant
Nowakowski, Marek; Sanabria, Juan Carlos; García, Alejandro
2012-01-01
Starting from the Newtonian limit of Einstein's equations in the presence of a positive cosmological constant, we obtain a new version of the virial theorem and a condition for gravitational equilibrium. Such a condition takes the form ρ > λρvac, where ρ is the mean density of an astrophysical system (e.g. galaxy, galaxy cluster or supercluster), λ is a quantity which depends only on the shape of the system, and ρvac is the vacuum density. We conclude that gravitational stability might be ...
Goldstone's Theorem on a Light-Like Plane
Beane, Silas R.
2015-09-01
I review various aspects of chiral symmetry and its spontaneous breaking on null planes, including the interesting manner in which Goldstone's theorem is realized and the constraints that chiral symmetry imposes on the null-plane Hamiltonians. Specializing to QCD with N massless flavors, I show that there is an interesting limit in which the chiral constraints on the null-plane Hamiltonians can be solved to give the spin-flavor algebra SU(2 N), recovering a result originally found by Weinberg using different methods.
Ergodic theorem, ergodic theory, and statistical mechanics.
Moore, Calvin C
2015-02-17
This perspective highlights the mean ergodic theorem established by John von Neumann and the pointwise ergodic theorem established by George Birkhoff, proofs of which were published nearly simultaneously in PNAS in 1931 and 1932. These theorems were of great significance both in mathematics and in statistical mechanics. In statistical mechanics they provided a key insight into a 60-y-old fundamental problem of the subject--namely, the rationale for the hypothesis that time averages can be set equal to phase averages. The evolution of this problem is traced from the origins of statistical mechanics and Boltzman's ergodic hypothesis to the Ehrenfests' quasi-ergodic hypothesis, and then to the ergodic theorems. We discuss communications between von Neumann and Birkhoff in the Fall of 1931 leading up to the publication of these papers and related issues of priority. These ergodic theorems initiated a new field of mathematical-research called ergodic theory that has thrived ever since, and we discuss some of recent developments in ergodic theory that are relevant for statistical mechanics. PMID:25691697
Anti-Bell - Refutation of Bell's theorem
Barukčić, Ilija
2012-12-01
In general, Albert Einstein as one of "the founding fathers of quantum mechanics" had some problems to accept especially the Copenhagen dominated interpretation of quantum mechanics. Einstein's dissatisfaction with Copenhagen's interpretation of quantum mechanics, the absence of locality and causality within the Copenhagen dominated quantum mechanics lead to the well known Einstein, Podolsky and Rosen thought experiment. According to Einstein et al., the Copenhagen dominated quantum mechanics cannot be regarded as a complete physical theory. The Einstein, Podolsky and Rosen thought experiment was the origin of J. S. Bell's publication in 1964; known as Bell's theorem. Meanwhile, some dramatic violations of Bell's inequality (by so called Bell test experiments) have been reported which is taken as an empirical evidence against local realism and causality at quantum level and as positive evidence in favor of the Copenhagen dominated quantum mechanics. Thus far, Quantum mechanics is still regarded as a "strictly" non-local theory. The purpose of this publication is to refute Bell's original theorem. Thus far, if we accept Bell's theorem as correct, we must accept that +0> = +1. We can derive a logical contradiction out of Bell's theorem, Bell's theorem is refuted.
The Non-Signalling theorem in generalizations of Bell's theorem
International Nuclear Information System (INIS)
Does 'epistemic non-signalling' ensure the peaceful coexistence of special relativity and quantum nonlocality? The possibility of an affirmative answer is of great importance to deterministic approaches to quantum mechanics given recent developments towards generalizations of Bell's theorem. By generalizations of Bell's theorem we here mean efforts that seek to demonstrate the impossibility of any deterministic theories to obey the predictions of Bell's theorem, including not only local hidden-variables theories (LHVTs) but, critically, of nonlocal hidden-variables theories (NHVTs) also, such as de Broglie-Bohm theory. Naturally, in light of the well-established experimental findings from quantum physics, whether or not a deterministic approach to quantum mechanics, including an emergent quantum mechanics, is logically possible, depends on compatibility with the predictions of Bell's theorem. With respect to deterministic NHVTs, recent attempts to generalize Bell's theorem have claimed the impossibility of any such approaches to quantum mechanics. The present work offers arguments showing why such efforts towards generalization may fall short of their stated goal. In particular, we challenge the validity of the use of the non-signalling theorem as a conclusive argument in favor of the existence of free randomness, and therefore reject the use of the non-signalling theorem as an argument against the logical possibility of deterministic approaches. We here offer two distinct counter-arguments in support of the possibility of deterministic NHVTs: one argument exposes the circularity of the reasoning which is employed in recent claims, and a second argument is based on the inconclusive metaphysical status of the non-signalling theorem itself. We proceed by presenting an entirely informal treatment of key physical and metaphysical assumptions, and of their interrelationship, in attempts seeking to generalize Bell's theorem on the
STRONG LAW OF LARGE NUMBERS AND SHANNON-MCMILLAN THEOREM FOR MARKOV CHAINS FIELD ON CAYLEY TREE
Institute of Scientific and Technical Information of China (English)
杨卫国; 刘文
2001-01-01
This paper studies the strong law of large numbers and the Shannom-McMillan theorem for Markov chains field on Cayley tree. The authors first prove the strong law of large number on the frequencies of states and orderd couples of states for Markov chains field on Cayley tree. Then they prove thc Shannon-McMillan theorem with a.e. convergence for Markov chains field on Cayley tree. In the proof, a new technique in the study the strong limit theorem in probability theory is applied.
Equilibrium fluctuation theorems compatible with anomalous response
Velazquez, L.; Curilef, S.
2010-12-01
Previously, we have derived a generalization of the canonical fluctuation relation between heat capacity and energy fluctuations C = β2langδU2rang, which is able to describe the existence of macrostates with negative heat capacities C < 0. In this work, we extend our previous results for an equilibrium situation with several control parameters to account for the existence of states with anomalous values in other response functions. Our analysis leads to the derivation of three different equilibrium fluctuation theorems: the fundamental and the complementary fluctuation theorems, which represent the generalization of two fluctuation identities already obtained in previous works, and the associated fluctuation theorem, a result that has no counterpart in the framework of Boltzmann-Gibbs distributions. These results are applied to study the anomalous susceptibility of a ferromagnetic system, in particular, the case of the 2D Ising model.
On Bayes' theorem for improper mixtures
McCullagh, Peter; 10.1214/11-AOS892
2011-01-01
Although Bayes's theorem demands a prior that is a probability distribution on the parameter space, the calculus associated with Bayes's theorem sometimes generates sensible procedures from improper priors, Pitman's estimator being a good example. However, improper priors may also lead to Bayes procedures that are paradoxical or otherwise unsatisfactory, prompting some authors to insist that all priors be proper. This paper begins with the observation that an improper measure on Theta satisfying Kingman's countability condition is in fact a probability distribution on the power set. We show how to extend a model in such a way that the extended parameter space is the power set. Under an additional finiteness condition, which is needed for the existence of a sampling region, the conditions for Bayes's theorem are satisfied by the extension. Lack of interference ensures that the posterior distribution in the extended space is compatible with the original parameter space. Provided that the key finiteness conditio...
Bayes' theorem: scientific assessment of experience
Directory of Open Access Journals (Sweden)
Lex Rutten
2010-10-01
Full Text Available Homeopathy is based on experience and this is a scientific procedure if we follow Bayes' theorem. Unfortunately this is not the case at the moment. Symptoms are added to our materia medica based on absolute occurrence, while Bayes theorem tells us that this should be based on relative occurrence. Bayes theorem can be applied on prospective research, but also on retrospective research and consensus based on a large number of cases. Confirmation bias is an important source of false data in experience based systems like homeopathy. Homeopathic doctors should become more aware of this and longer follow-up of cases could remedy this. The existing system of adding symptoms to our materia medica is obsolete.
Institute of Scientific and Technical Information of China (English)
周如瑞; 卢迪; 王本德; 周惠成
2016-01-01
The development of hydrometeorological forecast technology offers important opportunities for reservoir dynamic control of flood limited water level. Economic benefits can be improved by raising the flood limited water level, but there is certain flood control risk. The purpose of this study was to propose a risk analysis method of upper bound of dynamic control of flood limited water level in order to provide the support for the development of dynamic control of flood limited water level. The proposed risk analysis method was based on Bayes theorem and flood forecast error characteristics. Qinghe reservoir, located in the northeast of China, was taken as an example. 21 flood events of actual and forecast runoff from the year 1964 to 2013 were used. For large reservoirs that has the ability for multi-year regulation, decision makers of flood control operation concern a lot about runoff forecast accuracy because the design flood is controlled by the flood volume. First, maximum entropy method was selected to simulate the runoff prediction error probability density function of 21 flood events, also forecast error range was calculated. According to the actual need of runoff forecast error in Qinghe reservoir, the range was divided into 6 zones, and distribution probabilities of runoff forecast errors in each zone, namely the prior probability distributions of flood forecasting errors were obtained by integrating the density function. Then, the probabilities of the highest water levels being higher than corresponding designed levels within different flood forecast error bounds were studied, and the risks of different flood forecast errors were inferred by Bayes theorem when the highest water level in flood regulation met with the design flood frequency. Based on the risk analysis method, risks of each design water level considering flood forecast information were compared with risks of conventional mode. The proposed risk analysis method of upper bound of dynamic
Lützgendorf, Nora; Gebhardt, Karl; Baumgardt, Holger; Noyola, Eva; Jalali, Behrang; de Zeeuw, P Tim; Neumayer, Nadine
2012-01-01
Globular clusters are an excellent laboratory for stellar population and dynamical research. Recent studies have shown that these stellar systems are not as simple as previously assumed. With multiple stellar populations as well as outer rotation and mass segregation they turn out to exhibit high complexity. This includes intermediate-mass black holes which are proposed to sit at the centers of some massive globular clusters. Today's high angular resolution ground based spectrographs allow velocity-dispersion measurements at a spatial resolution comparable to the radius of influence for plausible IMBH masses, and to detect changes in the inner velocity-dispersion profile. Together with high quality photometric data from HST, it is possible to constrain black-hole masses by their kinematic signatures. We determine the central velocity-dispersion profile of the globular cluster NGC 2808 using VLT/FLAMES spectroscopy. In combination with HST/ACS data our goal is to probe whether this massive cluster hosts an int...
Spectral mapping theorems a bluffer's guide
Harte, Robin
2014-01-01
Written by an author who was at the forefront of developments in multi-variable spectral theory during the seventies and the eighties, this guide sets out to describe in detail the spectral mapping theorem in one, several and many variables. The basic algebraic systems – semigroups, rings and linear algebras – are summarised, and then topological-algebraic systems, including Banach algebras, to set up the basic language of algebra and analysis. Spectral Mapping Theorems is written in an easy-to-read and engaging manner and will be useful for both the beginner and expert. It will be of great importance to researchers and postgraduates studying spectral theory.
Asymptotic symmetries and subleading soft graviton theorem
Campiglia, Miguel; Laddha, Alok
2014-12-01
Motivated by the equivalence between the soft graviton theorem and Ward identities for the supertranslation symmetries belonging to the Bondi, van der Burg, Metzner and Sachs (BMS) group, we propose a new extension (different from the so-called extended BMS) of the BMS group that is a semidirect product of supertranslations and Diff(S2) . We propose a definition for the canonical generators associated with the smooth diffeomorphisms and show that the resulting Ward identities are equivalent to the subleading soft graviton theorem of Cachazo and Strominger.
Pauli and the spin-statistics theorem
Duck, Ian M
1997-01-01
This book makes broadly accessible an understandable proof of the infamous spin-statistics theorem. This widely known but little-understood theorem is intended to explain the fact that electrons obey the Pauli exclusion principle. This fact, in turn, explains the periodic table of the elements and their chemical properties. Therefore, this one simply stated fact is responsible for many of the principal features of our universe, from chemistry to solid state physics to nuclear physics to the life cycle of stars.In spite of its fundamental importance, it is only a slight exaggeration to say that
Jarzynski's theorem for lattice gauge theory
Caselle, Michele; Nada, Alessandro; Panero, Marco; Toniato, Arianna
2016-01-01
Jarzynski's theorem is a well-known equality in statistical mechanics, which relates fluctuations in the work performed during a non-equilibrium transformation of a system, to the free-energy difference between two equilibrium states. In this article, we extend Jarzynski's theorem to lattice gauge theory, and present examples of applications for two challenging computational problems, namely the calculation of interface free energies and the determination of the equation of state. We conclude with a discussion of further applications of interest in QCD and in other strongly coupled gauge theories, in particular for the Schroedinger functional and for simulations at finite density using reweighting techniques.
Generalizations of the Abstract Boundary singularity theorem
Whale, Ben E; Scott, Susan M
2015-01-01
The Abstract Boundary singularity theorem was first proven by Ashley and Scott. It links the existence of incomplete causal geodesics in strongly causal, maximally extended spacetimes to the existence of Abstract Boundary essential singularities, i.e., non-removable singular boundary points. We give two generalizations of this theorem: the first to continuous causal curves and the distinguishing condition, the second to locally Lipschitz curves in manifolds such that no inextendible locally Lipschitz curve is totally imprisoned. To do this we extend generalized affine parameters from $C^1$ curves to locally Lipschitz curves.
GENERALIZATIONS OF THE ORLICZ-PETTIS THEOREM
Directory of Open Access Journals (Sweden)
CHRISTOPHER STUART
2005-05-01
Full Text Available The Orlicz-Pettis Theorem for locally convex spaces asserts that a series in the space which is subseries convergent in the weak topology is actually subseries convergent in the original topology of the space. A subseries convergent series can be viewed as a multiplier convergent series where the terms of the series are multiplied by elements of the scalar sequence space m0 of sequences with finite range. In this paper we show that the conclusion of the Orlicz-Pettis Theorem holds (and can be strengthened if the multiplier space m0 is replaced by a sequence space with the signed weak gliding hump property
Two extensions of Ramsey’s theorem
Conlon, David; Fox, Jacob; Sudakov, Benny
2013-01-01
Ramsey’s theorem, in the version of Erdos and Szekeres, states that every 2-coloring of the edges of the complete graph on {1,2,…,n} contains a monochromatic clique of order (1/2)logn. In this article, we consider two well-studied extensions of Ramsey’s theorem. Improving a result of Rodl, we show that there is a constant c > 0 such that every 2-coloring of the edges of the complete graph on {2,3,…,n} contains a monochromatic clique S for which the sum of 1/logi over all vertices i ∈ S is at ...
Jarzynski's theorem for lattice gauge theory
Caselle, Michele; Costagliola, Gianluca; Nada, Alessandro; Panero, Marco; Toniato, Arianna
2016-08-01
Jarzynski's theorem is a well-known equality in statistical mechanics, which relates fluctuations in the work performed during a nonequilibrium transformation of a system, to the free-energy difference between two equilibrium ensembles. In this article, we apply Jarzynski's theorem in lattice gauge theory, for two examples of challenging computational problems, namely the calculation of interface free energies and the determination of the equation of state. We conclude with a discussion of further applications of interest in QCD and in other strongly coupled gauge theories, in particular for the Schrödinger functional and for simulations at finite density using reweighting techniques.
Adiabatic Theorems and Reversible Isothermal Processes
Abou-Salem, W K
2005-01-01
Reversible isothermal processes of a finitely extended, driven quantum system in contact with an infinite heat bath are studied from the point of view of quantum statistical mechanics. Notions like heat flux, work and entropy are defined for trajectories of states close to, but distinct from states of joint thermal equilibrium. A theorem characterizing reversible isothermal processes as quasi-static processes ("isothermal theorem") is described. Corollaries concerning the changes of entropy and free energy in reversible isothermal processes and on the 0th law of thermodynamics are outlined.
The Heisenberg Uncertainty Principle and the Nyquist-Shannon Sampling Theorem
Directory of Open Access Journals (Sweden)
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
Statistical properties of the universal limit map of grazing bifurcations
Li, Denghui; Chen, Hebai; Xie, Jianhua
2016-09-01
In this paper, the statistical properties of an interval map, having a square-root singular point which characterizes grazing bifurcations of impact oscillators, are studied. Firstly, we show that in some parameter regions the map admits an induced Markov structure with an exponential decay tail of the return times. Then we prove that the map has a unique mixing absolutely continuous invariant probability measure. Finally, by applying the Markov tower method, we prove that exponential decay of correlations and the central limit theorem hold for Hölder continuous observations.
Towards a No-Lose Theorem for Naturalness
Curtin, David
2015-01-01
We derive a phenomenological no-lose theorem for naturalness up to the TeV scale, which applies when quantum corrections to the Higgs mass from top quarks are canceled by perturbative BSM particles (top partners) of similar multiplicity due to to some symmetry. Null results from LHC searches already seem to disfavor such partners if they are colored. Any partners with SM charges and ~TeV masses will be exhaustively probed by the LHC and a future 100 TeV collider. Therefore, we focus on neutral top partners. While these arise in Twin Higgs theories, we analyze neutral top partners as model-independently as possible using EFT and Simplified Model methods. We classify all perturbative neutral top partner structures in order to compute their irreducible low-energy signatures at proposed future lepton and hadron colliders, as well as the irreducible tunings suffered in each scenario. Central to our theorem is the assumption that SM-charged BSM states appear in the UV completion of neutral naturalness, which is the...
Directory of Open Access Journals (Sweden)
Hannes Baur
2015-07-01
Full Text Available Two new species, Pteromalus briani sp. n. and P. janstai sp. n., with unusual characters are described from the Central Plateau and the Alps in Switzerland, respectively. P. briani sp. n. is remarkable in that it has the metatibia quite abruptly expanded before the middle. This type of modification of the hind tibia is unique within the Pteromalidae and probably also the entire Chalcidoidea. It is also very rare in other parasitic wasps, where it is suspected to be associated with pheromone glands. The species is a gregarious endoparasitoid of pupae of Vanessa atalanta (Linnaeus and Aglais urticae (Linnaeus, two common butterflies (Lepidoptera: Nymphalidae in Europe. It is furthermore a koinobiont parasitoid ovipositing in an early larval stage of the host. The other species, P. janstai sp. n., shows a flattened mesosoma. A dorsoventrally depressed body is a unique feature within the genus Pteromalus, but known from a number species in unrelated genera and subfamilies. The two records demonstrate that it is possible to discover entirely new species with extraordinary characters even in one of the taxonomically most thoroughly explored parts of the world.
International Nuclear Information System (INIS)
The static method for the evaluation of the limit loads of a perfectly elasto-plastic structure is presented. Using the static theorem of Limit Analysis and the Finite Element Method, a lower bound for the colapso load can be obtained through a linear programming problem. This formulation if then applied to symmetrically loaded shells of revolution and some numerical results of limit loads in nozzles are also presented. (Author)
A Note on a Broken-Cycle Theorem for Hypergraphs
Directory of Open Access Journals (Sweden)
Trinks Martin
2014-08-01
Full Text Available Whitney’s Broken-cycle Theorem states the chromatic polynomial of a graph as a sum over special edge subsets. We give a definition of cycles in hypergraphs that preserves the statement of the theorem there
An existence theorem for Volterra integrodifferential equations with infinite delay
Directory of Open Access Journals (Sweden)
Ferenc Izsak
2003-01-01
Full Text Available Using Schauder's fixed point theorem, we prove an existence theorem for Volterra integrodifferential equations with infinite delay. As an appplication, we consider an $n$ species Lotka-Volterra competitive system.
Hindman's Theorem: An Ultrafilter Argument in Second Order Arithmetic
Towsner, Henry
2009-01-01
Hindman's Theorem is a prototypical example of a combinatorial theorem with a proof that uses the topology of the ultrafilters. We show how the methods of this proof, including topological arguments about ultrafilters, can be translated into second order arithmetic.
Choi, E Y; Lim, J-H; Neuwirth, A; Economopoulou, M; Chatzigeorgiou, A; Chung, K-J; Bittner, S; Lee, S-H; Langer, H; Samus, M; Kim, H; Cho, G-S; Ziemssen, T; Bdeir, K; Chavakis, E; Koh, J-Y; Boon, L; Hosur, K; Bornstein, S R; Meuth, S G; Hajishengallis, G; Chavakis, T
2015-07-01
Inflammation in the central nervous system (CNS) and disruption of its immune privilege are major contributors to the pathogenesis of multiple sclerosis (MS) and of its rodent counterpart, experimental autoimmune encephalomyelitis (EAE). We have previously identified developmental endothelial locus-1 (Del-1) as an endogenous anti-inflammatory factor, which inhibits integrin-dependent leukocyte adhesion. Here we show that Del-1 contributes to the immune privilege status of the CNS. Intriguingly, Del-1 expression decreased in chronic-active MS lesions and in the inflamed CNS in the course of EAE. Del-1-deficiency was associated with increased EAE severity, accompanied by increased demyelination and axonal loss. As compared with control mice, Del-1(-/-) mice displayed enhanced disruption of the blood-brain barrier and increased infiltration of neutrophil granulocytes in the spinal cord in the course of EAE, accompanied by elevated levels of inflammatory cytokines, including interleukin-17 (IL-17). The augmented levels of IL-17 in Del-1-deficiency derived predominantly from infiltrated CD8(+) T cells. Increased EAE severity and neutrophil infiltration because of Del-1-deficiency was reversed in mice lacking both Del-1 and IL-17 receptor, indicating a crucial role for the IL-17/neutrophil inflammatory axis in EAE pathogenesis in Del-1(-/-) mice. Strikingly, systemic administration of Del-1-Fc ameliorated clinical relapse in relapsing-remitting EAE. Therefore, Del-1 is an endogenous homeostatic factor in the CNS protecting from neuroinflammation and demyelination. Our findings provide mechanistic underpinnings for the previous implication of Del-1 as a candidate MS susceptibility gene and suggest that Del-1-centered therapeutic approaches may be beneficial in neuroinflammatory and demyelinating disorders. PMID:25385367
Neuwirth, Ales; Economopoulou, Matina; Chatzigeorgiou, Antonios; Chung, Kyoung-Jin; Bittner, Stefan; Lee, Seung-Hwan; Langer, Harald; Samus, Maryna; Kim, Hyesoon; Cho, Geum-Sil; Ziemssen, Tjalf; Bdeir, Khalil; Chavakis, Emmanouil; Koh, Jae-Young; Boon, Louis; Hosur, Kavita; Bornstein, Stefan R.; Meuth, Sven G.; Hajishengallis, George; Chavakis, Triantafyllos
2014-01-01
Inflammation in the central nervous system (CNS) and disruption of its immune privilege are major contributors to the pathogenesis of multiple sclerosis (MS) and of its rodent counterpart, experimental autoimmune encephalomyelitis (EAE). We have previously identified developmental endothelial locus-1 (Del-1) as an endogenous anti-inflammatory factor, which inhibits integrin-dependent leukocyte adhesion. Here we show that Del-1 contributes to the immune privilege status of the CNS. Intriguingly, Del-1 expression decreased in chronic active MS lesions and in the inflamed CNS in the course of EAE. Del-1-deficiency was associated with increased EAE severity, accompanied by increased demyelination and axonal loss. As compared to control mice, Del-1−/− mice displayed enhanced disruption of the blood brain barrier and increased infiltration of neutrophil granulocytes in the spinal cord in the course of EAE, accompanied by elevated levels of inflammatory cytokines, including IL-17. The augmented levels of IL-17 in Del-1-deficiency derived predominantly from infiltrated CD8+ T cells. Increased EAE severity and neutrophil infiltration due to Del-1-deficiency was reversed in mice lacking both Del-1 and IL-17-receptor, indicating a crucial role for the IL-17/neutrophil inflammatory axis in EAE pathogenesis in Del-1−/− mice. Strikingly, systemic administration of Del-1-Fc ameliorated clinical relapse in relapsing-remitting EAE. Therefore, Del-1 is an endogenous homeostatic factor in the CNS protecting from neuroinflammation and demyelination. Our findings provide mechanistic underpinnings for the previous implication of Del-1 as a candidate MS susceptibility gene and suggest that Del-1-centered therapeutic approaches may be beneficial in neuroinflammatory and demyelinating disorders. PMID:25385367
Automated theorem proving theory and practice
Newborn, Monty
2001-01-01
As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little computers - relatively little! -can now carry out parallel computations and solve problems in seconds that only a few years ago took days or months. Chess-playing programs are on an even footing with the world's best players. IBM's Deep Blue defeated world champion Garry Kasparov in a match several years ago. Increasingly computers are expected to be more intelligent, to reason, to be able to draw conclusions from given facts, or abstractly, to prove theorems-the subject of this book. Specifically, this book is about two theorem-proving programs, THEO and HERBY. The first four chapters contain introductory material about automated theorem proving and the two programs. This includes material on the language used to express theorems, predicate calculus, and the rules of...
Some Generalizations of Jungck's Fixed Point Theorem
Directory of Open Access Journals (Sweden)
J. R. Morales
2012-01-01
Full Text Available We are going to generalize the Jungck's fixed point theorem for commuting mappings by mean of the concepts of altering distance functions and compatible pair of mappings, as well as, by using contractive inequalities of integral type and contractive inequalities depending on another function.
A simpler derivation of the coding theorem
Lomnitz, Yuval
2012-01-01
A simple proof for the Shannon coding theorem, using only the Markov inequality, is presented. The technique is useful for didactic purposes, since it does not require many preliminaries and the information density and mutual information follow naturally in the proof. It may also be applicable to situations where typicality is not natural.
On the Non-Abelian Stokes Theorem
Diakonov, Dmitri; Petrov, Victor
2000-01-01
We present the non-Abelian Stokes theorem for the Wilson loop in various forms and discuss its meaning. Its validity has been recently questioned by Faber, Ivanov, Troitskaya and Zach. We demonstrate that all points of their criticism are based on mistakes in mathematics. Finally, we derive a variant of our formula for the Wilson loop in lattice regularization.
A coupling approach to Doob's theorem
Kulik, Alexei; Scheutzow, Michael
2014-01-01
We provide a coupling proof of Doob's theorem which says that the transition probabilities of a regular Markov process which has an invariant probability measure $\\mu$ converge to $\\mu$ in the total variation distance. In addition we show that non-singularity (rather than equivalence) of the transition probabilities suffices to ensure convergence of the transition probabilities for $\\mu$-almost all initial conditions.
Gap theorems for Ricci-harmonic solitons
Tadano, Homare
2015-01-01
In the present paper, by using estimates for the generalized Ricci curvature, we shall give some gap theorems for Ricci-harmonic solitons showing some necessary and sufficient conditions for the solitons to be harmonic-Einstein. Our results may be regarded as a generalization of recent works by H. Li, and M. Fernandez-Lopez and E. Garcia-Rio.
A strictly-positive mass theorem
International Nuclear Information System (INIS)
We show that the ADM 4-momentum of an isolated gravitational system (spatially asymptotically flat spacetime) satisfying the dominant energy condition cannot be null-like unless it is flat. Together with the positive mass theorem, this implies that the ADM 4-momentum of an isolated gravitational system must be strictly time-like. (orig.)
Multiplier theorems for special Hermite expansions on
Institute of Scientific and Technical Information of China (English)
张震球; 郑维行
2000-01-01
The weak type (1,1) estimate for special Hermite expansions on Cn is proved by using the Calderon-Zygmund decomposition. Then the multiplier theorem in Lp(1 < p < ω ) is obtained. The special Hermite expansions in twisted Hardy space are also considered. As an application, the multipli-ers for a certain kind of Laguerre expansions are given in Lp space.
Sandwich reactor lattices and Bloch's theorem
International Nuclear Information System (INIS)
The study of the neutron flux distribution in repetitive sandwiches of reactor material leads to results analogous to the 1-dimensional form of Bloch's theorem for the electronic structure in crystals. This principle makes it possible to perform analytically accurate homogenisations of sandwich lattices The method has been extended to cover multi group diffusion and transport theory. (author)
Non-Archimedean Big Picard Theorems
Cherry, William
2002-01-01
A non-Archimedean analog of the classical Big Picard Theorem, which says that a holomorphic map from the punctured disc to a Riemann surface of hyperbolic type extends accross the puncture, is proven using Berkovich's theory of non-Archimedean analytic spaces.
INTERPOLATION THEOREMS FOR SELF-ADJOINT OPERATORS
Institute of Scientific and Technical Information of China (English)
Shijun Zheng
2009-01-01
We prove a complex and a real interpolation theorems on Besov spaces and Triebel-Lizorkin spaces associated with a selfadjoint operator L, without assuming the gra-dient estimate for its spectral kernel. The result applies to the cases where L is a uniformly elliptic operator or a Schr(o)dinger operator with electro-magnetic potential.
Donsker-Type Theorem for BSDEs
Briand, Philippe; Delyon, Bernard; Mémin, Jean
2001-01-01
This paper is devoted to the proof of Donsker's theorem for backward stochastic differential equations (BSDEs for short). The main objective is to give a simple method to discretize in time a BSDE. Our approach is based upon the notion of ``convergence of filtrations'' and covers the case of a $(y,z)$-dependent generator.
A Fixed Point Theorem for Discontinuous Functions
Herings, Jean-Jacques; Laan, Gerard van der; Talman, Dolf; Yang, Zaifu
2004-01-01
Any function from a non-empty polytope into itself that is locally gross direction preserving is shown to have the fixed point property. Brouwer's fixed point theorem for continuous functions is a special case. We discuss the application of the result in the area of non-cooperative game theory.
Green's Theorem for Generalized Fractional Derivatives
Odzijewicz, Tatiana; Malinowska, Agnieszka B.; Delfim F. M. Torres
2012-01-01
We study three types of generalized partial fractional operators. An extension of Green's theorem, by considering partial fractional derivatives with more general kernels, is proved. New results are obtained, even in the particular case when the generalized operators are reduced to the standard partial fractional derivatives and fractional integrals in the sense of Riemann-Liouville or Caputo.
Generalizations of the Lax-Milgram Theorem
Directory of Open Access Journals (Sweden)
Dimosthenis Drivaliaris
2007-05-01
Full Text Available We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular, we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all bounded linear functionals of the latter. We also give two applications to singular differential equations.
Generalizations of the Lax-Milgram Theorem
Directory of Open Access Journals (Sweden)
Yannakakis Nikos
2007-01-01
Full Text Available We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular, we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all bounded linear functionals of the latter. We also give two applications to singular differential equations.
Deduction Theorems in Weakly Implicative Logics
Czech Academy of Sciences Publication Activity Database
Cintula, Petr
Barcelona: Universitat de Barcelona, 2005. s. 19-20. [Algebraic and Topological Methods in Non-Classical Logics /2./. 15.06.2005-18.06.2005, Barcelona] Institutional research plan: CEZ:AV0Z10300504 Keywords : deduction theorem * substructural logic * BCI logic * weakly implicative logic Subject RIV: BA - General Mathematics
Random fixed point theorems on product spaces
Ismat Beg; Naseer Shahzad
1993-01-01
The existence of random fixed point of a locally contractive random operator in first variable on product spaces is proved. The concept continuous random height-selection is discussed. Some random fixed point theorems for nonexpansive self and nonself maps are also obtained in product spaces.
A non-archimedean Montel's theorem
Favre, Charles; Trucco, Eugenio
2011-01-01
We prove a version of Montel's theorem for analytic functions over a non-archimedean complete valued field. We propose a definition of normal family in this context, and give applications of our results to the dynamics of non-archimedean entire functions.
On Noethers theorem in quantum field theory
International Nuclear Information System (INIS)
Extending an earlier construction of local generators of symmetries in (S. Doplicher, 1982) to space-time and supersymmetries, we establish a weak form of Noethers theorem in quantum field theory. We also comment on the physical significance of the 'split property', underlying our analysis, and discuss some local aspects of superselection rules following from our results. (orig./HSI)
An extension theorem for conformal gauge singularities
Tod, Paul
2007-01-01
We analyse conformal gauge, or isotropic, singularities in cosmological models in general relativity. Using the calculus of tractors, we find conditions in terms of tractor curvature for a local extension of the conformal structure through a cosmological singularity and prove a local extension theorem.
Crum's Theorem for 'Discrete' Quantum Mechanics
Odake, Satoru; Sasaki, Ryu
2009-01-01
In one-dimensional quantum mechanics, or the Sturm-Liouville theory, Crum's theorem. describes the relationship between the original and the associated Hamiltonian systems, which are iso-spectral except for the lowest energy state. Its counterpart in 'discrete' quantum mechanics is formulated algebraically, elucidating the basic structure of the discrete quantum mechanics, whose Schrodinger equation is a difference equation.
Crum's Theorem for `Discrete' Quantum Mechanics
Odake, Satoru; Sasaki, Ryu
2009-01-01
In one-dimensional quantum mechanics, or the Sturm-Liouville theory, Crum's theorem describes the relationship between the original and the associated Hamiltonian systems, which are iso-spectral except for the lowest energy state. Its counterpart in `discrete' quantum mechanics is formulated algebraically, elucidating the basic structure of the discrete quantum mechanics, whose Schr\\"odinger equation is a difference equation.
Lagrange’s Four-Square Theorem
Directory of Open Access Journals (Sweden)
Watase Yasushige
2015-02-01
Full Text Available This article provides a formalized proof of the so-called “the four-square theorem”, namely any natural number can be expressed by a sum of four squares, which was proved by Lagrange in 1770. An informal proof of the theorem can be found in the number theory literature, e.g. in [14], [1] or [23].
JACKSON‘S THEOREM FOR COMPACT GROUPS
Institute of Scientific and Technical Information of China (English)
H.Vaezi; S.F.Rzaev
2002-01-01
In this article we consider the generalized shift operator defined by (Shuf)(g)=∫Gf(tut-1g)dt on compact group G and by help of this operator we define “Spherical” modulus of continuity.So we prove Stechkin and Jackson type theorems.
Extended Kelvin theorem in relativistic magnetohydrodynamics
Bekenstein, Jacob D.; Oron, Asaf
2000-01-01
We prove the existence of a generalization of Kelvin's circulation theorem in general relativity which is applicable to perfect isentropic magnetohydrodynamic flow. The argument is based on a new version of the Lagrangian for perfect magnetohydrodynamics. We illustrate the new conserved circulation with the example of a relativistic magnetohydrodynamic flow possessing three symmetries.
The virial theorem and planetary atmospheres
Toth, Viktor T.
2010-01-01
We derive a version of the virial theorem that is applicable to diatomic planetary atmospheres that are in approximate thermal equilibrium at moderate temperatures and pressures and are sufficiently thin such that the gravitational acceleration can be considered constant. We contrast a pedagogically inclined theoretical presentation with the actual measured properties of air.