representation ↗ reference
4053 papers tagged with this keyword
Distribution properties for t-hooks in partitions
Published in Annals of Combinatorics, Vol. 25 Issue 3, 2021
• View Publication
• BIB
Partitions, the partition function $p(n)$, and the hook lengths of their Ferrers-Young diagrams are important objects in combinatorics, number theory and representation theory. For positive integers $n$ and $t$, we study $p_t^e(n)$ (resp. $p_t^o(n)$), the number of partitions of $n$ with an even (resp. odd) number of $t$-hooks. We study the limiting behavior of the ratio $p_t^e(n)/p(n)$, which also gives $p_t^o(n)/p(n)$ since $p_t^e(n) + p_t^0(n) = p(n)$. For even $t$, we show that $$\lim\limits_{n \to \infty} \dfrac{p_t^e(n)}{p(n)} = \dfrac{1}{2},$$ and for odd $t$ we establish the non-uniform distribution $$\lim\limits_{n \to \infty} \dfrac{p^e_t(n)}{p(n)} = \begin{cases} \dfrac{1}{2} + \dfrac{1}{2^{(t+1)/2}} & \text{if } 2 \mid n, \\ \\ \dfrac{1}{2} - \dfrac{1}{2^{(t+1)/2}} & \text{otherwise.} \end{cases}$$ Using the Rademacher circle method, we find an exact formula for $p_t^e(n)$ and $p_t^o(n)$, and this exact formula yields these distribution properties for large $n$. We also show that for sufficiently large $n$, the signs of $p_t^e(n) - p_t^o(n)$ are periodic.
Primality of closed path polyominoes
Published
• View Publication
• BIB
In this paper we introduce a new class of polyominoes, called closed paths, and we study the primality of their associated ideal. Inspired by an existing conjecture that characterizes the primality of a polyomino ideal by nonexistence of zig-zag walks, we classify all closed paths which do not contain zig-zag walks, and we give opportune toric representations of the associated ideals. To support the conjecture we prove that having no zig-zag walks is a necessary and sufficient condition for the primality of the associated ideal of a closed path. Finally, we present some classes of prime polyominoes viewed as generalizations of closed paths.
Average of complete joint weight enumerators and self-dual codes
Published
• View Publication
• BIB
In this paper, we give a representation of the average of complete joint weight enumerators of two linear codes of length $n$ over $\mathbb{F}_{q}$ and $\mathbb{Z}_{k}$ in terms of the compositions of $n$ and their distributions in the codes. We also obtain a generalization of the representation for the average of $g$-fold complete joint weight enumerators of codes over $\mathbb{F}_{q}$ and $\mathbb{Z}_{k}$. Finally, the average of intersection numbers of a pair of Type III (resp. Type IV) codes, and its second moment are found.
Discrete correlations of order 2 of generalised Rudin-Shapiro sequences: a combinatorial approach
We introduce a family of block-additive automatic sequences, that are obtained by allocating a weight to each couple of digits, and defining the $n$th term of the sequence as being the total weight of the integer $n$ written in base $k$. Under an additional difference condition on the weight function, these sequences can be interpreted as generalised Rudin-Shapiro sequences, and we prove that they have the same correlations of order 2 as sequences of symbols chosen uniformly and independently at random. The speed of convergence is very fast and is independent of the prime factor decomposition of $k$. This extends recent work of Tahay. The proof relies on direct observations about base-$k$ representations of integers and combinatorial considerations. We also provide extensions of our results to higher-dimensional block-additive sequences.
The reflection representation in the homology of subword order
Published in Algebraic Combinatorics, Volume 4, Issue 5 (2021)
• View Publication
• BIB
We investigate the homology representation of the symmetric group on rank-selected subposets of subword order.
We show that the homology module for words of bounded length, over an alphabet of size $n,$
decomposes into a sum of tensor powers of the $S_n$-irreducible $S_{(n-1,1)}$ indexed by the partition $(n-1,1),$ recovering, as a special case, a theorem of Björner and Stanley for words of length at most $k.$ For arbitrary ranks we show that the homology is an integer combination of positive tensor powers of the reflection representation $S_{(n-1,1)}$, and conjecture that this combination is nonnegative. We uncover a curious duality in homology in the case when one rank is deleted.
We prove that the action on the rank-selected chains of subword order is a nonnegative integer combination of tensor powers of $S_{(n-1,1)}$, and show that its Frobenius characteristic is $h$-positive and supported on the set $T_{1}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 1\}.$
Our most definitive result describes the Frobenius characteristic of the homology for an arbitrary set of ranks, plus or minus one copy of the Schur function $s_{(n-1,1)},$ as an integer combination of the set
$T_{2}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 2\}.$ We conjecture that this combination is nonnegative, establishing this fact for particular cases.
Robustness of Pisot-regular sequences
Published in Advances in Applied Mathematics 125 (2021) 102151
• View Publication
• BIB
We consider numeration systems based on a $d$-tuple $\mathbf{U}=(U_1,\ldots,U_d)$ of sequences of integers and we define $(\mathbf{U},\mathbb{K})$-regular sequences through $\mathbb{K}$-recognizable formal series, where $\mathbb{K}$ is any semiring. We show that, for any $d$-tuple $\mathbf{U}$ of Pisot numeration systems and any commutative semiring $\mathbb{K}$, this definition does not depend on the greediness of the $\mathbf{U}$-representations of integers. The proof is constructive and is based on the fact that the normalization is realizable by a $2d$-tape finite automaton. In particular, we use an ad hoc operation mixing a $2d$-tape automaton and a $\mathbb{K}$-automaton in order to obtain a new $\mathbb{K}$-automaton.
Chromatic sumsets
Published in Journal of Number Theory 219 (2021), 93-108
• View Publication
• BIB
Let $\mathbf{A} = (A_1,\ldots, A_q)$ be a $q$-tuple of finite sets of integers. Associated to every $q$-tuple of nonnegative integers $\mathbf{h} = (h_1,\ldots, h_q)$ is the linear form $\mathbf{h}\cdot \mathbf{A} = h_1 A_1 + \cdots + h_qA_q$. The set $(\mathbf{h}\cdot \mathbf{A} )^{(t)}$ consists of all elements of this sumset with at least $t$ representations. The structure of the set $(\mathbf{h}\cdot \mathbf{A} )^{(t)}$ is computed for all sufficiently large $h_i$.
Asymptotic behaviour of normalized dimensions of standard and strict Young diagrams -- growth and oscillations
Published in J. Knot Theory Ramifications 26 (2016)
• View Publication
• BIB
In this paper, we present the results of a computer investigation of asymptotics for maximum dimensions of linear and projective representations of the symmetric group. This problem reduces to the investigation of standard and strict Young diagrams of maximum dimensions. We constructed some sequences for both standard and strict Young diagrams with extremely large dimensions. The conjecture that the limit of normalized dimensions exists was proposed 30 years ago [A.~M.~Vershik and S.~V.~Kerov, 1985] and has not been proved yet. We studied the growth and oscillations of the normalized dimension function in sequences of Young diagrams. Our approach is based on analyzing finite differences of their normalized dimensions. This analysis also allows us to give much more precise estimation of the limit constants.
The transition matrix between the Specht and $\mathfrak{sl}_3$ web bases is unitriangular with respect to shadow containment
Published
• View Publication
• BIB
Webs are planar graphs with boundary that describe morphisms in a diagrammatic representation category for $\mathfrak{sl}_k$. They are studied extensively by knot theorists because braiding maps provide a categorical way to express link diagrams in terms of webs, producing quantum invariants like the well-known Jones polynomial. One important question in representation theory is to identify the relationships between different bases; coefficients in the change-of-basis matrix often describe combinatorial, algebraic, or geometric quantities (like, e.g., Kazhdan-Lusztig polynomials). By "flattening" the braiding maps, webs can also be viewed as the basis elements of a symmetric-group representation.
In this paper, we define two new combinatorial structures for webs: band diagrams and their one-dimensional projections, shadows, that measure depths of regions inside the web. As an application, we resolve an open conjecture that the change-of-basis between the so-called Specht basis and web basis of this symmetric-group representation is unitriangular for $\mathfrak{sl}_3$-webs. We do this using band diagrams and shadows to construct a new partial order on webs that is a refinement of the usual partial order. In fact, we prove that for $\mathfrak{sl}_2$-webs, our new partial order coincides with the tableau partial order on webs studied by the authors and others. We also prove that though the new partial order for $\mathfrak{sl}_3$-webs is a refinement of the previously-studied tableau order, the two partial orders do not agree for $\mathfrak{sl}_3$.
Combinatorial encoding of Bernoulli schemes and the asymptotic behavior of Young tableaux
Published
• View Publication
• BIB
We consider two examples of a fully decodable combinatorial encoding of Bernoulli schemes: the encoding via Weyl simplices and the much more complicated encoding via the RSK (Robinson--Schensted--Knuth) correspondence. In the first case, the decodability is a quite simple fact, while in the second case, this is a nontrivial result obtained by D.~Romik and P.~Śniady and based on the papers~ \cite{KV}, \cite{VK}, and others. We comment on the proofs from the viewpoint of the theory of measurable partitions; another proof, using representation theory and generalized Schur--Weyl duality, will be presented elsewhere. We also study a new dynamics of Bernoulli variables on $P$-tableaux and find the limit 3D-shape of these tableaux.
Non-Noetherian representation categories of generalized fields
In this paper, we show that the categories of finitely generated projective $\mathbb{B}$-modules and $\mathbb{F}_\infty$-modules with morphisms being (splittable) injections are not locally Noetherian. This provides another instance of the fact that these generalized fields have strange homological behavior.
A geometric characterisation of subvarieties of the standard E_6-variety related to the ternions, degenerate split quaternions and sextonions over arbitrary fields
The main achievement of this paper is a geometric characterisation of certain subvarieties of the Cartan variety (the standard projective variety associated to the split exceptional group of Lie type E_6) over an arbitrary field K. The characterised varieties arise as Veronese representations of certain ring projective planes over quadratic subalgebras of the split octonions over K (among which the sextonions, a 6-dimensional non-associative algebra). We describe how these varieties are linked to the Freudenthal-Tits magic square, and discuss how they would even fit in, when also allowing the sextonions and other "degenerate composition algebras" as the algebras used to construct the square.
Sumsets of Wythoff Sequences, Fibonacci Representation, and Beyond
Published
• View Publication
• BIB
Let $α= (1+\sqrt{5})/2$ and define the lower and upper Wythoff sequences by $a_i = \lfloor i α\rfloor$, $b_i = \lfloor i α^2 \rfloor$ for $i \geq 1$. In a recent interesting paper, Kawsumarng et al. proved a number of results about numbers representable as sums of the form $a_i + a_j$, $b_i + b_j$, $a_i + b_j$, and so forth. In this paper I show how to derive all of their results, using one simple idea and existing free software called Walnut. The key idea is that for each of their sumsets, there is a relatively small automaton accepting the Fibonacci representation of the numbers represented. I also show how the automaton approach can easily prove other results.
Combinatorics of injective words for Temperley-Lieb algebras
Published
• View Publication
• BIB
This paper studies combinatorial properties of the 'complex of planar injective words', a chain complex of modules over the Temperley-Lieb algebra that arose in our work on homological stability. Despite being a linear rather than a discrete object, our chain complex nevertheless exhibits interesting combinatorial properties. We show that the Euler characteristic of this complex is the n-th Fine number. We obtain an alternating sum formula for the representation given by its top-dimensional homology module and, under further restrictions on the ground ring, we decompose this module in terms of certain standard Young tableaux. This trio of results - inspired by results of Reiner and Webb for the complex of injective words - can be viewed as an interpretation of the n-th Fine number as the 'planar' or 'Dyck path' analogue of the number of derangements of n letters. This interpretation has precursors in the literature, but here emerges naturally from considerations in homological stability. Our final result shows a surprising connection between the boundary maps of our complex and the Jacobsthal numbers.
On the Homology of Nilpotent k-ary Lie Algebras
We introduce nilpotent k-ary Lie algebras including analogues of Heisenberg Lie algebras and free nilpotent Lie algebras. We study homology of k-ary nilpotent Lie algebras by using a modification of Chevalley-Eilenberg complex. For some classes of nilpotent k-ary Lie algebras and in particular Heisenberg k-ary Lie algebras we give explicit formulas for Betti numbers. Representation stability of free nilpotent k-ary Lie algebras is proven and lower bounds for Betti numbers are described by Schur modules. We also verify that toral rank conjecture holds for the classes we studied. Moreover, for 2-step nilpotent k-ary Lie algebras, we give a refinement of it.
On the Minor Problem and Branching Coefficients
Published
• View Publication
• BIB
The Minor problem, namely the study of the spectrum of a principal submatrix of a Hermitian matrix taken at random on its orbit under conjugation, is revisited, with emphasis on the use of orbital integrals and on the connection with branching coefficients in the decomposition of an irreducible representation of U(n), resp. SU(n), into irreps of U(n-1), resp. SU(n-1).
Constellations and $τ$-functions for rationally weighted Hurwitz numbers
Published in Ann. Inst. H. Poincaré D 8, 119-158 (2021)
• View Publication
• BIB
Weighted constellations give graphical representations of weighted branched coverings of the Riemann sphere. They were introduced to provide a combinatorial interpretation of the $2$D Toda $τ$-functions of hypergeometric type serving as generating functions for weighted Hurwitz numbers in the case of polynomial weight generating functions. The product over all vertex and edge weights of a given weighted constellation, summed over all configurations, reproduces the $τ$-function. In the present work, this is generalized to constellations in which the weighting parameters are determined by a rational weight generating function. The associated $τ$-function may be expressed as a sum over the weights of doubly labelled weighted constellations, with two types of weighting parameters associated to each equivalence class of branched coverings. The double labelling of branch points, referred to as "colour" and "flavour" indices, is required by the fact that, in the Taylor expansion of the weight generating function, a particular colour from amongst the denominator parameters may appear multiply, and the flavour labels indicate this multiplicity.
Formal Orthogonal Pairs via Monomial Representations and Cohomology
A Formal Orthogonal Pair is a pair $(A,B)$ of symbolic rectangular matrices such that $AB^T=0$. It can be applied for the construction of Hadamard and Weighing matrices. In this paper we introduce a systematic way for constructing such pairs. Our method involves Representation Theory and Group Cohomology. The orthogonality property is a consequence of non-vanishing maps between certain cohomology groups. This construction has strong connections to the theory of Association Schemes and (weighted) Coherent Configurations. Our techniques are also capable for producing (anti-) amicable pairs. A handful of examples are given.
Generalized representation stability for disks in a strip and no-k-equal spaces
For fixed j and w, we study the j-th homology of the configuration space of n labeled disks of width 1 in an infinite strip of width w. As n grows, the homology groups grow exponentially in rank, suggesting a generalized representation stability as defined by Church--Ellenberg--Farb and Ramos. We prove this generalized representation stability for the strip of width 2, leaving open the case of w > 2. We also prove it for the configuration space of n labeled points in the line, of which no k are equal.
An analytic generalization of the Catalan numbers and its integral representation
Published in Mathematics, vol. 11 (2023), no. 8, Article 1870, 16 pages
• View Publication
• BIB
In the paper, the authors analytically generalize the Catalan numbers in combinatorial number theory, establish an integral representation of the analytic generalization of the Catalan numbers by virtue of Cauchy's integral formula in the theory of complex functions, and point out potential directions to further study.