Related papers: A Wild Steiner-Lehmus Chase
A common external forcing can cause a saddle-node bifurcation in an ensemble of identical Duffing oscillators by breaking the symmetry of the individual bistable (double-well) unit. The strength of the forcing determines the separation…
Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which…
A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.
We have defined slowness (or reciprocal velocity) corresponding to v as cc/v, where c is the speed of light and v is the corresponding velocity. Velocity and slowness are images of each other. Reciprocal symmetric law of addition of…
When a small, uncharged, compact object is immersed in an external background spacetime, at zeroth order in its mass it moves as a test particle in the background. At linear order, its own gravitational field alters the geometry around it,…
We prove strong theorems for the local time at infinity of a nearest neighbor transient random walk. First, laws of the iterated logarithm are given for the large values of the local time. Then we investigate the length of intervals over…
Reversible systems exhibit both forward computations and backward computations, where the aim of the latter is to undo the effects of the former. Such systems can be compared via forward-reverse bisimilarity as well as its two components,…
We propose tests for the null hypothesis that the law of a complex-valued random vector is circularly symmetric. The test criteria are formulated as $L^2$-type criteria based on empirical characteristic functions, and they are convenient…
This paper proposes a dynamic research contest, namely chasing contest, in which two asymmetric contestants exert costly effort to accomplish two breakthroughs. The contestants are asymmetric in that one of them is present-biased and has…
While macroscopic models for single or multi-lane traffic flow are well established, these models are not applicable to the dynamics and characteristics of disordered traffic which is characterized by widely different types of vehicles and…
We give a proof of the hard Lefschetz theorem for orbifolds that does not involve intersection homology. This answers a question of Fulton. We use a foliated version of the hard Lefschetz theorem due to El Kacimi.
This note considers a finite dimensional statistical model for the Calder\'on problem with piecewise constant conductivities. In this setting it is shown that injectivity of the forward map and its linearisation suffice to prove the…
There are two useful ways to extend nonlinear partial differential inequalities of second order: one uses viscosity theory and the other uses the theory of distributions. This paper considers the convex situation where both extensions can…
An application of Levy's continuity theorem and Hankel transform allow us to establish a law limit theorem for the sequence $V_n=f(U)\sin(n U)$, where $U$ is uniformly distributed in $(0,1)$ and $f$ a given function. Further, we investigate…
We provide a proof of Wilson's Theorem and Wolstenholme's Theorem based on a direct approach by Lagrange requiring only basic properties of the primes and the Binomial theorem. The goal is to show how similar the two theorems are by…
We prove new, general versions of Bernstein-von Mises theorem for both well-specified and misspecified models when the log-likelihood is concave in the parameter and the prior distribution is log-concave. Unlike classical versions of…
Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence…
The goal of this article is to prove the comparison theorem between algebraic and topological nearby cycles of a morphism without slopes. We prove in particular that for a family of holomorphic functions without slopes, if we iterate…
In this work we study the presence of kinks in models described by a single real scalar field in bidimensional spacetime. We work within the first-order framework, and we show how to write first-order differential equations that solve the…
We present a proof of Moessner's theorem by double induction, using only basic rules of arithmetic. No prerequisite knowledge is assumed. Familiarity with summation is advised.