graph
35175 papers tagged with this keyword
Revisiting Cases 2 and 11 of the Map Color Theorem
In 1968, Ringel and Youngs solved the remaining cases of the orientable Map Color Theorem by finding genus embeddings of the complete graphs $K_n$, for sufficiently large $n \equiv 2, 8, 11 \pmod{12}$. Following the approach previously explored by the author for $n \equiv 8 \pmod{12}$, we aim to streamline their constructions for $n \equiv 2, 11 \pmod{12}$ by finding families of current graphs with simpler patterns for the arc labelings.
Real $C$-, $G$-structures and sign-coherence of cluster algebras
We generalize the theory of integer $C$-, $G$-matrices in cluster algebras to the real case. By a skew-symmetrizing method, we can reduce the problem of skew-symmetrizable patterns to the one of skew-symmetric patterns. In this sense, we extend the sign-coherence of integer $C$-, $G$-matrices proved by Gross-Hacking-Keel-Kontsevich to a more general real class called of quasi-integer type. Furthermore, we give a complete classification of this type by a combinatorial method of real weighted quivers. However, the sign-coherence of real $C$-, $G$-matrices does not always hold in general. For this purpose, we classify all the rank $2$ case and the finite type case via the Coxeter diagrams. We also give two conjectures about the real exchange matrices and $C$-, $G$-matrices. Under these conjectures, the dual mutation, $G$-fan structure and synchronicity property hold. As an application, the isomorphism of several kinds of exchange graphs is studied.
Using dense graph limit theory to count cocycles of random simplicial complexes
We develop a limit theory for $1$-cochains of complete graphs with coefficients from a finite abelian group. We prove an analogue of the large deviation principle of Chatterjee and Varadhan for random cochains. We use these new tools to prove results about the homology of random $2$-dimensional simplicial complexes.
More specifically, we prove that if $T_n$ is a random $2$-dimensional determinantal hypertree on $n$ vertices and $p$ is any prime, then \[\frac{\dim H_1(T_n,\mathbb{F}_p)}{n^2}\] converges to zero in probability. The same result holds for random $1$-out 2-complexes.
On the sum of the largest and smallest eigenvalues of graphs with high odd girth
Published
• View Publication
• BIB
The sum $λ_1 + λ_n$ of the maximum and minimum eigenvalues, and the odd girth of a graph both measure bipartiteness. We seek to relate these measures. In particular, for an odd integer $k\geq 3$, let $γ_k$ denote the supremum of $\frac{λ_1 + λ_n}{n}$ over graphs without odd cycles of length less than $k$. The example of the $k$-cycle $C_k$ shows that $γ_k\geq Ω(k^{-3})$. In their recent work, Abiad, Taranchuk, and van Veluw showed that $γ_k\leq O(k^{-1})$ and asked to determine the asymptotics of $γ_k$. Using approximation theory, we show that $γ_k\leq O(k^{-3}\log^3 k)$, giving a tight upper bound up to a poly-logarithmic factor.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.