Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Possible Sizes of Sumsets
Nathanson introduced the range of cardinalities of $h$-fold sumsets $R(h,k) := \{|hA|:A \subset \mathbb{Z} \text{ and }|A| = k\}.$ Following a remark of Erdős and Szemerédi that determined the form of $R(h,k)$ when $h=2$, Nathanson asked what the form of $R(h,k)$ is for arbitrary $h, k \in \mathbb{N}$. For $h \in \mathbb{N}$, we prove there is some constant $k_h \in \mathbb{N}$ such that if $k > k_h$, then $R(h,k)$ is the entire interval $\left[hk-h+1,\binom{h+k-1}{h}\right]$ except for a specified set of $\binom{h-1}{2}$ numbers. Moreover, we show that one can take $k_3 = 2$.
A skew group ring of $\mathbb Z/2\mathbb Z$ over $U(\mathfrak{sl}_2)$, Leonard triples and odd graphs
We employ a skew group ring of $\mathbb Z/2\mathbb Z$ over $U(\mathfrak{sl}_2)$ to construct modules over the universal Bannai--Ito algebra. In addition, we give the conditions under which the defining generators act as Leonard triples on the resulting modules. As a combinatorial realization, we establish an algebra homomorphism from the universal Bannai--Ito algebra onto the Terwilliger algebra of an odd graph. This homomorphism provides a unified description of Leonard triples on all irreducible modules over the Terwilliger algebra.
Partition analysis and the little Göllnitz identites
This work follows the spirit of Andrews' series of papers on Partition Analysis. In $2011$, Savage and Sills found new sum sides for the little Göllnitz identities and provided their partition interpretations. It turns out that similar companions exist for a mod $8$ partition identity due to Andrews. In this work, we use MacMahon's Partition Analysis to study partitions related to these identities. We find refined generating functions for them, where we keep track of the size of each part. Finally, by considering the alternating sum and Schmidt weight, we show the application of these refined functions in the study of partition statistics.
PyTIE: A Python Program for the Evaluation of Degree-Based Topological Descriptors and Molecular Entropy
We have developed PyTIE (Python Topological Indices Expressions) which is defined as the collections of Python packages such as PyTIE D, PyTIE DS, PyTIE SMS DE, and PyTIE SMS DSE, which are open-source software packages and cross-platform Python package designed to expedite the retrieval of results for mathematics, chemistry and chemical engineering researchers within constant time. This open-source tool extends its utility to chemistry and chemical engineering researchers with limited mathematical proficiency. PyTIE facilitates the loading of molecular graphs, specifying parameters such as minimum degree, maximum degree, and the number of vertex pairs (edge partitions). The edge partitions of a molecular graph based on degree sum also plays a crucial role in predicting heat of formation and enthalpy of formation along with DFT techniques. It systematically computes expressions and numerical values for various topological indices, including degree-based and neighborhood degree-based indices, as well as Shannon's entropy, providing visual representations of the results. Emphasizing topological indices for Quantitative Structure-Activity Relationship and Quantitative Structure-Property Relationship analyses, PyTIE proves particularly relevant in these studies. Serving as a Python package, it seamlessly integrates with libraries such as NumPy, math and SymPy offering extensive options for data analysis. The efficiency of PyTIE is demonstrated through illustrative examples in various contexts.
On Conjectures concerning the Labeled Coupon Collector Problem
We study a labeled variant of the classical Coupon Collector Problem (CCP), recently introduced by Tan et al., where coupons arrive in groups and only the set of labels is revealed. The goal is to determine the expected number of group drawings required to uniquely identify the labeling of all coupons. We focus on the case where groups consist of pairs ($k=2$), and provide rigorous proofs for two conjectures posed by Tan et al.
A geometric model for the non-homogeneous tubes of the cluster category of affine type D
In this article, we give a geometric model for non-homogeneous tubes of the cluster category of the affine type $D$. This model is given in terms of homotopy classes of unoriented arcs in the twice punctured disk. In particular, we extend the geometric model for the tube of rank $n-2$ given in arXiv:2407.11232 to the two tubes of rank $2$.
Expected Length of the Euclidean Minimum Spanning Tree and 1-norms of Chromatic Persistence Diagrams in the Plane
Let $c$ be the constant such that the expected length of the Euclidean minimum spanning tree of $n$ random points in the unit square is $c \sqrt{n}$ in the limit, when $n$ goes to infinity. We improve the prior best lower bound of $0.6008 \leq c$ by Avram and Bertsimas to $0.6289 \leq c$. The proof is a by-product of studying the persistent homology of randomly $2$-colored point sets. Specifically, we consider the filtration induced by the inclusions of the two mono-chromatic sublevel sets of the Euclidean distance function into the bi-chromatic sublevel set of that function. Assigning colors randomly, and with equal probability, we show that the expected $1$-norm of each chromatic persistence diagram is a constant times $\sqrt{n}$ in the limit, and we determine the constant in terms of $c$ and another constant, $c_L$, which arises for a novel type of Euclidean minimum spanning tree of $2$-colored point sets.
On the Hamiltonian Bicirculants
A bicirculant is a regular graph that admits a semi-regular automorphism with two vertex-orbits of the same size. By $m$ we denote the size of vertex-orbits and by $d$ the valence of a bicirculant. Furthermore, we denote by $s$ the valence of the bipartite graph joining the two vertex-orbits. In 1983, Brian Alspach proved that the only non-hamiltonian generalized Petersen graphs are $G(m,2)$ with $m \equiv 5 \pmod 6$. In a recent paper we conjectured that this is the only exception among regular, connected bicirculants of degree $d > 1$ and we have verified the conjecture for the quartic bicirculants with $s=2$, also known as the generalized rose window graphs.
In this paper we develop tools and apply them for a partial verification of the conjecture. We show that the conjecture holds for all bicirculants with $s \leq 2$. As a consequence we obtain that every connected bicirculant with $s \ge 3$ is hamiltonian if $m$ is a product of at most three prime powers. In particular, every connected bicirculant with $s \ge 3$ is hamiltonian for even $m<210$ and odd $m < 1155$. Our results imply that many other families of bicirculants are hamiltonian. For example, all bicirculants with $d-s$ odd are hamiltonian.
On the Martin boundary for discrete TASEP
We study a problem with three equivalent formulations: describing Gibbs measures for five-vertex model in quadrant; classifying coherent systems on a p-deformation of the Gelfand-Tsetlin graph related to Grothendieck polynomials; finding the Martin boundary for discrete time TASEP with p-geometric jumps. We find a wide family of the Gibbs measures, parameterized by certain analytic functions. A subset of our measures have probabilistic interpretation as interacting particle systems with fixed particles speeds. In contrast to previous related boundary problems, we find that admissible speeds are not arbitrary, but must be larger than $\frac{p}{1-p}$. For this subset we further establish Law of Large Numbers and Central Limit Theorem, connecting the fluctuations to families of independent GUE eigenvalues. As a consequence, the measures from the subset are extreme points of the Martin boundary. It remains open whether our list of measures is exhaustive.
The complete classification of triply-transitive strongly regular graphs
This paper completes the classification of triply-transitive strongly regular graphs, a program recently initiated by Herman, Maleki, and Razafimahatratra. By proving that the collinearity graph of the polar space $\mathcal{Q}^{-}(5,q)$ and the affine polar graph $\mathrm{VO}^{\varepsilon}_{2m}(2)$ are triply-transitive, we resolve the final open cases in the classification. The result is a definitive list of all strongly regular graphs that exhibit this exceptional form of local symmetry, characterized by the equality $T_{0,ω}=T_ω=\widetilde{T}_ω$ of their Terwilliger algebras.
On Hyperbolic Sombor index of graphs
The Hyperbolic Sombor index $HSO(G)$ of a graph $G$ is defined as \begin{align*} HSO(G) = \sum_{v_iv_j \in E(G)} \frac{\sqrt{d_i^{2}+d_j^{2}}}{\min\{d_i,d_j\}}, \end{align*} where $d_i$ and $d_j$ denote the degrees of the vertices $v_i$ and $v_j$, respectively. This index was recently introduced by Barman et al. [Geometric approach to degree-based topological index: Hyperbolic Sombor index, MATCH Commun. Math. Comput. Chem. 95 (2026) 63-94], who explored some of its mathematical properties and applications. However, their work contains several inaccuracies that require correction. In this paper, we first identify and rectify the errors found in the earlier study. We then extend the investigation by establishing new mathematical results for the Hyperbolic Sombor index across various classes of graphs, including trees, unicyclic graphs, and bicyclic graphs. In addition, we derive some lower and upper bounds for $HSO(G)$ in terms of the number of edges, maximum degree and minimum degree, and we characterize the graphs that attain these bounds. Finally, we conclude the paper by outlining potential directions for future research in this emerging area.
Crystallization of discrete $N$-particle systems at high temperature
This is the second paper in a series studying the global asymptotics of discrete $N$-particle systems with inverse temperature parameter $θ$ in the high temperature regime. In the first paper, we established necessary and sufficient conditions for the Law of Large Numbers at high temperature in terms of Jack generating functions. In this paper, we derive a functional equation for the moment generating function of the limiting measure, which enables its analysis using analytic tools. We apply this functional equation to compute the densities of the high temperature limits of the pure Jack measures. As a special case, we obtain the high temperature limit of the large fixed-time distribution of the discrete-space $β$-Dyson Brownian motion of Gorin-Shkolnikov.
Two special cases of our densities are the high temperature limits of discrete versions of the G$β$E, computed by Allez-Bouchaud-Guionnet in [Phys. Rev. Lett. 109 (2012), 094102; arXiv:1205.3598], and L$β$E, computed by Allez-Bouchaud-Majumdar-Vivo in [J. Phys. A, vol. 46, no. 1 (2013), 015001; arXiv:1209.6171]. Moreover, we prove the following crystallization phenomenon of the particles in the high temperature limit: the limiting measures are uniformly supported on disjoint intervals with unit gaps and their locations correspond to the zeros of explicit special functions with all roots located in the real line. We also show that these zeros correspond to the spectra of certain unbounded Jacobi operators.
On generalized inverses of matrices associated with certain graph classes
We investigate generalized inverses of matrices associated with two classes of digraphs: double star digraphs and D-linked stars digraphs. For double star digraphs, we determine the Drazin index and derive explicit formulas for the Drazin inverse. We also provide necessary and sufficient conditions for the existence of the Moore-Penrose inverse and give its explicit expression whenever it exists. For D-linked stars digraphs, we characterize when the group inverse exists and obtain its explicit form. In the singular case where BC = 0, we express the Drazin index of the matrix in terms of the Drazin index of the base digraph matrix. Additionally, we establish necessary and sufficient conditions for Moore--Penrose invertibility and derive explicit formulas in that case. Our results reveal a clear connection between the algebraic structure of generalized inverses and the combinatorial properties of these graph classes, providing a unified framework for group, Drazin, and Moore-Penrose invertibility.
The Erdős-Ginzburg-Ziv constant of rank-two-like $p$-groups
Adapting Reiher's proof of Kemnitz's conjecture, we obtain two refinements of a theorem of Schmid and Zhuang. Our main results provide improved upper bounds for the Erdős-Ginzburg-Ziv constant of rank-two-like $p$-groups, and their direct products with cyclic groups of order coprime to $p$. In particular, we determine the exact value of this constant, and also confirm a conjecture of Gao, for a new infinite family of groups of arbitrarily large rank.
Homological freeness criterion for operadic modules and application to Cohen-Macalayness of posets
We show a variation of the usual homological freeness criterion for operadic modules over a Koszul operad. We then apply this result to decorated partition posets for some operads, showing that their augmentation is Cohen-Macaulay and computing its homology. This work answers several open questions asked by Bérénice Delcroix-Oger and Clément Dupont in a recent article.
An Erdős--Szekeres type result for words with repeats
In this short note, we prove an Erdős--Szekeres type result for words with repeats. Specifically, we show that every word with $kn^6+1$ repeats contains one of the following patterns: $0^{k+2}$, $0011\cdots nn$, $nn\cdots1100$, $012 \cdots n012 \cdots n$, $012 \cdots nn\cdots 210$, $n\cdots 210012\cdots n$, $n\cdots 210n\cdots 210$. Moreover, when $k=1$, we show that this is best possible by constructing a word with $n^6$ repeats that does not contain any of these patterns.
On Terwilliger $\mathbb{F}$-algebras of factorial association schemes
The Terwilliger algebras of association schemes over an arbitrary field $\mathbb{F}$ were called the Terwilliger $\mathbb{F}$-algebras of association schemes in [9]. In this paper, we study the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. We determine the centers, the semisimplicity, the Jacobson radicals and their nilpotent indices, the Wedderburn-Artin decompositions of the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. Moreover, we determine all Terwilliger $\mathbb{F}$-algebras of factorial association schemes that are the symmetric $\mathbb{F}$-algebras or the Frobenius $\mathbb{F}$-algebras.
An extension of Viennot's shadow to rook placements via orbit harmonics
For fixed positive integers $n,m,r$, let $\mathrm{Mat}_{n \times m}(\mathbb{C})$ be the affine space of $n \times m$ complex matrices with coordinate ring $\mathbb{C}[\mathbf{x}_{n \times m}]$. We define a homogeneous ideal $I_{n,m,r}$, where the graded quotient $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$ is obtained from the orbit harmonics deformation of the matrix loci corresponding to all rook placements of size at least $r$. By extending rook placements to elements in $\mathfrak{S}_{n+m-r}$ and applying Viennot's shadow line avatar of the Schensted correspondence, we compute the standard monomial basis of the quotient $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$ with respect to diagonal monomial orders. We also determine the graded $\mathfrak{S}_n\times\mathfrak{S}_m$-module structure of $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$.
The injective norm of CSS quantum error-correcting codes
In this paper, we compute the injective norm - a.k.a. geometric entanglement - of standard basis states of CSS quantum error-correcting codes. The injective norm of a quantum state is a measure of genuine multipartite entanglement. Computing this measure is generically NP-hard. However, it has been computed exactly in condensed-matter theory - notably in the context of topological phases - for the Kitaev code and its extensions, in works by Orús and collaborators. We extend these results to all CSS codes and thereby obtain the injective norm for a nontrivial, infinite family of quantum states. In doing so, we uncover an interesting connection to matroid theory and Edmonds' intersection theorem.
N^d-indexed persistence modules, higher dimensional partitions and rank invariants
We study decomposable N^d-indexed persistence modules via higher dimensional partitions. Their barcodes are defined in terms of the extended interior of the corresponding Young diagrams. For two decomposable N^d-indexed persistence modules, we present a necessary and sufficient condition, in terms of the partitions, for their rank invariants to be the same. This generalizes the well-known fact that for an N-indexed persistence module, its barcode and its rank invariant determine each other, i.e., the rank invariant is a complete invariant.