graph
34516 papers tagged with this keyword
$A_α$-energy of graphs formed by some unary operations
Let $G $ be a graph on $p$ vertices with adjacency matrix $A(G)$ and degree matrix $D(G)$. For each $α\in [0, 1]$, the $A_α$-matrix is defined as $A_α(G) = αD(G) + (1 - α)A(G)$. In this paper, we compute the $A_α$-characteristic polynomial, $A_α$-spectra and $A_α$-energy of some non-regular graphs obtained from unary operations on graphs like middle graph, central graph, m-splitting, and closed splitting graph. Also, we determine the $A_α$-energy of regular graphs like m-shadow, closed shadow, extended bipartite double graph, iterated line graph and m-duplicate graph. Furthermore, we identified some graphs that are $A_α$-equieneregetic and $A_α$-borderenergetic.
On combinatorial structure and algebraic characterizations of distance-regular digraphs
Let $Γ=Γ(A)$ denote a simple strongly connected digraph with vertex set $X$, diameter $D$, and let $\{A_0,A:=A_1,A_2,\ldots,A_D\}$ denote the set of distance-$i$ matrices of $Γ$. Let $\{R_i\}_{i=0}^D$ denote a partition of $X\times X$, where $R_i=\{(x,y)\in X\times X\mid (A_i)_{xy}=1\}$ $(0\le i\le D)$. The digraph $Γ$ is distance-regular if and only if $(X,\{R_i\}_{i=0}^D)$ is a commutative association scheme. In this paper, we describe the combinatorial structure of $Γ$ in the sense of equitable partition, and from it we derive several new algebraic characterizations of such a graph, including the spectral excess theorem for distance-regular digraph. Along the way, we also rediscover all well-known algebraic characterizations of such graphs.
Minor Containment and Disjoint Paths in almost-linear time
We give an algorithm that, given graphs $G$ and $H$, tests whether $H$ is a minor of $G$ in time ${\cal O}_H(n^{1+o(1)})$; here, $n$ is the number of vertices of $G$ and the ${\cal O}_H(\cdot)$-notation hides factors that depend on $H$ and are computable. By the Graph Minor Theorem, this implies the existence of an $n^{1+o(1)}$-time membership test for every minor-closed class of graphs.
More generally, we give an ${\cal O}_{H,|X|}(m^{1+o(1)})$-time algorithm for the rooted version of the problem, in which $G$ comes with a set of roots $X\subseteq V(G)$ and some of the branch sets of the sought minor model of $H$ are required to contain prescribed subsets of $X$; here, $m$ is the total number of vertices and edges of $G$. This captures the Disjoint Paths problem, for which we obtain an ${\cal O}_{k}(m^{1+o(1)})$-time algorithm, where $k$ is the number of terminal pairs. For all the mentioned problems, the fastest algorithms known before are due to Kawarabayashi, Kobayashi, and Reed [JCTB 2012], and have a time complexity that is quadratic in the number of vertices of $G$.
Our algorithm has two main ingredients: First, we show that by using the dynamic treewidth data structure of Korhonen, Majewski, Nadara, Pilipczuk, and Sokołowski [FOCS 2023], the irrelevant vertex technique of Robertson and Seymour can be implemented in almost-linear time on apex-minor-free graphs. Then, we apply the recent advances in almost-linear time flow/cut algorithms to give an almost-linear time implementation of the recursive understanding technique, which effectively reduces the problem to apex-minor-free graphs.
Reconstructing a graph from the distance matrix of its boundary
A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices.
The boundary distance matrix $\hat{D}_G$ of a graph $G=([n],E)$ is the square matrix of order $κ$, being $κ$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$.
Given a square matrix $\hat{B}$ of order $κ$, we prove under which conditions $\hat{B}$ is the distance matrix $\hat{D}_T$ of the set of leaves of a tree $T$, which is precisely its boundary.
We show that if $G$ is either a block graph or a unicyclic graph, then $G$ is uniquely determined by the boundary distance matrix $\hat{D}_{G}$ of $G$ and we also conjecture that this statement holds for every connected graph $G$, whenever both the order $n$ and the boundary (and thus also the boundary distance matrix) of $G$ are prefixed.
Moreover, an algorithm for reconstructing a 1-block graph (resp., a unicyclic graph) from its boundary distance matrix is given, whose time complexity in the worst case is $O(κn)$ (resp., $O(n^2)$).
Balanced two-type annihilation: mean-field asymptotics
We consider an interacting particle system where equal-sized populations of two types of particles move by random walk steps on a graph, the two types may have different speeds, and meetings of opposite-type particles result in annihilation. The key quantity of interest is the expected extinction time. Even for the mean-field setting of complete graphs, the correct order of magnitude was not previously known. Under essentially optimal assumptions on the starting configuration, we determine not only the order of magnitude but also the asymptotics: the expected extinction time on $K_{2n}$ is $(2+o(1))n\log n$, independently of the relative speeds of the two types.
Dissipative particle systems on expanders
We consider a general framework for multi-type interacting particle systems on graphs, where particles move one at a time by random walk steps, different types may have different speeds, and may interact, possibly randomly, when they meet. We study the equilibrium time of the process, by which we mean the number of steps taken until no further interactions can occur. Under a rather general framework, we obtain high probability upper and lower bounds on the equilibrium time that match up to a constant factor and are of order $n\log n$ if there are order $n$ vertices and particles. We also obtain similar results for the balanced two-type annihilation model of chemical reactions; here, the balanced case (equal density of types) does not fit into our general framework and makes the analysis considerably more difficult. Our models do not admit any exact solution as for integrable systems or the duality approach available for some other particle systems, so we develop a variety of combinatorial tools for comparing processes in the absence of monotonicity.
Complexity of polytope diameters via perfect matchings
The Circuit diameter of polytopes was introduced by Borgwardt, Finhold and Hemmecke as a fundamental tool for the study of circuit augmentation schemes for linear programming and for estimating combinatorial diameters. Determining the complexity of computing the circuit diameter of polytopes was posed as an open problem by Sanità as well as by Kafer, and was recently reiterated by Borgwardt, Grewe, Kafer, Lee and Sanità.
In this paper, we solve this problem by showing that computing the circuit diameter of a polytope given in halfspace-description is strongly NP-hard. To prove this result, we show that computing the combinatorial diameter of the perfect matching polytope of a bipartite graph is NP-hard. This complements a result by Sanità (FOCS 2018) on the NP-hardness of computing the diameter of fractional matching polytopes and implies the new result that computing the diameter of a $\{0,1\}$-polytope is strongly NP-hard, which may be of independent interest. In our second main result, we give a precise graph-theoretic description of the monotone diameter of perfect matching polytopes and use this description to prove that computing the monotone (circuit) diameter of a given input polytope is strongly NP-hard as well.
Size Ramsey numbers of small graphs versus fans or paths
For two graphs $G_1$ and $G_2$, the size Ramsey number $\hat{r}(G_1,G_2)$ is the smallest positive integer $m$ for which there exists a graph $G$ of size $m$ such that for any red-blue edge-coloring of the graph $G$, $G$ contains either a red subgraph isomorphic to $G_1$, or a blue subgraph isomorphic to $G_2$. Let $P_n$ be a path with $n$ vertices, $nK_2$ a matching with $n$ edges, and $F_n$ a graph with $n$ triangles sharing exactly one vertex. If $G_1$ is a small fixed graph and $G_2$ denotes any graph from a graph class, one can sometimes completely determine $\hat{r}(G_1,G_2)$. Faudree and Sheehan confirmed all size Ramsey numbers of $P_3$ versus complete graphs in 1983. The next year Erdős and Faudree confirmed that of $2K_2$ versus complete graphs and complete bipartite graphs. We obtain three more Ramsey results of this type. For $n\ge 3$, we prove that $\hat{r}(P_3,F_n)=4n+4$ if $n$ is odd, and $\hat{r}(P_3,F_n)=4n+5$ if $n$ is even. This result refutes a conjecture proposed by Baskoro et al. We also show that $\hat{r}(2K_2,F_2)=12$ and $\hat{r}(2K_2,F_n)=5n+3$ for $n\ge 3$. In addition, we prove that $\hat{r}(2K_2,nP_m)=\min\{nm+1, (n+1)(m-1)\}$. This result verifies a conjecture posed by Vito and Silaban.
Average Nodal Count and the Nodal Count Condition for Graphs
The nodal edge count of an eigenvector of the Laplacian of a graph is the number of edges on which it changes sign. This quantity extends to any real symmetric $n\times n$ matrix supported on a graph $G$ with $n$ vertices. The average nodal count, averaged over all eigenvectors of a given matrix, is known to be bounded between $\frac{n-1}{2}$ and $\frac{n-1}{2}+β(G)$, where $β(G)$ is the first Betti number of $G$ (a topological quantity), and it was believed that generically the average should be around $\frac{n-1}{2}+β(G)/2$. We prove that this is not the case: the average is bounded between $\frac{n-1}{2}+β(G)/n$ and $\frac{n-1}{2}+β(G)-β(G)/n$, and we provide graphs and matrices that attain the upper and lower bounds for any possible choice of $n$ and $β$.
A natural condition on a matrix for defining the nodal count is that it has simple eigenvalues and non-vanishing eigenvectors. For any connected graph $G$, a generic real symmetric matrix supported on $G$ satisfies this nodal count condition. However, the situation for constant diagonal matrices is far more subtle. We completely characterize the graphs $G$ for which this condition is generically true, and show that if this is not the case, then any real symmetric matrix supported on $G$ with constant diagonal has a multiple eigenvalue or an eigenvector that vanishes somewhere. Finally, we discuss what can be said when this nodal count condition fails, and provide examples.
Matching-star size Ramsey numbers under connectivity constraint
Recently, Caro, Patkós, and Tuza (2022) introduced the concept of connected Turán number. We study a similar parameter in Ramsey theory. Given two graphs $G_1$ and $G_2$, the size Ramsey number $\hat{r}(G_1,G_2)$ refers to the smallest number of edges in a graph $G$ such that for any red-blue edge-coloring of $G$, either a red subgraph $G_1$ or a blue subgraph $G_2$ is present in $G$. If we further restrict the host graph $G$ to be connected, we obtain the connected size Ramsey number, denoted as $\hat{r}_c(G_1,G_2)$. Erdős and Faudree (1984) proved that $\hat r(nK_2,K_{1,m})=mn$ for all positive integers $m,n$. In this paper, we concentrate on the connected analog of this result. Rahadjeng, Baskoro, and Assiyatun (2016) provided the exact values of $\hat r_c(nK_2,K_{1,m})$ for $n=2,3$. We establish a more general result: for all positive integers $m$ and $n$ with $m\ge (n^2+2pn+n-3)/2$, we have $\hat r_c(nK_{1,p},K_{1,m})=n(m+p)-1$. As a corollary, $\hat r_c(nK_2,K_{1,m})=nm+n-1$ for $m\ge (n^2+3n-3)/2$. We also propose a conjecture for the interested reader.
Involutions in Coxeter groups
Published in Algebras and Representation Theory, volume 28 (2025), 647-667
• View Publication
• BIB
We combinatorially characterize the number $\mathrm{cc}_2$ of conjugacy classes of involutions in any Coxeter group in terms of higher rank odd graphs. This notion naturally generalizes the concept of odd graphs, used previously to count the number of conjugacy classes of reflections. We provide uniform bounds and discuss some extremal cases, where the number $\mathrm{cc}_2$ is smallest or largest possible. Moreover, we provide formulae for $\mathrm{cc}_2$ in free and direct products as well as for some finite and affine types, besides computing $\mathrm{cc}_2$ for all triangle groups, and all affine irreducible Coxeter groups of rank up to eleven.
A classification of overlapping clustering schemes for hypergraphs
Community detection in graphs is a problem that is likely to be relevant whenever network data appears, and consequently the problem has received much attention with many different methods and algorithms applied. However, many of these methods are hard to study theoretically, and they optimise for somewhat different goals. A general and rigorous account of the problem and possible methods remains elusive.
We study the problem of finding overlapping clusterings of hypergraphs, continuing the line of research started by Carlsson and Mémoli (2013) of classifying clustering schemes as functors. We extend their notion of representability to the overlapping case, showing that any representable overlapping clustering scheme is excisive and functorial, and any excisive and functorial clustering scheme is isomorphic to a representable clustering scheme.
We also note that, for simple graphs, any representable clustering scheme is computable in polynomial time on graphs of bounded expansion, with an exponent determined by the maximum independence number of a graph in the representing set. This result also applies to non-overlapping representable clustering schemes, and so may be of independent interest.
Spectral extremal graphs for fan graphs
A well-known result of Nosal states that a graph $G$ with $m$ edges and $λ(G) > \sqrt{m}$ contains a triangle. Nikiforov [Combin. Probab. Comput. 11 (2002)] extended this result to cliques by showing that if $λ(G) > \sqrt{2m(1-1/r)}$, then $G$ contains a copy of $K_{r+1}$. Let $C_k^+$ be the graph obtained from a cycle $C_k$ by adding an edge to two vertices with distance two, and let $F_k$ be the friendship graph consisting of $k$ triangles that share a common vertex. Recently, Zhai, Lin and Shu [European J. Combin. 95 (2021)], Sun, Li and Wei [Discrete Math. 346 (2023)], and Li, Lu and Peng [Discrete Math. 346 (2023)] proved that if $ m\ge 8$ and $λ(G) \ge \frac{1}{2} (1+\sqrt{4m-3})$, then $G$ contains a copy of $C_5,C_5^+$ and $F_2$, respectively, unless $G=K_2\vee \frac{m-1}{2}K_1$. In this paper, we give a unified extension by showing that such a graph contains a copy of $V_5$, where $V_5=K_1\vee P_4$ is the join of a vertex and a path on four vertices. Our result extends the aforementioned results since $C_5,C_5^+$ and $F_2$ are proper subgraphs of $V_5$. In addition, we prove that if $m\ge 33$ and $λ(G) \ge 1+ \sqrt{m-2}$, then $G$ contains a copy of $F_3$, unless $G=K_3\vee \frac{m-3}{3}K_1$. This confirms a conjecture on the friendship graph $F_k$ in the case $k=3$. Finally, we conclude some spectral extremal graph problems concerning the large fan graphs and wheel graphs.
Lower bounds for graph reconstruction with maximal independent set queries
We investigate the number of maximal independent set queries required to reconstruct the edges of a hidden graph. We show that randomised adaptive algorithms need at least $Ω(Δ^2 \log(n / Δ) / \log Δ)$ queries to reconstruct $n$-vertex graphs of maximum degree $Δ$ with success probability at least $1/2$, and we further improve this lower bound to $Ω(Δ^2 \log(n / Δ))$ for randomised non-adaptive algorithms. We also prove that deterministic non-adaptive algorithms require at least $Ω(Δ^3 \log n / \log Δ)$ queries.
This improves bounds of Konrad, O'Sullivan, and Traistaru, and answers one of their questions. The proof of the lower bound for deterministic non-adaptive algorithms relies on a connection to cover-free families, for which we also improve known bounds.
Improved Total Domination and Total Roman Domination in Unit Disk Graphs
Let $G=(V, E)$ be a simple undirected graph with no isolated vertex. A set $D_t\subseteq V$ is a total dominating set of $G$ if $(i)$ $D_t$ is a dominating set, and $(ii)$ the set $D_t$ induces a subgraph with no isolated vertex. The total dominating set of minimum cardinality is called the minimum total dominating set, and the size of the minimum total dominating set is called the total domination number ($γ_t(G)$). Given a graph $G$, the total dominating set (TDS) problem is to find a total dominating set of minimum cardinality. A Roman dominating function (RDF) on a graph $G$ is a function $f:V\rightarrow \{0,1,2\}$ such that each vertex $v\in V$ with $f(v)=0$ is adjacent to at least one vertex $u\in V$ with $f(u)=2$. A RDF $f$ of a graph $G$ is said to be a total Roman dominating function (TRDF) if the induced subgraph of $V_1\cup V_2$ does not contain any isolated vertex, where $V_i=\{u\in V|f(u)=i\}$. Given a graph $G$, the total Roman dominating set (TRDS) problem is to minimize the weight, $W(f)=\sum_{u\in V} f(u)$, called the total Roman domination number ($γ_{tR}(G)$). In this paper, we are the first to show that the TRDS problem is NP-complete in unit disk graphs (UDGs). Furthermore, we propose a $7.17\operatorname{-}$ factor approximation algorithm for the TDS problem and a $6.03\operatorname{-}$ factor approximation algorithm for the TRDS problem in geometric unit disk graphs. The running time for both algorithms is notably bounded by $O(n\log{k})$, where $n$ represents the number of vertices in the given UDG and $k$ represents the size of the independent set in (i.e., $D$ and $V_2$ in TDS and TRDS problems, respectively) the given UDG.
Toric Promotion with Reflections and Refractions
Inspired by recent work on refraction billiards in dynamics, we introduce a notion of refraction for combinatorial billiards. This allows us to define a generalization of toric promotion that we call toric promotion with reflections and refractions, which is a dynamical system defined via a graph $G$ whose edges are partitioned into a set of reflection edges and a set of refraction edges. This system is a discretization of a billiards system in which a beam of light can pass through, reflect off of, or refract through each toric hyperplane in a toric arrangement. Vastly generalizing the main theorem known about toric promotion, we give a simple formula for the orbit structure of toric promotion with reflections and refractions when $G$ is a forest. We also completely describe the orbit sizes when $G$ is a cycle with an even number of refraction edges; this result is new even for ordinary toric promotion (i.e., when there are no refraction edges). When $G$ is a cycle of even size with no reflection edges, we obtain an interesting instance of the cyclic sieving phenomenon.
Grid-drawings of graphs in three-dimensions
Using probabilistic methods, we obtain grid-drawings of graphs without crossings with low volume and small aspect ratio. We show that every $D$-degenerate graph on $n$ vertices can be drawn in $[m]^3$ where $m^3 = O(D^2 n\log n)$. In particular, every graph of bounded maximum degree can be drawn in a grid with volume $O(n \log n)$.
Locally finite graphs and their localization numbers
We study the Localization game on locally finite graphs trees, where each of the countably many vertices have finite degree. In contrast to the finite case, we construct a locally finite tree with localization number $n$ for any choice of positive integer $n$. Our examples have uncountably many ends, and we show that this is necessary by proving that locally finite trees with finitely or countably many ends have localization number at most 2. Finally, as is the case for finite graphs, we prove that any locally finite graph contains a subdivision where one cop can capture the robber.
Degree Sequence Optimization and Extremal Degree Enumerators
The degree sequence optimization problem is to find a subgraph of a given graph which maximizes the sum of given functions evaluated at the subgraph degrees. Here we study this problem by replacing degree sequences, via suitable nonlinear transformations, by suitable degree enumerators, and we introduce suitable degree enumerator polytopes.
We characterize their vertices, that is, the extremal degree enumerators, for complete graphs and some complete bipartite graphs, and use these characterizations to obtain simpler and faster algorithms for optimization over degree sequences for such graphs.
Deformation cones of graphical zonotopes for $K_4$-free graph
In this paper, we compute a triangulation of certain faces of the submodular cone. More precisely, graphical zonotopes are generalized permutahedra, and hence their deformation cones are faces of the submodular cone. We give a triangulation of these faces for graphs without induced complete sub-graph on 4 vertices. We deduce the rays of these faces: Minkowski indecomposable deformations of these graphical zonotopes are segments and triangles.
Besides, computer experiments lead to examples of graphs without induced complete sub-graph on 5 vertices, whose graphical zonotopes have high dimensional Minkowski indecomposable deformations.