partition
6235 papers tagged with this keyword
Independence and Matchings in $σ$-hypergraphs
Let $σ$ be a partition of the positive integer $r$. A $σ$-hypergraph $H=H(n,r,q|σ)$ is an $r$-uniform hypergraph on $nq$ vertices which are partitioned into $n$ classes $V_1, V_2, \ldots, V_n$ each containing $q$ vertices. An $r$-subset $K$ of vertices is an edge of the hypergraph if the partition of $r$ formed by the non-zero cardinalities $|K\cap V_i|, 1\leq i \leq n,$ is $σ$.
In earlier works we have considered colourings of the vertices of $H$ which are constrained such that any edge has at least $α$ and at most $β$ vertices of the same colour, and we have shown that interesting results can be obtained by varying $α, β$ and the parameters of $H$ appropriately. In this paper we continue to investigate the versatility of $σ$-hypergraphs by considering two classical problems: independence and matchings.
We first demonstrate an interesting link between the constrained colourings described above and the $k$-independence number of a hypergraph, that is, the largest cardinality of a subset of vertices of a hypergraph not containing $k+1$ vertices in the same edge. We also give an exact computation of the $k$-independence number of the $σ$-hypergraph $H$. We then present results on maximum, and sometimes perfect, matchings in $H$. These results often depend on divisibility relations between the parameters of $H$ and on the highest common factor of the parts of $σ$.
A structure theorem for multiplicative functions over the Gaussian integers and applications
Published
• View Publication
• BIB
We prove a structure theorem for multiplicative functions on the Gaussian integers, showing that every bounded multiplicative function on the Gaussian integers can be decomposed into a term which is approximately periodic and another which has a small U^{3}-Gowers uniformity norm. We apply this to prove partition regularity results over the Gaussian integers for certain equations involving quadratic forms in three variables. For example, we show that for any finite coloring of the Gaussian integers, there exist distinct nonzero elements x and y of the same color such that x^{2}-y^{2}=n^{2} for some Gaussian integer n. The analog of this statement over Z remains open.
Spanning rigid subgraph packing and sparse subgraph covering
Published in SIAM Journal on Discrete Mathematics 32 (2018), 1305-1313
• View Publication
• BIB
Rigidity, arising in discrete geometry, is the property of a structure that does not flex. Laman provides a combinatorial characterization of rigid graphs in the Euclidean plane, and thus rigid graphs in the Euclidean plane have applications in graph theory. We discover a sufficient partition condition of packing spanning rigid subgraphs and spanning trees. As a corollary, we show that a simple graph $G$ contains a packing of $k$ spanning rigid subgraphs and $l$ spanning trees if $G$ is $(4k+2l)$-edge-connected, and $G-Z$ is essentially $(6k+2l - 2k|Z|)$-edge-connected for every $Z\subset V(G)$. Thus every $(4k+2l)$-connected and essentially $(6k+2l)$-connected graph $G$ contains a packing of $k$ spanning rigid subgraphs and $l$ spanning trees. Utilizing this, we show that every $6$-connected and essentially $8$-connected graph $G$ contains a spanning tree $T$ such that $G-E(T)$ is $2$-connected. These improve some previous results. Sparse subgraph covering problems are also studied.
A generalisation of a partition theorem of Andrews to overpartitions
Published
• View Publication
• BIB
In 1969, Andrews proved a theorem on partitions with difference conditions which generalises Schur's celebrated partition identity. In this paper, we generalise Andrews' theorem to overpartitions. The proof uses q-differential equations and recurrences.
Topics in Ramsey Theory
Ramsey theory is the study of conditions under which mathematical objects show order when partitioned. Ramsey theory on the integers concerns itself with partitions of $[1,n]$ into $r$ subsets and asks the question whether one (or more) of these $r$ subsets contains a $k$-term member of $\mathcal{F}$, where $[1,n]=\{1,2,3,\ldots,n\}$ and $\mathcal{F}$ is a certain family of subsets of $\mathbb{Z}^+$. When $\mathcal{F}$ is fixed to be the set of arithmetic progressions, the corresponding Ramsey-type numbers are called the van der Waerden numbers.
I started the project choosing $\mathcal{F}$ to be the set of semi-progressions of scope $m$. A semi-progression of scope $m\in \mathbb{Z}^+$ is a set of integers $\{x_1,x_2,\ldots,x_k\}$ such that for some $d\in\mathbb{Z}^+$, $x_{i}-x_{i-1}\in\{d,2d,\ldots,md\}$ for all $i\in\{2,3,\ldots,k\}$. The exact values of Ramsey-type functions corresponding to semi-progressions are not known. We use $SP_m(k)$ to denote these numbers as a Ramsey-type function of $k$ for a fixed scope $m$. During this project, I used the probabilistic method to get an exponential lower bound for any fixed $m$. The first chapter starts with a brief introduction to Ramsey theory and then explains the problem considered. In the second chapter, I give the results obtained on semi-progressions. In the third chapter, I will discuss the lower bound obtained on $Q_1(k)$. When $\mathcal{F}$ is chosen to be quasi-progressions of diameter $n$, the corresponding Ramsey-type numbers obtained are denoted as $Q_n(k)$. The last chapter gives an exposition of advanced probabilistic techniques, in particular concentration inequalities and how to apply them.
Correlations in the Multispecies TASEP and a Conjecture by Lam
Published in Transactions of the AMS 369 (2017), 1097-1125
• View Publication
• BIB
We study correlations in the multispecies TASEP on a ring. Results on correlation of two adjacent points prove two conjectures by Thomas Lam on
(a) the limiting direction of a reduced random walk in $\tilde A_{n-1}$ and
(b) the asymptotic shape of a random integer partition with no hooks of length $n$, a so called $n$-core.
We further investigate two-point correlations far apart and three-point nearest neighbour correlations and prove explicit formulas in almost all cases. These results can be seen as a finite strengthening of correlations in the TASEP speed process by Amir, Angel and Valkó. We also give conjectures for certain higher order nearest neighbour correlations. We find an unexplained independence property (provably for two points, conjecturally for more points) between points that are closer in position than in value that deserves more study.
On non-conjugate Coxeter elements in well-generated reflection groups
Published
• View Publication
• BIB
Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element c is a Coxeter element if and only if there exists a simple system S of reflections such that c is the product of the generators in S. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of W associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of W on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer's regular elements of arbitrary order.
The matrix model for dessins d'enfants
Published in Ann. Inst. Henri Poincare Ser D, 1:3 (2014) 337-361
• View Publication
• BIB
We present the matrix models that are the generating functions for branched covers of the complex projective line ramified over $0$, $1$, and $\infty$ (Grotendieck's dessins d'enfants) of fixed genus, degree, and the ramification profile at infinity. For general ramifications at other points, the model is the two-logarithm matrix model with the external field studied previously by one of the authors (L.Ch.) and K.Palamarchuk. It lies in the class of the generalised Kontsevich models (GKM) thus being the Kadomtsev--Petviashvili (KP) hierarchy $τ$-function and, upon the shift of times, this model is equivalent to a Hermitian one-matrix model with a general potential whose coefficients are related to the KP times by a Miwa-type transformation. The original model therefore enjoys a topological recursion and can be solved in terms of shifted moments of the standard Hermitian one-matrix model at all genera of the topological expansion. We also derive the matrix model for clean Belyi morphisms, which turns out to be the Kontsevich--Penner model introduced by the authors and Yu. Makeenko. Its partition function is also a KP hierarchy tau function, and this model is in turn equivalent to a Hermitian one-matrix model with a general potential. Finally we prove that the generating function for general two-profile Belyi morphisms is a GKM thus proving that it is also a KP hierarchy tau function in proper times.
A simple SVD algorithm for finding hidden partitions
Published
• View Publication
• BIB
Finding a hidden partition in a random environment is a general and important problem, which contains as subproblems many famous questions, such as finding a hidden clique, finding a hidden coloring, finding a hidden bipartition etc.
In this paper, we provide a simple SVD algorithm for this purpose, answering a question of McSherry. This algorithm is very easy to implement and works for sparse graphs with optimal density.
Nested sets, set partitions and Kirkman-Cayley dissection numbers
Published
• View Publication
• BIB
In this paper we show a a proof by explicit bijections of the famous Kirkman-Cayley formula for the number of dissections of a convex polygon. Our starting point is the bijective correspondence between the set of nested sets made by \(k\) subsets of \(\{1,2,...,n\}\) with cardinality \(\geq 2\) and the set of partitions of \(\{1,2,...,n+k-1\}\) into \(k\) parts with cardinality \(\geq 2\).
False theta functions and companions to Capparelli's identities
Published
• View Publication
• BIB
Capparelli conjectured two modular identities for partitions whose parts satisfy certain gap conditions, where were motivated by the calculation of characters for the standard modules of certain affine Lie algebras and by vertex operator theory. These identities were subsequently proved and refined by Andrews, who related them to Jacobi theta functions, and also by Alladi-Andrews-Gordon, Capparelli, and Tamba-Xie. In this paper we prove two new companions to Capparelli's identities, where the evaluations are expressed in terms of Jacobi theta functions and false theta functions.
Infinite dimensional finitely forcible graphon
Published
• View Publication
• BIB
Graphons are analytic objects associated with convergent sequences of dense graphs. Finitely forcible graphons, i.e., those determined by finitely many subgraph densities, are of particular interest because of their relation to various problems in extremal combinatorics and theoretical computer science. Lovasz and Szegedy conjectured that the topological space of typical vertices of a finitely forcible graphon always has finite dimension, which would have implications on the minimum number of parts in its weak eps-regular partition. We disprove the conjecture by constructing a finitely forcible graphon with the space of typical vertices that has infinite dimension.
On the complexity of computing Kronecker coefficients
Published
• View Publication
• BIB
We study the complexity of computing Kronecker coefficients $g(λ,μ,ν)$. We give explicit bounds in terms of the number of parts $\ell$ in the partitions, their largest part size $N$ and the smallest second part $M$ of the three partitions. When $M = O(1)$, i.e. one of the partitions is hook-like, the bounds are linear in $\log N$, but depend exponentially on $\ell$. Moreover, similar bounds hold even when $M=e^{O(\ell)}$. By a separate argument, we show that the positivity of Kronecker coefficients can be decided in $O(\log N)$ time for a bounded number $\ell$ of parts and without restriction on $M$. Related problems of computing Kronecker coefficients when one partition is a hook, and computing characters of $S_n$ are also considered.
Some combinatorial arrays related to the Lotka-Volterra system
Published
• View Publication
• BIB
The purpose of this paper is to investigate the connection between the Lotka-Volterra system and combinatorics. We study several context-free grammars associated with the Lotka-Volterra system. Some combinatorial arrays, involving the Stirling numbers of the second kind and Eulerian numbers, are generated by these context-free grammars. In particular, we present grammatical characterization of some statistics on cyclically ordered partitions.
Zeros of random tropical polynomials, random polytopes and stick-breaking
Published
• View Publication
• BIB
For $i = 0, 1, \ldots, n$, let $C_i$ be independent and identically distributed random variables with distribution $F$ with support $(0,\infty)$. The number of zeros of the random tropical polynomials $\mathcal{T}f_n(x) = \min_{i=1,\ldots,n}(C_i + ix)$ is also the number of faces of the lower convex hull of the $n+1$ random points $(i,C_i)$ in $\mathbb{R}^2$. We show that this number, $Z_n$, satisfies a central limit theorem when $F$ has polynomial decay near $0$. Specifically, if $F$ near $0$ behaves like a $gamma(a,1)$ distribution for some $a > 0$, then $Z_n$ has the same asymptotics as the number of renewals on the interval $[0,\log(n)/a]$ of a renewal process with inter-arrival distribution $-\log(Beta(a,2))$. Our proof draws on connections between random partitions, renewal theory and random polytopes. In particular, we obtain generalizations and simple proofs of the central limit theorem for the number of vertices of the convex hull of $n$ uniform random points in a square. Our work leads to many open problems in stochastic tropical geometry, the study of functionals and intersections of random tropical varieties.
Restricted ascent sequences and Catalan numbers
Published
• View Publication
• BIB
Ascent sequences are those consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it and have been shown to be equinumerous with the (2+2)-free posets of the same size. Furthermore, connections to a variety of other combinatorial structures, including set partitions, permutations, and certain integer matrices, have been made. In this paper, we identify all members of the (4,4)-Wilf equivalence class for ascent sequences corresponding to the Catalan number C_n=\frac{1}{n+1}\binom{2n}{n}. This extends recent work concerning avoidance of a single pattern and provides apparently new combinatorial interpretations for C_n. In several cases, the subset of the class consisting of those members having exactly m ascents is given by the Narayana number N_{n,m+1}=\frac{1}{n}\binom{n}{m+1}\binom{n}{m}.
Measure Equipartitions via Finite Fourier Analysis
Published in Geom. Dedicata, 2015, 10.1007/s10711-015-0077-5
• View Publication
• BIB
Applications of harmonic analysis on finite groups are introduced to measure partition problems, with equipartitions obtained as the vanishing of prescribed Fourier transforms. For elementary abelian groups $Z_p^k$, $p$ an odd prime, equipartitions are by $k$-tuples of complex regular $p$-fans in $\mathbb{C}^d$, analogues of the famous Grünbaum problem on equipartitions in $\mathbb{R}^d$ by $k$-tuples of hyperplanes (i.e., regular 2-fans). Here the number of regions is a prime power, as usual in topological applications to combinatorial geometry. For general abelian groups, however, the Fourier perspective yields new classes of equipartitions by families of complex regular fans $F_{q_1},\ldots, F_{q_k}$ (such as those of a "Makeev-type"), including when the number of regions is not a prime power.
Quiver mutation loops and partition q-series
Published in Communications in Mathematical Physics June 2015, Volume 336, Issue 2, pp 811-830
• View Publication
• BIB
A quiver mutation loop is a sequence of mutations and vertex relabelings, along which a quiver transforms back to the original form. For a given mutation loop, we introduce a quantity called a partition q-series. The partition q-series are invariant under pentagon moves. If the quivers are of Dynkin type or square products thereof, they reproduce so-called parafermionic or quasi-particle character formulas of certain modules associated with affine Lie algebras. They enjoy nice modular properties as expected from the conformal field theory point of view.
Sigma Partitioning: Complexity and Random Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (December 17, 2018) dmtcs:1534
• View Publication
• BIB
A $\textit{sigma partitioning}$ of a graph $G$ is a partition of the vertices into sets $P_1, \ldots, P_k$ such that for every two adjacent vertices $u$ and $v$ there is an index $i$ such that $u$ and $v$ have different numbers of neighbors in $P_i$. The $\textit{ sigma number}$ of a graph $G$, denoted by $σ(G)$, is the minimum number $k$ such that $ G $ has a sigma partitioning $P_1, \ldots, P_k$. Also, a $\textit{ lucky labeling}$ of a graph $G$ is a function $ \ell :V(G) \rightarrow \mathbb{N}$, such that for every two adjacent vertices $ v $ and $ u$ of $ G $, $ \sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w) $ ($ x \sim y $ means that $ x $ and $y$ are adjacent). The $\textit{ lucky number}$ of $ G $, denoted by $η(G)$, is the minimum number $k $ such that $ G $ has a lucky labeling $ \ell :V(G) \rightarrow \mathbb{N}_k$. It was conjectured in [Inform. Process. Lett., 112(4):109--112, 2012] that it is $ \mathbf{NP} $-complete to decide whether $ η(G)=2$ for a given 3-regular graph $G$. In this work, we prove this conjecture. Among other results, we give an upper bound of five for the sigma number of a uniformly random graph.
The numbers of support-tilting modules for a Dynkin algebra
Published in Journal Integer Sequences, vol 18 (2015), Article 15.10.6
• Search Publication
The Dynkin algebras are the hereditary artin algebras of finite representation type. The paper exhibits the number of support-tilting modules for any Dynkin algebra. Since the support-tilting modules for a Dynkin algebra correspond bijectively to the non-crossing partitions of the same type, the calculations presented here may also be considered as a categorification of results concerning non-crossing partitions.