https://arxiv.org/api/fE3MoOsz6QwmyxLJU0otamoUHJk 2026-06-21T20:56:35Z 79105 195 15 http://arxiv.org/abs/2606.16571v1 2026-06-15T11:12:24Z

Recently, Nguyen, Seymour and Scott verified the small quasi-kernel conjecture for split digraphs, and initiated the study of quasi-kernels in break digraphs. Following their research, we introduce a weighted half-neighborhood property for hereditary classes of oriented graphs and show that it gives a \(2n/3\) bound of small quasi-kernel for break digraphs. We also record two stronger \(n/2\) results for special classes of break digraphs. Finally, using the same framework we also prove that every digraph on \(n\) vertices has a quasi-kernel \(Q\) with \(|N_D^+[Q]|\ge \sqrt n\).

2026-06-15T11:12:24Z Jiangdong Ai Tianyu Huang Xiangzhou Liu Chaoliang Tang Zongqun Xu http://arxiv.org/abs/2606.16554v1 2026-06-15T10:56:27Z

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.

2026-06-15T10:56:27Z 24 pages,no figures Anna Muranova http://arxiv.org/abs/2606.16530v1 2026-06-15T10:34:47Z

In this paper, we study the Lin--Lu--Yau Ricci curvature of strongly connected locally finite digraphs through an explicit optimal-coupling construction. For an arc of a digraph, we derive a computable curvature formula by constructing a coupling between the probability measures at its tail and head, and by proving its optimality using a suitable $1$-Lipschitz function. The formula is not only effective for direct computation, but also unifies several known results: in particular, it recovers the Lin--Lu--Yau Ricci curvature formula for Cayley graphs of Right-Angled Artin--Coxeter Hybrid groups as a special case and gives shorter proofs of curvature results arising from matching-type conditions. We then characterize arcs with zero Ricci curvature through perfect distance matching and perfect distance partitions. We further prove that, under suitable assumptions, such arc curvature in directed Cayley graphs increases when an inverse generator or a new generator is added to the generating set. As applications, we compute the curvature of directed Cayley graphs of dihedral groups and generalized quaternion groups, including $Γ(D_n,\{a,b\})$, $Γ(Q_{4m},\{a,b\})$, $Γ(Q_{4m},\{a,a^{-1},b\})$ and $Γ(Q_{4m},\{a,b,b^{-1}\})$. Finally, we provide an algorithm for computing the Lin--Lu--Yau Ricci curvature of Cayley graphs of finitely generated groups with prescribed generating sets, together with complete curvature tables for several important families of finite groups.

2026-06-15T10:34:47Z 34 pages,5 figures Kevin Fung Johnny Lim http://arxiv.org/abs/2606.03687v2 2026-06-15T09:49:52Z

The $r$-neighbor bootstrap percolation process on a graph $G$ is a vertex-activation process that begins with a set of initially active vertices. In each subsequent round, every inactive vertex having at least $r$ active neighbors becomes active. Denote by $m(G,r)$ the minimum number of initially active vertices whose activation eventually spreads to all vertices of $G$. In this article, among other results, we prove that $(k^2+2k+3)/4 \leqslant m(\mathbbmsl{O}_k,2)\leqslant (k^2+5k+3)/3$, where $\mathbbmsl{O}_k$ is the odd graph on a ground set of size $2k+1$. This confirms a conjecture posed in 2021 by Grippo, Pastine, Torres, Valencia-Pabon, and Vera.

2026-06-02T14:10:30Z Ali Mohammadian Sina Rezaie Zareie Behruz Tayfeh-Rezaie http://arxiv.org/abs/2606.16482v1 2026-06-15T09:49:33Z

We study Euler characteristics of scaled toric varieties arising from second hypersimplices. In algebraic statistics, these are closely connected to maximum likelihood (ML) degrees of toric models. We establish a correspondence between delta-matroids and the non-vanishing factors of the principal $A$-determinant, providing an explicit connection between delta-matroid theory and algebraic statistics. Using this framework, we show that a conjectured minimum ML degree is realizable by a suitable embedding of the variety. Furthermore, for second hypersimplices up to order six, we prove that this value is minimal among all embeddings, as conjectured by Clarke et al. (2024).

2026-06-15T09:49:33Z 20 pages, 1 figure, 6 tables Janike Oldekop http://arxiv.org/abs/2606.16476v1 2026-06-15T09:40:55Z

Let $G$ be a graph. The binding number of $G$, denoted by $\mbox{bind}(G)$, is defined as $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(S)|}{|S|}:\emptyset\neq S\subseteq V(G) \ \mbox{and} \ N_G(S)\neq V(G)\right\}. $$ If $\mbox{bind}(G)\geq r$, then $G$ is called $r$-binding, where $r$ is a positive real number. The adjacency matrix of $G$ is denoted by $A(G)$. The largest eigenvalue of $A(G)$, denoted by $ρ(G)$, is said to be the spectral radius of $G$. A spanning subgraph $F$ of $G$ is called an odd-even factor $F=F_W$ if $d_F(u)\in\{1,3,\ldots,k\}$ for every $u\in W$ and $d_F(v)\in\{0,2,\ldots,k+1\}$ for every $v\in V(G)-W$, where $k$ is a positive odd integer and $W$ is any set of even number of vertices of $G$. In this paper, we propose a tight sufficient condition based on the spectral radius to guarantee that a connected 1-binding graph $G$ contains an odd-even factor $F=F_W$ such that $d_F(u)\in\{1,3,\ldots,k\} \ \mbox{for all} \ u\in W$ and $d_F(v)\in\{0,2,\ldots,k+1\} \ \mbox{for all} \ v\in V(G)-W$.

2026-06-15T09:40:55Z 10 pages Sizhong Zhou Qiuxiang Bian Hongxia Liu http://arxiv.org/abs/2510.24336v3 2026-06-15T09:39:31Z

For a graph $H$ whose edges are coloured blue or red, the $H$-semi-inducibility problem asks for the maximum, over all graphs $G$ of given order $n$, of the number of injections from the vertex set of $H$ into the vertex set of $G$ that send red (resp. blue) edges of $H$ to edges (resp. non-edges) of $G$. We consider all possible 4-vertex non-complete graphs $H$ and essentially resolve all remaining cases except when $H$ is the 3-edge path coloured blue-blue-red in this order (or is equivalent to this case). Some of our proofs are computer-generated, using the flag algebra method of Razborov.

2025-10-28T11:57:53Z 35 pages Levente Bodnár Oleg Pikhurko http://arxiv.org/abs/2606.16369v1 2026-06-15T08:05:43Z

A matching $M$ in a graph $G = (V, E)$ is a set of edges such that no two edges in $M$ share a common vertex. A matching with maximum cardinality is called a maximum matching and its cardinality is the matching number $γ(G)$. The spectral radius of $G$ is the maximum absolute eigenvalue of its adjacency matrix. This article addresses the Brualdi-Solheid problem--the determination of extremal spectral radii within specific graph classes--for the class $\mathcal{U}_{n,γ}$ of simple connected unicyclic graphs on $n$ vertices with matching number $γ$. We specifically characterize all graphs that achieve the minimum spectral radius in $\mathcal{U}_{n,γ}$ for matching numbers $γ\in \left\{ 1, 2, 3, \lfloor \frac{n}{2} \rfloor \right\}$.

2026-06-15T08:05:43Z 29 Pages Joyentanuj Das Debabrota Mondal http://arxiv.org/abs/2601.02999v2 2026-06-15T07:55:31Z

Bojańczyk, Pilipczuk, and Grohe [LICS '18] proved that for graphs of bounded linear clique-width, clique-decompositions of bounded width can be produced by a CMSO transduction. We show that in the case of tournaments, a first-order transduction suffices. This implies that the logics CMSO and existential MSO are equivalent over bounded linear clique-width tournaments.

2026-01-06T13:23:56Z 29 pages, 4 figures Colin Geniet Fatemeh Ghasemi Mamadou Moustapha Kanté http://arxiv.org/abs/2606.16357v1 2026-06-15T07:52:18Z

Cizma and Linial introduced graph metrizability as the problem of deciding whether every consistent system of prescribed paths in a graph can be realized by shortest paths for some positive edge lengths. They asked for a classification of the metrizable theta graphs. We give the complete classification. If $a\le b\le c$, then the theta graph $Θ_{a,b,c}$ is metrizable if and only if $a\le 2$ or $(a,b,c)=(3,3,3)$. The non-metrizable direction follows from the known obstruction $Θ_{3,3,4}$ and topological-minor closure. The positive direction is constructive. For the family $Θ_{2,b,c}$, consistency forces certain same-arm and cross-arm choices to be Ferrers relations, and these relations are realized by one-dimensional potentials. The exceptional graph $Θ_{3,3,3}$ is handled by a two-threshold version of the same construction. The proof is structural and does not rely on enumeration of path systems.

2026-06-15T07:52:18Z 27 pages Guangfu Wang http://arxiv.org/abs/2510.13380v3 2026-06-15T06:30:38Z

We study the cohomology of $C_n(X)$, the moduli space of commuting $n$-by-$n$ matrices satisfying the equations defining a quasi-projective scheme $X$. This space can be viewed as a non-commutative Weil restriction from the algebra of $n$-by-$n$ matrices to the ground field. We introduce a semi-simple counterpart $S_n(X)$, defined as the quotient of $X^n \times \mathrm{GL}_n/\mathrm{T}_n$ by the diagonal $S_n$ action. We show that there exists a natural map $σ\colon S_n(X) \to C_n(X)$ inducing isomorphism on $\ell$-adic cohomology under mild restrictions on $X$ or the characteristic of the field. This confirms a heuristic derived from Weil restrictions. Furthermore, we provide explicit combinatorial formulae for the Betti numbers of $C_n(X)$ and prove a Macdonald-type generating series. A version for Hermitian matrix point is also proved in the last section.

2025-10-15T10:21:35Z 17 pages, comments welcome! Streamlined the proof in section 2, now the proof avoids stacks. A minor gap in section 2 is now fixed. General improvement in language Asvin G Yifeng Huang Ruofan Jiang Yifan Wei http://arxiv.org/abs/2606.16259v1 2026-06-15T06:05:58Z

Consider the following plaquette model from statistical physics: a lamp lies at every vertex of the triangular lattice and a switch lies at every even vertex of the (bipartite) dual hexagonal lattice. Each switch toggles the three lamps on its face. The energy of a configuration is the number of ON lamps. For the Glauber dynamics associated with the Gibbs measure defined by this Hamiltonian at any inverse temperature $β>0$, we show that, in any dimension $d\ge 2$, the infinite volume relaxation time satisfies \[e^{β^2/C}/C \le T_{\mathrm{rel}}\le Ce^{e^{Cβ}}\] for some $C>0$. Our result entails that the Gibbs measure is unique. The $e^{β^2}$ scaling was conjectured by Newman and Moore in 1999 and matches the behaviour of supercritical rooted kinetically constrained models such as the East model, thus recovering fragile glass phenomenology in the absence of kinetic constraints. More precisely, we show that, on a torus of side length $2^k$, when $β\to\infty$ and $k/β\to0$, we have $T_{\mathrm{rel}}=e^{2βk(1+o(1))}$. Quite surprisingly, however, we also prove that, on non-periodic finite domains of size $n\le e^{β/C}$ for large $C>0$, we have the much larger asymptotics $\ln T_{\mathrm{rel}}=βn^{Θ(1)}$. The main ingredients of the proofs are new results in extremal and enumerative combinatorics and rely on renormalisation ideas for the dynamics and its groundstates also known as the Ledrappier subshift. We note consequences of our results to geometric group theory (more precisely to the complexity of the word problem for the Baumslag finitely presented group) and to ergodic theory.

2026-06-15T06:05:58Z 46 pages, 7 figures Laurent Bartholdi Ivailo Hartarsky Ivan Mitrofanov http://arxiv.org/abs/2602.03716v2 2026-06-15T05:49:33Z

Let $S=\langle d_1,\dots,d_m\rangle$ be a numerical semigroup and $k[S]$ its semigroup ring. The Hilbert numerator of $k[S]$ determines normalized alternating syzygy power sums $K_p(S)$ encoding alternating power sums of syzygy degrees. Fel conjectured an explicit formula for $K_p(S)$, for all $p\ge 0$, in terms of the gap power sums $G_r(S)=\sum_{g\notin S} g^r$ and universal symmetric polynomials $T_n$ evaluated at the generator power sums $σ_k=\sum_i d_i^k$ (and $δ_k=(σ_k-1)/2^k$). We prove Fel's conjecture via exponential generating functions and coefficient extraction, solating the universal identities for $T_n$ needed for the derivation. The argument is fully formalized in Lean/Mathlib, and was produced automatically by AxiomProver from a natural-language statement of the conjecture.

2026-02-03T16:41:24Z Edits that address two referee reports Evan Chen Chris Cummins GSM Dejan Grubisic Leopold Haller Letong Hong Andranik Kurghinyan Kenny Lau Hugh Leather Seewoo Lee Aram Markosyan Ken Ono Manooshree Patel Gaurang Pendharkar Vedant Rathi Alex Schneidman Volker Seeker Shubho Sengupta Ishan Sinha Jimmy Xin Jujian Zhang http://arxiv.org/abs/2504.05953v3 2026-06-15T05:44:26Z

Given two non-adjacent vertices \( u \) and \( v \), we say a $uv$-walk \( W \) dominates a $uv$-walk \( W' \) if every internal vertex of \( W' \) is adjacent to some internal vertex of \( W \) or belongs to \( W \). A class of walks \(\mathbf{A}\) dominates a class of walks \(\mathbf{B}\) if for every pair of non-adjacent vertices $u,v$ in the graph, every $uv$-walk in \(\mathbf{A}\) dominates every $uv$-walk in \(\mathbf{B}\). This paper investigates the domination relationships among various types of walks connecting two non-adjacent vertices in a graph. In particular, we focus on a problem proposed by Tondato (2024). We study the domination between different walk types (shortest paths, toll walks, weakly toll walks, $l_k$-paths for $k\in \left\{2,3\right\}$) and $m_3$-paths. Furthermore, we show how these relationships give rise to characterizations of graph classes.

2025-04-08T12:06:30Z Hangdi Chen Yuhan Ma Qingjie Ye http://arxiv.org/abs/2606.11659v2 2026-06-15T05:40:31Z

We study discrete analogues of classical spectral geometric inequalities and extremal eigenvalue problems on graphs. The well-known Krahn--Szegő inequality states that the minimum of $λ_2(Ω)$ among bounded open sets of $\mathbb{R}^n$ with given volume is achieved by the union of two identical balls $\mathbb{R}^n$. Firstly, we establish a Krahn--Szegő type inequality for trees. For trees with a fixed number of interior vertices and boundary leaves, we completely characterize the extremal structures that minimize the second Dirichlet eigenvalue. Secondly, we develop a nodal domain method for adjacency matrices. By proving a nodal domain theorem in adjacency version for graphs, we obtain upper bounds for the second largest adjacency eigenvalue $ρ_2(G)$ of $G$ in given graph classes. These bounds imply some previous results. Finally, we settle the Aouchiche--Hansen conjecture (2010) on the second largest eigenvalue with given number of edges and clique number. We prove that for connected graphs $G$ of odd order $n \geq 5$, $|ρ_2| \cdot ω\leq m-2$, with equality if and only if $G$ consists of two complete graphs of orders $\frac{n+1}{2}$ and $\frac{n-1}{2}$ joined by an edge or a path. For even $n \geq 2$, the quantity $|ρ_2| \cdot ω- m$ is maximized exactly when $G$ is the join of two copies of $K_{n/2}$ by an edge. The core of the methods developed in this paper is to regard a connected graph as an internally disconnected graph with Dirichlet boundary condition. This perspective allows us to transfer nodal domain techniques from continuous spectral geometry to discrete settings and to obtain sharp extremal characterizations across diverse graph classes.

2026-06-10T04:53:20Z Huiqiu Lin Lianping Liu Xilong Yin Zhe You