math.CO ↗ arXiv
7121 papers in this category
On minimal collections of sequences for testing continuity
We study test sets: subfamilies of sequences converging to a point P that still suffice to detect every discontinuity of real-valued functions at P. Ordered by inclusion, these test sets form a poset. Under natural hypotheses at P, we prove that this poset has a minimal element. We also analyze its maximal chains, showing that some have a least element, while others do not. Finally, on the sequential fan we give a concrete realization in which the minimal test set produced by our construction has strictly smaller cardinality than the full family of convergent sequences.
A study on Type-2 isomorphic circulant graphs. Part 1: Type-2 isomorphic circulant graphs $C_n(R)$ w.r.t. $m$ = 2
This study is the first part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}. Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$ \cite{ad67}. In this paper, the author modified his earlier definition \cite{v96} of Type-2 isomorphism w.r.t. $m$ such that $m$ and $m^3$ are divisors of $\gcd(n, r)$ and $n$, respectively, and $r\in R$. Using the modified definition, we present our study on Type-2 isomorphism of circulant graphs $C_n(R)$ w.r.t. $m$ = 2. We prove that $(i)$ $C_{16}(1,2,7)$ and $C_{16}(2,3,5)$ are Type-2 isomorphic w.r.t. $m$ = 2; $(ii)$ For $n \geq 2$, $k \geq 3$, $1 \leq 2s-1 \leq 2n-1$, $n \neq 2s-1$, $R$ = $\{2, 2s-1, 4n-(2s-1)\}$ and $S$ = $\{2, 2n-(2s-1), 2n+2s-1\}$, $C_{8n}(R)$ and $C_{8n}(S)$ are Type-2 isomorphic w.r.t. $m$ = 2, $n,s\in\mathbb{N}$; and $(iii)$ For $n \geq 2$, $1 \leq 2s-1 < 2s'-1 \leq [\frac{n}{2}]$, $0 \leq t \leq [\frac{n}{2}]$, $R$ = $\{2,2s-1, 2s'-1\}$ and $n,s,s'\in \mathbb{N}$, if $θ_{n,2,t}(C_n(R))$ and $C_n(R)$ are isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 for some $t$, then $n \equiv 0~(mod ~ 8)$, $2s-1+2s'-1$ = $\frac{n}{2}$, $2s-1 \neq \frac{n}{8}$, $t$ = $\frac{n}{8}$ or $\frac{3n}{8}$, $1 \leq 2s-1 \leq \frac{n}{4}$ and $n \geq 16$ where $θ_{n,m,t}$ is a transformation used to define Type-2 isomorphism of a circulant graph. At the end, we present a VB program POLY215.EXE which shows how Type-2 isomorphism w.r.t. $m$ = 2 of $C_{8n}(R)$ takes place for $R = \{2, 2s-1, 4n-(2s-1)\}$, $n \geq 2$ and $n,s\in {\mathbb N}$.
Analytic Properties of Necklace Polynomials
The necklace polynomials \[ M_n(x)=\frac1n\sum_{d\mid n}μ(d)x^{n/d} \] play a central role in discrete mathematics: they count aperiodic necklaces, enumerate monic irreducible polynomials over finite fields, and give the dimensions of homogeneous components of free Lie algebras. Despite their inherently discrete origins, we show that treating $M_n(x)$ as a function of a real variable $x$ unlocks surprising structural properties that answer natural enumerative questions. In this paper, we study $M_n(x)$ as a real-variable function and establish several new analytical and monotonicity properties. We prove that the normalized functions $M_n(x)/x^n$ and their higher normalized derivatives are strictly increasing on $[1,\infty)$. As a consequence, we show that the proportion of irreducible polynomials of fixed degree over $\mathbf F_q$ increases with $q$. We also establish strict growth with respect to the degree $n$ for $x\ge2$. In addition, we determine a sharp threshold for log-convexity: the sequence $\{M_n(x)\}_{n\ge2}$ is uniformly log-convex if and only if $x>8$. These results reveal unexpected analytic structure underlying necklace polynomials and show how real-variable methods can yield new information about discrete enumeration problems. For instance, it is shown that adding one more bead to a sufficiently long necklace will approximately increase the total number of primitive, rotationally distinct configurations by a factor of the number of available colors.
Weyl Groups and the Modified Kostant Game
This paper presents a generalization of the Kostant game, a combinatorial framework originally for generating positive roots in Lie algebras. By introducing an arbitrary multi-vertex modification, we prove that the resulting game configurations naturally biject with the minimal length representatives of parabolic quotients W/W_J. This yields a dynamical and algorithmic perspective on reduced words. Finally, we apply this framework to derive a novel root counting identity, formalize the Coxeter-theoretic foundation for combinatorial approaches to the Mukai conjecture, establish the regularity of reduced word languages via finite state automata, and dynamically construct Standard Young Tableaux.
A study on Type-2 isomorphic circulant graphs. Part 3: 384 pairs of Type-2 isomorphic circulant graphs $C_{32}(R)$
This study is the $3^{rd}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10} and is a continuation of Part 2. Here, we obtain all the 384 pairs of Type-2 isomorphic circulant graphs of order 32.
Explicit determination of a class of permutation rational functions in any characteristic
In this paper, we make use of the classification results of low-degree permutation rational functions together with their geometric properties to investigate rational functions that induce permutations on the multiplicative subgroup mu_q+1, where q is a prime power. By carefully analyzing the structural conditions under which such rational functions permute muq+1, we obtain an explicit description of a broad class of permutation rational functions of small degree. As a direct application of these findings, we explicitly determine many permutation quadrinomials over Fq2 that are induced by degree-3 rational functions permuting muq+1. Our approach not only unifies and extends several existing results in the literature but also provides a concrete geometric perspective for characterizing permutation polynomials over Fq2.
A noisy min-max game on trees
We study a noisy version of a min-max type zero-sum game on the $d$-ary tree. Each edge of the tree is assigned an i.i.d.\ cookie, distributed uniformly on $\{+1,-1\}$. The game is played as follows: starting at the root, two players alternate turns in choosing a child to move to, with the game ending after each player took $n$ turns. Both players have full knowledge of the cookies on the whole tree. The cookies along the traversed edges are picked up and placed in a shared cookie jar. The first player's payoff is the sum of the cookies in the cookie jar, while the second player pays that sum. The value $V_n$ of the $n$-round game is the largest signed sum which can be guaranteed by the first player.
We analyze the value $V_n$ and show that as $n \to \infty$, the value is tight for $d=2$, converges in distribution for $d \ge 3$, and converges almost surely for $d \ge 15$. Along the way, we prove various tightness and double exponential tail decay results.
The analysis is a mix of percolation-type arguments for large $d$, and iterations on distributions combined with interval arithmetic for small $d$. For $d=2$ we prove the existence of a continuum of fixed points for this iteration, highlighting surprising qualitative differences with the case $d \ge 3$. The question of convergence for $d=2$ remains open.
An improved upper bound on the oriented diameter of graphs with diameter $4$
Let $f(d)$ be the smallest value for which every bridgeless graph $G$ with diameter $d$ admits a strong orientation $\overrightarrow{G}$ such that the diameter of $\overrightarrow{G}$ is at most $f(d)$. Chvátal and Thomassen (1978) established general bounds for $f(d)$ which implies $f(4)\geq 12$, and proved $f(2)=6$. Kwok et al. (2010) proved that $9\leq f(3)\leq 11$. Wang and Chen (2022) determined $f(3)=9$. Babu et al. (2021) showed $f(4)\leq 21$. In this paper, we improve the upper bound of $ f(4) $ to $18$.
Representations of Hecke-Clifford superalgebras at roots of unity
In this article, we give a classification of irreducible completely splittable representations of affine Hecke-Clifford superalgebras $H_n^{\mathrm{aff}}(q)$ when $q^2$ is a primitive $h$-th root of unity. As an application, we derive a necessary and sufficient condition for the finite Hecke-Clifford superalgebra $H_n(q)$ to be semisimple. Specially we show that $H_n(q)$ is semisimple if and only $h >n$ in the case $h$ is odd and $h >2n$ in the case $h$ is even.
An algebraic-combinatorial framework for finding the average hitting times in graphs with high regularity
For any given vertices $u$ and $v$ in a graph, the hitting time of a random walk on a finite graph is the number of steps it takes for a random walk to reach vertex $v$ starting at vertex $u$. The expected value of the hitting time is the average hitting time. In this paper, we present an algebraic-combinatorial method for calculating the average hitting time between vertices of finite graphs exhibiting high regularity, along with its applications to multiple graph classes. Our approach exploits a novel connection between maximal-entropy random walks and weight-equitable partitions, providing a unifying framework that strengthens and extends several known results, including Rao's method [Statistics \& Probability Letters, 2013] for computing the hitting time from a vertex to a neighbor under certain symmetries of the starting vertex.
Classification and counting of Gorenstein simplices with $h^*$-polynomial $1+t^k+\cdots+t^{(v-1)k}$
Hibi, Yoshida, and the author classified Gorenstein simplices which are not lattice pyramids and whose \(h^*\)-polynomials are of the form \(1+t^k+t^{2k}+\cdots+t^{(v-1)k}\) when \(v\) is a prime number or the product of two prime numbers. They also conjectured that, for general \(v\), the number of unimodular equivalence classes of such simplices depends only on the divisor lattice of \(v\). This paper proves the conjecture by giving a constructive classification of Gorenstein simplices whose \(h^*\)-polynomials are of this form. More precisely, their unimodular equivalence classes are shown to be parametrized by strict divisor chains in the divisor lattice of \(v\) together with certain recursive combinatorial data. As a consequence, an explicit formula for the number of equivalence classes in terms of the divisor lattice of \(v\) is obtained.
Self-similar dendrites with finite boundary and P-sprouts
Each self-similar dendrite K with a finite self-similar boundary defines a finite acyclic edge-labeled bipartite graph G, called the sprout of K. The paper shows that the sprout G determines the combinatorial properties of the dendrite K and its topological structure.
Positive Geometries from Cubic Surfaces
We present a study of cubic surfaces from the novel perspective of positive geometry. Our positive geometries have dimension two (the surface minus its 27 lines), dimension three (its complement in 3-space), and dimension four (the moduli space). In each case we explore the positive arrangement, its combinatorial rank, and the canonical forms.
Conflict-Free Cuts in Planar and 3-Degenerate Graphs with 1-Regular Conflicts
A conflict-free cut $F$ on a simple connected graph $G = (V, E)$ is defined as a set of edges $F \subseteq E$ such that $G-F$ is disconnected, and no two edges in $F$ are conflicting. The notion of conflicting edges is represented using an associated conflict graph $\widehat{G} = (\widehat{V}, \widehat{E})$ where $\widehat{V} = E$. Deciding if a given planar graph $G$, with an associated conflict graph $\widehat{G}$, has a conflict-free cut is known to be NP-complete, when $G$ has maximum degree four and $\widehat{G}$ is a line graph of $G$ [Bonsma, JGT 2009].
In this paper, we prove the following for the case when $\widehat{G}$ is 1-regular.
* We completely resolve the complexity of the decision problem when $G$ is planar. Towards this end, we show that (a) there always exists a conflict-free cut when the graph is planar and 4-regular unless it is the octahedron graph and (b) the decision problem is NP-complete, even in the case when $G$ is planar with maximum degree 5.
* We also show that the decision problem is NP-complete when $G$ is a 3-degenerate graph with maximum degree 5. This completely resolves the complexity status of the problem when $G$ is 3-degenerate.
* We construct families of graphs with 1-regular conflict graphs that do not have a conflict-free cut.
Our results answer the questions posed in [Rauch, Rautenbach and Souza, IPL 2025].
Closed Expressions for the Weight Distributions of Codes Associated with Perfect Codes
Perfect codes are arguably the most fascinating structures in combinatorial coding theory, and their classification and weight distribution are of considerable interest. This classification also involves the analysis of some related structures. This paper considers five closely related structures, but all of them have never been tied together before. These structures are 1-perfect codes, extended 1-perfect codes, nearly perfect 1-covering codes, extended nearly perfect 1-covering codes, and one family of completely regular codes (to be called diamond codes). The current work concentrates on the weight distributions of these five families of codes. In the past, some of these weight distributions were not computed, some required heavy tools, and for some only the weight enumerator was presented. We provide complete weight distributions for all five families using some methods that do not require any heavy tools.
A Tighter Upper Bound for the Number of Distinct Squares in Circular Words
A \emph{square} is a word of the form $uu$, where $u$ is a nonempty finite word. Given a finite word $w$ of length $n$, let $[w]$ denote the corresponding \emph{circular word}, i.e., the set of all cyclic rotations of $w$. We study the number of distinct square factors of the elements of $[w]$. Amit and Gawrychowski first showed that this number is upper bounded by $3.14n$. In a recent article, Charalampopoulos et al. improved this upper bound to $1.8n$ and conjectured that the sharp upper bound is $1.5n$. In this note, we improve this upper bound to $\frac{5}{3}n$.
Angle Between Two Vectors over Finite Fields and an Application to Projective Unique Decoding
We introduce a Hamming-type angular function $$\mathrm{angle}_H(u,v):= \min_{c \in \mathbb{F}_q^n} d_H(u, cv)$$ on pairs of nonzero vectors in $\mathbb{F}_q^n$ and show that it satisfies all three metric axioms up to scalar multiplication. The function $\mathrm{angle}_H$ is invariant under nonzero scalar multiplication in either argument and therefore descends to a genuine integer-valued metric on the projective space $\mathbb{P}(\mathbb{F}_q^n)$. As a concrete application, we prove an \emph{angular} (or \emph{projective}) version of the unique-decoding theorem for linear codes: if $\mathrm{angle}_H(u, C\setminus\{0\}) < d/2$, where $d$ is the minimum distance of the linear code $C$, then the closest direction in $C$ to $u$ is unique up to nonzero scalar multiplication. We then discuss how this angular viewpoint relates to the proximity-gap programme for Reed--Solomon codes. To the best of our knowledge, this is the first attempt to define an angle notion for vectors over finite fields and interpret it from several perspectives, including geometry, coding theory, and cryptography.
Representations of Reeb spaces via simplified graphs and examples
Reeb spaces of continuous real-valued functions on topological spaces are fundamental and strong tools in investigating the spaces. The Reeb space is the natural quotient space of the space of the domain represented by connected components of its level sets. They have appeared in theory of Morse functions in the last century and as important topological objects, they are shown to be graphs for tame functions on (compact) manifolds such as Morse(-Bott) functions and naturally generalized ones. Related general theory develops actively, recently, mainly by Gelbukh and Saeki. For nice Haudorff spaces and continuous functions there, they are "$1$-dimensional".
We concentrate on Reeb spaces which are not CW complexes and study their representations by graphs and nice examples. Reconstructing nice smooth functions with given Reeb graphs is of related studies and pioneered by Sharko and followed by Masumoto, Michalak, Saeki, and so on. The author has also contributed to it.
On set-like sunflower-free families of subspaces over finite fields
The Erdős--Rado sunflower problem admits two natural analogues in finite vector spaces, corresponding to two different ways of generalising the set-theoretic notion of a sunflower. The first, used by Ihringer and Kupavskii [FFA 110 (2026) 102746], requires the petals to be in general position over the kernel; the second, used in the subspace codes literature (cf.\ Etzion--Raviv [DAM 186 (2015) 87-97], Blokhuis--De Boeck--D'haeseleer [DCC 90 (2022) 2101-2111]), requires only that the kernel equals the pairwise intersection of distinct petals. We refer to the second version as a \emph{set-like sunflower}, following Ihringer and Kupavskii.
In this note, we focus on the set-like setting. We observe that the constructions of Ihringer--Kupavskii, although correct under their (stronger) definition, do not yield set-like sunflower-free families: we exhibit explicit set-like sunflowers inside their Example~3.1. We then present a construction of set-like $s$-sunflower-free families of $k$-spaces, based on a manipulated version of the lifting construction. To our knowledge, this is the first systematic construction tailored to this setting.
Two Results on Outer-String Graphs
An \emph{outer-string representation} of a graph $G$ is an intersection representation of $G$ where vertices are represented by curves (strings) inside the unit disk and each curve has exactly one endpoint on the boundary of the unit disk (the anchor of the curve). Additionally, if each two curves are allowed to cross at most once, we call this an \emph{outer-$1$-string representation} of $G$. If we impose a cyclic ordering on the vertices of $G$ and require the cyclic order of the anchors to respect this cyclic order, such a representation is called a \emph{constrained outer-string representation}. In this paper, we present two results about graphs admitting outer-string representations.
Firstly, we show that for a bipartite graph $G$ (and, more generally, for any $\{C_3,C_5\}$-free graph $G$) with a given cyclic order of vertices, we can decide in polynomial time whether $G$ admits a constrained outer-string representation. Our algorithm follows from a characterization by a single forbidden configuration, similar to that of Biedl et al. [GD 2024] for chordal graphs. Secondly, we answer an open question from the same authors and show that determining whether a given graph admits an outer-1-string representation is NP-hard. More generally, we show that it is NP-hard to determine if a given graph $G$ admits an outer-$k$-string representation for any fixed $k\ge1$.