graph
35150 papers tagged with this keyword
Extremal graphs for the $k$-th eigenvalue
For a simple graph $G$ of order $n$, let $λ_1(G)\ge \cdots \ge λ_n(G)$ denote its adjacency eigenvalues. Hong's problem asks for the optimal upper bound for $λ_k(G)$. A recent theorem of Sivashankar gives, for every $k\ge3$, \[
λ_k(G)\le
\frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1, \] with sharp examples arising from maximal real equiangular tight frames. In this paper, we characterize the equality case. We also obtain an explicit combinatorial description of the extremal graphs for $λ_3$ and $λ_4$.
Proving a conjecture concerning chromatic number, size and least eigenvalue
Let $G$ be a simple nonempty graph with size $m$, chromatic number $χ$, and least eigenvalue $λ$. We prove that \[ χ(χ-1) \le (m+1-λ^2)+\sqrt{(m+1-λ^2)^2-4(λ^2-1)(λ^2-m)} \] with equality if and only if $G$ is either a complete graph or a complete bipartite graph, with possibly isolated vertices. The inequality was conjectured recently by Tang and Elphick in [Electron. J. Combin. 33 (2026), \#P2.65].
On the Independence Number of the Modular Product
The \emph{modular product} $G\diamond H$ of graphs $G$ and $H$ is a graph on vertex set $V(G)\times V(H)$. Two vertices $(g,h)$ and $(g',h')$ of $G\diamond H$ are adjacent if $g=g'$ and $hh'\in E(H)$, or $gg'\in E(G)$ and $h=h'$, or $gg'\in E(G)$ and $hh'\in E(H)$, or (for $g\neq g'$ and $h\neq h'$) $gg'\notin E(G)$ and $hh'\notin E(H)$. The independence number $α(G)$ of a graph $G$ is the maximum cardinality of a set of pairwise nonadjacent vertices in $G$. In this paper, we study the independence number of the modular product of graphs. We first structurally characterize all independent set of $G\diamond H$ which lead to the exact result on $α(G \diamond H)$. Special cases of this result lead to several sharp bounds and some exact results for $α(G \diamond H)$. Finally, we introduce a partition graph associated with $G \diamond H$ that provides a framework for constructing independent sets of the modular product from independent sets of its substructures.
Quality Control Algorithms for Pattern Counting
In recent work, Marcussen, Rubinfeld, and Sudan introduced the notion of quality control problems, which aim to capture the task of determining if a given input is truly random. Formally, their goal is to accept typical inputs from the specified distribution while rejecting every input whose value of a specified statistic is far from the distributional baseline. This captures the empirical practice of using specified statistics as a proxy for the quality of randomness. Empirical algorithms, however, have not exploited the asymmetry in the definition of quality control problems, which require soundness guarantees in the worst-case while only seeking average-case completeness. Their work abstracted a problem definition emphasizing this asymmetry and used it to give efficient quality control algorithms for assessing the randomness of graphs.
In this work, we introduce and study quality control problems over sequences, where the goal is to distinguish a sequence of i.i.d. characters from sequences where some specified pattern appears too often (or too infrequently) as a subsequence. We consider this problem in both the finite-alphabet setting and for real-valued sequences. We refer to the former setting as the pattern counting problem. In the latter case, the natural notion of a pattern is to consider the relative ordering of the characters in the subsequence, and we refer to this as the permutation pattern counting problem. Algorithms to approximately count (permutation) patterns of length $k$ in a worst-case sequence of length $n$ can provably require exponential in $k$ queries into the sequence. In contrast, we show that by taking advantage of the asymmetry in the definition of quality control, we give algorithms that run in poly$(k)$ time to solve these problems. We also prove that any quality control algorithm (over some natural distributions) requires superlinear queries in $k$.
An Improved Upper Bound for the Strong Odd Chromatic Number of Planar Graphs
A proper coloring of a graph is called a strong odd coloring if, for every
vertex \(v\) and every color appearing in the open neighborhood of \(v\),
that color appears an odd number of times in \(N(v)\). The corresponding
minimum number of colors is the strong odd chromatic number, denoted by
\(χ_{\mathrm{so}}(G)\). Caro et
al.~\cite{CaroPetrusevskiSkrekovskiTuzaStrongOdd} proved that every
planar graph has strong odd chromatic number at most \(388\). Manattu et
al.~\cite{ManattuVinayLakshmanan2026} later constructed planar graphs
with strong odd chromatic number \(17\) and asked whether larger values
are possible and whether the upper bound \(388\) can be improved. We
address these questions as follows. First, we improve the general upper
bound by proving that every planar graph \(G\) satisfies
\(χ_{\mathrm{so}}(G)\le 368\). This follows by improving the auxiliary
proper facially odd coloring bound for loopless \(2\)-connected plane
multigraphs from \(97\) colors to \(92\) colors and combining this with
the reduction of Caro et al. and the Four Color Theorem. Second, we
give a different explicit planar construction with
\(χ_{\mathrm{so}}(G)=20\), together with a self-contained proof of the
exact value. We emphasize that Goetze et
al.~\cite{GoetzeKluteKnauerParadaPenaUeckerdt2025} had already posted an
arXiv preprint in May 2025 containing a planar example with strong odd
chromatic number \(20\). Thus our construction is not a priority claim for
the value \(20\), but rather an independent and fully verified
construction whose value exceeds \(17\), the value that motivated
Problem~1 of Manattu et al.
Expected cost in Combinatorial Optimization under color constraints
We present an average case model of classical problems in combinatorial optimization where there are color constraints. In all cases we seek some (spanning) sub-structure of a complete graph of minimum cost. The edges are randomly colored either red or blue. We bias against the red edges by placing a bound on the number of them that are allowed in our structure. This bound will be lower w.h.p. than what would occur without discrimination. We examine the effect of this bias on the minimum cost of a desired structure. We consider minimum cost spanning trees, shortest paths, minimum cost perfect matchings and the asymmetric traveling salesperson problem.
Removable trees and matchings in $k$-connected and $k$-edge-connected graphs
T. Hasunuma (J. Graph Theory, 2023) conjectured that if $G$ is a $k$-connected (resp. $k$-edge-connected) graph with minimum degree $δ(G) \ge k + m - 1$, and $T$ is a tree of order $m$, then $G$ contains a removable copy of $T$, that is, a subtree $T'$ isomorphic to $T$ such that $G - E(T')$ is $k$-connected (resp. $k$-edge-connected). We prove (a strengthening of) this conjecture. We also consider removable matchings in graphs with high minimum degree. We show, among others, that if $G$ is a $k$-edge-connected graph on at least $2m$ vertices with minimum degree $δ(G) \ge k + m$, then there exists a matching $M$ of size $m$ in $G$ for which $G-M$ is $k$-edge-connected.
Molecules of an affine FPF $W$-graph and an asymptotic row-Beissinger correspondence
Kazhdan--Lusztig $W$-graphs encode the cell structure of Hecke algebras, while their bidirected connected components are called molecules. In finite type~$A$, the Robinson--Schensted correspondence describes cells and molecules, and Beissinger's row insertion constructs the common tableau associated with an involution. In affine type~$A$, the affine matrix-ball construction assigns an affine permutation a pair of tabloids together with a dominant weight, and Marberg introduced affine FPF $W$-graphs indexed by affine fixed-point-free involutions. We prove that, for an affine fixed-point-free involution, complete two-cycle truncations followed by finite row Beissinger insertion asymptotically recover both its common AMBC tabloid and its dominant weight. We also identify the bidirected edges of $Γ_n^{\m}$ with dual equivalence moves under AMBC, obtaining a classification of its molecule.
From b-Coloring to $b^*$-Coloring: Large Girth and Parameterized Complexity
A b-coloring is a proper vertex coloring such that every color class contains a vertex, a so-called b-vertex, which sees all colors in its closed neighborhood. This type of coloring has been intensively studied from both structural and algorithmic point of view. Recently, Zaker [DAM 2025] introduced the notion of a b*-coloring, which is a b-coloring in which there is a vertex that sees a b-vertex of every color in its closed neighborhood. The b*-chromatic number is the maximum integer k such that there is a b*-coloring with k colors.
We partially answer a question posed by Zaker and prove that graphs of girth at least 7 are b*-monotonic, which means that the b*-chromatic number does not increase by taking an induced subgraph. In addition, we discover a class of d-regular graphs of girth at least 5 with b*-chromatic number d+1, which strengthens a result about b-colorings by Dettlaff, Furmańczyk, Peterin, Roux, and Ziemann [AMC 2024].
We also study the parameterized complexity of finding b*-colorings, and show that for many structural parameters, the complexity coincides with that of finding b-colorings. In particular, the b*-chromatic number can be computed in polynomial time on any class of bounded clique-width. For most parameters, the translation from b-colorings is straightforward but for the feedback edge number, the FPT algorithm for b*-colorings is actually much simpler than that for b-colorings by Balabán [MFCS 2026].
$P$-polynomial coherent configurations
Suda introduced the notion of a $Q$-polynomial coherent configuration, which provides a natural and important concept. Subsequently, Lato introduced a notion of a $P$-polynomial coherent configuration and proved that every such configuration satisfying the definition has at most two fibers. Although Lato's definition is interesting, particularly because it characterizes distance-biregular graphs, we argue that an alternative definition is desirable. In this paper, we propose an alternative notion of $P$-polynomial coherent configurations that is naturally aligned with Suda's $Q$-polynomial framework. We show that every two-fiber coherent configuration that is $P$-polynomial in Lato's sense is also $P$-polynomial in our sense, whereas the converse does not hold. We further prove that every coherent configuration of type $(2,2;3)$, $(3,2;3)$ or $(3,3;3)$ is $P$-polynomial in our sense. In addition, we present three families of $P$-polynomial coherent configurations with an arbitrary number of fibers: those arising from tight Euclidean $t$-designs in $\mathbb R^2$, the Terwilliger algebra of $H(n,2)$, and the set of all subspaces of $\mathbb F_q^n$. Finally, we give an equivalent condition for the cross-block intersection matrices to be tridiagonal and verify that all three families satisfy this condition.
Asymptotically attaining the Moore bound
For positive integers $d$ and $k$, let $n_k(d)$ be the maximum order of a graph of maximum degree at most $d$ and diameter at most $k$. We prove that $$ \lim_{d\to\infty}\frac{n_k(d)}{d^k}=1$$ for every fixed $k$, thereby resolving the asymptotic degree-diameter problem for fixed diameter and proving a conjecture of Bollobás. The lower bound comes from regular graphs $H_{k,q}$, indexed by prime powers $q$, whose vertices are partial flags in $\mathbb{F}_q^{\,2k+1}$. These graphs have diameter $k$ and order $|V(H_{k,q})| =(1+o(1))Δ(H_{k,q})^k$. We also construct, for every fixed $\ell \ge 2$, graphs of maximum degree at most $d$ and line-graph diameter at most $\ell$ with $(1+o(1))d^{\ell}$ edges.
The bosonic Hubbard model on a three dimensional flat band lattice
Published
• View Publication
• BIB
The lowest eigenstates of the hopping matrix on the line graph of a cubic lattice with periodic boundary conditions are highly degenerate, they form a lowest flat band. Further, these states are localized. If one considers a repulsive bosonic Hubbard model on this lattice it is possible to construct exact multi-particle ground states simply by putting particles in the localized single particle ground states such that they avoid each other. This can be done up to a certain critical particle number $N_c$. We prove that at this particle number the ground state entropy is subextensive $\propto N_c^{2/3}$. For lower densities the entropy is extensive. We further show that the problem is related to the number of 4-cycle decompositions of the cubic lattice with periodic boundary conditions.
The Havel--Hakimi Residue of Common-Divisor Graphs: Resolving and Extending a Problem of Graffiti and Erdős
For an integer $n\geq2$, let $G_n$ be the graph on $\{2,\ldots,n\}$ in which distinct integers are adjacent when they have a nontrivial common divisor. Conjecture 448 of Fajtlowicz's \emph{Written on the Wall} asked for a lower bound on the Havel--Hakimi residue $\R(G_n)$. The accompanying historical notes record a stronger lower bound of Erdős and Staton and Staton's conjecture that \(\R(G_n)\sim(ζ(2)-1)n/\log n\). We prove this conjecture and determine the next asymptotic term. If \[
A=\sum_{k=2}^{\infty}\frac{\log k}{k^2(k-1)}
=0.3201986326\ldots, \] then \[
\R(G_n)=
\bigl(ζ(2)-1\bigr)\frac{n}{\log n}
+\bigl(ζ(2)-1-A\bigr)\frac{n}{\log^2 n}
+O\!\left(\frac{n}{\log^3 n}\right). \] The lower estimate comes from an exact analysis of the Caro--Wei mass of the prime vertices. For the upper estimate, we construct another realization of the degree sequence of $G_n$: almost every bounded-degree prime vertex is placed in a clique of the order forced by its degree, while degree-preserving switches are absorbed by composite cliques. The proof gives a rare meeting point between prime number asymptotics, degree-sequence algorithms, and automated conjecturing. It also provides a traceable case study in which \textsc{Theo-Conjecture}, an advisor-supervised AI loop, converts registry experiments and counterexamples into a rigorous theorem. We also give an exact Havel--Hakimi defect decomposition. Computation suggests the substantially stronger bound \(
\R(G_n)\leq\lceil\CW(G_n)\rceil+2, \) which we state as an open \textsc{Theo-Conjecture} problem.
The complexity of minimum-density locating-dominating set in infinite periodic graphs
A dominating set $S$ of a graph $G$ is a locating-dominating set (LDS) if, for each pair of distinct vertices not in~$S$, their neighbourhoods in $S$ are distinct. Finding a minimum-cardinality LDS in finite graphs is a well-known NP-hard problem. On infinite graphs, this problem naturally generalises to finding an LDS of minimum density. While density bounds have been widely studied for specific infinite regular grids, no computational complexity results exist for infinite graphs. We prove that the minimum-density LDS problem in infinite $\mathbb{Z}$-periodic graphs with a finite period is NP-hard. This result bridges the gap between cardinality minimization on finite graphs and density minimization on infinite graphs via a rigorous periodic reduction. Furthermore, our approach can be adapted to establish NP-hardness for related structural problems on infinite periodic graphs.
On the Spectra of Chromatic Number and Chromatic Index of Cyclic Covers
For a fixed integer $\ell \ge 2$, we study what values of chromatic index and chromatic number can be attained by some $\ell$-fold cyclic cover of a loopless multigraph. For edge-coloring, we first investigate the density, a fundamental lower bound for the chromatic index, and show that the density of every $\ell$-fold cyclic cover of a graph $G$ is at most that of $G$. We further prove that if $\ell$ is even, then the spectrum of chromatic indices over all $\ell$-fold cyclic covers of $G$ contains every integer between $Δ(G)$ and $χ'(G)$. When $\ell$ is odd, the chromatic-index spectrum need not be complete in general; for edge-chromatic critical graphs, we determine exactly which values are attainable. For vertex-coloring, we prove that if $χ(G)\ge 3$, then the spectrum of chromatic numbers over all $\ell$-fold cyclic covers of $G$ contains every integer between $3$ and $χ(G)$. Moreover, this spectrum contains $2$ if and only if $G$ is bipartite or $\ell$ is even.
Projective-Plane Sharp States and Repulsion in Linear Crown-Free Hypergraphs
Let $3 \le k \le r$, and let $C^r_{1,k}$ be the $r$-uniform $k$-crown. Set $q=r-1$, $t=k-1$, $D=tq+1$, and $D^-=(t-1)q+1$. For every edge $e$ of a linear $C^r_{1,k}$-free $r$-graph, $Φ_H(e):=\sum_{v\in e}1/d_H(v)\ge r/D$. We classify equality: $e$ is sharp if and only if $e$ and all edges meeting it form $t$ projective planes of order $q$ glued along the common line $e$. This equality state is repulsive. If $f\ne e$ meets a sharp edge $e$, then at least $q-t+2$ vertices of $f\setminus e$ have degree at most $D^-$. It follows that sharp edges are pairwise disjoint, every edge meets at most $t-1$ sharp edges, and $|V^-(H)|\ge r(D-1)(q-t+2)|S(H)|/((t-1)D^-)$. Combining sharp-state repulsion with the integral defect of every nonsharp edge gives an unconditional strict improvement over the coefficient $D/r$. Define $B_{r,k}=r(D-1)/(t-1)$, $β_{r,k}=B_{r,k}/(B_{r,k}+1)$, and $η_{r,k}=(q-t+2)/D^- - q/D$. If $η_{r,k}>0$, equivalently if $t=2$, or if $t\ge 3$ and $q\ge t(t-2)+1$, then $|E(H)|\le D(D-1)|V(H)|/(r(D-1)+1)$. For the remaining parameters, $|E(H)|\le D(D-1)|V(H)|/(r(D-1)+β_{r,k})$. For fixed $k$, the first bound holds for all sufficiently large $r$ and improves $D/r$ by $r^{-2}+O_k(r^{-3})$. For $k=3$, every component containing a sharp edge is exactly a pair of projective planes glued along that edge. For $k\ge 4$, light attachments may occur throughout a sharp core, but only $O_k(r)$ affine points can have degree greater than $D^-$. We also prove a quantitative near-sharp localization theorem: after deleting a controlled exceptional family, the neighborhood of a near-sharp edge splits into $t$ large packets with approximate affine-plane row-column incidence.
Optimal and quasi-optimal locating-dominating densities in the infinite hexagonal grid with a finite number of rows
A set of vertices $S$ of a graph $G$ is locating-dominating if $S$ is dominating and, for each pair of distinct vertices not in $S$, their neighborhoods in $S$ are distinct. We present results on the minimum density of such sets in the infinite hexagonal grid with a finite number of rows $k$, also known as the hexagonal strip of width $k$, which we denote by $H_k$. For each $k\geq 2$, we present either an optimal solution or a quasi-optimal solution for $H_k$ that is within $1.3\%$ of the optimum. We describe an exact exponential-time algorithm for fixed k, which we implemented to find optimal solutions for $k \leq 5$. As the infinite grid $H_{k}$ always admits a periodic optimal solution, to deal with larger values of $k$, we present an integer linear program that finds an optimal periodic solution for $H_{k}$ for each fixed period. This program yields high-quality feasible solutions for $H_7$ and $H_8$, which we then combine with an optimal solution for $H_3$ to obtain quasi-optimal solutions for all $k\geq 6$. All these solutions admit a very short description.
An Improved Upper Bound on the Zarankiewicz Number z(43;2)
The Zarankiewicz number z(43;2) is the largest number of edges in a four-cycle-free bipartite graph with two parts of size 43. Reiman's bound gives z(43;2) <= 301, with equality only for the incidence graph of a projective plane of order six; no such plane exists, so z(43;2) <= 300. We prove z(43;2) <= 299. The argument is elementary and uses no computer search: a counting identity for the leave of the configuration shows that a hypothetical 300-edge graph admits one of exactly twenty-seven degree profiles per side, of which only four combinations are locally compatible. Three force two vertices to share six neighbours; the fourth forces a transversal design TD(6,6), hence four mutually orthogonal Latin squares of order six, contradicting Tarry's theorem. We also give an explicit 284-edge construction inside PG(2,7), so that 284 <= z(43;2) <= 299.
A lower bound for the second largest up-Laplacian eigenvalue of a simplicial complex
Let $K$ be a finite $k$-dimensional simplicial complex with at least two $k$-faces, and let $\Lup_{k-1}(K)=\partial_k\partial_k^{\T}$ be its $(k-1)$-dimensional up-Laplacian. Writing $d_2(K)$ for the second largest upper degree of a $(k-1)$-face, we prove the sharp bound \[
λ_2\bigl(\Lup_{k-1}(K)\bigr)\ \ge\ d_2(K)+k-1 . \] For $k=1$, this recovers the graph inequality $λ_2(L(G))\ge d_2(G)$ of Li and Pan. We also show that the full graph inequality of Brouwer and Haemers does not extend directly to simplicial complexes: the natural candidate $λ_m(\Lup_{k-1}(K))\ge d_m(K)-m+k+1$ already fails for $m=3$.
A Lovász Theta Parameter and Theta Body for Signed Graphs
We introduce a Lovász-type semidefinite parameter for balanced colouring of signed graphs. Its homomorphism target is a unit sphere equipped with an orthogonal involution: the fixed and anti-fixed components play different roles, while applying the involution to one endpoint realizes switching. The resulting parameter admits a symmetric formulation with two positive semidefinite matrices and an equally symmetric dual. It is also one half of the strict vector chromatic number of the ordinary graph formed by the negative edges of the double switching graph. Our second main contribution is a hierarchy of convex corners. Starting from the balanced induced subgraph polytope, we define signed analogues of the stable-set, theta, and clique-inequalities relaxations in the original vertex space. The signed theta body has an intrinsic two-matrix description, its all-ones gauge is the new scalar parameter, and the ordinary stable-set hierarchy is recovered exactly from signed digon graphs. For all-negative signatures, the construction becomes a relaxation of the maximum induced bipartite subgraph problem and is related to the generalized theta number. Finally, we propose a notion of balanced perfectness and show that it is strictly weaker than perfectness of the associated double-cover graph.