Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The Theory of Khinchin Families
The theory of Khinchin families connects Probability Theory and Complex Analysis. Along this PhD thesis, we exploit this connection to obtain, using a variety of local central limit theorems, asymptotic formulas for the coefficients of analytic functions with non-negative coefficients. We give criteria for a power series to have certain specific, and in most cases, computable, asymptotic formula.
The theory of Khinchin families was initiated and is strongly influenced by the work of Walter K. Hayman, Paul C. Rosembloom, and Luis Báez-Duarte. We can assign to each power series $f$ in the class $\mathcal{K}$, having radius of convergence $R>0$, a family of random variables $(X_t)_{[0,R)}$. This theory examines the behavior of this family of random variables, and also of its normalized version, as $t \uparrow R$.
This thesis aims to harmonize the various asymptotic formulas for combinatorial or probabilistic objects within a single framework. With this aim we have extended some of the classes of functions and also studied the coefficients of large powers of analytic functions. One of our main goals was to consolidate and develop some aspects of a comprehensive theory: providing a guidebook for combinatorialists or probabilists, a series of results, or basic criteria, where they can follow a step-by-step process, verify if certain straightforward conditions are met, and then derive an asymptotic formula for the object of study. However, this is not the sole primary goal; we are also profoundly interested in the functional theoretical properties of these classes of functions and their connections to the respective Khinchin families (such as the case of $f \in \mathcal{K}$ being an entire function).
Invariants of nested Hilbert and Quot schemes on surfaces
Let $(S,p)$ be a smooth pointed surface. In the first part of this paper we study motivic invariants of punctual nested Hilbert schemes attached to $(S,p)$ using the Hilbert-Samuel stratification. We compute two infinite families of motivic classes of punctual nested Hilbert schemes, corresponding to nestings of the form $(2,n)$ and $(3,n)$. As a consequence, we are able to give a lower bound for the number of irreducible components of $S_p^{[2,n]}$ and $S_p^{[3,n]}$.
In the second part of this paper we characterise completely the generating series of Euler characteristics of all nested Hilbert and Quot schemes. This is achieved via a novel technique, involving differential operators modelled on the enumerative problem, which we introduce. From this analysis, we deduce that in the Hilbert scheme case the generating series is the product of a rational function by the celebrated Euler's product formula counting integer partitions. In higher rank, we derive functional equations relating the nested Quot scheme generating series to the rank one series, corresponding to nested Hilbert schemes.
New upper and lower bounds on the smallest singular values of nonsingular lower triangular $(0,1)$-matrices
Let $K_n$ denote the set of all nonsingular $n\times n$ lower triangular $(0,1)$-matrices. Hong and Loewy (2004) introduced the number sequence $$ c_n=\min\{λ\midλ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb Z_+. $$ There have been a number of attempts in the literature to obtain bounds on the numbers $c_n$ by Mattila (2015), Altinisik et al. (2016), Kaarnioja (2021), Loewy (2021), and Altinisik (2021). In this paper, improved upper and lower bounds are derived for the numbers $c_n$. By considering the characteristic polynomial corresponding to the matrix $Z_n$ satisfying $c_n=\|Z_n\|_2^{-1}$, it is shown that the second largest eigenvalue of $Z_n$ is bounded from above by $\frac45$ leading to an improved upper bound on $c_n$. On the other hand, Samuelson's inequality applied to the roots of the characteristic polynomial of $Z_n$ yields an improved lower bound. Numerical experiments demonstrate the quality of the new bounds.
Orbits of consistent walk in dart-transitive maps
In a simple graph, a shunt is a symmetry which sends an edge to an incident edge (without fixing their shared vertex). The orbit of this edge under the shunt forms a consistent cycle. The important theorem of Biggs and Conway says that in a dart-transitive graph of valence q, there are exactly q-1 orbits of consistent cycles. These ideas have become a useful tool in the area of graphs symmetries, and generalize easily to consistent walks in graphs which are not simple. These walks are not necessarily cycles, or even circuits. This paper considers these walks and their orbits in the venue of dart-transitive maps and classifies them geometrically.
Bilateral truncated quintuple product
In this paper, we present the bilateral truncated identity of the quintuple product identity, which is a generalization of the truncated quintuple product identities given by Chan, Ho and Mao [J. Number Theory 169 (2016) 420--438]. Additionally, we provide the bilateral truncated forms of two $q$-series identities, which are well-known consequences of the quintuple product identity.
The $α$-representation for the Tait coloring and for the characteristic polynomial of matroid
Consider a finite field $\mathbb F_q$, $q=p^d$, where $p$ is an odd number. Let $M=(E,r)$ be a regular matroid; denote by ${\mathcal B}$ the family of its bases, $\bar s(M;α)=\sum_{B\in {\mathcal B}}\prod_{e\not\in B} α_e$, where ${α_e\in \mathbb F_q}$, $α_e\neq 0$. Let a subset $A\equiv A(α)$ in $E$ have the maximal cardinality and satisfy the condition $\bar s(M|A;α)\neq 0$, while ${r^*}(α)=|A|-r(E)$. Let us represent the value of the characteristic polynomial of the matroid $M$ at the point $q$ as the linear combination of Legendre symbols with respect to $\bar s(M|A;α)$, whose coefficients are modulo equal to $1/q^{r^*(α)/2}$. This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier. The latter formula is an analog of the so-called $α$-representation of vacuum Feynman amplitudes in the case of a finite field, which has inspired the Kontsevich conjecture (1997). The $α$-representation technique is also applicable for expressing the number of Tait colorings for a cubic biconnected planar graph in terms of principal minors of the matrix of faces of this graph.
The law of the circumference of sparse binomial random graphs
There has been much interest in the distribution of the circumference, the length of the longest cycle, of a random graph $G(n,p)$ in the sparse regime, when $p = Θ\left(\frac{1}{n}\right)$. Recently, the first author and Frieze established a scaling limit for the circumference in this regime, along the way establishing an alternative 'structural' approximation for this parameter. In this paper, we give a central limit theorem for the circumference in this regime using a novel argument based on the Efron-Stein inequality, which relies on a combinatorial analysis of the effect of resampling edges on this approximation.
Size-minimal combinatorial designs of staircase type
Given a positive integer $n$ and a partitioning $n=r_1s_1+\dots+ r_ts_t$, $t,r_i,s_i$ positive integers, such that $r_1>\dots>r_t$ (for $t\ge 2$), we can write $n$ symbols $1,\dots,n$ in the form of a staircase matrix having $r_1$ rows where first $r_1-r_2$ rows have $x_1$ columns, next $r_2-r_3$ rows have $t_1+t_2$ columns, etc., and finally last $r_t$ rows have $t_1+\dots+t_k$ columns. Then we can construct a~design having $r_1+s_1+\dots+s_t$ sets by taking all $r_1$ rows and $s_1+\dots+s_t$ columns of this staircase matrix. Such designs have exactly two replications of each symbol and various cardinalities for the sets constituting the design. The minimum size of combinatorial designs of staircase type is found.
A new bound in Majority Dynamics on Random Graphs
We study the evolution of majority dynamics on Erdős-Rényi $G(n,p)$ random graphs. In this process, each vertex of a graph is assigned one of two initial states. Subsequently, on every day, each vertex simultaneously updates its state to the most common state in its neighbourhood.
If the difference in the numbers of vertices in each state on day $0$ is larger than $ \max \left\{\frac{1}{\sqrt{p}} \exp\left[A\sqrt{\log \left(\frac{1}{p}\right)}\right] , Bp^{-3/2} n^{-1/2} \right\}$ for constants $A$ and $B$, we demonstrate that the state with the initial majority wins with overwhelmingly high probability. This extends work by Linh Tran and Van Vu (2023), who previously considered this phenomenon.
We also study majority dynamics with a random initial assignment of vertex states. When each vertex is assigned to a state with equal probability, we show that unanimity occurs with high probability for every $p \geq λn^{-2/3}$, for some constant $λ$. This improves work by Fountoulakis, Kang and Makai (2020).
Furthermore, we also consider a random initial assignment of vertex states where a vertex is slightly more likely to be in the first state than the second state. Previous work by Zehmakan (2018) and Tran and Vu (2023) provided conditions on how big this bias needs to be for the first colour to achieve unanimity with high probability. We strengthen these results by providing a weaker sufficient condition.
Matrix symmetric and quasi-symmetric functions and noncommutative representation theory
A fundamental result by L. Solomon in algebraic combinatorics and representation theory states that Mackey formulas for products of characters of a symmetric group, or equivalently the computation of tensor products of representations thereof, can be lifted to the corresponding Solomon's descent algebra, a subalgebra of the group algebra with a very rich structure. Motivated by the structure of the product formula in these algebras and by other results and ideas in the field, we introduce and investigate in the present article a two dimensional analogue of descent algebras based on packed integer matrices that inherits most of their fundamental properties. One of the various bialgebra structures we introduce on packed integer matrices identifies with a bialgebra recently introduced by J. Diehl and L. Schmitz to define a two dimensional generalisation of Chen's iterated integrals signatures.
An improved hypergraph Mantel's Theorem
In a recent paper, Chao and Yu used an entropy method to show that the Turán density of a certain family $\mathcal{F}$ of $\lfloor r/2\rfloor$ triangle-like $r$-uniform hypergraphs is $r!/r^r$. Later, Liu determined for large $n$ the exact Turán number $\text{ex}(n,\mathcal{F})$ of this family, and showed that the unique extremal graph is the balanced complete $r$-partite $r$-uniform hypergraph. These two results together can be viewed as a hypergraph version of Mantel's Theorem. In this paper, building on their methods, we improve both of these results by showing that they still hold with a subfamily $\mathcal{F}'\subset\mathcal{F}$ of size $\lceil r/e\rceil$ in place of $\mathcal{F}$.
Constructed tableaux and a new shifted Littlewood-Richardson rule
We give a new Littlewood-Richardson rule for the Schubert structure coefficients of isotropic Grassmannians, equivalently for the multiplication of $P$-Schur functions. Serrano (2010) previously gave a formula in terms of classes in his shifted plactic monoid. However, this formula is challenging to use because of the difficulty of characterizing shifted plactic classes. We give the first algebraic proof of this formula. We then use it to obtain a new rule that is easy to implement. Our rule is based on identifying a subtle analogue of Yamanouchi tableaux, which we characterize. We show that for some families of structure coefficients, our rule leads to an algorithm with exponentially better time complexity than the original rule of Stembridge (1989).
Exploring the unleaved tree of numerical semigroups up to a given genus
We present a new algorithm to explore or count the numerical semigroups of a given genus which uses the unleaved version of the tree of numerical semigroups. In the unleaved tree there are no leaves rather than the ones at depth equal to the genus in consideration. For exloring the unleaved tree we present a new encoding system of a numerical semigroup given by the gcd of its left elements and its shrinking, that is, the semigroup generated by its left elements divided by their gcd. We show a method to determine the right generators and strong generators of a semigroup by means of the gcd and the shrinking encoding, as well as a method to encode a semigroup from the encoding of its parent or of its predecessor sibling. With the new algorithm we obtained $n_{76}=29028294421710227$ and $n_{77}=47008818196495180$.
On finite nilpotent groups with the same enhanced power graph
The enhanced power graph of a group $G$ is the graph $P_e(G)$ whose vertex set is $G$, such that two distinct vertices $x$ and $y$, are adjacent if $\langle x, y\rangle$ is cyclic. In this paper, we analyze the structure of the enhanced power graph of a finite nilpotent group in terms of the enhanced power graphs of its Sylow subgroups. We establish that for two nilpotent groups, their enhanced power graphs are isomorphic if and only if the enhanced power graphs of their Sylow subgroups are isomorphic. Additionally, we identify specific nilpotent groups for which the enhanced power graphs uniquely characterize the group structure, meaning that if $P_e(G)\cong P_e(H)$ then $G \cong H$. Finally, we extend these results to power graphs and cyclic graphs.
A strengthening of a degree sequence condition for Hamiltonicity in tough graphs
Generalizing Chvátal's classic 1972 result, Hoàng proposed in 1995 the following conjecture, which strengthens Chvátal's result in terms of toughness: Let $t\ge 1$ be a positive integer and $G$ be a $t$-tough graph on $n \ge 3$ vertices with degree sequence $d_1, d_2, \dots, d_n$ in non-increasing order. Suppose for each $i\in [1, \lfloor\frac{n-1}{2} \rfloor]$, if $d_i \le i \text{ and } d_{n-i+t} < n - i $ implies $d_j + d_{n-j+t} \ge n$ for all $j\in [i+1, \lfloor\frac{n-1}{2} \rfloor]$, then $G$ is Hamiltonian. Hoàng verified the conjecture for $t=1$. In this paper, we verfity the conjecture for all $t\ge 4$. Our proof relies on a toughness closure lemma for $t\ge 4$ that we previously established. Additionally, we show that the toughness closure lemma does not hold when $t=1$.
Triplets of Mutually Unbiased Bases
We initiate a systematic study of triplets of mutually unbiased bases (MUBs). We show that in $\mathbb{C}^d$ each MUB-triplet is characterized by a $d\times d\times d$ object that we call a Hadamard cube. We describe the basic properties of Hadamard cubes, and show how an MUB-triplet can be reconstructed from such a cube, up to unitary equivalence.
We also present an algebraic identity which is conjectured to hold for all MUB-triplets in dimension 6. If true, it would imply the long-standing conjecture of Zauner that the maximum number of MUBs in dimension 6 is three.
Dynkin Systems and the One-Point Geometry
In this note I demonstrate that the collection of Dynkin systems on finite sets assembles into a Connes-Consani $\mathbb{F}_1$-module, with the collection of partitions of finite sets as a sub-module. The underlying simplicial set of this $\mathbb{F}_1$-module is shown to be isomorphic to the delooping of the Krasner hyperfield $\mathbb{K}$, where $1+1=\{0,1\}$. The face and degeneracy maps of the underlying simplicial set of the $\mathbb{F}_1$-module of partitions correspond to merging partition blocks and introducing singleton blocks, respectively. I also show that the $\mathbb{F}_1$-module of partitions cannot correspond to a set with a binary operation (even partially defined or multivalued) under the ``Eilenberg-MacLane'' embedding. These results imply that the $n$-fold sum of the Dynkin $\mathbb{F}_1$-module with itself is isomorphic to the $\mathbb{F}_1$-module of the discrete projective geometry on $n$ points.
Symmetric Tensor Matroids, Dual Rigidity Matroids, and the Maximality Conjecture
Inspired by a recent result of Brakensiek et al. that symmetric tensor matroids and rigidity matroids are linked by matroid duality, we define abstract symmetric tensor matroids as a dual concept to abstract rigidity matroids and establish their basic properties. We then exploit this duality to obtain an alternative characterisation of the generic $d$-dimensional rigidity on $K_n$ for $n-d\leq 6$ to that given by Grasseger et al. Our results imply that Graver's maximality conjecture holds for these matroids. We also consider the related family of $K_{1,t+1}$-matroids on $K_n$ and show that this family has a unique maximal element only when $t\leq 3$. This implies that the family of second quasi symmetric powers of the uniform matroid $U_{t,n}$ does not have a unique maximal matroid if $t\geq 4$ and $n$ is sufficiently large.
Crystal skeletons: Combinatorics and axioms
Crystal skeletons were introduced by Maas-Gariépy in 2023 by contracting quasi-crystal components in a crystal graph. On the representation theoretic level, crystal skeletons model the expansion of Schur functions into Gessel's quasisymmetric functions. Motivated by questions of Schur positivity, we provide a combinatorial description of crystal skeletons, and prove many new properties, including a conjecture by Maas-Gariépy that crystal skeletons generalize dual equivalence graphs. We then present a new axiomatic approach to crystal skeletons. We give three versions of the axioms based on $GL_n$-branching, $S_n$-branching, and local axioms in analogy to the local Stembridge axioms for crystals based on novel commutation relations.
Sharp character bounds and cutoff for symmetric groups
We develop a flexible technique to bound the characters of symmetric groups, via the Naruse hook length formula, the Larsen--Shalev character bounds, and appropriate diagram slicings. It allows us to prove a uniform exponential character bound with optimal constant $1/2$. We furthermore prove sharp character bounds for conjugacy classes having a macroscopic number of fixed points, and deduce that the random walks on the associated Cayley graphs exhibit a total variation and $L^2$ cutoff.