partition
6235 papers tagged with this keyword
Some Separable integer partition classes
Recently, Andrews introduced separable integer partition classes and analyzed some well-known theorems. In this paper, we investigate partitions with parts separated by parity introduced by Andrews with the aid of separable integer partition classes with modulus $2$. We also extend separable integer partition classes with modulus $1$ to overpartitions, called separable overpartition classes. We study overpartitions and the overpartition analogue of Rogers-Ramanujan identities, which are separable overpartition classes.
Extensions of the Colorful Helly Theorem for $d$-collapsible and $d$-Leray complexes
We present extensions of the Colorful Helly Theorem for $d$-collapsible and $d$-Leray complexes, providing a common generalization to the matroidal versions of the theorem due to Kalai and Meshulam, the ``very colorful" Helly theorem introduced by Arocha, Bárány, Bracho, Fabila and Montejano, and the ``semi-intersecting" colorful Helly theorem proved by Montejano and Karasev.
As an application, we obtain the following extension of Tverberg's Theorem: Let $A$ be a finite set of points in $\mathbb{R}^d$ with $|A|>(r-1)(d+1)$. Then, there exist a partition $A_1,\ldots,A_r$ of $A$ and a subset $B\subset A$ of size $(r-1)(d+1)$, such that $\cap_{i=1}^r \text{conv}( (B\cup\{p\})\cap A_i)\neq\emptyset$ for all $p\in A\setminus B$. That is, we obtain a partition of $A$ into $r$ parts that remains a Tverberg partition even after removing all but one arbitrary point from $A\setminus B$.
Modified ascent sequences and Bell numbers
In 2011, Duncan and Steingrímsson conjectured that modified ascent sequences avoiding any of the patterns 212, 1212, 2132, 2213, 2231 and 2321 are counted by the Bell numbers. Furthermore, the distribution of the number of ascents is the reverse of the distribution of blocks on set partitions. We solve the conjecture for all the patterns except 2321. We describe the corresponding sets of Fishburn permutations by pattern avoidance, and leave some open questions for future work.
Degree criteria and stability for independent transversals
An \emph{independent transversal} (IT) in a graph $G$ with a given vertex partition $P$ is an independent set of vertices of $G$ (i.e. it induces no edges), that consists of one vertex from each part (\emph{block}) of $P$. Over the years, various criteria have been established that guarantee the existence of an IT, often given in terms of $P$ being $t$-\emph{thick}, meaning all blocks have size at least $t$. One such result, obtained recently by Wanless and Wood, is based on the \emph{maximum average block degree} $b(G,P)=\max\{\sum_{u\in U} d(u)/|U| : U \in P\}$. They proved that if $b(G,P)\leq t/4$ then an IT exists. Resolving a problem posed by Groenland, Kaiser, Treffers and Wales (who showed that the ratio $1/4$ is best possible), here we give a full characterization of pairs $(α,β)$ such that the following holds for every $t>0$: whenever $G$ is a graph with maximum degree $Δ(G)\leqαt$, and $P$ is a $t$-thick vertex partition of $G$ such that $b(G,P)\leq βt$, there exists an IT of $G$ with respect to $P$. Our proof makes use of another previously known criterion for the existence of IT's that involves the topological connectedness of the independence complex of graphs, and establishes a general technical theorem on the structure of graphs for which this parameter is bounded above by a known quantity. Our result interpolates between the criterion $b(G,P)\leq t/4$ and the old and frequently applied theorem that if $Δ(G)\leq t/2$ then an IT exists. Using the same approach, we also extend a theorem of Aharoni, Holzman, Howard and Sprüssel, by giving a stability version of the latter result.
A short bijective proof of dimension identities of Erickson and Hunziker
In a recent paper (arXiv:2301.09744), Erickson and Hunziker consider partitions in which the arm-leg difference is an arbitrary constant $m$. In previous works, these partitions are called $(-m)$-asymmetric partitions. Regarding these partitions and their conjugates as the highest weights, they prove an identity yielding an infinite family of dimension equalities between $\mathfrak{gl}_n$ and $\mathfrak{gl}_{n+m}$ modules. Their proof proceeds by the manipulations of the hook content formula. We give a simple bijective proof of their result.
Causal Structure Learning in Directed, Possibly Cyclic, Graphical Models
We consider the problem of learning a directed graph $G^\star$ from observational data. We assume that the distribution which gives rise to the samples is Markov and faithful to the graph $G^\star$ and that there are no unobserved variables. We do not rely on any further assumptions regarding the graph or the distribution of the variables. Particularly, we allow for directed cycles in $G^\star$ and work in the fully non-parametric setting. Given the set of conditional independence statements satisfied by the distribution, we aim to find a directed graph which satisfies the same $d$-separation statements as $G^\star$. We propose a hybrid approach consisting of two steps. We first find a partially ordered partition of the vertices of $G^\star$ by optimizing a certain score in a greedy fashion. We prove that any optimal partition uniquely characterizes the Markov equivalence class of $G^\star$. Given an optimal partition, we propose an algorithm for constructing a graph in the Markov equivalence class of $G^\star$ whose strongly connected components correspond to the elements of the partition, and which are partially ordered according to the partial order of the partition. Our algorithm comes in two versions -- one which is provably correct and another one which performs fast in practice.
Testing versus estimation of graph properties, revisited
A distance estimator for a graph property $\mathcal{P}$ is an algorithm that given $G$ and $α, \varepsilon >0$ distinguishes between the case that $G$ is $(α-\varepsilon)$-close to $\mathcal{P}$ and the case that $G$ is $α$-far from $\mathcal{P}$ (in edit distance). We say that $\mathcal{P}$ is estimable if it has a distance estimator whose query complexity depends only on $\varepsilon$.
Every estimable property is also testable, since testing corresponds to estimating with $α=\varepsilon$. A central result in the area of property testing, the Fischer--Newman theorem, gives an inverse statement: every testable property is in fact estimable. The proof of Fischer and Newman was highly ineffective, since it incurred a tower-type loss when transforming a testing algorithm for $\mathcal{P}$ into a distance estimator. This raised the natural problem, studied recently by Fiat--Ron and by Hoppen--Kohayakawa--Lang--Lefmann--Stagni, whether one can find a transformation with a polynomial loss. We obtain the following results.
1. If $\mathcal{P}$ is hereditary, then one can turn a tester for $\mathcal{P}$ into a distance estimator with an exponential loss. This is an exponential improvement over the result of Hoppen et. al., who obtained a transformation with a double exponential loss.
2. For every $\mathcal{P}$, one can turn a testing algorithm for $\mathcal{P}$ into a distance estimator with a double exponential loss. This improves over the transformation of Fischer--Newman that incurred a tower-type loss. Our main conceptual contribution in this work is that we manage to turn the approach of Fischer--Newman, which was inherently ineffective, into an efficient one. On the technical level, our main contribution is in establishing certain properties of Frieze--Kannan Weak Regular partitions that are of independent interest.
Parts in $k$-indivisible Partitions Always Display Biases between Residue Classes
Let $k, t$ be coprime integers, and let $1 \leq r \leq t$. We let $D_k^\times(r,t;n)$ denote the total number of parts among all $k$-indivisible partitions (i.e., those partitions where no part is divisible by $k$) of $n$ which are congruent to $r$ modulo $t$. In previous work of the authors, an asymptotic estimate for $D_k^\times(r,t;n)$ was shown to exhibit unpredictable biases between congruence classes. In the present paper, we confirm our earlier conjecture that there are no "ties" (i.e., equalities) in this asymptotic for different congruence classes. To obtain this result, we reframe this question in terms of $L$-functions, and we then employ a nonvanishing result due to Baker, Birch, and Wirsing to conclude that there is always a bias towards one congruence class or another modulo $t$ among all parts in $k$-indivisible partitions of $n$ as $n$ becomes large.
M-diagram basis of the Specht module for $(n,n,n)$
Motivated by the M-diagrams defined by Tymoczko, we show that these locally non-crossing $\mathfrak{sl}_3$-webs form a basis of the Specht module for the partition $(n,n,n)$. They further admit a unitriangular base change to both the polytabloid basis and the non-elliptic web basis.
On combinatorial differential operators on species of structures
In 1981, André Joyal provided a combinatorial interpretation of the algebra of formal power series, a central gadget in the toolkit of enumerative combinatorics. In Joyal's theory of species of structures, combinatorial species (like permutations, graphs, partitions, etc.) are incarnated in endofunctors on the category of finite sets and bijections. Species can be added, multiplied, composed and differentiated; new species arise as solutions to functional and differential equations. Moreover, everything achieved at the level of species can be directly translated into the language of generating series for enumeration of labelled, as well as unlabelled structures. More recently, Labelle and Lamathe developed a general theory of differential operators on species of structures, such as cycles or diagrams of derivatives. The main goal of this dissertation is to present some parts of this theory.
On Blecher and Knopfmacher's Fixed Points for Integer Partitions
Published in Discrete Math. 347 (2024) 113938
• View Publication
• BIB
Recently, Blecher and Knopfmacher explored the notion of fixed points in integer partitions and hypothesized on the relative number of partitions with and without a fixed point. We resolve their open question by working fixed points into a growing number of interconnected partition statistics involving Frobenius symbols, Dyson's crank, and the mex (minimal excluded part). Also, we generalize the definition of fixed points and connect that expanded notion to the $\text{mex}_j$ defined by Hopkins, Sellers, and Stanton as well as the $j$-Durfee rectangle defined by Hopkins, Sellers, and Yee.
The absolute values of the perfect matching derangement graph's eigenvalues almost follow the lexicographic order of partitions
In 2013, Ku and Wong showed that for any partitions $μ$ and $μ'$ of a positive integer $n$ with the same first part $u$ and the lexicographic order $μ\triangleleft μ'$, the eigenvalues $ξ_μ$ and $ξ_{μ'}$ of the derangement graph $Γ_n$ have the property $|ξ_μ|\le |ξ_{μ'}|$, where the equality holds if and only if $u=3$ and all other parts are less than $3$. In this article, we obtain an analogous conclusion on the eigenvalues of the perfect matching derangement graph $\mathcal{M}_{2n}$ of $K_{2n}$ by finding a new recurrence formula for the eigenvalues of $\mathcal{M}_{2n}$.
Reconsideration of Tangle and Ultrafilter using Separation and Partition
Published in International Journal of Mathematics Trends and Technology (IJMTT), vol. 70, no. 7, pp. 5-12, 2024
• View Publication
• BIB
Tangle is a concept in graph theory that has a dual relationship with branch-width which is well-known graph width parameter. Ultrafilter, a fundamental notion in mathematics, is similarly known to have a dual relationship with branch-width when extended to a connectivity system (X, f). We will reconsider these concepts using separation and partition.
On Perfectly Friendly Bisections of Random Graphs
We prove that there exists a constant $γ_{\mathrm{crit}}\approx .17566$ such that if $G\sim \mathbb{G}(n,1/2)$ then for any $\varepsilon > 0$ with high probability $G$ has a equipartition such that each vertex has $(γ_{\mathrm{crit}}-\varepsilon)\sqrt{n}$ more neighbors in its own part than in the other part and with high probability no such partition exists for a separation of $(γ_{\mathrm{crit}}+\varepsilon)\sqrt{n}$. The proof involves a number of tools ranging from isoperimetric results on vertex-transitive sets of graphs coming from Boolean functions, switchings, degree enumeration formulas, and the second moment method. Our results substantially strengthen recent work of Ferber, Kwan, Narayanan, and the last two authors on a conjecture of Füredi from 1988 and in particular prove the existence of fully-friendly bisections in $\mathbb{G}(n,1/2)$
Quorum colorings of maximum cardinality in linear time for a subclass of perfect trees
A partition $π=\{V_{1},V_{2},...,V_{k}\}$ of the vertex set $V$ of a graph $G$ into $k$ color classes $V_{i}$, with $1\leq i\leq k$ is called a quorum coloring of $G$ if for every vertex $v\in V$, at least half of the vertices in the closed neighborhood $N[v]$ of $v$ have the same color as $v$. The maximum cardinality of a quorum coloring of $G$ is called the quorum coloring number of $G$ and is denoted by $ψ_{q}(G)$. A quorum coloring of order $ψ_{q}(G)$ is a $ψ_{q}$-coloring. The determination of the quorum coloring number or design a linear-time algorithm computing it in a perfect $N$-ary tree has been posed recently as an open problem by Sahbi. In this paper, we answer this problem by designing a linear-time algorithm for finding both a $ψ_{q}$-coloring and the quorum coloring number for every perfect tree whose the vertices at the same depth have the same degree.
Maximally-stable Local Optima in Random Graphs and Spin Glasses: Phase Transitions and Universality
We consider $h$-stable local optima of Ising spin glass models, defined as spin configurations such that for nearly all of the spins, flipping their values results in increasing energy by at least a given amount $h$. Spins satisfying this condition are referred to as $h$-stable spins for that configuration. Similarly, we consider a very related notion of $h$-friendly partitions of a graph. These are defined as bi-partitionings such that for most nodes, the normalized number of neighbors within the node's partition exceed the normalized number of neighbors outside the partition by a certain amount $h$. For spin glasses as well as sparse and dense random graphs, while restricting to bisections, we prove the existence of a phase transition for the normalized energy level $h$ around a universal value $h^*$. For $h$ below the phase transition value $h^*$, bisections exist where the number of spins (nodes) which are not $h$-stable (not $h$-friendly) is sublinear. Above the phase transition level $h^*$ the smallest number of spins that are not $h$-stable (not $h$-friendly) is linear. This confirms a conjecture from Behrens et al. (2022). Our results also allow the characterization of possible energy values of stable local optima for varying $h$. In particular, for $h=0$, this rigorously proves seminal results in statistical physics regarding the so-called metastable states, such as in the work of Bray and Moore (1981). Our results extend a recent proof of the so-called Friendly Partition Conjecture in Ferber et al. (2022) from the case $h=0$ to the case when $h$ takes general values. Our proofs are obtained by analyzing the model on sparse random graphs and adopting Lindeberg's type universality method to lift the results from sparse to dense graphs and spin systems.
A Hyperbolic Extension of Kadison-Singer Type Results
In 2013, Marcus, Spielman, and Srivastava resolved the famous Kadison-Singer conjecture. It states that for $n$ independent random vectors $v_1,\cdots, v_n$ that have expected squared norm bounded by $ε$ and are in the isotropic position in expectation, there is a positive probability that the determinant polynomial $\det(xI - \sum_{i=1}^n v_iv_i^\top)$ has roots bounded by $(1 + \sqrtε)^2$. An interpretation of the Kadison-Singer theorem is that we can always find a partition of the vectors $v_1,\cdots,v_n$ into two sets with a low discrepancy in terms of the spectral norm (in other words, rely on the determinant polynomial).
In this paper, we provide two results for a broader class of polynomials, the hyperbolic polynomials. Furthermore, our results are in two generalized settings:
$\bullet$ The first one shows that the Kadison-Singer result requires a weaker assumption that the vectors have a bounded sum of hyperbolic norms.
$\bullet$ The second one relaxes the Kadison-Singer result's distribution assumption to the Strongly Rayleigh distribution.
To the best of our knowledge, the previous results only support determinant polynomials [Anari and Oveis Gharan'14, Kyng, Luh and Song'20]. It is unclear whether they can be generalized to a broader class of polynomials. In addition, we also provide a sub-exponential time algorithm for constructing our results.
Quasi-cyclic perfect codes in Doob graphs and special partitions of Galois rings
Published in IEEE Trans. Inf. Theory 69(9) 2023, 5597-5603
• View Publication
• BIB
The Galois ring GR$(4^Δ)$ is the residue ring $Z_4[x]/(h(x))$, where $h(x)$ is a basic primitive polynomial of degree $Δ$ over $Z_4$. For any odd $Δ$ larger than $1$, we construct a partition of GR$(4^Δ) \backslash \{0\}$ into $6$-subsets of type $\{a,b,-a-b,-a,-b,a+b\}$ and $3$-subsets of type $\{c,-c,2c\}$ such that the partition is invariant under the multiplication by a nonzero element of the Teichmuller set in GR$(4^Δ)$ and, if $Δ$ is not a multiple of $3$, under the action of the automorphism group of GR$(4^Δ)$.
As a corollary, this implies the existence of quasi-cyclic additive $1$-perfect codes of index $(2^Δ-1)$ in $D((2^Δ-1)(2^Δ-2)/{6}, 2^Δ-1 )$ where $D(m,n)$ is the Doob metric scheme on $Z^{2m+n}$.
Asymptotics of parity biases for partitions into distinct parts via Nahm sums
For a random partition, one of the most basic questions is: what can one expect about the parts which arise? For example, what is the distribution of the parts of random partitions modulo $N$? Since most partitions contain a $1$, and indeed many $1$s arise as parts of a random partition, it is natural to expect a skew towards $1\pmod{N}$. This is indeed the case. For instance, Kim, Kim, and Lovejoy recently established ``parity biases'' showing how often one expects partitions to have more odd than even parts. Here, we generalize their work to give asymptotics for biases $\mod N$ for partitions into distinct parts. The proofs rely on the Circle Method and give independently useful techniques for analyzing the asymptotics of Nahm-type $q$-hypergeometric series.
On the representation functions of certain numeration systems
Let $β>1$ be fixed. We consider the $(\frak{b, d})$ numeration system, where the base ${\frak b}=(b_k)_{k\geq 0}$ is a sequence of positive real numbers satisfying $\lim_{k\rightarrow \infty}b_{k+1}/b_k=β$, and the set of digits ${\frak d}\ni 0$ is a finite set of nonnegative real numbers with at least two elements. Let $r_{\frak{b, d}}(λ)$ denote the number of representations of a given $λ\in\mathbb{R}$ by sums $\sum_{k\ge 0}δ_kb_k$ with $δ_k$ in ${\frak d}$. We establish upper bounds and asymptotic formulas for $r_{\frak{b,d}}(λ)$ and its arbitrary moments, respectively. We prove that the associated zeta function $ζ_{\frak{b, d}}(s):=\sum_{λ>0}r_{\frak{b, d}}(λ)λ^{-s}$ can be meromorphically continued to the entire complex plane when $b_k=β^{k}$, and to the half-plane $\Re(s)>\log_β|\frak{d}|-γ$ when $b_k=β^{k}+O(β^{(1-γ)k})$, with any fixed $γ\in(0,1]$, respectively. We also determine the possible poles, compute the residues at the poles, and locate the trivial zeros of $ζ_{\frak{b, d}}(s)$ in the regions where it can be extended. As an application, we answer some problems posed by Chow and Slattery on partitions into distinct terms of certain integer sequences.