sequence
6845 papers tagged with this keyword
Prescribed duality dynamics in comodule categories
We prove that there exist Hopf algebras with surjective, non-bijective antipode which admit no non-trivial morphisms from Hopf algebras with bijective antipode; in particular, they are not quotients of such. This answers a question left open in prior work, and contrasts with the dual setup whereby a Hopf algebra has injective antipode precisely when it embeds into one with bijective antipode. The examples rely on the broader phenomenon of realizing pre-specified subspace lattices as comodule lattices: for a finite-dimensional vector space $V$ and a sequence $(\mathcal{L}_r)_r$ of successively finer lattices of subspaces thereof, assuming the minimal subquotients of the supremum $\bigvee_r \mathcal{L}_r$ are all at least 2-dimensional, there is a Hopf algebra equipping $V$ with a comodule structure in such a fashion that the lattice of comodules of the $r^{th}$ dual comodule $V^{r*}$ is precisely the given $\mathcal{L}_r$.
Intersection problems and a correlation inequality for integer sequences
Let us consider a collection $\mathcal G$ of codewords of length $n$ over an alphabet of size $s$. Let $t_1,\ldots, t_s$ be nonnegative integers. What is the maximum of $|\mathcal G|$ subject to the condition that any two codewords should have at least $t_i$ positions where both have letter $i$ ($1\le i\le s$). In the case $s=2$ it is a longstanding open question. Quite surprisingly, we obtain an almost complete answer for $s\ge 3$. The main tool is a correlation inequality.
About the Hardy-Ramanujan partition function asymptotics
The Hardy-Ramanujan partition function asymptotics is a famous result in the asymptotics of combinatorial sequences. It was originally derived using complex analysis and number-theoretic ideas by Hardy and Ramanujan. It was later re-derived by Paul Erdős using real analytic methods. Later still, D.J.~Newman used just the usual Hayman saddle-point approach, ubiquitous in asymptotic analysis. Fristedt introduced a probabilistic approach, which was further extended by Dan Romik, for restricted partition functions. Our perspective is that the Laplace transform changes the essentially algebraic generating function into an exponential form. Using this, we carry out the exercise of deriving the leading order asymptotics, following the Fristedt-Romik approach. We also give additional examples of the Laplace transform method.
A logical limit law for the sequential model of preferential attachment graphs
For a sequence of random graphs, the limit law we refer to is the existence of a limiting probability of any graph property that can be expressed in terms of predicate logic. A zero-one limit law is shown by Shelah and Spencer for Erdös-Renyi graphs given that the connection rate has an irrational exponent. We show a limit law for preferential attachment graphs which admit a Pólya urn representation. The two extreme cases of the parametric model, the uniform attachment graph and the sequential Barabási-Albert model, are covered separately as they exhibit qualitative differences regarding the distribution of cycles of bounded length in the graph.
Probability graphons and P-variables: two equivalent viewpoints for dense weighted graph limits
We develop further the graph limit theory for dense weighted graph sequences. In particular, we consider probability graphons, which have recently appeared in graph limit theory as continuum representations of weighted graphs, and we introduce P-variables, which also appear in the context of the Aldous-Hoover theorem for exchangeable infinite random arrays, as an alternative continuum representation for weighted graphs. In particular, we explain how P-variables are related to probability graphons in a similar way in which random variables are related to probability measures. We define a metric for P-variables (inspired by action convergence in the graph limit theory of sparse graph sequences) and show that convergence of P-variables in this metric is equivalent to probability graphons convergence. We exploit this equivalence to translate several results from the theory of probability graphons to P-variables. In addition, we prove several properties of P-variables convergence, thus showing new properties also for probability graphons convergence and demonstrating the power of the connection between probability graphons and P-variables. Furthermore, we show how P-variables convergence can be easily modified and generalised to cover other combinatorial structures such as bipartite graphs and hypergraphs.
Self-modified difference ascent sequences
Ascent sequences play a key role in the combinatorics of Fishburn structures. Difference ascent sequences are a natural generalization obtained by replacing ascents with $d$-ascents. We have recently extended the so-called hat map to difference ascent sequences, and self-modified difference ascent sequences are the fixed points under this map. We characterize self-modified difference ascent sequences and enumerate them in terms of certain generalized Fibonacci polynomials. Furthermore, we describe the corresponding subset of $d$-Fishburn permutations.
A complete characterization of pairs of binary phylogenetic trees with identical $A_k$-alignments
Phylogenetic trees play a key role in the reconstruction of evolutionary relationships. Typically, they are derived from aligned sequence data (like DNA, RNA, or proteins) by using optimization criteria like, e.g., maximum parsimony (MP). It is believed that the latter is able to reconstruct the \enquote{true} tree, i.e., the tree that generated the data, whenever the number of substitutions required to explain the data with that tree is relatively small compared to the size of the tree (measured in the number $n$ of leaves of the tree, which represent the species under investigation). However, reconstructing the correct tree from any alignment first and foremost requires the given alignment to perform differently on the \enquote{correct} tree than on others.
A special type of alignments, namely so-called $A_k$-alignments, has gained considerable interest in recent literature. These alignments consist of all binary characters (\enquote{sites}) which require precisely $k$ substitutions on a given tree. It has been found that whenever $k$ is small enough (in comparison to $n$), $A_k$-alignments uniquely characterize the trees that generated them. However, recent literature has left a significant gap between $n\leq 2k+2$ -- namely the cases in which no such characterization is possible -- and $n\geq 4k$ -- namely the cases in which this characterization works. It is the main aim of the present manuscript to close this gap, i.e., to present a full characterization of all pairs of trees that share the same $A_k$-alignment. In particular, we show that indeed every binary phylogenetic tree with $n$ leaves is uniquely defined by its $A_k$-alignments if $n\geq 2k+3$. By closing said gap, we also ensure that our result is optimal.
More results on stack-sorting for set partitions
Let a sock be an element of an ordered finite alphabet A and a sequence of these elements be a sock sequence. In 2023, Xia introduced a deterministic version of Defant and Kravitz's stack-sorting map by defining the $φ_σ$ and $φ_{\overlineσ}$ pattern-avoidance stack-sorting maps for sock sequences. Xia showed that the $φ_{aba}$ map is the only one that eventually sorts all set partitions; in this paper, we prove deeper results regarding $φ_{aba}$ and $φ_{\overline{aba}}$ as a natural next step. We newly define two algorithms with time complexity $O(n^3)$ that determine if any given sock sequence is in the image of $φ_{aba}$ or $φ_{\overline{aba}}$ respectively. We also show that the maximum number of preimages that a sock sequence of length $n$ has grows at least exponentially under both the $φ_{aba}$ and $φ_{\overline{aba}}$ maps. Additionally, we prove results regarding fertility numbers (introduced by Defant) in the context of set partitions and multiple-pattern-avoiding stacks.
Unimodality and certain bivariate formal Laurent series
Published in European Journal of Combinatorics, 2025
• Search Publication
In this paper, we examine the unimodality and strict unimodality of certain formal bivariate Laurent series with non-negative coefficients. We show that the sets of these formal bivariate Laurent series form commutative semirings under the operations of addition and multiplication of formal Laurent series. This result is used to establish the unimodality of sequences involving Gauss polynomials and certain refined color partitions. In particular, we solve an open problem posed by Andrews on the unimodality of generalized Gauss polynomials and establish an unimodal result for a statistic of plane partitions. We also establish many unimodal results for rank statistics in partition theory, including the rank statistics of concave and convex compositions studied by Andrews, as well as certain unimodal sequences studied by Kim-Lim-Lovejoy. Additionally, we establish the unimodality of the Betti numbers and Gromov-Witten invariants of certain Hilbert schemes of points.
Components, large and small, are as they should be I: supercritical percolation on regular graphs of growing degree
We provide sufficient conditions for a regular graph $G$ of growing degree $d$, guaranteeing a phase transition in its random subgraph $G_p$ similar to that of $G(n,p)$ when $p\cdot d\approx 1$. These conditions capture several well-studied graphs, such as (percolation on) the complete graph $K_n$, the binary hypercube $Q^d$, $d$-regular expanders, and random $d$-regular graphs. In particular, this serves as a unified proof for these (and other) cases.
Suppose that $G$ is a $d$-regular graph on $n$ vertices, with $d=ω(1)$. Let $ε>0$ be a small constant, and let $p=\frac{1+ε}{d}$. Let $y(ε)$ be the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We show that if $G$ satisfies a (very) mild edge expansion requirement, and if one has fairly good control on the expansion of small sets in $G$, then typically the percolated random subgraph $G_p$ contains a unique giant component of asymptotic order $y(ε)n$, and all the other components in $G_p$ are of order $O(\log n/ε^2)$.
We also show that this result is tight, in the sense that if one asks for a slightly weaker control on the expansion of small sets in $G$, then there are $d$-regular graphs $G$ on $n$ vertices, where typically the second largest component is of order $Ω(d\log (n/d))=ω(\log n)$.
This is the first of a two-part sequence of papers. In the subsequent work, we consider supercritical percolation on regular graphs of constant degree, and establish similar sufficient (and essentially tight) conditions in that setting.
The Comma Sequence is Finite in Other Bases
The comma sequence (1, 12, 35, 94, ...) is the lexicographically earliest sequence such that the difference of consecutive terms equals the concatenation of the digits on either side of the comma separating them. The behavior of a "generalized comma sequence" depends on the base the numbers are written in, as well as the sequence's initial values. We provide a computational proof that all comma sequences in bases 3 through 633 are finite. Relying on a combinatorial conjecture, Angelini et al. estimated that the final element of a comma sequence in base b should be roughly exp(O(b)). We prove their conjecture, but provide evidence that the correct estimate is actually exp(O(b log b)).
Combinatorics of $q$-Mahonian numbers of type $B$ and log-concavity
This paper is a continuation of earlier work of Arslan \cite{Ars}, who introduced the Mahonian number of type $B$ by using a new statistic on the hyperoctahedral group $B_{n}$, in response to questions he suggested in his paper entitled "{\it A combinatorial interpretation of Mahonian numbers of type $B$}" published in arXiv:2404.05099v1. We first give the Knuth-Netto formula and generating function for the subdiagonals on or below the main diagonal of the Mahonian numbers of type $B$, then its combinatorial interpretations by lattice path/partition and tiling. Next, we propose a $q$-analogue of Mahonian numbers of type $B$ by using a new statistics on the permutations of the hyperoctahedral group $B_n$ that we introduced, then we study their basic properties and their combinatorial interpretations by lattice path/partition and tiling. Finally, we prove combinatorially that the $q$-analogue of Mahonian numbers of type $B$ form a strongly $q$-log-concave sequence of polynomials in $k$, which implies that the Mahonian numbers of type $B$ form a log-concave sequence in $k$ and therefore unimodal.
Gapset Extensions, Theory and Computations
In this paper we extend some set theoretic concepts of numerical semigroups for arbitrary sub-semigroups of natural numbers. Then we characterized gapsets which leads to a more efficient computational approach towards numerical semigroups and finally we introduce the extension of gapsets and prove that the sequence of the number of gapsets of size $g$ is non-decreasing as a weak version of Bras-Amorós's conjecture.
Log-concavity and log-convexity via distributive lattices
We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.
When do the Kahn-Kalai Bounds Provide Nontrivial Information?
Published in J Inequal Appl 2025, 23 (2025)
• View Publication
• BIB
The Park-Pham theorem (previously known as the Kahn-Kalai conjecture), bounds the critical probability, $p_c(\mathcal{F})$, of the a non-trivial property $\mathcal{F}\subseteq 2^X$ that is closed under supersets by the product of a universal constant $K$, the expectation threshold of the property, $q(\mathcal{F})$, and the logarithm of the size of the property's largest minimal element, $\log\ell(\mathcal{F})$. That is, the Park-Pham theorem asserts that $p_c(\mathcal{F})\leq Kq(\mathcal{F})\log\ell(\mathcal{F})$. Since the critical probability $p_c(\mathcal{F})$ always satisfies $p_c(\mathcal{F})<1$, one may ask when the upper bound posed by Kahn and Kalai gives us more information than this--that is, when is it true that $Kq(\mathcal{F})\log\ell(\mathcal{F}) < 1$? In this short note, we provide a number of necessary conditions for this to happen and give a few sufficient conditions for the bounds to provide new (and, in fact, asymptotically perfect) information along the way. In the most interesting case where $\ell(\mathcal{F}_n)\rightarrow \infty$, we prove the following relatively strong necessary condition for the Kahn-Kalai bounds to provide nontrivial information: For every positive integer $t$, every collection of all-but-$t$ of the minimal elements of $\mathcal{F}_n$ may have nonempty intersection for only finitely many $n$. Consequently, not only must the number of minimal elements become arbitrarily large, but so too must the size of any cover. Intuitively, this means that such sequences $\mathcal{F}_n$ must occupy an ever-widening `wedge' in $2^{X_n}$: the further $\mathcal{F}_n$ climbs up $2^{X_n}$ in one area, the further it must spread down and across $2^{X_n}$ in another.
Efficient generation of odd order de Bruijn sequence with the same complement and reverse sequences
Experimental results show that, when the order $n$ is odd, there are de Bruijn sequences such that the corresponding complement sequence and the reverse sequence are the same. In this paper, we propose one efficient method to generate such de Bruijn sequences. This solves an open problem asked by Fredricksen forty years ago for showing the existence of such de Bruijn sequences when the odd order $n >1$. Moreover, we refine a characterization of de Bruijn sequences with the same complement and reverse sequences and study the number of these de Bruijn sequences, as well as the distribution of de Bruijn sequences of the maximum linear complexity.
On the central ball in a translation invariant involutive field
The iterated composition of two operators, both of which are involutions and translation invariant, partitions the set of lattice points in the plane into an infinite sequence of discrete parabolas. Each such parabola contains an associated stairway-like path connecting certain points on it, induced by the alternating application of the aforementioned operators. Any two lattice points in the plane can be connected by paths along the square grid composed of steps either on these stairways or towards taxicab neighbors. This leads to the notion of the parabolic-taxicab distance between two lattice points, obtained as the minimum number of steps of this kind needed to reach one point from the other.
In this paper, we describe patterns generated by points on paths of bounded parabolic-taxicab length and provide a complete description of the balls centered at the origin. In particular, we prove an earlier conjecture on the area of these balls.
Partial Dyck path interpretation for three sequences in the Encyclopedia of Integer Sequences
Descents of odd length in Dyck paths are discussed, taking care of some variations. The approach is based on generating functions and the kernel method and augments relations about them from the Encyclopedia of Integer Sequences, that were pointed out by David Callan.
Sequences with Inequalities
We consider infinite sequences of positive numbers. The connection between log-concavity and the Bessenrodt--Ono inequality had been in the focus of several papers. This has applications in the white noise distribution theory and combinatorics. We improve a recent result of Benfield and Roy and show that for the sequence of partition numbers $\{p(n)\}$ Nicolas' log-concavity result implies the result of Bessenrodt and Ono towards $p(n) \, p(m) > p(n+m)$. We provide several examples. Benfield and Roy gave a conjecture related to $\ell $-ary partition numbers. We prove part of this conjecture.
Diameters of endomorphism monoids of chains
The left and right diameters of a monoid are topological invariants defined in terms of suprema of lengths of derivation sequences with respect to finite generating sets for the universal left or right congruences. We compute these parameters for the endomorphism monoid $End(C)$ of a chain $C$. Specifically, if $C$ is infinite then the left diameter of $End(C)$ is 2, while the right diameter is either 2 or 3, with the latter equal to 2 precisely when $C$ is a quotient of $C{\setminus}\{z\}$ for some endpoint $z$. If $C$ is finite then so is $End(C),$ in which case the left and right diameters are 1 (if $C$ is non-trivial) or 0.