English
Related papers

Related papers: Extension Complexity of Independent Set Polytopes

200 papers

We prove that the number of vertices of a polytope of a particular kind is exponentially large in the dimension of the polytope. As a corollary, we prove that an n-dimensional centrally symmetric polytope with O(n) facets has 2^{Omega(n)}…

Combinatorics · Mathematics 2012-04-24 Alexander Barvinok

Let $G=(V,E)$ be a graph and $n$ a positive integer. Let $I_n(G)$ be the abstract simplicial complex whose simplices are the subsets of $V$ that do not contain an independent set of size $n$ in $G$. We study the collapsibility numbers of…

Combinatorics · Mathematics 2024-10-15 Minki Kim , Alan Lew

We consider polynomials $p_n^{\omega}(x)$ that are orthogonal with respect to the oscillatory weight $w(x)=e^{i\omega x}$ on $[-1,1]$, where $\omega>0$ is a real parameter. A first analysis of $p_n^{\omega}(x)$ for large values of $\omega$…

Classical Analysis and ODEs · Mathematics 2014-07-09 Alfredo Deaño

Given a convex n-gon P in the Euclidean plane, it is well known that the simplicial complex \theta(P) with vertex set given by diagonals in P and facets given by triangulations of P is the boundary complex of a polytope of dimension n-3. We…

Combinatorics · Mathematics 2010-07-23 Benjamin Braun , Richard Ehrenborg

A $0/1$-polytope in $\mathbb{R}^n$ is the convex hull of a subset of $\{0,1\}^n$. The graph of a polytope $P$ is the graph whose vertices are the zero-dimensional faces of $P$ and whose edges are the one-dimensional faces of $P$. A…

Combinatorics · Mathematics 2025-09-15 Asaf Ferber , Michael Krivelevich , Marcelo Sales , Wojciech Samotij

We prove upper bounds on the graph diameters of polytopes in two settings. The first is a worst-case bound for polytopes defined by integer constraints in terms of the height of the integers and certain subdeterminants of the constraint…

Combinatorics · Mathematics 2022-09-16 Hariharan Narayanan , Rikhav Shah , Nikhil Srivastava

The expansion of a polytope is an important parameter for the analysis of the random walks on its graph. A conjecture of Mihai and Vazirani states that all $0/1$-polytopes have expansion at least 1. We show that the generalization to…

Combinatorics · Mathematics 2024-02-23 Jean Cardinal , Lionel Pournin

Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong…

Discrete Mathematics · Computer Science 2015-02-17 Michele Conforti , Volker Kaibel , Matthias Walter , Stefan Weltge

We prove Engstr\"{o}m's conjecture that the independence complex of graphs with no induced cycle of length divisible by $3$ is either contractible or homotopy equivalent to a sphere. Our result strengthens a result by Zhang and Wu,…

Combinatorics · Mathematics 2022-03-09 Jinha Kim

We give the first super-polynomial separation in the power of bounded-depth boolean formulas vs. circuits. Specifically, we consider the problem Distance $k(n)$ Connectivity, which asks whether two specified nodes in a graph of size $n$ are…

Computational Complexity · Computer Science 2013-12-03 Benjamin Rossman

The edge expansion of a graph is the minimum quotient of the number of edges in a cut and the size of the smaller one among the two node sets separated by the cut. Bounding the edge expansion from below is important for bounding the…

Combinatorics · Mathematics 2007-05-23 Volker Kaibel

We show that by cutting off the vertices and then the edges of neighborly cubical polytopes, one obtains simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $\Omega(n/\log^{3/2}n)$. This…

Metric Geometry · Mathematics 2015-10-05 Lauri Loiskekoski , Günter M. Ziegler

In this paper, we provide an $O(n \mathrm{polylog} n)$ bound on the expected complexity of the randomly weighted Voronoi diagram of a set of $n$ sites in the plane, where the sites can be either points, interior-disjoint convex sets, or…

Computational Geometry · Computer Science 2015-03-23 Sariel Har-Peled , Benjamin Raichel

The aim of this paper is the determination of the largest $n$-dimensional polytope with $n+3$ vertices of unit diameter. This is a special case of a more general problem proposed by Graham.

Combinatorics · Mathematics 2007-05-23 Andreas Klein , Markus Wessler

An extended formulation of a polytope P is a polytope Q which can be projected onto P. Extended formulations of small size (i.e., number of facets) are of interest, as they allow to model corresponding optimization problems as linear…

Combinatorics · Mathematics 2012-07-10 Samuel Fiorini , Volker Kaibel , Kanstantsin Pashkovich , Dirk Oliver Theis

An $(n,d,\lambda)$-graph is a $d$ regular graph on $n$ vertices in which the absolute value of any nontrivial eigenvalue is at most $\lambda$. For any constant $d \geq 3$, $\epsilon>0$ and all sufficiently large $n$ we show that there is a…

Combinatorics · Mathematics 2020-03-27 Noga Alon

We show that any bounded integral function $f : A \times B \mapsto \{0,1, \dots, \Delta\}$ with rank $r$ has deterministic communication complexity $\Delta^{O(\Delta)} \cdot \sqrt{r} \cdot \log r$, where the rank of $f$ is defined to be the…

Discrete Mathematics · Computer Science 2024-03-22 Sally Dong , Thomas Rothvoss

In this paper we find some exponential formulas for the Betti numbers of the De Concini-Procesi minimal wonderful models Y_{G(r,p,n)} associated to the complex reflection groups G(r,p,n). Our formulas are different from the ones already…

Combinatorics · Mathematics 2015-07-27 Giovanni Gaiffi

Let $P$ be a polytope. The hitting number of $P$ is the smallest size of a hitting set of the facets of $P$, i.e., a subset of vertices of $P$ such that every facet of $P$ has a vertex in the subset. An extended formulation of $P$ is the…

Combinatorics · Mathematics 2021-06-24 Manuel Aprile

Motivated by very large-scale communication networks, we newly introduce exponentiation of graphs. Using the exponential operation on graphs, we can construct various graphs of multi-exponential order with logarithmic diameter. We show that…

Combinatorics · Mathematics 2025-01-28 Toru Hasunuma