graph
34516 papers tagged with this keyword
Defective eigenvalues of the non-backtracking matrix
We consider graphs for which the non-backtracking matrix has defective eigenvalues, or graphs for which the matrix does not have a full set of eigenvectors. The existence of these values results in Jordan blocks of size greater than one, which we call nontrivial. We show a relationship between the eigenspaces of the non-backtracking matrix and the eigenspaces of a smaller matrix, completely classifying their differences among graphs with at most one cycle. Finally, we provide several constructions of infinite graph families that have nontrivial Jordan blocks for both this smaller matrix and the non-backtracking matrix.
The maximum sum of the sizes of all intersections within $m$-size families
For a family of sets $\mathcal{F}$, let $ω(\mathcal{F}):=\sum_{\{A,B\}\subset \mathcal{F}}|A\cap B|$. In this paper, we prove that provided $n$ is sufficiently large, for any $\mathcal{F}\subset \binom{[n]}{k}$ with $|\mathcal{F}|=m$, $ω(\mathcal{F})$ is maximized by the family consisting of the first $m$ sets in the lexicographical ordering on $\binom{[n]}{k}$. Compared to the maximum number of adjacent pairs in families, determined by Das, Gan and Sudakov in 2016, $ω(\mathcal{F})$ distinguishes the contributions of intersections of different sizes. Then our results is an extension of Ahlswede and Katona's results in 1978, which determine the maximum number of adjacent edges in graphs. Besides, since $ω(\mathcal{F})=\frac{1}{2}\left(\sum_{x\in [n]}|\{F\in \mathcal{F}:x\in F\}|^2-km\right)$ for $k$-uniform family with size $m$, our results also give a sharp upper bound of the sum of squares of degrees in a hypergraph.
Digraph Placement Games
This paper considers a natural ruleset for playing a partisan combinatorial game on a directed graph, which we call Digraph Placement. Given a digraph $G$ with a not necessarily proper $2$-coloring of $V(G)$, the Digraph Placement game played on $G$ by the players Left and Right, who play alternately, is defined as follows. On her turn, Left chooses a blue vertex which is deleted along with all of its out-neighbours. On his turn Right chooses a red vertex, which is deleted along with all of its out-neighbours. A player loses if on their turn they cannot move. We show constructively that Digraph Placement is a universal partisan ruleset; for all partisan combinatorial games $X$ there exists a Digraph Placement game, $G$, such that $G = X$. Digraph Placement and many other games including Nim, Poset Game, Col, Node Kayles, Domineering, and Arc Kayles are instances of a class of placement games that we call conflict placement games. We prove that $X$ is a conflict placement game if and only if it has the same literal form as a Digraph Placement game. A corollary of this is that deciding the winner of a Digraph Placement game is PSPACE-hard. Next, for a game value $X$ we prove bounds on the order of a smallest Digraph Placement game $G$ such that $G = X$.
Chromatic and achromatic numbers of unitary addition Cayley graphs
Let $R$ be a ring. The unitary addition Cayley graph of $R$, denoted $\mathcal{U}(R)$, is the graph with vertex $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y$ is a unit. We determine a formula for the clique number and chromatic number of such graphs when $R$ is a finite commutative ring with an odd number of elements. This includes the special case when $R$ is $\mathbb{Z}_n$, the integers modulo $n$, where these parameters had been found under the assumption that $n$ is even, or $n$ is a power of an odd prime. Additionally, we study the achromatic number of $\mathcal{U}( \mathbb{Z}_n )$ in the case that $n$ is the product of two primes. We prove that the achromatic number of $\mathcal{U} ( \mathbb{Z}_{3q})$ is equal to $\frac{3q+1}{2}$ when $q > 3$ is a prime. We also prove a lower bound that applies when $n = pq$ where $p$ and $q$ are distinct odd primes.
Proof of Lew's conjecture on the spectral gaps of simplicial complexes
As a generalization of graph Laplacians to higher dimensions, the combinatorial Laplacians of simplicial complexes have garnered increasing attention. Let $X$ be a simplicial complex on vertex set $V$ of size $n$, and let $X(k)$ denote the set of all $k$-dimensional simplices of $X$. The $k$-th spectral gap $μ_k(X)$ is the smallest eigenvalue of the reduced $k$-dimensional Laplacian of $X$. For any $k\geq -1$, Lew [J. Combin. Theory Ser. A 169 (2020) 105127] established a lower bound for $μ_k(X)$: $$μ_k(X)\geq (d+1)\left(\min_{σ\in X(k)}°_X(σ)+k+1\right)-dn\geq (d+1)(k+1)-dn,$$ where $°_X(σ)$ and $d$ denote the degree of $σ$ in $X$ and the maximal dimension of a missing face of $X$, respectively. In this paper, we identify the unique simplicial complex that achieves the lower bound of the $k$-th spectral gap, $(d+1)(k+1)-dn$, for some $k$, thereby confirming a conjecture proposed by Lew.
Isometric Cycles and a Generalization of Moore Graphs
The equator of a graph is the length of a longest isometric cycle. We bound the order $n$ of a graph from below by its equator $q$, girth $g$ and minimum degree $δ$ - and show that this bound is sharp when there exists a Moore graph with girth $g$ and minimum degree $δ$. The extremal graphs that attain our bound give an analogue of Moore graphs. We prove that these extremal `Moore-like' graphs are regular, and that every one of their vertices is contained in some maximum length isometric cycle. We show that these extremal graphs have a highly structured partition that is unique, and easily derived from any of its maximum length isometric cycles. We characterize the extremal graphs with girth 3 and 4, and those with girth 5 and minimum degree 3. We also bound the order of $C_4$-free graphs with given equator and minimum degree, and show that this bound is nearly sharp. We conclude with some questions and conjectures further relating our extremal graphs to cages and Moore graphs.
Topological Minors in Typical Lifts
An $\ell$-lift of a graph $G$ is any graph obtained by replacing every vertex of $G$ with an independent set of size $\ell$, and connecting every pair of two such independent sets that correspond to an edge in $G$ by a matching of size $\ell$. Graph lifts have found numerous interesting applications and connections to a variety of areas over the years. Of particular importance is the random graph model obtained by considering an $\ell$-lift of a graph sampled uniformly at random. This model was first introduced by Amit and Linial in 1999, and has been extensively investigated since. In this paper, we study the size of the largest topological clique in random lifts of complete graphs.
In 2006, Drier and Linial raised the conjecture that almost all $\ell$-lifts of the complete graph on $n$ vertices contain a subdivision of a clique of order $Ω(n)$ as a subgraph provided $\ell$ is at least linear in $n$. We confirm their conjecture in a strong form by showing that for $\ell \ge (1+o(1))n$, one can almost surely find a subdivision of a clique of order $n$. We prove that this is tight by showing that for $\ell \le (1-o(1))n$, almost all $\ell$-lifts do not contain subdivisions of cliques of order $n$.
Finally, for $2 \le \ell \ll n$, we show that almost all $\ell$-lifts of $K_n$ contain a subdivision of a clique on $(1-o(1))\sqrt{\frac{2n \ell}{1-1/\ell}}$ vertices and that this is tight up to the lower order term.
On full-separating sets and related codes in graphs
Published in Discrete Applied Mathematics, Volume 379, 30 January 2026, Pages 551-569
• View Publication
• BIB
A domination-based identification problem on a graph $G$ is one where the objective is to choose a subset $C$ of the vertex set of $G$ such that $C$ has both, a domination property, that is, $C$ is either a dominating or a total-dominating set of $G$, and a separation property, that is, any two distinct vertices of $G$ must have distinct closed or open neighborhoods in $C$. Such a set $C$ is often referred to as a code in the literature of identification problems. In this article, we introduce a new separation property, called full-separation, as it combines aspects of the two well-studied properties of closed- and open-separation. We study it in combination with both domination and total-domination and call the resulting codes full-separating dominating codes (or FD-codes for short) and full-separating total-dominating codes (or FTD-codes for short), respectively. Incidentally, FTD-codes have also been introduced in the literature of identification problems under the name of strongly identifying codes (or SID-codes for short) and under a differently formulated definition. In this paper, we address the conditions for the existence of FD- and FTD-codes, bounds for their size, their relation to codes of the other types and present some extremal cases for these bounds and relations. We further show that the problems of determining an FD- or an FTD-code of minimum cardinality in a graph are NP-hard. We also show that the cardinalities of minimum FD- and FTD-codes of any graph differ by at most one, but that it is NP-hard to decide whether or not they are equal for a given graph in general.
NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability
Published in Quantum 10, 1989 (2026)
• View Publication
• BIB
Mančinska and Roberson [FOCS'20] showed that two graphs are quantum isomorphic if and only if they admit the same number of homomorphisms from any planar graph. Atserias et al. [JCTB'19] proved that quantum isomorphism is undecidable in general, which motivates the study of its relaxations. In the classical setting, Roberson and Seppelt [ICALP'23] characterized the feasibility of each level of the Lasserre hierarchy of semidefinite programming relaxations of graph isomorphism in terms of equality of homomorphism counts from an appropriate graph class. The NPA hierarchy, a noncommutative generalization of the Lasserre hierarchy, provides a sequence of semidefinite programming relaxations for quantum isomorphism. In the quantum setting, we show that the feasibility of each level of the NPA hierarchy for quantum isomorphism is equivalent to equality of homomorphism counts from an appropriate class of planar graphs. Combining this characterization with the convergence of the NPA hierarchy, and noting that the union of these classes is the set of all planar graphs, we obtain a new proof of the result of Mančinska and Roberson [FOCS'20] that avoids the use of quantum groups. Moreover, this homomorphism indistinguishability characterization also yields a randomized polynomial-time algorithm deciding exact feasibility of each fixed level of the NPA hierarchy of SDP relaxations for quantum isomorphism.
Single-cell 3D genome reconstruction in the haploid setting using rigidity theory
Published in Journal of Mathematical Biology, Volume 90, article number 45, (2025)
• View Publication
• BIB
This article considers the problem of 3-dimensional genome reconstruction for single-cell data, and the uniqueness of such reconstructions in the setting of haploid organisms. We consider multiple graph models as representations of this problem, and use techniques from graph rigidity theory to determine identifiability. Biologically, our models come from Hi-C data, microscopy data, and combinations thereof. Mathematically, we use unit ball and sphere packing models, as well as models consisting of distance and inequality constraints. In each setting, we describe and/or derive new results on realisability and uniqueness. We then propose a 3D reconstruction method based on semidefinite programming and apply it to synthetic and real data sets using our models.
The largest normalized Laplacian eigenvalue and incidence balancedness of simplicial complexes
Published in Bull. Iran. Math. Soc. 51, 42 (2025)
• View Publication
• BIB
Let $K$ be a simplicial complex, and let $Δ_i^{up}(K)$ be the $i$-th up normalized Laplacian of $K$. Horak and Jost showed that the largest eigenvalue of $Δ_i^{up}(K)$ is at most $i+2$, and characterized the equality case by the orientable or non-orientable circuits. In this paper, by using the balancedness of signed graphs, we show that $Δ_i^{up}(K)$ has an eigenvalue $i+2$ if and only if $K$ has an $(i+1)$-path connected component $K'$ such that the $i$-th signed incidence graph $B_i(K')$ is balanced, which implies Horak and Jost's characterization. We also characterize the multiplicity of $i+2$ as an eigenvalue of $Δ_i^{up}(K)$, which generalizes the corresponding result in graph case. Finally we gave some classes of infinitely many simplicial complexes $K$ with $Δ_i^{up}(K)$ having an eigenvalue $i+2$ by using wedge, Cartesian product and duplication of motifs.
Kohayakawa-Nagle-R{ö}dl-Schacht conjecture for subdivisions
In this paper, we study the well-known Kohayakawa-Nagle-R{ö}dl-Schacht (KNRS) conjecture, with a specific focus on graph subdivisions. The KNRS conjecture asserts that for any graph $H$, locally dense graphs contain asymptotically at least the number of copies of $H$ found in a random graph with the same edge density. We prove the following results about $k$-subdivisions of graphs (obtained by replacing edges with paths of length $k+1$): (1). If $H$ satisfies the KNRS conjecture, then its $(2k-1)$-subdivision satisfies Sidorenko's conjecture, extending a prior result of Conlon, Kim, Lee and Lee; (2). If $H$ satisfies the KNRS conjecture, then its $2k$-subdivision satisfies a constant-fraction version of the KNRS conjecture; (3). If $H$ is regular and satisfies the KNRS conjecture, then its $2k$-subdivision also satisfies the KNRS conjecture. These findings imply that all balanced subdivisions of cliques satisfy the KNRS conjecture, improving upon a recent result of Bradač, Sudakov and Wigerson. Our work provides new insights into this pivotal conjecture in extremal graph theory.
Sum and integral sum graphs -- A survey
Frank Harary introduced the concepts of sum and integral sum graphs. A graph $G$ is a \textit{sum graph} if the vertices of $G$ can be labeled with distinct positive integers so that $e = uv$ is an edge of $G$ if and only if the sum of the labels on vertices $u$ and $v$ is also a label in $G.$ An \textit{integral sum graph} is also defined just as sum graph, the difference being that the labels may be any distinct integers. In this survey article, the authors bring out several properties of sum and integral sum graphs obtained by different authors.
Projective Rectangles: The Graph of Lines
A projective rectangle is like a projective plane that may have different lengths in two directions. We develop properties of the graph of lines, in which adjacency means having a common point, especially its strong regularity and clique structure. The main construction of projective rectangles, stated in a previous paper, gives rectangles whose graph of lines is a known strongly regular bilinear forms graph. That fact leads to a proof that the main construction does produce projective rectangles, and also gives a new representation of bilinear forms graphs. We conclude by mentioning a few simple graph properties, such as the chromatic number, which is not known, and a partial geometry obtained from the graph.
On vertex peripherians and Wiener index of graphs with fixed number of cut vertices
The distance of a vertex in a graph is the sum of distances from that vertex to all other vertices of the graph. The Wiener index of a graph is the sum of distances between all its unordered pairs of vertices. A graph has been obtained that contains a vertex achieving the maximum distance among all graphs on $n$ vertices with fixed number of cut vertices. Further the graphs having maximum Wiener index among all graphs on $n$ vertices with at most $3$ cut vertices have been characterised.
Information dissemination and confusion in signed networks
We introduce a model of information dissemination in signed networks. It is a discrete-time process in which uninformed actors incrementally receive information from their informed neighbors or from the outside. Our goal is to minimize the number of confused actors - that is, the number of actors who receive contradictory information. We prove upper bounds for the number of confused actors in signed networks and in equivalence classes of signed networks. In particular, we show that there are signed networks where, for any information placement strategy, almost 60\% of the actors are confused. Furthermore, this is also the case when considering the minimum number of confused actors within an equivalence class of signed graphs.
Group actions on codes in graphs
This is a chapter in a forthcoming book on completely regular codes in distance regular graphs. The chapter provides an overview, and some original results, on codes in distance regular graphs which admit symmetries via a permutation group acting on the vertices of the graph. The strongest notion of completely transitive codes is developed, as well as the more general notion of neighbour-transitive codes. The graphs considered are the Hamming, Johnson, and Kneser graphs and their q-analogues, as well as some graphs related to incidence structures.
FIID homomorphisms and entropy inequalities
We investigate the existence of FIID homomorphisms from regular trees to finite graphs. Using entropy inequalities we show that there are graphs with arbitrarily large chromatic number to which there is no FIID homomorphism from a 3-regular tree.
A note on kernel-perfect orientations and DP-colorings from derangement assignments
We prove a generalization of the well-known Bondy-Bopanna-Siegel Lemma to DP-colorings from a class of correspondence assignments which we call derangement assignments. Since DP-colorings from derangement assignments generalize zero-free list colorings of signed graphs, this yields an orientation theorem for zero-free signed list colorings, as well.
Tree Independence Number IV. Even-hole-free Graphs
We prove that the tree independence number of every even-hole-free graph is at most polylogarithmic in its number of vertices. More explicitly, we prove that there exists a constant c>0 such that for every integer n>1 every n-vertex even-hole-free graph has a tree decomposition where each bag has stability (independence) number at most c log^10 n. This implies that the Maximum Weight Independent Set problem, as well as several other natural algorithmic problems that are known to be NP-hard in general, can be solved in quasi-polynomial time if the input graph is even-hole-free.