representation ↗ reference
4143 papers tagged with this keyword
The Vertical Recursive Relation of Riordan Arrays and Their Matrix Representation
A vertical recursive relation approach to Riordan arrays is induced, while the horizontal recursive relation is represented by $A$- and $Z$-sequences. This vertical recursive approach gives a way to represent the entries of a Riordan array $(g,f)$ in terms of a recursive linear combinations of the coefficients of $g$. A matrix representation of the vertical recursive relation is also given. The set of all those matrices forms a group, called the quasi-Riordan group. The extensions of the horizontal recursive relation and the vertical recursive relation in terms of $c$- and $C$- Riordan arrays are defined with illustrations by using the rook triangle and the Laguerre triangle. Those extensions represent a way to study nonlinear recursive relations of the entries of some triangular matrices from linear recursive relations of the entries of Riordan arrays. In addition, the matrix representation of the vertical recursive relation of Riordan arrays provides transforms between lower order and high order finite Riordan arrays, where the $m$th order Riordan array is defined by $(g,f)_m=(d_{n,k})_{m\geq n,k\geq 0}$. Furthermore, the vertical relation approach to Riordan arrays provides a unified approach to construct identities.
Tropical Representations and Identities of the Stylic Monoid
Published
• View Publication
• BIB
We exhibit a faithful representation of the stylic monoid of every finite rank as a monoid of upper unitriangular matrices over the tropical semiring. Thus, we show that the stylic monoid of finite rank $n$ generates the pseudovariety $\boldsymbol{\mathcal{J}}_n$, which corresponds to the class of all piecewise testable languages of height $n$, in the framework of Eilenberg's correspondence. From this, we obtain the equational theory of the stylic monoids of finite rank, show that they are finitely based if and only if $n \leq 3$, and that their identity checking problem is decidable in linearithmic time. We also establish connections between the stylic monoids and other plactic-like monoids, and solve the finite basis problem for the stylic monoid with involution.
Prescribed graphon symmetries and flavors of rigidity
Published
• View Publication
• BIB
We prove that an arbitrary compact metrizable group can be realized as the automorphism group of a graphing; this is a continuous analogue to Frucht's theorem recovering arbitrary finite groups are automorphism groups of finite graphs.
The paper also contains a number of results the persistence of transitivity of a compact-group action upon passing to a limit of graphons. Call a compact group $\mathbb{G}$ graphon-rigid if, whenever it acts transitively on each member $Γ_n$ of a convergent sequence of graphons, it also acts transitively on the limit $\lim_n Γ$. We show that for a compact Lie group $\mathbb{G}$ graphon rigidity is equivalent to the identity component $\mathbb{G}_0$ being semisimple; as a partial converse to a result of Lovász and Szegedy, this is also equivalent to weak randomness: the property that the group have only finitely many irreducible representations in each dimension. Similarly, call a compact group $\mathbb{G}$ image-rigid if for every compact Lie group $\mathbb{H}$ the images of morphisms $\mathbb{G}\to \mathbb{H}$ form a closed set (of closed subgroups, in the natural topology). We prove that graphon rigidity implies image rigidity for compact groups that are either connected or profinite, and the two conditions are equivalent (and also equivalent to being torsion) for profinite abelian groups.
Invariant Theory for the free left-regular band and a q-analogue
Published in Pacific J. Math. 322 (2023) 251-280
• View Publication
• BIB
We examine from an invariant theory viewpoint the monoid algebras for two monoids having large symmetry groups. The first monoid is the free left-regular band on $n$ letters, defined on the set of all injective words, that is, the words with at most one occurrence of each letter. This monoid carries the action of the symmetric group. The second monoid is one of its $q$-analogues, considered by K. Brown, carrying an action of the finite general linear group. In both cases, we show that the invariant subalgebras are semisimple commutative algebras, and characterize them using Stirling and $q$-Stirling numbers.
We then use results from the theory of random walks and random-to-top shuffling to decompose the entire monoid algebra into irreducibles, simultaneously as a module over the invariant ring and as a group representation. Our irreducible decompositions are described in terms of derangement symmetric functions introduced by Désarménien and Wachs.
Quasirandom groups enjoy interleaved mixing
Let $G$ be a group such that any non-trivial representation has dimension at least $d$. Let $X=(X_{1},X_{2},\ldots,X_{t})$ and $Y=(Y_{1},Y_{2},\ldots,Y_{t})$ be distributions over $G^{t}$. Suppose that $X$ is independent from $Y$. We show that for any $g\in G$ we have $|\mathbb{P}[X_{1}Y_{1}X_{2}Y_{2}\cdots X_{t}Y_{t}=g]-1/|G||\le\frac{|G|^{2t-1}}{d^{t-1}}\sqrt{\mathbb{E}_{h\in G^{t}}X(h)^{2}}\sqrt{\mathbb{E}_{h\in G^{t}}Y(h)^{2}}.$ Our results generalize, improve, and simplify previous works.
The poset of Specht ideals for hyperoctahedral groups
Published
• View Publication
• BIB
Specht polynomials classically realize the irreducible representations of the symmetric group. The ideals defined by these polynomials provide a strong connection with the combinatorics of Young tableaux and have been intensively studied by several authors. We initiate similar investigations for the ideals defined by the Specht polynomials associated to the hyperoctahedral group $B_n$. We introduce a bidominance order on bipartitions which describes the poset of inclusions of these ideals and study algebraic consequences on general $B_n$-invariant ideals and varieties, which can lead to computational simplifications.
Characters of local and regular permutation statistics
The goal of this monograph is to study the indicator function for a set of permutations mapping one finite sequence of positive integers to another from a representation theoretic, combinatorial and probabilistic perspective. The degree of a function of permutations is the size of the largest pair of sequences required when expressing it as a linear combination of these indicators. This notion of degree, implicit in work of Diaconis, is critical for many applications of representation theory to extremal combinatorics, machine learning, probability and statistics. We use the term local to indicate bounded degree and initiate the study of low degree class functions, which encode probabilistic data for permutation statistics on each cycle type simultaneously.
We begin with a self contained treatment of for functions of permutations, developing its theory using language familiar to enumerative and algebraic combinatorialists. This leads naturally to a novel basis for symmetric functions we call the path power sum symmetric functions. The most technically challenging part of our work is the path Murnaghan-Nakayama formula, which expands path power sums into Schur functions. By combining the the path Murnaghan-Nakayam formula with the classical theory of character polynomials, one obtains a structural characterization for moments for permutation statistics conditioning on cycle type. We then analyze asymptotic properties of these moments. In doing so, we introduce the novel family of regular permutation statistics, which include almost all reasonable weighted pattern counting statistics. We show a large family of regular statistics satisfy a law of large numbers on a given cycle type depending only on the proportion of fixed points and a have variances depending only on fixed points and two cycles.
Convex geometries representable with colors, by ellipses on the plane, and impossible by circles
Published
• View Publication
• BIB
A convex geometry is a closure system satisfying the anti-exchange property. This paper, following the work of K. Adaricheva and M. Bolat (2016) and the Polymath REU 2020 team, continues to investigate representations of convex geometries on a 5-element base set. It introduces several properties: the opposite property, nested triangle property, area Q property, and separation property, of convex geometries of circles on a plane, preventing this representation for numerous convex geometries on a 5-element base set. It also demonstrates that all 672 convex geometries on a 5-element base set have a representation by ellipses, as given in the appendix for those without a known representation by circles, and introduces a method of expanding representation with circles by defining unary predicates, shown as colors.
On entropic and almost multilinear representability of matroids
This article studies two notions of generalized matroid representations motivated by algorithmic information theory and cryptographic secret sharing. The first (entropic representability) involves discrete random variables, while the second (almost-multilinear representability) deals with approximate subspace arrangements. In both cases, we prove that determining whether an input matroid has such a representation is undecidable. Consequently, the conditional independence implication problem is also undecidable, providing an independent answer to a question posed by Geiger and Pearl, recently resolved by Cheuk Ting Li. These problems are also closely related to characterizing achievable rates in network coding and constructing secret sharing schemes. For example, another corollary of our work is that deciding whether an access structure admits an ideal secret sharing scheme is undecidable. Our approach reduces undecidable problems from group theory to matroid representation problems. Specifically, we reduce the uniform word problem for finite groups to entropic representability and the word problem for sofic groups to almost-multilinear representability. A key part of this reduction involves modifying group presentations into forms where linear representations are generic in an appropriate sense when restricted to the generating set.
New lower bounds on crossing numbers of $K_{m,n}$ from semidefinite programming
Published
• View Publication
• BIB
In this paper, we use semidefinite programming and representation theory to compute new lower bounds on the crossing number of the complete bipartite graph $K_{m,n}$, extending a method from de Klerk et al. [SIAM J. Discrete Math. 20 (2006), 189--202] and the subsequent reduction by De Klerk, Pasechnik and Schrijver [Math. Prog. Ser. A and B, 109 (2007) 613--624]. We exploit the full symmetry of the problem using a novel decomposition technique. This results in a full block-diagonalization of the underlying matrix algebra, which we use to improve bounds on several concrete instances. Our results imply that $\text{cr}(K_{10,n}) \geq 4.87057 n^2 - 10n$, $\text{cr}(K_{11,n}) \geq 5.99939 n^2-12.5n$, $\text{cr}(K_{12,n}) \geq 7.25579 n^2 - 15n$, $\text{cr}(K_{13,n}) \geq 8.65675 n^2-18n$ for all $n$. The latter three bounds are computed using a new and well-performing relaxation of the original semidefinite programming bound. This new relaxation is obtained by only requiring one small matrix block to be positive semidefinite.
Locally free Caldero-Chapoton functions via reflections
Published
• View Publication
• BIB
We study the reflections of locally free Caldero-Chapoton functions associated to representations of Geiss-Leclerc-Schröer's quivers with relations for symmetrizable Cartan matrices. We prove that for rank 2 cluster algebras, non-initial cluster variables are expressed as locally free Caldero-Chapoton functions of locally free indecomposable rigid representations. Our method gives rise to a new proof of the locally free Caldero-Chapoton formulas obtained by Geiss-Leclerc-Schröer in Dynkin cases. For general acyclic skew-symmetrizable cluster algebras, we prove the formula for any non-initial cluster variable obtained by almost sink and source mutations.
The Jacobian of a graph and graph automorphisms
In the present paper we investigate the faithfulness of certain linear representations of groups of automorphisms of a graph $X$ in the group of symmetries of the Jacobian of $X$. As a consequence we show that if a $3$-edge-connected graph $X$ admits a nonabelian semiregular group of automorphims, then the Jacobian of $X$ cannot be cyclic. In particular, Cayley graphs of degree at least three arising from nonabelian groups have non-cyclic Jacobians. While the size of the Jacobian of $X$ is well-understood - it is equal to the number of spanning trees of $X$ - the combinatorial interpretation of the rank of Jacobian of a graph is unknown. Our paper presents a contribution in this direction.
gcd-Pairs in $\mathbb{Z}_{n}$ and their graph representations
This research introduces a gcd-pair in $\mathbb{Z}_n$ which is an unordered pair $\{[a]_n, [b]_n\}$ of elements in $ \mathbb{Z}_n $ such that $0\leq a,b < n$ and the greatest common divisor $\gcd(a,b)$ divides $ n $. The properties of gcd-pairs in $ \mathbb{Z}_n $ and their graph representations are investigated. We also provide the counting formula of gcd-pairs in $ \mathbb{Z}_n $ and its subsets. The algorithms to find, count and check gcd-pairs in $ \mathbb{Z}_{n}$ are included.
Extremal values of degree-based entropies of bipartite graphs
Published
• View Publication
• BIB
We characterize the bipartite graphs that minimize the (first-degree based) entropy, among all bipartite graphs of given size, or given size and (upper bound on the) order. The extremal graphs turn out to be complete bipartite graphs, or nearly complete bipartite. Here we make use of an equivalent representation of bipartite graphs by means of Young tableaux, which make it easier to compare the entropy of related graphs. We conclude that the general characterization of the extremal graphs is a difficult problem, due to its connections with number theory, but they are easy to find for specific values of the order $n$ and size $m$. We also give a direct argument to characterize the graphs maximizing the entropy given order and size. We indicate that some of our ideas extend to other degree-based topological indices as well.
Matroids of Gain Signed Graphs
Published
• View Publication
• BIB
A signed graph has edge signs. A gain graph has oriented edge gains drawn from a group. We define the combination of the two for the abelian case, in which each oriented edge of a signed graph has a gain from an abelian group, concentrating on the case of the additive group of a field. We develop the elementary graph properties, the associated matroid, and the vector and hyperplanar representations.
Some Identities in Quantum Torus Arising from Ringel-Hall Algebras
We define two classes of representations of quivers over arbitrary fields, called monomorphic representations and epimorphic representations. We show that every representation has a unique maximal nilpotent subrepresentation and the associated quotient is always monomorphic, and every representation has a unique maximal epimorphic subrepresentation and the associated quotient is always nilpotent. The uniquenesses of such subrepresenations imply two identities in the Ringel-Hall algebra. By applying Reineke's integration map, we obtain two identities in the corresponding quantum torus.
The vibrational modes of simplicial molecules
Published in Math Intelligencer 44 (2022) 364-370
• View Publication
• BIB
Consider a "simplicial molecule": $n$ equal point masses placed at the vertices of a regular $(n-1)$-simplex, connected by ${n \choose 2}$ identical springs. We apply the representation theory of the symmetric group $S_n$ to compute its vibrational modes.
On Graphs, Groups and Geometry
A metric space (X,d) is declared to be natural if (X,d) determines an up to isomorphism unique group structure (X,+) on the set X such that all the group translations and group inversion are isometries. A group is called natural if it emerges like this from a natural metric. A simple graph X is declared to be natural if (X,d) with geodesic metric d is natural. We look here at some examples and some general statements like that the graphical regular representations of a finite group is always a natural graphs or that the direct product on groups or the Shannon product of finite graphs preserves the property of being natural. The semi-direct product of finite natural groups is natural too as they are represented by Zig-Zag products of suitable Cayley graphs. It follows that wreath products preserve natural groups. The Rubik cube for example is natural. Also free products of finitely generated natural groups are natural. A major theme is that non-natural groups often can be upgraded to become natural by extending them to become Coxeter groups. Examples of non-natural groups are cyclic groups whose order is divisible by 4, the quaternion group, the integers, the lamplighter group, the free groups or the group of p-adic integers. The prototype feature is to extend the integers and get the infinite dihedral group, replacing the single generator by two free reflections. We conclude with a short discussion of the hypothesis of using the dihedral group as a physical time in dynamical system theory.
Sizing the White Whale
Published
• View Publication
• BIB
We propose a computational, convex hull free framework that takes advantage of the combinatorial structure of a zonotope, as for example its symmetry group, to orbitwise generate all canonical representatives of its vertices. We illustrate the proposed framework by generating all the 1 955 230 985 997 140 vertices of the $9$-dimensional White Whale. We also compute the number of edges of this zonotope up to dimension $9$ and exhibit a family of vertices whose degree is exponential in the dimension. The White Whale is the Minkowski sum of all the $2^d-1$ non-zero $0/1$-valued $d$-dimensional vectors. The central hyperplane arrangement dual to the White Whale, made up of the hyperplanes normal to these vectors, is called the resonance arrangement and has been studied in various contexts including algebraic geometry, mathematical physics, economics, psychometrics, and representation theory.
Quasisymmetric Schubert calculus
The ring of symmetric functions occupies a central place in algebraic combinatorics, with a particularly notable role in Schubert calculus, where the standard cell decompositions of Grassmannians yield the celebrated family of Schur functions and the cohomology ring is governed by Littlewood-Richardson rules. The past 50 years have seen an analogous development of quasisymmetric function theory, with applications to enumerative combinatorics, Hopf algebras, graph theory, representation theory, and other areas. Despite such successes, this theory has lacked a quasisymmetric analogue of Schubert calculus. In particular, there has been much interest, since work of Lam and Pylyavskyy (2007), in developing "$K$-theoretic" analogues of quasisymmetric function theory, for which a major obstacle has been the lack of topological interpretations.
Here, building on work of Baker and Richter (2008), we apply the philosophy of Schubert calculus to the loop space $Ω(Σ(\mathbb{C}\mathbb{P}^\infty))$ through the homotopy model given by James reduced product $J(\mathbb{C}\mathbb{P}^\infty)$. We describe a canonical Schubert cell decomposition of $J(\mathbb{C}\mathbb{P}^\infty)$, yielding a canonical basis of its cohomology, which we explicitly identify with monomial quasisymmetric functions. Our constructions apply equally to James reduced products of generalized flag varieties $G/P$, and we show how Littlewood-Richardson rules for any $G/P$ lift to $H^*(J(G/P))$.
If $J(\mathbb{C}\mathbb{P}^\infty)$ carried the structure of a normal projective algebraic variety, the structure sheaves of the cell closures would yield a "cellular $K$-theory" Schubert basis. We show this is impossible. Nonetheless, we introduce and study a more subtle $K$-theory Schubert basis. We characterize this $K$-theory ring and develop quasisymmetric representatives with an explicit combinatorial description.