Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Tighter Bounds on the Degree-Truncated Choice Number of Planar Graphs
Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to \mathbb{N}$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is degree-truncated $k$-choosable. The degree-truncated choice number of $G$ is $\operatorname{ch}^{\text{\st{d}}}(G) = \min\{k: G \text{ is degree-truncated $k$-choosable}\}$. For a family $\mathcal{G}$ of graphs, $\operatorname{ch}^{\text{\st{d}}}(\mathcal{G}) = \max\{\operatorname{ch}^{\text{\st{d}}}(G):G \in \mathcal{G}\}$. Let $\mathcal{P}$ denote the family of 3-connected non-complete planar graphs. Richter asked in 2008 whether $ch^{\text{\st{d}}}(\mathcal{P}) \le 6$. In 2025, Zhou, Zhu and Zhu answered this question in negative and proved that $8 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 16$. This result was improved by
Jiang, Xu, Xu, and Zhu, who proved that
$9 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 12$. In this paper,
we further improve the result and prove that
$10 \le \operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) \le 11$. We conjecture that $\operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) =10$, and we confirm this conjecture for those planar graphs $G \in \mathcal{P}$ for which the subgraph induced by vertices of degree at least 11 is 4-choosable.
No three algebraic conjugates of degree sixteen sum to zero
Let $d$ be the smallest positive integer, not divisible by $3$, for which there exists an algebraic number over $\mathbb{Q}$ of degree $d$ whose some three algebraic conjugates sum to zero. Employing the classification of vertex-transitive graphs on 16 vertices of degree 6, we prove that $d\neq 16$. This, combined with results obtained by Dubickas, Smyth and Stong \cite{DubickasSmyth2006}, Dubickas and Jankauskas \cite{DubickasJankauskas2015} and Virbalas \cite{Virbalas2025a}, implies that $d=20$.
Erdős-Hajnal beyond the five-vertex path
The well-known Erdős-Hajnal conjecture states that for any graph $H$, there is a constant $c=c(H)>0$ such that every $n$-vertex graph $G$ with no induced copies of $H$ contains a clique or an independent set of size at least $n^{c}$.
In a recent breakthrough, Nguyen, Scott and Seymour proved that Erdős-Hajnal conjecture holds for the five-vertex path (Proceedings of London Mathematical Society 2026), which implies that Erdős-Hajnal conjecture holds for every five-vertex graph. In this paper, we prove that Erdős-Hajnal conjecture holds for graphs with no induced copies of $E$-graph, where $E$-graph is the graph obtained from the five-vertex path $P_5$ by adding a pendent edge to the middle vertex of the $P_5$. Our result generalizes the result of Nguyen, Scott and Seymour on five-vertex path.
The proof uses the iterative sparsification framework proposed by Nguyen, Scott and Seymour in their series work on Erdős-Hajnal conjecture with our generalization. We first reduce Erdős-Hajnal conjecture to a property called generlaized nice, which is a generalization of the ``nice'' property used in [T.~Nguyen, A.~Scott, and P.~Seymour. Induced subgraph density. VII. The five-vertex path. {\em Proceedings of the London Mathematical Society}, 132(3):e70133, 2026]. We then reduce the generalized nice property to a new property related to a structure called comb, where comb was first used in [M.~Chudnovsky, A.~Scott, P.~Seymour, and S.~Spirkl. Erdős-Hajnal for graphs with no 5-hole. {\em Proceedings of the London Mathematical Society}, 126(3): 997-1014, 2023]. Finally, we show that $E$-graph satisfies the desired property via a careful structural analysis imposed by the forbidden induced subgraph. One key step in the proof is to prove, via defining appropriate equivalence relations, that certain auxiliary graph satisfies the Erdős-Hajnal conjecture.
Mixed Minkowski-Covering Inequalities for Convex Bodies and Lattices
In this paper we present a sharp mixed inequality relating successive minima and quotient covering radii of origin-symmetric convex bodies with respect to lattices. The inequality interpolates between the (classical) covering-density lower bound and the lower bound in Minkowski's second theorem.
The density of $k$-cacti via excluding minors
A \emph{$k$-cactus} generalizes forests and cacti by allowing each edge to lie on at most $k$ cycles. The maximum number of edges is classical for forests and cacti, but for $k$-cacti was known only for $k\le 4$. In this note we treat general $k$. The key idea is that bounding the cycles through each edge forces a $k$-cactus to exclude a large complete minor; in particular, the class of $k$-cacti is minor-closed. From this we prove that every $n$-vertex $k$-cactus has $O\!\left(\frac{\log k}{\sqrt{\log\log k}}\,n\right)$ edges for all sufficiently large $k$, and a construction shows this is optimal up to a factor of $\sqrt{\log\log k}$.
Equivariant Quantum Cohomology of Grassmannians via the Clifford algebra
We construct an explicit equivariant quantum Satake map for Grassmannians, which enables us to express their torus-equivariant quantum cohomology in terms of that of projective space. We then consider the exterior algebra of the latter, which admits a canonical identification with a Clifford algebra. We describe the resulting action in several complementary ways: first, from a geometric perspective via push-pull maps, and second, in terms of the shuffle product, which also arises in the simplest cohomological Hall algebra associated with the $A_1$-quiver. Exploiting the Clifford algebra structure, we derive new recurrence relations among equivariant Gromov-Witten invariants, yielding a new method for their computation in terms of Wick's Theorem. As an application, we provide combinatorial proofs of Graham positivity for both equivariant quantum Pieri rules, and in one case extend these results to quantum triple Schubert calculus.
A new family of distances over partially ordered sets
Order theory is increasingly relevant in applications where data is naturally structured as a partially ordered set (poset), often requiring meaningful notions of distance over posets. In this paper, we introduce a new family of extended metrics on path-connected and fence-connected posets that do not require additional structure. Unlike many existing distances, these metrics are not induced by valuations, but instead arise as a type of shortest-path distance determined by both path length and the number of alternations. For discrete posets, we show that these metrics converge to a type of shortest-fence metric. Our main result establishes that these metrics characterize most discrete path-connected posets up to isomorphism, and up to duality for modular posets. Finally, we prove that this family defines interleaving distances when posets are viewed as thin categories.
Periodic discrete graphs with prescribed spectrum
We construct a periodic weighted graph whose discrete Laplacian has a spectrum with precisely $n$ gaps. Moreover, we show that by an appropriate choice of the weights, the endpoints of these gaps, as well as the upper edge of the spectrum, attain the prescribed values. The underlying graph has a brush-like geometry: it consists of an infinite chain of vertices, each of which is connected to $n$ additional pendant vertices by extra edges. Semi-explicit formulae for the weight coefficients are provided: some of the coefficients are determined explicitly, while others are given as roots of an explicitly determined polynomial.
Temporal matching in trees
We study maximum matching problems in temporal graphs whose underlying graph is a tree. We consider two temporal models. In a $Δ$-matching, selected time edges sharing an endpoint must have time ticks differing by at least $Δ$. In a $γ$-matching, the selected objects are blocks of $γ$ consecutive appearances of the same underlying edge. We also consider the related ordered static problem of $d$-distance matchings.
We show that maximum $Δ$-matching remains NP-hard on temporal trees for every $Δ\geq 2$, even in the sparse case where each edge appears at most twice. Using a reduction between the temporal models, we obtain the analogous result for maximum $γ$-matching on temporal trees, even when each edge admits at most two $γ$-edges. We also show, via a reduction from $d$-distance matching, that maximum $γ$-matching is APX-hard even when the underlying graph is bipartite.
Complementing these hardness results, we identify several tractable cases. We prove that maximum $Δ$-matching is polynomial-time solvable on temporal trees in which every edge appears exactly once, and that maximum $γ$-matching is polynomial-time solvable when each edge admits at most one $γ$-edge. We also give dynamic-programming algorithms under bounded local-use and local-sparsity assumptions, and derive polynomial-time solvability of maximum $d$-distance matching when the input bipartite graph is a tree. Finally, we prove that both maximum $Δ$-matching and maximum $γ$-matching admit polynomial-time approximation schemes on temporal trees.
Perverse filtration on Hilbert schemes via upward flow
We explicitly compute the perverse Leray filtration on the top cohomology of Hilbert schemes of points on $Σ\times \mathbb{C}$, for any connected smooth projective curve $Σ$. The computation is carried out in the natural basis given by the $\mathbb{C}^*$-upward-flow cycles. The result is described by a simple symmetric-function dictionary: upward-flow classes correspond to products of complete homogeneous symmetric functions, while the perverse-homogeneous basis corresponds to products of Newton power sums, giving an explicit, upper-triangular change-of-basis between the two.
Infinitesimal Bialgebra on Planar Binary Trees
We construct a weight-zero infinitesimal bialgebra structure on the $\bk$-module spanned by planar binary trees, using the under product $\backslash$ of Aguiar--Sottileand a root-recursive coproduct $\DeltaLR$. We prove that $\DeltaLR$ is coassociative and satisfies the infinitesimal derivation rule with respect to $\backslash$, hence gives a unitary infinitesimal bialgebra distinct from the usual Loday--Ronco Hopf structure. We also obtain an elementary vertex-cut formula, establish freeness properties for unitary $(\backslash,\vee)$-algebras and unitary infinitesimal $(\backslash,\vee)$-bialgebras, and identify the construction with the infinitesimal coproduct transported from planar rooted forests.
On linear $k$-graphs with codegree Turán density arbitrarily close to zero
Let $F$ be a $k$-uniform hypergraph, abbreviated as $k$-graph. The codegree Turán density $π_{\mathrm{co}}(F)$ is the supremum over all $γ\in [0,1]$ such that, for arbitrarily large $n$, there exists an $n$-vertex $F$-free $k$-graph $H$ whose every $(k-1)$-subset of vertices lies in at least $γn$ edges. In this paper, we prove that there is a linear $k$-graph $F$ with $0<π_{co}(F) < \varepsilon$ for any $\varepsilon>0$. The special case $k=3$ solve a question proposed by Ding, Lamaison, Liu, Wang and Yang (JLMS, 2025).
Size Ramsey minimal graphs for star forests
For given graphs $G_{1}, G_{2}, \dots, G_{t}$ and $G$, let $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ denote that each $t$-coloring of $E(G)$ yields a monochromatic copy of $G_{i}$ in color $i$ for some $i\in [t]$. The {\it size Ramsey number} $\hat{r}(G_{1}, G_{2}, \dots, G_{t})$ is the minimum size of $G$ such that $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$. A graph $G$ is a {\it size Ramsey minimal graph} for $(G_{1}, G_{2}, \dots, G_{t})$ if $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ and $e(G)= \hat{r}(G_{1}, G_{2}, \dots, G_{t})$. A {\it star forest} is a vertex-disjoint union of stars, and a {\it uniform star forest} is a star forest with the same size of each component. In 1978, Burr, Erdős, Faudree, Rousseau and Schelp, and in 2025, Davoodi, Javadi, Kamranian and Raeisi completely characterized the size minimal graphs for uniform star forests. In this paper, we completely characterize the size Ramsey minimal graphs for uniform star forests in multicolors.
Multi-entropy in random tensor networks
We study the evaluation of Rényi multi-entropies $S^{(q)}_n$ in Random Tensor Network (RTN) states in the large bond-dimension limit. For the case of Rényi index $n=2$ and arbitrary number of parties $q$, we prove that that multi-entropies are determined by minimal multiway cuts through the network. When the minimal multiway cut is degenerate, we characterize the full minimizer set via compatible families of minimal cuts and give a criterion for all minimizers to come from ordinary cut partitions. For $n=2$, this gives a natural generalization of the minimal cut description of bipartite entanglement to multipartite systems with arbitrarily many parties. For the case of integer $n>2$, we show that the minimal multiway cut conjecture is in general \emph{not true} by providing explicit counter examples for both the single random tensor and for the network built from isometric tilings. We discuss the implication for our results on the multipartite entanglement structures in RTN and holography.
On Isomorphism theorem of the Comparability Graph of Lattices
In recent years, researchers have actively contributed to the field of graphs associated with algebraic structures and ordered structures. It is a fundamental question to ask whether we infer algebraic or ordered structure from associated graphs and vice versa. In this paper, we gave characterizations about comparability graphs and associated lattices. In particular, we determined some properties of lattices that are preserved under the graph isomorphism. We have also provided a technique to construct non-isomorphic lattices with isomorphic comparability graphs. Also, we find two classes of lattices in which the graph isomorphism gives the lattice isomorphism.
The sorting-Denert statistic
Denert's statistic is a classical Mahonian statistic on permutations. Together with the excedance number, it forms an Euler--Mahonian pair, a result first conjectured by Denert and later proved by Foata and Zeilberger. Motivated by this classical result, we introduce the sorting-Denert statistic, a sorting-index analogue of Denert's statistic. It is obtained by replacing, in Denert's statistic, the inversion number of the non-excedance-letter subsequence with its sorting index. We prove that the sorting-Denert statistic, together with the excedance number, forms a new Euler--Mahonian pair.
Stacking and Clearing in Directed Graph Pebbling
Suppose that pebbles are distributed on the vertices of a directed graph D. A directed pebbling step u -> v along an arc u -> v removes two pebbles from u and places one pebble on v. We study the stacking number stack(D), the least integer t >= 2 such that every configuration with t pebbles can be transformed by a finite sequence of pebbling steps into a configuration with all pebbles on a single vertex, and the clearing number clear(D), defined analogously by requiring a final configuration with one pebble.
Our main result is the formula stack(C_n) = n(2^{n-1}-1)+1 for the directed n-cycle C_n, for n >= 2. We also prove that, for finite simple digraphs with at least two vertices, stack(D) is defined precisely for strongly connected digraphs, and clear(D) is defined precisely for strongly connected digraphs whose directed cycle lengths have greatest common divisor 1.
Tree-Based Formalization of Multi-Agent Complementarity in Human-AI Interactions
Complementarity is the case in which a human--AI interaction (HAI) outperforms the best prediction benchmark available among its members. Although this idea is central in HAI research, formal work on complementarity remains limited. Existing frameworks do not model how agents' predictions compose into workflow-sensitive multi-agent protocols. We close this gap by introducing a tree-based formalization of complementarity in multi-agent HAI. An HAI protocol is represented by an ordered agent-role configuration together with a rooted planar binary tree whose leaves are decorated by prediction vectors. A local binary composition rule is evaluated recursively along the tree, yielding a tree-relative complementarity functional relative to a pointwise-min oracle benchmark. We prove four results. First, selector-based HAIs, including self- or AI-reliance, cannot achieve complementarity regardless of task, loss, or prediction quality. Second, in regression under squared loss, complementarity is equivalent to Euclidean distance minimization from the ground-truth vector; for $N=2$, the optimal linear-pooling weight has a closed form and a residual-correction interpretation. Third, under linear local composition, every protocol tree defines a barycentric coordinate chart on the simplex of leaf weights; Tamari-cover reparameterizations of protocol trees preserve complementarity, and for $N=4$, they satisfy the pentagon identity. Fourth, in binary classification, no internal local composition can achieve complementarity under endpoint-monotone losses, including standard Bregman and many finite Bernoulli $f$-divergence losses; an analogous obstruction holds for multiclass aggregation under cross-entropy. In summary, our framework shows that complementarity is attainable in multi-agent regression, but obstructed in classification under natural conditions on local aggregation and loss functions.
Combinatorial and analytic aspects of independence polynomials of zero divisor graphs
The independence polynomial of a graph encapsulates all independent sets of differing sizes, a task classified as NP-hard in theoretical computer science. This article examines the independence polynomial of zero divisor graphs in commutative rings. We demonstrate that the independent sets, represented as a sequence of coefficients of the independence polynomial, exhibit unimodality and log-concavity. Therefore, for the independence polynomial of some zero divisor graphs, the unimodal conjecture is true. Additionally, the characteristics of the zeros of the independence polynomial are delineated, along with their corresponding annular regions on the plane.
The minimum degree question for the Maker Breaker Domination Game
The Maker Breaker Domination Game is a two player game played on a graph $G$ in which the players take turns to claim a vertex from the graph. The aim of the Dominator is to claim the vertices of a dominating set, and the aim of the Staller is to prevent this. In this paper, we consider the following problem: for a given integer $d$, what is the size of the smallest (with respect to the number of vertices) graph with minimum degree $d$ such that the Dominator loses going first? We write $β(d)$ to denote the answer to this question. We determine the precise value of $β(d)$ for $d\leq 3$. For general $d$ it was known that $2^{d+1} \leq β(d) \leq 2^{d+1}+2d$; the upper bound is due to a construction communicated to us by Valentin Gledel, while the lower bound follows from a simple application of the Erdős-Selfridge Theorem. We improve the lower bound to $β(d) \geq 2^{d+1}+2$.