representation ↗ reference
4143 papers tagged with this keyword
Hypergraph encoding set systems and their linear representations
We study $t$-designs of parameters $(n,k,λ)$ over finite fields as group divisible designs and set systems admitting a transitive action of a linear group encoded in an hypergraph $G$ whose vertex set of size $n$ is partitioned into sets of size $k$ in such a way that every $t$-subset is contained in at least $λ$ subsets of $G$. We relate the problem to the representation theory of the general linear group $\GL(n,\mathbb{F}_{q})$ and the constructions of AG codes over finite fields.
Representaciones Circulares de Grafos Simples Conexos y el Rango Mínimo Semidefinido de un Delta Grafo
In this paper we give a technique to represent simple connected graphs by using Clockwise Circular Representations and we show its applications by calculating orthogonal representations of simple connected graphs which are essentials in matrix analysis and graph theory.
Sequential sampling of junction trees for decomposable graphs
Published
• View Publication
• BIB
The junction-tree representation provides an attractive structural property for organizing a decomposable graph. In this study, we present two novel stochastic algorithms, which we call the junction-tree expander and junction-tree collapser for sequential sampling of junction trees for decomposable graphs. We show that recursive application of the junction-tree expander, expanding incrementally the underlying graph with one vertex at a time, has full support on the space of junction trees with any given number of underlying vertices. On the other hand, the junction-tree collapser provides a complementary operation for removing vertices in the underlying decomposable graph of a junction tree, while maintaining the junction tree property. A direct application of our suggested algorithms is demonstrated in a sequential-Monte-Carlo setting designed for sampling from distributions on spaces of decomposable graphs. Numerical studies illustrate the utility of the proposed algorithms for combinatorial computations on decomposable graphs and junction trees. All the methods proposed in the paper are implemented in the Python library trilearn.
Tropical Geometry of Phylogenetic Tree Space: A Statistical Perspective
Phylogenetic trees are the fundamental mathematical representation of evolutionary processes in biology. They are also objects of interest in pure mathematics, such as algebraic geometry and combinatorics, due to their discrete geometry. Although they are important data structures, they face the significant challenge that sets of trees form a non-Euclidean phylogenetic tree space, which means that standard computational and statistical methods cannot be directly applied. In this work, we explore the statistical feasibility of a pure mathematical representation of the set of all phylogenetic trees based on tropical geometry for both descriptive and inferential statistics, and unsupervised and supervised machine learning. Our exploration is both theoretical and practical. We show that the tropical geometric phylogenetic tree space endowed with a generalized Hilbert projective metric exhibits analytic, geometric, and topological properties that are desirable for theoretical studies in probability and statistics and allow for well-defined questions to be posed. We illustrate the statistical feasibility of the tropical geometric perspective for phylogenetic trees with an example of both a descriptive and inferential statistical task. Moreover, this approach exhibits increased computational efficiency and statistical performance over the current state-of-the-art, which we illustrate with a real data example on seasonal influenza. Our results demonstrate the viability of the tropical geometric setting for parametric statistical and probabilistic studies of sets of phylogenetic trees.
Adjacency and Tensor Representation in General Hypergraphs.Part 2: Multisets, Hb-graphs and Related e-adjacency Tensors
HyperBagGraphs (hb-graphs as short) extend hypergraphs by allowing the hyperedges to be multisets. Multisets are composed of elements that have a multiplicity. When this multiplicity has positive integer values, it corresponds to non ordered lists of potentially duplicated elements. We define hb-graphs as family of multisets over a vertex set; natural hb-graphs correspond to hb-graphs that have multiplicity function with positive integer values. Extending the definition of e-adjacency to natural hb-graphs, we define different way of building an e-adjacency tensor, that we compare before having a final choice of the tensor. This hb-graph e-adjacency tensor is used with hypergraphs.
On the influence of the interaction graph on a finite dynamical system
Published
• View Publication
• BIB
A finite dynamical system (FDS) is a system of multivariate functions over a finite alphabet, that is typically used to model a network of interacting entities. The main feature of a finite dynamical system is its interaction graph, which indicates which local functions depend on which variables; the interaction graph is a qualitative representation of the interactions amongst entities on the network. As such, a major problem is to determine the effect of the interaction graph on the dynamics of the FDS. In this paper, we are interested in three main properties of an FDS: the number of images (the so-called rank), the number of periodic points (the so-called periodic rank) and the number of fixed points. In particular, we investigate the minimum, average, and maximum number of images (or periodic points, or fixed points) of FDSs with a prescribed interaction graph and a given alphabet size; thus yielding nine quantities to study. The paper is split into two parts. The first part considers the minimum rank, for which we derive the first meaningful results known so far. In particular, we show that the minimum rank decreases with the alphabet size, thus yielding the definition of an absolute minimum rank. We obtain lower and upper bounds on this absolute minimum rank, and we give classification results for graphs with very low (or highest) rank. The second part is a comprehensive survey of the results obtained on the nine quantities described above. We not only give a review of known results, but we also give a list of relevant open questions.
On the non-existence of linear perfect Lee codes: The Zhang-Ge condition and a new polynomial criterion
Published
• View Publication
• BIB
The Golomb-Welch conjecture (1968) states that there are no $e$-perfect Lee codes in $\mathbb{Z}^n$ for $n\geq 3$ and $e\geq 2$. This conjecture remains open even for linear codes. A recent result of Zhang and Ge establishes the non-existence of linear $e$-perfect Lee codes in $\mathbb{Z}^n$ for infinitely many dimensions $n$, for $e=3$ and $4$. In this paper we extend this result in two ways. First, using the non-existence criterion of Zhang and Ge together with a generalized version of Lucas' theorem we extend the above result for almost all $e$ (i.e. a subset of positive integers with density $1$). Namely, if $e$ contains a digit $1$ in its base-$3$ representation which is not in the unit place (e.g. $e=3,4$) there are no linear $e$-perfect Lee codes in $\mathbb{Z}^n$ for infinitely many dimensions $n$. Next, based on a family of polynomials (the $Q$-polynomials), we present a new criterion for the non-existence of certain lattice tilings. This criterion depends on a prime $p$ and a tile $B$. For $p=3$ and $B$ being a Lee ball we recover the criterion of Zhang and Ge.
On interrelations between strongly, weakly and chord separated set-systems (a geometric approach)
Published
• View Publication
• BIB
We consider three types of set-systems that have interesting applications in algebraic combinatorics and representation theory: maximal collections of the so-called strongly separated, weakly separated, and chord separated subsets of a set $[n]=\{1,2,\ldots,n\}$. These collections are known to admit nice geometric interpretations; namely, they are bijective, respectively, to rhombus tilings on the zonogon $Z(n,2)$, combined tilings on $Z(n,2)$, and fine zonotopal tilings (or `cubillages') on the 3-dimensional zonotope $Z(n,3)$. We describe interrelations between these three types of set-systems in $2^{[n]}$, by studying interrelations between their geometric models. In particular, we completely characterize the sets of rhombus and combined tilings properly embeddable in a fixed cubillage, explain that they form distributive lattices, give efficient methods of extending a given rhombus or combined tiling to a cubillage, and etc.
A Deformed Quon Algebra
Published
• View Publication
• BIB
The quon algebra is an approach to particle statistics in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount. The quons are particles whose annihilation and creation operators obey the quon algebra which interpolates between fermions and bosons. In this paper we generalize these models by introducing a deformation of the quon algebra generated by a collection of operators $a_{i,k}$, $(i,k) \in \mathbb{N}^* \times [m]$, on an infinite dimensional vector space satisfying the deformed $q$-mutator relations $a_{j,l} a_{i,k}^† = q a_{i,k}^† a_{j,l} + q^{β_{-k,l}} δ_{i,j}$. We prove the realizability of our model by showing that, for suitable values of $q$, the vector space generated by the particle states obtained by applying combinations of $a_{i,k}$'s and $a_{i,k}^†$'s to a vacuum state $|0\rangle$ is a Hilbert space. The proof particularly needs the investigation of the new statistic $\mathtt{cinv}$ and representations of the colored permutation group.
Number of Vertices of the Polytope of Integer Partitions and Factorization of the Partitioned Number
Published
• View Publication
• BIB
The polytope of integer partitions of $n$ is the convex hull of the corresponding $n$-dimensional integer points. Its vertices are of importance because every partition is their convex combination. Computation shows intriguing features of $v(n),$ the number of the polytope vertices: its graph has a saw-toothed shape with the highest peaks at prime $n$'s. We explain the shape of $v(n)$ by the large number of partitions of even $n$'s that were counted by N. Metropolis and P. R. Stein. These partitions are convex combinations of two others. We reveal that divisibility of $n$ by 3 also reduces the value of $v(n),$ which is caused by partitions that are convex combinations of three but not two others, and characterize convex representations of such integer points in arbitrary integral polytope. To approach the prime $n$ phenomenon, we use a specific classification of integers and demonstrate that the graph of $v(n)$ is stratified to layers corresponding to resulting classes. Our main conjecture claims that $v(n)$ depends on collections of divisors of $n.$ We also offer an initial argument for that the number of vertices of the Gomory's master corner polyhedron on the cyclic group has features similar to those of $v(n).$
New explicit solution to the N-Queens Problem and its relation to the Millennium Problem
Using modular arithmetic of the ring $\mathbb{Z}_{n+1}$ we obtain a new short solution to the problem of existence of at least one solution to the $N$-Queens problem on an $N \times N$ chessboard. It was proved, that these solutions can be represented as the Queen function with the width fewer or equal to 3. It is shown, that this estimate could not be reduced. A necessary and sufficient condition of being a composition of solutions a solution is found. Based on the obtained results we formulate a conjecture about the width of the representation of arbitrary solution. If this conjecture is valid, it entails solvability of the $N$-Queens completion in polynomial time. The connection between the $N$-Queens completion and the Millennium $P$ vs $NP$ Problem is found by the group of mathematicians from Scotland in August 2017.
Almost $\mathcal{R}$-trivial monoids are almost never Ramsey
Recent results have generalized Gowers' Theorem (to Lupini's Theorem) and the Furstenberg-Katznelson theorem, both infinite dimensional Ramsey Theorems. The framework of arXiv:1611.06600 provides a machine which accepts (almost $\mathcal{R}$-trivial) monoids and outputs Ramsey theorems. The major generalization was to extract monoid actions from these theorems.
We investigate the other direction, and feed into the machine monoids which appear "naturally", and which are not extracted from a Ramsey theorem, such as such as $0$-Hecke monoids and hyperplane face monoids. Most examples of monoids coming from geometry will not be Ramsey monoids. We provide a simple combinatorial condition for checking this that goes through the representation of almost $\mathcal{R}$-trivial monoids as a family of (almost) regressive functions.
Except in extremely small or trivial cases, the naturally occurring monoids will not be Ramsey.
On the $q$-derivative and $q$-series expansions
Published in International Journal of Number Theory 8 (2013)2069--2089
• View Publication
• BIB
Using a general $q$-series expansion, we derive some nontrivial $q$-formulas involving many infinite products. A multitude of Hecke--type series identities are derived. Some general formulas for sums of any number of squares are given. A new representation for the generating function for sums of three triangular numbers is derived, which is slightly different from that of Andrews, also implies the famous result of Gauss where every integer is the sum of three triangular numbers.
The thickness of Schubert cells as incidence structures
Published in J. Aust. Math. Soc. 109 (2020) 145-156
• View Publication
• BIB
This paper explores the possible use of Schubert cells and Schubert varieties in finite geometry, particularly in regard to the question of whether these objects might be a source of understanding of ovoids or provide new examples. The main result provides a characterization of those Schubert cells for finite Chevalley groups which have the first property (thinness) of ovoids. More importantly, perhaps this short paper can help to bridge the modern language barrier between finite geometry and representation theory. For this purpose, this paper includes very brief surveys of the powerful lattice theory point of view from finite geometry and the powerful method of indexing points of flag varieties by Chevalley generators from representation theory.
Asymptotic results for Representation Theory
Representation theory of finite groups portrays a marvelous crossroad of group theory, algebraic combinatorics, and probability. In particular the Plancherel measure is a probability that arises naturally from representation theory, and in this thesis we consider three ramifications of asymptotic questions for random Plancherel distributed representations. First we recall irreducible characters of the symmetric group, which are indexed by integer partitions. We focus on the so called 'dual approach', in which the partition indexing a character is now considered to be the variable. We extend a famous result of Kerov on the asymptotic of Plancherel distributed characters by studying partial trace and partial sum of a representation matrix. We decompose each of these objects into a main term and a remainder, and in each case we prove a central limit theorem for the main term. We apply these results to prove a law of large numbers for the partial sum. In the second part we consider projective representations of the symmetric group by converting a multirectangular approach developed by Stanley for the classical case. In particular, we present a positivity conjecture for the coefficients of the renormalized projective character, written as a polynomial in a new set of coordinates. We prove the positivity for the leading term of the polynomial. In the last part of the thesis we recall the theory of supercharacters, which is an alternative tool to representation theory when the classical approach proves to be intractable. We show that a generalization of the Plancherel measure, called the superplancherel measure, arises naturally. We focus on a particular supercharacter theory for the upper unitriangular group in which supercharacters are indexed by set partitions. We prove a limit shape result for a random set partition according to this distribution.
Bivariate representation and conjugacy class zeta functions associated to unipotent group schemes, II: Groups of type F, G, and H
Published in Internat. J. Algebra Comput. (2020), online ready
• View Publication
• BIB
This is the second of two papers introducing and investigating two bivariate zeta functions associated to unipotent group schemes over rings of integers of number fields. In the first part, we proved some of their properties such as rationality and functional equations. Here, we calculate such bivariate zeta functions of three infinite families of nilpotent groups of class 2 generalising the Heisenberg group of three by three unitriangular matrices over rings of integers of number fields. The local factors of these zeta functions are also expressed in terms of sums over finite hyperoctahedral groups, which provides formulae for joint distributions of three statistics on such groups.
Strongly perfect lattices sandwiched between Barnes-Wall lattices
Published in J. London Math. Soc. 101 (2020), 1068-1089
• View Publication
• BIB
New series of $2^{2m}$-dimensional universally strongly perfect lattices $Λ_I $ and $Γ_J $ are constructed with $$2BW_{2m} ^{\#} \subseteq Γ_J \subseteq BW_{2m} \subseteq Λ_I \subseteq BW _{2m}^{\#} .$$ The lattices are found by restricting the spin representations of the automorphism group of the Barnes-Wall lattice to its subgroup ${\mathcal U}_m:={\mathcal C}_m (4^H_{\bf 1}) $. The group ${\mathcal U}_m$ is the Clifford-Weil group associated to the Hermitian self-dual codes over ${\bf F} _4$ containing ${\bf 1}$, so the ring of polynomial invariants of ${\mathcal U}_m$ is spanned by the genus-$m$ complete weight enumerators of such codes. This allows us to show that all the ${\mathcal U}_m$ invariant lattices are universally strongly perfect. We introduce a new construction, $D^{(cyc)}$ for chains of (extended) cyclic codes to obtain (bounds on) the minimum of the new lattices.
Independence Posets
Published
• View Publication
• BIB
Let $G$ be an acylic directed graph. For each vertex $g \in G$, we define an involution on the independent sets of $G$. We call these involutions flips, and use them to define a new partial order on independent sets of $G$.
Trim lattices generalize distributive lattices by removing the graded hypothesis: a graded trim lattice is a distributive lattice, and every distributive lattice is trim. Our independence posets are a further generalization of distributive lattices, eliminating also the lattice requirement: an independence poset that is a lattice is always a trim lattice, and every trim lattice is the independence poset for a unique (up to isomorphism) acyclic directed graph $G$. We characterize when an independence poset is a lattice with a graph-theoretic condition on $G$.
We generalize the definition of rowmotion from distributive lattices to independence posets, and we show it can be computed in three different ways. We also relate our constructions to torsion classes, semibricks, and 2-simpleminded collections arising in the representation theory of certain acyclic finite-dimensional algebras.
Identities from representation theory
Published in Discrete Math., 342(9) (2019), pp. 2493-2541
• View Publication
• BIB
We give a new Jacobi--Trudi-type formula for characters of finite-dimensional irreducible representations in type $C_n$ using characters of the fundamental representations and non-intersecting lattice paths. We give equivalent determinant formulas for the decomposition multiplicities for tensor powers of the spin representation in type $B_n$ and the exterior representation in type $C_n$. This gives a combinatorial proof of an identity of Katz and equates such a multiplicity with the dimension of an irreducible representation in type $C_n$. By taking certain specializations, we obtain identities for $q$-Catalan triangle numbers, the $q,t$-Catalan number of Stump, $q$-triangle versions of Motzkin and Riordan numbers, and generalizations of Touchard's identity. We use (spin) rigid tableaux and crystal base theory to show some formulas relating Catalan, Motzkin, and Riordan triangle numbers.
Two boundary Hecke Algebras and combinatorics of type C
Published
• View Publication
• BIB
This paper gives a Schur-Weyl duality approach to the representation theory of the affine Hecke algebras of type C with unequal parameters. The first step is to realize the affine braid group of type $C_k$ as the group of braids on $k$ strands with two poles. Generalizing familiar methods from the one pole (type A) case, this provides commuting actions of the quantum group $U_q\mathfrak{g}$ and the affine braid group of type $C_k$ on a tensor space $M\otimes N \otimes V^{\otimes k}$. Special cases provide Schur-Weyl pairings between the affine Hecke algebra of type $C_k$ and the quantum group of type $\mathfrak{gl}_n$, resulting in natural labelings of many representations of the affine Hecke algebras of type C by partitions. Following an analysis of the structure of weights of affine Hecke algebra representations (extending the one parameter case to the three parameter case necessary for affine Hecke algebras of type C), we provide an explicit identification of the affine Hecke algebra representations that appear in tensor space (essentially by identifying their Langlands parameters).