Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Resolving problems on the polynomial identity characterization of daisy cubes
Let $X\subseteq\{0,1\}^n$ be a set of binary strings of length $n$. The daisy cube $Q_n(X)$ is the subgraph of the hypercube $Q_n$ induced by the union of the intervals $I(x,0^n)$ for $x\in X$. As a subclass of partial cubes, it generalizes Fibonacci cubes and Lucas cubes. For a graph $G$ and a vertex $u\in V(G)$, we consider the cube polynomial $C_G(x)$, the distance cube polynomial $D_{G,u}(x,y)$, and the polynomial $W_{G,u}(x)$, which count $k$-cubes, $k$-cubes at distance from $u$, and vertices at distance $k$ from $u$, respectively.
In this paper, we prove that for a partial cube $G$ with a vertex $u\in V(G)$, $G$ is a daisy cube and $u=0^n$ if and only if one of the following equivalent conditions holds: (1) $C_{G}(x)=W_{G,u}(x+1)$; (2) $D_{G,u}(x,y)=W_{G,u}(x+y)$; (3) $D_{G,u}(x,y)=C_{G}(x+y-1)$. In particular, conditions (1) and (3) give affirmative answers to two open problems posed by Klavžar and Mollard [European J. Combin., 80 (2019) 214--223]. Further, we obtain that for arbitrary partial cube $G$, $D_{G,u}(x,y)\leq W_{G,u}(x+y)$ and $C_{G}(x)\leq W_{G,u}(x+1)$. Besides, another bound for $C_G(x)$ due to Xie et al. [J. Graph Theory, 106 (2024) 907--922] is given by the clique polynomial $Cl_{G^\#}(x+1)$ of the crossing graph of $G$. We also compare these two bounds and show that the simplex graphs form the unique class of graphs for which the two bounds coincide.
A Finite-State Proof of the Well-Definedness of a Perturbed Hofstadter Sequence
We prove that the perturbed Hofstadter-type sequence Q(1)=1, Q(2)=1, and Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n is well-defined for all n>=1, in the sense that all recursive arguments remain positive. This contrasts with the classical Hofstadter Q-sequence, for which global well-definedness remains open.
The proof reduces the infinite recursion to a finite combinatorial constraint system. We introduce a symbolic encoding of local configurations, compute the finite set of admissible contexts, and construct a compatibility relation that captures all valid local transitions. We then show that valid assignments split into two global modes, which reduces all potential obstructions to a finite critical core. A complete finite verification excludes these obstructions and establishes global well-definedness.
More generally, the argument shows that certain meta-Fibonacci recursions admit a finite-state description whose global consistency can be decided by exhaustive combinatorial analysis.
Seymour-tight orientations
We investigate `almost counterexamples' to Seymour's second neighbourhood conjecture. In what we call Seymour-tight orientations, the size of the first neighbourhood of each vertex equals the size of its second neighbourhood. We give several examples and constructions. Specifically, we prove that the class of Seymour-tight orientations is closed under taking (generalized) lexicographic products. Moreover, the lexicographic product of a putative counterexample to Seymour's second neighbourhood conjecture and a Seymour-tight orientation is again a counterexample.
Using lexicographic products, we show that if the conjecture is false, then there exist counterexamples that are close to regular tournaments, and moreover that any digraph occurs as an induced subgraph of a counterexample. We then use this same machinery to construct special putative counterexamples to Sullivan's conjecture.
The inherent symmetry of these orientations give access to an algebraic perspective. Seymour-tight orientations that are also Cayley digraphs correspond to special pairs of critical sets in groups, which connects potentially to additive combinatorics. We use Kemperman's theorem to characterize those Seymour-tight orientations that are the Cayley digraph of an abelian group.
On Lexicographic Product and Multi-Word-Representability
We investigate the relationship between the lexicographic product of graphs and their multi-word-representation number. Although the lexicographic product of two word-representable graphs need not itself be word-representable, a precise characterization has not previously been established. We provide a complete characterization, showing that for word-representable graphs $G_1$ and $G_2$, the lexicographic product $G_1 \circ G_2$ is word-representable if and only if $G_2$ is a comparability graph. For lexicographic powers, we prove that $G^{[k]}$ is word-representable if and only if $G$ is a comparability graph. The multi-word-representation number $μ$ for lexicographic powers and products satisfies the following bounds. If $G$ is a non-comparability graph, then $μ(G^{[k]}) \le k$, whereas if $G$ is the union of two comparability graphs, then $μ(G^{[k]}) = 2$. More generally, for graphs $G_1$ and $G_2$ with $μ(G_1) = k_1$ and $μ(G_2) = k_2$, the lexicographic product $H = G_1 \circ G_2$ satisfies the upper bound $μ(H) \le k_1 + k_2$. This bound is tight, with equality $μ(H) = k_1$, when $k_1 \ge k_2$ and $G_2$ is the union of $k_1$ comparability graphs. Moreover, if $G_1$ and $G_2$ are minimal non-word-representable graphs, then $μ(G_1 \circ G_2) \le 3$. Finally, we study the function $τ(n)$, which measures the size of the largest word-representable induced subgraph guaranteed in every $n$-vertex graph. By constructing extremal graphs via lexicographic powers, we establish a sublinear upper bound, showing that $τ(n) \le n^{0.86}$ for sufficiently large $n$.
Reciprocity of Skew Hall-Littlewood-Schubert Series
Carnevale, Schein and Voll proved self-reciprocity of the generalized Igusa functions, and Maglione and Voll did the same for the Hall-Littlewood-Schubert series. We introduce a simultaneous generalization and refinement of these two rational functions, and prove that it satisfies a self-reciprocity property. This answers a problem posed by Maglione and Voll. Our method of proof is elementary, avoiding the use of $p$-adic integration.
Two Littlewood identities for fully inhomogeneous spin Hall-Littlewood symmetric rational functions
Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ arise as partition functions of certain path configurations in the $\mathfrak{sl}_2$ higher spin six vertex models. They are multiparameter generalizations of the classical Hall-Littlewood symmetric polynomials. We establish two new generalizations of the classical Littlewood identity, where we express a weighted sum of $F_λ$'s over all partitions $λ$ as a product of the Littlewood kernel and another simple product in one case, and a product of the Littlewood kernel and a Pfaffian in the other case. As a corollary we obtain a novel Littlewood identity for Hall-Littlewood symmetric polynomials.
We also elaborate on the newly established connection between the fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ and the modified Robbins polynomials, the latter being multivariate generating functions for alternating sign matrices. This connection allowed us to discover the two generalizations of the Littlewood identity and we provide a bijection between the underlying combinatorial models in the case where $λ$ is strictly decreasing.
On lower bounds for the number of ideal and finite vertices of right-angled hyperbolic polyhedra in dimensions from 5 to 12
We investigate lower bounds for the number of ideal and finite vertices of right-angled hyperbolic polyhedra of finite volume. We use a geometric method of orthogonal gluings to establish new bounds in low dimensions, specifically $v_\infty(P^5) \ge 3$ and $v_{fin}(P^7) \ge 4$. By combining these initial bounds with double counting arguments and recurrence relations, we obtain improved lower bounds for both types of vertices in all higher dimensions up to $n=12$, the maximal dimension where polyhedra of this class exist.
Sparse counting lemma for $K_4$
The sparse analogue of Szemerédi's regularity method has played a central role in the development of extremal results for random graphs. While the sparse embedding lemma (the KLR conjecture) has been resolved, the corresponding sparse counting lemma remains widely open. The conjecture, formulated by Gerke, Marciniszyn, and Steger, states that for every fixed graph $H$ and any $β>0$, there exists $\varepsilon>0$ such that the following holds. Consider a balanced blow-up of $H$ with vertex classes of size $n$, where each pair corresponding to an edge of $H$ forms an $(\varepsilon)$-regular bipartite graph with exactly $m$ edges. Assume that $m$ is above the natural threshold $m \gg n^{2-1/m_2(H)}$, then all but a $β^m$ proportion of such graphs contain at least $(1-δ)$ times the expected number of copies of $H$.
At present, among the complete graphs, the conjecture is known only for $H=K_3$. In this paper, we establish the $H=K_4$ case of the conjecture.
Various conjectural series identities
In this paper we collect over 75 new series identities (involving binomial coefficients) conjectured by the author in 2026. For example, we conjecture that $$\sum_{k=0}^\infty\frac{16k+3}{(-202^2)^k}\binom{2k}kT_k(19,-20)T_{2k}(9,-5)=\frac{43\sqrt{101}}{75π},$$ where $T_n(b,c)$ denotes the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. The conjectures in this paper might interest some readers and stimulate further research.
Voronoi-Based Vacuum Leakage Detection in Composite Manufacturing
In this article, we investigate vacuum leakage detection problems in composite manufacturing. Our approach uses Voronoi diagrams, a well-known structure in discrete geometry. The Voronoi diagram of the vacuum connection positions partitions the component surface. We use this partition to narrow down potential leak locations to a small area, making an efficient manual search feasible. To further reduce the search area, we propose refined Voronoi diagrams. We evaluate both variants using a novel dataset consisting of several hundred one- and two-leak positions along with their corresponding flow values. Our experimental results demonstrate that Voronoi-based predictive models are highly accurate and have the potential to resolve the leakage detection bottleneck in composite manufacturing.
Simplex Layers and Phase Boundaries in the Partition Graph
For the partition graph $G_n$ on the set of partitions of $n$, we study the stratification induced by the local simplex dimension $\dim_{\mathrm{loc}}(λ)$, defined as the maximal dimension of a simplex of the clique complex $K_n=\mathrm{Cl}(G_n)$ containing $λ$. Using the previously established description of maximal cliques through a vertex in terms of star and top capacities, we define the simplex layers $L_r(n):=\{λ\vdash n:\dim_{\mathrm{loc}}(λ)=r\}$ and study their global structure. We formalize the resulting layer stratification, rewrite layer membership in terms of local capacities, and record its basic consequences, including conjugation invariance. We then investigate first occurrence of layers across $n$, introducing the indices $n_r^{\mathrm{first}}$ and the corresponding first-occurrence sets $\mathcal{F}_r$. For the initial layer values, we obtain explicit exact results; more generally, we record a finite first-occurrence table and several natural sequence questions. We also define the adjacent-layer edge boundary $\partial^E_{r,r+1}(n)$, consisting of edges joining $L_r(n)$ to $L_{r+1}(n)$, together with the associated one-sided and vertex-boundary variants. This provides an exact interface language for the layer stratification, distinct from the broader shell-type geometric language used elsewhere in the project.
Some geometric series for Euler's constant
We provide representations of Euler's constant $γ=0.577...$ as series which converge geometrically fast. This is based upon our earlier work on the Euler alternating series.
Construction of additively graceful signed graphs-I
In this paper, we construct additively graceful signed graphs S from a given graph G that may be additively graceful or not be additively graceful. We also show the construction of additively graceful signed graphs from additively graceful signed graphs. We find the values of m, n in non-divisible sum graph, denoted as G(m, n), that admit additively graceful labeling.
Counting partial Hadamard matrices in the cubic regime
We give a precise asymptotic formula for the number of $n\times 4t$ partial Hadamard matrices in the regimes $t/n^3\to\infty$ and $t/n^3\toΘ$ for sufficiently large fixed $Θ$. This strengthens earlier results of de~Launey and Levin, who obtained the asymptotic for $t/n^{12}\to\infty$, and of Canfield, who extended this to $t/n^4\to\infty$.
Graphs of group actions and group actions on trees
Bass-Serre theory provides a powerful framework for studying group actions on trees. While extremely effective for structural questions in group theory, it is less suited to the systematic construction of group actions with prescribed local behaviour. Motivated by local-to-global constructions such as the Burger-Mozes universal groups and local action diagrams, we develop an analogue of Bass-Serre theory for group actions.
The central object of study in our are graphs of group actions, combinatorial structures similar to graphs of groups from Bass-Serre theory, encoding compatible local permutation actions on a base graph. From these we can construct groups which act on tree-like graphs called scaffoldings and hence also on trees.
We prove uniqueness and universality results for the resulting groups and show that our framework unifies and generalises (among other known constructions) both graphs of groups and local action diagrams. Remarkably, we are able to encapsulate the full generality of the former while still allowing for efficient construction of groups with certain local properties like in the latter.
The Priority Lattice
We introduce the priority lattice, a structure arising from the priority search algorithm on rooted trees and forests. We prove bijectively that its maximal chains are labeled by parking functions, and that the maximal chains of its principal ideals are labeled by partial parking functions. We establish that it is a graded lattice and compute its Möbius function and characteristic polynomials.
Composition of random functions and word reconstruction
Given two functions $\mathbf{a}\!:\! [n] \rightarrow [n]$ and $\mathbf{b}\!:\! [n] \rightarrow [n]$ chosen uniformly at random, any word $w=w_1w_2\dots w_k\in \{a,b\}^k$ induces a random function $\mathbf{w}\!:\! [n] \rightarrow [n]$ by composition, i.e. $\mathbf{w}=φ_{w_k}\circ \dots \circ φ_{w_1}$ with $φ_a=\mathbf{a}$ and $φ_b=\mathbf{b}$. We study the following question: assuming $w$ is fixed but unknown, and $n$ goes to infinity, does one sample of $\mathbf{w}$ carry enough information to (partially) recover the word $w$ with good enough probability?
We show that the length of $w$, and its exponent (largest $d$ such that $w={u}^d$ for some word ${u}$) can be recovered with high probability. We also prove that the random functions stemming from two different words are separated in total variation distance, provided that certain ``auto-correlation'' word-depending constant $c(w)$ is different for each of them. We give an explicit expression for $c(w)$ and conjecture that non-isomorphic words have different constants. We prove that this is the case assuming a major conjecture in transcendental number theory, Schanuel's conjecture.
Hypergeometric Bernoulli Polynomials Defined on Simplicial $d$-Polytopic Numbers
We introduce an ${\rm S}_d$-analogue of the hypergeometric Bernoulli polynomials and study their properties. To achieve this goal, we introduce a calculus defined on the simplicial $d$-polytopic numbers. Two definitions of the ${\rm S}_d$-derivatives are given. These two definitions allow us to derive an identity relating Kummer confluent hypergeometric function and Touchard polynomials. This calculus is closely related to the $d$-Hoggatt binomial coefficients. ${\rm S}_d$-analogs of the exponential function and the hypergeometric functions are given.
A characterization of graphs with no $K_{3,4}$ minor
A complete structural characterization of graphs with no $K_{3,4}$ minor is obtained, and the following consequences are established. Every $4$-connected non-planar graph with at least seven vertices and minimum degree at least five contains both $K_{3,4}$ and $K_6^-$ as minors, thereby proving a conjecture of Kawarabayashi and Maharry in a strengthened form. Moreover, every $4$-connected graph with no $K_{3,4}$ minor is hamiltonian-connected, extending a theorem of Thomassen, and admits an embedding on the torus.
Cycles of length $2$ modulo odd $k$ and admissible cycles in graphs
In 1976, Burr and Erdős conjectured that if $k\mathbb{Z} + \ell$ contains an even integer, there exists a constant $c$ such that every graph with at least $cn$ edges contains a cycle of length $\ell \pmod k$. This conjecture was settled for odd $k$ by Bollobás, while Thomassen completed the proof for all $k$ by resolving the case for even residues. Let $c_{\ell,k}$ denote the smallest constant such that every $n$-vertex graph with at least $c_{\ell,k}n$ edges contains a cycle of length $\ell \pmod{k}$. $k$ cycles are said to be admissible if they form an arithmetic progression of length $k$ with common difference one or two. The exact value of $c_{\ell,k}$ remains unknown for most $(\ell,k)$. Recently, Gao, Huo, Liu, and Ma showed that every graph with minimum degree at least $k+1$ contains $k$ admissible cycles. In this paper, we provide a sharp size version of their result. As a corollary, we show that $c_{2,k}=k$ for all odd $k$. In 2016, Verstraëte conjectured that every $n$-vertex graph $G$ containing no $k$ cycles of consecutive even lengths has at most $(2k+1)(n-1)/2$ edges, with equality only if every block of $G$ is a clique of order $2k+1$. We prove this conjecture for $2k+2\leq n\leq 4k+1$, and in fact obtain a stronger result in this range.