Showing 20 papers (Total: 81378 papers, 47165 authors in database)
New relations for the vertex polynomial
We extend the vertex polynomial to graphs of arbitrary degree and prove local relations that hold when a graph contains a digon, triangle, quadrilateral or pentagon.
Neoplatonic solids
A \emph{6-net} is a simplicial triangulation of the $2$-sphere with maximum degree $\leq 6$. Experiments suggest that every $6$-net admits a unique realization as an undented Euclidean polyhedron built from unit equilateral triangles, and a unique realization as an ideal equilateral hyperbolic polyhedron. We call these \emph{neoplatonic solids} and \emph{ideal neoplatonics}.
A net is \emph{prime} if every 3-cycle bounds a face. A computer-assisted proof shows that every prime $6$-net with $v \leq 50$ has a unique realization as a convex ideal neoplatonic. Numerical homotopy from this realization yields an approximate Euclidean neoplatonic, and a computer-assisted proof shows that a true Euclidean neoplatonic lies nearby, though we do not prove uniqueness. Using the separating-triangle decomposition, we extend Euclidean existence to all $10{,}412{,}340$ $6$-nets with $v\leq50$, counted up to combinatorial isomorphism.
A counterexample to the claw-free Schur-positivity conjecture
The claw-free Schur-positivity conjecture, recorded by Stanley (1998) and credited there to Gasharov, asserts that the chromatic symmetric function of every claw-free graph is Schur-positive. We give a counterexample on 12 vertices: the line graph $G$ of the graph obtained from a 4-cycle by attaching triangles at two opposite vertices and pendant edges at the other two satisfies $[s_{(3,3,3,3)}]X_G = -64$. The coefficient follows from a short computation by hand and is also reproduced by three exact implementations. An exhaustive computation over all 216,777 connected claw-free graphs on at most 11 vertices shows that every one is Schur-positive, so 12 vertices is the minimum order of any counterexample. A complete census of the 1,728,404 connected claw-free graphs on 12 vertices finds exactly two non-Schur-positive isomorphism classes; the other has graph6 code K?`CR@`bAbRB and coefficient $[s_{(3,3,3,3)}] = -40$.
Essential Simplices Dominate in Harmonic Representatives of One-Dimensional Persistent Classes
Persistent homology summarizes the birth and death of topological features, but it does not by itself specify where a feature is located in the underlying complex. Harmonic persistent homology addresses this by assigning canonical harmonic cycle representatives to bars. In earlier work, Basu and Cox showed that harmonic representatives of simple bars maximize the total relative weight placed on essential simplices, the simplices that are forced to appear in representatives of the corresponding class. In this paper we prove that, for generic one-dimensional bars, this preference is stronger than an aggregate maximization statement. Every essential edge has strictly larger coefficient, in absolute value, than every non-essential edge in the harmonic representative, and the absolute values of the coefficients of all essential edges are equal. The key argument is a finite-dimensional variational characterization of the harmonic representative as a minimum-norm chain with prescribed boundary, combined with an elementary graph-theoretic cut argument. We then prove that the result is special to dimension one. In higher dimensions, the analogous coefficient-wise dominance statement fails. We give examples to show that harmonic representatives can place larger coefficients on non-essential higher-dimensional simplices than on essential ones. These results clarify both the power and the limitations of using harmonic representatives to assign geometric significance to simplices in persistent homology.
An Invertible Family of Hurwitz--Lerch Type Functions Associated with $k$-Augmented Centered Triangular Numbers
This paper defines a family of Hurwitz--Lerch type functions whose
coefficients are the \(k\)-augmented centered triangular numbers. For this
family, we obtain the convergence conditions, a reduction formula, and an
Euler-operator form. A Vandermonde-based inversion formula is derived for a
class of polynomially weighted Hurwitz--Lerch functions. The family considered
here is the quadratic case with geometric factors \(1\), \(2\), and \(4\).
The resulting formulas show that three consecutive functions recover the
classical Hurwitz--Lerch transcendent and its first two Euler derivatives.
We also derive recurrence formulas, ordinary generating functions, finite
sums, and special values. The values at \(z=1\) are expressed through
Hurwitz zeta functions and Bernoulli polynomials. When \(a=1\), the numerator
polynomials of the rational values \(H_k(z,-m,1)\) are written in terms of
Eulerian polynomials, while the alternating values \(H_k(-1,-m,a)\) are
expressed through Euler polynomials.
Supersaturation in union-closed families of sets
Let $k$ and $n$ be positive integers such that $2 \leq k \leq n+1$. We prove that the number of $k$-chains in a union-closed family with universe $[n]$ and size $m$ is minimized when its member sets are largest possible. We also show that, whenever the minimum is nonzero and $m>n$, there are no other minimizing families.
Improved Bounds for Distinct Multiples in Intervals
In this note, we study two functions introduced by Erdős and Pomerance. For any positive integer $n$, let $F(n)$ be the smallest integer $F>0$ such that any $F$ consecutive integers contain a distinct multiple for each positive integer at most $n$, and let $h_{\mathbb{P}}(n)$ be the smallest integer $H>0$ such that any $H$ consecutive integers contain a distinct multiple for each prime at most $n$. Based on the square-residue digit construction of Green and Ruzsa, we prove \[
F(n)\ge h_{\mathbb P}(n)\ge n\exp\!\left(\frac{1}{50}\frac{\log n}{\log\log n}\right), \] for sufficiently large $n$. This improves the previous bounds $h_{\mathbb P}(n)/n\to\infty$ by Ruzsa, $F(n)\gg n\log n/\log \log n$ by van Doorn, and $F(n)\gg n\log n$ by Kominers and, in particular, disproves the conjecture $F(n)\ll n\log n$ by Kominers. Moreover, we prove \[
F(n)\le n^{β+o(1)}\ll n^{1.4031} \qquad {\rm and}\qquad h_{\mathbb P}(n) \ll \frac{n^{7/5}}{(\log n)^{2/5}}, \] where $β\in (1,2)$ is the root of $2β^3-8β^2+8β-1=0$. This improves the previous best bounds $F(n)\ll n^{3/2}$ and $h_{\mathbb{P}}(n)\ll n^{3/2}/\sqrt{\log n}$ by Erdős and Pomerance in 1980. Our upper bound on $F(n)$ is a corollary of the sum--difference theorem of Katz and Tao, while the upper bound on $h_{\mathbb P}(n)$ is achieved via a novel combinatorial method.
Classical and vincular patterns of length three in generalized alternating permutations
Let k be an integer at least 2, and let D_{N,k} be the set of permutations of {1,...,N} whose descent set is exactly {k, 2k, ..., k*floor((N-1)/k)}. We enumerate the elements of D_{N,k} avoiding each classical and each vincular pattern of length three.
For classical patterns, we give recursive bijections from the 132- and 231-avoiding classes to ordered forests of complete k-ary trees, obtaining the Raney number. The 213- and 312-avoiding classes are obtained from these forest bijections by completing the last block and applying reverse-complement symmetry. The remaining classical case 321 is expressed by RSK.
For vincular patterns, we enumerate the six fully consecutive patterns and the twelve patterns with exactly one adjacency. The closed-form results are accompanied by bijective models: the Catalan, Raney, Fuss-Catalan, and RSK cases are natural k-ary or fixed-descent extensions of classical bijections, while the product and poset cases arise from block-insertion and record/tree-poset encodings forced by the adjacency conditions.
Finitely additive measures on $\mathbb Z$ and additive combinatorics
We study (bounded) finitely additive measures on the group of integers $\mathbb Z$, as elements of the Banach algebra $\mathrm{ba}(\mathbb Z)$, viewed as a natural generalization of ultrafilters. The algebraic structure of $\mathrm{ba}(\mathbb Z)$ extends the semigroup structure of the Čech--Stone compactification, allowing methods from ultrafilter theory to be applied in a broader measure-theoretic setting. We investigate idempotent finitely additive measures and establish additive properties of subsets of $\mathbb Z$ having positive measure. We then proceed to study almost translation-invariant and translation-invariant finitely additive measures, showing that these stronger notions yield correspondingly stronger additive conclusions. In particular, we prove that every subset of $\mathbb Z$ whose measure exceeds a certain explicit threshold necessarily is an $\mathsf{IP}_{n}$-set; with stronger properties and lower thresholds depending on the properties of the relevant measures. Several examples illustrating the sharpness and limitations of the results are also presented, together with a discussion of open problems and directions for future research.
Fuglede's Conjecture on Cyclic Groups of Square-Free Order: The Case of Rapidly Growing Prime Factors
The main result of the paper is that an inductive argument is established to prove the Fuglede's conjecture for an infinite sequence of square-free order cyclic groups. The tile-to-spectral direction of the conjecture holds for all square-free cyclic groups, whereas we prove the spectral-tiling direction only for those groups among them whose prime factors grow rapidly. To achieve this, we develop an inductive technique with roots in a previous paper by the author co-authored with Fallon, Kiss, and Mayeli. Following recent preprints, Fuglede's conjecture remains open only for finite cyclic groups, and until now, there was no cyclic group for which the conjecture was known that possessed an arbitrary number of distinct divisors.
Recurrence in a dynamical system over adequate partial semigroups
Using tools from topological dynamics, H.~Furstenberg introduced the notion of \emph{central sets} and established the celebrated Central Sets Theorem. The sets which satisfy the conclusion of the Central Sets Theorem are called $C$-sets. Hindman, Maleki, and Strauss first brought the concept of an important type of $C$-sets called the quasi-central sets which are not central sets. In 2017, A. Ghosh gave the combinatorial treatment of $C$-sets in commutative adequate partial semigroups, where $C$-sets are the sets which satisfy the conclusion of Central Sets Theorem for commutative adequate partial semigroups. In this work, we discuss the Quasi-central sets algebraically and dynamically for commutative adequate partial semigroups. We give dynamical characterization of members of idempotent ultrafilters for commutative adequate partial semigroups, also we study the minimal dynamical systems for an adequate partial semigroup.
Graph k-Coloring in Average Sublinear Time
Graph $k$-coloring is one of the classic NP-complete problems. Previous work has studied its average time complexity, defined to be the average runtime of computing a $k$-coloring over the set of all $k$-colorable graphs on $n$ vertices. A highly influential result of Dyer-Frieze from 1989 gave an algorithm with $O(n^2)$ average runtime for constant $k$. This quadratic runtime appeared natural (and possibly even optimal) since almost all $k$-colorable graphs have $Θ(n^2)$ edges, so one needs at least this time in order to read the (entire) input. However, this was later improved by Kučera in 1995 to average runtime $O(n^2/k)$ for every $k \leq n^{c}$ where $c \in (0, 1)$. Nevertheless, in the most interesting case of $k = O(1)$, the best-known bound remained quadratic in $n$. The true average complexity of the $k$-coloring problem has remained elusive for the last three decades.
We break the longstanding quadratic barrier. Our main result in this paper shows that the exact average-case complexity of this fundamental problem is $Θ(nk)$ for every $k \leq n^{c'}$ and some $c' \in (0, 1)$. For $k = O(1)$, this reveals the average sublinear nature of $k$-colorability: the average-case complexity is linear in $n$, and thus sublinear in the size of the input. We further show that our $Θ(nk)$ average runtime is optimal, since a simple bound proves that every algorithm that correctly $k$-colors all $k$-colorable graphs requires $Ω(n k)$ average runtime.
Our proofs draw on ideas from sublinear and local algorithms and also yield a local computation algorithm (LCA) for $k$-coloring with average-case probe complexity $\text{poly}(k)$. A key new ingredient in our algorithm is a method for certifying the unique colorability of random subgraphs, using tools from the theory of graph regularity.
Cyclic Neighborhoods in Digraphs
Let $D$ be a digraph of order $n$ and size $m$ with the property that no out-neighborhood or in-neighborhood of any vertex is acyclic. We show that, if $D$ is strongly connected, then $m\geq 7n/3$, and, if $D$ is strongly $2$-connected, then $m\geq 8n/3$. Both results are best-possible.
On a Question of Lehmer concerning the Comtet Numbers
The Comtet numbers $b(n,k)$ and $B(n,k)$ of the first and second kind arise from the powers of $(1+x)\log(1+x)$ and of its compositional inverse, respectively. By interpreting both families as special values of weighted Stirling polynomials, we answer Lehmer's question of whether $B(n,k)$ satisfies a recurrence with a fixed number of terms by proving the four-term recurrence $kB(n+1,k+1)=B(n,k-1)-(n-k)B(n,k)-B(n+1,k)$. The corresponding relation for the unsigned array was conjectured by M. Kurkov, but not proved, in OEIS A354794. We further derive explicit formulas, convolution identities, and differential-difference relations for the Touchard-type polynomials attached to the two families.
Erdős-Pósa property of rooted tree minors
Fiorini, Joret, and Wood (2013) showed that tree minors satisfy the so-called Erdős-Pósa property with a linear bound: For every tree $T$ there exists a constant $c \geq 1$ such that, for every graph $G$ and integer $k\geq 0$, either $G$ contains $k$ vertex-disjoint subgraphs each containing a $T$-minor, or $G$ has a set $X$ of at most $c k$ vertices such that $G-X$ has no $T$-minor. In this paper, we prove that the same result remains true if, given a subset $S$ of vertices of $G$, one only considers $T$-minors of $G$ that are rooted in $S$. Here, a $T$-minor is rooted in $S$ if there is a minor-model of $T$ where each branch set contains a vertex from $S$.
This result can be seen as a generalization of the classical $S$-Path Theorem of Gallai, which corresponds to the case $T=K_2$. The upper bound on the size of $X$ is best possible up to the value of the constant $c$, and improves on an earlier $O(k^2)$ bound due to Hodor, La, Micek, and Rambaud (2026).
Banach-valued graph limits: Graphon representability and Banach-space structure
We study a graph-limit problem for Banach-decorated graphs. Given a sequence of $X$-decorated graphs whose homomorphism densities converge against all $X^*$-decorated test graphs, we ask whether the limiting densities are represented by an $X$-valued graphon. The results connect this graph-limit problem with Banach-space structure.
If $X^*$ is separable, then the graphon representation property for graph sequences uniformly bounded in $L^p$ for every finite $p$ holds if and only if $X$ is reflexive. For Banach lattices, it is equivalent to the Radon--Nikodým property. For dual Banach spaces, it is equivalent to the conjunction of the Radon--Nikodým property and weak sequential completeness. In the bounded setting, the same characterization extends to arbitrary Banach spaces: for every Banach space $X$, the representation property for uniformly $L^\infty$-bounded graph sequences holds if and only if $X$ has the Radon--Nikodým property and is weakly sequentially complete.
Dynamical phase retrieval for Schr{ö}dinger evolution on finite graphs
We study dynamical phase retrieval for Schr\''odinger evolutions on finite connected graphs. Let \[ H\_Q=Δ\_G+Q \] be a graph Schr\''odinger operator with a real diagonal potential. We investigate when phaseless data obtained from the associated Schr\''odinger evolution \[ |e^{-itH\_Q}u\_0(j)|, \qquad 0\leq t\leq T,\ j\in V, \] determines the initial state $u\_0\in\C^V$ up to a global phase. We give a uniqueness criterion in terms of the eigenvalues and eigenvectors of $H\_Q$. The assumptions are a $B\_2$ condition on the spectrum, meaning that the sums $λ\_j+λ\_k$ determine the unordered pair $\{j,k\}$, invertibility of the squared-eigenvector matrix $\bigl(φ\_k(j)^2\bigr)\_{j,k}$ and an overlap condition on the supports of pairs of eigenvectors. Under these hypotheses, the phaseless Schr\''odinger data determine every initial state uniquely, modulo global phase. We then show that the criterion is both realized and generic. Every finite connected graph admits an explicit real diagonal potential for which the criterion holds. Moreover, for every finite connected graph, dynamical phase retrieval holds for Lebesgue-almost every real potential $Q\in\R^V$ and every $T>0$. We also give several obstructions to uniqueness.
On the Betti numbers, Poincaré polynomials, and Euler characteristics of $\overline{\mathcal M}_{0,n}$
In this paper, we revisit the Poincaré polynomials, Betti numbers, and Euler characteristics of the Deligne-Mumford moduli spaces $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves. We give elementary derivations of two recent closed formulas for their Poincaré polynomials, due respectively to Aluffi-Marcolli-Nascimento (arXiv:2406.13095) and to Eur-Ferroni-Matherne-Pagaria-Vecchi (arXiv:2504.16776). Our approach shows that both formulas are already implicit in the generating-series results of Getzler and Manin, and can be extracted from them by elementary manipulations of generating functions, the binomial series, and standard identities for Stirling numbers. Beyond these new derivations, the same method also yields new linear recurrence relations for refined invariants associated with these Poincaré polynomials, namely distinguished summands and a bivariate refinement. As a further consequence, we obtain two additional formulas for the Betti numbers, not previously recorded in this form.
We also study the Euler characteristics $χ(\overline{\mathcal M}_{0,n})$. Using the Taylor expansion of a suitable branch of the Lambert $W$-function, we show that their sequence is obtained by evaluating complete Bell polynomials at an explicit auxiliary integer sequence. This Bell-polynomial representation yields Hessenberg determinantal formulas and a new linear recursion, distinct from the well-known quadratic Keel-Manin recursion. It also provides an explicit extraction of the Euler characteristics from the Lambert $W$-function expression considered by Aluffi-Marcolli-Nascimento. Finally, we refine the Manin-Zagier asymptotic estimate for these Euler characteristics by computing the full asymptotic expansion.
Self-dual double cyclic codes over $\mathbb{F}_q$
This article focuses specifically on the study of self-dual double cyclic codes over a finite field $\mathbb{F}_q$. A self-dual double cyclic code is a double cyclic code that is equal to its dual. Structurally, a double cyclic code of length $(r,s)$ over $\mathbb{F}_q$ is a $\mathbb{F}_q[x]$-submodule of $\mathbb{F}_{q,r,s}:=\mathbb{F}_q[x]/\langle x^r-1\rangle\times\mathbb{F}_q[x]/\langle x^s-1\rangle$. Moreover, any double cyclic code of length $(r,s)$ over $\mathbb{F}_q$ is generated by two pairs of polynomials in $\mathbb{F}_{q,r,s}$. From the properties of the generating elements, we provide the necessary and sufficient conditions such that two pairs of polynomials in $\mathbb{F}_{q,r,s}$ generate a self-dual code. Furthermore, we examine the existence of self-dual double cyclic codes for some specific lengths: $(r,r)$; $(r,2r)$ and $(2r,r)$; and $(r,s)$, where $\gcd(r,s)=1$. For each case, we provide a construction method with some explicit examples over various finite fields. We also observe some connections between self-dual double cyclic codes and other classes of self-dual codes.
Automorphism Groups in Extremal Families of Polyhedral Graphs
We study automorphism groups in five extremal families of polyhedral graphs. For every $n\ge14$, we prove that every minimum-order $3$-polytopal graph containing a vertex of each degree $3,4,\ldots,n$ is asymmetric. The proof uses an exact planar defect decomposition, a complete description of the high-degree tail, and a saturation theorem for the subgraph induced by the uniquely high-degree vertices. Duality gives the corresponding asymmetry result for minimum-face polyhedra containing faces of every size $3,4,\ldots,n$. For the three polyhedral graphs whose complements are also polyhedral, we determine the ordinary and extended automorphism groups and identify the extended group \[ \mathsf{Aut}^{\pm}(G_{13})\cong (C_2\times C_2)\rtimes C_4. \] Next, we classify automorphism groups of radius-one polyhedra. In the unique-dominating-vertex case they are cyclic or dihedral, and in the triangulated case the possibilities are \[ 1,\qquad C_2,\qquad C_3,\qquad C_2\times C_2,\qquad S_3. \] For polyhedra that are unigraphic among the class of self-dual, we show that their automorphism group is either $1$ or $C_2$. Finally, we consider polyhedra that are products of graphs, for each of the four standard graph products, and we classify them according to their automorphism group.