sequence
6845 papers tagged with this keyword
Log-concavity of the restricted partition function $p_\mathcal{A}(n,k)$ and the new Bessenrodt-Ono type inequality
Published
• View Publication
• BIB
Let $\mathcal{A}=(a_i)_{i=1}^\infty$ be a non-decreasing sequence of positive integers and let $k\in\mathbb{N}_+$ be fixed. The function $p_\mathcal{A}(n,k)$ counts the number of partitions of $n$ with parts in the multiset $\{a_1,a_2,\ldots,a_k\}$. We find out a new type of Bessenrodt-Ono inequality for the function $p_\mathcal{A}(n,k)$. Further, we discover when and under what conditions on $k$, $\{a_1,a_2,\ldots,a_k\}$ and $N\in\mathbb{N}_+$, the sequence $\left(p_\mathcal{A}(n,k)\right)_{n=N}^\infty$ is log-concave. Our proofs are based on the asymptotic behavior of $p_\mathcal{A}(n,k)$, in particular, we apply the results of Netto and Pólya-Szegö as well as the Almkavist's estimation.
New Ramsey Multiplicity Bounds and Search Heuristics
Published
• View Publication
• BIB
We study two related problems concerning the number of homogeneous subsets of given size in graphs that go back to questions of Erdős. Most notably, we improve the upper bounds on the Ramsey multiplicity of $K_4$ and $K_5$ and settle the minimum number of independent sets of size $4$ in graphs with clique number at most $4$. Motivated by the elusiveness of the symmetric Ramsey multiplicity problem, we also introduce an off-diagonal variant and obtain tight results when counting monochromatic $K_4$ or $K_5$ in only one of the colors and triangles in the other. The extremal constructions for each problem turn out to be blow-ups of a graph of constant size and were found through search heuristics. They are complemented by lower bounds established using flag algebras, resulting in a fully computer-assisted approach. For some of our theorems we can also derive that the extremal construction is stable in a very strong sense. More broadly, these problems lead us to the study of the region of possible pairs of clique and independent set densities that can be realized as the limit of some sequence of graphs.
Fibonacci-like sequences for variants of the tower of Hanoi, and corresponding graphs and gray codes
Published
• View Publication
• BIB
We modify the rules of the classical Tower of Hanoi puzzle in a quite natural way to get the Fibonacci sequence involved in the optimal algorithm of resolution, and show some nice properties of such a variant. In particular, we deduce from this Tower of Hanoi-Fibonacci a Gray-like code on the set of binary words without the factor 11, which has some properties intersting for itself and from which an iterative algorithm for the Tower of Hanoi-Fibonacci is obtained. Such an algorithm involves the Fibonacci substitution. Eventually, we briefly extend the study to some natural generalizations.
On the $α$-spectral radius of the $k$-uniform supertrees
Published
• View Publication
• BIB
Let $G$ be a $k$-uniform hypergraph with vertex set $V(G)$ and edge set $E(G)$. A connected and acyclic hypergraph is called a supertree. For $0\leqα<1$, the $α$-spectral radius of $G$ is the largest $H$-eigenvalue of $αD(G)+(1-α)A(G)$, where $D(G)$ and $A(G)$ are the diagonal tensor of the degrees and the adjacency tensor of $G$, respectively. In this paper, we determine the unique supertrees with the maximum $α$-spectral radius among all $k$-uniform supertrees with $m$ edges and independence number $β$ for $\lceil\frac{m(k-1)+1}{k}\rceil\leqβ\leq m$, among all $k$-uniform supertrees with given degree sequences, and among all $k$-uniform supertrees with $m$ edges and matching number $μ$ for $1\leqμ\leq\lfloor\frac{m(k-1)+1}{k}\rfloor$, respectively.
Quasisymmetric harmonics of the exterior algebra
Published
• View Publication
• BIB
We study the ring of quasisymmetric polynomials in $n$ anticommuting (fermionic) variables. Let $R_n$ denote the polynomials in $n$ anticommuting variables. The main results of this paper show the following interesting facts about quasisymmetric polynomials in anticommuting variables:
(1) The quasisymmetric polynomials in $R_n$ form a commutative sub-algebra of $R_n$.
(2) There is a basis of the quotient of $R_n$ by the ideal $I_n$ generated by the quasisymmetric polynomials in $R_n$ that is indexed by ballot sequences. The Hilbert series of the quotient is given by
$$ \text{Hilb}_{R_n/I_n}(q) = \sum_{k=0}^{\lfloor{n/2}\rfloor} f^{(n-k,k)} q^k\,,$$ where $f^{(n-k,k)}$ is the number of standard tableaux of shape $(n-k,k)$.
(3) There is a basis of the ideal generated by quasisymmetric polynomials that is indexed by sequences that break the ballot condition
A classification of finite primitive IBIS groups with alternating socle
Published
• View Publication
• BIB
Let $G$ be a finite permutation group on $Ω$. An ordered sequence $(ω_1,\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group.
Lucchini, Morigi and Moscatiello have proved a theorem reducing the problem of classifying finite primitive IBIS groups $G$ to the case that the socle of $G$ is either abelian or non-abelian simple.
In this paper, we classify the finite primitive IBIS groups having socle an alternating group. Moreover, we propose a conjecture aiming to give a classification of all almost simple primitive IBIS groups.
A hidden signal in Hofstadter's $H$ sequence
The Hofstadter $H$ sequence is defined by $H(1) = 1$ and $H(n) = n-H(H(H(n-1)))$ for $n > 1$. If $α$ is the real root of $x^3+x=1$ we show that the numbers $αH(n) \mod 1$ are not uniformly distributed on $[0,1]$, but converge to a distribution we believe is continuous but not differentiable. This is motivated by a discovery of Steinerberger, who found a real number with similar behavior for the Ulam sequence. Our result is related with the fact that a certain sequence defined from the linear recurrence $h_n=h_{n-1}+h_{n-3}$ has the property $\|x h_n\| \rightarrow 0$ precisely for $x \in \mathbb{Z}[α]$, a phenomenon we inquire for general linear recurrent sequences of integers.
Exceptional sequences in the derived category of a gentle algebra
Published
• View Publication
• BIB
In this paper, using the correspondence of gentle algebras and dissections of marked surfaces, we study full exceptional sequences in the perfect derived category $\mathsf{K^b(A)}$ of a gentle algebra $\mathsf{A}$. We show that full exceptional sequences in $\mathsf{K^b(A)}$ exist if and only if the associated marked surface has no punctures and has at least two marked points on the boundary. Furthermore, by using induction on cuts of surfaces, we characterise when an exceptional sequence can be completed to a full exceptional sequence. If the genus of the associated surface is zero then we show that the action of the braid group together with the grading shift on full exceptional sequences in $\mathsf{K^b(A)}$ is transitive. For the case of surfaces of higher genus, we reduce the problem of transitivity to the problem of the existence of certain sequences of pairs of exceptional objects. Finally, we interpret the duality of a full exceptional sequence induced by the longest element in the associated symmetric group using Koszul duality.
Tilings of the sphere by congruent quadrilaterals II: edge combination $a^3 b$ with rational angles
Published
• View Publication
• BIB
Edge-to-edge tilings of the sphere by congruent quadrilaterals are completely classified in a series of three papers. This second one applies the powerful tool of trigonometric Diophantine equations to classify the case of $a^3b$-quadrilaterals with all angles being rational degrees. There are $12$ sporadic and $3$ infinite sequences of quadrilaterals admitting the $2$-layer earth map tilings together with their modifications, and $3$ sporadic quadrilaterals admitting $4$ exceptional tilings. Among them only $3$ quadrilaterals are convex. New interesting non-edge-to-edge triangular tilings are obtained as a byproduct.
The zero locus and some combinatorial properties of certain exponential Sheffer sequences
Published
• View Publication
• BIB
We present combinatorial and analytical results concerning a Sheffer sequence with an exponential generating function of the form $G(s,z)=e^{czs+αz^{2}+βz^{4}}$, where $α, β, c \in \mathbb{R}$ with $β<0$ and $c\neq 0$. We demonstrate that the zeros of all polynomials in such a Sheffer sequence are either real, or purely imaginary. Additionally, using the properties of Riordan matrices we show that our Sheffer sequence satisfies a three-term recurrence relation of order 4, and we also exhibit a connection between the coefficients of these Sheffer polynomials and the number of nodes with a a given label in certain marked generating trees.
A Note on the Fibonacci Sequence and Schreier-type Sets
Published
• View Publication
• BIB
A set $A$ of positive integers is said to be Schreier if either $A = \emptyset$ or $\min A\ge |A|$. We give a bijective map to prove the recurrence of the sequence $(|\mathcal{K}_{n, p, q}|)_{n=1}^\infty$ (for fixed $p\ge 1$ and $q\ge 2$), where $$\mathcal{K}_{n, p, q} \ = \ \{A\subset \{1, \ldots, n\}\,:\, \mbox{either }A = \emptyset \mbox{ or } (\max A-\max_2 A = p\mbox{ and }\min A\ge |A|\ge q)\}$$ and $\max_2 A$ is the second largest integer in $A$, given that $|A|\ge 2$. When $p = 1$ and $q=2$, we have that $(|\mathcal{K}_{n, 1, 2}|)_{n=1}^\infty$ is the Fibonacci sequence. As a corollary, we obtain a new combinatorial interpretation for the sequence $(F_n + n)_{n=1}^\infty$.
Localized versions of extremal problems
Published
• View Publication
• BIB
We generalize several classical theorems in extremal combinatorics by replacing a global constraint with an inequality which holds for all objects in a given class. In particular we obtain generalizations of Turán's theorem, the Erdős-Gallai theorem, the LYM-inequality, the Erdős-Ko-Rado theorem and the Erdős-Szekeres theorem on sequences.
Polynomial reduction for holonomic sequences and applications in $π$-series and congruences
Published
• View Publication
• BIB
Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As applications, we describe an algorithmic way to prove and generate new multi-summation identities. Especially we present new families of $π$-series involving Domb numbers and Franel numbers.
Transference for loose Hamilton cycles in random $3$-uniform hypergraphs
Published
• View Publication
• BIB
A loose Hamilton cycle in a hypergraph is a cyclic sequence of edges covering all vertices in which only every two consecutive edges intersect and do so in exactly one vertex. With Dirac's theorem in mind, it is natural to ask what minimum $d$-degree condition guarantees the existence of a loose Hamilton cycle in a $k$-uniform hypergraph. For $k=3$ and each $d \in \{1,2\}$, the necessary and sufficient such condition is known precisely. We show that these results adhere to a `transference principle' to their sparse random analogues. The proof combines several ideas from the graph setting and relies on the absorbing method. In particular, we employ a novel approach of Kwan and Ferber for finding absorbers in subgraphs of sparse hypergraphs via a contraction procedure. In the case of $d = 2$, our findings are asymptotically optimal.
Two disjoint cycles in digraphs
Published
• View Publication
• BIB
Bermond and Thomassen conjectured that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex disjoint cycles. So far the conjecture was verified for $k\le 3$. Here we generalise the question asking for all outdegree sequences which force $k$ vertex disjoint cycles and give the full answer for $k\le 2$.
On congruence schemes for constant terms and their applications
Published
• View Publication
• BIB
Rowland and Zeilberger devised an approach to algorithmically determine the modulo $p^r$ reductions of values of combinatorial sequences representable as constant terms (building on work of Rowland and Yassawi). The resulting $p$-schemes are systems of recurrences and, depending on their shape, are classified as automatic or linear. We revisit this approach, provide some additional details such as bounding the number of states, and suggest a third natural type of scheme that combines benefits of automatic and linear ones. We illustrate the utility of these "scaling" schemes by confirming and extending a conjecture of Rowland and Yassawi on Motzkin numbers.
On a Relation between Schreier-type Sets and a Modification of Turán Graphs
Recently, a relation between Schreier-type sets and Turán graphs was discovered. In this note, we give a combinatorial proof and obtain a generalization of the relation. Specifically, for $p, q\ge 1$, let $$\mathcal{A}_q := \{F\subset\mathbb{N}: |F| = 1 \mbox{ or }F\mbox{ is an arithmetic progression with difference } q\}$$ and $$Sr(n, p, q)\ :=\ \#\{F\subset \{1, \ldots, n\}\,:\, p\min F\ge |F|\mbox{ and }F\in \mathcal{A}_q\}.$$ We show that $$Sr(n, p, q) \ =\ T(n+1, pq+1, q),$$ where $T(\cdot, \cdot, \cdot)$ is the number of edges of an $n$-vertex graph that is a modification of Turán graphs. We also prove that $Sr(n,p,q)$ is the partial sum of certain sequences.
Additive dimension and the growth of sets
Published
• View Publication
• BIB
We develop the theory of the additive dimension ${\rm dim} (A)$, i.e. the size of a maximal dissociated subset of a set $A$. It was shown that the additive dimension is closely connected with the growth of higher sumsets $nA$ of our set $A$. We apply this approach to demonstrate that for any small multiplicative subgroup $Γ$ the sequence $|nΓ|$ grows very fast. Also, we obtain a series of applications to the sum--product phenomenon and to the Balog--Wooley decomposition--type results.
Random cluster model on regular graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$ with $v(G)$ vertices the partition function of the random cluster model is defined by $$Z_G(q,w)=\sum_{A\subseteq E(G)}q^{k(A)}w^{|A|},$$ where $k(A)$ denotes the number of connected components of the graph $(V,A)$. Furthermore, let $g(G)$ denote the girth of the graph $G$, that is, the length of the shortest cycle.
In this paper we show that if $(G_n)_n$ is a sequence of $d$-regular graphs such that the girth $g(G_n)\to \infty$, then the limit $$\lim_{n\to \infty} \frac{1}{v(G_n)}\ln Z_{G_n}(q,w)=\ln Φ_{d,q,w}$$ exists if $q\geq 2$ and $w\geq 0$. The quantity $Φ_{d,q,w}$ can be computed as follows. Let $$Φ_{d,q,w}(t):=\left(\sqrt{1+\frac{w}{q}}\cos(t)+\sqrt{\frac{(q-1)w}{q}}\sin(t)\right)^{d}+(q-1)\left(\sqrt{1+\frac{w}{q}}\cos(t)-\sqrt{\frac{w}{q(q-1)}}\sin(t)\right)^{d},$$ then $$Φ_{d,q,w}:=\max_{t\in [-π,π]}Φ_{d,q,w}(t),$$ The same conclusion holds true for a sequence of random $d$-regular graphs with probability one.
Our result extends the work of Dembo, Montanari, Sly and Sun for the Potts model (integer $q$), and we prove a conjecture of Helmuth, Jenssen and Perkins about the phase transition of the random cluster model with fixed $q$.
Metric dimension of growing infinite graphs
We investigate how the metric dimension of infinite graphs change when we add edges to the graph. Our two main results: (1) there exists a growing sequence of graphs (under the subgraph relation, but without adding vertices) for which the metric dimension changes between finite and infinite infinitely many times; (2) finite changes in the edge set can not change the metric dimension from finite to infinite or vice versa.