arXiv++ Combinatorics

In this paper we study a certain kind of generalized linear Diophantine problem of Frobenius. Let $a_1,a_2,\dots,a_l$ be positive integers such that their greatest common divisor is one. For a nonnegative integer $p$, denote the $p$-Frobenius number by $g_p(a_1,a_2,\dots,a_l)$, which is the largest integer that can be represented at most $p$ ways by a linear combination with nonnegative integer coefficients of $a_1,a_2,\dots,a_l$. When $p=0$, $0$-Frobenius number is the classical Frobenius number. When $l=2$, $p$-Frobenius number is explicitly given. However, when $l=3$ and even larger, even in special cases, it is not easy to give the Frobenius number explicitly, and it is even more difficult when $p>0$, and no specific example has been known. However, very recently, we have succeeded in giving explicit formulas for the case where the sequence is of triangular numbers or of repunits for the case where $l=3$. In this paper, we show the explicit formula for the Fibonacci triple when $p>0$. In addition, we give an explicit formula for the $p$-Sylvester number, that is, the total number of nonnegative integers that can be represented in at most $p$ ways. Furthermore, explicit formulas are shown concerning the Lucas triple.

This paper completes the classification of maximal unrefinable partitions, extending a previous work of Aragona et al. devoted only to the case of triangular numbers. We show that the number of maximal unrefinable partitions of an integer coincides with the number of suitable partitions into distinct parts, depending on the distance from the successive triangular number.

A partition into distinct parts is refinable if one of its parts $a$ can be replaced by two different integers which do not belong to the partition and whose sum is $a$, and it is unrefinable otherwise. Clearly, the condition of being unrefinable imposes on the partition a non-trivial limitation on the size of the largest part and on the possible distributions of the parts. We prove a $O(n^{1/2})$-upper bound for the largest part in an unrefinable partition of $n$, and we call maximal those which reach the bound. We show a complete classification of maximal unrefinable partitions for triangular numbers, proving that if $n$ is even there exists only one maximal unrefinable partition of $n(n+1)/2$, and that if $n$ is odd the number of such partitions equals the number of partitions of $\lceil n/2\rceil$ into distinct parts. In the second case, an explicit bijection is provided.

We develop a calculus that gives an elementary approach to enumerate partition-like objects using an infinite upper-triangular number-theoretic matrix. We call this matrix the Partition-Frequency Enumeration (PFE) matrix. This matrix unifies a large number of results connecting number-theoretic functions to partition-type functions. The calculus is extended to arbitrary generating functions, and functions with Weierstrass products. As a by-product, we recover (and extend) some well-known recurrence relations for many number-theoretic functions, including the sum of divisors function, Ramanujan's $τ$ function, sums of squares and triangular numbers, and for $ζ(2n)$, where $n$ is a positive integer. These include classical results due to Euler, Ewell, Ramanujan, Lehmer and others. As one application, we embed Ramanujan's famous congruences $p(5n+4)\equiv 0$ (mod $5)$ and $τ(5n+5)\equiv 0$ (mod $5)$ into an infinite family of such congruences.

In 1882 J.J. Sylvester already proved, that the number of different ways to partition a positive integer into consecutive positive integers exactly equals the number of odd divisors of that integer (see [1]). We will now develop an interesting statement about triangular numbers, those positive integers which can be partitioned into consecutive numbers beginning at 1. For every partition of a triangular number n into consecutive numbers we can partition the sequence of numbers beginning at 1, adding up to n again, such that every part of this partition adds up to exactly one number of the chosen partition of n.

Using a general $q$-series expansion, we derive some nontrivial $q$-formulas involving many infinite products. A multitude of Hecke--type series identities are derived. Some general formulas for sums of any number of squares are given. A new representation for the generating function for sums of three triangular numbers is derived, which is slightly different from that of Andrews, also implies the famous result of Gauss where every integer is the sum of three triangular numbers.

We examine the quantity \[S(G) = \sum_{uv\in E(G)} \min(\text{deg } u, \text{deg } v)\] over sets of graphs with a fixed number of edges. The main result shows the maximum possible value of $S(G)$ is achieved by three different classes of constructions, depending on the distance between the number of edges and the nearest triangular number. Furthermore we determine the maximum possible value when the set of graphs is restricted to be bipartite, a forest or to be planar given sufficiently many edges. The quantity $S(G)$ corresponds to the difference between two well studied indices, the irregularity of a graph and the sum of the squares of the degrees in a graph. These are known as the first and third Zagreb indices in the area of mathematical chemistry.

In this paper, we study $F_{n}(x,k)$, the number of binary strings of length $n$ containing $x$ zeros and a longest subword of $k$ zeros. A recurrence relation for $F_{n}(x,k)$ is derived. We expressed few known numbers like Fibonacci, triangular, number of binary strings of length $n$ without $r$-runs of ones and number of compositions of $n+1$ with largest summand $k+1$ in terms of $F_{n}(x,k).$ Similar results and applications were obtained for F$_{n}(x,k),$ the number of all palindromic binary strings of length $n$ containing $x$ zeros and longest $k$-runs of zeros.

Highlighting the use of critical classes, we consider constituents in Kronecker products, in particular of spin characters of the double covers of the symmetric and alternating groups. We apply results from the spin case to find constituents in Kronecker products of characters of the symmetric groups. Via this tool, we make progress on the Saxl conjecture; this claims that for a triangular number $n$, the square of the irreducible character of the symmetric group $S_n$ labelled by the staircase contains all irreducible characters of $S_n$ as constituents. We find a large number of constituents in this square which were not detected by other methods. Moreover, the investigation of Kronecker products of spin characters inspires a spin variant of Saxl's conjecture.

Integer partitions which are simultaneously $t$--cores for distinct values of $t$ have attracted significant interest in recent years. When $s$ and $t$ are relatively prime, Olsson and Stanton have determined the size of the maximal $(s,t)$-core $κ_{s,t}$. When $k\geq 2$, a conjecture of Amdeberhan on the maximal $(2k-1,2k,2k+1)$-core $κ_{2k-1,2k,2k+1}$ has also recently been verified by numerous authors. In this work, we analyze the relationship between maximal $(2k-1,2k+1)$-cores and maximal $(2k-1,2k,2k+1)$-cores. In previous work, the first author noted that, for all $k\geq 1,$ $$ \vert \, κ_{2k-1,2k+1}\, \vert = 4\vert \, κ_{2k-1,2k,2k+1}\, \vert $$ and requested a combinatorial interpretation of this unexpected identity. Here, using the theory of abaci, partition dissection, and elementary results relating triangular numbers and squares, we provide such a combinatorial proof.

The Bulgarian solitaire is a mathematical card game played by one person. A pack of n cards is divided into several decks (or "piles"). Each move consists of the removing of one card from each deck and collecting the removed cards to form a new deck. The game ends when the same position occurs twice. It has turned out that when n=k(k+1)/2 is a triangular number, the game reaches the same stable configuration with size of the piles 1,2,...,k. The purpose of the paper is to tell the (quite amusing) story of the game and to discuss mathematical problems related with the Bulgarian solitaire. The paper is dedicated to the memory of Borislav Bojanov (1944-2009), a great mathematician, person, and friend, and one of the main protagonists in the story of the Bulgarian solitaire.

The notion of broken $k$-diamond partitions was introduced by Andrews and Paule. Let $Δ_k(n)$ denote the number of broken k-diamond partitions of $n$. They also posed three conjectures on the congruences of $Δ_2(n)$ modulo 2, 5 and 25. Hirschhorn and sellers proved the conjectures for modulo 2, and Chan proved cases of modulo 5. For the case of modulo 3, Radu and Sellers obtained an infinite family of congruences for $Δ_2(n)$. In this paper, we obtain two infinite families of congruences for $Δ_2(n)$ modulo 3 based on a formula of Radu and Sellers, the 3-dissection formula of the generating function of triangular number due to Berndt, and the properties of the $U$-operator, the $V$-operator, the Hecke operator and the Hecke eigenform. For example, we find that $Δ_2(243n+142)\equiv Δ_2(243n+223)\equiv0\pmod{3}$. The infinite family of Radu and Sellers and the two infinite families derived in this paper have two congruences in common, namely, $Δ_2(27n+16)\equivΔ_2(27n+25)\equiv0 \pmod{3}$.

By relating the number of images of a function with finite domain to a certain parameter, we obtain both an upper and lower bound for the image set. Even though the arguments are elementary, the bounds are, in some sense, best possible. The upper bound is also connected to triangular numbers, and a slight improvement to this bound could be obtained by resolving a problem on them. In the final section, we consider implications of our bounds in various settings, including finite fields, coding theory and additive combinatorics. In particular, we obtain the first non-trivial upper bound for the image set of a planar function over a finite field; this bound is better than the bound implied by the Dembowski-Ostrom conjecture.

Let S_n denote the symmetric group of all permutations of the set {1, 2, ...,n} and let S = \cup_{n\ge0} S_n. If Pi is a set of permutations, then we let Av_n(Pi) be the set of permutations in S_n which avoid every permutation of Pi in the sense of pattern avoidance. One of the celebrated notions in pattern theory is that of Wilf-equivalence, where Pi and Pi' are Wilf equivalent if #Av_n(Pi)=#Av_n(Pi') for all n\ge0. In a recent paper, Sagan and Savage proposed studying a q-analogue of this concept defined as follows. Suppose st:S->N is a permutation statistic where N represents the nonnegative integers. Consider the corresponding generating function, F_n^{st}(Pi;q) = sum_{sigma in Av_n(Pi)} q^{st sigma}, and call Pi,Pi' st-Wilf equivalent if F_n^{st}(Pi;q)=F_n^{st}(Pi';q) for all n\ge0. We present the first in-depth study of this concept for the inv and maj statistics. In particular, we determine all inv- and maj-Wilf equivalences for any Pi containd in S_3. This leads us to consider various q-analogues of the Catalan numbers, Fibonacci numbers, triangular numbers, and powers of two. Our proof techniques use lattice paths, integer partitions, and Foata's fundamental bijection. We also answer a question about Mahonian pairs raised in the Sagan-Savage article.

Let $NPO(k)$ be the smallest number $n$ such that the adjacency matrix of any undirected graph with $n$ vertices or more has at least $k$ nonpositive eigenvalues. We show that $NPO(k)$ is well-defined and prove that the values of $NPO(k)$ for $k=1,2,3,4,5$ are $1,3,6,10,16$ respectively. In addition, we prove that for all $k \geq 5$, $R(k,k+1) \ge NPO(k) > T_k$, in which $R(k,k+1)$ is the Ramsey number for $k$ and $k+1$, and $T_k$ is the $k^{th}$ triangular number. This implies new lower bounds for eigenvalues of Laplacian matrices: the $k$-th largest eigenvalue is bounded from below by the $NPO(k)$-th largest degree, which generalizes some prior results.

We prove that a positive integer not of the form, 4^{k}(8m+7) can be expressible as a sum of three or fewer squares by using some results of Kane and Sun on mixed sums of squares and triangular numbers.

In 1997 K. Ono and K. Soundararajan [Invent. Math. 130(1997)] proved that under the generalized Riemann hypothesis any positive odd integer greater than 2719 can be represented by the famous Ramanujan form $x^2+y^2+10z^2$, equivalently the form $2x^2+5y^2+4T_z$ represents all integers greater than 1359, where $T_z$ denotes the triangular number $z(z+1)/2$. Given positive integers $a,b,c$ we employ modular forms and the theory of quadratic forms to determine completely when the general form $ax^2+by^2+cT_z$ represents sufficiently large integers and establish similar results for the forms $ax^2+bT_y+cT_z$ and $aT_x+bT_y+cT_z$. Here are some consequences of our main theorems: (i) All sufficiently large odd numbers have the form $2ax^2+y^2+z^2$ if and only if all prime divisors of $a$ are congruent to 1 modulo 4. (ii) The form $ax^2+y^2+T_z$ is almost universal (i.e., it represents sufficiently large integers) if and only if each odd prime divisor of $a$ is congruent to 1 or 3 modulo 8. (iii) $ax^2+T_y+T_z$ is almost universal if and only if all odd prime divisors of $a$ are congruent to 1 modulo 4. (iv) When $v_2(a)\not=3$, the form $aT_x+T_y+T_z$ is almost universal if and only if all odd prime divisors of $a$ are congruent to 1 modulo 4 and $v_2(a)\not=5,7,...$, where $v_2(a)$ is the 2-adic order of $a$.

In this paper we confirm a conjecture of Sun which states that each positive integer is a sum of a square, an odd square and a triangular number. Given any positive integer m, we show that p=2m+1 is a prime congruent to 3 modulo 4 if and only if T_m=m(m+1)/2 cannot be expressed as a sum of two odd squares and a triangular number, i.e., p^2=x^2+8(y^2+z^2) for no odd integers x,y,z. We also show that a positive integer cannot be written as a sum of an odd square and two triangular numbers if and only if it is of the form 2T_m (m>0) with 2m+1 having no prime divisor congruent to 3 modulo 4.

The aim of this paper is to further explore an idea from J.-L. Loday briefly exposed in [5]. We impose a natural and simple symmetry on a unit action over the most general quadratic relation which can be written. This leads us to two families of binary, quadratic and regular operads whose free objects, as well as their duals in the sense of Ginzburg and Kapranov are computed. Roughly speaking, free objects found here are in relation to $m$-ary trees, triangular numbers and more generally $m$-tetrahedral numbers, homogeneous polynomials on $m$ commutative indeterminates over a field $K$ and polygonal numbers. Involutive connected P-Hopf algebras are constructed and a link to genomics is discussed. We also propose in conclusion some open questions.

For an integer $x$ let $t_x$ denote the triangular number $x(x+1)/2$. Following a recent work of Z. W. Sun, we show that every natural number can be written in any of the following forms with $x,y,z\in\Z$: $$x^2+3y^2+t_z, x^2+3t_y+t_z, x^2+6t_y+t_z, 3x^2+2t_y+t_z, 4x^2+2t_y+t_z.$$ This confirms a conjecture of Sun.