representation ↗ reference
4143 papers tagged with this keyword
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.
Some hypergeometric integrals for linear forms in zeta values
Published in Bull. Austral. Math. Soc. 98:3 (2018) 372--375
• View Publication
• BIB
We prove integral representations of the approximation forms in zeta values constructed in arXiv:1801.09895 and arXiv:1803.08905.
K-cut on paths and some trees
Published
• View Publication
• BIB
We define the (random) $k$-cut number of a rooted graph to model the difficulty of the destruction of a resilient network. The process is as the cut model of Meir and Moon except now a node must be cut $k$ times before it is destroyed. The first order terms of the expectation and variance of $\mathcal{X}_{n}$, the $k$-cut number of a path of length $n$, are proved. We also show that $\mathcal{X}_{n}$, after rescaling, converges in distribution to a limit $\mathcal{B}_{k}$, which has a complicated representation. The paper then briefly discusses the $k$-cut number of some trees and general graphs. We conclude by some analytic results which may be of interest.
Involutions and the Gelfand character
Published
• View Publication
• BIB
The Gelfand representation of $\mathcal{S}_n$ is the multiplicity-free direct sum of the irreducible representations of $\mathcal{S}_n$. In this paper, we use a result of Adin, Postnikov, and Roichman to find a recursive generating function for the Gelfand character. In order to find this generating function, we investigate descents of so-called $λ$-unimodal involutions.
Remarks on singular Cayley graphs and vanishing elements of simple groups
Published
• View Publication
• BIB
Let $Γ$ be a finite graph and let $A(Γ)$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A(Γ)$ is singular. The singularity of graphs is of certain interest in graph theory and algebraic combinatorics. Here we investigate this problem for Cayley graphs ${\rm Cay}(G,H)$ when $G$ is a finite group and when the connecting set $H$ is a union of conjugacy classes of $G.$ In this situation the singularity problem reduces to finding an irreducible character $χ$ of $G$ for which $\sum_{h\in H}\,χ(h)=0.$
At this stage we focus on the case when $H$ is a single conjugacy class $h^G$ of $G.$ Here the above equality is equivalent to $χ(h)=0$. Much is known in this situation, with essential information coming from the block theory of representations of finite groups. An element $h\in G$ is called vanishing if $χ(h)=0$ for some irreducible character $χ$ of $G.$ We study vanishing elements mainly in finite simple groups and in alternating groups in particular. We suggest some approaches for constructing singular Cayley graphs.
Arctic curves for paths with arbitrary starting points: a tangent method approach
Published in J. Phys. A: Math. Theor. 51 355201 (2018)
• View Publication
• BIB
We use the tangent method to investigate the arctic curve in a model of non-intersecting lattice paths with arbitrary fixed starting points aligned along some boundary and whose distribution is characterized by some arbitrary piecewise differentiable function. We find that the arctic curve has a simple explicit parametric representation depending of this function, providing us with a simple transform that maps the arbitrary boundary condition to the arctic curve location. We discuss generic starting point distributions as well as particular freezing ones which create additional frozen domains adjacent to the boundary, hence new portions for the arctic curve. A number of examples are presented, corresponding to both generic and freezing distributions.
An efficient high dimensional quantum Schur transform
Published in Quantum 3, 122 (2019)
• View Publication
• BIB
The Schur transform is a unitary operator that block diagonalizes the action of the symmetric and unitary groups on an $n$ fold tensor product $V^{\otimes n}$ of a vector space $V$ of dimension $d$. Bacon, Chuang and Harrow \cite{BCH07} gave a quantum algorithm for this transform that is polynomial in $n$, $d$ and $\logε^{-1}$, where $ε$ is the precision. In a footnote in Harrow's thesis \cite{H05}, a brief description of how to make the algorithm of \cite{BCH07} polynomial in $\log d$ is given using the unitary group representation theory (however, this has not been explained in detail anywhere. In this article, we present a quantum algorithm for the Schur transform that is polynomial in $n$, $\log d$ and $\logε^{-1}$ using a different approach. Specifically, we build this transform using the representation theory of the symmetric group and in this sense our technique can be considered a "dual" algorithm to \cite{BCH07}. A novel feature of our algorithm is that we construct the quantum Fourier transform over the so called \emph{permutation modules}, which could have other applications.
Adjoint Representations of the Symmetric Group
We study the restriction to the symmetric group, $\mc{S}_n$ of the adjoint representation of $\mt{GL}_n(\C)$. We determine the irreducible constituents of the space of symmetric as well as the space of skew-symmetric $n\times n$ matrices as $\mc{S}_n$-modules.
Simplicial $G$-complexes and representation stability of polyhedral products
Published in Algebr. Geom. Topol. 20 (2020) 215-238
• View Publication
• BIB
Representation stability in the sense of Church-Farb is concerned with stable properties of representations of sequences of algebraic structures, in particular of groups. We study this notion on objects arising in toric topology. With a simplicial $G$-complex $K$ and a topological pair $(X, A)$, a $G$-polyhedral product $(X, A)^K$ is associated. We show that the homotopy decomposition [2] of $Σ(X, A)^K$ is then $G$-equivariant after suspension. In the case of $Σ_m$-polyhedral products, we give criteria on simplicial $Σ_m$-complexes which imply representation stability of $Σ_m$-representations $\{H_i((X, A)^{K_m})\}$.
Dual graded graphs and Bratteli diagrams of towers of groups
Published in Electronic Journal of Combinatorics 26(1) (2019), #P1.25
• View Publication
• BIB
An $r$-dual tower of groups is a nested sequence of finite groups, like the symmetric groups, whose Bratteli diagram forms an $r$-dual graded graph. Miller and Reiner introduced a special case of these towers in order to study the Smith forms of the up and down maps in a differential poset. Agarwal and the author have also used these towers to compute critical groups of representations of groups appearing in the tower. In this paper I prove that when $r$ is one or prime, wreath products of a fixed group with the symmetric groups are the only $r$-dual tower of groups, and conjecture that this is the case for general values of $r$. This implies that these wreath products are the only groups for which one can define an analog of the Robinson-Schensted bijection in terms of a growth rule in a dual graded graph.
Correlation Functions as Nests of Self-Avoiding Paths
Published in J. Math. Sci., Vol. 238, No. 6 (2019), 779-792
• View Publication
• BIB
We discuss connection between the XXZ Heisenberg spin chain in the limiting case of zero anisotropy and some aspects of enumerative combinatorics. The representation of the Bethe wave functions via the Schur functions allows to apply the theory of symmetric functions to calculation of the correlation functions. We provide a combinatorial derivation of the dynamical correlation functions of the projection operator in terms of nests of self-avoiding lattice paths.