graph
35367 papers tagged with this keyword
Progress towards the two-thirds conjecture on locating-total dominating sets
Published in Discrete Mathematics 347 (2024), 114176
• View Publication
• BIB
We study upper bounds on the size of optimum locating-total dominating sets in graphs. A set $S$ of vertices of a graph $G$ is a locating-total dominating set if every vertex of $G$ has a neighbor in $S$, and if any two vertices outside $S$ have distinct neighborhoods within $S$. The smallest size of such a set is denoted by $γ^L_t(G)$. It has been conjectured that $γ^L_t(G)\leq\frac{2n}{3}$ holds for every twin-free graph $G$ of order $n$ without isolated vertices. We prove that the conjecture holds for cobipartite graphs, split graphs, block graphs and subcubic graphs.
Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs
For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal H}$-subgraph-free graphs (for finite sets ${\cal H}$) for problems that are solvable in polynomial time on graph classes of bounded treewidth, NP-complete on subcubic graphs, and whose NP-hardness is preserved under edge subdivision. While a lot of problems satisfy these conditions, there are also many problems that do not satisfy all three conditions and for which the complexity in ${\cal H}$-subgraph-free graphs is unknown. We study problems for which only the first two conditions of the framework hold (they are solvable in polynomial time on classes of bounded treewidth and NP-complete on subcubic graphs, but NP-hardness is not preserved under edge subdivision). In particular, we make inroads into the classification of the complexity of four such problems: Hamilton Cycle, $k$-Induced Disjoint Paths, $C_5$-Colouring and Star $3$-Colouring. Although we do not complete the classifications, we show that the boundary between polynomial time and NP-complete differs among our problems and also from problems that do satisfy all three conditions of the framework, in particular when we forbid certain subdivisions of the ``H''-graph (the graph that looks like the letter ``H''). Hence, we exhibit a rich complexity landscape among problems for ${\cal H}$-subgraph-free graph classes.
Shotgun assembly of random graphs
Published
• View Publication
• BIB
In the graph shotgun assembly problem, we are given the balls of radius $r$ around each vertex of a graph and asked to reconstruct the graph. We study the shotgun assembly of the Erdős-Rényi random graph $\mathcal G(n,p)$ for a wide range of values of $r$. We determine the threshold for reconstructibility for each $r\geq 3$, extending and improving substantially on results of Mossel and Ross for $r=3$. For $r=2$, we give upper and lower bounds that improve on results of Gaudio and Mossel by polynomial factors. We also give a sharpening of a result of Huang and Tikhomirov for $r=1$.
On graphs with eigenvectors in $\{1, -1, 0\}$ and the max $k$-cut problem
Published
• View Publication
• BIB
In this paper, we characterize all graphs with eigenvectors of the signless Laplacian and adjacency matrices with components equal to $\{- 1, 0, 1\}.$ We extend the graph parameter max $k$-cut to square matrices and prove a general sharp upper bound, which implies upper bounds on the max $k$-cut of a graph using the smallest signless Laplacian eigenvalue, the smallest adjacency eigenvalue, and the largest Laplacian eigenvalue of the graph. In addition, we construct infinite families of extremal graphs for the obtained upper bounds.
Incidence-free sets and edge domination in incidence graphs
Published
• View Publication
• BIB
A set of edges $Γ$ of a graph $G$ is an edge dominating set if every edge of $G$ intersects at least one edge of $Γ$, and the edge domination number $γ_e(G)$ is the smallest size of an edge dominating set. Expanding on work of Laskar and Wallis, we study $γ_e(G)$ for graphs $G$ which are the incidence graph of some incidence structure $D$, with an emphasis on the case when $D$ is a symmetric design. In particular, we show in this latter case that determining $γ_e(G)$ is equivalent to determining the largest size of certain incidence-free sets of $D$. Throughout, we employ a variety of combinatorial, probabilistic and geometric techniques, supplemented with tools from spectral graph theory.
On $k$-geodetic graphs and groups
Published
• View Publication
• BIB
We call a graph $k$-geodetic, for some $k\geq 1$, if it is connected and between any two vertices there are at most $k$ geodesics. It is shown that any hyperbolic group with a $k$-geodetic Cayley graph is virtually-free. Furthermore, in such a group the centraliser of any infinite order element is an infinite cyclic group. These results were known previously only in the case that $k=1$. A key tool used to develop the theorem is a new graph theoretic result concerning ``ladder-like structures'' in a $k$-geodetic graph.
New High Dimensional Expanders from Covers
Published
• View Publication
• BIB
We present a new construction of high dimensional expanders based on covering spaces of simplicial complexes. High dimensional expanders (HDXs) are hypergraph analogues of expander graphs. They have many uses in theoretical computer science, but unfortunately only few constructions are known which have arbitrarily small local spectral expansion.
We give a randomized algorithm that takes as input a high dimensional expander $X$ (satisfying some mild assumptions). It outputs a sub-complex $Y \subseteq X$ that is a high dimensional expander and has infinitely many simplicial covers. These covers form new families of bounded-degree high dimensional expanders. The sub-complex $Y$ inherits $X$'s underlying graph and its links are sparsifications of the links of $X$. When the size of the links of $X$ is $O(\log |X|)$, this algorithm can be made deterministic. Our algorithm is based on the groups and generating sets discovered by Lubotzky, Samuels and Vishne (2005), that were used to construct the first discovered high dimensional expanders. We show these groups give rise to many more ``randomized'' high dimensional expanders.
In addition, our techniques also give a random sparsification algorithm for high dimensional expanders, that maintains its local spectral properties. This may be of independent interest.
Linear spectral Turan problems for expansions of graphs with given chromatic number
Published in Acta Math. Appl. Sin. Engl. Ser. (2025)
• View Publication
• BIB
An $r$-uniform hypergraph is linear if every two edges intersect in at most one vertex. The $r$-expansion $F^{r}$ of a graph $F$ is the $r$-uniform hypergraph obtained from $F$ by enlarging each edge of $F$ with a vertex subset of size $r-2$ disjoint from the vertex set of $F$ such that distinct edges are enlarged by disjoint subsets. Let $ex_{r}^{lin}(n,F^{r})$ and $spex_{r}^{lin}(n,F^{r})$ be the maximum number of edges and the maximum spectral radius of all $F^{r}$-free linear $r$-uniform hypergraphs with $n$ vertices, respectively. In this paper, we present the sharp (or asymptotic) bounds of $ex_{r}^{lin}( n,F^{r})$ and $spex_{r}^{lin}(n,F^{r})$ by establishing the connection between the spectral radii of linear hypergraphs and those of their shadow graphs, where $F$ is a $(k+1)$-color critical graph or a graph with chromatic number $k$.
Equality on all #CSP Instances Yields Constraint Function Isomorphism via Interpolation and Intertwiners
Published
• View Publication
• BIB
A fundamental result in the study of graph homomorphisms is Lovász's theorem that two graphs are isomorphic if and only if they admit the same number of homomorphisms from every graph. A line of work extending Lovász's result to more general types of graphs was recently capped by Cai and Govorov, who showed that it holds for graphs with vertex and edge weights from an arbitrary field of characteristic 0. In this work, we generalize from graph homomorphism -- a special case of #CSP with a single binary function -- to general #CSP by showing that two sets $\mathcal{F}$ and $\mathcal{G}$ of arbitrary constraint functions are isomorphic if and only if the partition function of any #CSP instance is unchanged when we replace the functions in $\mathcal{F}$ with those in $\mathcal{G}$. We give two very different proofs of this result. First, we demonstrate the power of the simple Vandermonde interpolation technique of Cai and Govorov by extending it to general #CSP. Second, we give a proof using the intertwiners of the automorphism group of a constraint function set, a concept from the representation theory of compact groups. This proof is a generalization of a classical version of the recent proof of the Lovász-type result by Mančinska and Roberson relating quantum isomorphism and homomorphisms from planar graphs.
Approximating the chromatic polynomial is as hard as computing it exactly
Published
• View Publication
• BIB
We show that for any non-real algebraic number $q$ such that $|q-1|>1$ or $\Re(q)>\frac{3}{2}$ it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at $q$ on planar graphs. This implies \textsc{\#P}-hardness for all non-real algebraic $q$ on the family of all graphs. We moreover prove several hardness results for $q$ such that $|q-1|\leq 1$.
Our hardness results are obtained by showing that a polynomial time algorithm for approximately computing the chromatic polynomial of a planar graph at non-real algebraic $q$ (satisfying some properties) leads to a polynomial time algorithm for \emph{exactly} computing it, which is known to be hard by a result of Vertigan. Many of our results extend in fact to the more general partition function of the random cluster model, a well known reparametrization of the Tutte polynomial.
Row-Hamiltonian Latin squares and Falconer varieties
Published in Proc. London Math. Soc. (3) 128 (2024), e12575
• View Publication
• BIB
A \emph{Latin square} is a matrix of symbols such that each symbol occurs exactly once in each row and column. A Latin square $L$ is \emph{row-Hamiltonian} if the permutation induced by each pair of distinct rows of $L$ is a full cycle permutation. Row-Hamiltonian Latin squares are equivalent to perfect $1$-factorisations of complete bipartite graphs. For the first time, we exhibit a family of Latin squares that are row-Hamiltonian and also achieve precisely one of the related properties of being column-Hamiltonian or symbol-Hamiltonian. This family allows us to construct non-trivial, anti-associative, isotopically $L$-closed loop varieties, solving an open problem posed by Falconer in 1970.
The unique coclique extension property for apartments of buildings
Published in Innov. Incidence Geom. 20 (2023) 209-221
• View Publication
• BIB
We show that the Kneser graph of objects of a fixed type in a building of spherical type has the unique coclique extension property when the corresponding representation has minuscule weight and also when the diagram is simply laced and the representation is adjoint.
Beyond the broken tetrahedron
Published
• View Publication
• BIB
Here we consider the hypergraph Turán problem in uniformly dense hypergraphs as was suggested by Erdős and Sós. Given a $3$-graph $F$, the uniform Turán density $π_u(F)$ of $F$ is defined as the supremum over all $d\in[0,1]$ for which there is an $F$-free uniformly $d$-dense $3$-graph, where uniformly $d$-dense means that every linearly sized subhypergraph has density at least $d$. Recently, Glebov, Král', and Volec and, independently, Reiher, Rödl, and Schacht proved that $π_u(K_4^{(3)-})=\frac{1}{4}$, solving a conjecture by Erdős and Sós. Despite substantial attention, the uniform Turán density is still only known for very few hypergraphs. In particular, the problem due to Erdős and Sós to determine $π_u(K_4^{(3)})$ remains wide open.
In this work, we determine the uniform Turán density of the $3$-graph on five vertices that is obtained from $K_4^{(3)-}$ by adding an additional vertex whose link forms a matching on the vertices of $K_4^{(3)-}$. Further, we point to two natural intermediate problems on the way to determining $π_u(K_4^{(3)})$, and solve the first of these.
On the expansion constant and distance constrained colourings of hypergraphs
For any two non-negative integers h and k, h > k, an L(h, k)-colouring of a graph G is a colouring of vertices such that adjacent vertices admit colours that at least differ by h and vertices that are two distances apart admit colours that at least differ by k. The smallest positive integer δ such that G permits an L(h, k)-colouring with maximum colour δ is known as the L(h, k)-chromatic number (L(h, k)-colouring number) denoted by λ_{h,k}(G). In this paper, we discuss some interesting invariants in hypergraphs. In fact, we study the relation between the spectral gap and L(2, 1)-chromatic number of hypergraphs. We derive some inequalities which relates L(2, 1)-chromatic number of a k-regular simple graph to its spectral gap and expansion constant. The upper bound of L(h, k)-chromatic number in terms of various hypergraph invariants such as strong chromatic number, strong independent number and maximum degree is obtained. We determine the sharp upper bound for L(2, 1)-chromatic number of hypertrees in terms of its maximum degree. Finally, we conclude this paper with a discussion on L(2, 1)-colouring in cartesian product of some classes of hypergraphs.
Perfect state transfer in quantum walks on orientable maps
Published
• View Publication
• BIB
A discrete-time quantum walk is the quantum analogue of a Markov chain on a graph. Zhan [J. Algebraic Combin. 53(4):1187-1213, 2020] proposes a model of discrete-time quantum walk whose transition matrix is given by two reflections, using the face and vertex incidence relations of a graph embedded in an orientable surface. We show that the evolution of a general discrete-time quantum walk that consists of two reflections satisfies a Chebyshev recurrence, under a projection. For the vertex-face walk, we prove theorems about perfect state transfer and periodicity and give infinite families of examples where these occur. We bring together tools from algebraic and topological graph theory to analyze the evolution of this walk.
Odd Paths, Cycles and $T$-joins: Connections and Algorithms
Published
• View Publication
• BIB
Minimizing the weight of an edge set satisfying parity constraints is a challenging branch of combinatorial optimization as witnessed by the binary hypergraph chapter of Alexander Schrijver's book ``Combinatorial Optimization" (Chapter 80). This area contains relevant graph theory problems including open cases of the Max Cut problem and some multiflow problems. We clarify the interconnections between some of these problems and establish three levels of difficulties. On the one hand, we prove that the Shortest Odd Path problem in undirected graphs without cycles of negative total weight and several related problems are NP-hard, settling a long-standing open question asked by Lovász (Open Problem 27 in Schrijver's book ``Combinatorial Optimization''). On the other hand, we provide an efficient algorithm to the closely related and well-studied Minimum-weight Odd $T$-Join problem for non-negative weights: our algorithm runs in FPT time parameterized by $c$, where $c$ is the number of connected components in some efficiently computed minimum-weight $T$-join. If negative weights are also allowed, then finding a minimum-weight odd $\{s,t\}$-join is equivalent to the Minimum-weight Odd $T$-Join problem for arbitrary weights, whose complexity is still only conjectured to be polynomial-time solvable. The analogous problems for digraphs are also considered.
Complexity Framework For Forbidden Subgraphs I: The Framework
Published
• View Publication
• BIB
For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be explained by some common problem conditions. We propose such conditions for $HH$-subgraph-free graphs. For a set of graphs $HH$, a graph $G$ is $HH$-subgraph-free if $G$ does not contain any of graph from $H$ as a subgraph. Our conditions are easy to state. A graph problem must be efficiently solvable on graphs of bounded treewidth, computationally hard on subcubic graphs, and computational hardness must be preserved under edge subdivision of subcubic graphs. Our meta-classification says that if a graph problem satisfies all three conditions, then for every finite set $HH$, it is ``efficiently solvable'' on $HH$-subgraph-free graphs if $HH$ contains a disjoint union of one or more paths and subdivided claws, and is ``computationally hard'' otherwise. We illustrate the broad applicability of our meta-classification by obtaining a dichotomy between polynomial-time solvability and NP-completeness for many well-known partitioning, covering and packing problems, network design problems and width parameter problems. For other problems, we obtain a dichotomy between almost-linear-time solvability and having no subquadratic-time algorithm (conditioned on some hardness hypotheses). The proposed framework thus gives a simple pathway to determine the complexity of graph problems on $HH$-subgraph-free graphs. This is confirmed even more by the fact that along the way, we uncover and resolve several open questions from the literature.
Can the PageRank centrality be manipulated to obtain any desired ranking?
Published in Chaos 33, 083152 (2023)
• View Publication
• BIB
The significance of the PageRank algorithm in shaping the modern Internet cannot be overstated, and its Complex Network theory foundations continue to be a subject of research. In this article we carry out a systematic study of the structural and parametric controllability of PageRank's outcomes, translating a spectral Graph Theory problem into a geometric one, where a natural characterization of its rankings emerges. Furthermore, we show that the change of perspective employed can be applied to the biplex PageRank proposal, performing numerical computations on both real and synthetic network datasets to compare centrality measures used.
A note on graphs with purely imaginary per-spectrum
Published in Appl. Math. Comput. 475 (2024) 128754
• View Publication
• BIB
In 1983, Borowiecki and Jóźwiak posed the problem ``Characterize those graphs which have purely imaginary per-spectrum.'' This problem is still open. The most general result, although a partial solution, was given in 2004 by Yan and Zhang, who show that if $G$ is a bipartite graph containing no subgraph which is an even subdivision of $K_{2,3}$, then it has purely imaginary per-spectrum. Zhang and Li in 2012 proved that such graphs are planar and admit a Pfaffian orientation. In this article, we describe how to construct graphs with purely imaginary per-spectrum having a subgraph which is an even subdivision of $K_{2,3}$ (planar and nonplanar) using coalescence of rooted graphs.
Unicyclic graphs and the inertia of the distance squared matrix
Published
• View Publication
• BIB
A result of Bapat and Sivasubramanian gives the inertia of the distance squared matrix of a tree. We develop general tools on how pendant vertices and degree 2 vertices affect the inertia of the distance squared matrix and use these to give an alternative proof of this result. We further use these tools to extend this result to certain families of unicyclic graphs, and we explore how far these results can be extended.