Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Standard multigraded Hibi rings and Cartwright-Sturmfels ideals
In this paper, we introduce standard multigradings on Hibi rings, which are algebras arising from posets. We show that any standard multigrading on a Hibi ring that makes its defining ideal (called the Hibi ideal) homogeneous is induced by a chain of the underlying poset. After that, we calculate the multigraded Hilbert series of Hibi rings by generalizing the theory of $P$-partition and we compute the multidegree polynomials of Hibi rings. Furthermore, we characterize Hibi ideals that are Cartwright-Sturmfels ideals.
On Spherical $T$-Designs in $\mathbb{R}^2$
In this paper, we study spherical $T$-designs and their harmonic strength $\text{Hst}(X)$ on the unit circle $S^1$. For any finite set $T\subset\mathbb{N}$, we constructively demonstrate the existence of a finite design $X$ such that $\text{Hst}(X)=T$.
When are Hopf algebras determined by integer sequences?
We study the category of graded Hopf algebras that are free noncommutative, cocommutative, graded and connected from the perspective of the sequences of dimensions of the graded pieces. We show that a Hopf algebra exists with a given sequence of graded dimensions if and only if the ``INVERTi'' transformation of the sequence is nonnegative. We give conditions on the sequences of graded dimensions for two Hopf algebras $H$ and $K$ in this category under which there exists a surjective homomorphism from $H$ to $K$. We also give conditions such that an isomorphic copy of $H$ occurs as a Hopf subalgebra of $K$.
Three-edge-coloring (Tait coloring) cubic graphs on the torus: A proof of Grünbaum's conjecture
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the torus, with the exceptional graph class called "Petersen-like", is 3-edge-colorable. This means every (non-trivial) toroidal snark can be obtained from several copies of the Petersen graph using the dot product operation. The first two snarks in this family are the Petersen graph and one of Blanuša snarks; the rest are exposed by Vodopivec in 2008. This proves a strengthening of the well-known, long-standing conjecture of Grünbaum from 1968.
This implies that a 2-connected cubic (multi)graph that can be embedded in the torus is not 3-edge-colorable if and only if it can be obtained from a dot product of copies of the Petersen graph by replacing its vertices with 2-edge-connected planar cubic (multi)graphs. Here, replacing a vertex $v$ in a cubic graph $G$ is the operation that takes a 2-connected planar cubic multigraph $H$ and one of its vertices $u$ of degree 3, unifying $G-v$ and $H-u$ and connecting the neighbors of $v$ in $G-v$ with the neighbors of $u$ in $H-u$ with a matching.
This result is a highly nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability.
An important consequence of this result is a very strong version of the Tutte 4-Flow Conjecture for toroidal graphs. We show that a 2-edge connected graph embedded in the torus admits a nowhere-zero 4-flow unless it is Petersen-like (in which case it does not admit nowhere-zero 4-flows). Observe that this is a vast strengthening over the Tutte 4-Flow Conjecture on the torus, which assumes that the graph does not contain the Petersen graph as a minor because almost all toroidal graphs contain the Petersen graph minor, but almost none are Petersen-like.
Local rainbow colorings of hypergraphs
In this paper, we generalize the concepts related to rainbow coloring to hypergraphs. Specifically, an $(n,r,H)$-local coloring is defined as a collection of $n$ edge-colorings, $f_v: E(K^{(r)}_n) \rightarrow [k]$ for each vertex $v$ in the complete $r$-uniform hypergraph $K^{(r)}_n$, with the property that for any copy $T$ of $H$ in $K^{(r)}_n$, there exists at least one vertex $u$ in $T$ such that $f_u$ provides a rainbow edge-coloring of $T$ (i.e., no two edges in $T$ share the same color under $f_u$). The minimum number of colors required for this coloring is denoted as the local rainbow coloring number $C_r(n, H)$.
We first establish an upper bound of the local rainbow coloring number for $r$-uniform hypergraphs $H$ consisting of $h$ vertices, that is, $C_r(n, H)= O\left( n^{\frac{h-r}{h}} \cdot h^{2r + \frac{r}{h}} \right)$. Furthermore, we identify a set of $r$-uniform hypergraphs whose local rainbow coloring numbers are bounded by a constant. A notable special case indicates that $C_3(n,H) \leq C(H)$ for some constant $C(H)$ depending only on $H$ if and only if $H$ contains at most 3 edges and does not belong to a specific set of three well-structured hypergraphs, possibly augmented with isolated vertices. We further establish two 3-uniform hypergraphs $H$ of particular interest for which $C_3(n,H) = n^{o(1)}$.
Regarding lower bounds, we demonstrate that for every $r$-uniform hypergraph $H$ with sufficiently many edges, there exists a constant $b = b(H) > 0$ such that $C_r(n,H) = Ω(n^b)$. Additionally, we obtain lower bounds for several hypergraphs of specific interest.
Some Observations about the "Generalized Abundancy Index"
Let $\mathcal{A}(\ell,n) \subset S_n^{\ell}$ denote the set of all $\ell$-tuples $(π_1,\dots,π_{\ell})$, for $π_1,\dots,π_{\ell} \in S_n$ satisfying: $\forall i<j$ we have $π_iπ_j=π_jπ_i$. Considering the action of $S_n$ on $[n]=\{1,\dots,n\}$, let $κ(π_1,\dots,π_{\ell})$ be equal to the number of orbits of the action of the subgroup $\langle π_1,\dots,π_{\ell} \rangle \subset S_n$. There has been interest in the study of the combinatorial numbers $A(\ell,n,k)$ equal to the cardinalities $|\{(π_1,\dots,π_{\ell}) \in \mathcal{A}(\ell,n)\, :\, κ(π_1,\dotsπ_{\ell})=k\}|$. If one defines $B(\ell,n)=A(\ell,n,1)/(n-1)!$, then it is known that $B(\ell,n) = \sum_{(f_1,\dots,f_{\ell}) \in \mathbb{N}^{\ell}} \mathbf{1}_{\{n\}}(f_1\cdots f_{\ell}) \prod_{r=1}^{\ell-1} f_r^{\ell-r}$. A special case, $\ell=2$, is $B(2,n) = \sum_{d|n} d = σ_1(n)$ the sum-of-divisors function. Then $A(2,n,1)/n!=B(2,n)/n$ is called the abundancy index: $σ_1(n)/n$. We call $B(\ell,n) n^{-\ell+1}$ the ``generalized abundancy index.'' Building on work of Abdesselam, using the probability model, we prove that $\lim_{N \to \infty} N^{-1} \sum_{n=1}^{N} B(\ell,n) n^{-\ell+1}$ equals $ζ(2)\cdots ζ(\ell)$. Motivated by this we state a more precise conjecture for the asymptotics of $-ζ(2) + N^{-1}\sum_{n=1}^{N} (B(2,n)/n)$.
Equicovering masses in the Euclidean plane
Classic mass partition results are about dividing the plane into regions that are equal with respect to one or more measures (masses). We introduce a new concept in which the notion of partition is replaced by that of a cover. In this case we require (almost) every point in the plane to be covered the same number of times. If all elements of this cover are equal with respect to the given masses, we refer to them as equicoverings.
To construct equicoverings, we study a natural generalization of $k$-fan partitions, which we call spiral equicoverings. Like $k$-fans, these consist of wedges centered at a common point, but arranged in a way that allows overlapping. Our main result nearly characterizes all reduced positive rational numbers $p/q$ for which there exists a covering by $q$ convex wedges such that every point is covered exactly $p$ times. The proofs use results about centerpoints and combine tools from classical mass partition results, and elementary number theory.
Compatibility of Higher Specht Polynomials and Decompositions of Representations
%We show how to normalize the higher Specht polynomials of Ariki, Terasoma, and Yamada in a compatible way in order to define a stable version of these polynomials. We also decompose the non-transitive actions of Haglund, Rhoades, and Shimozono into orbits, and show how the associated basis of higher Specht polynomials of Gillespie and Rhoades respects that decomposition. For a given $n$, the orbits of the action of $S_{n}$ are associated with subsets of the set of positive integers that are smaller than $n$, and we relate the representation associated with a set $I$ to the ones of $S_{n+1}$ associated with $I$ and with its union with $n$, the latter being a lifting of the Branching Rule.
Generalized Higher Specht Polynomials and Homogeneous Representations of Symmetric Groups
We consider actions, similar to those of Haglund, Rhoades, and Shimozono on ordered partitions, and their basis in terms of the higher Specht polynomials of Ariki, Terasoma, and Yamada, as carried out by Gillespie and Rhoades. By allowing empty sets and working with multi-sets and weak partitions as indices, we obtain a decomposition of the action of $S_{n}$ on homogeneous polynomials of degree $d$ into irreducible representations, in a way that lifts a formula of Stanley. By considering generalized higher Specht polynomials, we obtain yet another such decomposition, lifting another formula involving Kostka numbers. We also investigate several operations on both types of representations, which are based on normalizations of the generalized higher Specht polynomials that allow for defining their stable versions.
Components of Flip Graph of Triangulated S^3
Let (\mathcal{F}(n)) be the graph of (n)-vertex triangulations of the 3-sphere (S^3), with edges as bistellar 2--3 and 3--2 moves. Pachner's theorem \cite{P91} shows the flip graph is connected with 1--4 and 4--1 moves, but (\mathcal{F}(n)) loses connectivity: it is connected for (5 \leq n \leq 9) ((n=5) minimal for (S^3)) but splits into multiple components at (n=16), (n=20), (n=21), and likely beyond. The polytopal closure of (\mathcal{F}(n)) is the component with all boundary complexes of convex 4-polytopes. We prove (\mathcal{F}(10)) and (\mathcal{F}(11)) are connected by showing: every non-polytopal 10-vertex seed triangulation (no 3--2 flips) is one 2--3 flip from a convex-polytope boundary, and every 11-vertex seed triangulation arises from a 10-vertex convex polytope via a 1--4 flip and 2--3 or 3--2 flips, both in the polytopal closure. We address four unflippable (S^3) complexes ((U(16)), (U(20)), (U_1(21)), (U_2(21))), showing each connects to the polytopal closure of (\mathcal{F}(n+1)) after one 1--4 vertex insertion and an annealing process maximizing removable-vertex chains. We propose the Weeping Willow Conjecture: non-polytopal components of (\mathcal{F}(n)) stem from the polytopal closure of (\mathcal{F}(m)), (m > n), via 4--1 moves, with the polytopal closure as the trunk and other components as branches.
The Chromatic Symmetric Function for Unicyclic Graphs
Motivated by the question of which structural properties of a graph can be recovered from the chromatic symmetric function (CSF), we study the CSF of connected unicyclic graphs. While it is known that there can be non-isomorphic unicyclic graphs with the same CSF, we find experimentally that such examples are rare for graphs with up to 17 vertices. In fact, in many cases we can recover data such as the number of leaves, number of internal edges, cycle size, and number of attached non-trivial trees, by extending known results for trees to unicyclic graphs. These results are obtained by analyzing the CSF of a connected unicyclic graph in the $\textit{star-basis}$ using the deletion-near-contraction (DNC) relation developed by Aliste-Prieto, Orellana and Zamora, and computing the "leading" partition, its coefficient, as well as coefficients indexed by hook partitions. We also give explicit formulas for star-expansions of several classes of graphs, developing methods for extracting coefficients using structural properties of the graph.
Coarse Balanced Separators and Tree-Decompositions
A classical result of Robertson and Seymour (1986) states that the treewidth of a graph is linearly tied to its separation number: the smallest integer $k$ such that, for every weighting of 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 Rzążewski (2025) conjectured a coarse analogue to this result: every graph that has a balanced separator consisting of a bounded number of balls of bounded radius is quasi-isometric to a graph with bounded treewidth. In this paper, we confirm their conjecture for $K_{t,t}$-induced-subgraph-free graphs when the separator consists of a bounded number of balls of radius $1$. In doing so, we bridge two important conjectures concerning the structure of graphs that exclude a planar graph as an induced minor.
Generalised Erdős distance theory on graphs
The famous Erdős distinct distances problem asks the following: how many distinct distances must exist between a set of $n$ points in the plane? There are many generalisations of this question that ask one to consider different spaces and metrics, or larger structures of points. We bring these problems into a common framework using the concept of $g$-rigidity. Specifically, if $G=(V,E)$ is a (hyper)graph, $g$ is a map assigning polynomial measurements to the edges of $G$ and $f_{g,G}(P^V)$ gives the set of $g$-distinct realisations of the $g$-rigid graph $G$, where vertices must lie in a point set $P$, our main results describe sharp lower bounds for the size of $\big|f_{g,G}(P^V)\big|$. This allows us to obtain results for pseudo-Euclidean metrics, $\ell_p$ metrics, dot-product problems, matrix completion problems, and symmetric tensor completion problems.
In addition, we use the recent work of Alon, Bucić and Sauermann along with a simple colouring argument to prove that the number of $\| \cdot\|$-distinct realisations of a graph $G=(V,E)$ within a $d$-dimensional point set $P$ is at least $Ω\left(\frac{|P|^{|V|-1}}{(\log |P|)^2} \right)$ for almost all $d$-norms. Our methods here also provide a short proof that the unit distance conjecture implies the pinned distance conjecture.
Shellability of Higher Independence Complexes of Graphs
This paper investigates the shellability of $r$-independence complexes $\mathcal{I}_r(G)$, a generalization of classical independence complexes introduced by Paolini and Salvetti. For a graph $G$, a subset $A \subseteq V(G)$ is $r$-independent if every connected component of the induced subgraph $G[A]$ has at most $r$ vertices. The associated simplicial complex $\mathcal{I}_r(G)$ has been the subject of significant interest due to its connections to combinatorial topology and commutative algebra. We address the classification problem for shellable $r$-independence complexes, focusing on block graphs, trees, and related families. Our main results establish sufficient conditions for shellability based on structural graph parameters such as diameter and forbidden subgraphs. Furthermore, we develop constructive techniques for generating shellable complexes through graph operations, including star-clique attachments, clique whiskering, and clique cycle constructions. These results extend and refine earlier work on classical independence complexes and provide a framework for understanding the topological and algebraic properties of higher independence complexes in structured graph families.
Positivity in the shadow of Hodge index theorem
Taking a compact Kähler manifold as playground, we explore the powerfulness of Hodge index theorem. A main object is the Lorentzian classes on a compact Kähler manifold, behind which the characterization via Lorentzian polynomials over the Kähler cone and hence the validity of Hodge index theorem. Along the exploration, we discover several applications in complex geometry that may be unexpected before. (1) For a Lefschetz type operator given by the complete intersection of nef classes, we give a complete characterization of its kernel face against the pseudo-effective cone. (2) We provide a new approach to Teissier's proportionality problem from the validity of hard Lefschetz property. This perspective enables us to establish the extremals for the Brunn-Minkowski inequality on a strictly Lorentzian class, and thus also characterize the most extremal case for a log-concavity sequence given by the intersection numbers of two nef classes. These Lorentzian classes include the fundamental classes of smooth projective varieties or compact Kähler manifolds as typical examples, hence our result extends Boucksom-Favre-Jonsson's and Fu-Xiao's results in respective settings to broader contexts, e.g. certain algebraic cycle classes given by reducible subvarieties. (3) Furthermore, we also strengthen the proportionality characterization by comparing various quantitative deficits and establishing stability estimates. Two quantitative sharper stability estimates with close relation with complex Monge--Ampère equations and Newton-Okounkov bodies are also discussed.
Invariants and areas of Steiner 4-chains
We are concerned with the invariants of Steiner chains consisting of four circles. In particular, we compute the invariant moments of curvatures in Steiner 4-chains and give two applications of the obtained formulas. Specifically, we present an algorithmic feasibility criterion for Steiner 4-chains and identify the poristic Steiner chains having extremal areas, which yields a generalisation of the main results of a recent paper by K.Kiradjiev. The proofs are based on the invariants of Steiner chains described by R.Schwarz and S.Tabachnikov and on the relations between the radii of neighbouring poristic circles established by P.Yiu.
Congruences for sums of Delannoy numbers and polynomials
In this paper, we apply the power-partible reduction to study arithmetic properties of sums involving Delannoy numbers $D_k$ and polynomials $D_k(z)$. Let $v\in\bN$ and $p$ be an odd prime. It is proved that, for any $z\in\bZ\setminus\{0,-1\}$, there exist $c_v\in z^{-v}\bZ[z]$ and $\tilde{c}_v\in (z+1)^{-v}\bZ[z]$, both free of $p$ and can be determined mechanically, such that \begin{equation*} \sum_{k=0}^{p-1}(2k+1)^{2v}D_k(z)\equiv c_v \left(\frac{-z}{p}\right) \pmod {p} \end{equation*} if $\gcd(p,z)=1$ and \begin{equation*} \sum_{k=0}^{p-1}(-1)^k(2k+1)^{2v}D_k(z)\equiv \tilde{c}_v \left(\frac{z+1}{p}\right) \pmod {p} \end{equation*} if $\gcd(p,z+1)=1$. Here $(-)$ denotes the Legendre symbol.
When $n$ is a power of $2$, we find there exist odd integers $ρ_v$ and even integers $\tildeρ_v$, both independent of $n$ and can be determined mechanically, such that \[ \sum_{k=0}^{n-1}(2k+1)^{2v+1}D_k\equiv ρ_v n \pmod {n^3} \] and \[ \sum_{k=0}^{n-1}(-1)^k(2k+1)^{2v+1}D_k\equiv \tildeρ_v n^2 \pmod {n^3}. \] The case $v=1$ in the last congruence confirms a conjecture of Guo and Zeng in 2012.
Counting subgraphs of coloring graphs using shadow graphs
Given a graph $G$, the $k$-coloring graph $\mathcal{C}_k(G)$ is constructed by selecting proper $k$-colorings of $G$ as vertices, with an edge between two colorings if they differ in the color of exactly one vertex. The number of vertices in $\mathcal{C}_k(G)$ is the famous chromatic polynomial of $G$. Asgarli, Krehbiel, Levinson and Russell showed that for any subgraph $H$, the number of induced copies of $H$ in $\mathcal{C}_k(G)$ is a polynomial function in $k$. Hogan, Scott, Tamitegama, and Tan found a shorter proof for polynomiality of these chromatic $H$-polynomials. In this paper, we provide a method of constructing these polynomials explicitly in terms of chromatic polynomials of shadow graphs. We illustrate the practicality of our formulas by computing an explicit formula for $H$-polynomial for trees when $H=Q_d$ is an arbitrary hypercube, a task which does not seem approachable from previous methods. The coefficients of the resulting polynomials feature generalized degree sequences introduced by Crew. In the special case when $H=P_2$, the corresponding polynomial is dubbed the chromatic pairs polynomial. We present a pair of graphs $G_1$ and $G_2$ sharing the same chromatic pairs polynomial but different chromatic polynomials, disproving a conjecture raised by Asgarli, Krehbiel, Levinson and Russell.
On the Hermitian Veronesean
The Hermitian Veronesean in $PG(3,q^2)$, given by $\mathcal{V}:=\{ (1,x,x^q,x^{q+1}):x\in\mathbb{F}_q\}\cup\{(0,0,0,1)\}$, is a well-studied rational curve, and forms a {\em special} set of the Hermitian surface $H(3,q^2)$. In this paper, we give two local characterisations of the Hermitian Veronesean, based on sublines and triples of points in perspective.
Analytic properties arising from the Baxter numbers
Baxter numbers are known as the enumeration of Baxter permutations and numerous other discrete structures, playing a significant role across combinatorics, algebra, and analysis. In this paper, we focus on the analytic properties related to Baxter numbers. We prove that the descent polynomials of Baxter permutations have interlacing zeros, which is a property stronger than real-rootedness. Our approach is based on Dilks' framework of $(q,t)$-Hoggatt sums, which is a $q$-analog for Baxter permutations. Within this framework, we show that the family of $(1,t)$-Hoggatt sums satisfies the interlacing property using fundamental results on Hadamard products of polynomials. For Baxter numbers, we prove their asymptotic $r$-log-convexity via asymptotic expansions of $P$-recursive sequences. In particular, we confirm their $2$-log-convexity using symbolic computation techniques.