English
Related papers

Related papers: Lower Bound for General Circuits Computing Clique …

200 papers

We present deterministic techniques for computing upper and lower bounds on marginal probabilities in sigmoid and noisy-OR networks. These techniques become useful when the size of the network (or clique size) precludes exact computations.…

Artificial Intelligence · Computer Science 2013-02-18 Tommi S. Jaakkola , Michael I. Jordan

We study a counting version of Cycle Double Cover Conjecture. We discuss why it is more interesting to count circuits (i.e., graphs isomorphic to $C_k$ for some $k$) instead of cycles (graphs with all degrees even). We give an…

Combinatorics · Mathematics 2024-09-12 Radek Hušek , Robert Šámal

An edge clique cover of a graph is a set of cliques that covers all edges of the graph. We generalize this concept to "$K_t$ clique cover", i.e. a set of cliques that covers all complete subgraphs on $t$ vertices of the graph, for every $t…

Combinatorics · Mathematics 2019-10-17 Hoang Dau , Olgica Milenkovic , Gregory J. Puleo

We revisit the main result of Carmosino et al \cite{CILM18} which shows that an $\Omega(n^{\omega/2+\epsilon})$ size noncommutative arithmetic circuit size lower bound (where $\omega$ is the matrix multiplication exponent) for a…

Computational Complexity · Computer Science 2023-08-10 V. Arvind , Abhranil Chatterjee

We give an explicit upper bound for the algebraic degree and an explicit lower bound for the absolute value of the minimum of a polynomial function on a compact connected component of a basic closed semialgebraic set when this minimum is…

Algebraic Geometry · Mathematics 2011-12-05 Gabriela Jeronimo , Daniel Perrucci , Elias Tsigaridas

We prove lower bounds on the error incurred when approximating any oscillating function using piecewise polynomial spaces. The estimates are explicit in the polynomial degree and have optimal dependence on the meshwidth and frequency when…

Numerical Analysis · Mathematics 2024-12-05 Jeffrey Galkowski

This article determines a lower bound for the number Germain primes $p$ and $2p+1$ up to a large number $x$.

General Mathematics · Mathematics 2023-07-13 N. A. Carella

We prove that every fan-in $2$ noncommutative arithmetic circuit computing the palindrome polynomial has size $\Omega(nd)$. In particular, when $d=n$ we obtain an $\Omega(n^2)$ lower bound. The proof builds on and refines a previous work of…

Computational Complexity · Computer Science 2026-05-20 Pratik Shastri

In 1985, Razborov discovered a proof that the monotone circuit complexity of the clique problem is super-polynomial. Alon and Boppana improved the result into exponential lower bound exp(\Omega(n / \log n)^{1/3})) of a monotone circuit C to…

Computational Complexity · Computer Science 2013-09-10 Junichiro Fukuyama

The ordinary generating function of the number of complete subgraphs (cliques) of $G$, denoted by $C(G,x)$, is called the The clique polynomial of the graph $G$. In this paper, we first introduce some \emph{clique} incidence matrices…

Combinatorics · Mathematics 2022-05-18 Hossein Teimoori Faal

We establish a lower bound for the cop number of graphs of high girth in terms of the minimum degree, and more generally, in terms of a certain growth condition. We show, in particular, that the cop number of any graph with girth $g$ and…

Combinatorics · Mathematics 2020-05-25 Peter Bradshaw , Seyyed Aliasghar Hosseini , Bojan Mohar , Ladislav Stacho

On a class of memoryless quantum channels which includes the depolarizing channel, the highest fidelity of quantum error-correcting codes of length n and rate R is proven to be lower bounded by 1-exp[-nE(R)+o(n)] for some function E(R). The…

Quantum Physics · Physics 2009-11-07 Mitsuru Hamada

In this paper, we investigate an approach to circuit lower bounds via bounded width circuits. The approach consists of two steps: (i) We convert circuits to (deterministic or nondeterministic) bounded width circuits. (ii) We prove lower…

Computational Complexity · Computer Science 2023-05-02 Hiroki Morizumi

Finding cliques in a graph has several applications for its pattern matching ability. $k$-clique problem, a special case of clique problem, determines whether an arbitrary graph contains a clique of size $k$, has already been addressed in…

Data Structures and Algorithms · Computer Science 2022-02-23 Arpita Sanyal , Amit Saha , Debasri Saha , Banani Saha , Amlan Chakrabarti

We establish new Bonferroni-type lower bounds for the probability of a union of finitely many events where the selection of intersections in the estimates is determined by the clique complex of a chordal graph.

Combinatorics · Mathematics 2025-12-03 Klaus Dohmen

In this paper we study the role of cliquewidth in succinct representation of Boolean functions. Our main statement is the following: Let $Z$ be a Boolean circuit having cliquewidth $k$. Then there is another circuit $Z^*$ computing the same…

Logic in Computer Science · Computer Science 2013-03-22 Igor Razgon , Justyna Petke

The bandwidth of a graph is the labeling of vertices with minimum maximum edge difference. For many graph families this is NP-complete. A classic result computes the bandwidth for the hypercube. We generalize this result to give sharp lower…

Discrete Mathematics · Computer Science 2007-05-23 Tanya Y. Berger-Wolf , Mitchell A. Harris

In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Tur\'an-type result is an extension of the celebrated Erd\H{o}s and Gallai theorem and a strengthening of…

Combinatorics · Mathematics 2022-12-07 Zequn Lv , Ervin Győri , Zhen He , Nika Salia , Chuanqi Xiao , Xiutao Zhu

In this paper, we obtain upper and lower bounds for the partition function $p(n)$ by using an elementary geometric inequality in Euclidean space, and we extend the method to generalizations of the partition function.

Combinatorics · Mathematics 2026-03-06 Mizuki Akeno

Assuming the Generalised Riemann Hypothesis (GRH), we show that for all k, there exist polynomials with coefficients in $\MA$ having no arithmetic circuits of size O(n^k) over the complex field (allowing any complex constant). We also build…

Computational Complexity · Computer Science 2013-04-23 Hervé Fournier , Sylvain Perifel , Rémi de Verclos