Related papers: A proof of the elliptical range theorem via Kippen…

The germ of an algebraic variety is naturally equipped with two different metrics up to bilipschitz equivalence. The inner metric and the outer metric. One calls a germ of a variety Lipschitz normally embedded if the two metrics are…

Bilipschitz invariant theory concerns low-distortion embeddings of orbit spaces into Euclidean space. To date, embeddings with the smallest-possible distortion are known for only a few cases, to include: (a) planar rotations, (b) real phase…

Ehrhart theory is the study of the enumeration of lattice points in lattice polytopes. Equivariant Ehrhart theory is a generalization of Ehrhart theory that takes into account the action of a finite group acting via affine transformations…

Let $L$ be a degree $2$ Galois extension of the field $K$ and $M$ an $n\times n$ matrix with coefficients in $L$. Let $\langle \ ,\ \rangle : L^n\times L^n\to L$ be the sesquilinear form associated to the involution $\sigma: L\to L$ fixing…

Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…

For any quadratic extension $L/K$ of number fields, we prove that there are infinitely many elliptic curves $E$ over $K$ so that the abelian groups $E(K)$ and $E(L)$ both have rank $1$. In particular, there are infinitely many elliptic…

A compact subset $K$ of the complex plane $\C$ is a set of polynomial (respectively rational) approximation if $P(K)=A(K)$ (respectively $R(K)=A(K)$), where $P(K)$ (respectively $R(K)$) is the family of functions on $K$ which are uniform…

We estimate the linear isoperimetric constants of an n-dimensional ellipse. Using these estimates and a technique of Gromov, we estimate the Hopf and linking invariants of Lipschitz maps from ellipses to round spheres. Using these…

The Birkhoff's theorem states that any doubly stochastic matrix lies inside a convex polytope with the permutation matrices at the corners. It can be proven that a similar theorem holds for unitary matrices with equal line sums for prime…

The process of alternately row scaling and column scaling a positive $n \times n$ matrix $A$ converges to a doubly stochastic positive $n \times n$ matrix $S(A)$, called the \emph{Sinkhorn limit} of $A$. Exact formulae for the Sinkhorn…

We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $\Delta$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its…

We discuss generalizations of some results on lattice polygons to certain piecewise linear loops which may have a self-intersection but have vertices in the lattice $\mathbb{Z}^2$. We first prove a formula on the rotation number of a…

We prove that the Schweitzer complex is elliptic and its cohomologies define cohomological functors. As applications, we obtain finite dimensionality, a version of Serre duality, restrictions of the behaviour of cohomology in small…

The two-dimensional Helmholtz equation separates in elliptic coordinates based on two distinct foci, a limit case of which includes polar coordinate systems when the two foci coalesce. This equation is invariant under the Euclidean group of…

We find a system of two polynomial equations in two unknowns, whose solution allows to give an explicit expression of the conformal representation of a simply connected three sheeted compact Riemann surface onto the extended complex plane.…

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…

Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…

Lambert's theorem (1761) on the elapsed time along a Keplerian arc drew the attention of several prestigious mathematicians. In particular, they tried to give simple and transparent proofs of it (see our timeline \S 9). We give two new…

We design a probabilistic algorithm for computing endomorphism rings of ordinary elliptic curves defined over finite fields that we prove has a subexponential runtime in the size of the base field, assuming solely the generalized Riemann…

Using the concept of a twisted trace density on a cyclic groupoid, a trace is constructed on a formal deformation quantization of a symplectic orbifold. An algebraic index theorem for orbifolds follows as a consequence of a local…