Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Splitting a graph by a given partition of the set of vertices based on the minimum weight of the induced trees
A method for considering a weighted directed graph with an accuracy of up to a given partition of the set of vertices is proposed. The resulting digraph (the splitting graph) does not contain arcs inside each partition element, and the arcs between the partition atoms are calculated in a special way taking into account the arcs of the original directed graph inside the atoms. This accounting is based on minimal trees defined on atoms. A study was made of what information about the original digraph is preserved in its splitting.
Quantitative Edge Eigenvector Universality for Random Regular Graphs: Berry-Esseen Bounds with Explicit Constants
We establish the first quantitative Berry-Esseen bounds for edge eigenvector statistics in random regular graphs. For any $d$-regular graph on $N$ vertices with fixed $d \geq 3$ and deterministic unit vector $\mathbf{q} \perp \mathbf{e}$, we prove that the normalized overlap $\sqrt{N}\langle \mathbf{q}, \mathbf{u}_2 \rangle$ satisfies \[ \sup_{x \in \mathbb{R}} \left|\mathbb{P}\left(\sqrt{N}\langle \mathbf{q}, \mathbf{u}_2 \rangle \leq x\right) - Φ(x)\right| \leq C_d N^{-1/6+\varepsilon} \] where $\mathbf{u}_2$ is the second eigenvector and $C_d \leq \tilde{C}d^3\varepsilon^{-10}$ for an absolute constant $\tilde{C}$. This provides the first explicit convergence rate for the recent edge eigenvector universality results of He, Huang, and Yau \cite{HHY25}.
Our proof introduces a single-scale comparison method using constrained Dyson Brownian motion that preserves the degree constraint $\tilde{H}_t\mathbf{e} = 0$ throughout the evolution. The key technical innovation is a sharp edge isotropic local law with explicit constant $C(d,\varepsilon) \leq \tilde{C}d\varepsilon^{-5}$, enabling precise control of eigenvector overlap dynamics.
At the critical time $t_* = N^{-1/3+\varepsilon}$, we perform a fourth-order cumulant comparison with constrained GOE, achieving optimal error bounds through a single comparison rather than the traditional multi-scale approach. We extend our results to joint universality for the top $K$ edge eigenvectors with $K \leq N^{1/10-δ}$, showing they converge to independent Gaussians. Through analysis of eigenvalue spacing barriers, critical time scales, and comparison across multiple proof methods, we provide evidence that the $N^{-1/6}$ rate is optimal for sparse regular graphs. All constants are tracked explicitly throughout, enabling finite-size applications in spectral algorithms and network analysis.
Strong list-chromatic index of subcubic graphs is at most 10
A strong edge coloring of a graph $G$ is an assignment of colors to the edges of $G$ such that two distinct edges are colored differently if they are incident to a common edge or share an endpoint. The strong chromatic index of a graph $G$, denoted by $χ_{s}'(G)$, is the minimum number of colors needed for a strong edge coloring of $G$. The edge weight of a graph $G$ is defined to be $\max\limits_{uv\in E(G)}\{(d_G(u)+d_G(v))\}$. It was proved in Chen et al in 2020 that every graph with edge weight at most 6 has a strong edge-coloring using at most 10 colors. In this paper, we consider the list version of strong edge-coloring. We strengthen this result by showing that every graph with edge weight at most 6 has a strong list-chromatic index at most 10. Specially, every subcubic graph has a strong list-chromatic index at most 10, which improves a result of Dai et al. in 2018.
Complex non-backtracking matrix for directed graphs
Published in Journal of Complex Networks, Volume 13, Issue 4, August 2025
• View Publication
• BIB
Graph representation matrices are essential tools in graph data analysis. Recently, Hermitian adjacency matrices have been proposed to investigate directed graph structures. Previous studies have demonstrated that these matrices can extract valuable information for clustering. In this paper, we propose the complex non-backtracking matrix that integrates the properties of the Hermitian adjacency matrix and the non-backtracking matrix. The proposed matrix has similar properties with the non-backtracking matrix of undirected graphs. We reveal relationships between the complex non-backtracking matrix and the Hermitian adjacency matrix. Also, we provide intriguing insights that this matrix representation holds cluster information, particularly for sparse directed graphs.
Kernelization for list $H$-coloring for graphs with small vertex cover
Published
• View Publication
• BIB
For a fixed graph $H$, in the List $H$-Coloring problem, we are given a graph $G$ along with list $L(v) \subseteq V(H)$ for every $v \in V(G)$, and we have to determine if there exists a list homomorphism $\varphi$ from $(G,L)$ to $H$, i.e., an edge preserving mapping $\varphi: V(G)\to V(H)$ that satisfies $\varphi(v)\in L(v)$ for every $v\in V(G)$. Note that if $H$ is the complete graph on $q$ vertices, the problem is equivalent to List $q$-Coloring. We investigate the kernelization properties of List $H$-Coloring parameterized by the vertex cover number of $G$: given an instance $(G,L)$ and a vertex cover of $G$ of size $k$, can we reduce $(G,L)$ to an equivalent instance $(G',L')$ of List $H$-Coloring where the size of $G'$ is bounded by a low-degree polynomial $p(k)$ in $k$? This question has been investigated previously by Jansen and Pieterse [Algorithmica 2019], who provided an upper bound, which turns out to be optimal if $H$ is a complete graph, i.e., for List $q$-Coloring. This result was one of the first applications of the method of kernelization via bounded-degree polynomials. We define two new integral graph invariants, $c^*(H)$ and $d^*(H)$, with $d^*(H) \leq c^*(H) \leq d^*(H)+1$, and show that for every graph $H$, List $H$-Coloring
-- has a kernel with $\mathcal{O}(k^{c^*(H)})$ vertices,
-- admits no kernel of size $\mathcal{O}(k^{d^*(H)-\varepsilon})$ for any $\varepsilon > 0$, unless the polynomial hierarchy collapses.
-- Furthermore, if $c^*(H) > d^*(H)$, then there is a kernel with $\mathcal{O}(k^{c^*(H)-\varepsilon})$ vertices where $\varepsilon \geq 2^{1-c^*(H)}$.
Additionally, we show that for some classes of graphs, including powers of cycles and graphs $H$ where $Δ(H) \leq c^*(H)$ (which in particular includes cliques), the bound $d^*(H)$ is tight, using the polynomial method. We conjecture that this holds in general.
Spectral extremal problems for degenerate graphs
A family of graphs is called degenerate if it contains at least one bipartite graph. In this paper, we investigate the spectral extremal problems for a degenerate family of graphs $\mathcal{F}$. By employing covering and independent covering of graphs, we establish a spectral stability result for $\mathcal{F}$. Using this stability result, we prove two general theorems that characterize spectral extremal graphs for a broad class of graph families $\mathcal{F}$ and imply several new and known results. Meanwhile, we establish the correlation between extremal graphs and spectral extremal graphs for $\mathcal{F}$.
Every Poset has a Large Cut
We prove that every finite poset has a directed cut with at least one half of the poset's pairwise order relations. The bound is tight. Also, the largest directed cut in a poset can be found in linear time.
The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra
We prove that the random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra, hereby answering an open question of Bartošová and Scow.
Detours In Graphs
A detour in a graph is a longest path. This thesis is mainly about connected, non-traceable graphs with the property that each vertex is the start (or end) vertex of a detour. There are also related results on claw-free, 2-connected, non-traceable graphs, and maximal non-traceable graphs.
The Directed Disjoint Paths Problem with Congestion
Published
• View Publication
• BIB
The classic result by Fortune, Hopcroft, and Wyllie [TCS~'80] states that the directed disjoint paths problem is NP-complete even for two pairs of terminals. Extending this well-known result, we show that the directed disjoint paths problem is NP-complete for any constant congestion $c \geq 1$ and~$k \geq 3c-1$ pairs of terminals. This refutes a conjecture by Giannopoulou et al. [SODA~'22], which says that the directed disjoint paths problem with congestion two is polynomial-time solvable for any constant number $k$ of terminal pairs. We then consider the cases that are not covered by this hardness result. The first nontrivial case is $c=2$ and $k = 3$. Our second main result is to show that this case is polynomial-time solvable.
Matroids are Equitable
Published
• View Publication
• BIB
We show that if the ground set of a matroid can be partitioned into $k\ge 2$ bases, then for any given subset $S$ of the ground set, there is a partition into $k$ bases such that the sizes of the intersections of the bases with $S$ may differ by at most one. This settles the matroid equitability conjecture by Fekete and Szabó (Electron. J. Comb. 2011) in the affirmative. We also investigate equitable splittings of two disjoint sets $S_1$ and $S_2$, and show that there is a partition into $k$ bases such that the sizes of the intersections with $S_1$ may differ by at most one and the sizes of the intersections with $S_2$ may differ by at most two; this is the best one can hope for arbitrary matroids.
We also derive applications of this result into matroid constrained fair division problems. We show that there exists a matroid-constrained fair division that is envy-free up to one item if the valuations are identical and tri-valued additive. We also show that for bi-valued additive valuations, there exists a matroid-constrained allocation that provides everyone their maximin share.
Liouville Quantum Duality and Random Planar Maps
We consider models of block-weighted random planar maps in which possibly decorated maps are decomposed canonically into blocks, each block receiving the weight $u$. These maps present a transition at some critical value $u=u_{cr}$ above which the maps degenerate into Brownian trees. We show that the enumerative properties and critical exponents of the maps at $u=u_{cr}$ and those for $u<u_{cr}$ are connected by duality relations which are precisely those expected in the context of the Liouville quantum gravity description of random surfaces. We illustrate this result by various instances of block-weighted maps: random planar quadrangulations decomposed into simple blocks, Hamiltonian cycles on cubic or bicubic planar maps decomposed into irreducible blocks, and meandric systems.
Which graph motif parameters count?
For a fixed graph H, the function #IndSub(H,*) maps graphs G to the count of induced H-copies in G; this function obviously "counts something" in that it has a combinatorial interpretation. Linear combinations of such functions are called graph motif parameters and have recently received significant attention in counting complexity after a seminal paper by Curticapean, Dell and Marx (STOC'17). We show that, among linear combinations of functions #IndSub(H,*) involving only graphs H without isolated vertices, precisely those with positive integer coefficients maintain a combinatorial interpretation. It is important to note that graph motif parameters can be nonnegative for all inputs G, even when some coefficients are negative.
Formally, we show that evaluating any graph motif parameter with a negative coefficient is impossible in an oracle variant of #P, where an implicit graph is accessed by oracle queries. Our proof follows the classification of the relativizing closure properties of #P by Hertrampf, Vollmer, and Wagner (SCT'95) and the framework developed by Ikenmeyer and Pak (STOC'22), but our application of the required Ramsey theorem turns out to be more subtle, as graphs do not have the required Ramsey property.
Our techniques generalize from graphs to relational structures, including colored graphs. Vastly generalizing this, we introduce motif parameters over categories that count occurrences of sub-objects in the category. We then prove a general dichotomy theorem that characterizes which such parameters have a combinatorial interpretation. Using known results in Ramsey theory for categories, we obtain a dichotomy for motif parameters of finite vector spaces as well as parameter sets.
Quasimodular forms arising from Jacobi's theta function and special symmetric polynomials
Published
• View Publication
• BIB
Ramanujan derived a sequence of even weight $2n$ quasimodular forms $U_{2n}(q)$ from derivatives of Jacobi's weight $3/2$ theta function. Using the generating function for this sequence, one can construct sequences of quasimodular forms of all nonnegative integer weights with minimal input: a weight 1 modular form and a power series $F(X)$. Using the weight 1 form $θ(q)^2$ and $F(X)=\exp(X/2)$, we obtain a sequence $\{Y_n(q)\}$ of weight $n$ quasimodular forms on $Γ_0(4)$ whose symmetric function avatars $\widetilde{Y}_n(\pmb{x}^k)$ are the symmetric polynomials $T_n(\pmb{x}^k)$ that arise naturally in the study of syzygies of numerical semigroups. With this information, we settle two conjectures about the $T_n(\pmb{x}^k).$ Finally, we note that these polynomials are systematically given in terms of the Borel-Hirzebruch $\widehat{A}$-genus for spin manifolds, where one identifies power sum symmetric functions $p_i$ with Pontryagin classes.
Infinite-Exponent Partition Relations on the Real Line
We extend the theory of infinite-exponent partition relations to arbitrary linear order types, with a particular focus on the real number line. We give a complete classification of all consistent partition relations on the real line with countably infinite exponents, and a characterisation of the statement "no uncountable-exponent partition relations hold on the real line", working throughout in ZF without the Axiom of Choice.
Symmetric and non-symmetric F-conjectures are equivalent
The F-conjecture gives a conjectural description of the ample cone of the Deligne-Mumford moduli space $\overline{M}_{g,n}$. We prove that the $S_n$-symmetric and the non-symmetric F-conjectures are equivalent. We also prove the Strong F-conjecture for $\overline{M}_{0,8}$ (and give an alternative proof for $\overline{M}_{0,7})$. Finally, we derive, as a consequence, the F-conjecture for the moduli space of stable curves $\overline{M}_{g}$ up to genus $g\leq 44$.
Hamilton decompositions of regular tripartite tournaments
Kühn and Osthus conjectured in 2013 that regular tripartite tournaments are decomposable into Hamilton cycles. Somewhat surprisingly, Granet gave a simple counterexample to this conjecture almost 10 years later. In this paper, we show that the conjecture of Kühn and Osthus nevertheless holds in an approximate sense, by proving that every regular tripartite tournament admits an approximate decomposition into Hamilton cycles. We also study Hamilton cycle packings of directed graphs in the same regime, and show that for large $n$, every balanced tripartite digraph on $3n$ vertices which is $d$-regular for $d\ge (1+o(1))n$ admits a Hamilton decomposition.
Zero Forcing on Iterated Graph Models
Modeling how information travels throughout a network has vast applications across social sciences, cybersecurity, and graph-based neural networks. In this paper, we consider the zero forcing model for information diffusion on iterative deterministic complex network models. In particular, we continue the exploration of the Iterative Local Transitive (ILT) model and the Iterative Local Anti-Transitive (ILAT) model, both introduced by Bonato et. al. in 2009 and 2017, respectively. These models use ideas from Structural Balance Theory to generate edges through a notion of cloning where ``the friend of my friend is my friend'' and anticloning where ``the enemy of my enemy is my friend.''
Zero forcing, introduced independently by Burgarth and Giovanetti and a special working group at AIM in 2007 and 2008, begins with some set of forced vertices, the remaining are unforced. If a forced vertex has a single unforced neighbor, that neighbor becomes forced. The minimum number of vertices in a starting set required to guarantee all vertices eventually become forced is the zero forcing number of the graph. The maximum number of vertices in a starting set such that the graph cannot become fully forced is the failed zero forcing number of a graph. In this paper we provide bounds for both the zero forcing and failed zero forcing number of graphs created using both the ILT and ILAT models. In particular, we show that in the case of ILAT graphs the failed zero forcing number can only take on one of four values, dependent on the number of vertices of the graph. Finally, we briefly consider another information diffusion model, graph burning, on a more general iterated graph model.
Framing Triangulations and Framing Posets of Planar DAGs with Nontrivial Netflow Vectors
The space of unit flows on a directed acyclic graph (DAG) with one source and one sink is known to admit regular unimodular triangulations induced by framings of the DAG. The dual graph of any of these triangulations may be given the structure of the Hasse diagram of a lattice, generalizing many variations of the Tamari lattice and the weak order. We extend this theory to flow polytopes of DAGs which may have multiple sources, multiple sinks, and nontrivial netflow vectors under certain planarity conditions. We construct a unimodular triangulation of such a flow polytope indexed by combinatorial data and give a poset structure on its maximal simplices generalizing the strongly planar one-source-one-sink case.
Flows on Gentle Algebras
The space of unit flows on a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. Amply framed DAGs and their triangulated flow polytopes have recently been connected with the representation theory of certain gentle algebras. We expand on this connection by defining a flow on the fringed quiver of an arbitrary gentle algebra. We call the space of unit flows its turbulence polyhedron. We show that support tau-tilting modules of a gentle algebra index a unimodular triangulation of its turbulence polyhedron. In the representation-infinite case, this triangulation is not complete and we give two different larger polyhedral dissections given by adding lower-dimensional walls to the picture. The turbulence polyhedron has a quotient map to what we define as the g-polyhedron lying in the ambient space of the g-vector fan, proving that gentle algebras are g-convex. Moreover, the images of our two types of walls under this quotient map provide two different interpretations for the complement of the g-vector fan of a gentle algebra.