partition
6235 papers tagged with this keyword
New combinatorial proof of Gaussian polynomial and the monotonicity of the Garvan's $k$-rank
Gaussian polynomial, which is also known as $q$-binomial coefficient, is one of the fundamental concepts in the theory of partitions. Zeilberger provided a combinatorial proof of Gaussian polynomial, which is called Algorithm Z by Andrews and Bressoud. In this paper, we provide a new bijection on Gaussian polynomial, which leads to a refinement of Algorithm Z. Moreover, using this bijection, we provide an alternative proof of generalized Rogers-Ramanujan identity, which was first proved by Bressoud and Zeilberger. Furthermore, we give a combinatorial proof of the monotonicity property of Garvan's $k$-rank, which is a generalization of Dyson's rank and Andrews-Garvan's crank.
An update on the existence of integer Heffter arrays
An integer Heffter array $H(m,n;s;k)$ is an $m\times n$ partially filled array whose entries are the elements of a subset $Ω\subset \mathbb{Z}$ such that $\{Ω,-Ω\}$ is a partition of the set $\{1,2,\ldots,2nk\}$ and such that the following conditions are satisfied: each row contains $s$ filled cells, each column contains $k$ filled cells, the elements in every row and column add up to $0$. It was conjectured by Dan Archdeacon that an integer $\H(m,n;s;k)$ exists if and only if $ms=nk$, $3\leq s \leq n$, $3\leq k\leq m$ and $nk\equiv 0,3\pmod 4$. In this paper, we provide new constructions of these objects that allow us to prove the validity of Archdeacon's conjecture in each admissible case, except when $k=3,5$ and $s\not \equiv 0\pmod 4$ is such that $\gcd(s,k)=1$.
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
The binomial notation (w u) represents the number of occurrences of the word u as a (scattered) subword in w. We first introduce and study possible uses of a geometrical interpretation of (w ab) and (w ba) when a and b are distinct letters. We then study the structure of the 2-binomial equivalence class of a binary word w (two words are 2-binomially equivalent if they have the same binomial coefficients, that is, the same numbers of occurrences, for each word of length at most 2). Especially we prove the existence of an isomorphism between the graph of the 2-binomial equivalence class of w with respect to a particular rewriting rule and the lattice of partitions of the integer (w ab) with (w a) parts and greatest part bounded by (w b). Finally we study binary fair words, the words over {a, b} having the same numbers of occurrences of ab and ba as subwords ((w ab) = (w ba)). In particular, we prove a recent conjecture related to a special case of the least square approximation.
Upper Bounds on the Chromatic Index of Linear Hypergraphs
We address the problem of finding upper bounds on the chromatic index $q(V,E)$ of linear (and loopless) hypergraphs. The first bound we find is defined through a color-preserving group on a proper and minimally edge-colored linear hypergraph, whose orbits serve as a finer partition to the hypergraph's coloring, thereby yielding an upper bound on $q(V,E)$. The next set of theorems in this paper relates to combinatorial properties of hypergraph coloring. Our results suggest a plausible approach to solving the Berge-Füredi conjecture, providing an upper bound on the chromatic index that directly relates $q(V,E)$ and $Δ([(V,E)]_{2}) + 1$. Furthermore, we provide three sufficient conditions for the conjecture to hold within this framework, when involving the Helly property for hypergraphs.
A quantum N-dimer model
We study a quantum version of the $n$-dimer model from statistical mechanics, based on the formalism from quantum topology developed by Reshetikhin and Turaev (the latter which, in particular, can be used to construct the Jones polynomial of a knot in $\mathbb{R}^3$). We apply this machinery to construct an isotopy invariant polynomial for knotted bipartite ribbon graphs in $\mathbb{R}^3$, giving, in the planar setting, a quantum $n$-dimer partition function. As one application, we compute the expected number of loops in the (classical) double dimer model for planar bipartite graphs.
Explicit Universal Bounds for Cumulants via Moments
We establish explicit, universal, and distribution-free bounds for the $n$-th cumulant, $κ_n(X)$, of a scalar random variable, controlled solely by an $n$-th order absolute moment functional $M_n(X)$. The bounds take the form $\lvertκ_n(X)\rvert \le C_n M_n(X)$. Our principal contribution is the derivation of coefficients satisfying $C_n \sim (n-1)!/ρ^{\,n}$, which offers an exponential improvement over classical bounds where the coefficients grow superexponentially (on the order of $n^n$).
We present a hierarchy of refinements where the rate parameter $ρ$ increases as the functional $M_n(X)$ incorporates more structural information. The most general bound uses the raw moment $M_n(X)=\mathsf{E}[\lvert X\rvert^n]$ with rate $ρ=\ln 2 \approx 0.693$. Using the central moment $M_n(X)=\mathsf{E}[\lvert X-\mathsf{E}[X]\rvert^n]$ improves the rate to $ρ_{\mathrm{cen}} \approx 1.146$, while assuming symmetry yields even higher rates.
The proof is elementary, combining the moment-cumulant partition formula with a uniform moment-product inequality. We further prove that while these bounds are strict (not attainable by non-degenerate distributions), they are asymptotically efficient given the limited information of a single moment. The utility of the bounds is demonstrated through applications to analyticity of CGFs and concentration inequalities.
Sum of elements preceding records in set partitions
In this paper, we aim to derive an explicit formula for the total number of elements preceding records over all set partitions of $[n]$ with exactly $k$ blocks, as well as an asymptotic estimate for the total sum of elements preceding records in all set partitions of $[n]$, expressed in terms of Bell numbers. To achieve this, we analyze the generating function that enumerates set partitions of $[n]$ according to this statistic, which we denote by $\sumelements$.
Mock modular forms from the k-rank moments
In this paper, the generating functions of Garvans so-called $k$-ranks are used, to define a family of mock Eisenstein series. The $k$-rank moments are then expressed as partition traces of these functions. We explore the modular properties of this new family, give recursive formulas for them involving divisor like sums, and prove that their Fourier coefficient are integral. Furthermore, we show that these functions lie in an algebra that is generated only by derivatives up to a finite order but is nevertheless closed under differentiation. In the process, we also answer a question raised by Bringmann, Pandey and van Ittersum by showing that the divisor like sum $$\left(1-2^{\ell-1} \right) \frac{B_\ell}{2\ell}+ \sum_{2n-1 \geq bm \geq b} (2n-bm)^{\ell-1} q^{mn} - \sum_{m-1 \geq 2bn \geq 2b} (m-2bn)^{\ell-1} q^{mn},$$ has a quasi-completion, when $b\geq 3$ is odd.
Quantum walks on finite and bounded infinite graphs
A weighted graph $G$ with countable vertex set is bounded if there is an upper bound on the maximum of the sum of absolute values of all edge weights incident to a vertex in $G$. In this paper, we prove a fundamental result on equitable partitions of bounded weighted graphs with twin subgraphs and use this fact to construct finite and bounded infinite graphs with pair and plus state transfer with the adjacency matrix as a Hamiltonian. We show that for each $k \ge 3$, (i) there are infinitely many connected unweighted graphs with maximum degree $k$ admitting pair state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$, and (ii) there are infinitely many signed graphs with exactly one negative edge weight and whose underlying unweighted graphs have maximum degree $k$ admitting plus state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$. Parallel results are proven for perfect state transfer between a plus state and a pair state, and for the existence of sedentary pair and plus states. We further prove that almost all connected unweighted finite planar graphs admit pair state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$, and almost all connected unweighted finite planar graphs can be assigned a single negative edge weight resulting in plus state transfer, or perfect state transfer between a plus state and a pair state, at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$. Analogous results are shown to hold for unweighted finite trees. Using blow-up graphs, Cayley graphs and graphs with tails, we construct new infinite families of (finite and infinite) unweighted graphs and signed graphs admitting pair or plus state transfer.
Obstructions for normally spanned sets of vertices
Halin conjectured that a graph has a normal spanning tree if and only if every minor of it has countable colouring number. This has recently been proven by the second author.
In this paper, we strengthen this result by establishing the following local version of it: Given a prescribed set of vertices $U$ in a connected graph $G$, there is a normal tree in $G$ that includes $U$ if and only if every $U$-rooted minor of $G$ (i.e. a minor every branch set of which meets $U$) has countable colouring number.
Our proof relies on a novel approach that combines normal partition trees as introduced by Brochet and Diestel with a suitable closure argument developed by Robertson, Seymour and Thomas in their discussion of infinite graphs of finite tree width.
Yamaguti algebras and noncrossing partitions
Recently, Das defined a new type of algebras, the Yamaguti algebras, which are supposed to serve as envelopes of Lie-Yamaguti algebras appearing naturally in differential geometry. We show that the nonsymmetric operad of Yamaguti algebras admit a simple combinatorial description via noncrossing partitions without singleton blocks.
Elementary Proofs and Generalizations of Recent Congruences of Thejitha and Fathima
Motivated by recent work of Hirschhorn and the author, Thejitha and Fathima recently considered arithmetic properties satisfied by the function $a_5(n)$ which counts the number of integer partitions of weight $n$ wherein even parts come in only one color (i.e., they are monochromatic), while the odd parts may appear in one of five colors. They proved two sets of Ramanujan--like congruences satisfied by $a_5(n)$, relying heavily on modular forms. In this note, we prove their results via purely elementary means, utilizing generating function manipulations and elementary $q$-series dissections. We then extensively generalize these two sets of congruences to infinite families of divisibility properties in which the results of Thejitha and Fathima are specific instances.
The Log-Rank Conjecture: New Equivalent Formulations
The log-rank conjecture is a longstanding open problem with multiple equivalent formulations in complexity theory and mathematics. In its linear-algebraic form, it asserts that the rank and partitioning number of a Boolean matrix are quasi-polynomially related.
We propose a relaxed but still equivalent version of the conjecture based on a new matrix parameter, signed rectangle rank: the minimum number of all-1 rectangles needed to express the Boolean matrix as a $\pm 1$-sum. Signed rectangle rank lies between rank and partition number, and our main result shows that it is in fact equivalent to rank up to a logarithmic factor. Additionally, we extend the main result to tensors. This reframes the log-rank conjecture as: can every signed decomposition of a Boolean matrix be made positive with only quasi-polynomial blowup?
As an application, we prove an equivalence between the log-rank conjecture and a conjecture of Lovett and Singer-Sudan on cross-intersecting set systems.
Latin squares with three disjoint subsquares of the same order
Given an integer partition $P = (h_1h_2\dots h_k)$ of $n$, a realization of $P$ is a latin square with disjoint subsquares of orders $h_1,h_2,\dots,h_k$. Most known results restrict either $k$ or the number of different integers in $P$. There is little known for partitions with arbitrary $k$ and subsquares of at least three orders. It has been conjectured that if $h_1=h_2=h_3\geq h_4\geq\dots\geq h_k$ then a realization of $P$ always exists. We prove this conjecture, and thus show the existence of realizations for many general partitions.
Random Finite Sumsets and Product Sets in Subsets of the Natural Numbers
We investigate the occurrence of additive and multiplicative structures in random subsets of the natural numbers. Specifically, for a Bernoulli random subset of $\mathbb{N}$ where each integer is included independently with probability $p\in (0,1)$, we prove that almost surely such a set contains finite sumsets (FS-sets) and finite product sets (FP-sets) of every finite length. In addition, we establish a novel connection between Hindman's partition theorem and the central limit theorem, providing a probabilistic perspective on the asymptotic Gaussian behavior of monochromatic finite sums and products. These results can be interpreted as probabilistic analogues of finite-dimensional versions of Hindman's theorem. Applications, implications, and open questions related to infinite FS-sets and FP-sets are discussed.
On partitions associated with elementary symmetric polynomials
The elementary symmetric partition function is a map on the set of partitions. It sends a partition lambda to the partition whose parts are the summands in the evaluation of the elementary symmetric function on the parts of lambda. These elementary symmetric partition functions have been studied before, and are related to plethysm. In this note, we study properties of the elementary symmetric partition functions, particularly related to injectivity and the number of parts appearing in their image partitions.
Perfect Fractional Matchings in Bipartite Graphs Via Proportional Allocations
Given a bipartite graph that has a perfect matching, a prefect proportional allocation is an assignment of positive weights to the nodes of the right partition so that every left node is fractionally assigned to its neighbors in proportion to their weights, and these assignments define a fractional perfect matching. We prove that a bipartite graph has a perfect proportional allocation if and only if it is matching covered, by using a classical result on matrix scaling. We also present an extension of this result to provide simple proportional allocations in non-matching-covered bipartite graphs.
Euler-type Recurrence Relation for Arbitrary Arithmetical Function
Published in INTEGERS Vol. 19 (2019) #A62
• Search Publication
An interplay between the Lambert series and Euler's Pentagonal Number Theorem gives an Euler-type recurrence relation for any given arithmetical function. As consequences of this, we present Euler-type recurrence relations for some well-known arithmetic functions. Furthermore, we derive Euler-type recurrence relations for certain partition functions and sum-of-divisors functions using infinite product identities of Jacobi and Gauss.
Equal knapsack identities between symmetric group character degrees
We prove a series of ``knapsack'' type equalities for irreducible character degrees of symmetric groups. That is, we find disjoint subsets of the partitions of $n$ so that the two corresponding character-degree sums are equal. Our main result refines our recent description of the Riordan numbers as the sum of all character degrees $f^λ$ where $λ$ is a partition of $n$ into three parts of the same parity. In particular, the sum of the ``fat-hook'' degrees $f^{(k,k,1^{n-2k})}+f^{(k+1,k+1,1^{n-2k-2})}$ equals the sum of all $f^λ$ where $λ$ has three parts, with the second equal to $k$ and the second and third of equal parity. We further prove an infinite family of additional ``knapsack'' identities between character degrees
Representation Theoretic Bases for the $Δ$-Springer Module
We give a descent monomial basis of $Δ$-Springer modules $R_{n,λ,s}$, first defined by Griffin. Our construction simultaneously generalizes the descent basis for the Garsia-Procesi module $R_λ$ studied by Carlsson-Chou and Hanada, as well as the descent basis for the generalized coinvariant algebras $R_{n,k}$ studied by Haglund-Rhoades-Shimozono. This basis is deeply connected with a combinatorial object called battery-powered tableaux, introduced by Gillespie-Griffin. We highlight the representation theoretic properties of this monomial basis by using it to give a direct combinatorial proof of the graded Frobenius character of $R_{n,λ,s}$ in terms of battery-powered tableaux, a fact which has only the geometric proof of Gillespie-Griffin.
We also conjecture a higher Specht basis of $R_{n,λ,s}$, generalizing the higher Specht basis of the coinvariant ring defined in Ariki-Terasoma-Yamada. This construction coincides with the Gillespie-Rhoades higher Specht basis for $R_{n,k}$. We give a proof for when $λ= (λ_1,λ_2)$ is a partition of two rows.