Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Sidorenko-Type Inequalities for Pairs of Trees
Published
• View Publication
• BIB
Given two non-empty graphs $H$ and $T$, write $H\succcurlyeq T$ to mean that $t(H,G)^{|E(T)|}\geq t(T,G)^{|E(H)|}$ for every graph $G$, where $t(\cdot,\cdot)$ is the homomorphism density function. We obtain various necessary and sufficient conditions for two trees $H$ and $T$ to satisfy $H\succcurlyeq T$ and determine all such pairs on at most 8 vertices. This extends results of Leontovich and Sidorenko from the 1980s and 90s. Our approach applies an information-theoretic technique to reduce the problem of showing that $H\succcurlyeq T$ for two forests $H$ and $T$ to solving a linear program of Kopparty and Rossman. We also characterize trees $H$ which satisfy $H\succcurlyeq S_k$ or $H\succcurlyeq P_4$, where $S_k$ is the $k$-vertex star and $P_4$ is the $4$-vertex path and resolve a problem of Csikvári and Lin.
Supermodular Rank: Set Function Decomposition and Optimization
Published
• View Publication
• BIB
We define the supermodular rank of a function on a lattice. This is the smallest number of terms needed to decompose it into a sum of supermodular functions. The supermodular summands are defined with respect to different partial orders. We characterize the maximum possible value of the supermodular rank and describe the functions with fixed supermodular rank. We analogously define the submodular rank. We use submodular decompositions to optimize set functions. Given a bound on the submodular rank of a set function, we formulate an algorithm that splits an optimization problem into submodular subproblems. We show that this method improves the approximation ratio guarantees of several algorithms for monotone set function maximization and ratio of set functions minimization, at a computation overhead that depends on the submodular rank.
Distance-regular graphs with exactly one positive $q$-distance eigenvalue
Published
• View Publication
• BIB
In this paper, we study the $q$-distance matrix for a distance-regular graph and show that the $q$-distance matrix of a distance-regular graph with classical parameters ($D, q, α, β$) has exactly three distinct eigenvalues, of which one is zero. Moreover, we study distance-regular graphs whose $q$-distance matrix has exactly one positive eigenvalue.
Geometrical Study of the Cone of Sums of Squares plus Sums of Nonnegative Circuits
Published
• View Publication
• BIB
In this article, we combine sums of squares (SOS) and sums of nonnegative circuit (SONC) forms, two independent nonnegativity certificates for real homogeneous polynomials. We consider the convex cone SOS+SONC of forms that decompose into a sum of an SOS and a SONC form and study it from a geometric point of view. We show that the SOS+SONC cone is proper and neither closed under multiplications nor under linear transformation of variables. Moreover, we present an alternative proof of an analog of Hilbert's 1888 Theorem for the SOS+SONC cone and prove that in the non-Hilbert cases it provides a proper superset of both the SOS and the SONC cone. This follows by exploiting a new necessary condition for membership in the SONC cone.
Rao's Theorem for forcibly planar sequences revisited
Published
• View Publication
• BIB
We consider the graph degree sequences such that every realisation is a polyhedron. It turns out that there are exactly eight of them. All of these are unigraphic, in the sense that each is realised by exactly one polyhedron. This is a revisitation of a Theorem of Rao about sequences that are realised by only planar graphs.
Our proof yields additional geometrical insight on this problem. Moreover, our proof is constructive: for each graph degree sequence that is not forcibly polyhedral, we construct a non-polyhedral realisation.
Counting oriented trees in digraphs with large minimum semidegree
Published in Journal of Combinatorial Theory, Series B 168 (2024): 236-270
• View Publication
• BIB
Let $T$ be an oriented tree on $n$ vertices with maximum degree at most $e^{o(\sqrt{\log n})}$. If $G$ is a digraph on $n$ vertices with minimum semidegree $δ^0(G)\geq(\frac12+o(1))n$, then $G$ contains $T$ as a spanning tree, as recently shown by Kathapurkar and Montgomery (in fact, they only require maximum degree $o(n/\log n)$). This generalizes the corresponding result by Komlós, Sárközy and Szemerédi for graphs. We investigate the natural question how many copies of $T$ the digraph $G$ contains. Our main result states that every such $G$ contains at least $|Aut(T)|^{-1}(\frac12-o(1))^nn!$ copies of $T$, which is optimal. This implies the analogous result in the undirected case.
Shapley-Folkman-type Theorem for Integrally Convex Sets
Published
• View Publication
• BIB
The Shapley-Folkman theorem is a statement about the Minkowski sum of (non-convex) sets, expressing the closeness of the Minkowski sum to convexity in a quantitative manner. This paper establishes similar theorems for integrally convex sets, L-natural-convex sets, and M-natural-convex sets, which are major classes of discrete convex sets in discrete convex analysis.
Rooted Almost-binary Phylogenetic Networks for which the Maximum Covering Subtree Problem is Solvable in Linear Time
Phylogenetic networks are a flexible model of evolution that can represent reticulate evolution and handle complex data. Tree-based networks, which are phylogenetic networks that have a spanning tree with the same root and leaf-set as the network itself, have been well studied. However, not all networks are tree-based. Francis-Semple-Steel (2018) thus introduced several indices to measure the deviation of rooted binary phylogenetic networks $N$ from being tree-based, such as the minimum number $δ^\ast(N)$ of additional leaves needed to make $N$ tree-based, and the minimum difference $η^\ast(N)$ between the number of vertices of $N$ and the number of vertices of a subtree of $N$ that shares the root and leaf set with $N$. Hayamizu (2021) has established a canonical decomposition of almost-binary phylogenetic networks of $N$, called the maximal zig-zag trail decomposition, which has many implications including a linear time algorithm for computing $δ^\ast(N)$. The Maximum Covering Subtree Problem (MCSP) is the problem of computing $η^\ast(N)$, and Davidov et al. (2022) showed that this can be solved in polynomial time (in cubic time when $N$ is binary) by an algorithm for the minimum cost flow problem. In this paper, under the assumption that $N$ is almost-binary (i.e. each internal vertex has in-degree and out-degree at most two), we show that $δ^\ast(N)\leq η^\ast (N)$ holds, which is tight, and give a characterisation of such phylogenetic networks $N$ that satisfy $δ^\ast(N)=η^\ast(N)$. Our approach uses the canonical decomposition of $N$ and focuses on how the maximal W-fences (i.e. the forbidden subgraphs of tree-based networks) are connected to maximal M-fences in the network $N$. Our results introduce a new class of phylogenetic networks for which MCSP can be solved in linear time, which can be seen as a generalisation of tree-based networks.
Rainbow Free Colorings and Rainbow Numbers for $x-y=z^2$
An exact r-coloring of a set $S$ is a surjective function $c:S \rightarrow \{1, 2, \ldots,r\}$. A rainbow solution to an equation over $S$ is a solution such that all components are a different color. We prove that every 3-coloring of $\mathbb{N}$ with an upper density greater than $(4^s-1)/(3 \cdot 4^s)$ contains a rainbow solution to $x-y=z^k$. The rainbow number for an equation in the set $S$ is the smallest integer $r$ such that every exact $r$-coloring has a rainbow solution. We compute the rainbow numbers of $\mathbb{Z}_p$ for the equation $x-y=z^k$, where $p$ is prime and $k\geq 2$.
Symmetry in complex unit gain graphs and their spectra
Published
• View Publication
• BIB
Complex unit gain graphs may exhibit various kinds of symmetry. In this work, we explore structural symmetry, spectral symmetry and sign-symmetry in such graphs, and their respective relations to one-another. Our main result is a construction that transforms an arbitrary complex unit gain graph into infinitely many switching-distinct ones whose spectral symmetry does not imply sign-symmetry. This provides a more general answer to the analogue of an existence question that was recently treated in the context of signed graphs.
Strong blocking sets and minimal codes from expander graphs
Published
• View Publication
• BIB
A strong blocking set in a finite projective space is a set of points that intersects each hyperplane in a spanning set. We provide a new graph theoretic construction of such sets: combining constant-degree expanders with asymptotically good codes, we explicitly construct strong blocking sets in the $(k-1)$-dimensional projective space over $\mathbb{F}_q$ that have size $O( q k )$. Since strong blocking sets have recently been shown to be equivalent to minimal linear codes, our construction gives the first explicit construction of $\mathbb{F}_q$-linear minimal codes of length $n$ and dimension $k$, for every prime power $q$, for which $n = O (q k)$. This solves one of the main open problems on minimal codes.
Decomposition of Beatty and Complementary Sequences
In this paper we express the difference of two complementary Beatty sequences, as the sum of two Beatty sequences closely related to them. In the process we introduce a new Algorithm that generalizes the well known Minimum Excluded algorithm and provides a method to generate combinatorially any pair of complementary Beatty sequences.
The polynomial method for 3-path extendability of list colourings of planar graphs
Published
• View Publication
• BIB
We restate Thomassen's theorem of 3-extendability, an extension of the famous planar 5-choosability theorem, in terms of graph polynomials. This yields an Alon--Tarsi equivalent of 3-extendability.
Twists of Gr(3,n) Cluster Variables as Double and Triple Dimer Partition Functions
Published
• View Publication
• BIB
We give a combinatorial interpretation for certain cluster variables in Grassmannian cluster algebras in terms of double and triple dimer configurations. More specifically, we examine several Gr(3,n) cluster variables that may be written as degree two or degree three polynomials in terms of Plücker coordinates, and give generating functions for their images under the twist map - a cluster algebra automorphism introduced in work of Berenstein-Fomin-Zelevinsky. The generating functions range over certain double or triple dimer configurations on an associated plabic graph, which we describe using particular non-crossing matchings or webs (as defined by Kuperberg), respectively. These connections shed light on a recent conjecture of Cheung et al., extend the concept of web duality introduced in a paper of Fraser-Lam-Le, and more broadly make headway on understanding Grassmannian cluster algebras for Gr(3,n).
Unit-Interval Parking Functions and the Permutohedron
Published
• View Publication
• BIB
Unit-interval parking functions are subset of parking functions in which cars park at most one spot away from their preferred parking spot. In this paper, we characterize unit-interval parking functions by understanding how they decompose into prime parking functions and count unit-interval parking functions when exactly $k<n$ cars do not park in their preference. This count yields an alternate proof of a result of Hadaway and Harris establishing that unit-interval parking functions are enumerated by the Fubini numbers. Then, our main result, establishes that for all integers $0\leq k<n$, the unit-interval parking functions of length $n$ with displacement $k$ are in bijection with the $k$-dimensional faces of the permutohedron of order $n$. We conclude with some consequences of this result.
Chromatic number is not tournament-local
Scott and Seymour conjectured the existence of a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G$ and tournament $T$ on the same vertex set, $χ(G) \geqslant f(k)$ implies that $χ(G[N_T^+(v)]) \geqslant k$ for some vertex $v$. In this note we disprove this conjecture even if $v$ is replaced by a vertex set of size $\mathcal{O}(\log{\lvert V(G)\rvert})$. As a consequence, we answer in the negative a question of Harutyunyan, Le, Thomassé, and Wu concerning the corresponding statement where the graph $G$ is replaced by another tournament, and disprove a related conjecture of Nguyen, Scott, and Seymour. We also show that the setting where chromatic number is replaced by degeneracy exhibits a quite different behaviour.
$h$-vector inequalities under weak maps
Published
• View Publication
• BIB
We study the behavior of $h$-vectors associated to matroid complexes under weak maps, or inclusions of matroid polytopes. Specifically, we show that the $h$-vector of the order complex of the lattice of flats of a matroid is component-wise non-increasing under a weak map. This result extends to the flag $h$-vector. We note that the analogous result also holds for independence complexes and rank-preserving weak maps.
Induced subgraphs and tree decompositions IX. Grid theorem for perforated graphs
Published in Advances in Combinatorics 2025:3, 40pp
• View Publication
• BIB
The celebrated Erdős-Pósa Theorem, in one formulation, asserts that for every $c\geq 1$, graphs with no subgraph (or equivalently, minor) isomorphic to the disjoint union of $c$ cycles have bounded treewidth. What can we say about the treewidth of graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles?
Let us call these graphs $c$-perforated. While $1$-perforated graphs have treewidth one, complete graphs and complete bipartite graphs are examples of $2$-perforated graphs with arbitrarily large treewidth. But there are sparse examples, too: Bonamy, Bonnet, Déprés, Esperet, Geniet, Hilaire, Thomassé and Wesolek constructed $2$-perforated graphs with arbitrarily large treewidth and no induced subgraph isomorphic to $K_3$ or $K_{3,3}$; we call these graphs occultations. Indeed, it turns out that a mild (and inevitable) adjustment of occultations provides examples of $2$-perforated graphs with arbitrarily large treewidth and arbitrarily large girth, which we refer to as full occultations.
Our main result shows that the converse also holds: for every $c\geq 1$, a $c$-perforated graph has large treewidth if and only if it contains, as an induced subgraph, either a large complete graph, or a large complete bipartite graph, or a large full occultation. This distinguishes $c$-perforated graphs, among graph classes purely defined by forbidden induced subgraphs, as the first to admit a grid-type theorem incorporating obstructions other than subdivided walls and their line graphs.
More generally, for all $c,o\geq 1$, we establish a full characterization of induced subgraph obstructions to bounded treewidth in graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles, each of length at least $o+2$.
An overview of horospherical varieties and coloured fans
We provide an overview of the combinatorial theory of horospherical varieties using coloured fans, a generalization of the combinatorial theory of toric varieties using polyhedral fans.
The Spectral Geometry of the Mesh Matrices of Graphs
The mesh matrix $Mesh(G,T_0)$ of a connected finite graph $G=(V(G),E(G))=(vertices, edges) \ of \ G$ of with respect to a choice of a spanning tree $T_0 \subset G$ is defined and studied. It was introduced by Trent \cite{Trent1,Trent2}. Its characteristic polynomial $det(X \cdot Id -Mesh(G,T_0))$ is shown to equal $Σ_{j=0}^{N} \ (-1)^j \ ST_{j}(G,T_0)\ (X-1)^{N-j} \ (\star)$ \ where $ST_j(G,T_0)$ is the number of spanning trees of $G$ meeting $E(G-T_0)$ in j edges and $N=|E(G-T_0)|$. As a consequence, there are Tutte-type deletion-contraction formulae for computing this polynomial. Additionally, $Mesh(G,T_0) -Id$ is of the special form $Y^t \cdot Y$; so the eigenvalues of the mesh matrix $Mesh(G,T_0)$ are all real and are furthermore be shown to be $\ge +1$. It is shown that $Y \cdot Y^t$, called the mesh Laplacian, is a generalization of the standard graph Kirchhoff Laplacian $Δ(H)= Deg -Adj$ of a graph $H$.For example, $(\star)$ generalizes the all minors matrix tree theorem for graphs $H$ and gives a deletion-contraction formula for the characteristic polynomial of $Δ(H)$. This generalization is explored in some detail. The smallest positive eigenvalue of the mesh Laplacian, a measure of flux, is estimated, thus extending the classical inequality for the Kirchoff Laplacian of graphs.