Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Non-Hamiltonian 2-regular Digraphs
In earlier papers, we showed a decomposition of 2-diregular digraphs (2-dds) and used it to provide some sufficient conditions for these graphs to be non-Hamiltonian; we also showed a close connection between the permanent and determinant of the adjacency matrices of these digraphs and gave some enumeration and generation results. In the present paper we extend the discussion to a larger class of digraphs, introduce the notions of routes and quotients and use them to provide additional criteria for 2-dds to be non-Hamiltonian. Though individual non-Hamiltonian regular connected graphs of low degree are known (e.g. Tutte and Meredith graphs), families of such graphs are not common in the literature; even scarcer are families of such digraphs. Our results identify a few such families.
Strichartz estimate for discrete Schrödinger equation on layered King's grid
We establish the sharp \( l^1 \to l^{\infty} \) decay estimate for the discrete Schrödinger equation (DS) on the Layered King's Grid (LKG), with a dispersive decay rate of \( \langle t \rangle^{-13/12} \), which is faster than that for $3$-dimensional lattice (\( \langle t \rangle^{-1} \), see \cite{SK05}). This decay estimate enables us to derive the corresponding Strichartz estimate via the standard Keel--Tao argument. Our approach relies on using techniques from Newton polyhedra to analyze singularities.
The existence of non-classical orthogonal quantum Latin squares
Quantum Latin squares are a generalization of classical Latin squares in quantum field and have wide applications in unitary error bases, mutually unbiased bases, $k$-uniform states and quantum error correcting codes. In this paper, we put forward some new quantum Latin squares with special properties, such as idempotent quantum Latin square, self-orthogonal quantum Latin square, holey quantum Latin square, and the notions of orthogonality on them. We present some forceful construction methods including PBD constructions and filling in holes constructions for non-classical quantum Latin squares. As consequences, we establish the existence of non-classical 2-idempotent MOQLS$(v)$, non-classical 2, 3-MOQLS$(v)$ and non-classical SOQLS$(v)$ except possibly for several definite values.
Rook decomposition of the Partition function
The rook numbers are fairly well-studied in the literature. In this paper, we study the max-rook number of the Ferrers boards associated to integer partitions. We show its connections with the Durfee triangle of the partitions. The max-rook number gives a new decomposition of the partition function. We derive the generating functions of the partitions with the Durfee triangle of sizes $3$, $4$ and $5$. We obtain their exact formula and further use it to show the periodicity modulo $p$ for any $p \in \mathbb{N}$ and $p\geq2$. We also establish their parity and parity bias. We give the growth asymptotics of partitions with the Durfee triangle of sizes $3$ and $4$. We obtain a new rook analogue of the recurrence relation of the partition function.
Proofs of Two Conjectural Identities on Partial Nahm Sums
Recently, Wang and Zeng investigated modularity of partial Nahm sums and discovered 14 modular families of such sums. They confirmed modularity for 13 families and proposed a conjecture consisting of two Rogers--Ramanujan type identities for the remaining family. We prove these conjectural identities in two steps. First, employing a transformation formula involving two Bailey pairs, we transform the partial Nahm sums into some specific Hecke-type series. Second, using two distinct approaches, we convert these Hecke-type series to the desired modular infinite products.
KP solitons and the Schottky uniformization
Real and regular soliton solutions of the KP hierarchy have been classified in terms of the totally nonnegative (TNN) Grassmannians. These solitons are referred to as KP solitons, and they are expressed as singular (tropical) limits of shifted Riemann theta functions. In this talk, for each element of the TNN Grassmannian, we construct a Schottky group, which uniformizes the Riemann surface associated with a real finite-gap solution. Then we show that the KP solitons are obtained by degenerating these finite-gap solutions.
Homogeneous substructures in random ordered hyper-matchings
An ordered $r$-uniform matching of size $n$ is a collection of $n$ pairwise disjoint $r$-subsets of a linearly ordered set of $rn$ vertices. For $n=2$, such a matching is called an $r$-pattern, as it represents one of $\tfrac12\binom{2r}r$ ways two disjoint edges may intertwine. Given a set $\mathcal{P}$ of $r$-patterns, a $\mathcal{P}$-clique is a matching with all pairs of edges order-isomorphic to a member of $\mathcal{P}$.
In this paper we are interested in the size of a largest $\mathcal{P}$-clique in a random ordered $r$-uniform matching selected uniformly from all such matchings on a fixed vertex set $[rn]$. We determine this size (up to multiplicative constants) for several sets $\mathcal{P}$, including all sets of size $|\mathcal{P}|\le2$, the set $\mathcal{R}^{(r)}$ of all $r$-partite patterns, as well as sets $\mathcal{P}$ enjoying a Boolean-like, symmetric structure.
Structured Sunflowers
We call an infinite structure $\mathcal{M}$ sunflowerable if whenever $\mathcal{M}'$ is isomorphic to $\mathcal{M}$ with underlying set $M'$, consisting of finite sets of bounded size, there is an $M_0 \subseteq M'$ such that $M_0$ is a sunflower and $\mathcal{M}'\!\!\upharpoonright[M_0]$ is isomorphic to $\mathcal{M}$. We give sufficient conditions on $\mathcal{M}$ to show that $\mathcal{M}$ is sunflowerable. These conditions allow us to show that several well-known structures are sunflowerable and give a complete characterization of the countable linear orderings which are sunflowerable. We show that a sunflowerable structure must be indivisible. This allows us to show that any Fraïssé limit which has the 3-disjoint amalgamation property and a single unary type must be indivisible. In addition to studying sunflowerability of infinite structures, we also consider an analogous property of an age which we call the sunflower property. We show that any sunflowerable structure must have an age with the sunflower property. We also give concrete bounds in the case that the age has the hereditary property, the 3-disjoint amalgamation property, and is indivisible.
Noncommutative marked surfaces II: tagged triangulations, clusters, and their symmetries
The aim of the paper is to define noncommutative cluster structure on several algebras ${\mathcal A}$ related to marked surfaces possibly with orbifold points of various orders, which includes noncommutative clusters, i.e., embeddings of a given group $G$ into the multiplicative monoid ${\mathcal A}^\times$ and an action of a certain braid-like group $Br_{\mathcal A}$ by automorphisms of each cluster group in a compatible way. For punctured surfaces we construct new symmetries, noncommutative tagged clusters and establish a noncommutative Laurent Phenomenon.
The number of regular simplices in higher dimensions
Published
• View Publication
• BIB
We study the extremal function $S^k_d(n)$, defined as the maximum number of regular $(k-1)$-simplices spanned by $n$ points in $\mathbb{R}^d$. For any fixed $d\geq2k\geq6$, we determine the asymptotic behavior of $S^k_d(n)$ up to a multiplicative constant in the lower-order term. In particular, when $k=3$, we determine the exact value of $S^3_d(n)$, for all even dimensions $d\geq6$ and sufficiently large $n$. This resolves a conjecture of Erdős in a stronger form. The proof leverages techniques from hypergraph Turán theory and linear algebra.
A Note on Edge Coalitions in Graphs
Haynes et al. (2020) introduced and investigated the concept of coalition in graphs \cite{hhhmm1}. Their study examined this concept from a vertex-based perspective, whereas in this paper, we extend the investigation to an edge-based perspective of graphs. \\ An edge coalition in a graph $G=(V,E)$ consists of two disjoint sets of edges $E_1$ and $E_2$, neither of which individually forms an edge dominating set, but whose union $E_1\cup E_2$ is an edge dominating set. An edge coalition partition in a graph $G$ of order $n=|V|$ and size $|E|=m$ is an edge partition $π=\{E_1,\cdots,E_k\}$ so that every set $E_i$ of $π$ either is a singleton edge dominating set, or is not an edge dominating set but forms an edge coalition with another set $E_j$ in $π$, which is also not an edge dominating set.
In this paper, we introduce the concept of an edge coalition and demonstrate its existence in particular graphs and trees. Additionally, we characterize graphs with small number of edge coalitions and analyze edge coalition structures in various special graph classes.
A Bijection between Necklaces and Restricted Multisets
Published
• View Publication
• BIB
We present a proof of Swee Hong Chan's conjecture establishing a bijection between the set of necklaces of length $n$ with at most $q$ colors, and the set of periodic functions $f: \mathbb{Z}_{n}\to {0, 1, ..., q-1}$ whose weighted sum is divisible by $n$, where $q$ and $n$ are coprime positive integers.
Finite Interpretations of a Hyper-Catalan Series Solution to Polynomial Equations and Visualizations
The solution to the general univariate polynomial equation has been sought for centuries. It is well known there is no general solution in radicals for degrees five and above.
The hyper-Catalan numbers $C[m_2,m_3,m_4,\ldots]$ count the ways to subdivide a planar polygon into exactly $m_2$ triangles, $m_3$ quadrilaterals, $m_4$ pentagons, etc. Wildberger and Rubine (2025) show the generating series $\mathbf{S}$ of the hyper-Catalan numbers is a formal series zero of the general geometric polynomial (meaning, general except for a constant of $1$ and a linear coefficient of $-1$).
Using a variant of the series solution to the geometric polynomial that has the number of vertices, edges, and faces explicitly shown, We prove their infinite series result may be viewed as a finite identity at each level, where a level is a truncation of $\mathbf{S}$ to a given maximum number of vertices, edges, or faces (bounded by degree).
We illustrate this result, as well as the general correspondence between operations on sets of subdivided polygons and the algebra of polynomials, with figures and animations generated using Python.
Comparing the face rings of a boolean complex and its barycentric subdivision
We consider the relationship between the Stanley-Reisner ring (a.k.a. face ring) of a simplicial or boolean complex $Δ$ and that of its barycentric subdivision. These rings share a distinguished parameter subring. S. Murai asked if they are isomorphic, equivariantly with respect to the automorphism group $\operatorname{Aut}(Δ)$, as modules over this parameter subring. We show that, in general, the answer is no, but for Cohen-Macaulay complexes in characteristic coprime to $|\operatorname{Aut}(Δ)|$, it is yes, and we give an explicit construction of an isomorphism. To give this construction, we adapt and generalize a pair of tools introduced by A. Garsia in 1980. The first one transfers bases from a Stanley-Reisner ring to closely related rings of which it is a Gröbner degeneration, and the second identifies bases to transfer.
Type R $λ$-Permutation Approach to Velleman's Open Problem
Previously, mathematicians Steven Krantz and Jeffery McNeal studied a type of positive numbers permutation called $λ$-permutation. This type of permutation, when applied to the index of terms of a series, is defined to be both convergence-preserving and "fixing" at least one divergent series, that is, rearranging the terms of any convergent series will result in a convergent series, while rearranging the terms of some divergent series will result in a convergent series. In general, if a divergent series can be fixed to converge in some way (it does not need to be by $λ$-permutation), it is called a "conditionally divergent series". In 2006, another mathematician Daniel Velleman raised an open problem related to $λ$-permutation: for a conditionally divergent series $\sum_{n=0}^{\infty}a_n,n\in \mathbb{N},a_n\in \mathbb{R}$, let $S=\{L \in \mathbb{R} \colon L = \sum_{n=0}^{\infty}{a_{σ\left(n\right)}}$ $\text{for some } λ\text{-permutation } σ\}$, can $S$ ever be something between $\emptyset$ and $\mathbb{R}$? This paper is devoted to partially answering this open problem by considering a subset of $λ$-permutation constraint by how we can permute, named type R $λ$-permutation. Then we answer the analogous question about a subset of S with respect to type R $λ$-permutation, named $Z_{R}=\{L \in \mathbb{R} \colon L = \sum_{n=0}^{\infty}{a_{σ\left(n\right)}}$ $\text{for some type R } λ\text{-permutation } σ\}$. We show that $Z_R$ is either $\emptyset$, a singleton or $\mathbb{R}$. We also provide sufficient conditions on the conditionally divergent series $\sum_{n=0}^{\infty}a_n$ for $Z_R$ to be a singleton or $\mathbb{R}$, by introducing a "substantial property" on the series.
Higher-order Stirling cycle and subset triangles: Total positivity, continued fractions and real-rootedness
Given a lower-triangular matrix of real numbers, one can ask the following four total-positivity questions: total positivity of the triangle itself; total positivity of its row-reversal; Toeplitz-total positivity of its row sequences (equivalent to negative-real-rootedness of the row-generating polynomials); and coefficientwise Hankel-total positivity of the sequence of row-generating polynomials. In this paper, we introduce two infinite families of lower-triangular matrices generalising the Stirling cycle and subset triangles, parametrised by an integer $r \ge 1$; we call these the $r$th-order Stirling cycle and subset numbers. We then ask the foregoing four questions for each of these triangles, leading us to several conjectures. We then prove some of these conjectures for the case $r=2$.
Roux schemes which carry association schemes locally
Published
• View Publication
• BIB
A roux scheme is an association scheme formed from a special "roux" matrix and the regular permutation representation of an associated group. They were introduced by Iverson and Mixon for their connection to equiangular tight frames and doubly transitive lines. We show how roux matrices can be produced from association schemes and characterise roux schemes for which the neighbourhood of a vertex induces an association scheme possessing the same number of relations as the thin radical. An important example arises from the $64$ equiangular lines in $\mathbb{C}^8$ constructed by Hoggar which we prove is unique (determined by its parameters up to isomorphism). We also characterise roux schemes by their eigenmatrices and provide new families of roux schemes using our construction.
Partitions with Durfee triangles of fixed size
Published
• View Publication
• BIB
A well-studied statistic of an integer partition is the size of its Durfee square. In particular, the number $D_k (n)$ of partitions of $n$ with Durfee square of fixed size $k$ has a well-known simple rational generating function. We study the number $R_k (n)$ of partitions of $n$ with Durfee triangle of size $k$ (the largest subpartition with parts $1, 2, \ldots, k$). We determine the corresponding generating functions which are rational functions of a similar form. Moreover, we explicitly determine the leading asymptotic of $R_k (n)$, as $n \rightarrow \infty$.
On $q$-deformed Markov numbers. Cohn matrices and perfect matchings with weighted edges
Published
• View Publication
• BIB
We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformation, which is a monic unimodal palindromic Laurent polynomial with positive integer coefficients. The $q$-Markov numbers can be calculated in terms of the traces of $q$-deformed Cohn matrices, and we show that $q$-Markov numbers are independent of the choice of such matrices. We construct a combinatorial model counting perfect matchings of snake graphs with weighted edges.
Fano schemes of sub-maximal elementary symmetric functions
Denote by $E_r$ the $r^{th}$ elementary symmetric polynomial in $\dim V$ variables for a vector space $V$ over an infinite field $\Bbbk$. We describe the rational points on the Fano scheme $F_{d-1}(Z(E_{\dim V-1}))$ of projective $(d-1)$-spaces contained in the zero locus of $E_{\dim V-1}$. Isolated points exist precisely for $\dim V=2d$, in which case they are in bijection with the $1\cdot 3\cdots (2d-1)$ pairings on a $2d$-element set. This, in particular, confirming a conjecture of Ambartsoumian, Auel and Jebelli to the effect that (over $\mathbb{R}$) all isolated points are recoverable via integral star transforms with appropriate symbols.