English
Related papers

Related papers: Monotone Bounded Depth Formula Complexity of Graph…

200 papers

Classical complexity theory measures the cost of computing a function, but many computational tasks require committing to one valid output among several. We introduce determination depth -- the minimum number of sequential layers of…

Computational Complexity · Computer Science 2026-04-08 Joseph M. Hellerstein

We introduce the tree-decomposition-based parameter totally $\Delta$-modular treewidth (TDM-treewidth) for matrices with two nonzero entries per row. We show how to solve integer programs whose matrices have bounded TDM-treewidth in…

Combinatorics · Mathematics 2026-04-27 Caleb McFarland

The computational cost of simulating quantum many-body systems can often be reduced by taking advantage of physical symmetries. While methods exist for specific symmetry classes, a general algorithm to find the full permutation symmetry…

Quantum Physics · Physics 2025-12-01 Saumya Shah , Patrick Rebentrost

The (torsion) complexity of a finite signed graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When $G$ is $d$-periodic (i.e., $G$ has a free ${\mathbb Z}^d$-action by graph…

Geometric Topology · Mathematics 2020-08-14 Daniel S. Silver , Susan G. Williams

A graph class $\mathcal{C}$ has polynomial expansion if there is a polynomial function $f$ such that for every graph $G\in \mathcal{C}$, each of the depth-$r$ minors of $G$ has average degree at most $f(r)$. In this note, we study…

Combinatorics · Mathematics 2025-10-01 Nicolas Bousquet , Wouter Cames van Batenburg , Louis Esperet , Gwenaël Joret , Piotr Micek

Solving polynomial systems arising from applications is frequently made easier by the structure of the systems. Weighted homogeneity (or quasi-homogeneity) is one example of such a structure: given a system of weights…

Symbolic Computation · Computer Science 2015-12-22 Jean-Charles Faugère , Mohab Safey El Din , Thibaut Verron

The maximum modularity of a graph is a parameter widely used to describe the level of clustering or community structure in a network. Determining the maximum modularity of a graph is known to be NP-complete in general, and in practice a…

Data Structures and Algorithms · Computer Science 2022-12-22 Kitty Meeks , Fiona Skerman

The logical depth of a graph $G$ is the minimum quantifier depth of a first order sentence defining $G$ up to isomorphism in the language of the adjacency and the equality relations. We consider the case that $G$ is a dissection of a convex…

Combinatorics · Mathematics 2007-05-23 Manuel Bodirsky , Mihyun Kang , Oleg Verbitsky

In this paper, we extend the definition of cohomology associated to monotone graph properties, to encompass twisted functor coefficients. We introduce oriented matchings on graphs, and focus on their (twisted) cohomology groups. We…

Combinatorics · Mathematics 2022-03-08 Luigi Caputi , Daniele Celoria , Carlo Collari

There has been substantial interest in estimating the value of a graph parameter, i.e., of a real-valued function defined on the set of finite graphs, by querying a randomly sampled substructure whose size is independent of the size of the…

Combinatorics · Mathematics 2020-08-12 Carlos Hoppen , Yoshiharu Kohayakawa , Richard Lang , Hanno Lefmann , Henrique Stagni

We study the problem of approximating the value of the matching polynomial on graphs with edge parameter $\gamma$, where $\gamma$ takes arbitrary values in the complex plane. When $\gamma$ is a positive real, Jerrum and Sinclair showed that…

Discrete Mathematics · Computer Science 2021-01-13 Ivona Bezakova , Andreas Galanis , Leslie Ann Goldberg , Daniel Stefankovic

We introduce and study the complexity of Path Packing. Given a graph $G$ and a list of paths, the task is to embed the paths edge-disjoint in $G$. This generalizes the well known Hamiltonian-Path problem. Since Hamiltonian Path is…

Computational Complexity · Computer Science 2019-10-02 Jan Dreier , Janosch Fuchs , Tim A. Hartmann , Philipp Kuinke , Peter Rossmanith , Bjoern Tauer , Hung-Lung Wang

This paper investigates the cost of solving systems of sparse polynomial equations by homotopy continuation. First, a space of systems of $n$-variate polynomial equations is specified through $n$ monomial bases. The natural locus for the…

Numerical Analysis · Mathematics 2020-05-05 Gregorio Malajovich

This research focuses on analyzing the depth of generalized binomial edge ideals. We extend the notion of $d$-compatible map for the pairs of a complete graph and an arbitrary graph, and using it, we give a combinatorial lower bound for the…

Commutative Algebra · Mathematics 2024-01-15 Anuvinda J , Ranjana Mehta , Kamalesh Saha

Two graphs $G$ and $H$ are homomorphism indistinguishable over a graph class $\mathcal{F}$ if they admit the same number of homomorphisms from every graph $F \in \mathcal{F}$. Many graph isomorphism relaxations such as (quantum) isomorphism…

Computational Complexity · Computer Science 2025-12-16 Marek Černý , Tim Seppelt

We derive a boundary monotonicity formula for a class of biharmonic maps with Dirichlet boundary conditions. A monotonicity formula is crucial in the theory of partial regularity in super-critical dimensions. As a consequence of such a…

Analysis of PDEs · Mathematics 2017-11-10 Serdar Altuntas

Persistence diagrams, combining geometry and topology for an effective shape description used in pattern recognition, have already proven to be an effective tool for shape representation with respect to a certainfiltering function.…

Algebraic Topology · Mathematics 2018-12-26 Alessia Angeli , Massimo Ferri , Ivan Tomba

An important application of distance geometry to biochemistry studies the embeddings of the vertices of a weighted graph in the three-dimensional Euclidean space such that the edge weights are equal to the Euclidean distances between…

Computational Geometry · Computer Science 2011-03-08 Leo Liberti , Carlile Lavor , Benoit Masson , Antonio Mucherino

In this paper, we consider multivariate hyperedge elimination polynomials and multivariate chromatic polynomials for hypergraphs. The first set of polynomials is defined in terms of a deletion-contraction-extraction recurrence, previously…

Combinatorics · Mathematics 2010-12-16 Jacob A White

We study the following generalization of the Hamiltonian cycle problem: Given integers $a,b$ and graph $G$, does there exist a closed walk in $G$ that visits every vertex at least $a$ times and at most $b$ times? Equivalently, does there…

Computational Complexity · Computer Science 2024-05-28 Brian Liu , Nathan S. Sheffield , Alek Westover