math.CO ↗ arXiv
5274 papers in this category
Mahonian statistics on words with fixed weak right-to-left minima and on permutations with a fixed descent set
Our first main result shows that, for words with a fixed multiset of weak right-to-left minima, the statistics within each of the following three classes are equidistributed:
1. Mahonian statistics: $\textsf{inv}$, $\textsf{maj}$, $\textsf{den}$, $\textsf{mak}$, $\textsf{mad}$, $\textsf{inv}_{r}$, $r\textsf{maj}$, and $r\textsf{den}$;
2. Euler--Mahonian statistics: $(\textsf{des},\textsf{maj})$, $(\textsf{exc},\textsf{den})$, and $(\textsf{des},\textsf{mak})$;
3. $r$-Euler--Mahonian statistics: $(r\textsf{des},r\textsf{maj})$ and $(r\textsf{exc},r\textsf{den})$.
Our second main result shows that, for permutations with a fixed descent set, the statistics within each of the following two classes are equidistributed:
1. Mahonian statistics: $\textsf{inv}$, $\textsf{imaj}$, $\textsf{imak}$, $\textsf{iinv}_{r}$, and $\textsf{istat}$;
2. Mahonian--Stirling-type statistics: $(\textsf{inv},\textsf{lrmax})$, $(\textsf{imaj},\textsf{lrmax})$, $(\textsf{imak},\textsf{lrmax})$, and $(\textsf{iinv}_{r},\textsf{lrmax})$.
Moreover, we apply these results to set partitions, 221-avoiding words, alternating permutations, and permutations with $k$ alternating runs, thereby obtaining several families of equidistributed Mahonian-type statistics on these combinatorial structures.
The Pentagon Graph Operator
For a graph $G$, let $\mathscr{C}_5(G)$ denote the graph whose vertices are the induced $5$-cycles of $G$, where two vertices are adjacent whenever the corresponding cycles share an edge. We investigate the iterative behavior of the pentagon graph operator $\mathscr{C}_5(G)$ , positioning it as the natural continuation of the quadrangle graph operator and the broader induced-cycle graph operator program. We construct explicit pentagon-vanishing, pentagon-periodic, and pentagon-expanding graphs. In particular, the dodecahedron and the icosahedron provide natural periodic examples, while an icosahedral tadpole-hat construction yields expanding families. Our main result proves that every graph is exactly one of three types with respect to $\mathscr{C}_5(G)$: vanishing, periodic, or expanding. The paper suggests a broader theory for the operators $C_k$ generated by induced cycles of fixed length $k$.
Independent Sets and Continued Fractions
Linek's 1989 problem asks whether the numbers of independent sets of trees avoid infinitely many positive integers. We show that the set of natural numbers realized as the number of independent sets of a tree has a lower growth exponent of $0.1966$. We further prove that the set of positive integers representable by connected planar graphs has asymptotic density one. Lastly, we establish a phase transition: the number of independent sets of graphs with fewer than $d|V|$ edges for any $d<1$ is contained in a set of density zero, whereas, following Shkredov's recent breakthrough on Zaremba's conjecture in continued fraction theory, there exists a constant $D$ such that the number of independent sets of graphs with at most $D|V|$ edges covers all positive integers.
Counterexamples to the Corsten-Frankl conjecture on diameter-Ramsey simplices
Corsten and Frankl conjectured that a simplex is diameter-Ramsey if and only if its circumcenter lies in its convex hull. We disprove this conjecture in every dimension $d\ge 3$. The main tool is a sufficient criterion based on a higher-order deficit decomposition: if the squared deficits $D^2-\|p_i-p_j\|^2$ admit a nonnegative decomposition over subsets of the vertex set, with total mass at most $D^2$, then the simplex is diameter-Ramsey. The pairwise deficit criterion of Frankl--Pach--Reiher--Rödl is recovered as a special case. As an application, for every $d\ge 3$ we construct a diameter-Ramsey $d$-simplex whose circumcenter lies outside its convex hull. A particularly simple family has squared edge lengths $\|p_1-p_2\|^2=\|p_1-p_j\|^2=7~ (4\le j\le d+1)$, $\|p_1-p_3\|^2=4$, and $\|p_i-p_j\|^2=4 ~ (2\le i<j\le d+1)$.
Arc search in graphs via Szegedy walks
This paper studies the search for a single arc in a graph using the Szegedy walk. Arc search can be interpreted as finding a quantum particle not only in its position but also with a specific internal state. The quantum walk employed in this study is essentially the model proposed by Segawa and Yoshie for the purpose of edge search. First, we investigate how the symmetry of a graph is reflected in its time evolution matrix, and provide a sufficient condition under which the success probability of the search is independent of the marked arc. In particular, we prove that if a graph is arc-transitive, the success probability is independent of the choice of the marked arc. Next, we analyze path and cycle graphs and show that the quantum search is ineffective for these graphs, whereas it performs well for complete bipartite graphs $K_{n,n}$. These results provide a theoretical foundation for studying arc and edge searches on various graphs, while also suggesting new problems concerning the eigenvalue analysis of edge-signed graphs in spectral graph theory.
Moderately beyond clique-width: reduced component max-leaf and related parameters
Reduced parameters [BKW, JCTB '26; BKRT, SODA '22] are defined via contraction sequences. Based on this framework, we introduce the reduced component max-leaf, denoted by $\operatorname{cml}^\downarrow$, where component max-leaf is the maximum number of leaves in any spanning tree of any connected component. Reduced component max-leaf is strictly sandwiched between clique-width and reduced bandwidth, it is bounded in unit interval graphs, and unbounded in planar graphs. We design polynomial-time algorithms for problems such as \textsc{Maximum Induced $d$-Regular Subgraph} and \textsc{Induced Disjoint Paths} in graphs given with a contraction sequence witnessing low $\operatorname{cml}^\downarrow$, unifying and extending tractability results for classes of bounded clique-width and unit interval graphs.
We get the following collapses in sparse classes of bounded $\operatorname{cml}^\downarrow$: bounded maximum degree implies bounded treewidth, whereas $K_{t,t}$-subgraph-freeness implies strongly sublinear treewidth; we show the latter, more generally, for classes of bounded reduced cutwidth. We establish the former result by showing that graphs with bounded $\operatorname{cml}^\downarrow$ admit balanced separators dominated by a bounded number of vertices. We then showcase an application of the reduced parameters to establishing non-transducibility results. We prove that for most reduced parameters $p^\downarrow$ (including reduced bandwidth), the family of classes of bounded $p^\downarrow$ is closed under first-order transductions. We then answer a question of [BKW '26] by showing that the 3-dimensional grids have unbounded reduced bandwidth. As the class of planar graphs (or any class of bounded genus) has bounded reduced bandwidth [BKW '26], this reproves a recent result [GPP, LICS '25] that planar graphs do not first-order transduce the 3-dimensional grids.
Counting sunflowers in hypergraphs with bounded matching number and Erdős Matching Conjecture in the $(t,k)$-norm
It is well known that Erdős Matching Conjecture concerns the maximum number of hyperedges in an $r$-uniform hypergraph with bounded matching number. As a generalization, it is natural to ask for the maximum number of copies of subhypergraphs. Given integers $r\geq2$ and $k\ge 1$, let $S_{r-1,k}^r$ denote the $r$-uniform hypergraph with hyperedges $\{e_1, \dots, e_k\}$ such that there exists an $(r-1)$-set $T$ with $e_i \cap e_j = T$ for $1\le i < j \le k$. We determine the maximum number of copies of $S_{r-1,k}^r$ in an $r$-uniform hypergraph with bounded matching number, and characterize all extremal hypergraphs. An interesting phenomenon is that the extremal numbers and extremal hypergraphs are exactly the same for all $k\ge 1$.
Our main tool is the shifting method. By establishing an injection, we prove that the shifting operation does not decrease the number of copies of $S_{r-1,k}^r$ for all $k\geq1$, thereby answering a question raised by Wang and Peng (2026). Moreover, we present a counting method for estimating the number of copies of $S_{r-1,k}^r$ in arbitrary $r$-uniform hypergraphs.
Counting the number of copies of $S_{r-1,k}^r$ in $r$-uniform hypergraphs is closely related to Turán problems in the $(r-1,k)$-norm proposed by Chen, Il'kovič, León, Liu and Pikhurko. The $(r-1,k)$-norm of an $r$-uniform hypergraph $\mathcal{H}$ is the sum of the $k$-th power of the degrees $d_{\mathcal{H}}(T)$ over all $(r-1)$-subsets $T \subseteq V(\mathcal{H})$. Combining our established result with that of Frankl (2013), and utilizing the Newton expansion of powers and Stirling numbers of the second kind, we show that Erdős Matching Conjecture in the $(r-1,k)$-norm holds, which generalizes the result of Brooks and Linz concerning the $(r-1,2)$-norm case.
Powers of Edge Ideals of Prime Ideal Graphs: Generators, Primary Decomposition, and Linear Powers
Let $R$ be a finite commutative ring with multiplicative identity. Let $P$ be a proper prime ideal of $R$. The prime ideal graph $Γ_P(R)$ has a vertex set of $R\setminus\{0\}$, and two different vertices $x$ and $y$ are adjacent to each other if and only if $xy\in P$. We show that $Γ_P(R)\cong K_{|P|-1}\vee \overline{K}_{\,|R|-|P|}$, so prime ideal graphs form a ring-induced family of complete split graphs determined by the two parameters $a=|P|-1$ and $b=|R|-|P|$. Using this decomposition, we determine the minimal vertex covers of $Γ_P(R)$, obtain an explicit irredundant primary decomposition of the edge ideal $I(Γ_P(R))$, and characterize the minimal monomial generators of every power $I(Γ_P(R))^n$. More precisely, $x^αy^β\in G(I(Γ_P(R))^n)$ if and only if $|α|+|β|=2n, \ |β|\leq n$, and $0\leq α_i\leq n$ for all $i$. As a consequence, we derive a closed formula for $μ(I(Γ_P(R))^n)$ and prove that every power $I(Γ_P(R))^n$ is polymatroidal. Hence, each power has linear quotients and a $2n-$linear minimal free resolution; equivalently, $I(Γ_P(R))$ has linear powers. Examples over $\mathbb{Z}_6$ and $\mathbb{Z}_8$ are included.
The high order spectral extrema of $2K_r$-free graphs
In this paper, we determine the graphs with maximum value of the sum number from $k$-clique spectral radius to $(2r-1)$-clique spectral radius among all $2K_{r}$-free graphs on $n$ vertices for $ r\le k$ and large $n$. We also determine the graphs with maximum $3$-clique spectral radius among all $2K_{3}$-free graphs on $n$ vertices. Our results are spectral versions of some results on generalized Turán numbers.
Local Depth-Based Corrections to Maxmin Landmark Selection for Lazy Witness Persistence
We study a family of local depth-based corrections to maxmin landmark selection for lazy witness persistence. Starting from maxmin seeds, we partition the cloud into nearest-seed cells and replace or move each seed toward a deep representative of its cell. The principal implemented variant, \emph{support-weighted partial recentering}, scales the amount of movement by cell support.
The contributions are both mathematical and algorithmic. On the mathematical side, we prove local geometric guarantees for these corrections: a convex-core robustness lemma derived from halfspace depth, a $2r$ cover bound for subset recentering, and projected cover bounds for the implemented partial-recentering rules. On the algorithmic side, we identify a practically effective variant through a layered empirical study consisting of planar synthetic benchmarks, a parameter-sensitivity study, and an MPEG-7 silhouette benchmark, together with a modest three-dimensional torus extension. The main planar experiments show that support-weighted partial recentering gives a consistent geometric improvement over maxmin while preserving the thresholded $H_1$ summary used in the study. The three-dimensional experiment shows the same geometric tendency but only mixed topological behavior. The paper should therefore be read as a controlled study of a local depth-based alternative to maxmin, rather than as a global witness-approximation theorem or a claim of uniform empirical superiority.
The eigenvector centrality of hypergraphs
A hypergraph is called uniform when every hyperedge contains the same number of vertices, otherwise, it is called non-uniform. In the real world, many systems give rise to non-uniform hypergraphs, such as email networks and co-authorship networks. A uniform hypergraph has a natural one-to-one correspondence with its adjacency tensor. In 2019, Benson proposed the eigenvector centrality of uniform hypergraphs via its adjacency tensor. In this paper, we define an adjacency tensor for hypergraphs and propose the eigenvector centrality for hypergraphs. When the hypergraph is uniform, our proposed eigenvector centrality reduces to Benson's. When each edge of the uniform hypergraph contains exactly two vertices, our proposed centrality reduces to the eigenvector centrality of graphs. We conducted experiments on several real-world hypergraph datasets. The results show that, compared to traditional centrality measures, the proposed centrality measure provides a unique perspective for identifying important vertices and can also effectively identify them.
On Fourier decay and the distance set problem
We study the Falconer distance set problem in Euclidean space and obtain improved dimensional estimates under natural Fourier analytic assumptions cast in terms of the Fourier dimension and spectrum. Interestingly, under reasonably mild assumptions, we are able to beat the $d/2$ dimension threshold in dimensions $d \geq 5$. For example, we show that (in any ambient spatial dimension $d$) a Borel set with Fourier dimension at least $2$ has a distance set of full Hausdorff dimension. We also show that (in any ambient spatial dimension $d$) a Borel set with Fourier spectrum at least $d/4+1$ at $θ=1/2$ has a distance set of full Hausdorff dimension. In particular, this can hold for sets with Fourier dimension zero (provided $d \geq 4$). We also consider pinned variants of these problems and construct examples that demonstrate the sharpness (or near sharpness) of our results.
Cyclic Equalizability Characterized by Parikh Vectors
Cyclic equalizability is a notion introduced by Shinagawa and Nuida in 2025, in the study of card-based cryptography. Informally, a collection of words is cyclically equalizable if, by inserting the same letters at the same positions in all words, they can be transformed into words that are cyclic shifts of one another. Shinagawa and Nuida showed that two binary words of equal length are cyclically equalizable if and only if they have the same Hamming weight. They also posed the problem of characterizing cyclic equalizability over larger alphabets. In this paper, we completely characterize cyclic equalizability for two words over an arbitrary finite alphabet by proving that two words are cyclically equalizable if and only if they have the same Parikh vector.
On colorful generalizations of the Goodman--Pollack transversal problem
We establish a colorful, and more generally matroidal, solution to the problem of Goodman and Pollack on the existence of an $\mathbb{F}$-affine $k$-dimensional transversal to a family of convex sets in $\mathbb{F}^d$, where $0 \le k \le d - 1$ is an integer and $\mathbb{F} \in \{\mathbb{R}, \mathbb{C}\}$ is a field. Our results unify several classical and recent theorems. In the case $k=0$, we recover the colorful Helly theorem of Bárány and Lovász, together with a matroidal extension due to Kalai and Meshulam. In the opposite extremal case $k=d-1$, we obtain Holmsen's colorful and matroidal generalization of the Goodman-Pollack-Wenger theorem. Additionally, we extend the recent noncolorful solution of the Goodman-Pollack problem by McGinnis and the author. Our methods are topological. We introduce matroidal joins, defined as homotopy colimits of diagrams indexed by face posets of matroidal complexes, and derive estimates on their connectivity. The proof also relies on adaptations of nonexistence results for equivariant maps from Stiefel manifolds to spheres.
The bosonic Hubbard model on a three dimensional flat band lattice
The lowest eigenstates of the hopping matrix on the line graph of a cubic lattice with periodic boundary conditions are highly degenerate, they form a lowest flat band. Further, these states are localized. If one considers a repulsive bosonic Hubbard model on this lattice it is possible to construct exact multi-particle ground states simply by putting particles in the localized single particle ground states such that they avoid each other. This can be done up to a certain critical particle number $N_c$. We prove that at this particle number the ground state entropy is subextensive $\propto N_c^{2/3}$. For lower densities the entropy is extensive. We further show that the problem is related to the number of 4-cycle decompositions of the cubic lattice with periodic boundary conditions.
Bootstrapping Tensor Integrals
This work proposes a bootstrapping with positivity methodology to study random $U(N)^{D}$ invariant tensors in the large $N$ limit. As has been done for $U(N)$ invariant random matrices, we combine the Dyson-Schwinger equations and positivity constraints of moments to approximate the moments of such tensor models. As examples, we bootstrap the quartic and two hexic rank three tensor models. All models studied converge quickly, and for those which have known analytic formulae, they converge to such solutions. We conjecture new explicit formulae for all moments of the rank three quartic model and support this conjecture using bootstrapped results and explicit double-series computations with 'feyntensor'.
Juniper Green and the Gallai-Edmonds Decomposition
Juniper Green is a simple combinatorial game invented by Rob Porteous and popularized by Ian Stewart. It was originally designed to familiarize school children with the concepts of multiplication and division. We analyze this elementary game through a completely different lens and show that it recovers the Gallai-Edmonds decomposition of the divisibility graph on the vertex set $V= \left\{1,2,\dots, n\right\}$. This characterizes the winning moves of the game; as a byproduct, we show that this decomposition seems to have many interesting and curious patterns that are currently unexplained.
On Scott's odd induced subgraph conjecture and a related problem
For a graph $G$, let $f_o(G)$ denote the maximum order of an induced subgraph of $G$ all of whose vertices have odd degree, and let $χ(G)$ denote the chromatic number of $G$. Scott (CPC, 1992) proved that $f_o(G) \ge |V(G)|/(2χ(G))$ for every graph without isolated vertices, and conjectured that the factor $2$ can be removed. Wang and Wu (JGT, 2024) showed that this conjecture fails for bipartite graphs, but holds for line graphs. In this article, we confirm Scott's conjecture for claw-free graphs without isolated vertices, thereby strengthening the result of Wang and Wu. We also construct $K_{1,r}$-free graphs of arbitrarily large order to show that the conjecture fails for this broader class, for every integer $r \ge 4$.
Wang and Wu also asked whether $f_o(L(G)) \ge n/2$ holds for every connected regular graph $G$ of order $n \ge 3$. We show that $C_5$ is the smallest counterexample to this problem. On the positive side, we prove that if $G$ is a connected $k$-regular $C_5$-free graph on $n$ vertices with $k \ge 2$, then $f_o(L(G)) \ge n/2$.
Greedy Routing in a Sequentially Grown One-Dimensional Random Graph
We analyze greedy routing in a random graph G_n constructed on the vertex set V = {1, 2, ..., n} embedded in Z. Vertices are inserted according to a uniform random permutation pi, and each newly inserted vertex connects to its nearest already-inserted neighbors on the left and right (if they exist). This work addresses a conjecture originating from empirical studies (Ponomarenko et al., 2011; Malkov et al., 2012), which observed through simulations that greedy search in sequentially grown graphs exhibits logarithmic routing complexity across various dimensions. While the original claim was based on experiments and geometric intuition, a rigorous mathematical foundation remained open. Here, we formalize and resolve this conjecture for the one-dimensional case. For a greedy walk GW starting at vertex 1 targeting vertex n -- which at each step moves to the neighbor closest to n -- we prove that the number of steps S_n required to reach n satisfies S_n = Theta(log n) with high probability. Precisely, S_n = L_n + R_n - 2, where L_n and R_n are the numbers of left-to-right and right-to-left minima in the insertion-time permutation. Consequently, E[S_n] = 2H_n - 2 ~ 2 log n and P(S_n >= (2+c) log n) <= n^(-h(c/2) + o(1)) for any constant c > 0, with an analogous lower tail bound for 0 < c < 2, where h(u) = (1+u) ln(1+u) - u is the Bennett rate function. Furthermore, we establish that this logarithmic scaling is robust: for arbitrary or uniformly random start-target pairs, the expected routing complexity remains E[S_{s,t}] = 2 log n + O(1), closely mirroring decentralized routing scenarios in real-world networks where endpoints are chosen dynamically rather than fixed a priori.
Some New Results on Energy of Graphs with Self Loops
Published in J Math Chem 61, 1462-1469 (2023)
• View Publication
• BIB
The graph $G_σ$ is obtained from graph $G$ by attaching self loops on $σ$ vertices. The energy $ E(G_σ)$ of the graph $G_σ$ with order $n$ and eigenvalues $λ_1,λ_2,\dots,λ_n$ is defined as $ E(G_σ)= \displaystyle \sum_{i=1}^n\left|λ_i-\dfracσ{n}\right| $. It has been proved that if $σ=0\; or\; n$ then $ E(G)=E(G_σ) $. The obvious question arise: Are there any graph such that $E(G)=E(G_σ)$ and 0$<σ<n$? We have found an affirmative answer of this question and contributed a graph family which satisfies this property.