English
Related papers

Related papers: The complexity of multilayer $d$-dimensional circu…

200 papers

We reduce the problem of proving deterministic and nondeterministic Boolean circuit size lower bounds to the analysis of certain two-dimensional combinatorial cover problems. This is obtained by combining results of Razborov (1989),…

Computational Complexity · Computer Science 2025-03-19 Bruno P. Cavalar , Igor C. Oliveira

The potential of graphene for use in photonic applications was evidenced by recent demonstrations of modulators, polarisation rotators, and isolators. These promising yet preliminary results raise crucial questions: what is the optimal…

We show that on graphs with n vertices, the 2-dimensional Weisfeiler-Leman algorithm requires at most O(n^2/log(n)) iterations to reach stabilization. This in particular shows that the previously best, trivial upper bound of O(n^2) is…

Logic in Computer Science · Computer Science 2023-06-22 Sandra Kiefer , Pascal Schweitzer

An $n$-vertex, $d$-regular graph can have at most $2^{n/2+o_d(n)}$ independent sets. In this paper we address what happens with this upper bound when we impose the further condition that the graph has independence number at most $\alpha$.…

Combinatorics · Mathematics 2024-10-29 David Galvin , Phillip Marmorino

We present faster algorithms for approximate maximum flow in undirected graphs with good separator structures, such as bounded genus, minor free, and geometric graphs. Given such a graph with $n$ vertices, $m$ edges along with a recursive…

Data Structures and Algorithms · Computer Science 2012-10-19 Gary Miller , Richard Peng

Solving a longstanding problem on equiangular lines, we determine, for each given fixed angle and in all sufficiently large dimensions, the maximum number of lines pairwise separated by the given angle. Fix $0 < \alpha < 1$. Let…

Combinatorics · Mathematics 2022-03-01 Zilin Jiang , Jonathan Tidor , Yuan Yao , Shengtong Zhang , Yufei Zhao

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

Let ${\rm ind}(G)$ be the number of independent sets in a graph $G$. We show that if $G$ has maximum degree at most $5$ then $$ {\rm ind}(G) \leq 2^{{\rm iso}(G)} \prod_{uv \in E(G)} {\rm ind}(K_{d(u),d(v)})^{\frac{1}{d(u)d(v)}} $$ (where…

Combinatorics · Mathematics 2015-10-26 David Galvin , Yufei Zhao

This paper gives the first separation between the power of {\em formulas} and {\em circuits} of equal depth in the $\mathrm{AC}^0[\oplus]$ basis (unbounded fan-in AND, OR, NOT and MOD$_2$ gates). We show, for all $d(n) \le O(\frac{\log…

Computational Complexity · Computer Science 2017-02-14 Benjamin Rossman , Srikanth Srinivasan

The Lovasz theta function provides a lower bound for the chromatic number of finite graphs based on the solution of a semidefinite program. In this paper we generalize it so that it gives a lower bound for the measurable chromatic number of…

Combinatorics · Mathematics 2009-11-21 Christine Bachoc , Gabriele Nebe , Fernando Mario de Oliveira Filho , Frank Vallentin

We obtain a lower bound of n^Omega(1) on the k-party randomized communication complexity of the Disjointness function in the `Number on the Forehead' model of multiparty communication when k is a constant. For k=o(loglog n), the bounds…

Computational Complexity · Computer Science 2008-02-21 Arkadev Chattopadhyay , Anil Ada

The Fiedler value $\lambda_2$, also known as algebraic connectivity, is the second smallest Laplacian eigenvalue of a graph. We study the maximum Fiedler value among all planar graphs $G$ with $n$ vertices, denoted by $\lambda_{2\max}$, and…

Combinatorics · Mathematics 2020-07-21 Lali Barrière , Clemens Huemer , Dieter Mitsche , David Orden

The well-known 1-2-3 Conjecture asserts that the edges of every graph without isolated edges can be weighted with $1$, $2$ and $3$ so that adjacent vertices receive distinct weighted degrees. This is open in general. We prove that every…

Combinatorics · Mathematics 2018-03-21 Julien Bensmail , Jakub Przybyło

We illustrate with several new applications the power and elegance of the Bendixson Dulac theorem to obtain upper bounds of the number of limit cycles for several families of planar vector fields. In some cases we propose to use a function…

Classical Analysis and ODEs · Mathematics 2021-01-12 Armengol Gasull , Hector Giacomini

We prove an upper bound of $n+9$ for the strong separation number of the complete graph $K_n$, and an upper bound of $n+1$ for its weak separation number. This improves on the previous best known bound of $(1+o(1))n$ for both cases.

Combinatorics · Mathematics 2026-03-25 George Kontogeorgiou , Maya Stein

We derive attainable upper bounds on the algebraic connectivity (spectral gap) of a regular graph in terms of its diameter and girth. This bound agrees with the well-known Alon-Boppana-Friedman bound for graphs of even diameter, but is an…

Combinatorics · Mathematics 2023-07-17 Geoffrey Exoo , Theodore Kolokolnikov , Jeanette Janssen , Timothy Salamon

A well known theorem in graph theory states that every graph $G$ on $n$ vertices and minimum degree at least $d$ contains a path of length at least $d$, and if $G$ is connected and $n\ge 2d+1$ then $G$ contains a path of length at least…

Combinatorics · Mathematics 2019-03-12 Yue Ma , Xinmin Hou , Jun Gao

We derive several upper bounds on the spectral gap of the Laplacian with standard or Dirichlet vertex conditions on compact metric graphs. In particular, we obtain estimates based on the length of a shortest cycle (girth), diameter, total…

Spectral Theory · Mathematics 2023-04-14 Gregory Berkolaiko , James B. Kennedy , Pavel Kurasov , Delio Mugnolo

We prove that if G is an (n,d,lambda)-graph (a d-regular graph on n vertices, all of whose non-trivial eigenvalues are at most lambda) and the following conditions are satisfied: 1. d/lambda >= (log n)^{1+epsilon} for some constant…

Combinatorics · Mathematics 2012-01-10 Michael Krivelevich

For $S\subseteq V(G)$ and $|S|\geq 2$, $\lambda(S)$ is the maximum number of edge-disjoint trees connecting $S$ in $G$. For an integer $k$ with $2\leq k\leq n$, the \emph{generalized $k$-edge-connectivity} $\lambda_k(G)$ of $G$ is then…

Combinatorics · Mathematics 2013-07-10 Xueliang Li , Yaping Mao