partition
6235 papers tagged with this keyword
Extensions and variations of Andrews-Merca identities
Published
• View Publication
• BIB
Recently, Andrews and Merca have given a new combinatorial interpretation of the total number of even parts in all partitions of n into distinct parts. We generalise this result and consider many more variations of their work. We also highlight some connections with the work of Fu and Tang.
Results on bar-core partitions, core shifted Young diagrams, and doubled distinct cores
Published
• View Publication
• BIB
Simultaneous bar-cores, core shifted Young diagrams (or CSYDs), and doubled distinct cores have been studied since Morris and Yaseen introduced the concept of bar-cores. In this paper, our goal is to give a formula for the number of these core partitions on $(s,t)$-cores and $(s,s+d,s+2d)$-cores for the remaining cases that are not covered yet. In order to achieve this goal, we observe a characterization of $\bar{s}$-core partitions to obtain characterizations of doubled distinct $s$-core partitions and $s$-CSYDs. By using them, we construct $NE$ lattice path interpretations of these core partitions on $(s,t)$-cores. Also, we give free Motzkin path interpretations of these core partitions on $(s,s+d,s+2d)$-cores.
Iterated line graphs with only negative eigenvalues $-2$, their complements and energy
Published in Palest. J. Math. 14 (2025) 926-939
• Search Publication
The graphs with all equal negative or positive eigenvalues are special kind in the spectral graph theory. In this article, several iterated line graphs $\mathcal{L}^k(G)$ with all equal negative eigenvalues $-2$ are characterized for $k\ge 1$ and their energy consequences are presented. Also, the spectra and the energy of complement of these graphs are obtained, interestingly they have exactly two positive eigenvalues with different multiplicities. Moreover, we characterize a large class of equienergetic graphs which generalize some of the existing results. There are two different quotient matrices defined for an equitable partition of $H$-join (generalized composition) of regular graphs to find the spectrum (partial) of adjacency matrix, Laplacian matrix and signless Laplacian matrix, it has been proved that these two quotient matrices give the same respective spectrum of graphs.
Applications of the Isolating Fusion Algorithm to Table Algebras and Association Schemes
Let $\mathbf{B}$ be a basis for an $r$-dimensional algebra $A$ over a field or commutative ring with unity. The semifusions of $\mathbf{B}$ are the partitions of $\mathbf{B}$ whose characteristic functions form the basis of a subalgebra of $A$, and fusions are semifusions that respect a given involution on $A$.
In this paper, we give an algorithm for computing a minimal semifusion (or fusion) of $\mathbf{B}$ that isolates a prescribed list of disjoint sums of basis elements of $\mathbf{B}$, when such a semifusion (or fusion) exists. We apply this algorithm to three problems: (1) computing the fusion lattices for small association schemes of a given order; (2) producing explicit realizations of association schemes with transitive automorphism groups; and (3) producing examples of non-Schurian fusions of Schurian association schemes whose adjacency matrices have noncyclotomic eigenvalues. The latter is of interest to the open question asking whether association schemes with transitive automorphsm groups can have noncyclotomic character values.
On Finite Analogs of Schmidt's Problem and Its Variants
We refine Schmidt's problem and a partition identity related to 2-color partitions which we will refer to as Uncu-Andrews-Paule theorem. We will approach the problem using Boulet-Stanley weights and a formula on Rogers-Szegő polynomials by Berkovich-Warnaar, and present various Schmidt's problem alike theorems and their refinements. Our new Schmidt type results include the use of even-indexed parts' sums, alternating sum of parts, and hook lengths as well as the odd-indexed parts' sum which appears in the original Schmidt's problem. We also translate some of our Schmidt's problem alike relations to weighted partition counts with multiplicative weights in relation to Rogers-Ramanujan partitions.
An invitation to formal power series
Published
• View Publication
• BIB
This is a lecture on the theory of formal power series developed entirely without any analytic machinery. Combining ideas from various authors we are able to prove Newton's binomial theorem, Jacobi's triple product, the Rogers--Ramanujan identities and many other prominent results. We apply these methods to derive several combinatorial theorems including Ramanujan's partition congruences, generating functions of Stirling numbers and Jacobi's four-square theorem. We further discuss formal Laurent series and multivariate power series and end with a proof of MacMahon's master theorem.
Transitivity on subclasses of bipartite graphs
Published
• View Publication
• BIB
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge set, respectively. For two disjoint subsets $A$ and $B$, we say $A$ dominates $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive $k$-partition} if $V_i$ dominates $V_j$ for all $i,j$ where $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called \emph{transitivity} of $G$ and it is denoted by $Tr(G)$. The \textsc{Maximum Transitivity Problem} is to find a transitive partition of a given graph with the maximum number of partitions. It was known that the decision version of \textsc{Maximum Transitivity Problem} is NP-complete for general graphs, which was proved by Hedetniemi et al. [Iterated colorings of graphs, \emph{Discrete Mathematics}, 278, 2004]. This paper first strengthens the NP-completeness result by showing that this problem remains NP-complete for perfect elimination bipartite graphs. On the other hand, we propose a linear-time algorithm for finding the transitivity of a given bipartite chain graph. We then characterize graphs with transitivity at least $t$ for any integer $t$. This result answers two open questions posed by J. T. Hedetniemi and S. T. Hedetniemi [The transitivity of a graph, \emph{J. Combin. Math. Combin. Comput}, 104, 2018].
Comparing the number of infected vertices in two symmetric sets for Bernoulli percolation (and other random partitions)
For Bernoulli percolation on a given graph $G = (V,E)$ we consider the cluster of some fixed vertex $o \in V$. We aim at comparing the number of vertices of this cluster in the set $V_+$ and in the set $V_-$, where $V_+,V_- \subset V$ have the same size. Intuitively, if $V_-$ is further away from $o$ than $V_+$, it should contain fewer vertices of the cluster. We prove such a result in terms of stochastic domination, provided that $o \in V_+$, and $V_+,V_-$ satisfy some strong symmetry conditions, and we give applications of this result in case $G$ is a bunkbed graph, a layered graph, the 2D square lattice or a hypercube graph. Our result only relies on general probabilistic techniques and a combinatorial result on group actions, and thus extends to fairly general random partitions, e.g. as induced by Bernoulli site percolation or the random cluster model.
Monochromatic paths in $2$-edge coloured graphs and hypergraphs
Published
• View Publication
• BIB
We answer a question of Gyárfás and Sárközy from 2013 by showing that every 2-edge-coloured complete 3-uniform hypergraph can be partitioned into two monochromatic tight paths of different colours. We also give a lower bound for the number of tight paths needed to partition any 2-edge-coloured complete r-partite r-uniform hypergraph. Finally, we show that any 2-edge-coloured complete bipartite graph has a partition into a monochromatic cycle and a monochromatic path, of different colours, unless the colouring is a split colouring.
Hypergraph matrix models and generating functions
Published
• View Publication
• BIB
Recently we introduced the hypergraph matrix model (HMM), a Hermitian matrix model generalizing the classical Gaussian Unitary Ensemble (GUE). In this model the Gaussians of the GUE, whose moments count partitions of finite sets into pairs, are replaced by formal measures whose moments count set partitions into parts of a fixed even size 2m >= 2. Just as the expectations of the trace polynomials Tr X^{2r} in the GUE produce polynomials counting unicellular orientable maps of different genera, in the HHM these expectations give polynomials counting certain unicelled edge-ramified CW complexes with extra data that we call (orientable CW) maps with instructions. In this paper we describe generating functions for maps with instructions of fixed genus and with the number of vertices arbitrary. Our results are motivated by work of Wright. In particular Wright computed generating functions of connected graphs of fixed first Betti number as rational functions in the rooted tree function T (x), given as the solution to the functional relation x = T e^{-T}.
Partitioning into degenerate graphs in linear time
Published
• View Publication
• BIB
Let $G$ be a connected graph with maximum degree $Δ\geq 3$ distinct from $K_{Δ+ 1}$. Generalizing Brooks' Theorem, Borodin, Kostochka and Toft proved that if $p_1, \dots, p_s$ are non-negative integers such that $p_1 + \dots + p_s \geq Δ- s$, then $G$ admits a vertex partition into parts $A_1, \dots, A_s$ such that, for $1 \leq i \leq s$, $G[A_i]$ is $p_i$-degenerate. Here we show that such a partition can be performed in linear time. This generalizes previous results that treated subcases of a conjecture of Abu-Khzam, Feghali and Heggernes~\cite{abu2020partitioning}, which our result settles in full.
Positivity of permutation pattern character polynomials
Published in Advances in Applied Mathematics, Volume 147, June 2023
• View Publication
• BIB
Let $N_σ(π)$ denote the number of occurrences of a permutation pattern $σ\in S_k$ in a permutation $π\in S_n$. Gaetz and Ryba (2021) showed using partition algebras that the $d$-th moment $M_{σ,d,n}(π)$ of $N_σ$ on the conjugacy class of $π$ is given by a polynomial in $n,m_1,\dots,m_{dk}$, where $m_i$ denotes the number of $i$-cycles of $π$. They also showed that the coefficient $\langle χ^{λ[n]}, M_{σ,d,n}\rangle$ agrees with a polynomial $a_{σ,d}^λ(n)$ in $n$. This work is motivated by the conjecture that when $σ=\text{id}_k$ is the identity permutation, all of these coefficients are nonnegative. We directly compute closed forms for the polynomials $a_{\text{id}_k}^λ(n)$ in the cases $λ=(1),(1,1),$ and $(2)$, and use this to verify the positivity conjecture for those cases by showing that the polynomials are real-rooted with all roots less than $k$. We also study the case $a_σ^{(1)}(n)$, for which we give a formula for the polynomials and their leading coefficients.
Noncolliding Macdonald Walks with an Absorbing Wall
Published in SIGMA 18 (2022), 079, 21 pages
• View Publication
• BIB
The branching rule is one of the most fundamental properties of the Macdonald symmetric polynomials. It expresses a Macdonald polynomial as a nonnegative linear combination of Macdonald polynomials with smaller number of variables. Taking a limit of the branching rule under the principal specialization when the number of variables goes to infinity, we obtain a Markov chain of $m$ noncolliding particles with negative drift and an absorbing wall at zero. The chain depends on the Macdonald parameters $(q,t)$ and may be viewed as a discrete deformation of the Dyson Brownian motion. The trajectory of the Markov chain is equivalent to a certain Gibbs ensemble of plane partitions with an arbitrary cascade front wall. In the Jack limit $t=q^{β/2}\to 1$ the absorbing wall disappears, and the Macdonald noncolliding walks turn into the $β$-noncolliding random walks studied by Huang [Int. Math. Res. Not. 2021 (2021), 5898-5942, arXiv:1708.07115]. Taking $q=0$ (Hall-Littlewood degeneration) and further sending $t\to 1$, we obtain a continuous time particle system on $\mathbb{Z}_{\ge 0}$ with inhomogeneous jump rates and absorbing wall at zero.
On generalisations of the Aharoni-Pouzet base exchange theorem
The Greene-Magnanti theorem states that if $ M $ is a finite matroid, $ B_0 $ and $ B_1 $ are bases and $ B_0=\bigcup_{i=1}^{n} X_i $ is a partition, then there is a partition $ B_1=\bigcup_{i=1}^{n}Y_i $ such that $ (B_0 \setminus X_i) \cup Y_i $ is a base for every $ i $. The special case where each $ X_i $ is a singleton can be rephrased as the existence of a perfect matching in the base transition graph. Pouzet conjectured that this remains true in infinite dimensional vector spaces. Later he and Aharoni answered this conjecture affirmatively not just for vector spaces but for infinite matroids.
We prove two generalisations of their result. On the one hand, we show that `being a singleton' can be relaxed to `being finite' and this is sharp in the sense the exclusion of infinite sets is really necessary. On the other hand, we prove that if $ B_0$ and $ B_1 $ are bases, then there is a bijection $ F $ between their finite subsets such that $ (B_0\setminus I) \cup F(I) $ is a base for every $ I$. In contrast to the approach of Aharoni and Pouzet, our proofs are completely elementary, they do not rely on infinite matching theory.
Partitions for stratified sampling
Classical jittered sampling partitions $[0,1]^d$ into $m^d$ cubes for a positive integer $m$ and randomly places a point inside each of them, providing a point set of size $N=m^d$ with small discrepancy. The aim of this note is to provide a construction of partitions that works for arbitrary $N$ and improves straight-forward constructions. We show how to construct equivolume partitions of the $d$-dimensional unit cube with hyperplanes that are orthogonal to the main diagonal of the cube. We investigate the discrepancy of such point sets and optimise the expected discrepancy numerically by relaxing the equivolume constraint using different black-box optimisation techniques.
On permutations avoiding partially ordered patterns defined by bipartite graphs
Published
• View Publication
• BIB
Partially ordered patterns (POPs) generalize the notion of classical patterns studied in the literature in the context of permutations, words, compositions and partitions. In this paper, we give a number of general, and specific enumerative results for POPs in permutations defined by bipartite graphs, substantially extending the list of known results in this direction. In particular, we completely characterize the Wilf-equivalence for patterns defined by the N-shape posets.
The Binary Rank of Circulant Block Matrices
Published
• View Publication
• BIB
The binary rank of a $0,1$ matrix is the smallest size of a partition of its ones into monochromatic combinatorial rectangles. A matrix $M$ is called $(k_1, \ldots, k_m ; n_1, \ldots, n_m)$ circulant block diagonal if it is a block matrix with $m$ diagonal blocks, such that for each $i \in [m]$, the $i$th diagonal block of $M$ is the circulant matrix whose first row has $k_i$ ones followed by $n_i-k_i$ zeros, and all of whose other entries are zeros. In this work, we study the binary rank of these matrices and of their complement. In particular, we compare the binary rank of these matrices to their rank over the reals, which forms a lower bound on the former.
We present a general method for proving upper bounds on the binary rank of block matrices that have diagonal blocks of some specified structure and ones elsewhere. Using this method, we prove that the binary rank of the complement of a $(k_1, \ldots, k_m ; n_1, \ldots, n_m)$ circulant block diagonal matrix for integers satisfying $n_i>k_i>0$ for each $i \in [m]$ exceeds its real rank by no more than the maximum of $\gcd(n_i,k_i)-1$ over all $i \in [m]$. We further present several sufficient conditions for the binary rank of these matrices to strictly exceed their real rank. By combining the upper and lower bounds, we determine the exact binary rank of various families of matrices and, in addition, significantly generalize a result of Gregory.
Motivated by a question of Pullman, we study the binary rank of $k$-regular $0,1$ matrices and of their complement. As an application of our results on circulant block diagonal matrices, we show that for every $k \geq 2$, there exist $k$-regular $0,1$ matrices whose binary rank is strictly larger than that of their complement. Furthermore, we exactly determine for every integer $r$, the smallest possible binary rank of the complement of a $2$-regular $0,1$ matrix with binary rank $r$.
Finding an almost perfect matching in a hypergraph avoiding forbidden submatchings
In 1973, Erdős conjectured the existence of high girth $(n,3,2)$-Steiner systems. Recently, Glock, Kühn, Lo, and Osthus and independently Bohman and Warnke proved the approximate version of Erdős' conjecture. Just this year, Kwan, Sah, Sawhney, and Simkin proved Erdős' conjecture. As for Steiner systems with more general parameters, Glock, Kühn, Lo, and Osthus conjectured the existence of high girth $(n,q,r)$-Steiner systems. We prove the approximate version of their conjecture.
This result follows from our general main results which concern finding perfect or almost perfect matchings in a hypergraph $G$ avoiding a given set of submatchings (which we view as a hypergraph $H$ where $V(H)=E(G)$). Our first main result is a common generalization of the classical theorems of Pippenger (for finding an almost perfect matching) and Ajtai, Komlós, Pintz, Spencer, and Szemerédi (for finding an independent set in girth five hypergraphs). More generally, we prove this for coloring and even list coloring, and also generalize this further to when $H$ is a hypergraph with small codegrees (for which high girth designs is a specific instance). Indeed, the coloring version of our result even yields an almost partition of $K_n^r$ into approximate high girth $(n,q,r)$-Steiner systems.
Our main results also imply the existence of a perfect matching in a bipartite hypergraph where the parts have slightly unbalanced degrees. This has a number of applications; for example, it proves the existence of $Δ$ pairwise disjoint list colorings in the setting of Kahn's theorem; it also proves asymptotic versions of various rainbow matching results in the sparse setting (where the number of times a color appears could be much smaller than the number of colors) and even the existence of many pairwise disjoint rainbow matchings in such circumstances.
An improved bound for regular decompositions of $3$-uniform hypergraphs of bounded $VC_2$-dimension
Published in Model Th. 2 (2023) 325-356
• View Publication
• BIB
A regular partition $\mathcal{P}$ for a $3$-uniform hypergraph $H=(V,E)$ consists of a partition $V=V_1\cup \ldots \cup V_t$ and for each $ij\in {[t]\choose 2}$, a partition $K_2[V_i,V_j]=P_{ij}^1\cup \ldots \cup P_{ij}^{\ell}$, such that certain quasirandomness properties hold. The complexity of $\mathcal{P}$ is the pair $(t,\ell)$. In this paper we show that if a $3$-uniform hypergraph $H$ has $VC_2$-dimension at most $k$, then there is a regular partition $\mathcal{P}$ for $H$ of complexity $(t,\ell)$, where $\ell$ is bounded by a polynomial in the degree of regularity. This is a vast improvement on the bound arising from the proof of this regularity lemma in general, in which the bound generated for $\ell$ is of Wowzer type. This can be seen as a higher arity analogue of the efficient regularity lemmas for graphs and hypergraphs of bounded VC-dimension due to Alon-Fischer-Newman, Lovász-Szegedy, and Fox-Pach-Suk.
LCD subspace codes
A subspace code is a nonempty set of subspaces of a vector space $\mathbb F^n_q$. Linear codes with complementary duals, or LCD codes, are linear codes whose intersection with their duals is trivial. In this paper, we introduce a notion of LCD subspace codes. We show that the minimum distance decoding problem for an LCD subspace code reduces to a problem that is simpler than for a general subspace code. Further, we show that under some conditions equitable partitions of association schemes yield such LCD subspace codes and as an illustration of the method give some examples from distance-regular graphs. We also give a construction from mutually unbiased Hadamard matrices, and more generally, from mutually unbiased weighing matrices.