Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Orthogonal roots, quantum Hafnians, and generalized Rothe diagrams
Let $U$ be a set of positive roots of type $ADE$, and let $Ω_U$ be the set of all maximum cardinality orthogonal subsets of $U$. For each element $R \in Ω_U$, we define a generalized Rothe diagram whose cardinality we call the level, $ρ(R)$, of $R$. We define the generalized quantum Hafnian of $U$ to be the generating function of $ρ$, regarded as a $q$-polynomial in $U$. Several widely studied algebraic and combinatorial objects arise as special cases of these constructions, and in many cases, $Ω_U$ has the structure of a graded partially ordered set with rank function $ρ$. A motivating example of the construction involves a certain set of $k^2$ roots in type $D_{2k}$, where the elements of $Ω_U$ correspond to permutations in $S_k$, the generalized Rothe diagrams are the traditional Rothe diagrams associated to permutations, the level of a permutation is its length, the generalized quantum Hafnian is the $q$-permanent, and the partial order is the Bruhat order. We exhibit many other natural examples of this construction, including one involving perfect matchings, two involving labelled Fano planes, and one involving the invariant cubic form in type $E_6$.
A $q$-analogue of Boyadzhiev-Mneimneh-type binomial sums of finite multi-polylogarithms
We give a formula for a $q$-analogue of Boyadzhiev-Mneimneh-type binomial sums of finite multi-polylogarithms. In the limit as $q\to 1$, this formula reduces to an identity equivalent to the Sakugawa-Seki identities. We also give a formula for Boyadzhiev-Mneimneh-type sums corresponding to the Cauchy binomial theorem.
Eigenvalue bounds for combinatorial Laplacians and an application to random complexes
This paper establishes new eigenvalue bounds for combinatorial Laplacians of simplicial complexes, extending previous results for flag complexes by Lew (2024) and general complexes by Shukla and Yogeshwaran (2020). Using elementary matrix-theoretic methods, we derive lower bounds for the eigenvalues of the combinatorial Laplacian in terms of the graph Laplacian spectrum and combinatorial parameters that measure the deviation from a flag complex. As a consequence, we obtain upper bounds on the dimension of cohomology groups. We also generalize an eigenvalue comparison inequality between a simplicial complex and its subcomplexes to arbitrary eigenvalues. As an application of the dimension bounds, we refine a result by Kahle (2007) on the vanishing of cohomology and connectivity in the neighborhood complex of the Erdős--Rényi random graph.
The combinatorics of some two-color partition identities
Recently, Andrews and EI Bachraoui obtained several iden tities on two-colored partitions. While solving open problems they posed, Chen and Zhou derived a number of identities using analytic methods and asked for combinatorial proofs. In this note, we provide the requested combinatorial proofs. Additionally, we derive several new identities and provide combinatorial proofs for them.
Rook placements and orbit harmonics
For fixed positive integers $n,m$, let $\mathrm{Mat}_{n\times m}(\mathbb{C})$ be the affine space consisting of all $n\times m$ complex matrices, and let $\mathbb{C}[\mathbf{x}_{n\times m}]$ be its coordinate ring. For $0\le r\le\min\{m,n\}$, we apply the orbit harmonics method to the finite matrix loci $\mathcal{Z}_{n,m,r}$ of rook placements with exactly $r$ rooks, yielding a graded $\mathfrak{S}_n\times\mathfrak{S}_m$-module $R(\mathcal{Z}_{n,m,r})$. We find one signed and two sign-free graded character formulae for $R(\mathcal{Z}_{n,m,r})$. We also exhibit some applications of these formulae, such as proving a concise presentation of $R(\mathcal{Z}_{n,m,r})$, and proving some module injections and isomorphisms. Some of our techniques are still valid for involution matrix loci.
Revisiting the Nandakumar-Ramana Rao Conjecture
Published in JHRS, 2025
• Search Publication
We reprove the generalized Nandakumar-Ramana Rao conjecture for the prime case using representation ring-graded Bredon cohomology. Our approach relies solely on the $RO(C_p)$-graded cohomology of configuration spaces, viewed as a module over the $RO(C_p)$-graded Bredon cohomology of a point.
A Tight Lower Bound on Cubic Vertices and Upper Bounds on Thin and Non-thin edges in Planar Braces
For a subset $X$ of the vertex set $\VV(\GG)$ of a graph $\GG$, we denote the set of edges of $\GG$ which have exactly one end in $X$ by $\partial(X)$ and refer to it as the cut of $X$ or edge cut $\partial(X)$. A graph $\GG=(\VV,\EE)$ is called matching covered if $\forall e \in \EE(\GG), ~\exists \text{a perfect matching }M \text{ of }\GG \text{ s. t. } e \in M$. A cut $C$ of a matching covered graph $\GG$ is a separating cut if and only if, given any edge $e$, there is a perfect matching $M_{e}$ of $\GG$ such that $e \in M_{e}$ and $|C \cap M_{e}| = 1$. A cut $C$ in a matching covered graph $\GG$ is a tight cut of $\GG$ if $|C \cap M| = 1$ for every perfect matching $M$ of $\GG$. For, $X, Y \subseteq \VV(\GG)$, we denote the set of edges of $\EE(\GG)$ which have one endpoint in $X$ and the other endpoint in $Y$ by $E[X,Y]$. Let $\partial(X)=E[X,\overline{X}]$ be an edge cut, where $\overline{X}=\VV(\GG) \setminus X$. An edge cut is trivial if $|X|=1$ or $|\overline{X}|=1$. A matching covered graph, which is free of nontrivial tight cuts, is a brace if it is bipartite and is a brick if it is non-bipartite. An edge $e$ in a brace $\GG$ is \emph{thin} if, for every tight cut $\partial(X)$ of $\GG - e$, $|X| \le 3$ or $|\overline{X}| \le 3$.
Carvalho, Lucchesi and Murty conjectured that there exists a positive constant $c$ such that every brace $\GG$ has $c|\VV(\GG)|$ thin edges \cite{DBLP:journals/combinatorics/LucchesiCM15}. He and Lu \cite{HE2025153} showed a lower bound of thin edges in a brace in terms of the number of cubic vertices. We asked whether any planar brace exists that does not contain any cubic vertices. We answer negatively by showing that such set of planar braces is empty. We have been able to show a quantitively tight lower bound on the number of cubic vertices in a planar brace. We have proved tight upper bounds of nonthin edges and thin edges in a planar brace.
The Dual Burnside Process
The Burnside process is a classical Markov chain for sampling uniformly from group orbits. We introduce the dual Burnside process, obtained by interchanging the roles of group elements and states. This dual chain has stationary law $π(g)\propto |X_g|$, is reversible, and admits a matrix factorization $Q=AB$, $K=BA$ with the classical Burnside kernel $K$. As a consequence the two chains share all nonzero eigenvalues and have mixing times that differ by at most one step. We further establish universal Doeblin floors, orbit and conjugacy-class lumpings, and transfer principles between $Q$ and $K$. We analyze explicit examples: the value-permutation model $S_k$ acting on $[k]^n$ and the coordinate-permutation model $S_n$ acting on $[k]^n$. These results show that the dual chain provides both a conceptual mirror to the classical Burnside process and practical advantages for symmetry-aware Markov chain Monte Carlo.
Voronoi Games on the Discrete Hypercube: Four-Player Equilibria
We consider a four-player game on the discrete hypercube $Q_n = \{0,1\}^n$, where each of the four players has chosen a single vertex of the hypercube. Such a position is called a profile. Imagine there is a voter at every vertex, and each voter gives their vote to whichever player is closest to them, in terms of Hamming distance. If multiple players are tied for this smallest distance, the vote is divided equally between them. The score of a player is the total number of votes they get. (This has a natural interpretation in terms of voting theory: imagine there are $n$ binary issues and that voters are uniformly distributed in their positions on these issues, and view the players as political candidates competing for vote share.) We say that a profile is an equilibrium if no player can strictly increase their score by moving to a different vertex, while the other players maintain their original positions. Moreover, a profile is balanced if, in each of the $n$ coordinates, two players have chosen 0, and two players have chosen 1. We prove that a four-player profile is an equilibrium if and only if it is balanced, proving a conjecture of Day and Johnson.
Strongly Regular Graphs of Rank Four
Strongly regular graphs are regular graphs with a constant number of common neighbours between adjacent vertices, and a constant number of common neighbours between non-adjacent vertices. These graphs have been of great interest over the last few decades and often give rise to interesting groups of automorphisms. In this paper we take a reverse approach, and leverage strong classification results on rank four permutation groups to classify the strongly regular graphs which yield such groups as a group of automorphisms.
Minimizing point configurations for tensor product energies on the torus
We study point configurations on the torus $\mathbb T^d$ that minimize interaction energies with tensor product structure which arise naturally in the context of discrepancy theory and quasi-Monte Carlo integration. Permutation sets on $\mathbb T^2$ and Latin hypercube sets in higher dimensions (i.e. sets whose projections onto coordinate axes are equispaced points) are natural candidates to be energy minimizers. We show that such point configurations that have only one distance in the vector sense minimize the energy for a wide range of potentials, in other words, such sets satisfy a tensor product version of universal optimality. This applies, in particular, to three- and five-point Fibonacci lattices. We also characterize all lattices with this property and exhibit some non-lattice sets of this type. In addition, we obtain several further structural results about global and local minimizers of tensor product energies.
Substring compatibility of permutation statistics
A permutation statistic is substring-compatible if its value on a permutation determines its value on every substring of that permutation. We construct the substring coalgebra of such a statistic, an analog of the shuffle algebra of a shuffle-compatible statistic introduced by Gessel and Zhuang. Furthermore, we show that for substring-compatible statistics that also satisfy a weak form of shuffle compatibility, the shuffle algebra and substring coalgebra can be combined to yield a Hopf algebra. Finally, we conjecture that the only nontrivial permutation statistics that are both shuffle-compatible and substring-compatible are the descent set, the peak set, and the valley set, and we describe our progress towards proving this conjecture.
On Multidimensional 2-Weight-Limited Burst-Correcting Codes
We consider multidimensional codes capable of correcting a burst error of weight at most $2$. When two positions are in error, the burst limits their relative position. We study three such limitations: the $L_\infty$ distance between the positions is bounded, the $L_1$ distance between the positions is bounded, or the two positions are on an axis-parallel line with bounded distance between them. In all cases we provide explicit code constructions, and compare their excess redundancy to a lower bound we prove.
Covering large-dimensional Euclidean spaces by random translates of a given convex body
Determining the minimum density of a covering of $\mathbb{R}^{n}$ by Euclidean unit balls as $n\to\infty$ is a major open problem, with the best known results being the lower bound of $\left(\mathrm{e}^{-3/2}+o(1)\right)n$ by Coxeter, Few and Rogers [Mathematika 6, 1959] and the upper bound of $\left(1/2+o(1) \right)n \ln n$ by Dumer [Discrete Comput. Geom. 38, 2007].
We prove that there are ball coverings of $\mathbb{R}^n$ attaining the asymptotically best known density $\left(1/2+o(1) \right)n \ln n$ such that, additionally, every point of $\mathbb{R}^n$ is covered at most $\left(1.79556... + o(1)\right) n \ln n$ times. This strengthens the result of Erdős and Rogers [Acta Arith. 7, 1961/62] who had the maximum multiplicity at most $\left(\mathrm{e} + o(1)\right) n \ln n$.
On the other hand, we show that the method that was used for the best known ball coverings (when one takes a random subset of centres in a fundamental domain of a suitable lattice in $\mathbb{R}^n$ and extends this periodically) fails to work if the density is less than $(1/2+o(1))n\ln n$; in fact, this result remains true if we replace the ball by any convex body $K$. Also, we observe that a ``worst'' convex body $K$ here is a cube, for which the packing density coming from random constructions is only $(1+o(1))n\ln n$.
The Szeged Index of Power Graph of Finite Groups
Published in TWMS Journal of Applied and Engineering Mathematics, Volume: 15 Issue: 9, 2166 - 2180, 2025
• Search Publication
The Szeged index of a graph is an invariant with several applications in chemistry. The power graph of a finite group $G$ is a graph having vertex set as $G$ in which two vertices $u$ and $v$ are adjacent if $v=u^m$ or $u=v^n$ for some $m,n\in \mathbb{N}$. In this paper, we first obtain a formula for the Szeged index of the generalized join of graphs. As an application, we obtain the Szeged index of the power graph of the finite cyclic group $\mathbb Z_n$ for any $n>2$. We further obtain a relation between the Szeged index of the power graph of $\mathbb Z_n$ and the Szeged index of the power graph of the dihedral group $\mathrm{D}_n$. We also provide SAGE codes for evaluating the Szeged index of the power graph of $\mathbb{Z}_n$ and $\mathrm{D}_n$ at the end of this paper.
Degree Sum Conditions for Graph Rigidity
We study sufficient conditions for the generic rigidity of a graph $G$ expressed in terms of (i) its minimum degree $δ(G)$, or (ii) the parameter $η(G)=\min_{uv\notin E}(°(u)+°(v))$. For each case, we seek the smallest integers $f(n,d)$ (resp.\ $g(n,d)$) such that every $n$-vertex graph $G$ with $δ(G)\geq f(n,d)$ (resp.\ $η(G)\geq g(n,d)$) is rigid in $\mathbb{R}^d$. Krivelevich, Lew, and Michaeli conjectured that there is a constant $K>0$ such that $f(n,d)\leq \frac{n}{2}+Kd$ for all pairs $n,d$. We give an affirmative answer to this conjecture by proving that $K=1$ suffices. For $n\geq 29d$, we obtain the exact result $f(n,d)=\lceil\frac{n+d-2}{2} \rceil$. Next, we prove that $g(n,d)\leq n+3d$ for all pairs $n,d$, and establish $g(n,d)=n+d-2$ when $n\geq d(d+2)$. For $d=2,3,$ we determine the exact values of $f(n,d)$ and $g(n,d)$ for all $n$, confirming another conjecture of Krivelevich, Lew, and Michaeli in these low-dimensional special cases. As an application, we prove that the Erdős-Rényi random graph $G(n,1/2)$ is a.a.s.\ rigid in $\mathbb{R}^d$ for $d=d(n)\sim \frac{7}{32} n$. This result provides the first linear lower bound for $d(n)$, and it answers a question of Peled and Peleg.
The complex of $r$-co-connected subgraphs, chordality and Fröberg's theorem
We introduce a new family of pure simplicial complexes, called the $r$-co-connected complex of $G$ with respect to $A$, $Σ_r(A,G)$, where $r\geq 1$ is a natural number, $G$ is a simple graph, and $A$ is a subset of vertices. Interestingly, when $A$ is empty, this complex is precisely the Alexander dual of the $r$-independence complex of $G$. We focus on uncovering the relationship between the topological and combinatorial properties of the complex and the algebraic and homological properties of the Stanley-Reisner ideal of the dual complex. First, we prove that $Σ_r(A,G)$ is vertex decomposable whenever the induced subgraph $G[A]$ is connected and nonempty, yielding a versatile deletion-link calculus for higher independence via Alexander duality. Furthermore, when $A=\emptyset$ and $r \ge 2$, we establish that for several significant classes of graphs - including chordal, co-chordal, cographs, cycles, complements of cycles, and certain grid graphs - the properties of vertex decomposability, shellability, and Cohen-Macaulayness are equivalent and precisely characterized by the co-chordality of the associated clutter $\mathrm{Con}_r(G)$. These results extend Fröberg's theorem to the setting of $r$-connected ideals for these graph classes and motivate a conjecture concerning the linear resolution property of $r$-connected ideals in general. We also construct examples separating shellability from vertex decomposability.
Ramsey Numbers in Kneser Graphs
We define the $r\textit{-Kneser Ramsey number}$ $R^{\textrm{KG}}_{r}(s, t)$ as the minimum integer $n$ such that every red/blue edge-coloring of the Kneser graph $\textrm{KG}(n,r)$ contains a red $s$-clique or a blue $t$-clique. We obtain general bounds on the numbers $R^{\textrm{KG}}_{r}(s, t)$, and make progress on two related Ramsey-type problems, one raised by Holmsen, Hrusak, and Roldán-Pensado, and the other posted by Pálvölgyi.
On the Mutual Visibility of Some Moore Graphs
The concept of mutual visibility in a graph encodes combinatorial information about vertex subsets with prescribed visibility properties and serves as a useful algebraic invariant. In this paper, we study the visibility properties of some Moore graphs of diameter 2, with emphasis on the Petersen and Hoffman Singleton graphs. We first compute the visibility polynomial of the Petersen graph explicitly by analyzing its structural features in relation to the strong regularity of the graph. For the Hoffman Singleton graph, we establish an upper bound of 20 on its visibility number, and subsequently employ an integer programming approach to prove that this bound is tight. As a corollary, we deduce that the maximum size of an induced matching in the Hoffman Singleton graph is 10. These results demonstrate how visibility polynomials can be computed for extremal graphs of high symmetry, and how algebraic and optimization techniques can be combined to determine precise visibility parameters in complex graph families.
Punctual noncommutative Hilbert schemes
Punctual noncommutative Hilbert schemes are projective varieties parametrizing finite codimensional left ideals in noncommutative formal power series rings. We determine their motives and intersection cohomology, by constructing affine pavings and small resolutions of singularities.