representation ↗ reference
4053 papers tagged with this keyword
Ore's theorem on subfactor planar algebras
Published in Quantum Topol. 11 (2020), no. 3, 525-543
• View Publication
• BIB
This article proves that an irreducible subfactor planar algebra with a distributive biprojection lattice admits a minimal 2-box projection generating the identity biprojection. It is a generalization (conjectured in 2013) of a theorem of Oystein Ore on distributive intervals of finite groups (1938), and a corollary of a natural subfactor extension of a conjecture of Kenneth S. Brown in algebraic combinatorics (2000). We deduce a link between combinatorics and representations in finite group theory.
The spin-Brauer diagram algebra
Published
• View Publication
• BIB
We investigate the spin-Brauer diagram algebra, denoted ${\bf SB}_n(δ)$, that arises from studying an analogous form of Schur-Weyl duality for the action of the pin group on ${\bf V}^{\otimes n} \otimes Δ$. Here ${\bf V}$ is the standard $N$-dimensional complex representation of ${\bf Pin}(N)$ and $Δ$ is the spin representation. When $δ= N$ is a positive integer, we define a surjective map ${\bf SB}_n(N) \twoheadrightarrow {\rm End}_{{\bf Pin}(N)}({\bf V}^{\otimes n} \otimes Δ)$ and show it is an isomorphism for $N \geq 2n$. We show ${\bf SB}_n(δ)$ is a cellular algebra and use cellularity to characterize its irreducible representations.
Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
Published in J. Combin. Theory Ser. A 172 (2020), 105177
• View Publication
• BIB
A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by the number of its internal nodes. Due to its superexponential growth this problem poses many difficulties. Therefore we restrict our investigations to compacted trees of bounded right height, which is the maximal number of edges going to the right on any path from the root to a leaf.
We solve the asymptotic counting problem for this class as well as a closely related, further simplified class.
For this purpose, we develop a calculus on exponential generating functions for compacted trees of bounded right height and for relaxed trees of bounded right height, which differ from compacted trees by dropping the above described uniqueness condition. This enables us to derive a recursively defined sequence of differential equations for the exponential generating functions. The coefficients can then be determined by performing a singularity analysis of the solutions of these differential equations.
Our main results are the computation of the asymptotic numbers of relaxed as well as compacted trees of bounded right height and given size, when the size tends to infinity.
Freeness of multi-reflection arrangements via primitive vector fields
Published
• View Publication
• BIB
In 2002, Terao showed that every reflection multi-arrangement of a real reflection group with constant multiplicity is free by providing a basis of the module of derivations. We first generalize Terao's result to multi-arrangements stemming from well-generated unitary reflection groups, where the multiplicity of a hyperplane depends on the order of its stabilizer. Here the exponents depend on the exponents of the dual reflection representation. We then extend our results further to all imprimitive irreducible unitary reflection groups. In this case the exponents turn out to depend on the exponents of a certain Galois twist of the dual reflection representation that comes from a Beynon-Lusztig type semi-palindromicity of the fake degrees.
Most Rigid Representations and Cayley index
Published
• View Publication
• BIB
For any finite group $G$, a natural question to ask is the order of the smallest possible automorphism group for a Cayley graph on $G$. A particular Cayley graph whose automorphism group has this order is referred to as an MRR (Most Rigid Representation), and its Cayley index is a numerical indicator of this value. Study of GRRs showed that with the exception of two infinite families and seven individual groups, every group admits a Cayley graph whose MRR is a GRR, so that the Cayley index is 1. The full answer to the question of finding the smallest possible Cayley index for a Cayley graph on a fixed group was almost completed in previous work, but the precise answers for some finite groups and one infinite family of groups were left open. We fill in the remaining gaps to completely answer this question.
Continued fractions for permutation statistics
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (June 25, 2018) dmtcs:3225
• View Publication
• BIB
We explore a bijection between permutations and colored Motzkin paths that has been used in different forms by Foata and Zeilberger, Biane, and Corteel. By giving a visual representation of this bijection in terms of so-called cycle diagrams, we find simple translations of some statistics on permutations (and subsets of permutations) into statistics on colored Motzkin paths, which are amenable to the use of continued fractions. We obtain new enumeration formulas for subsets of permutations with respect to fixed points, excedances, double excedances, cycles, and inversions. In particular, we prove that cyclic permutations whose excedances are increasing are counted by the Bell numbers.
A finite simple group is CCA if and only if it has no element of order four
Published
• View Publication
• BIB
A Cayley graph for a group $G$ is CCA if every automorphism of the graph that preserves the edge-orbits under the regular representation of $G$ is an element of the normaliser of $G$. A group $G$ is then said to be CCA if every connected Cayley graph on $G$ is CCA. We show that a finite simple group is CCA if and only if it has no element of order 4. We also show that "many" 2-groups are non-CCA.
Symmetric powers of permutation representations of finite groups and primitive colorings on polyhedrons
In this paper, we define a set which has a finite group action and is generated by a finite color set, a set which has a finite group action, and a subset of the set of non negative integers. we state its properties to apply one of solution of the following two problems, respectively. First, we calculate the generating function of the character of symmetric powers of permutation representation associated with a set which has a finite group action. Second, we calculate the number of primitive colorings on some objects of polyhedrons. It is a generalization of the calculation of the number of primitive necklaces by N.Metropolis and G-C.Rota.
A Characterization of Circle Graphs in Terms of Multimatroid Representations
Published in Electron. J. Combin. 27 (2020), #P1.25
• View Publication
• BIB
The isotropic matroid $M[IAS(G)]$ of a looped simple graph $G$ is a binary matroid equivalent to the isotropic system of $G$. In general, $M[IAS(G)]$ is not regular, so it cannot be represented over fields of characteristic $\neq 2$. The ground set of $M[IAS(G)]$ is denoted $W(G)$; it is partitioned into 3-element subsets corresponding to the vertices of $G$. When the rank function of $M[IAS(G)]$ is restricted to subtransversals of this partition, the resulting structure is a multimatroid denoted $\mathcal{Z}_{3}(G)$. In this paper we prove that $G$ is a circle graph if and only if for every field $\mathbb{F}$, there is an $\mathbb{F}$-representable matroid with ground set $W(G)$, which defines $\mathcal{Z}_{3}(G)$ by restriction. We connect this characterization with several other circle graph characterizations that have appeared in the literature.
Configuration spaces of graphs with certain permitted collisions
Published
• View Publication
• BIB
If $G$ is a graph with vertex set $V$, let Conf$_n^{\text{sink}}(G,V)$ be the space of $n$-tuples of points on $G$, which are only allowed to overlap on elements of $V$. We think of Conf$_n^{\text{sink}}(G,V)$ as a configuration space of points on $G$, where points are allowed to collide on vertices. In this paper, we attempt to understand these spaces from two separate, but closely related, perspectives. Using techniques of combinatorial topology we compute the fundamental groups and homology groups of Conf$_n^{\text{sink}}(G,V)$ in the case where $G$ is a tree. Next, we use techniques of asymptotic algebra to prove statements about Conf$_n^{\text{sink}}(G,V)$, for general graphs $G$, whenever $n$ is sufficiently large. It is proven that, for general graphs, the homology groups exhibit generalized representation stability in the sense of previous work of the author.
Euler totient of subfactor planar algebras
Published in Proc. Am. Math. Soc. (2018)
• View Publication
• BIB
We extend the Euler's totient function (from arithmetic) to any irreducible subfactor planar algebra, using the Mobius function of its biprojection lattice, as Hall did for the finite groups. We prove that if it is nonzero then there is a minimal 2-box projection generating the identity biprojection. We explain a relation with a problem of K.S. Brown. As an application, we define the dual Euler totient of a finite group and we show that if it is nonzero then the group admits a faithful irreducible complex representation. We also get an analogous result at depth 2, involving the central biprojection lattice.
Positive Geometries and Canonical Forms
Published
• View Publication
• BIB
Recent years have seen a surprising connection between the physics of scattering amplitudes and a class of mathematical objects--the positive Grassmannian, positive loop Grassmannians, tree and loop Amplituhedra--which have been loosely referred to as "positive geometries". The connection between the geometry and physics is provided by a unique differential form canonically determined by the property of having logarithmic singularities (only) on all the boundaries of the space, with residues on each boundary given by the canonical form on that boundary. In this paper we initiate an exploration of "positive geometries" and "canonical forms" as objects of study in their own right in a more general mathematical setting. We give a precise definition of positive geometries and canonical forms, introduce general methods for finding forms for more complicated positive geometries from simpler ones, and present numerous examples of positive geometries in projective spaces, Grassmannians, and toric, cluster and flag varieties. We also illustrate a number of strategies for computing canonical forms which yield interesting representations for the forms associated with wide classes of positive geometries, ranging from the simplest Amplituhedra to new expressions for the volume of arbitrary convex polytopes.
Representation theoretic realization of non-symmetric Macdonald polynomials at infinity
Published
• View Publication
• BIB
We study the nonsymmetric Macdonald polynomials specialized at infinity from various points of view. First, we define a family of modules of the Iwahori algebra whose characters are equal to the nonsymmetric Macdonald polynomials specialized at infinity. Second, we show that these modules are isomorphic to the dual spaces of sections of certain sheaves on the semi-infinite Schubert varieties. Third, we prove that the global versions of these modules are homologically dual to the level one affine Demazure modules.
Maximal entries of elements in certain matrix monoids
Published in Integers 20 (2020), Paper No. A31, 35 pp
• Search Publication
Let $L_u=\begin{bmatrix}1 & 0\\u & 1\end{bmatrix}$ and $R_v=\begin{bmatrix}1 & v\\0 & 1\end{bmatrix}$ be matrices in $SL_2(\mathbb Z)$ with $u, v\geq 1$. Since the monoid generated by $L_u$ and $R_v$ is free, we can associate a depth to each element based on its product representation. In the cases where $u=v=2$ and $u=v=3$, Bromberg, Shpilrain, and Vdovina determined the depth $n$ matrices containing the maximal entry for each $n\geq 1$. By using ideas from our previous work on $(u,v)$-Calkin-Wilf trees, we extend their results for any $u, v\geq 1$ and in the process we recover the Fibonacci and some Lucas sequences. As a consequence we obtain bounds which guarantee collision resistance on a family of hashing functions based on $L_u$ and $R_v$.
A playful note on spanning and surplus edges
Consider a (not necessarily near-critical) random graph running in continuous time. A recent breadth-first-walk construction is extended in order to account for the surplus edge data in addition to the spanning edge data. Two different graph representations of the multiplicative coalescent, with different advantages and drawbacks, are discussed in detail. A canonical multi-graph of Bhamidi, Budhiraja and Wang (2014) naturally emerges. The presented framework should facilitate understanding of scaling limits with surplus edges for near-critical random graphs in the domain of attraction of general (not necessarily standard) eternal multiplicative coalescent.
The nil Temperley--Lieb algebra of type affine C
Published in Journal of Pure and Applied Algebra, 223 (2019), 4966--4993
• View Publication
• BIB
We introduce a type affine $C$ analogue of the nil Temperley--Lieb algebra, in terms of generators and relations. We show that this algebra $T(n)$, which is a quotient of the positive part of a Kac--Moody algebra of type $D_{n+1}^{(2)}$, has an easily described faithful representation as an algebra of creation and annihilation operators on particle configurations, reminiscent of the open TASEP model in statistical physics. The centre of $T(n)$ consists of polynomials in a certain element $Q$, and $T(n)$ is a free module of finite rank over its centre. We show how to localize $T(n)$ by adjoining an inverse of $Q$, and prove that the resulting algebra is a full matrix ring over a ring of Laurent polynomials over a field. Although $T(n)$ has wild representation type, over an algebraically closed field we can classify all the finite dimensional indecomposable representations of $T(n)$ in which $Q$ acts invertibly.
A trace formula for the distribution of rational $G$-orbits in ramified covers, adapted to representation stability
A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X}\rightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial's irreducible decomposition type.
Furthermore, the distribution of these Frobenius actions is encoded in the cohomology of $\widetilde{X}$ via the Grothendieck-Lefschetz trace formula. This note presents a version of the trace formula that is suited for studying the distribution in the context of representation stability: for certain sequences of varieties $(\widetilde{X}_n)$ the cohomology, and therefore the distribution of the Frobenius actions, stabilizes in a precise sense.
We conclude by fully working out the example of the Vieta cover of the variety of polynomials. The calculation includes the distribution of cycle decompositions on cosets of Young subgroups of the symmetric group, which might be of independent interest.
The Constructions of directed strongly regular graph by algebraic method
The concept of directed strongly regular graphs (DSRG) was introduced by Duval in "A Directed Graph Version of Strongly Regular Graphs" [Journal of Combinatorial Theory, Series A 47(1988)71-100]. Duval also provided several construction methods for directed strongly regular graphs. In this paper, We construct several new classes of directed strongly regular graphs which are obtained by using Kronecker matrix product, Semidirect product and Cayley coset graph. At the same time, using group representation, for two special cases, we give some other sufficient and necessary conditions of Cayley graphs to be DSRG. At last, we finish this paper with a discussion of some propositions of in(out)-neighbours and automorphism group in directed strongly regular graphs.
Arithmetic properties of coefficients of power series expansion of $\prod_{n=0}^{\infty}\left(1-x^{2^{n}}\right)^{t}$ (with an Appendix by Andrzej Schinzel)
Published
• View Publication
• BIB
Let $F(x)=\prod_{n=0}^{\infty}(1-x^{2^{n}})$ be the generating function for the Prouhet-Thue-Morse sequence $((-1)^{s_{2}(n)})_{n\in\N}$. In this paper we initiate the study of the arithmetic properties of coefficients of the power series expansions of the function $$ F_{t}(x)=F(x)^{t}=\sum_{n=0}^{\infty}f_{n}(t)x^{n}. $$ For $t\in\N_{+}$ the sequence $(f_{n}(t))_{n\in\N}$ is the Cauchy convolution of $t$ copies of the Prouhet-Thue-Morse sequence. For $t\in\Z_{<0}$ the $n$-th term of the sequence $(f_{n}(t))_{n\in\N}$ counts the number of representations of the number $n$ as a sum of powers of 2 where each summand can have one among $-t$ colors.
Among other things, we present a characterization of the solutions of the equations $f_{n}(2^k)=0$, where $k\in\N$, and $f_{n}(3)=0$. Next, we present the exact value of the 2-adic valuation of the number $f_{n}(1-2^{m})$ - a result which generalizes the well known expression concerning the 2-adic valuation of the values of the binary partition function introduced by Euler and studied by Churchhouse and others.
Renormalized asymptotic enumeration of Feynman diagrams
Published in Annals of Physics, Volume 385, October 2017, Pages 95-135
• View Publication
• BIB
A method to obtain all-order asymptotic results for the coefficients of perturbative expansions in zero-dimensional quantum field is described. The focus is on the enumeration of the number of skeleton or primitive diagrams of a certain QFT and its asymptotics. The procedure heavily applies techniques from singularity analysis and is related to resurgence. To utilize singularity analysis, a representation of the zero-dimensional path integral as a generalized hyperelliptic curve is deduced. As applications the full asymptotic expansions of the number of disconnected, connected, 1PI and skeleton Feynman diagrams in various theories are given.