Related papers: Note on the Additive Basis Conjecture

A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive…

In this paper we show examples for applications of the Bombieri-Lang conjecture in additive combinatorics, giving bounds on the cardinality of sumsets of squares and higher powers of integers. Using similar methods we give bounds on the…

Let $X$ be a $n$-dimensional smooth projective variety and $L$ be an ample Cartier divisor on $X$. We conjecture that a very general element of the linear system $|K_X+(3n+1)L|$ is a hyperbolic algebraic variety. This conjecture holds for…

This paper is devoted to the extension to the full $3\times3$ Euler system of the basic analytical properties of the equations governing a fluid flowing in a duct with varying section. First, we consider the Cauchy problem for a pipeline…

We prove a conjecture of Dukes and Herke concerning the possible orders of a basis for the cyclic group Z_n, namely : For each k \in N there exists a constant c_k > 0 such that, for all n \in N, if A \subseteq Z_n is a basis of order…

In analogy to the topological entropy for continuous endomorphisms of totally disconnected locally compact groups, we introduce a notion of topological entropy for continuous endomorphisms of locally linearly compact vector spaces. We study…

Problem 4.19 in Ziegler's "Lectures on Polytopes" asserts that every simple $3$-dimensional polytope has the property that its dual can be constructed as the convex hull of a subset of the vertices of the original simple polytope. In this…

We prove that the number of legendrian rational cubics in $\mathbb C P^3$ through three generic points and a line is three; also we classify all legendrian curves on a quadric surface. Several computations are additionally verified using…

Gronwall conjecture states that a planar 3-web which admits more than one distinct linearization is locally equivalent to an algebraic web. We give a partial answer to the conjecture in the affirmative for the class of planar 3-webs with…

We give a cycle-theoretic proof of the Gross-Zagier conjecture in weight four for several modular curves of genus zero.

Let A and B be subsets of Z/pZ such that |A+B| < |A|+|B|+2. We prove that, if |A|>3, |B|>4, |A+B|<p-4 and p > 52, then A and B are included in arithmetic progressions with the same difference and of size |A|+2 and |B|+2 respectively. This…

In this article, we prove the remaining open cases of the Fontaine-Mazur conjecture on two-dimensional regular Galois representations over $\Gal(\overline{\Q}/\Q)$ when $p=3$, hence concluding the conjecture in the regular case for all odd…

In the presence of large extra dimensions, the fundamental Planck scale can be much lower than the apparent four-dimensional Planck scale. In this setup, the weak gravity conjecture implies a much more stringent constraint on the UV cutoff…

We present a new proof of Zippin's Embedding Theorem, that every separable reflexive Banach space embeds into one with shrinking and boundedly complete basis, and every Banach space with a separable dual embeds into one with a shrinking…

Let $G$ be a bridgeless graph, $C$ is a circuit of $G$. Fan proposed a conjecture that if $G/C$ admits a nowhere-zero 4-flow, then $G$ admits a 4-flow $(D,f)$ such that $E(G)-E(C)\subseteq$ supp$(f)$ and $|\textrm{supp}(f)\cap…

We study the change of the minimal degree of a logarithmic derivation of a hyperplane arrangement under the addition or the deletion of a hyperplane, and give a number of applications. First, we prove the existence of Tjurina maximal line…

In this paper we study the linear series $|L-3p|$ of hyperplane sections with a triple point $p$ on a surface $S$ embedded via a very ample line bundle $L$ for a \emph{general} point $p$. If this linear series does not have the expected…

We prove that polynomial valuations on vector lattices correspond to orthosymmetric multilinear maps. As a consequence we obtain a concise proof of the equivalence of orthosymmetry and orthogonal additivity.

Starting from an Enriques surface over $\mathbb{Q}(t)$ considered by Lafon, we give the first examples of smooth projective weakly special threefolds which fibre over the projective line in Enriques surfaces (resp. K3 surfaces) with nowhere…

The simple loop conjecture for 3-manifolds states that every 2-sided immersion of a closed surface into a 3-manifold is either injective on fundamental groups or admits a compression. This can be viewed as a generalization of the Loop…