Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A new improvement to the Overfull Conjecture
Let $G$ be a simple graph with order $n$, maximum degree $\D(G)$, minimum degree $δ(G)$ and chromatic index $χ'(G)$, respectively. A graph $G$ is called {\em $\D$-critical} if $χ'(G)=\D(G)+1$ and $χ'(H)\textless χ'(G)$ for every proper subgraph $H$ of $G$, and $G$ is overfull if $\left|E(G)\right|>Δ(G)\lfloor n/2\rfloor$. In 1986, Chetwynd and Hilton proposed the Overfull Conjecture: Every $\D$-critical graph $G$ with $\D(G)\textgreater\frac{n}{3}$ is overfull. The Overfull Conjecture has many implications, such as that it implies a polynomial-time algorithm for determining the chromatic index of graphs $G$ with $\D(G)\textgreater\frac{n}{3}$, and implies several longstanding conjectures in the area of graph edge coloring. Recently, Cao, Chen, Jing and Shan (SIAM J. Discrete Math. 2022) verified the Overfull Conjecture for $\D(G)-7δ(G)/4\ge (3n-17)/4$. In this paper, we improve it for $\D(G)-5δ(G)/3\ge (2n-7)/3$.
A linear upper bound on the zero-sum Ramsey number of forests in $\mathbb{Z}_p$
Let $m$ be a positive integer and let $G$ be a graph. The zero-sum Ramsey number $R(G,\mathbb{Z}_m)$ is the least integer $N$ (if it exists) such that for every edge-coloring $χ\, : \, E(K_N) \, \rightarrow \, \mathbb{Z}_m$ one can find a copy of $G$ in $K_N$ such that $\sum_{e \, \in \, E(G)}{χ(e)} \, = \, 0$.
In this paper, we show that, for every prime $p$, $$R(F,\mathbb{Z}_p)\leq n+9p-12$$ for every forest $F$ in $n\geq 3p^2-12p+11$ vertices with $p\mid e(F)$.
Impartial Avoidance Games on Convex Geometries
We analyze a two-player game in which players take turns avoiding the selection of certain points within a convex geometry. The objective is to prevent the convex closure of all chosen points from encompassing a predefined set. The first player forced into a move that results in the inclusion of this set loses the game. We redevelop a theoretical framework for these avoidance games and determine their nim numbers, including cases involving vertex geometries of trees, edge geometries of trees, and scenarios where the predefined set consists of extreme points.
Crystal skeleton polynomials with major index, charge and depth
We introduce a new family of polynomials, crystal skeleton polynomials, to better understand enumeration of standard Young tableaux, quasi-Yamanouchi tableaux and interactions with Gessel's expansion of a Schur function, quasi-crystals and crystal skeletons as Maas-Gariépy introduced in 2023. After developing calculus of those polynomials, we organize thoughts on major index, charge, depth, inversions with RSK correspondence and a bivariate factorial. Also, we revisit the theorem on internal zeros of fake degree polynomials by Billey--Konvalinka--Swanson (2020). These results altogether improve Gessel's expansion.
3-Coloring $P_t$-Free Graphs With Only One Prescribed Induced Odd Cycle Length
A graph is $P_t$-free if it contains no induced subgraph isomorphic to a $t$-vertex path. A graph is not bipartite if and only if it contains an induced subgraph isomorphic to a $k$-vertex cycle, where $k$ is odd. We focus on the 3-coloring problem for $P_t$-free graphs that have only one prescribed induced odd cycle length. For any integer $t$ and any odd integer $k$, let $\mathcal{G}_{t,k}$ be the class of graphs that are $P_{t}$-free and all their induced odd cycles must be $C_k$. In this paper, we present a polynomial-time algorithm that solves the 3-coloring problem for any graph in $\mathcal{G}_{10,7}$.
Hardness of Planarity for Weak Temporal Sequences of 2-Connected Graphs
A weak deletion sequence is a sequence $(G_1,\ldots,G_n)$ of graphs so that for each $i\in[n-1]$ either $G_i$ is isomorphic to a subgraph of $G_{i+1}$, or vice versa: $G_{i+1}$ is isomorphic to a subgraph of $G_i$. We prove that determining the simultaneous planar embeddability of weak deletion sequences of $2$-connected graphs is NP-hard.
A Factorization of the Log-Concavity Operator for Pascal Determinantal Arrays and Their Infinite Row-Wise Log-Concavity
We study the Pascal determinantal arrays $\PD_k$, whose entries $\PD_k(i,j)$ are the $k\times k$ minors of the lower-triangular Pascal matrix $P=( \binom{a}{b} )_{a,b\ge 0}$.
We prove an exact factorization of the row-wise log-concavity operator:
\[
\LC(\PD_k)=\PD_{k-1}\Had\PD_{k+1},
\]
where $\LC(a)_j=a_j^2-a_{j-1}a_{j+1}$ and $\Had$ denotes the Hadamard (entrywise) product.
This identity is established by an elementary algebraic manipulation implicitly based on the idea of start of David rule.
We further prove a general inequality asserting that the log-concavity operator is submultiplicative under Hadamard products of log-concave arrays:
$\LC(A\Had X)\ge\LC(A)\Had\LC(X)$.
Combining the factorization with this inequality yields a uniform algebraic proof that every row of every array $\PD_k$ ($k\ge 1$) is infinitely log-concave, extending the celebrated theorem of
Brändén for the particular case of Pascal's triangle ($\PD_1$) to the entire determinantal hierarchy.
Applications include the log-convexity of $\{\PD_k(i,j)\}_{k\ge 0}$ in the determinantal order $k$ and a family of determinantal Hadamard inequalities.
Rogers-Ramanujan type identities at $Λ_0$ from perfect crystals of exceptional quantum affine algebras
We derive Rogers--Ramanujan type partition identities at the fundamental weight $Λ_0$ for the exceptional affine types $G_2^{(1)}$, $D_4^{(3)}$, $F_4^{(1)}$, $E_6^{(2)}$, $E_6^{(1)}$, $E_7^{(1)}$ and $E_8^{(1)}$. Our starting point is the Dousse--Konan reformulation of the $(\mathrm{KMN})^2$ crystal character formula, applied to the level-one perfect crystal $B=B(θ)\sqcup B(0)$ of Benkart--Frenkel--Kang--Lee with ground element $φ\in B(0)$. This realizes the normalized character $e^{-Λ_0}\mathrm{ch} L(Λ_0)$ as generating functions of grounded $B$-colored partitions governed locally by the crystal energy. After principal specialization, we obtain a colored partition model subject to explicit difference, congruence, and initial conditions. On the product side, under the same specialization, the Weyl--Kac character formula yields an explicit Euler-type product, equivalently the generating function for partitions with parts in a concrete allowed set. Comparing the two specializations gives coefficientwise equalities of generating functions. A key computational feature is that the difference matrix can be produced from the crystal data without explicitly computing the energy function. For each type we tabulate the congruence data, forbidden initial parts, and the full difference matrix, and we provide reproducible coefficient checks.
Generalized Connes-Kreimer Hopf algebras on decorated rooted forests by weighted cocycles
The Connes-Kreimer Hopf algebra of rooted trees is an operated Hopf algebra whose coproduct satisfies the classical Hochschild 1-cocycle condition. In this paper, we extend the setting from rooted trees to the space $H_{\rm RT}(X,Ω)$ of $(X,Ω)$-rooted trees, in which internal vertices are decorated by a set $Ω$ and leafs are decorated by $X \cup Ω$. We introduce a new coalgebra structure on $H_{\rm RT}(X,Ω)$ whose coproduct satisfies a weighted Hochschild 1-cocycle condition involving multiple operators, thereby generalizing the classical condition. A combinatorial interpretation of this coproduct is also provided. We then endow $H_{\rm RT}(X,Ω)$ with a Hopf algebra structure. Finally, we define weighted $Ω$-cocycle Hopf algebras, characterized by a Hochschild 1-cocycle condition with weights, and show that $H_{\rm RT}(X,Ω)$ is the free object in the category of $Ω$-cocycle Hopf algebras.
Frame Numbers and Jacobson Radicals for Partial Geometries and Related Coherent Configurations
We study the modular representation theory of rank $3$ association schemes arising from partial geometries with parameters $(s,t,α)$. First, we obtain an explicit closed formula for the Frame number of the point scheme in terms of the number of points $v$ and the parameter $s+t+1-α$, and use it to characterize the primes $p$ for which the adjacency algebra over $\mathbb{F}_p$ is not semisimple. We then give a complete case-by-case description of the Jacobson radical of this algebra in four arithmetic situations and determine the generic $p$-ranks of the adjacency matrices.
As a step toward understanding the modular representation theory of coherent configurations of type $[3,2;3]$ associated with strongly regular designs, we analyze the relationship between the modular structure of the point scheme and that of the design algebra. For the generalized quadrangle $\mathrm{GQ}(2,2)$ we obtain partial results on the structure of the $2$-modular adjacency algebra $\mathbb{F}_2 \mathfrak{X}$, and we explain the representation-theoretic difficulties that prevent a complete determination of its Wedderburn decomposition and Gabriel quiver, which remains open and is formulated as Problem~6.8.
Proof of a combinatorial conjecture posed in "The Blimpy Shape of Heady-s and Taily-s Bit Strings"
We demonstrate three properties conjectured to hold for a certain function by Levin (2025) in a study of the blimpy graphical shape of the number of bit strings with a given score under an interesting scoring system. The properties include discrete convexity, a simple formula for the greatest argument at which the function is negative, and a positive expectation under a certain probability function. A new set of inequalities which imply the latter is presented and proved under some monotonicity assumptions.
The $k$-core of a graph and its high-order spectra
The $k$-core of a graph is its largest subgraph with minimum degree at least $k$, a fundamental concept for uncovering hierarchical structures. In this paper, we establish a connection between the $k$-core and the high-order spectra of graphs, a concept originally introduced by Cvetković, Doob, and Sachs. Specifically, we consider the high-order spectra defined via the $k$-adjacency tensor. Within this framework, we prove that a graph admits a non-empty $k$-core if and only if the spectral radius of the $k$-adjacency tensor is greater than or equal to $1$. Moreover, when the $k$-core exists, vertices corresponding to positive entries in the Perron vector of the $k$-adjacency tensor belong to the $k$-core. We thus define the $k$-order eigenvector centrality via the Perron vector, which provides both membership identification and a measure of relative influence within the $k$-core. Numerical experiments confirm our theoretical findings and illustrate the properties of this centrality measure in some real-world networks.
Universality of asymptotic graph homomorphism
The Shannon capacity of graphs, introduced by Shannon in 1956 to model zero-error communication, asks for determining the rate of growth of independent sets in strong powers of graphs. Much is still unknown about this parameter, for instance whether it is computable. Recent work has established a dual characterization of the Shannon capacity in terms of the asymptotic spectrum of graphs. A core step in this duality theory is to shift focus from Shannon capacity itself to studying the asymptotic relations between graphs, that is, the asymptotic cohomomorphisms. Towards understanding the structure of Shannon capacity, we study the "combinatorial complexity" of asymptotic cohomomorphism. As our main result, we prove that the asymptotic cohomomorphism order is universal for all countable preorders. That is, we prove that any countable preorder can be order-embedded into the asymptotic cohomomorphism order (i.e. appears as a suborder). Previously this was only known for (non-asymptotic) cohomomorphism. Our proof is based on techniques from asymptotic spectrum duality and convex structure of the asymptotic spectrum of graphs. Our approach in fact leads to a new proof of the universality of (non-asymptotic) cohomomorphism.
Scarf complexes of connected and path ideals
The $t$-connected ideal of a graph $G$ is generated by all connected induced subgraphs of $G$ with $t$ vertices. When $t = 2$, this coincides with the usual edge ideal of the graph. Following the work of Faridi et al., we give a classification of the graphs whose $t$-connected ideals are minimally resolved by their Scarf complex. We also consider the $t$-path ideal of a graph $G$ which is the ideal generated by all paths of length $t$ in $G$. In this case, we are able to give a classification of the same type for paths of length $t = 4$.
A census of Cayley graphs
Given positive integers $k$ and $n$, we present methods to construct all groups of order at most $n$ that contain a Cayley set of size $k$, and to enumerate the Cayley sets of order $k$ in a given group, up to the action of the automorphism group. We use these methods to generate complete lists of pairwise nonisomorphic 3-valent Cayley graphs with at most 5000 vertices and 4-valent Cayley graphs with at most 1025 vertices.
Closed Colored Models and Demazure Crystals
We will construct solvable lattice models whose partition functions are Demazure characters. We will construct a crystal structure on the states of the model and prove that the states of the closed model form a Demazure crystal.
On the Word-Representability of 5-Regular Circulant Graphs
A graph $G = (V, E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that, for any two distinct vertices $x, y \in V$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. Two letters $x$ and $y$ are said to alternate in $w$ if, after removing all other letters from $w$, the resulting word is of the form $xyxy\dots$ or $yxyx\dots$ (of even or odd length). For a given set $R = \{r_1, r_2, \dots, r_k\}$ of jump elements, an undirected circulant graph $C_n(R)$ on $n$ vertices has vertex set $\{0, 1, \dots, n-1\}$ and edge set $ E = \left\{ \{i,j\} \;\middle|\; |i - j| \bmod n \in \{r_1, r_2, \dots, r_k\} \right\}, $ where $0 < r_1 < r_2 < \dots < r_k < \frac{n}{2}$. Recently, Kitaev and Pyatkin proved that every 4-regular circulant graph is word-representable. Srinivasan and Hariharasubramanian further investigated circulant graphs and obtained bounds on the representation number for $k$-regular circulant graphs with $2 \le k \le 4$. In addition to these positive results, their work also presents examples of non-word-representable circulant graphs. In this work, we study word-representability and the representation number of 5-regular circulant graphs via techniques from elementary number theory and group theory, as well as graph coloring, graph factorization and morphisms.
On $\overrightarrow{C_{n}}$-irregular oriented graphs
Let $F$ and $G$ be simple finite oriented graphs (without symmetric arcs). A graph $G$ is called $F$-irregular if any two distinct vertices in $G$ belong to a different number of subgraphs of $G$ isomorphic to $F$. In this paper, we investigate the problem of the existence of $\overrightarrow{C_n}$-irregular graphs, where $\overrightarrow{C_n}$ is an oriented circle of order $n$ (a strongly connected oriented graph that is formed from a simple undirected cycle $C_n$ on $n$ vertices by orienting each of its edges).
For every integer $n \ge 3$, we prove that there exists an infinite family of $\overrightarrow{C_n}$-irregular graphs. In addition, we show that the order of a non-trivial $\overrightarrow{C_3}$-irregular graph can be any integer not less than $10$ and nothing else. We also construct $\overrightarrow{C_4}$-irregular graphs of any order starting from $7$ and prove that there is no non-trivial $\overrightarrow{C_4}$-irregular graph of order less than $7$.
Affine diagram categories, algebras and monoids
We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators and relation presentation for them and their associated categories, study their representation theory, and the asymptotic behavior of tensor products of their representations in the monoid case. Under a mild hypothesis, we also prove a previous conjecture concerning the asymptotic growth of the number of indecomposable summands in the tensor powers of representations for finite monoids.
Tiling the Sphere with Regular Polygons
We give a complete classification of edge-to-edge tilings of the sphere by regular polygons under a unified framework. Without assuming convexity of the tiles or polyhedrality of the underlying graph, our proof is independent of the Johnson-Zalgaller classification of solids with regular faces (1967), which took over 200 pages. We apply a blend of trigonometric, algebraic and combinatorial tools of independent interest.