English
Related papers

Related papers: Polytopes with Bounded Integral Slack Matrices Hav…

200 papers

In this paper, we focus on the quantum communication complexity of functions of the form $f \circ G = f(G(X_1, Y_1), \ldots, G(X_n, Y_n))$ where $f: \{0, 1\}^n \to \{0, 1\}$ is a symmetric function, $G: \{0, 1\}^j \times \{0, 1\}^k \to \{0,…

Quantum Physics · Physics 2023-01-10 Daiki Suruga

For integers $k,n \geq 0$ and a cost vector $c \in Z^n$, we study two fundamental integer linear programming (ILP) problems: \[ \text{(Standard Form)} \quad \max\bigl\{c^\top x \colon Ax = b,\ x \in Z^n_{\geq 0}\bigr\} \text{ with } A \in…

Computational Complexity · Computer Science 2025-06-17 M. Cherniavskii , D. Gribanov , D. Malyshev , P. M. Pardalos

We study several variants of decomposing a symmetric matrix into a sum of a low-rank positive semidefinite matrix and a diagonal matrix. Such decompositions have applications in factor analysis and they have been studied for many decades.…

Optimization and Control · Mathematics 2023-10-02 Levent Tunçel , Stephen A. Vavasis , Jingye Xu

Let $L^{m,p}(\R^n)$ denote the Sobolev space of functions whose $m$-th derivatives lie in $L^p(\R^n)$, and assume that $p>n$. For $E \subset \R^n$, denote by $L^{m,p}(E)$ the space of restrictions to $E$ of functions $F \in L^{m,p}(\R^n)$.…

Classical Analysis and ODEs · Mathematics 2012-11-14 Charles L. Fefferman , Arie Israel , Garving K. Luli

The extension complexity of a polytope $P$ is the smallest integer $k$ such that $P$ is the projection of a polytope $Q$ with $k$ facets. We study the extension complexity of $n$-gons in the plane. First, we give a new proof that the…

Discrete Mathematics · Computer Science 2012-11-26 Samuel Fiorini , Thomas Rothvoß , Hans Raj Tiwary

We describe a technique to obtain linear descriptions for polytopes from extended formulations. The simple idea is to first define a suitable lifting function and then to find linear constraints that are valid for the polytope and guarantee…

Combinatorics · Mathematics 2011-09-06 Volker Kaibel , Andreas Loos

In this paper we extend recent results of Fiorini et al. on the extension complexity of the cut polytope and related polyhedra. We first describe a lifting argument to show exponential extension complexity for a number of NP-complete…

Combinatorics · Mathematics 2013-04-30 David Avis , Hans Raj Tiwary

Let $\K$ be an algebraic number field of degree $d$ and discriminant $\Delta$ over $\Q$. Let $\A$ be an associative algebra over $\K$ given by structure constants such that $\A\cong M_n(\K)$ holds for some positive integer $n$. Suppose that…

Rings and Algebras · Mathematics 2014-07-11 Gábor Ivanyos , Ádám D. Lelkes , Lajos Rónyai

We consider previously derived upper and lower bounds on the number of operators in a window of scaling dimensions $[\Delta - \delta,\Delta + \delta]$ at asymptotically large $\Delta$ in 2d unitary modular invariant CFTs. These bounds…

High Energy Physics - Theory · Physics 2020-06-17 Baur Mukhametzhanov , Sridip Pal

Consensus is one of the most thoroughly studied problems in distributed computing, yet there are still complexity gaps that have not been bridged for decades. In particular, in the classical message-passing setting with processes' crashes,…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-25 MohammadTaghi HajiAghayi , Dariusz R. Kowalski , Jan Olkowski

We show that every GL(2, R) orbit closure of translation surfaces is either a connected component of a stratum, the hyperelliptic locus, or consists entirely of surfaces whose Jacobians have extra endomorphisms. We use this result to give…

Dynamical Systems · Mathematics 2018-02-21 Maryam Mirzakhani , Alex Wright

We study the matrix factorization problem associated with an SO(2) spinning top by using the algebro-geometric approach. We derive the explicit expressions in terms of Riemann theta functions and discus some related problems including a…

Mathematical Physics · Physics 2007-05-23 Aleksandar Mikovic

We prove new lower bounds for bounded error quantum communication complexity. Our methods are based on the Fourier transform of the considered functions. First we generalize a method for proving classical communication complexity lower…

Quantum Physics · Physics 2007-05-23 Hartmut Klauck

The border rank of the matrix multiplication operator for n by n matrices is a standard measure of its complexity. Using techniques from algebraic geometry and representation theory, we show the border rank is at least 2n^2-n. Our bounds…

Computational Complexity · Computer Science 2013-06-04 J. M. Landsberg , Giorgio Ottaviani

Exact tight bounds of the complexity of the satisfiability problem for dense modal logics is a difficult question, likely somewhere between $\PSPACE$ and $\EXPSPACE$ depending of the logic under question. For a class of them, called here…

Logic in Computer Science · Computer Science 2026-04-21 Olivier Gasquet

In this paper, we prove a strong XOR lemma for bounded-round two-player randomized communication. For a function $f:\mathcal{X}\times \mathcal{Y}\rightarrow\{0,1\}$, the $n$-fold XOR function $f^{\oplus n}:\mathcal{X}^n\times…

Computational Complexity · Computer Science 2022-08-25 Huacheng Yu

We investigate when the exponential sum $S_f(x,\alpha) := \sum_{n\le x}f(n)\mathrm{e}(n\alpha)$ is bounded, for a multiplicative function $f$ and $\alpha\in\mathbb{R}$. We show that under natural assumptions, $S_f(x,\alpha)$ is bounded only…

Number Theory · Mathematics 2026-02-24 Pierre-Alexandre Bazin , Ihor Pylaiev , Fred Tyrrell

We provide a characterization of the compressed lattice polytopes in terms of their facet defining inequalities and we show that every compressed lattice polytope is affinely isomorphic to a 0/1-polytope. As an application, we characterize…

Combinatorics · Mathematics 2007-06-13 Seth Sullivant

It is proposed the algorithm that find a basis of the ideal and a basis of the space of all root functionals by using the extension operation for bounded root functionals, when the number of polynomials is equal to the number of variables,…

Algebraic Geometry · Mathematics 2008-06-01 Timur R. Seifullin

$\newcommand{\F}{\mathbb{F}}$We study the Boolean function parameters sensitivity ($s$), block sensitivity ($bs$), and alternation ($alt$) under specially designed affine transforms. For a function $f:\F_2^n\to \{0,1\}$, and $A=Mx+b$ for $M…

Computational Complexity · Computer Science 2020-09-15 Krishnamoorthy Dinesh , Jayalal Sarma