graph
35436 papers tagged with this keyword
Conflict-free chromatic number vs conflict-free chromatic index
A vertex coloring of a given graph $G$ is conflict-free if the closed neighborhood of every vertex contains a unique color (i.e. a color appearing only once in the neighborhood). The minimum number of colors in such a coloring is the conflict-free chromatic number of $G$, denoted $χ_{CF}(G)$. What is the maximum possible conflict-free chromatic number of a graph with a given maximum degree $Δ$? Trivially, $χ_{CF}(G)\leq χ(G)\leq Δ+1$, but it is far from optimal - due to results of Glebov, Szabó and Tardos, and of Bhyravarapu, Kalyanasundaram and Mathew, the answer in known to be $Θ\left(\ln^2Δ\right)$.
We show that the answer to the same question in the class of line graphs is $Θ\left(\lnΔ\right)$ - that is, the extremal value of the conflict-free chromatic index among graphs with maximum degree $Δ$ is much smaller than the one for conflict-free chromatic number. The same result for $χ_{CF}(G)$ is also provided in the class of near regular graphs, i.e. graphs with minimum degree $δ\geq αΔ$.
Discrete surfaces with length and area and minimal fillings of the circle
We propose to imagine that every Riemannian metric on a surface is discrete at the small scale, made of curves called walls. The length of a curve is its number of wall crossings, and the area of the surface is the number of crossings of the walls themselves. We show how to approximate a Riemannian (or self-reverse Finsler) metric by a wallsystem.
This work is motivated by Gromov's filling area conjecture (FAC) that the hemisphere minimizes area among orientable Riemannian surfaces that fill a circle isometrically. We introduce a discrete FAC: every square-celled surface that fills isometrically a $2n$-cycle graph has at least $n(n-1)/2$ squares. We prove that our discrete FAC is equivalent to the FAC for surfaces with self-reverse metric.
If the surface is a disk, the discrete FAC follows from Steinitz's algorithm for transforming curves into pseudolines. This gives a new proof of the FAC for disks with self-reverse metric. We also imitate Ivanov's proof of the same fact, using discrete differential forms. And we prove that the FAC holds for Möbius bands with self-reverse metric. For this we use a combinatorial curve shortening flow developed by de Graaf--Schrijver and Hass--Scott. With the same method we prove the systolic inequality for Klein bottles with self-reverse metric, conjectured by Sabourau--Yassine.
Self-reverse metrics can be discretized using walls because every normed plane satisfies Crofton's formula: the length of every segment equals the symplectic measure of the set of lines that it crosses. Directed 2-dimensional metrics have no Crofton formula, but can be discretized as well. Their discretization is a triangulation where the length of each edge is 1 in one way and 0 in the other, and the area of the surface is the number of triangles. This structure is a simplicial set, dual to a plabic graph. The role of the walls is played by Postnikov's strands.
Relative Turán Problems for Uniform Hypergraphs
Published
• View Publication
• BIB
For two graphs $F$ and $H$, the relative Turán number $\mathrm{ex}(H,F)$ is the maximum number of edges in an $F$-free subgraph of $H$. Foucaud, Krivelevich, and Perarnau \cite{FKP} and Perarnau and Reed \cite{PR} studied these quantities as a function of the maximum degree of $H$.
In this paper, we study a generalization for uniform hypergraphs. If $F$ is a complete $r$-partite $r$-uniform hypergraph with parts of sizes $s_1,s_2,\dots,s_r$ with each $s_{i + 1}$ sufficiently large relative to $s_i$, then with $1/β= \sum_{i = 2}^r \prod_{j = 1}^{i - 1} s_j$ we prove that for any $r$-uniform hypergraph $H$ with maximum degree $Δ$, \[\mathrm{ex}(H,F)\ge Δ^{-β- o(1)} \cdot e(H).\] This is tight as $Δ\rightarrow \infty$ up to the $o(1)$ term in the exponent, since we show there exists a $Δ$-regular $r$-graph $H$ such that $\mathrm{ex}(H,F)=O(Δ^{-β}) \cdot e(H)$. Similar tight results are obtained when $H$ is the random $n$-vertex $r$-graph $H_{n,p}^r$ with edge-probability $p$, extending results of Balogh and Samotij \cite{BS} and Morris and Saxton \cite{MS}.
Encoding labelled $p$-Riordan graphs by words and pattern-avoiding permutations
Published
• View Publication
• BIB
The notion of a $p$-Riordan graph generalizes that of a Riordan graph, which, in turn, generalizes the notions of a Pascal graph and a Toeplitz graph. In this paper we introduce the notion of a $p$-Riordan word, and show how to encode $p$-Riordan graphs by $p$-Riordan words. For special important cases of Riordan graphs (the case $p=2$) and oriented Riordan graphs (the case $p=3$) we provide alternative encodings in terms of pattern-avoiding permutations and certain balanced words, respectively. As a bi-product of our studies, we provide an alternative proof of a known enumerative result on closed walks in the cube.
Symmetric and Spectral Realizations of Highly Symmetric Graphs
A realization of a graph $G=(V,E)$ is a map $v\colon V\to\Bbb R^d$ that assigns to each vertex a point in $d$-dimensional Euclidean space. We study graph realizations from the perspective of representation theory (expressing certain symmetries), spectral graph theory (satisfying certain self-stress conditions) and rigidity theory (admitting deformations that do not alter the symmetry properties).
We explore the connections between these perspectives, with a focus on realizations of highly symmetric graphs (arc-transitive/distance-transitive) and the question of how much symmetry is necessary to ensure that a realization is balanced, spectral, rigid etc.
We include many examples to give a broad overview of the possibilities and restrictions of symmetric and spectral graph realizations.
Applications of rational difference equations to spectral graph theory: expanded version
Published
• View Publication
• BIB
We study a general class of recurrence relations that appear in the application of a matrix diagonalization procedure. We find general closed formula and determine analytical properties of the solutions. We finally apply these findings in several problems involving eigenvalues of graphs.
Noise sensitivity of critical random graphs
Published
• View Publication
• BIB
We study noise sensitivity of properties of the largest components $({\cal C}_j)_{j\geq 1}$ of the random graph ${\cal G}(n,p)$ in its critical window $p=(1+λn^{-1/3})/n$. For instance, is the property "$|{\cal C}_1|$ exceeds its median size" noise sensitive? Roberts and Şengül (2018) proved that the answer to this is yes if the noise $ε$ is such that $ε\gg n^{-1/6}$, and conjectured the correct threshold is $ε\gg n^{-1/3}$. That is, the threshold for sensitivity should coincide with the critical window---as shown for the existence of long cycles by the first author and Steif (2015).
We prove that for $ε\gg n^{-1/3}$ the pair of vectors $ n^{-2/3}(|{\cal C}_j|)_{j\geq 1}$ before and after the noise converges in distribution to a pair of i.i.d. random variables, whereas for $ε\ll n^{-1/3}$ the $\ell^2$-distance between the two goes to 0 in probability. This confirms the above conjecture: any Boolean function of the vector of rescaled component sizes is sensitive in the former case and stable in the latter.
We also look at the effect of the noise on the metric space $n^{-1/3}({\cal C}_j)_{j\geq 1}$. E.g., for $ε\geq n^{-1/3+o(1)}$, we show that the joint law of the spaces before and after the noise converges to a product measure, implying noise sensitivity of any property seen in the limit, e.g., "the diameter of ${\cal C}_1$ exceeds its median."
Towards constant-factor approximation for chordal / distance-hereditary vertex deletion
Published
• View Publication
• BIB
For a family of graphs $\mathcal{F}$, Weighted $\mathcal{F}$-Deletion is the problem for which the input is a vertex weighted graph $G=(V,E)$ and the goal is to delete $S\subseteq V$ with minimum weight such that $G\setminus S\in\mathcal{F}$. Designing a constant-factor approximation algorithm for large subclasses of perfect graphs has been an interesting research direction. Block graphs, 3-leaf power graphs, and interval graphs are known to admit constant-factor approximation algorithms, but the question is open for chordal graphs and distance-hereditary graphs.
In this paper, we add one more class to this list by presenting a constant-factor approximation algorithm when $F$ is the intersection of chordal graphs and distance-hereditary graphs. They are known as ptolemaic graphs and form a superset of both block graphs and 3-leaf power graphs above. Our proof presents new properties and algorithmic results on inter-clique digraphs as well as an approximation algorithm for a variant of Feedback Vertex Set that exploits this relationship (named Feedback Vertex Set with Precedence Constraints), each of which may be of independent interest.
Exact square coloring of subcubic planar graphs
Published in Discrete Applied Mathematics 293:74-89, 2021
• View Publication
• BIB
We study the exact square chromatic number of subcubic planar graphs. An exact square coloring of a graph G is a vertex-coloring in which any two vertices at distance exactly 2 receive distinct colors. The smallest number of colors used in such a coloring of G is its exact square chromatic number, denoted $χ^{\sharp 2}(G)$. This notion is related to other types of distance-based colorings, as well as to injective coloring. Indeed, for triangle-free graphs, exact square coloring and injective coloring coincide. We prove tight bounds on special subclasses of planar graphs: subcubic bipartite planar graphs and subcubic K 4-minor-free graphs have exact square chromatic number at most 4. We then turn our attention to the class of fullerene graphs, which are cubic planar graphs with face sizes 5 and 6. We characterize fullerene graphs with exact square chromatic number 3. Furthermore, supporting a conjecture of Chen, Hahn, Raspaud and Wang (that all subcubic planar graphs are injectively 5-colorable) we prove that any induced subgraph of a fullerene graph has exact square chromatic number at most 5. This is done by first proving that a minimum counterexample has to be on at most 80 vertices and then computationally verifying the claim for all such graphs.
Characterization of 4-critical triangle-free toroidal graphs
We give an exact characterization of 3-colorability of triangle-free graphs drawn in the torus, in the form of 186 "templates" (graphs with certain faces filled by arbitrary quadrangulations) such that a graph from this class is not 3-colorable if and only if it contains a subgraph matching one of the templates. As a consequence, we show every triangle-free graph drawn in the torus with edge-width at least six is 3-colorable, a key property used in an efficient 3-colorability algorithm for triangle-free toroidal graphs.
Big Ramsey degrees using parameter spaces
Published in Advances in Mathematics, 478, 110386 (2025)
• View Publication
• BIB
We show that the universal homogeneous partial order has finite big Ramsey degrees and discuss several corollaries. Our proof relies on parameter spaces and the Carlson-Simpson theorem rather than on (a strengthening of) the Halpern-Läuchli theorem and the Milliken tree theorem, which are typically used to bound big Ramsey degrees in the existing literature (originating from the work of Laver and Milliken).
This new technique has many additional applications. We show that the homogeneous universal triangle-free graph has finite big Ramsey degrees, providing a short proof of a recent result by Dobrinen. Moreover, generalizing an indivisibility (vertex partition) result of Nguyen van Thé and Sauer, we give an upper bound on big Ramsey degrees of metric spaces with finitely many distances. This leads to a new combinatorial argument for the oscillation stability of the Urysohn Sphere.
Oriented Riordan graphs and their fractal property
In this paper, we use the theory of Riordan matrices to introduce the notion of an oriented Riordan graph. The oriented Riordan graphs are a far-reaching generalization of the well known and well studied Toeplitz oriented graphs and tournament. The main focus in this paper is the study of structural properties of the oriented Riordan graphs which includes a fundamental decomposition theorem and fractal property. Finally, we introduce the generalization of the oriented Riordan graph who is called a $p$-Riordan graph.
Pattern avoidance in the matching pattern poset
A matching of the set $[2n]=\{ 1,2,\ldots ,2n\}$ is a partition of $[2n]$ into blocks with two elements, i.e. a graph on $[2n]$ such that every vertex has degree one. Given two matchings $σ$ and $τ$ , we say that $σ$ is a pattern of $τ$ when $σ$ can be obtained from $τ$ by deleting some of its edges and consistently relabelling the remaining vertices. This is a partial order relation turning the set of all matchings into a poset, which will be called the matching pattern poset. In this paper, we continue the study of classes of pattern avoiding matchings, initiated by Chen, Deng, Du, Stanley and Yan (2007), Jelinek and Mansour (2010), Bloom and Elizalde (2012). In particular, we work out explicit formulas to enumerate the class of matchings avoiding two new patterns, obtained by juxtaposition of smaller patterns, and we describe a recursive formula for the generating function of the class of matchings avoiding the lifting of a pattern and two additional patterns. Finally, we introduce the notion of unlabeled pattern, as a combinatorial way to collect patterns, and we provide enumerative formulas for two classes of matchings avoiding an unlabeled pattern of order three. In one case, the enumeration follows from an interesting bijection between the matchings of the class and ternary trees.
On color isomorphic subdivisions
Published
• View Publication
• BIB
Given a graph $H$ and an integer $k\geqslant 2$, let $f_{k}(n,H)$ be the smallest number of colors $C$ such that there exists a proper edge-coloring of the complete graph $K_{n}$ with $C$ colors containing no $k$ vertex-disjoint color isomorphic copies of $H$. In this paper, we prove that $f_{2}(n,H_{t})=Ω(n^{1+\frac{1}{2t-3}})$ where $H_{t}$ is the $1$-subdivision of the complete graph $K_{t}$. This answers a question of Conlon and Tyomkyn (arXiv: 2002.00921).
On triangles in derangement graphs
Published
• View Publication
• BIB
Given a permutation group $G$, the derangement graph $Γ_G$ of $G$ is the Cayley graph with connection set the set of all derangements of $G$. We prove that, when $G$ is transitive of degree at least $3$, $Γ_G$ contains a triangle.
The motivation for this work is the question of how large can be the ratio of the independence number of $Γ_G$ to the size of the stabilizer of a point in $G$. We give examples of transitive groups where this ratio is maximum.
Quantum stabilizer codes, lattices, and CFTs
Published in J. High Energ. Phys. 2021, 160 (2021)
• View Publication
• BIB
There is a rich connection between classical error-correcting codes, Euclidean lattices, and chiral conformal field theories. Here we show that quantum error-correcting codes, those of the stabilizer type, are related to Lorentzian lattices and non-chiral CFTs. More specifically, real self-dual stabilizer codes can be associated with even self-dual Lorentzian lattices, and thus define Narain CFTs. We dub the resulting theories code CFTs and study their properties. T-duality transformations of a code CFT, at the level of the underlying code, reduce to code equivalences. By means of such equivalences, any stabilizer code can be reduced to a graph code. We can therefore represent code CFTs by graphs. We study code CFTs with small central charge $c=n\leq 12$, and find many interesting examples. Among them is a non-chiral $E_8$ theory, which is based on the root lattice of $E_8$ understood as an even self-dual Lorentzian lattice. By analyzing all graphs with $n\leq 8$ nodes we find many pairs and triples of physically distinct isospectral theories. We also construct numerous modular invariant functions satisfying all the basic properties expected of the CFT partition function, yet which are not partition functions of any known CFTs. We consider the ensemble average over all code theories, calculate the corresponding partition function, and discuss its possible holographic interpretation. The paper is written in a self-contained manner, and includes an extensive pedagogical introduction and many explicit examples.
Charting the space of chemical nut graphs
Molecular graphs of unsaturated carbon frameworks or hydrocarbons pruned of hydrogen atoms, are chemical graphs. A chemical graph is a connected simple graph of maximum degree $3$ or less. A nut graph is a connected simple graph with a singular adjacency matrix that has one zero eigenvalue and a non-trivial kernel eigenvector without zero entries. Nut graphs have no vertices of degree $1$: they are leafless. The intersection of these two sets, the chemical nut graphs, is of interest in applications in chemistry and molecular physics, corresponding to structures with fully distributed radical reactivity and omniconducting behaviour at the Fermi level. A chemical nut graph consists of $v_2 \ge 0$ vertices of degree $2$ and an even number, $v_3 > 0$, of vertices of degree $3$. With the aid of systematic local constructions that produce larger nut graphs from smaller, the combinations $(v_3, v_2)$ corresponding to realisable chemical nut graphs are characterised. Apart from a finite set of small cases, and two simply defined infinite series, all combinations $(v_3, v_2 )$ with even values of $v_3 > 0$ are realisable as chemical nut graphs. Of these combinations, only $(20,0)$ cannot be realised by a planar chemical nut graph. The main result characterises the ranges of edge counts for chemical nut graphs of all orders $n$.
Induced subgraphs and tree decompositions I. Even-hole-free graphs of bounded degree
Published
• View Publication
• BIB
Treewidth is a parameter that emerged from the study of minor closed classes of graphs (i.e. classes closed under vertex and edge deletion, and edge contraction). It in some sense describes the global structure of a graph. Roughly, a graph has treewidth $k$ if it can be decomposed by a sequence of noncrossing cutsets of size at most $k$ into pieces of size at most $k+1$. The study of hereditary graph classes (i.e. those closed under vertex deletion only) reveals a different picture, where cutsets that are not necessarily bounded in size (such as star cutsets, 2-joins and their generalization) are required to decompose the graph into simpler pieces that are structured but not necessarily bounded in size. A number of such decomposition theorems are known for complex hereditary graph classes, including even-hole-free graphs, perfect graphs and others. These theorems do not describe the global structure in the sense that a tree decomposition does, since the cutsets guaranteed by them are far from being noncrossing. They are also of limited use in algorithmic applications.
We show that in the case of even-hole-free graphs of bounded degree the cutsets described in the previous paragraph can be partitioned into a bounded number of well-behaved collections. This allows us to prove that even-hole-free graphs with bounded degree have bounded treewidth, resolving a conjecture of Aboulker, Adler, Kim, Sintiari and Trotignon [arXiv:2008.05504]. As a consequence, it follows that many algorithmic problems can be solved in polynomial time for this class, and that even-hole-freeness is testable in the bounded degree graph model of property testing. In fact we prove our results for a larger class of graphs, namely the class of $C_4$-free odd-signable graphs with bounded degree.
The generalized Turán number of spanning linear forests
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a family of graphs. A graph $G$ is called \textit{$\mathcal{F}$-free} if for any $F\in \mathcal{F}$, there is no subgraph of $G$ isomorphic to $F$. Given a graph $T$ and a family of graphs $\mathcal{F}$, the generalized Turán number of $\mathcal{F}$ is the maximum number of copies of $T$ in an $\mathcal{F}$-free graph on $n$ vertices, denoted by $ex(n,T,\mathcal{F})$. A linear forest is a graph whose connected components are all paths or isolated vertices. Let $\mathcal{L}_{n,k}$ be the family of all linear forests of order $n$ with $k$ edges and $K^*_{s,t}$ a graph obtained from $K_{s,t}$ by substituting the part of size $s$ with a clique of the same size. In this paper, we determine the exact values of $ex(n,K_s,\mathcal{L}_{n,k})$ and $ex(n,K^*_{s,t},\mathcal{L}_{n,k})$. Also, we study the case of this problem when the \textit{"host graph"} is bipartite. Denote by $ex_{bip}(n,T,\mathcal{F})$ the maximum possible number of copies of $T$ in an $\mathcal{F}$-free bipartite graph with each part of size $n$. We determine the exact value of $ex_{bip}(n,K_{s,t},\mathcal{L}_{n,k})$. Our proof is mainly based on the shifting method.
Reconfiguration graphs of zero forcing sets
Published
• View Publication
• BIB
This paper begins the study of reconfiguration of zero forcing sets, and more specifically, the zero forcing graph. Given a base graph $G$, its zero forcing graph, $\mathscr{Z}(G)$, is the graph whose vertices are the minimum zero forcing sets of $G$ with an edge between vertices $B$ and $B'$ of $\mathscr{Z}(G)$ if and only if $B$ can be obtained from $B'$ by changing a single vertex of $G$. It is shown that the zero forcing graph of a forest is connected, but that many zero forcing graphs are disconnected. We characterize the base graphs whose zero forcing graphs are either a path or the complete graph, and show that the star cannot be a zero forcing graph. We show that computing $\mathscr{Z}(G)$ takes $2^{Θ(n)}$ operations in the worst case for a graph $G$ of order $n$.