Related papers: C\'ordoba's differentation theorem: revisited

The problem of finding a (continuous) utility function for a semiorder has been studied since in 1956 R.D. Luce introduced in \emph{Econometrica} the notion. There was almost no results on the continuity of the representation. A similar…

We prove without appeal to the Axiom of Choice that for any sets A and B, if there is a one-to-one correspondence between 3 cross A and 3 cross B then there is a one-to-one correspondence between A and B. The first such proof, due to…

We prove a generalization of classical Montel's theorem for the mixed differences case, for polynomials and exponential polynomial functions, in commutative setting.

In this paper we prove a version of Lie-B\"acklund theorem for overdetermined systems of scalar PDEs, whose general solution depends on 1 function of 1 variable. This generalizes the case of involutive system of the second order on the…

We give a simple proof of a meaningful result established by Y. Friedman and B. Russo in 1985, whose proof was originally based on strong holomorphic results. We provide a simple proof which is directly deduced from the axioms of…

We prove the arithmetic fundamental lemma conjecture over a general $p$-adic field with odd residue cardinality $q\geq \dim V$. Our strategy is similar to the one used by the second author during his proof of the AFL over $\mathbb{Q}_p$…

In this short note, we point out a mistake in G.Cybenko's proof of his version of the universal approximation theorem which has been widely cited. This mistake might not be easily fixable along the idea of his proof and it also leads to an…

We prove the intersection of Igusa's Conjecture of [Igusa, J., "Lectures on forms of higher degree", Lect. math. phys., Springer-Verlag, 59 (1978)] and the Denef - Sperber Conjecture of [Denef, J. and Sperber, S., "Exponential sums mod p^n…

Transcendence criteria inspired by Kolberg's paper dated 1962. In his paper dated 1962, Kolberg states and proves a theorem on the transcendence of the values of the sums of a class of certain power series in x, for algebraic values of x.…

In a 1916 paper, Ramanujan studied the additive convolution $S_{a, b}(n)$ of sum-of-divisors functions $\sigma_a(n)$ and $\sigma_b(n)$, and proved an asymptotic formula for it when $a$ and $b$ are positive odd integers. He also conjectured…

In dimension $n>3$ we show the existence of a compactly supported potential in the differentiability class $C^\alpha$, $\alpha < \frac{n-3}2$, for which the solutions to the linear Schr\"odinger equation in $\R^n$, $$ -i\partial_t u = -…

We use the large deviation approach to sum rules pioneered by Gamboa, Nagel and Rouault to prove higher order sum rules for orthogonal polynomials on the unit circle. In particular, we prove one half of a conjectured sum rule of Lukic in…

We give an overview of some of the main results in geometric representation theory that have been proved by means of the Steinberg variety. Steinberg's insight was to use such a variety of triples in order to prove a conjectured formula by…

We give a new proof of a conjecture of Schinzel on the intersection of a subvariety of codimension at least 2 in a power of the multiplicative group with a torus of dimension 1. The proof rests on a geometric B\'ezout's theorem of P.…

We reinterpret a conjecture of Breuil on the locally analytic $\mathrm{Ext}^1$ in a functorial way using $(\varphi,\Gamma)$-modules (possibly with $t$-torsion) over the Robba ring, making it more accurate. Then we prove several special or…

Goodman's theorem (1976) states that intuitionistic finite-type arithmetic plus the axiom of choice plus the axiom of relativized dependent choice is conservative over Heyting arithmetic. The same result applies to the extensional variant.…

In this paper we prove Shapiro's 1958 Conjecture on exponential polynomials, assuming Schanuel's Conjecture.

In 1957, Hadwiger made the famous conjecture that any convex body of $n$-dimensional Euclidean space $\mathbb{E}^n$ can be covered by $2^n$ smaller positive homothetic copies. Up to now, this conjecture is still open for all $n\geq 3$.…

We give a new demonstration of Loewner's characterization of polynomials, solving in the positive a conjecture proposed by Laird and McCann in 1984.

Zaremba's conjecture (1971) states that every positive integer number $d$ can be represented as a denominator (continuant) of a finite continued fraction $\frac{b}{d}=[d_1,d_2,...,d_{k}],$ with all partial quotients $d_1,d_2,...,d_{k}$…