Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A characterization of interval nest digraphs
A digraph consisting of a set of vertices $V$ and a set of arcs $E$ is called an interval digraph if there exists a family of closed intervals $\{I_u,J_u\}_{u \in V}$ such that $uv$ is an arc if and only if the intersection of $I_u$ and $J_v$ is non-empty. Interval digraphs naturally generalize interval graphs, by extending the classical interval intersection model to directed graphs. Several subclasses of interval digraphs have been studied in the literature-such as balanced, chronological and catch interval digraphs-each characterized by admitting interval representations that satisfy specific restrictions. Among these, interval nest digraphs are the ones that admit an interval representation in which $J_u$ is contained in $I_u$ for all vertices $u$ of $V$.
In this work, we provide a complete characterization of interval nest digraphs in terms of vertex linear orderings with forbidden patterns, which we call nest orderings. This result completes the picture of vertex-ordering characterizations among the main subclasses of interval digraphs.
Low order maximally single-trace graphs as the first counterexamples to large N factorization in random tensors
We give the first and lowest order examples of 3-regular 3-edge-colored graphs that demonstrate the non-factorization of tensor model invariants in the large N limit of Gaussian random tensors, as proven on general grounds in [Gurau R., Joos F. and Sudakov B., Lett. Math. Phys., 115 (2025), arXiv:2506.15362 [math-ph]]. This non-factorization is in stark contrast to the well-known large N factorization for random matrices.
Monge-Ampère measures on balanced polyhedral spaces
We study classes of convex functions on balanced polyhedral spaces and establish various structural properties, including a compactness theorem for polyhedrally plurisubharmonic functions. Using tropical intersection theory, we construct Monge--Ampère measures, first associated with piecewise affine functions, and then we extend it to polyhedrally plurisubharmonic functions.
We investigate polyhedral Monge--Ampère equations on balanced polyhedral spaces via a variational approach, providing sufficient conditions for the existence of solutions as well as explicit counterexamples. Finally, we relate our framework to non-archimedean pluripotential theory and explore its connection with the non-archimedean Monge--Ampère equation.
Faster Parametric Submodular Function Minimization by Exploiting Duality
Let $f:2^{E} \rightarrow \mathbb{Z}_+$ be a submodular function on a ground set $E = [n]$, and let $P(f)$ denote its extended polymatroid. Given a direction $d \in \mathbb{Z}^n$ with at least one positive entry, the line search problem is to find the largest scalar $λ$ such that $λd \in P(f)$. The best known strongly polynomial-time algorithm for this problem is based on the discrete Newton's method and requires $\tilde{O}(n^2 \log n)\cdot$ SFM time, where SFM is the time for exact submodular function minimization under the value oracle model.
In this work, we study the first weakly polynomial-time algorithms for this problem. We reduce the number of calls to the exact submodular minimization oracle by exploiting a dual formulation of the parametric line search problem and recent advances in cutting plane methods. We obtain a running time of
\[
O\bigl(n^2 \log(nM\|d\|_1)\cdot \text{EO} + n^3 \log(nM\|d\|_1)\bigr) + O(1)\cdot \text{SFM},
\]
where $M = \|f\|_\infty$ and EO is the cost of evaluating $f$ at a set. Note that when $\log \|d\|_1 = O(\log (nM))$, this matches the current best weakly polynomial running time for submodular function minimization [Lee, Sidford, Wong '15], and therefore, one cannot hope to improve this running time. Our approach proceeds by deriving a dual formulation that minimizes the Lovász extension $F$ over a hyperplane intersecting the unit hypercube, and then solving this dual problem approximately via cutting-plane methods, after which we round to the exact intersection using the integrality of $f$ and $d$.
The Lovász conjecture holds for moderately dense Cayley graphs
We show that there is an absolute constant $c>0$ such that every large connected $n$-vertex Cayley graph with degree $d\geq n^{1-c}$ has a Hamilton cycle. This makes progress towards the Lovász conjecture and improves upon the previous best result of this form due to Christofides, Hladký, and Máthé from 2014 concerning graphs with $d\geq \varepsilon n$. Our proof avoids the use of Szemerédi's regularity lemma and relies instead on an efficient arithmetic regularity lemma specialised to Cayley graphs.
Crystal Melting, Triality and Partition Functions for Toric Calabi-Yau Fourfolds
We extend the study of the recently introduced crystal melting models associated to toric Calabi-Yau 4-folds in several directions. In particular, we investigate in greater detail the structure of these models for general toric CY 4-folds and flavor configurations, using the explicit example of $Q^{1,1,1}$ to illustrate our ideas. To this end, we develop an efficient algorithm for constructing crystals based on periodic quivers. A central goal of this work is to understand the behavior of crystals and their partition functions under triality. We analyze the evolution of crystals along periodic triality cascades and generate detailed data for these systems, including Hasse diagrams, partition functions, and the multiplicities of melting configurations. We introduce the notion of stable variables and show that they lead to the stabilization of the partition functions along cascades. Finally, we define the profile of the crystal partition function and observe that, when expressed in terms of stable variables, it displays interesting behavior. A further motivation for this work is to generate empirical data that may guide the search for a physically motivated generalization of cluster algebras associated with $2d$ (0,2) quiver theories and their triality transformations.
The structure of group-labeled graphs forbidding an immersion
A $Γ$-labeled graph is an oriented graph with edges invertibly labeled by a group $Γ$. We prove a structure theorem for $Γ$-labeled graphs which forbid a fixed $Γ$-labeled graph as an immersion, for any finite $Γ$. Roughly, we show that such graphs admit a tree-cut decomposition in which every bag either contains few high degree vertices or is nearly signed over a proper subgroup of $Γ$.
Circular chromatic index of small graphs
We systematically determine circular chromatic index of small graphs and multigraphs with maximum degree $4$, $5$, $6$ (and also their number for a given small order). We construct several infinite families of such graphs with circular chromatic index in the set $\{Δ+ 1/2, Δ+ 2/3, Δ+ 3/4$, $Δ+ 1\}$. Our results refute edge-connectivity variants of the ``Upper Gap Conjecture'' (about the non-existence of graphs with circular chromatic index just below $Δ+ 1$).
Asymptotic $\mathrm{v}$-number of graded families of ideals and the Newton-Okounkov region
In this paper, we prove that for Noetherian graded families $\mathcal{I} = \{I_k\}_{k \ge 0}$ of homogeneous ideals, $\lim\limits_{k \to \infty} \frac{\mathrm{v}(I_k)}{k}$ exists, %equals $\lim\limits_{k \to \infty} \frac{α(I_k)}{k}$,
and is given by $\frac{α(I_r)}{r}$ for some $r \ge 1$, where $α(I)$ denotes the initial degree. Extending these results to integral closures, we show that \( \lim\limits_{k\to\infty}\frac{\mathrm{v}(\overline{I_k})}{k} = \lim\limits_{k\to\infty}\frac{α(\overline{I_k})}{k}=\lim\limits_{k\to\infty}\frac{\mathrm{v}(I_k)}{k}=\lim\limits_{k\to\infty}\frac{α(I_k)}{k} \). For monomial ideals, we provide a combinatorial interpretation of these limits via Newton--Okounkov regions $Δ(\mathcal{I})$. %demonstrating that they equal $λ(Δ(\mathcal{I}))$, the minimum coordinate sum among vertices of $Δ(\mathcal{I})$. This connection is further generalized to arbitrary homogeneous ideals using good valuations. We also establish that both $\operatorname{reg}(I_k)$ and $\mathrm{v}(I_k)$ are eventually quasi-linear functions of $k$ for any Noetherian graded family. %Under suitable conditions, we prove the strict inequality $\mathrm{v}(I_k) < \operatorname{reg}(I_k)$. For stable monomial ideal $I$ we show that $\mathrm{v}(I) < \operatorname{reg}(I)$. Finally, for zero-dimensional homogeneous ideal $I$ in a polynomial ring $S$, we prove that $\mathrm{v}(I) < e(S/I)$, where $e(S/I)$ denote the multiplicity.
Domination polynomial of co-maximal graphs of integer modulo ring
We investigate the domination polynomial of the co-maximal graph $Γ(\mathbb{Z}_n)$ related to the ring of integers modulo $n$. Explicit formulas are derived for \( n = p^{n_1} \) and \( n = p^{n_1}q^{n_2} \), demonstrating that the resulting polynomials exhibit unimodality and log-concavity. For general $n$, we present structural expressions that connect $D(Γ(\mathbb{Z}_n),x)$ to appropriate induced subgraphs. Finally, we examine domination roots and establish bounds for their moduli using the Eneström--Kakeya theorem.
Hierarchical threshold structure in Max-Cut with geometric edge weights
We study a family of weighted Max-Cut instances on the complete graph $K_n$ in which edge weights decrease geometrically in lexicographic order: the $i$-th edge has weight $r^{N-i}$ where $N=\binom{n}{2}$. For $r\ge 2$, the lexicographically first cut is optimal; for $r=1$, all edges have equal weight and the balanced partition wins. In this paper we study the intermediate regime $1< r <2$.
The geometric weighting makes early edges dominant and singles out the $k$-isolated cuts $C_k=\{1,\dots,k\}\mid\{k+1,\dots,n\}$ as natural candidates for optimality. For each $n$ and $k\le\lfloor n/2\rfloor-1$, we define threshold polynomials $P^{n,k}(r)$ whose unique roots $r_k(n)\in(1,2)$ determine when $C_k$ and $C_{k+1}$ exchange dominance. We prove that, for fixed $n$, these thresholds are strictly decreasing in $k$ and that $r_k(n)\to 1$ as $n\to\infty$. As our main result, we show that for $r\in(r_k(n),r_{k-1}(n))$ the cut $C_k$ achieves maximum weight among all isolated cuts, yielding a sharp phase diagram for the isolated-cut family.
We conjecture that isolated cuts are globally optimal among all $2^{n-1}$ cuts when $n\ge 7$; all counterexamples for small $n$ are characterized completely, and extensive computations for $n\le 100$ support the conjecture.
Degree-Based Weighted Adjacency Matrices: Spectra, Integrality, and Edge Deletion Effects
The article presents weighted adjacency spectrum of complete multipartite graphs, characterize its families with three distinct eigenvalues and identifies integral matrices. Also, we observe that for almost all weighted matrices, the energy and the spectral radius of a complete graph decreases upon edge deletion, thereby correcting and refining earlier published results in [Bilal and Munir, Int. J. Quantum Chem. (2024)]. Furthermore, we give counter examples related to $ISI$ energy decrease of regular tripartite graph by edge deletion and give its correct $ISI$ spectrum and $ISI$ energy and settle an open problem related to $ISI$ energy change of the multipartite graph. Also, we calculate the weighted adjacency spectrum of crown multipartite graph and discuss its integral spectral weighted spectrum.
On the statistics of random-to-top shuffles
We prove limit theorems for the number of fixed points, descents, and inversions of iterated random-to-top shuffles in two limiting cases. Our proofs are analytical and rely on novel combinatorial decompositions of each statistic into randomly indexed statistics of uniformly random permutations. New combinatorial proofs of the expected number of fixed points and inversions are given. Our results answer questions of Diaconis, Fulman, and Pehlivan.
2-switch: transition and satability on forests and pseudofests
Given any two forests (pseudoforests) with the same degree sequence, we show that one can be transformed into the other by a sequence of 2-switches in such a way that all the intermediate graphs of the transformation are forests (pseudoforests). We also prove that the 2-switch operation perturbs minimally some well-known integer parameters in families of graphs with the same degree sequence. Then, we apply these results to conclude that the studied parameters have the interval property on those families.
Spectral bounds for the independence number of graphs and even uniform hypergraphs
In this paper, we give spectral upper bounds for the independence number of even uniform hypergraphs and graphs, extend the Hoffman bound to even uniform hypergraphs, and give a simple spectral condition for determining the independence number, the Shannon capacity and the Lovász number of a graph. The Hoffman bound on the Lovász number is also extended from regular graphs to general graphs.
On a conjecture concerning the property of chromatic polynomials with negative variable
Let $G$ be a graph of order $n$ and $P(G,x)$ be the chromatic polynomial of $G$. Dong, Ge, Gong, Ning, Ouyang, and Tay (J. Graph Theory 96(2021) 343) conjectured that $\frac{d^k}{dx^k} \bigl( \ln[(-1)^n P(G, x)] \bigr) < 0$ holds for all $k \geq 2$ and $x \in (-\infty, 0)$. We prove this conjecture for all $k \geq 2 $ and $ x\leq -10Δk $, in which $Δ$ is the maximum degree of $G$.
On the 2-Linkage Problem for Split Digraphs
A digraph is {\bf \( k \)-linked} if for arbitary two disjoint vertex sets \(\{s_1, \ldots, s_k\}\) and \(\{t_1, \ldots, t_k\}\), there exist vertex-disjoint directed paths \(P_1, \ldots, P_k\) {such that \(P_i\) is a directed path from \(s_i\) to \(t_i\) for each $i\in [k]$}. A {\bf split digraph} is a digraph \( D = (V_1, V_2; A) \) whose vertex set is a disjoint union of two nonempty sets \( V_1 \) and \( V_2 \) such that \( V_1 \) is an independent set and the subdigraph induced by \( V_2 \) is semicomplete (no pair of non-adjacent vertices). A {\bf semicomplete split digraph} is a split digraph \( D = (V_1, V_2; A) \) in which every vertex in the independent set \( V_1 \) is adjacent to every vertex in \( V_2 \). {Semicomplete split digraphs form an important subclass of the class of semicomplete multipartite digraphs.} In this paper, we prove that every 6-strong split digraph is 2-linked. This solves a problem posed by Bang-Jensen and Wang [J. Graph Theory, 2025]. We also show that every 5-strong semicomplete split digraph is 2-linked. This bound is tight already for semicomplete digraphs.
On an infinite sequence of strongly regular digraphs with parameters $(9(2n+3), 3(2n+3), 2n+4, 2n+1, 2n+4)$
The paper constructs an infinite sequence of strongly regular directed graphs. The construction relies on representing adjacency matrices as block matrices of circulant blocks and using a compactification operation compatible with polynomial arithmetic modulo $x^{2n+3}-1$. Computer search with the pychoco library, followed by automorphism group analysis in GAP, revealed a consistent structural pattern, enabling the formulation and proof of an explicit formula for the adjacency matrices of the sought digraphs. It is proved that the obtained digraphs satisfy the defining equations for strongly regular digraphs. A conjecture on the structure of their automorphism groups is formulated.
The orthogonal connectedness of polyhedral surfaces
Using the orthogonal connectedness, we introduce the notion of orthogonal decomposability of convex polytopes and study it in the case of Platonic and Archimedean solids. While doing so, we also encounter polytopes which are not orthogonally decomposable.
An Efficient Triangulation of $\mathbb{R}P^5$
We present a $6$-dimensional centrally symmetric simplicial polytope for which the antipodal quotient of its boundary forms a $24$-vertex triangulation of the $5$-dimensional real projective space. This $6$-polytope is highly symmetric with an automorphism group of order $192$, and is of independent interest. We conjecture that our construction uses the fewest number of vertices among all triangulations of $\mathbb{R}P^5$. Our method also produces two triangulations of $\mathbb{R}P^6$ on $45$ and $49$ vertices; both improve the previously best known construction in dimension $6$ that used $53$ vertices.