English
Related papers

Related papers: Explicit Lower Bounds via Geometric Complexity The…

200 papers

We determine the border ranks of tensors that could potentially advance the known upper bound for the exponent $\omega$ of matrix multiplication. The Kronecker square of the small $q=2$ Coppersmith-Winograd tensor equals the $3\times 3$…

Algebraic Geometry · Mathematics 2020-09-25 Austin Conner , Hang Huang , J. M. Landsberg

Let $M^n$ be an $n$-dimensional Riemannian manifold with boundary $\partial M$. Assume that Ricci curvature is bounded from below by $(n-1)k$, for $k\in \RR$, we give a sharp estimate of the upper bound of $\rho(x)=\dis(x, \partial M)$, in…

Differential Geometry · Mathematics 2014-11-11 Jian Ge

Using techniques developed in [Lasserre02], we show that some minimum cardinality problems subject to linear inequalities can be represented as finite sequences of semidefinite programs. In particular, we provide a semidefinite…

Optimization and Control · Mathematics 2007-05-23 Alexandre d'Aspremont

We show that a large fraction of the data-structure lower bounds known today in fact follow by reduction from the communication complexity of lopsided (asymmetric) set disjointness. This includes lower bounds for: * high-dimensional…

Data Structures and Algorithms · Computer Science 2010-10-20 Mihai Patrascu

We will discuss some sharp estimates for CMC graphs in a Riemannian 3-manifold MxR whose boundary is contained in a slice. We will start by giving sharp lower bounds for the geodesic curvature of the boundary and improve these bounds when…

Differential Geometry · Mathematics 2014-11-25 José M. Manzano

We study a new geometric graph parameter $\egd(G)$, defined as the smallest integer $r\ge 1$ for which any partial symmetric matrix which is completable to a correlation matrix and whose entries are specified at the positions of the edges…

Combinatorics · Mathematics 2014-01-10 Marianna Eisenberg-Nagy , Monique Laurent , Antonios Varvitsiotis

We introduce a notion of curvature on finite, combinatorial graphs. It can be easily computed by solving a linear system of equations. We show that graphs with curvature bounded below by $K>0$ have diameter bounded by $\mbox{diam}(G) \leq…

Combinatorics · Mathematics 2022-09-07 Stefan Steinerberger

The Minimum Spanning Tree with Conflicting Edge Pairs is a generalization that adds conflict constraints to a classical optimization problem on graphs used to model several real-world applications. In the last few years several approaches,…

Optimization and Control · Mathematics 2025-04-22 Roberto Montemanni , Derek H. Smith

One of the most important algorithmic meta-theorems is a famous result by Courcelle, which states that any graph problem definable in monadic second-order logic with edge-set quantifications (i.e., MSO2 model-checking) is decidable in…

Logic in Computer Science · Computer Science 2012-06-25 Robert Ganian , Petr Hliněný , Alexander Langer , Jan Obdržálek , Peter Rossmanith , Somnath Sikdar

We consider the problem of computing the second elementary symmetric polynomial S^2_n(X) using depth-three arithmetic circuits of the form "sum of products of linear forms". We consider this problem over several fields and determine EXACTLY…

Discrete Mathematics · Computer Science 2007-05-23 Jaikumar Radhakrishnan , Pranab Sen , Sundar Vishwanathan

Determining the maximal density $m_1(\mathbb{R}^2)$ of planar sets without unit distances is a fundamental problem in combinatorial geometry. This paper investigates lower bounds for this quantity. We introduce a novel approach to…

Metric Geometry · Mathematics 2025-04-14 Alexander Tolmachev

We present three families of minimal border rank tensors: they come from highest weight vectors, smoothable algebras, or monomial algebras. We analyse them using Strassen's laser method and obtain an upper bound $2.431$ on $\omega$. We also…

Algebraic Geometry · Mathematics 2022-04-13 Roser Homs , Joachim Jelisiejew , Mateusz Michałek , Tim Seynnaeve

The log-rank conjecture in communication complexity suggests that the deterministic communication complexity of any Boolean rank-r function is bounded by polylog(r). Recently, major progress was made by Lovett who proved that the…

Computational Complexity · Computer Science 2014-09-24 Thomas Rothvoss

Let G be a graph of order n. Let lpt(G) be the minimum cardinality of a set X of vertices of G such that X intersects every longest path of G and define lct(G) analogously for cycles instead of paths. We prove that lpt(G) \leq…

Combinatorics · Mathematics 2013-02-25 Dieter Rautenbach , Jean-Sébastien Sereni

Considering the Teichm\"uller space of a surface equipped with Thurston's Lipschitz metric, we study geodesic segments whose endpoints have bounded combinatorics. We show that these geodesics are cobounded, and that the closest-point…

Geometric Topology · Mathematics 2011-09-15 Anna Lenzhen , Kasra Rafi , Jing Tao

The determinant lower bound of Lovasz, Spencer, and Vesztergombi [European Journal of Combinatorics, 1986] is a powerful general way to prove lower bounds on the hereditary discrepancy of a set system. In their paper, Lovasz, Spencer, and…

Combinatorics · Mathematics 2024-01-18 Lily Li , Aleksandar Nikolov

We prove that if $(M,g)$ is a topological 3-ball with a $C^4$-smooth Riemannian metric $g$, and mean-convex boundary $\partial M$ then knowledge of least areas circumscribed by simple closed curves $\gamma \subset \partial M$ uniquely…

Differential Geometry · Mathematics 2021-03-26 Spyros Alexakis , Tracey Balehowsky , Adrian Nachman

In this paper we present three different results dealing with the number of $(\leq k)$-facets of a set of points: 1. We give structural properties of sets in the plane that achieve the optimal lower bound $3\binom{k+2}{2}$ of $(\leq…

Combinatorics · Mathematics 2020-07-21 Oswin Aichholzer , Jesús García , David Orden , Pedro Ramos

We consider globally hyperbolic maximal anti de Sitter 3-manifolds $M$ with a closed Cauchy surface $S$ of genus greater than one and prove that any pair of hyperbolic metrics on $S$ can be realized as the boundary metrics of the convex…

Differential Geometry · Mathematics 2013-04-01 Boubacar Diallo

The standard proof of NP-Hardness of 3DM provides a power-$4$ reduction of 3SAT to 3DM. In this note, we provide a linear-time reduction. Under the exponential time hypothesis, this reduction improves the runtime lower bound from…

Computational Complexity · Computer Science 2020-03-03 Shrinu Kushagra