graph
34516 papers tagged with this keyword
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
We present a Weitz-type FPTAS for the ferromagnetic Ising model across the entire Lee--Yang zero-free region, without relying on the strong spatial mixing (SSM) property. Our algorithm is Weitz-type for two reasons. First, it expresses the partition function as a telescoping product of ratios, with the key being to approximate each ratio. Second, it uses Weitz's self-avoiding walk tree, and truncates it at logarithmic depth to give a good and efficient approximation. The key difference from the standard Weitz algorithm is that we approximate a carefully designed edge-deletion ratio instead of the marginal probability of a vertex being assigned a particular spin, ensuring our algorithm does not require SSM.
Furthermore, by establishing local dependence of coefficients (LDC), we prove a novel form of SSM for these edge-deletion ratios, which, in turn, implies the standard SSM for the random cluster model. This is the first SSM result for the random cluster model on general graphs, beyond lattices. Our proof of LDC is based on a new divisibility relation, and we show such relations hold quite universally. This leads to a broadly applicable framework for proving LDC across a variety of models, including the Potts model, the hypergraph independence polynomial, and Holant problems. Combined with existing zero-freeness results for these models, we derive new SSM results for them.
Planar Graphs with Ore-degree at Most seven is strongly $13$-edge-colorable
A strong edge-coloring of a graph $G$ is a coloring of edges of $G$ such that every color class forms an induced matching. The strong chromatic index is the minimum number of colors needed to color the graph. The Ore-degree $θ(G)$ of a graph $G$ is the maximum sum of degrees of adjacent vertices. We show that every planar graph $G$ with $θ(G)\le 7$ has strong chromatic index at most $13$. This settles a conjecture of Chen et al in the planar case. We use a discharging method, and apply Combinatorial Nullstellensatz to show reducible configurations. We provide an algorithm to allow Combinatorial Nullstellansatz extracting coefficients from large polynomials.
The slice decomposition of planar hypermaps
The slice decomposition is a bijective method for enumerating planar maps (graphs embedded in the sphere) with control over face degrees. In this paper, we extend the slice decomposition to the richer setting of hypermaps, naturally interpreted as properly face-bicolored maps, where the degrees of faces of each color can be controlled separately. This setting is closely related with the two-matrix model and the Ising model on random maps, which have been intensively studied in theoretical physics, leading to several enumerative formulas for hypermaps that were still awaiting bijective proofs.
Generally speaking, the slice decomposition consists in cutting along geodesics. A key feature of hypermaps is that the geodesics along which we cut are directed, following the canonical orientation of edges imposed by the coloring. This orientation requires us to introduce an adapted notion of slices, which admit a recursive decomposition that we describe.
Using these slices as fundamental building blocks, we obtain new bijective decompositions of several families of hypermaps: disks (pointed or not) with a monochromatic boundary, cylinders with monochromatic boundaries (starting with trumpets or cornets having one geodesic boundary), and disks with a "Dobrushin" boundary condition. In each case, the decomposition ultimately expresses these objects as sequences of slices whose increments correspond to downward-skip free (Lukasiewicz-type) walks subject to natural constraints.
Our approach yields bijective proofs of several explicit expressions for hypermap generating functions. In particular, we provide a combinatorial explanation of the algebraicity and of the existence of rational parametrizations for these generating functions when face degrees are bounded.
Using Erdős's methods to study Yorke's problems
In this paper, we study the possible bifurcations of periodic orbits by reducing them to graphs. The aforementioned allows to study the genericity of routes to chaos, as well as to analyze their possible complexity. In particular, our results show that there is no upper bound on the possible complexity. Moreover, it suggests general fermionic description via the virial expansion and universal description via the Rado graph.
The Ribes-Zalesskiĭ product theorem via foldings and extensions
We present an exposition of the Auinger-Steinberg proof of the Ribes-Zalesskiĭ product theorem for pro-V topologies, where V is a pseudovariety of groups closed under extensions with abelian kernel. This proof is self-contained and is accessible to those acquainted with coverings of graphs, and as such, it provides an easy entry point to various other deep theorems for which the product theorem is formally equivalent to.
Connectivity of contraction-critical graphs
Contraction-critical graphs came from the study of minimal counterexamples to Hadwiger's conjecture. A graph is $k$-contraction-critical if it is $k$-chromatic, but any proper minor is $(k-1)$-colorable. It is a long-standing result of Mader that $k$-contraction-critical graphs are $7$-connected for $k\ge7$. In this paper, we provide the improvement of Mader's result for small values of $k$. We show that $k$-contraction-critical graphs are $8$-connected for $k\ge17$, $9$-connected for $k\ge29$, and $10$-connected for $k\ge41$. As a corollary of one of our intermediate results, we also prove that every $30$-connected graph is $4$-linked.
Asymptotic structure. VI. Distant paths across a disc
Menger's theorem says that, for $k\ge0$, if $S, T$ are sets of vertices in a graph $G$, then either there are $k + 1$ vertex-disjoint paths between $S$ and $T$, or there is a set X of at most $k$ vertices such that every $S$-$T$ path passes through $X$. The ``coarse Menger conjecture'' proposed a generalization of Menger's theorem for paths that are far apart: for all $k, c$ there exists $\ell$, such that for every graph $G$ and subsets $S, T \subset V (G)$, either there are $k + 1$ paths between $S$ and $T$, pairwise with distance more than $c$, or there is a set $X \subset V (G)$ of at most $k$ vertices such that every $S$-$T$ path has distance at most $\ell$ from $X$. This is known to be false, but may be true if $G$ is planar. Here we show that it is true if $G$ is planar and all vertices in $S \cup T$ are on the infinite region. In this case, we also obtain a linear-time algorithm to test for the existence of $k+ 1$ paths between $S$ and $T$, pairwise with distance more than $c$.
Neighborhood Balanced k-Coloring of Graphs
For a simple graph G = (V, E) and a positive integer k greater than or equal to 2, a coloring of vertices of G using exactly k colors such that each vertex has an equal number of neighbors of each color is called neighborhood-balanced k-coloring, and the graph is called a neighborhood-balanced k-colored graph. This generalizes the notion of neighborhood balanced coloring of graphs introduced by Bryan Freyberg and Alison Marr (Graphs and Combinatorics, 2024). We derive some necessary/sufficient conditions for a graph to admit a neighborhood-balanced k-coloring and discuss several graph classes that admit such colorings. We also show that the problem of determining whether a given graph has such a coloring is NP-complete. Furthermore, we prove that there is no forbidden subgraph characterization for the class of neighborhood-balanced k-colorable graphs.
On the Induced Neighbourhood of Vertex-Transitive Graphs
We present new conditions that eliminate a large class of graphs from being induced neighbourhoods of finite vertex-transitive graphs.
Gathering in Non-Vertex-Transitive Graphs Under Round Robin
The Gathering problem for a swarm of robots asks for a distributed algorithm that brings such entities to a common place, not known in advance. We consider the well-known OBLOT model with robots constrained to move along the edges of a graph, hence gathering in one vertex, eventually. Despite the classical setting under which the problem has been usually approached, we consider the `hostile' case where: i) the initial configuration may contain multiplicities, i.e. more than one robot may occupy the same vertex; ii) robots cannot detect multiplicities. As a scheduler for robot activation, we consider the "favorable" round-robin case, where robots are activated one at a time.
Our objective is to achieve a complete characterization of the problem in the broad context of non-vertex-transitive graphs, i.e., graphs where the vertices are partitioned into at least two different classes of equivalence. We provide a resolution algorithm for any configuration of robots moving on such graphs, along with its correctness. Furthermore, we analyze its time complexity.
Planar Turán numbers of three configurations
The planar Tuán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is defined as the maximum number of edges in an $n$-vertex $H$-free planar graph. The exact value of $ex_{\mathcal{P}}(n,H)$ remains a mystery when $H$ is large (for example, $H$ is a long path or a long cycle), while tight bounds have been established for many small planar graphs such as cycles, paths, $Θ$-graphs and other small graphs formed by a union of them.
One representative graph among such union graphs is $K_1+L$ where $L$ is a linear forest without isolated vertices.
Previous works solved the cases when $L$ is a path or a matching.
In this work, we first investigate the planar Turán number of the graph $K_1+L$ when $L$ is the disjoint union of a $P_2$ and $P_3$.
Equivalently, $K_1+L$ represents a specific configuration formed by combining a $C_3$ and a $Θ_4$.
We further consider the planar Turán numbers of the all graphs obtained by combining $C_3$ and $Θ_4$. Among the six possible such configurations, three have been resolved in earlier works. For the remaining three configurations (including
$K_1+(P_2\dot{\cup}P_3)$), we derive tight bounds. Furthermore, we completely characterize all extremal graphs for the remaining two of these three cases.
Separable convex optimization over indegree polytopes
We study egalitarian (acyclic) orientations of undirected graphs under indegree-based objectives, such as minimizing the $\varphi$-sum of indegrees for a strictly convex function $\varphi$, decreasing minimization (dec-min), and increasing maximization (inc-max). In the non-acyclic setting of Frank and Murota (2022), a single orientation simultaneously optimizes these three objectives, however, restricting to acyclic orientations confines us to the corners of the indegree polytope, where these fairness objectives do diverge. We establish strong hardness results across a broad range of settings: minimizing the $\varphi$-sum of indegrees is NP-hard for every discrete strictly convex function $\varphi$; dec-min and inc-max are NP-hard for every indegree bound $k \geq 2$, as well as without a bound; and the complementary inc-min and dec-max problems are NP-hard even on $3$-regular graphs. On the algorithmic side, we give a polynomial-time algorithm for minimizing the maximum weighted indegree via a weighted smallest-last ordering. We also provide an exact exponential-time algorithm for minimizing general separable discrete convex objectives over indegrees, and a polynomial-time algorithm for the non-acyclic case. Finally, for maximizing the sum of the products of indegrees and outdegrees, we prove NP-hardness on graphs of maximum degree $4$, give an algorithm for maximum degree $3$, and provide a $3$-approximation algorithm. Our results delineate the algorithmic frontier of convex integral optimization over indegree (base-)polytopes, and highlight both theoretical consequences and practical implications, notably for scheduling and deadlock-free routing.
A Composition-Based Approach to EKR Problems
Let $\mathcal{A}$ be a family of subsets of a finite set. A subfamily of $\mathcal{A}$ is said to be intersecting when any two of its members contain at least one common element. We say that $\mathcal{A}$ is an Erd{\H o}s-Ko-Rado (EKR) family if, for every element $x$ of the set, the subfamily consisting of all members of $\mathcal{A}$ that contain $x$ has the maximum cardinality among all intersecting subfamilies of $\mathcal{A}$.
If these subfamilies are the only maximum intersecting subfamilies of $\mathcal{A}$, then $\mathcal{A}$ is called a strong EKR family. In this article, we introduce a compositional framework to establish the EKR and strong EKR properties in set systems when some subfamilies are known to satisfy the EKR or strong EKR properties. Our method is powerful enough to yield simpler proofs for several existing results, including those derived from Katona's cycle method (1968), Borg and Meagher's admissible ordering method (2016), related results on the family of permutations studied by Frankl and Deza (1977) and the family of perfect matchings of complete graphs of even order investigated by Meagher and Moura (2005). To demonstrate the applicability and effectiveness of our method when other existing methods have not been successful, we show that for every fixed $r$-uniform hypergraph $H$ and all sufficiently large integers $n$, the family of all subhypergraphs of the complete $r$-uniform hypergraph on $n$ vertices that are isomorphic to $H$ satisfies the strong EKR property, where two copies of $H$ are considered intersecting if they share at least one common hyperedge. Moreover, when the structural constraint $H$ is restricted to be a cycle, we establish a series of EKR results for families of cycles in the complete graph $K_n$ and the complete bipartite graph $K_{n,n}$ for a broad range of the parameter $n$.
Orientable triangular embeddings of the complete graphs on 36s vertices from noncyclic current graphs
Mark Jungerman's 1975 Ph.D. thesis presents several infinite families of index 2 current graphs that generate triangular embeddings of complete or near-complete graphs. However, there is one family mentioned, the complete graphs on $36s$ vertices, where Jungerman solves only the first case $s = 1$. We generalize this example to all $s \geq 1$.
Almost all graphs have no cospectral mate with fixed level
Haemers conjectures that almost all graphs are determined by their spectra. Suppose $G \sim \mathcal{G}(n, p)$ is a random graph with each edge chosen independently with probability $p$ with $0 < p < 1$. Then $$\Pr(G \text{ is not controllable}) + \sum_{\ell = 2}^{n^{n^2}} \Pr(G \text{ has a generalized copsectral mate with level } \ell) \to 0$$ as $n \to \infty$ implies that almost all graphs are determined by their generalized spectra. It is known that almost all graphs are controllable. We show that almost all graphs have no cospectral mate with fixed level $\ell$, namely $$\Pr(G \text{ has a copsectral mate with level } \ell) \to 0$$ as $n \to \infty$ for every $\ell \geq 2$. Consequently, $$\Pr(G \text{ has a generalized copsectral mate with level } \ell) \to 0$$ as $n \to \infty$ for every $\ell \geq 2$. The result can also be interpreted in the framework of random integral matrices.
A graph energy conjecture through the lenses of semidefinite programming
Let $G$ be a graph on $n$ vertices with independence number $α(G)$. Let $\mathcal{E}(G)$ be the energy of a graph, defined as the sum of the absolute values of the adjacency eigenvalues of $G$. Using Graffiti, Fajtlowicz conjectured in the 1980s that $$\frac{1}{2}\mathcal{E}(G) \geq n - α(G).$$ In this paper we derive a semidefinite program formulation of the graph energy, and we use it to obtain several results that constitute a first step towards proving this conjecture. In particular, we show that $$\frac{1}{2}\mathcal{E}(G) \geq n - χ_f(\overline{G}) \quad \text{ and } \quad \frac{1}{2}\mathcal{E}(G) \geq n - H(G),$$ where $χ_f(G)$ is the fractional chromatic number and $H(G)$ is Hoffman's ratio number. As a byproduct of the SDP formulation we obtain several lower bounds for the graph energy that improve and refine previous results by Hoffman (1970) and Nikiforov (2007). The later author showed that the conjecture holds for almost all graphs. However, the graph families known to attain the conjecture with equality are highly structured and do not represent typical graphs. Motivated by this, we prove the following bound in support of the conjecture for the class of highly regular graphs $$\frac{1}{2}\mathcal{E}(G) \geq n - \vartheta^-(G),$$ where $\vartheta^-$ is Schrijver's theta number.
Chromatic numbers with open and nonzero local modular constraints
In this paper, we explore chromatic numbers subject to various local modular constraints. For fixed $n$, we consider proper integer colorings of a graph $G$ for which the closed and open neighborhood sums have nonzero remainders modulo $n$ and provide bounds for the associated chromatic numbers $χ_n(G)$ and $χ_{(n)}(G)$, respectively. In addition, we provide bounds for $χ_{(n,k)}(G)$, the minimal order of a proper integer coloring of $G$ with open neighborhood sums congruent to $k\mod n$ (when such a coloring exists) as well as precise values for certain families of graphs.
A scheme-theoretic interpretation of generalized splines
Classical splines feature prominently in approximation theory and numerical analysis, while GKM theory arises in the study of equivariant cohomology. More recently, generalized splines have been studied which simultaneously generalize both classical splines and GKM theory. We show that generalized splines can be understood as a scheme-theoretic phenomenon, and establish the foundations for working with generalized splines via scheme theory. To do this, we first prove that the ring of generalized splines over an edge-labeled graph is isomorphic to the limit of a diagram associated to the edge-labeled graph. This is used to establish the connection to scheme theory, and in particular to secure a local--global principle for generalized splines.
The secondary aim of the paper is to catalog a variety of initial local--global results. We prove a module of multivariate generalized splines over $k[x,y]$ is free when an edge-labeled graph is locally trivial or determined by a cycle on a standard cover, provide criteria for generalized splines over UFDs to be finite projective, for multivariate generalized splines to be free, along with other results. The appendix includes a variety of examples which demonstrate precise experimental control over when a module of splines is free, with computer verification by Macaulay2. We conclude with an account of how deletion and contraction affect the spectrum of a ring of splines.
Golden Ratio Growth and Phase Transitions in Chromatic Counts of Circular Chord Graphs
We study generalized circular chord graphs $\mathcal C^{(k)}_n$, formed from a cycle $C_n$ by adding fixed-offset chords of length $k$ and, for even $n$, diameters. Using transfer matrix methods, we derive exact formulas for 3-colorings when $k=3$: for odd $n$, we obtain \[ P(\mathcal{C}_n^{(3)},3) = L_n + 2\cos\left(\frac{2πn}{3}\right) + 2s_n + 2 \] where $L_n$ is the Lucas sequence and $(s_n)$ satisfies $s_{n+3} = -s_{n+2} - s_n$, yielding golden-ratio asymptotic growth $\varphi^n + O(ρ^n)$ along odd indices. For even $n$, we construct a paired-window transfer matrix that exactly enumerates $P(\mathcal{C}_{2m}^{(3)},3)$ while capturing diameter constraints. The chromatic counts exhibit pronounced modular patterns across residue classes without universal vanishing rules (see OEIS A383733). We provide efficient algorithms for exact enumeration and demonstrate applications to cyclic scheduling problems where these results serve as feasibility engines for airline gate assignment, wireless sensor networks, and multiprocessor task coordination.
A graph theoretic proof of Cramer's rule
Published in Communications in Combinatorics and Optimization, 2025
• View Publication
• BIB
This note contains a new combinatorial proof of Cramer's rule based on the Gessel-Viennot-Lindstrom Lemma.