Related papers: An alternative proof for the constructive Asymmetr…

We formulate and prove a synthetic Lorentzian Cartan-Hadamard theorem. This result both transfers the corresponding statement for locally convex metric spaces established by S. Alexander and R. Bishop to the Lorentzian setting, and…

We give a proof of the Lieb-Thirring inequality on the kinetic energy of orthonormal functions by using a microlocal technique, in which the uncertainty and exclusion principles are combined through the use of the Besicovitch covering…

We prove a quantitative averaging lemma for spatially dependent vector fields. Our proof is based on an iteration of the regularizing operator and some elementary considerations about the local inversion theorem.

In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically,…

An alternative proof of Lie's approach for linearization of scalar second order ODEs is derived using the relationship between $\lambda$-symmetries and first integrals. This relation further leads to a new $\lambda$-symmetry linearization…

We establish Gromov's celebrated reconstruction theorem in Lorentzian geometry. Alongside this result, we introduce and study a natural concept of isomorphy of normalized bounded Lorentzian metric measure spaces. We outline applications to…

A derivation of the Bohm model, and some general comments about it, are given. A modification of the model which is formally local and Lorentz-invariant is introduced, and its properties studied for a simple experiment.

This is the second of a series of papers dealing with an analog in Arakelov geometry of the holomorphic Lefschetz fixed point formula. We use the main result of the first paper to prove a residue formula "`a la Bott" for arithmetic…

In this paper we extend the ideas presented in Onofrei and Vernescu [\textit{Asymptotic Analysis, 54, 2007, 103-123}] and introduce suitable second order boundary layer correctors, to study the $H^1$-norm error estimate for the classical…

We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The procedure has two steps. First we compute an accurate high order…

The Lagrange inversion formula for power series is one of the classical formulas from analysis and combinatorics. A nice geometric interpretation of this formula in terms of the Stasheff polytopes was discovered by Loday. We show that it…

We prove the analog of the Morel-Voevodsky localization theorem for framed motivic spaces. We deduce that framed motivic spectra are equivalent to motivic spectra over arbitrary schemes, and we give a new construction of the motivic…

We study a class of fourth-order geometric problems modelling Willmore surfaces, conformally constrained Willmore surfaces, isoperimetrically constrained Willmore surfaces, bi-harmonic surfaces in the sense of Chen, among others. We prove…

The long-standing Erd\H{o}s-Faber-Lov\'asz conjecture states that every $n$-uniform linear hypergaph with $n$ edges has a proper vertex-coloring using $n$ colors. In this paper we propose an algebraic framework to the problem and formulate…

We study the harmonic locus consisting of the monodromy-free Schr\"odinger operators with rational potential and quadratic growth at infinity. It is known after Oblomkov that it can be identified with the set of all partitions via the…

Complex bases, along with direct-sums defined by rings of imaginary quadratic integers, induce algebraic lattices. In this work, we study such lattices and their reduction algorithms. Firstly, when the lattice is spanned over a two…

Quantum field theory has successfully generated a number of general conclusions. It seems meaningful to disclose the logical forms of these conclusions. The present paper reports two results. The first result shows the logic of local gauge…

A well-known combinatorial algorithm can decide generic rigidity in the plane by determining if the graph is of Pollaczek-Geiringer-Laman type. Methods from matroid theory have been used to prove other interesting results, again under the…

In this paper, we establish the theory of local newforms for irreducible tempered generic representations of unramified odd unitary groups over a non-archimedean local field. For the proof, we prove an analogue of the fundamental lemma for…

Quadratic form reduction and lattice reduction are fundamental tools in computational number theory and in computer science, especially in cryptography. The celebrated Lenstra-Lenstra-Lov\'asz reduction algorithm (so-called LLL) has been…