graph
34516 papers tagged with this keyword
$m$-sectorial discrete Laplacians and recurrence of complex-weighted graphs
We consider complex-weighted graphs, whose edge weights belong to a sector in the complex plane. We show that the corresponding Dirichlet Laplacian is $m$-sectorial, and, hence, generates a contractive holomorphic $C_0$-semigroup. Further, it is shown that every sectorial complex-weighted graph can be extended to an electrical network, where by electrical networks we mean graphs, whose edge weights are holomorphic functions, arising from physical admittances. This result allows us to establish convergence results for the infinite complex-weighted graphs, e.g. convergence of solutions of Dirichlet problems and convergence of complex-valued capacities on a finite exhaustion. Finally, we define a recurrence for complex-weighted graphs, and, using the convergence results, give its characterizations in terms of functional spaces, capacity, Green's function, resolvents of the Dirichlet Laplacian and properties of the Neumann Laplacian.
A geometric approach to generalized covering radii of linear codes
Covering problems in coding theory are closely related to finite geometry through the interpretation of the columns of parity-check matrices as point sets in finite vector spaces. Motivated by the recent notion of generalized covering radii of linear codes introduced by Elimelech, Firer and Schwartz, we develop a geometric framework for these parameters. We introduce $(ρ,t)$-saturating sets and show that they are precisely the finite-geometric counterparts of linear codes whose $t$-th generalized covering radius is at most $ρ$. We study the structure of these sets and show that the extremal case $ρ=t$ coincides with the notion of $t$-strong blocking sets. Thus, $(ρ,t)$-saturating sets interpolate between classical saturating sets and strong blocking sets. We provide several equivalent formulations, including affine and dual Grassmannian criteria, derive lower bounds on their size, and give constructions from strong blocking sets, graphs and projective configurations.
Formalizing chip-firing and Riemann--Roch for graphs in Lean 4
The Riemann--Roch theorem for graphs, due to Baker and Norine, is a foundational result establishing a powerful analogy between finite graphs and algebraic curves. We describe a complete formal proof of this theorem implemented in the Lean 4 theorem prover. Our formalization includes the existence and uniqueness of q-reduced divisors, a modified form of Dhar's burning algorithm, the bijection between acyclic orientations with unique source and maximal superstable configurations, and Clifford's theorem. We also include several challenges for future formalization.
Bounds for the ratio between the domination number and the independent domination number
In this article we present new and improved results for the ratio between the independent domination number and the domination number in graphs with bounded degree. We present a general formula, that, for a fixed maximum degree, allows to compute an upper bound for this ratio as a function of an upper bound $β|V|$ for the independent domination number. We also apply this formula to several known upper bounds for the independent domination number. Furthermore we present constructions giving lower bounds for the best possible upper bound in various classes of graphs with bounded degree.
The maximum number of cycles of a given length in a nonhamiltonian graph
In 2026, Li and Zhan characterized the nonhamiltonian graphs of order $n$ with the maximum number of paths of length $k$, where $n$ and $k$ are integers satisfying $1\leq k\leq n-1$. This work solves and generalizes a problem proposed by Erdős in 1980. In this paper, we further determine the nonhamiltonian graphs of order $n$ attaining the maximum number of cycles of length $k$ for given integers $n$ and $k$ with $3\leq k\leq n-1$.
Canonical Ramsey theorem for graphs with clean intersections
Extending earlier results of Nešetřil and Rödl [Selective graphs and hypergraphs, Ann. Discrete Math. 3 (1978), 181--189], we show that for every ordered graph $F$ there exist an ordered graph $H$ and a system $\mathscr{H}_F$ of induced copies of $F$ such that every colouring of the edges of $H$ yields a canonically coloured copy of $F$ from $\mathscr{H}_F$ and any two copies from $\mathscr{H}_F$ intersect either in a vertex or an edge or not at all.
As a consequence, this allows us to construct, for any given ordered graph $F$, canonical Ramsey graphs $H$ enjoying additional structural properties. In particular, $H$ can have the same clique number as $F$ and, provided $F$ is not bipartite, the same odd girth. Moreover, if $F$ is connected, then the copies of $F$ from $\mathscr{H}_F$ are not only induced, but their pairs of vertices also have the same distances in $H$ as in $F$.
Multisymmetric polynomials on set-theoretic quiver representations
Eventually constant set-valued representations of a quiver are set-theoretic analogues of nilpotent representations. In recent work by Green-Holmes-Im, the authors enumerated eventually constant set-valued representations for equioriented cyclic quivers using the directed matrix-tree theorem. In this paper, we extend this enumeration to finite quivers without sinks for which every vertex is the target of sufficiently long paths. We encode the representations as directed acyclic graphs and introduce a recursive source-removal method for certain classes of directed acyclic graphs. This yields a strictly upper triangular matrix enumerator in the incidence algebra of the subset lattice. To compute the cardinality of the eventually constant representations, we compress this enumerator to a matrix indexed by cardinality vectors, the set-theoretic analogues of dimension vectors. We conclude by specializing the formulas to the Jordan quiver and recovering the multisymmetric generating polynomial for the cyclic quiver without using the matrix-tree theorem.
Encoding Phylogenetic Networks with Least Common Ancestor Constraints
Encoding phylogenetic networks by suitable substructures is a central problem in phylogenetic combinatorics. We study encodings based on least common ancestor (LCA) constraints. For a directed acyclic graph (DAG) $G$ with leaf set $X$, we consider the relation on pairs of leaves in which $(ab,xy)$ records that the LCAs of $a,b$ and $x,y$ are well-defined and that the former is a descendant of the latter.
We first identify precisely which part of $G$ is determined by this relation. To this end, we compare the canonical DAG constructed from the LCA relation with the 2-regularization of $G$, obtained by removing all vertices that are not LCAs of one or two leaves and then deleting shortcut edges. We prove that these two DAGs are isomorphic. Hence the obstruction to encoding a graph by its LCA relation is exactly the information lost under 2-regularization.
This yields a general reconstruction principle, which we apply to several natural classes of phylogenetic networks. In particular, we show that shortcut-free 2-LCA-relevant DAGs, phylogenetic trees, regular level-1 networks, regular networks with binary clustering systems, regular networks whose clustering systems are closed weak hierarchies, strong-phylogenetic normal networks, separated phylogenetic normal networks, and binary normal networks are encoded by their LCA relations.
We also introduce a sparse triple-like restriction consisting only of comparisons of the form $(ab,ac)$, where $a,b,c\in X$ are pairwise distinct. For graphs with the 2-LCA property, we show that this sparse relation, together with the leaf set, determines the full LCA relation after a natural closure operation. Consequently, several of the above classes can be reconstructed, up to isomorphism, from the sparse relation in polynomial time.
Symmetric Extension Complexity of the Spanning Tree Polytope
In this note, we prove a tight lower bound on symmetric extended formulations for the spanning tree polytope of the complete graph. More precisely, let $P_{ST}(K_n)$ be the spanning tree polytope of $K_n$. We show that, for all $n\ge13$, every symmetric extended formulation for $P_{ST}(K_n)$ has at least $\binom n3$ inequalities. Since the classical Martin formulation has a symmetric formulation of size $O(n^3)$, this gives \[
\operatorname{xcs}(P_{ST}(K_n))=Θ(n^3). \]
Sharp bounds between the saturation number and the harmonic index
The saturation number $μ^*(G)$ of a graph $G$ is the minimum cardinality of a maximal matching, and $H(G)$ is its harmonic index. TxGraffiti conjectured in 2023 that $μ^*(G) \le H(G)$ for every nontrivial connected graph $G$, and Bıyıkoğlu refuted this by showing that the ratio $μ^*(G)/H(G)$ can be made arbitrarily large. Restricting to trees bounds the ratio sharply. Every nontrivial tree $T$ satisfies $μ^*(T) < \frac{3}{2} H(T)$, with the constant $3/2$ best possible. A complementary bound $H(G) < 4μ^*(G)$ holds for every graph with an edge, so on a nontrivial tree the saturation number is pinned to $\frac{1}{4} H(T) < μ^*(T) < \frac{3}{2} H(T)$, both constants best possible. The friendship graph $F_4$ is a smallest counterexample to the conjecture, on nine vertices, and the smallest tree counterexample is the subdivided star on eleven vertices. For each positive integer $m$ a family of graphs with $m$ hubs has ratio approaching $m+1$, while the conjecture holds whenever all vertices have equal degree. Both invariants arise in applications, the harmonic index as a molecular descriptor and the saturation number as a measure of adsorption inefficiency, and the bounds estimate the latter, which is NP-hard to compute, by the former, which is computable in linear time.
Ornaments and Difference Distance Magic Oriented Graphs
One way to construct Difference Distance Magic Oriented Graphs (DDMOGs) is via a recently introduced technique called weighted sum. We explore the quality of said construction further by introducing the notion of an ornament. An ornament is an oriented graph that, when used in a weighted sum with an existing DDMOG, creates a new DDMOG. We provide results on the construction of a specific type of ornaments, called s-nodes ornaments. We conclude the paper with a list of open questions related to DDMOGs and ornaments.
Spectral extremal graphs for even factors
An even factor of a graph $G$ is a spanning subgraph in which every vertex has positive even degree. It is known that the minimum degree $δ(G)\ge 2$ is a trivial necessary condition for $G$ to have an even factor. Recent spectral results for the existence of even factors used the certain complete-join graphs as exceptional extremal graphs. However, these graphs already contain $2$-factors and therefore are not genuine obstructions. This observation leads to the natural problem of determining the true sharp spectral threshold when the minimum degree is given. In this paper, we provide tight adjacency spectral radius conditions for a connected graph to contain an even factor, and characterize all extremal graphs, respectively. We also study the stronger requirement of a connected even factor, equivalently a spanning connected Eulerian subgraph. For this property, we also establish the corresponding sharp adjacency spectral radius condition and determine the unique extremal graph.
Strong marker sets for arbitrary generating sets
We prove the existence of clopen strong marker sets in $F(2^{\mathbb{Z}^n})$ for arbitrary finite generating sets. Specifically, for any positive integers $n, d_0\geq 1$ and any finite generating set $S\subseteq \mathbb{Z}^n$, we construct a clopen set $M\subseteq F(2^{\mathbb{Z}^n})$ and a positive integer $Δ$ such that (1) for any distinct $x,y\in M$ in the same orbit, $ρ(x,y)\geq d_0$; (2) for any $v\in S$ and any $x\in F(2^{\mathbb{Z}^n})$, there are non-negative integers $a,b\leq Δ$ such that $av\cdot x\in M$ and $-bv\cdot x\in M$. Here $ρ$ denotes the Euclidean metric. The same result then holds for the standard supremum-norm metric $ρ_\infty$ (with an adjusted constant), by the equivalence of norms on $\mathbb{Z}^n$. The proof introduces polyhedral packages in $\mathbb{R}^n$ as a generalization of the rectangular packages used in earlier work, enabling the construction to handle generating vectors with arbitrary coordinate patterns. As an application, we obtain a continuous proper edge $(2|S|+1)$-coloring of the Schreier graph on $F(2^{\mathbb{Z}^n})$ with generating set $S$, recovering a result of Gao--Wang--Wang.
A spectral condition for perfect matchings in 3-partite 3-graphs
Let $H$ be a 3-partite 3-uniform hypergraph whose three vertex classes all have size $n$. For a vertex $v \in V(H)$, the link graph $N_H(v)$ is defined on $V(H)\setminus\{v\}$ with edge set $\{e\setminus\{v\}: v\in e\in E(H)\}$, and we denote by $ρ(N_H(v))$ its spectral radius. We prove that for every $α>0$ there exists $n_0$ such that for all $n\ge n_0$ the following holds: if \[ ρ\bigl(N_H(v)\bigr) > \left(\frac{\sqrt{2}}{2}+α\right)n \] for every vertex $v\in V(H)$, then $H$ contains a perfect matching. This spectral condition is asymptotically best possible.
Constructor--Blocker games forbidding even cycles
The Constructor--Blocker game is played on the edge set of $K_n$. Two players alternately claim previously unclaimed edges. Constructor aims to maximize the number of copies of a target graph $H$ in her graph while keeping it $F$-free throughout the game, whereas Blocker aims to minimize this number. When both players play optimally and Constructor moves first, the final number of copies of $H$ in Constructor's graph is called the score of the game and is denoted by $g(n,H,F)$. Recently, Balogh, Chen, and English systematically studied this game for non-bipartite forbidden graphs $F$. However, bipartite forbidden graphs present additional difficulties.
In this paper, we focus on the case in which the forbidden graph is an even cycle. First, using a finite-field-geometric construction, we confirm a conjecture of Balogh, Chen and English by proving \[ g(n,K_3,C_4)=Θ(n^{3/2}). \] We also establish two-sided bounds for $g(n,K_3,C_{2k})$ that relate the game score to classical extremal numbers. Our proofs reveal a structural distinction between the cases $k=2$ and $k\ge3$: a vertex-duplication method works for longer even cycles, but it necessarily creates $4$-cycles and therefore cannot be used in the $C_4$-free game. Finally, we determine the exact order of $g(n,C_t,C_{2k})$ for all $k\ge2$ and all $t\ge4$.
$C$-networks and the planar Ising inverse problem
We solve the inverse problem for Ising models on reduced planar graphs in a disk, i.e., recovering the edge coupling constants from the boundary spin correlations. A recursive solution to this problem was provided by Galashin--Pylyavskyy. Our solution is non-recursive. It is based on an Ising analog of the chamber ansatz which asserts that the inverse map should factor through variables on the graph that transform under the Ising Y-$Δ$ move according to the discrete CKP equation.
Conjugacy Class Averages and Sidorenko's Conjecture
Sidorenko's conjecture asserts that for every bipartite graph $H$ and every graph $G$, \[
t(H,G)\geq t(K_2,G)^{e(H)}. \] A result of Szegedy shows that, in order to prove the conjecture, it suffices to verify the corresponding inequality on a special family of highly symmetric bipartite Cayley type hosts arising from symmetric groups. Motivated by this reduction, we study Cayley type bipartite kernels associated with functions on finite groups and their conjugacy class averages.
Our first result gives a reduction through conjugacy averaging: for a fixed bipartite graph $H$, if the $H$-density of each Cayley type host is at least the $H$-density of its conjugacy class average, then $H$ is strong Sidorenko, and hence Sidorenko. Our second result proves a Sidorenko-type inequality for 1-subdivision graphs on conjugacy-averaged Cayley kernels associated with arbitrary real-valued functions on finite groups.
Graph recovery from partial information
We introduce a Fourier-analytic framework for graph complexity and recoverability. For a graph G on N vertices labeled by Z_N, we define the Fourier ratio FR(f) of its edge indicator f. The key invariant FR_min(G), the minimum Fourier ratio over all vertex labelings, measures the optimal additive spectral compressibility of the graph. We establish a lower bound FR_min(G) >= E(G)/sqrt(2s), where E(G) is the graph energy and s is the number of edges. This bound is sharp for abelian Cayley graphs under the natural group labeling. Using a compressed sensing theorem, we show that once a labeling with small Fourier ratio is available, the edge map can be efficiently recovered from sparse random samples of adjacency entries. The algorithmic problem of finding such a labeling remains open. We compute FR_min(G) for complete, Turán, cycle, and circulant graphs. Cycles and circulant graphs are highly compressible, while random labelings yield large Fourier complexity. We develop a spectral-projector framework for harmonic graph recovery. For each Laplacian eigenvalue {λ}, its spectral projector Π_λ satisfies FR_min(Π_λ) >= sqrt(m(λ)), where m(λ) is the multiplicity. Fourier-compressible projectors are recoverable via Fourier-side l^1 minimization. For abelian Cayley graphs, the natural group labeling simultaneously minimizes both edge and harmonic complexity, with the harmonic complexity attaining the lower bound exactly. Since low-frequency projectors govern heat flow and random walks, this yields a mechanism for recovering large-scale geometric structure from sparse observations without full graph reconstruction. Finally, we formulate an asymptotic spectral synthesis principle showing that spectrally regular functions cannot concentrate on small exceptional sets, yielding asymptotic uniqueness and recovery results for incomplete graph data.
Inclusion graph of annihilators in a commutative ring
Let $R$ be a commutative ring with identity, and let $Z(R)$ be the set of zero-divisors of $R$. The inclusion graph of annihilators in $R$, denoted by $Γ^{\prime}(R)$, is a graph with the vertex set $Z(R)^*=Z(R)\setminus\{0\}$ and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(x)\subseteq \operatorname{ann}_R(y)$ or $\operatorname{ann}_R(y)\subseteq \operatorname{ann}_R(x)$. It is proved that $Γ^{\prime}(R)$ is not connected if and only if $R$ is reduced with $|\operatorname{Min}(R)|=2$. Also, we show that if $Γ^{\prime}(R)$ is a connected graph, then the diameter of $Γ^{\prime}(R)$ is at most $4$ and the girth of $Γ^{\prime}(R)$ is at most $6$, if it contains a cycle. Moreover, we study the affinity between inclusion graph of annihilators and complement of the annihilator graph (a well-known graph with the same vertices and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(xy)\neq \operatorname{ann}_R(x)\cup \operatorname{ann}_R(y)$) associated with a commutative ring. Finally, we characterize all rings whose inclusion graphs of annihilators are complete.
Coarse Balanced Separators in Biclique-Induced-Minor-Free Graphs
It is a classical theorem of Robertson and Seymour (1986) that the treewidth of a graph is linearly related to its separation number: the smallest integer $k$ such that, for every weight function on the vertices, the graph admits a balanced separator of size at most $k$. Motivated by recent progress on coarse treewidth, Abrishami, Czyżewska, Kluk, Pilipczuk, Pilipczuk, and Rzażewski (2025) conjectured the following coarse analogue: for every $r\in \mathbb{N}$ there exists an $r'\in \mathbb{N}$ such that every graph that admits balanced separators that can be covered by a bounded number of balls of bounded radius $r$ admits a tree decomposition where every bag can be covered by a bounded number of balls of radius $r'$. We verify a stronger variant of this conjecture for all $r \in \mathbb{N}$ for the hereditary class of $K_{t,t}$-induced-minor-free graphs of bounded clique number. A key step in the proof is the following result, which we expect to be of independent interest. In $K_{t,t}$-induced-minor-free graphs with clique number bounded by $s$, given a large subset of vertices $Y \subseteq V(G)$, there is a set $Z$ whose size is bounded by a function polynomial in $s$, such that no ball of radius $r$ in $G- Z$ covers a large proportion of $Y$.