Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A remark on modular equations involving Rogers-Ramanujan continued fraction via $5$-dissections
In this paper, we study the $5$-dissections of certain Ramanujan's theta functions, particularly $ψ(q)ψ(q^2), \varphi(-q)$ and $\varphi(-q)\varphi(-q^2)$, and derive an identity for $q(q;q)_{\infty}^6/(q^5;q^5)_{\infty}^6$ in terms of certain products of the Rogers-Ramanujan continued fraction $R(q)$. Using this identity, we give another proof of the modular equation involving $R(q), R(q^2)$ and $R(q^4)$, which was recorded by Ramanujan in his lost notebook, and establish modular equations involving $R(q), R(q^2), R(q^4), R(q^8)$ and $R(q^{16})$.
An algebraic interpretation of Eulerian polynomials, derangement polynomials, and beyond, via Gröbner methods
Motivated by the question of whether Chow polynomials of matroids have only real roots, this article revisits the known relationship between Eulerian polynomials and the Hilbert series of Chow rings of permutohedral varieties. This is done using a quadratic Gröbner basis associated to a new presentation of those rings, which is obtained by iterating the semi-small decomposition of Chow rings of matroids. This Gröbner basis can also be applied to compute certain principal ideals in these rings, and ultimately reestablish the known connection between derangement polynomials and the Hilbert series of Chow rings for corank 1 uniform matroids. More broadly, this approach enables us to express the Hilbert series of Chow rings for any uniform matroid as polynomials related to the ascent statistics on particular sets of inversion sequences.
Pairs in Nested Steiner Quadruple Systems
Published
• View Publication
• BIB
Motivated by a repair problem for fractional repetition codes in distributed storage, each block of any Steiner quadruple system (SQS) of order $v$ is partitioned into two pairs. Each pair in such a partition is called a nested design pair and its multiplicity is the number of times it is a pair in this partition. Such a partition of each block is considered as a new block design called a nested Steiner quadruple system. Several related questions on this type of design are considered in this paper: What is the maximum multiplicity of the nested design pair with minimum multiplicity? What is the minimum multiplicity of the nested design pair with maximum multiplicity? Are there nested quadruple systems in which all the nested design pairs have the same multiplicity? Of special interest are nested quadruple systems in which all the $\binom{v}{2}$ pairs are nested design pairs with the same multiplicity. Several constructions of nested quadruple systems are considered and in particular classic constructions of SQS are examined.
Additive Ramsey theory over Piatetski-Shapiro numbers
Published
• View Publication
• BIB
We characterise partition regularity for linear equations over the Piatetski-Shapiro numbers $\lfloor n^c \rfloor$ when $1 < c < c^†(s)$, where $s \geqslant 3$ is the number of variables. Here $c^†(3) = 12/11$ and $c^†(4) = 7/6$, while $c^†(s) = 2$ for $s \geqslant 5$. We also establish density results with quantitative bounds. Following recent developments, we take this opportunity to update Browning and Prendiville's version of Green's Fourier-analytic transference principle, strengthening its conclusion.
How many random edges make an almost-Dirac graph Hamiltonian?
We study Hamiltonicity in the union of an $n$-vertex graph $H$ with high minimum degree and a binomial random graph on the same vertex set. In particular, we consider the case when $H$ has minimum degree close to $n/2$. We determine the perturbed threshold for Hamiltonicity in this setting.
To be precise, let $η:= n/2-δ(H)$. For $η=ω(1)$, we show that it suffices to add $Θ(η)$ random edges to $H$ to a.a.s. obtain a Hamiltonian graph; for $η=Θ(1)$, we show that $ω(1)$ edges suffice. In fact, when $η=o(n)$ and $η=ω(1)$, we show that $(8+o(1))η$ random edges suffice, which is best possible up to the error term. This determines the sharp perturbed threshold for Hamiltonicity in this range of degrees.
We also obtain analogous results for perfect matchings, showing that, in this range of degrees, the sharp perturbed thresholds for Hamiltonicity and for perfect matchings differ by a factor of $2$.
Super-regular polytopes in cyclotomic hypercubes
Published
• View Publication
• BIB
For any odd prime $p$ and any integer $N\ge 0$, let $\mathcal{V}(p,N)$ be the set of vertices of the cyclotomic box $\mathscr{B} = \mathscr{B}(p,N)$ of edge size $2N$ and centered at the origin $O$ of the ring of integers $\mathbb{Z}[ω]$ of the cyclotomic field $\mathbb{Q}(ω)$, where $ω=\exp\big(\frac{2πi}{p}\big)$. Cyclotomic boxes represented as sets of points in the complex plane prove to have counter-intuitive super-regularity properties that are known to occur in high dimensional real hypercubes.
Employing the naturally induced Euclidean-trace metric for distance measurement and letting the prime $p$ tend to infinity, we prove the following results. 1. Almost all triangles with vertices in $\mathcal{V}(p,N)$ are almost equilateral. 2. Almost all angles $\angle VOA$, where $V$ is in $\mathcal{V}(p,N)$, $O$ is the origin, which coincides with the center of $\mathscr{B}(p,N)$, and $A$ is fixed anywhere in $\mathscr{B}(p,N)$, are right angles. 3. Almost all pyramids with base on $\mathcal{V}(p,N)$ and the apex fixed anywhere in $\mathscr{B}(p,N)$ are super-regular, meaning that the base has all edges and diagonals almost equal and the lateral faces are nearly isosceles triangles, each nearly equal to the others.
A determinantal formula for cluster variables in cluster algebras from surfaces
Published
• View Publication
• BIB
For cluster algebras of surface type, Musiker, Schiffler and Williams gave a formula for cluster variables in terms of perfect matchings of snake graphs. Building on this, we provide a simple determinantal formula for cluster variables via the weighted biadjacency matrix of the associated snake graphs, thus circumventing the enumeration of their perfect matchings.
Sharp bound for the Erdős-Straus non-averaging set problem
Published
• View Publication
• BIB
A set of integers $A$ is non-averaging if there is no element $a$ in $A$ which can be written as an average of a subset of $A$ not containing $a$. We show that the largest non-averaging subset of $\{1, \ldots, n\}$ has size $n^{1/4+o(1)}$, thus solving the Erdős-Straus problem. We also determine the largest size of a non-averaging set in a $d$-dimensional box for any fixed $d$. Our main tool includes the structure theorem for the set of subset sums due to Conlon, Fox and the first author, together with a result about the structure of a point set in nearly convex position.
Toric varieties modulo reflections
Let $W$ be a finite group generated by reflections of a lattice $M$. If a lattice polytope $P \subset M \otimes_{\mathbb Z}\mathbb R$ is preserved by $W$, then we show that the quotient of the projective toric variety $X_P$ by $W$ is isomorphic to the toric variety $X_{P \cap D}$, where $D$ is a fundamental domain for the action of $W$. This answers a question of Horiguchi-Masuda-Shareshian-Song, and recovers results of Blume, of Song, of the second author, and of Gui-Hu-Liu. We also study quotients of real toric varieties, proving that $X_P^{\mathbb R} / W$ is contractible when $P$ is a permutohedron.
Structural properties of a symmetric Toeplitz and Hankel matrices
Published in Linear Algebra and its Applications, 708: 204--216, 2025
• View Publication
• BIB
In this paper, we investigate properties of a symmetric Toeplitz matrix and a Hankel matrix by studying the components of its graph. To this end, we introduce the notion of ``weighted Toeplitz graph" and ``weighted Hankel graph", which are weighted graphs whose adjacency matrix are a symmetric Toeplitz matrix and a Hankel matrix, respectively. By studying the components of a weighted Toeplitz graph, we show that the Frobenius normal form of a symmetric Toeplitz matrix is a direct sum of symmetric irreducible Toeplitz matrices. Similarly, by studying the components of a weighted Hankel matrix, we show that the Frobenius normal form of a Hankel matrix is a direct sum of irreducible Hankel matrices.
Thin MC left regular bands
Published
• View Publication
• BIB
We define MC left regular bands and study their adjacency graphs. We prove that for thin MC left regular bands, the adjacency graph is particularly nice and is represented by edge labeled graphs where every simple cycle has an even number of edges. Conversely, we define a set of graphs which we call thin LRB graphs which encode rank two thin MC left regular bands. Along the way, we provide a criterion for showing when the face poset of a left regular band is a meet-semilattice.
Scaling limits of random graphs
This work will appear as a chapter in a forthcoming volume titled "Topics in Probabilistic Graph Theory". A theory of scaling limits for random graphs has been developed in recent years. This theory gives access to the large-scale geometric structure of these random objects in the limit as their size goes to infinity, with distances appropriately rescaled. We start with the simplest setting of random trees, before turning to various examples of random graphs, including the critical Erdős--Rényi random graph.
Packing large balanced trees into bipartite graphs
Published
• View Publication
• BIB
We prove that for every ${γ> 0}$ there exists $n_0 \in \mathbb{N}$ such that for every ${n \geq n_0}$ any family of up to $\lfloor{n^{\frac12+γ}}\rfloor$ trees having at most $(1-γ)n$ vertices in each bipartition class can be packed into $K_{n,n}$. As a tool for our proof, we show an approximate bipartite version of the Komlós-Sárközy-Szemerédi Theorem, which we believe to be of independent interest.
Spectra of eccentricity matrix of $H$-join of graphs
Published
• View Publication
• BIB
Let $\varepsilon(G)$ be the eccentricity matrix of a graph $G$ and $Spec(\varepsilon(G))$ be the eccentricity spectrum of $G$. Let $H[G_1,G_2,\ldots, G_k]$ be the $H$-join of graphs $G_1,G_2,\ldots, G_k$ and let $H[G]$ be lexicographic product of $H$ and $G$. This paper finds the eccentricity matrix of a $H$-join of graphs. Using this result, we find (i) $Spec(\varepsilon(H[G]))$ in terms of $Spec(\varepsilon(H))$ if the radius $(rad(H))$ of $H$ is at least three; (ii) $Spec(\varepsilon(K_k[G_1,G_2,\ldots, G_k]))$ if $Δ(G_i)\leq |V(G_i)|-2$ which generalises some of the results in \cite{Mahato1}; (iii) $Spec(\varepsilon(H[G_1,G_2,\ldots, G_k]))$ if $rad(H)\geq 2$ and $G_i$ is complete whenever $e_H(i)=2$, which generalises some of the results in \cite{Mahato1} and \cite{Wang1}. Finally, we find the characteristic polynomial of $\varepsilon(K_{1,m}[G_0,G_1,\ldots, G_m])$ if $G_i$'s are regular. As a result, we deduce some of the results in \cite{Li}, \cite{Mahato1}, \cite{Patel} and \cite{Wang}.
A graph product and its Application
The spectrum of Laplacian and signless Laplacian matrix for a graph product is obtained, where both underlying graphs are regular. As an application of this, we have been able to generate the Kirchhoff Index and Wiener Index and determine the number of spanning trees. Additionally, we derived the conditions necessary for obtaining a Laplacian and signless Laplacian integral product graph.
A simple proof of the formula of Solov'ev--Nielsen--Blom for the expected waiting time
Published in Theory of Probability and Mathematical Statistics, Vol. 112, 189--194 (2025)
• View Publication
• BIB
Solov'ev (1966), Nielsen (1973), and Blom (1982) independently showed a formula for the expected waiting time until a given finite pattern first occurs in random data. In this paper, we give a simple and combinatorial proof of the formula.
Tropical Split Jacobians of genus 2 and optimal covers
We explore connections between the category of tropical abelian varieties (tav), $\mathbb{T}\mathcal{A}$, and the the category of tropical curves, $\mathbb{T}\mathcal{C}$, first in a broader context and then specifically by studying the phenomenon of tropical split Jacobians. Jacobians of genus $2$ curves are two-dimensional tav and as such more complicated than their one-dimensional cousins. Whenever $Γ$, however, is a covering of an elliptic curve, it so happens that $Jac(Γ)$ splits into simpler objects, the direct sum of elliptic curves. This relation is pathological in essentially two ways, the splitting of $Jac(Γ)$ is not unique, and it is a priori not clear how to compute it. Similar to algebraic geometry, optimal coverings offer a remedy for both: They resolve indeterminacy as they provide us with a canonical choice. They resolve indeterminability as they provide us with an algorithmic approach. Our methods build on theory developed by Len, Mikhalkin, Röhrle, Ulirsch, Zakharov, Zharkov and many more. In accordance with this heritage, we want to put forth tropical geometry as a setting in which we can see abstraction at work. This means pairing "abstract machinery" with a constructive/algorithmic approach.
Non-commutative friezes and their determinants, the non-commutative Laurent phenomenon for weak friezes, and frieze gluing
Published
• View Publication
• BIB
This paper studies a non-commutative generalisation of Coxeter friezes due to Berenstein and Retakh. It generalises several earlier results to this situation: A formula for frieze determinants, a $T$-path formula expressing the Laurent phenomenon, and results on gluing friezes together. One of our tools is a non-commutative version of the weak friezes introduced by Canakci and Jorgensen.
Friezes from surfaces and Farey triangulation
We provide a classification of positive integral friezes on marked bordered surfaces in the style of Conway and Coxeter. More precisely, we prove that positive integral friezes are in one-to-one correspondence with ideal triangulations supplied with a collection of rescaling constants assigned to punctures. For every triangulation the set of the collections of constants is finite and is completely determined by the valencies of vertices in the triangulation. In particular, it follows that the number of non-equivalent friezes on bordered surfaces is finite, and all friezes on unpunctured surfaces are unitary.
Limit canonical series
We describe the limits of canonical series along families of curves degenerating to a nodal curve which is general for its topology, in the weak sense that the branches over nodes on each of its components are in general position. We define a fan structure on the space of edge lengths on the dual graph of the limit curve, and construct a projective variety parametrizing the limits, organized in strata associated to the cones of this fan. This extends to all topologies the works by Eisenbud-Harris (Invent. Math. 87: 496-515, 1987) on curves of compact type and Esteves-Medeiros (Invent. Math. 149: 267-338, 2002) on two-component curves.