representation ↗ reference
4053 papers tagged with this keyword
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
• Search Publication
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).
Gastineau-Hills' quasi-Clifford algebras and plug-in constructions for Hadamard matrices
Published
• View Publication
• BIB
The quasi-Clifford algebras, and their Wedderburn structure and representation theory, as described by Gastineau-Hills in 1980 and 1982, should be better known, and have only recently been rediscovered. These algebras and their representation theory provide effective tools to address certain questions relating to plug-in constructions for Hadamard matrices. The key question addressed is: Given $λ$, a pattern of amicability / anti-amicability, with $λ_{j,k}=λ_{k,j}=\pm 1$, find a set of $n$ monomial $\{-1,0,1\}$ matrices $\{D_j\}$ of minimal order such that $$ D_j D_k^T - λ_{j,k} D_k D_j^T = 0 \quad (j \neq k). $$
Transitive PSL(2,11)-invariant k-arcs in PG(4,q)
Published
• View Publication
• BIB
A \textit{k}-arc in the projective space ${\rm PG}(n,q)$ is a set of $k$ projective points such that no subcollection of $n+1$ points is contained in a hyperplane. In this paper, we construct new $60$-arcs and $110$-arcs in ${\rm PG}(4,q)$ that do not arise from rational or elliptic curves. We introduce computational methods that, when given a set $\mathcal{P}$ of projective points in the projective space of dimension $n$ over an algebraic number field $\mathcal{Q}(ξ)$, determines a complete list of primes $p$ for which the reduction modulo $p$ of $\mathcal{P}$ to the projective space ${\rm PG}(n,p^h)$ may fail to be a $k$-arc. Using these methods, we prove that there are infinitely many primes $p$ such that ${\rm PG}(4,p)$ contains a ${\rm PSL}(2,11)$-invariant $110$-arc, where ${\rm PSL}(2,11)$ is given in one of its natural irreducible representations as a subgroup of ${\rm PGL}(5,p)$. Similarly, we show that there exist ${\rm PSL}(2,11)$-invariant $110$-arcs in ${\rm PG}(4,p^2)$ and ${\rm PSL}(2,11)$-invariant $60$-arcs in ${\rm PG}(4,p)$ for infinitely many primes $p$.
Reconfiguration of graph minors
Under the reconfiguration framework, we consider the various ways that a target graph $H$ is a {\em minor} of a host graph $G$, where a subgraph of $G$ can be transformed into $H$ by means of {\em edge contraction} (replacement of both endpoints of an edge by a new vertex adjacent to any vertex adjacent to either endpoint). Equivalently, an {\em $H$-model} of $G$ is a labeling of the vertices of $G$ with the vertices of $H$, where the contraction of all edges between identically-labeled vertices results in a graph containing representations of all edges in $H$.
We explore the properties of $G$ and $H$ that result in a connected {\em reconfiguration graph}, in which nodes represent $H$-models and two nodes are adjacent if their corresponding $H$-models differ by the label of a single vertex of $G$. Various operations on $G$ or $H$ are shown to preserve connectivity. In addition, we demonstrate properties of graphs $G$ that result in connectivity for the target graphs $K_2$, $K_3$, and $K_4$, including a full characterization of graphs $G$ that result in connectivity for $K_2$-models, as well as the relationship between connectivity of $G$ and other $H$-models.
Sufficient conditions for the global rigidity of periodic graphs
Published
• View Publication
• BIB
Tanigawa (2016) showed that vertex-redundant rigidity of a graph implies its global rigidity in arbitrary dimension. We extend this result to periodic graphs under fixed lattice representations. A periodic graph is vertex-redundantly rigid if the deletion of a single vertex orbit under the periodicity results in a periodically rigid graph. Our proof is similar to the one of Tanigawa, but there are some added difficulties. First, it is not known whether periodic global rigidity is a generic property. This issue is resolved via a slight modification of a recent result of Kaszanitzy, Schulze and Tanigawa (2016). Secondly, while the rigidity of finite graphs in $\mathbb{R}^d$ on at most $d$ vertices obviously implies their global rigidity, it is non-trivial to prove a similar result for periodic graphs. This is accomplished by extending a result of Bezdek and Connelly (2002) on the existence of a continuous movement between two equivalent $d$-dimensional realisations of a single graph in $\mathbb{R}^{2d}$ to periodic frameworks.
As an application of our result, we give a necessary and sufficient condition for the global rigidity of generic periodic body-bar frameworks in arbitrary dimension. This provides a periodic counterpart to a result of Connelly, Jordan and Whiteley (2013) regarding the global rigidity of generic finite body-bar frameworks.
On the stab number of rectangle intersection graphs
Published
• View Publication
• BIB
We introduce the notion of \emph{stab number} and \emph{exact stab number} of rectangle intersection graphs, otherwise known as graphs of boxicity at most 2. A graph $G$ is said to be a \emph{$k$-stabbable rectangle intersection graph}, or \emph{$k$-SRIG} for short, if it has a rectangle intersection representation in which $k$ horizontal lines can be chosen such that each rectangle is intersected by at least one of them. If there exists such a representation with the additional property that each rectangle intersects exactly one of the $k$ horizontal lines, then the graph $G$ is said to be a \emph{$k$-exactly stabbable rectangle intersection graph}, or \emph{$k$-ESRIG} for short. The stab number of a graph $G$, denoted by $stab(G)$, is the minimum integer $k$ such that $G$ is a $k$-SRIG. Similarly, the exact stab number of a graph $G$, denoted by $estab(G)$, is the minimum integer $k$ such that $G$ is a $k$-ESRIG. In this work, we study the stab number and exact stab number of some subclasses of rectangle intersection graphs. A lower bound on the stab number of rectangle intersection graphs in terms of its pathwidth and clique number is shown. Tight upper bounds on the exact stab number of split graphs with boxicity at most 2 and block graphs are also given. We show that for $k\leq 3$, $k$-SRIG is equivalent to $k$-ESRIG and for any $k\geq 10$, there is a tree which is a $k$-SRIG but not a $k$-ESRIG. We also develop a forbidden structure characterization for block graphs that are 2-ESRIG and trees that are 3-ESRIG, which lead to polynomial-time recognition algorithms for these two classes of graphs. These forbidden structures are natural generalizations of asteroidal triples. Finally, we construct examples to show that these forbidden structures are not sufficient to characterize block graphs that are 3-SRIG or trees that are $k$-SRIG for any $k\geq 4$.
On bounds on bend number of split and cocomparability graphs
Published
• View Publication
• BIB
A path is a simple, piecewise linear curve made up of alternating horizontal and vertical line segments in the plane. A $k$-bend path is a path made up of at most $k + 1$ line segments. A $B_k$-VPG representation of a graph is a collection of $k$-bend paths such that each path in the collection represents a vertex of the graph and two such paths intersect if and only if the vertices they represent are adjacent in the graph. The graphs that have a $B_k$-VPG representation are called $B_k$-VPG graphs. It is known that the poset dimension $dim(G)$ of a cocomparability graph $G$ is greater than or equal to its bend number $bend(G)$. Cohen et al. ({\textsc{order 2015}}) asked for examples of cocomparability graphs with low bend number and high poset dimension. We answer this question by proving that for each $m, t \in \mathbb{N}$, there exists a cocomparability graph $G_{t,m}$ with $t < bend(G_{t,m}) \leq 4t+29$ and $dim(G_{t,m})-bend(G_{t,m})>m$. Techniques used to prove the above result, allows us to partially address the open question posed by Chaplick et al. ({\textsc{wg 2012}}) who asked whether $B_k$-VPG-chordal $\subsetneq$ $B_{k+1}$-VPG-chordal for all $k \in \mathbb{N}$. We address this by proving that there are infinitely many $m \in \mathbb{N}$ such that $B_m$-VPG-split $\subsetneq$ $B_{m+1}$-VPG-split which provides infinitely many positive examples. We use the same techniques to prove that, for all $t \in \mathbb{N}$, $B_t$-VPG-$Forb(C_{\geq 5})$ $\subsetneq$ $B_{4t+29}$-VPG-$Forb(C_{\geq 5})$, where $Forb(C_{\geq 5})$ denotes the family of graphs that does not contain induced cycles of length greater than 4. Furthermore, we show that for all $t \in \mathbb{N}$, $PB_t$-VPG-split $\subsetneq PB_{36t+80}$-VPG-split, where $PB_t$-VPG denotes the class of graphs with proper bend number at most $t$.
Promotion on oscillating and alternating tableaux and rotation of matchings and permutations
Published
• View Publication
• BIB
Using Henriques' and Kamnitzer's cactus groups, Schützenberger's promotion and evacuation operators on standard Young tableaux can be generalised in a very natural way to operators acting on highest weight words in tensor products of crystals.
For the crystals corresponding to the vector representations of the symplectic groups, we show that Sundaram's map to perfect matchings intertwines promotion and rotation of the associated chord diagrams, and evacuation and reversal. We also exhibit a map with similar features for the crystals corresponding to the adjoint representations of the general linear groups.
We prove these results by applying van Leeuwen's generalisation of Fomin's local rules for jeu de taquin, connected to the action of the cactus groups by Lenart, and variants of Fomin's growth diagrams for the Robinson-Schensted correspondence.
Finite Groups Generated in Low Real Codimension
Published
• View Publication
• BIB
We study the intersection lattice of the arrangement $\mathcal{A}^G$ of subspaces fixed by subgroups of a finite linear group $G$. When $G$ is a reflection group, this arrangement is precisely the hyperplane reflection arrangement of $G$. We generalize the notion of finite reflection groups. We say that a group $G$ is generated (resp. strictly generated) in codimension $k$ if it is generated by its elements that fix point-wise a subspace of codimension at most $k$ (resp. precisely $k$).
If $G$ is generated in codimension two, we show that the intersection lattice of $\mathcal{A}^G$ is atomic. We prove that the alternating subgroup $\mathsf{Alt}(W)$ of a reflection group $W$ is strictly generated in codimension two, moreover, the subspace arrangement of $\mathsf{Alt}(W)$ is the truncation at rank two of the reflection arrangement $\mathcal{A}^W$.
Further, we compute the intersection lattice of all finite subgroups of $GL_3(\mathbb{R})$, and moreover, we emphasize the groups that are "minimally generated in real codimension two", i.e, groups that are strictly generated in codimension two but have no real reflection representations. We also provide several examples of groups generated in higher codimension.
On the finiteness of quantum K-theory of a homogeneous space
Published in International Mathematics Research Notices, Volume 2022, Issue 2, January 2022, Pages 1313--1349
• View Publication
• BIB
We show that the product in the quantum K-ring of a generalized flag manifold $G/P$ involves only finitely many powers of the Novikov variables. In contrast to previous approaches to this finiteness question, we exploit the finite difference module structure of quantum K-theory. At the core of the proof is a bound on the asymptotic growth of the $J$-function, which in turn comes from an analysis of the singularities of the zastava spaces studied in geometric representation theory.
An appendix by H. Iritani establishes the equivalence between finiteness and a quadratic growth condition on certain shift operators.
Representations of monomial matrices and restriction from $GL_n$ to $S_n$
We outline an approach to understanding restrictions of polynomial representations of $GL_n(\mathbb{C})$ to $S_n$ by first restricting to $T \rtimes S_n$, the subgroup of $n \times n$ monomial matrices. Using this approach we give a combinatorial interpretation for the decomposition of a tensor product of symmetric powers of the defining representation.