graph
34516 papers tagged with this keyword
Large deviations of the empirical spectral measure of supercritical sparse Wigner matrices
Let $Ξ$ be the adjacency matrix of an Erdős-Rényi graph on $n$ vertices and with parameter $p$ and consider $A$ a $n\times n$ centered random symmetric matrix with bounded i.i.d. entries above the diagonal. When the mean degree $np$ diverges, the empirical spectral measure of the normalized Hadamard product $(A \circ Ξ)/\sqrt{np}$ converges weakly in probability to the semicircle law. In the regime where $p\ll 1$ and $ np \gg \log n$, we prove a large deviations principle for the empirical spectral measure with speed $n^2p$ and with a good rate function solution of a certain variational problem. The rate function reveals in particular that the only possible deviations at the exponential scale $n^2p$ are around measures coming from Quadratic Vector Equations. As a byproduct, we obtain a large deviations principle for the empirical spectral measure of supercritical Erdős-Rényi graphs.
On the uniqueness of compiling graphs under the parity transformation
In this article, we establish a mathematical framework that utilizes concepts from graph theory to formalize the parity transformation, an encoding strategy for compiling optimization problems on quantum devices. We introduce the transformation as a mapping that encompasses all possible compiled hypergraphs and investigate its uniqueness properties in more detail. Specifically, by introducing so-called loop labelings, we derive an alternative expression of the preimage of any set of compiled hypergraphs under this encoding procedure when all equivalence classes of graphs are being considered. We then deduce equivalent conditions for the injectivity of the parity transformation on any subset of all equivalences classes of graphs. Through concrete examples, we demonstrate that the parity transformation is not an injective mapping, and also introduce an important class of physical layouts and their corresponding set of constraints whose preimage is uniquely determined. In addition, we provide an algorithm which is based on classical algorithms from theoretical computer science and computes a compiled physical layout in this class in polynomial time.
A note on generalized crowns in linear r-graphs
An $r$-graph $H$ is a hypergraph consisting of a nonempty set of vertices $V$ and a collection of $r$-element subsets of $V$ we refer to as the edges of $H$. An $r$-graph $H$ is called linear if any two edges of $H$ intersect in at most one vertex. Let $F$ and $H$ be two linear $r$-graphs. If $H$ contains no copy of $F$, then $H$ is called $F$-free. The linear Turán number of $F$, denoted by $ex_r^{lin}(n,F)$, is the maximum number of edges in any $F$-free $n$-vertex linear $r$-graph. The crown $C_{13}$ (or $E_4$) is a linear 3-graph which is obtained from three pairwise disjoint edges by adding one edge that intersects all three of them in one vertex. In 2022, Gyárfás, Ruszinkó and Sárközy initiated the study of $ex_3^{lin}(n,F)$ for different choices of an acyclic 3-graph $F$. They determined the linear Turán numbers for all linear 3-graphs with at most 4 edges, except the crown. They established lower and upper bounds for $ex_3^{lin}(n,C_{13})$. In fact, their lower bound on $ex_3^{lin}(n,C_{13})$ is essentially tight, as was shown in a recent paper by Tang, Wu, Zhang and Zheng. In this paper, we generalize the notion of a crown to linear $r$-graphs for $r\ge 3$, and also generalize the above results to linear $r$-graphs.
On a problem concerning integer distance graphs
For $D$ being a subset of positive integers, the integer distance graph is the graph $G(D)$, whose vertex set is the set of integers, and edge set is the set of all pairs $uv$ with $|u-v| \in D$. It is known that $χ(G(D)) \leq |D|+1$.
This article studies the problem (which is motivated by a conjecture of Zhu): "Is it true that $χ(G(D)) = |D|+1$ implies $ω(G(D)) \geq |D|+1$, where $ω(H)$ is the clique number of $H$?". We give a negative answer to this question, by showing an infinite class of integer distance graphs with $χ(G(D))=|D|+1$ but $ω(G(D))=|D|-1$.
On the Second-Order Wiener Ratios of Iterated Line Graphs
The Wiener index W(G) of a graph G is the sum of distances between all unordered pairs of its vertices. Dobrynin and Mel'nikov [in: Distance in Molecular Graphs - Theory, 2012, p. 85-121] propose the study of estimates for extremal values of the ratio R_k(G) = W(L^k(G))/W(G) where L^k(G) denotes the k-th iterated line graph of G. Hriňáková, Knor and Škrekovski [Art Discrete Appl. Math. 1 (2018) #P1.09] prove that for each k>2, the path P_n has the smallest value of the ratio R_k among all trees of large order n, and they conjecture that the same holds for the case k=2. We give a counterexample of every order n>21 to this conjecture.
Weak rainbow saturation numbers of graphs
Published in Journal of Graph Theory, 2025
• View Publication
• BIB
For a fixed graph $H$, we say that an edge-colored graph $G$ is \emph{weakly $H$-rainbow saturated} if there exists an ordering $e_1, e_2, \ldots, e_m$ of $E\left(\overline{G}\right)$ such that, for any list $c_1, c_2, \ldots, c_m$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_i$ in color $c_i$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. The \emph{weak rainbow saturation number} of $H$, denoted by $rwsat(n,H)$, is the minimum number of edges in a weakly $H$-rainbow saturated graph on $n$ vertices. In this paper, we show that for any non-empty graph $H$, the limit $\lim_{n\to \infty} \frac{rwsat(n, H)}{n}$ exists. This answers a question of Behague, Johnston, Letzter, Morrison and Ogden [{\it SIAM J. Discrete Math.} (2023)]. We also provide lower and upper bounds on this limit, and in particular, we show that this limit is nonzero if and only if $H$ contains no pendant edges.
On stable assignments generated by choice functions of mixed type
We consider one variant of stable assignment problems in a bipartite graph endowed with nonnegative capacities on the edges and quotas on the vertices. It can be viewed as a generalization of the stable allocation problem introduced by BaHiou and Balinsky, which arises when strong linear orders of preferences on the vertices in the latter are replaced by weak ones. At the same time, our stability problem can be stated in the framework of a theory by Alkan and Gale on stable schedule matchings generated by choice functions of a wide scope. In our case, the choice functions are of a special, so-called mixed, type.
The main content of this paper is devoted to a study of rotations in our mixed model, functions on the edges determining ``elementary'' transformations between close stable assignments. These look more sophisticated compared with rotations in the stable allocation problem (which are generated by simple cycles). We efficiently construct a poset of rotations and show that the stable assignments are in bijection with the so-called closed functions for this poset; this gives rise to a ``compact'' affine representation for the lattice of stable assignments and leads to an efficient method to find a stable assignment of minimum cost.
Age of Gossip in Random and Bipartite Networks
In this paper we study gossip networks where a source observing a process sends updates to an underlying graph. Nodes in the graph communicate to their neighbors by randomly sending updates. Our interest is studying the version age of information (vAoI) metric over various classes of networks. It is known that the version age of $K_n$ is logarithmic, and the version age of $\overline{K_n}$ is linear. We study the question `how does the vAoI evolve as we interpolate between $K_n$ and $\overline{K_n}$' by studying Erdős-Reyni random graphs, random $d$-regular graphs, and bipartite networks. Our main results are proving the existence of a threshold in $G(n,p)$ from rational to logarithmic average version age, and showing $G(n,d)$ almost surely has logarithmic version age for constant $d$. We also characterize the version age of complete bipartite graphs $K_{L,R}$, when we let $L$ vary from $O(1)$ to $O(n)$.
Degree powers and number of stars in graphs with a forbidden broom
Given a graph $G$ with degree sequence $d_1,\dots, d_n$ and a positive integer $r$, let $e_r(G)=\sum_{i=1}^n d_i^r$. We denote by $\mathrm{ex}_r(n,F)$ the largest value of $e_r(G)$ among $n$-vertex $F$-free graphs $G$, and by $\mathrm{ex}(n,S_r,G)$ the largest number of stars $S_r$ in $n$-vertex $F$-free graphs. The \textit{broom} $B(\ell,s)$ is the graph obtained from an $\ell$-vertex path by adding $s$ new leaves connected to a penultimate vertex $v$ of the path.
We determine $\mathrm{ex}_r(n,B(\ell,s))$ for $r\ge 2$, any $\ell,s$ and sufficiently large $n$, proving a conjecture of Lan, Liu, Qin and Shi. We also determine $\mathrm{ex}(n,S_r,B(\ell,s))$ for $r\ge 2$, any $\ell,s$ and sufficiently large $n$.
Small Even Covers, Locally Decodable Codes and Restricted Subgraphs of Edge-Colored Kikuchi Graphs
Given a $k$-uniform hypergraph $H$ on $n$ vertices, an even cover in $H$ is a collection of hyperedges that touch each vertex an even number of times. Even covers are a generalization of cycles in graphs and are equivalent to linearly dependent subsets of a system of linear equations modulo $2$. As a result, they arise naturally in the context of well-studied questions in coding theory and refuting unsatisfiable $k$-SAT formulas. Analogous to the irregular Moore bound of Alon, Hoory, and Linial (2002), in 2008, Feige conjectured an extremal trade-off between the number of hyperedges and the length of the smallest even cover in a $k$-uniform hypergraph. This conjecture was recently settled up to a multiplicative logarithmic factor in the number of hyperedges (Guruswami, Kothari, and Manohar 2022 and Hsieh, Kothari, and Mohanty 2023). These works introduce the new technique that relates hypergraph even covers to cycles in the associated Kikuchi graphs. Their analysis of these Kikuchi graphs, especially for odd $k$, is rather involved and relies on matrix concentration inequalities.
In this work, we give a simple and purely combinatorial argument that recovers the best-known bound for Feige's conjecture for even $k$. We also introduce a novel variant of a Kikuchi graph which together with this argument improves the logarithmic factor in the best-known bounds for odd $k$. As an application of our ideas, we also give a purely combinatorial proof of the improved lower bounds (Alrabiah, Guruswami, Kothari and Manohar, 2023) on 3-query binary linear locally decodable codes.
Realizing trees of configurations in thin sets
Let $φ(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $α>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^φf(x)=\int_{φ(x,y)=t} f(y) ψ(y) dσ_{x,t}(y) \end{equation} map $L^2({\mathbb R}^d) \to L^2_α({\mathbb R}^d)$ for all $t>0$. Let $E$ be a compact subset of ${\mathbb R}^d$ for some $d \ge 2$, and suppose that the Hausdorff dimension of $E$ is $>d-α$. We show that any tree graph $T$ on $k+1$ ($k \ge 1$) vertices is \new{stably} realizable in $E$, in the sense that \new{for each $t$ in some open interval} there exist distinct $x^1, x^2, \dots, x^{k+1} \in E$ %and $t>0$ such that the $φ$-distance $φ(x^i, x^j)=t$ for all pairs $(i,j)$ corresponding to the edges of $T$.
We extend this result to trees whose edges are prescribed by more complicated point configurations, such as congruence classes of triangles.
Note on Min-k-Planar Drawings of Graphs
The k-planar graphs, which are (usually with small values of k such as 1, 2, 3) subject to recent intense research, admit a drawing in which edges are allowed to cross, but each one edge is allowed to carry at most k crossings. In recently introduced [Binucci et al., GD 2023] min-k-planar drawings of graphs, edges may possibly carry more than k crossings, but in any two crossing edges, at least one of the two must have at most k crossings. In both concepts, one may consider general drawings or a popular restricted concept of drawings called simple. In a simple drawing, every two edges are allowed to cross at most once, and any two edges which share a vertex are forbidden to cross. While, regarding the former concept, it is for k<=3 known (but perhaps not widely known) that every general k-planar graph admits a simple k-planar drawing and this ceases to be true for any k>=4, the difference between general and simple drawings in the latter concept is more striking. We prove that there exist graphs with a min-2-planar drawing, or with a min-3-planar drawing avoiding crossings of adjacent edges, which have no simple min-k-planar drawings for arbitrarily large fixed k.
Face numbers of triangulations of manifolds
In this paper we discuss face numbers of generalised triangulations of manifolds in arbitrary dimensions. This is motivated by the study of triangulations of simply connected $4$-manifolds: We observe that, for a triangulation $\mathcal{T}$ of a simply connected $4$-manifold $\mathcal{M}$ with $n$ pentachora, an upper bound on the number of vertices $v$ of $\mathcal{T}$ as a function of $n$ yields a lower bound for $n$ depending only on the second Betti number $β_2(\mathcal{M})$ of $\mathcal{M}$. Within this framework we conjecture that $v \leq \frac{n}{2}+4$, implying $n \geq 2β_2(\mathcal{M})$. In forthcoming work by the authors, this conjectured bound is shown to be almost tight for all values of $β_2(\mathcal{M})$, with a gap of at most two.
We extend our conjecture to arbitrary dimensions and show that an $n$-facet triangulation of an odd-dimensional $d$-manifold, $n \geq d$, can have at most $n + \frac{d-1}{2}$ vertices, and conjecture that, for $d$ even, the bound is $\frac{n}{2}+d$. We show that these (conjectured) bounds are (would be) tight for all odd (even) dimensions and all values of $n \geq d$. Finally, we give necessary conditions for the dual graph of $\mathcal{T}$ to satisfy our conjecture. We furthermore present families of $4$-dimensional pseudomanifolds with singularities in their edge links that have more than $\frac{n}{2}+4$ vertices, thereby proving that the manifold condition is necessary for our conjecture to hold.
Acyclic orientations and Hessenberg varieties
We exhibit a bijection between acyclic orientations of a Dyck graph and Tymoczko cells of a regular nilpotent Hessenberg variety. This implies the Shareshian-Wachs formula for the sum of the coefficients of the chromatic quasi-symmetric function of a Dyck graph in the elementary basis.
Generalized Cayley graphs and perfect code
Perfect code in Cayley graphs and Cayley sum graphs is studied extensively in recent years. In this paper, we consider perfect code in generalized Cayley graphs.
The degree-diameter problem for plane graphs with pentagonal faces
The degree-diameter problem consists of finding the maximum number of vertices $n$ of a graph with diameter $d$ and maximum degree $Δ$. This problem is well studied, and has been solved for plane graphs of low diameter in which every face is bounded by a 3-cycle (triangulations), and plane graphs in which every face is bounded by a 4-cycle (quadrangulations). In this paper, we solve the degree diameter problem for plane graphs of diameter 3 in which every face is bounded by a 5-cycle (pentagulations). We prove that if $Δ\geq 8$, then $n \leq 3Δ- 1$ for such graphs. This bound is sharp for $Δ$ odd.
Induced Turán problem in bipartite graphs
The classical extremal function for a graph $H$, $ex(K_n, H)$ is the largest number of edges in a subgraph of $K_n$ that contains no subgraph isomorphic to $H$. Note that defining $ex(K_n, H-ind)$ by forbidding induced subgraphs isomorphic to $H$ is not very meaningful for a non-complete $H$ since one can avoid it by considering a clique.
For graphs $F$ and $H$, let $ex(K_n, \{F, H-ind\})$ be the largest number of edges in an $n$-vertex graph that contains no subgraph isomorphic to $F$ and no induced subgraph isomorphic to $H$. Determining this function asymptotically reduces to finding either $ex(K_n, F)$ or $ex(K_n, H)$, unless $H$ is a biclique or both $F$ and $H$ are bipartite. Here, we consider the bipartite setting, $ex(K_{n,n}, \{F, H-ind\})$ when $K_n$ is replaced with $K_{n,n}$, $F$ is a biclique, and $H$ is a bipartite graph.
Our main result, a strengthening of a result by Sudakov and Tomon, implies that for any $d\geq 2$ and any $K_{d,d}$-free bipartite graph $H$ with each vertex in one part of degree either at most $d$ or a full degree, so that there are at most $d-2$ full degree vertices in that part, one has $ex(K_{n,n}, \{K_{t,t}, H-ind\}) = o(n^{2-1/d})$. This provides an upper bound on the induced Turán number for a wide class of bipartite graphs and implies in particular an extremal result for bipartite graphs of bounded VC-dimension by Janzer and Pohoata.
A structure theory for regular graphs with fixed smallest eigenvalue
In this paper we will give a structure theory for regular graphs with fixed smallest eigenvalue. As a consequence of this theory, we show that a $k$-regular graph with smallest eigenvalue $-λ$ has clique number linear in $k$ if $k$ is large with respect to $λ$.
Two-Point Concentration of the Domination Number of Random Graphs
We show that the domination number of the binomial random graph G_{n,p} with edge-probability p is concentrated on two values for p \ge n^{-2/3+\eps}, and not concentrated on two values for general p \le n^{-2/3}. This refutes a conjecture of Glebov, Liebenau and Szabo, who showed two-point concentration for p \ge n^{-1/2+\eps}, and conjectured that two-point concentration fails for p \ll n^{-1/2}.
The proof of our main result requires a Poisson type approximation for the probability that a random bipartite graph has no isolated vertices, in a regime where standard tools are unavailable (as the expected number of isolated vertices is relatively large). We achieve this approximation by adapting the proof of Janson's inequality to this situation, and this adaptation may be of broader interest.
Fast winning strategies for the attacker in eternal domination
Dominating sets in graphs are often used to model some monitoring of the graph: guards are posted on the vertices of the dominating set, and they can thus react to attacks occurring on the unguarded vertices by moving there (yielding a new set of guards, which may not be dominating anymore). A dominating set is eternal if it can endlessly resist to attacks. From the attacker's perspective, if we are given a non-eternal dominating set, the question is to determine how fast can we provoke an attack that cannot be handled by a neighboring guard. We investigate this question from a computational complexity point of view, by showing that this question is PSPACE-hard, even for graph classes where finding a minimum eternal dominating set is in P. We then complement this result by giving polynomial time algorithms for cographs and trees, and showing a connection with tree-depth for the latter. We also investigate the problem from a parameterized complexity perspective, mainly considering two parameters: the number of guards and the number of steps.