English
Related papers

Related papers: Sufficient conditions for Strassen's additivity co…

200 papers

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

Logic in Computer Science · Computer Science 2023-09-08 Richard Statman , Gilles Dowek

Strassen's asymptotic rank conjecture [Progr. Math. 120 (1994)] claims a strong submultiplicative upper bound on the rank of a three-tensor obtained as an iterated Kronecker product of a constant-size base tensor. The conjecture, if true,…

Data Structures and Algorithms · Computer Science 2023-10-19 Andreas Björklund , Petteri Kaski

The Barth-Van de Ven-Tyurin-Sato Theorem claims that any finite rank vector bundle on the infinite complex projective space $\mathbf{P}^\infty$ is isomorphic to a direct sum of line bundles. We establish sufficient conditions on a locally…

Algebraic Geometry · Mathematics 2015-09-02 Ivan Penkov , Alexander S. Tikhomirov

We discuss the Waring rank of binary forms of degree 4 and 5, without multiple factors, and point out unexpected relations to the harmonic cross-ratio, j-invariants and the golden ratio. These computations of ranks for binary forms are used…

Algebraic Geometry · Mathematics 2020-02-25 Alexandru Dimca , Gabriel Sticlaru

We prove that the Strong Maximal Rank Conjecture holds for quadrics in $\mathbb{P}^3$ and we prove the existence of a component of the expected dimension in $\mathbb{P}^4$, as well as in a wide range of parameters $(g,d)$ in $\mathbb{P}^r$…

Algebraic Geometry · Mathematics 2026-05-26 Vlad Robu

The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…

Rings and Algebras · Mathematics 2012-12-24 Wolfram Bentz , Luis Sequeira

In this short note, we find an equivalent combinatorial condition only involving finite sums under which a centered Gaussian random vector with multinomial covariance matrix satisfies the Gaussian product inequality (GPI) conjecture. These…

Probability · Mathematics 2023-08-24 Frédéric Ouimet

We use tools of additive combinatorics for the study of subvarieties defined by {\it high rank} families of polynomials in high dimensional $\mathbb{F} _q$-vector spaces. In the first, analytic part of the paper we prove a number properties…

Algebraic Geometry · Mathematics 2020-07-20 David Kazhdan , Tamar Ziegler

We give a new equivalent condition for the Riemann hypothesis consisting in an order condition for certain finite rational combinations of the values of the Riemann zeta-function at even positive integers.

Number Theory · Mathematics 2007-05-23 Luis Baez-Duarte

In this paper, we study a density version of Waring's problem. We prove that a positive density subset of $k$th-powers forms an asymptotic additive basis of order $O(k^2)$ provided that the relative lower density of the set is greater than…

Number Theory · Mathematics 2022-03-08 Juho Salmensuu

We give a new description of the set $Adm(\mu)$ of admissible alcoves as an intersection of certain "obtuse cones" of alcoves, and we show this description may be given by imposing conditions vertexwise. We use this to prove the vertexwise…

Representation Theory · Mathematics 2017-06-09 Thomas J. Haines , Xuhua He

We prove a set-theoretic version of the Landsberg--Weyman Conjecture on the defining equations of the tangential variety of a Segre product of projective spaces. We introduce and study the concept of exclusive rank. For the proof of this…

Algebraic Geometry · Mathematics 2025-10-16 Luke Oeding

We derive sufficient conditions for theories consisting of multiple vector fields, which could also couple to external fields, to be multi-field generalised Proca theories. The conditions are derived by demanding that the theories have the…

High Energy Physics - Theory · Physics 2024-01-09 Sujiphat Janaun , Pichet Vanichchapongjaroen

We define a general notion of "summability" of a set $I\subseteq\mathbb{C^{N}}$ and show that some trivial condition necessary for a set to be summable, is also sufficient. We deduce some intresting corollaries.

Functional Analysis · Mathematics 2017-12-22 Yotam Fine

In this paper we characterize sums of CR functions from competing CR structures in two scenarios. In one scenario the structures are conjugate and we are adding to the theory of pluriharmonic boundary values. In the second scenario the…

Complex Variables · Mathematics 2018-10-05 David E. Barrett , Dusty E. Grundmeier

Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. In this work, we propose a conjecture in which the k-rank condition of…

Combinatorics · Mathematics 2020-08-21 Benjamin Lovitz

Given a finite collection of probability measures defined on subsets of a measurable space, how can we determine if they are compatible, in the sense that they can be realized as conditional distributions of a single probability measure on…

Probability · Mathematics 2025-12-11 Owen D. Biesel , Colin McSwiggen , Ted Theodosopoulos , Michael G. Titelbaum

The paper presents several new sufficient conditions, as well as new equivalent criteria for the classical Riemann Hypothesis. Noteworthy are also other statements and remarks about $\zeta$ to be found throughout the paper.

Number Theory · Mathematics 2011-08-31 Davide Schipani

We consider weighted sums of independent random variables regulated by an increment sequence. We provide operative conditions that ensure strong law of large numbers for such sums to hold in both the centered and non-centered case. The…

Probability · Mathematics 2021-03-11 Luca Avena , Conrado da Costa

When proving theorems from large sets of logical assertions, it can be helpful to restrict the search for a proof to those assertions that are relevant, that is, closely related to the theorem in some sense. For example, in the Watson…

Logic in Computer Science · Computer Science 2019-05-23 David A. Plaisted