graph
34516 papers tagged with this keyword
Quantitative Supercritical Bounds for Disconnection in Bernoulli Site Percolation
For any infinite, connected, locally finite graph $G=(V,E)$, any parameter $p>p^{\mathrm{site}}_{c}(G)$, and any (finite or infinite) set of vertices $S\subset V$, we derive explicit exponential-type upper bounds on the disconnection probability $\mathbb{P}_{p}(S\nleftrightarrow\infty)$. The estimates are expressed in terms of a packing profile of $S$, encoded by a $(p,\varepsilon,c)$--packing number, which counts how many well-separated vertices in $S$ exhibit controlled local-to-global connectivity. The proof combines a local functional characterization of $p^{\mathrm{site}}_{c}$ from \cite{ZL24,ZL26} with a packing construction and an amplification-by-independence argument, in the direction of Problem~1.6 in \cite{DC20}.
Directed strongly regular graphs and divisible design graphs from Tatra association schemes
In this paper, we construct directed strongly regular graphs and divisible design graphs with new parameters merging some basic relations of so-called Tatra associations schemes. We also study the above association schemes, their fusions and isomorphisms.
Planar Site Percolation, End Structure, and the Benjamini-Schramm Conjecture
Let $G$ be an infinite, connected, locally finite planar graph and consider i.i.d.\ Bernoulli$(p)$ site percolation. Write $p_c^{\mathrm{site}}(G)$ and $p_u^{\mathrm{site}}(G)$ for the critical and uniqueness thresholds. Using a well--separated Freudenthal embedding $G\hookrightarrow\mathbb S^2$, we introduce a cycle--separation equivalence on ends and associated ``directional'' thresholds $p^{\mathrm{site}}_{c,F}(G)$.
When the set of end--equivalence classes is countable, we show that $p_c^{\mathrm{site}}(G)=\inf_F p^{\mathrm{site}}_{c,F}(G)$ and that for every $p\in\bigl(\tfrac12,\,1-p_c^{\mathrm{site}}(G)\bigr)$ there are almost surely infinitely many infinite open clusters. Combined with the $0/\infty$ theorem of Glazman--Harel--Zelesko for $p\le \tfrac12$, this yields non--uniqueness throughout the full coexistence interval $\bigl(p_c^{\mathrm{site}}(G),\,1-p_c^{\mathrm{site}}(G)\bigr)$, and hence $p_u^{\mathrm{site}}(G)\ge 1-p_c^{\mathrm{site}}(G)$ in this setting. This resolves the extension problem posed by Glazman--Harel--Zelesko for the upper half of the coexistence regime under a natural countability hypothesis.
In contrast, for graphs with uncountably many end--equivalence classes we give criteria guaranteeing infinitely many infinite clusters above criticality, and we construct an explicit locally finite planar graph of minimum degree at least $7$ for which $p_u^{\mathrm{site}}(G)<1-p_c^{\mathrm{site}}(G)$. Consequently, the Benjamini--Schramm conjecture (Conjecture 7 in \cite{bs96}) that planarity together with minimal vertex degree at least 7 forces infinitely many infinite clusters for all $p\in(p_c,1-p_c)$ does not hold in full generality.
Our proofs combine a cutset characterization of $p_c^{\mathrm{site}}$ with a planar alternating--arm exploration organized by an end--adapted boundary decomposition.
Combinatorial properties of holographic entropy inequalities
A holographic entropy inequality (HEI) is a linear inequality obeyed by Ryu-Takayanagi holographic entanglement entropies, or equivalently by the minimum cut function on weighted graphs. We establish a new combinatorial framework for studying HEIs, and use it to prove several properties they share, including two majorization-related properties as well as a necessary and sufficient condition for an inequality to be an HEI. We thereby resolve all the conjectures presented in [arXiv:2508.21823], proving two of them and disproving the other two. In particular, we show that the null reduction of any superbalanced HEI passes the majorization test defined in [arXiv:2508.21823], thereby providing strong new evidence that all HEIs are obeyed in time-dependent holographic states.
Convex combination of first and second eigenvalues of trees
For a graph $G$, let $λ_1(G)$ and $λ_2(G)$ denote the largest and the second largest adjacency eigenvalue of $G$. The sum $λ_1(G) + λ_2(G)$ is called the \emph{spectral sum} of $G$. We investigate the spectral sum of trees of order $n$ and determine the extremal trees that achieve maximum/minimum. Moreover, for any $α\in [0,1]$, we determine the extremal trees which maximize the convex combination $αλ_1 + (1-α)λ_2$ in the class of $n$-vertex trees.
Advances on two spectral conjectures regarding booksize of graphs
The \emph{booksize} $ \mathrm{bk}(G) \) of a graph $ G $, introduced by Erdős, refers to the maximum integer $ r $ for which $G$ contains the book $ B_r $ as a subgraph. This paper investigates two open problems in spectral graph theory related to the booksize of graphs.
First, we prove that for any positive integer $r$ and any $ B_{r+1} $-free graph $ G $ with $ m \geq (9r)^2 $ edges, the spectral radius satisfies $ ρ(G) \leq \sqrt{m} $. Equality holds if and only if $ G $ is a complete bipartite graph. This result improves the lower bound on the booksize of Nosal graphs (i.e., graphs with $ ρ(G) > \sqrt{m} $) from the previously established $ \mathrm{bk}(G) > \frac{1}{144}\sqrt{m} $ to $ \mathrm{bk}(G) > \frac{1}{9}\sqrt{m} $, presenting a significant advancement in the booksize conjecture proposed Li, Liu, and Zhang.
Second, we show that for any positive integer $r$ and any non-bipartite $ B_{r+1} $-free graph $ G $ with $ m \geq (240r)^2 $ edges, the spectral radius $ρ$ satisfies $ρ^2<m-1+\frac{2}{ρ-1}$, unless $G$ is isomorphic to $S^+_{m,s}$ for some $s\in\{1,\ldots,r\}$. This resolves Liu and Miao's conjecture and further reveals an interesting phenomenon: even with a weaker spectral condition, $ρ^2\geq m-1+\frac2{ρ-1}$, we can still derive the supersaturation of the booksize for non-bipartite graphs.
On 3-Connected Planar Graphs with Unique Orientable Circuit Double Covers
A circuit double cover of a bridgeless graph is a collection of even subgraphs such that every edge is contained in exactly two subgraphs of the given collection. Such a circuit double cover describes an embedding of the corresponding graph onto a surface. In this paper, we investigate the well-known Orientable Strong Embedding Conjecture. This conjecture proposes that every bridgeless graph has a circuit double cover describing an embedding on an orientable surface. In a recent paper, we have proved that a 3-connected cubic planar graph G has exactly one orientable circuit double cover if and only if G is the dual graph of an Apollonian network. In this paper, we extend this result by demonstrating that this characterisation applies to any 3-connected planar graph, regardless of whether it is cubic.
Ramsey number of a cycle versus a graph of a given size
In this paper, we prove that for every $k$ and every graph $H$ with $m$ edges and no isolated vertices, the Ramsey number $R(C_k,H)$ is at most $2m+\lfloor \frac{k-1}{2} \rfloor$, provided $m$ is sufficiently large with respect to $k$. This settles a problem of Erdős, Faudree, Rousseau and Schelp.
On the characterization of geometric distance-regular graphs
In 2010, Koolen and Bang proposed the following conjecture: For a fixed integer $m \geq 2$, any geometric distance-regular graph with smallest eigenvalue $-m$, diameter $D \geq 3$ and $c_2 \geq 2$ is either a Johnson graph, a Grassmann graph, a Hamming graph, a bilinear forms graph, or the number of vertices is bounded above by a function of $m$. In this paper, we obtain some partial results towards this conjecture.
Coarsening Causal DAG Models
Directed acyclic graphical (DAG) models are a powerful tool for representing causal relationships among jointly distributed random variables, especially concerning data from across different experimental settings. However, it is not always practical or desirable to estimate a causal model at the granularity of given features in a particular dataset. There is a growing body of research on causal abstraction to address such problems. We contribute to this line of research by (i) providing novel graphical identifiability results for practically-relevant interventional settings, (ii) proposing an efficient, provably consistent algorithm for directly learning abstract causal graphs from interventional data with unknown intervention targets, and (iii) uncovering theoretical insights about the lattice structure of the underlying search space, with connections to the field of causal discovery more generally. As proof of concept, we apply our algorithm on synthetic and real datasets with known ground truths, including measurements from a controlled physical system with interacting light intensity and polarization.
The inducibility of Turán graphs
Let $I(F,n)$ denote the maximum number of induced copies of a graph $F$ in an $n$-vertex graph. The inducibility of $F$, defined as $i(F)=\lim_{n\to \infty} I(F,n)/\binom{n}{v(F)}$, is a central problem in extremal graph theory. In this work, we investigate the inducibility of Turán graphs $F$. This topic has been extensively studied in the literature, including works of Pippenger--Golumbic, Brown--Sidorenko, Bollobás--Egawa--Harris--Jin, Mubayi, Reiher, and the first author, and Yuster. Broadly speaking, these results resolve or asymptotically resolve the problem when the part sizes of $F$ are either sufficiently large or sufficiently small (at most four).
We complete this picture by proving that for every Turán graph $F$ and sufficiently large $n$, the value $I(F,n)$ is attained uniquely by the $m$-partite Turán graph on $n$ vertices, where $m$ is given explicitly in terms of the number of parts and vertices of $F$. This confirms a conjecture of Bollobás--Egawa--Harris--Jin from 1995, and we also establish the corresponding stability theorem. Moreover, we prove an asymptotic analogue for $I_{k+1}(F,n)$, the maximum number of induced copies of $F$ in an $n$-vertex $K_{k+1}$-free graph, thereby completely resolving a recent problem of Yuster. Finally, our results extend to a broader class of complete multipartite graphs in which the largest and smallest part sizes differ by at most on the order of the square root of the smallest part size.
(a,b)-Fibonacci-Legendre Cordial Graphs and k-Pisano-Legendre Primes
Let $p$ be an odd prime and let $F_i$ be the $i$th $(a,b)$-Fibonacci number with initial values $F_0=a$ and $F_1=b$. For a simple connected graph $G=(V,E)$, define a bijective function $f:V(G)\to \{0,1,\ldots,|V|-1\}$. If the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^*(uv)=\frac{1+([F_{f(u)}+F_{f(v)}]/p)}{2}$ whenever $F_{f(u)}+F_{f(v)}\not\equiv 0\pmod{p}$ and $f_p^*(uv)=0$ whenever $F_{f(u)}+F_{f(v)}\equiv 0\pmod{p}$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges labeled $i$ ($i=0,1$), then $f$ is called $(a,b)$-Fibonacci-Legendre cordial labeling modulo $p$. In this paper, the $(a,b)$-Fibonacci-Legendre cordial labeling of path graphs, star graphs, wheel graphs, and graphs under the operations join, corona, lexicographic product, cartesian product, tensor product, and strong product is explored in relation to $k$-Pisano-Legendre primes relative to $(a,b)$. We also present some properties of $k$-Pisano-Legendre primes relative to $(a,b)$ and numerical observations on its distribution, leading to several conjectures concerning their density and growth behavior.
Source localisation in simple random walks
We consider the problem of locating the source (starting vertex) of a simple random walk, given a snapshot of the set of edges (or vertices) visited in the first $n$ steps. Considering lattices $\mathbb{Z}^d$, in dimensions $d \geq 5$, we show that the source can be identified (a) with probability bounded away from $0$ using one guess, and (b) with probability arbitrarily close to $1$ using a constant number of guesses. On the other hand, for dimensions $d \leq 2$, we show that one cannot locate the source with positive constant probability. Our arguments apply more generally to strongly transient and recurrent simple random walks on vertex-transitive graphs.
On the $m$-graph of a finite Abelian Group
Let $H$ be a finite abelian (commutative) group of order $n \geq 2$, and $m >1$ be an integer. We define the $m$-graph of $H$, denoted by $m-G(H)$, as a simple undirected graph with vertex set $H$, and two distinct vertices, $a, b \in H$, are connected by an edge if and only if $a^m = b$ or $b^m = a$. Several results regarding the properties of the $m$-$G(H)$ have been established.
Linear strands of powers of certain binomial edge ideals
We provide a closed formula for the graded Betti numbers in the linear strands of all powers of binomial edge ideals $J_G$ arising from closed graphs $G$ that do not have the complete graph $K_4$ as an induced subgraph. We show that these agree with the corresponding Betti numbers for the powers of the lexicographic initial ideal of $J_G$, thereby confirming a conjecture of Ene--Rinaldo--Terai in a special case.
Chip-firing on the Lattice of Nonnegative Integer Points
Chip-firing on a directed graph is a game in which chips, a discrete commodity, are placed on the vertices of the graph and are transferred between vertices. In this paper, we study a chip-firing game on the Hasse diagram of the lattice of nonnegative integer points on the plane, where we start with $2^n$ chips at the origin. When we fire a vertex $v$, we send one chip to each out-neighbor. We fire until we reach a stable configuration, a distribution of chips where no vertex can fire.
We study the intermediate firing configuration: a table that assigns to each vertex the total number of chips that pass through it. We prove that the nonzero entries of the stable configuration correspond to the odd entries of the intermediate configuration. The intermediate configuration consists of three parts: the top triangle, the midsection, and the bottom triangle. We describe properties of each part. We study properties of each row and the number of rows of the intermediate configuration. We also explore properties of the difference tables, which are tables of first differences of each row of the intermediate firing configuration.
On the complexity of global Roman domination problem in graphs
A Roman dominating function of a graph $G=(V,E)$ is a labeling $f: V \rightarrow{} \{0 ,1, 2\}$ such that for each vertex $u \in V$ with $f(u) = 0$, there exists a vertex $v \in N(u)$ with $f(v) =2$. A Roman dominating function $f$ is a global Roman dominating function if it is a Roman dominating function for both $G$ and its complement $\overline{G}$. The weight of $f$ is the sum of $f(u)$ over all the vertices $u \in V$. The objective of Global Roman Domination problem is to find a global Roman dominating function with minimum weight. The objective of Global Roman Domination is to compute a global Roman dominating function of minimum weight.
In this paper, we study the algorithmic aspects of Global Roman Domination problem on various graph classes and obtain the following results.
1. We prove that Roman domination and Global Roman Domination problems are not computationally equivalent by identifying graph classes on which one is linear-time solvable, while the other is NP-complete.
2. We show that Global Roman Domination problem is NP-complete on split graphs, thereby resolving an open question posed by Panda and Goyal [Discrete Applied Mathematics, 2023].
3. We prove that Global Roman Domination problem is NP-complete on chordal bipartite graphs, planar bipartite graphs with maximum degree five and circle graphs.
4. On the positive side, we present a linear-time algorithm for Global Roman domination problem on cographs.
Line Multigraphs of Hypergraphs
A line multigraph is obtained from a hypergraph as follows: the vertices of the multigraph correspond to the hyperedges of the hypergraph, and the number of edges between two vertices is given by the number of vertices shared by the corresponding hyperedges. In this paper, we establish several structural and spectral properties of this class of multigraphs. More precisely, we show that important structural characteristics, such as connectivity, linearity, and regularity are, in some sense, preserved between a hypergraph and its line multigraph. We also prove that the eigenvalues of the line multigraph associated with a general hypergraph of rank $r$ are greater than or equal to $-r$, which generalizes a fundamental spectral property of line graphs. Furthermore, we provide sufficient conditions for $-r$ to be an eigenvalue of the line multigraph. Finally, we present applications of line multigraphs to the spectral theory of hypergraphs, including bounds for the signless Laplacian spectral radius of a hypergraph and a characterization of the signless Laplacian spectrum for a specific class of hypergraphs.
On generalized Turán problems for expansions
Given a graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by inserting $r-2$ new distinct vertices in each edge of $F$. Given $r$-uniform hypergraphs $\mathcal{H}$ and $\mathcal{F}$, the generalized Turán number, denoted by $\textrm{ex}_r(n,\mathcal{H},\mathcal{F})$, is the maximum number of copies of $\mathcal{H}$ in an $n$-vertex $r$-uniform hypergraph that does not contain $\mathcal{F}$ as a subhypergraph. In the case where $r=2$ (i.e., the graph case), the study of generalized Turán problems was initiated by Alon and Shikhelman [\textit{J. Combin. Theory Series B.} 121 (2016) 146--172]. Motivated by their work, we systematically study generalized Turán problems for expansions and obtain several general and exact results. In particular, for the non-degenerate case, we determine the exact generalized Turán number for expansions of complete graphs, and establish the asymptotics of the generalized Turán number for expansions of the vertex-disjoint union of complete graphs. For the degenerate case, we establish the asymptotics of generalized Turán numbers for expansions of several classes of forests, including star forests, linear forests and star-path forests.
Exact number of flips required to sort a burnt stack of pancakes
For the buffet, the waiter of a restaurant gets a large stack of pancakes from the overworked cook. As usual, one side is burnt, and as the level of batter decreases, the pancakes became smaller and smaller. Hence, the waiter ends up with a stack of one-sided burnt pancakes sorted by size, with the larger at the bottom and burnt side up. However, the waiter cannot serve them this way. He needs to turn all the burnt sides down, without changing the order. Having only a spatula, he can only perform flips to the top of the stack. How can he perform this transformation in a minimum number of flips? Having n pancakes, this problem can be modeled in the burnt pancake graph, having 2^n*n! vertices, where each possible stack of pancakes corresponds to a vertex expressed by a permutation of size n, where the pancakes are ordered by size, and the pancake numbers are multiplied by -1, if the corresponding pancake has the burnt side side up. An edge exists in this graph, if the corresponding stacks can be reached from each other by one flip. Let T(n) be the minimum number of flips to sort the stack of n pancakes (-1,...,-n). General burnt pancake sorting has been introduced by Bill Gates and Papadimitriou. The instance (-1,...,-n) has strong relevance because of its easy structure and as it has been shown to be a worst-case instance for several small n. Heydari and Sudborough gave the currently best upper bound of T(n), namely (3n+3)/2 for n = 3 mod 4, which later has been shown to be exact by a work of Cibulka. Except these two works, no progress regarding lower and upper bounds has been made until now. In our work, we present that (3n+3)/2 is also an upper bound of T(n) for n = 1 mod 4, which again matches the lower bound of Cibulka and thus is exact. The case of even n keeps an open problem, where two possible values for T(n) are possible, namely (3/2)n + 1 or (3/2)n + 2.