representation ↗ reference
4053 papers tagged with this keyword
Every finite non-solvable group admits an Oriented Regular Representation
Published
• View Publication
• BIB
In this paper we give a partial answer to a 1980 question of Lazslo Babai: "Which [finite] groups admit an oriented graph as a DRR?" That is, which finite groups admit an oriented regular representation (ORR)? We show that every finite non-solvable group admits an ORR, and provide a tool that may prove useful in showing that some families of finite solvable groups admit ORRs. We also completely characterize all finite groups that can be generated by at most three elements, according to whether or not they admit ORRs.
Classification of finite groups that admit an oriented regular representation
Published
• View Publication
• BIB
This is the third, and last, of a series of papers dealing with oriented regular representations. Here we complete the classification of finite groups that admit an oriented regular representation (or ORR for short), and give a complete answer to a 1980 question of Laszlo Babai: "Which [finite] groups admit an oriented graph as a DRR?" It is easy to see and well-understood that generalised dihedral groups do not admit ORRs. We prove that, with 11 small exceptions (having orders ranging from 8 to 64), every finite group that is not generalised dihedral has an ORR.
Enumerating Cliques in Direct Product Graphs
Published
• View Publication
• BIB
The unitary Cayley graph of $\mathbb Z/n\mathbb Z$, denoted $G_{\mathbb Z/n\mathbb Z}$, is the graph with vertices $0,1,\ldots,$ $n-1$ in which two vertices are adjacent if and only if their difference is relatively prime to $n$. These graphs are central to the study of graph representations modulo integers, which were originally introduced by Erdős and Evans. We give a brief account of some results concerning these beautiful graphs and provide a short proof of a simple formula for the number of cliques of any order $m$ in the unitary Cayley graph $G_{\mathbb Z/n\mathbb Z}$. This formula involves an exciting class of arithmetic functions known as Schemmel totient functions, which we also briefly discuss. More generally, the proof yields a formula for the number of cliques of order $m$ in a direct product of balanced complete multipartite graphs.
Asymptotic Analysis of Expectations of Plane Partition Statistics
Published
• View Publication
• BIB
Assuming that a plane partition of the positive integer $n$ is chosen uniformly at random from the set of all such partitions, we propose a general asymptotic scheme for the computation of expectations of various plane partition statistics as $n$ becomes large. The generating functions that arise in this study are of the form $Q(x)F(x)$, where $Q(x)=\prod_{j=1}^\infty (1-x^j)^{-j}$ is the generating function for the number of plane partitions. We show how asymptotics of such expectations can be obtained directly from the asymptotic expansion of the function $F(x)$ around $x=1$. The representation of a plane partition as a solid diagram of volume $n$ allows interpretations of these statistics in terms of its dimensions and shape. As an application of our main result, we obtain the asymptotic behavior of the expected values of the largest part (the height of the solid diagram) and the trace (the number of cubes in the wall on the main diagonal of the solid diagram). Our results are similar to those of Grabner et al. (2014) related to linear integer partition statistics. We base our study on Hayman's method for admissible power series.
The Generalized Nagell-Ljunggren Problem: Powers with Repetitive Representations
Published
• View Publication
• BIB
We consider a natural generalization of the Nagell-Ljunggren equation to the case where the qth power of an integer y, for q >= 2, has a base-b representation that consists of a length-l block of digits repeated n times, where n >= 2. Assuming the abc conjecture of Masser and Oesterlé, we completely characterize those triples (q, n, l) for which there are infinitely many solutions b. In all cases predicted by the abc conjecture, we are able (without any assumptions) to prove there are indeed infinitely many solutions.
The Hilbert series and $a$-invariant of circle invariants
Published in J. Pure Appl. Algebra 223 (2019), no. 1, 395-421
• View Publication
• BIB
Let $V$ be a finite-dimensional representation of the complex circle $\mathbb{C}^\times$ determined by a weight vector $\mathbf{a}\in\mathbb{Z}^n$. We study the Hilbert series $\operatorname{Hilb}_{\mathbf{a}}(t)$ of the graded algebra $\mathbb{C}[V]^{\mathbb{C}_{\mathbf{a}}^\times}$ of polynomial $\mathbb{C}^\times$-invariants in terms of the weight vector $\mathbf{a}$ of the $\mathbb{C}^\times$-action. In particular, we give explicit formulas for $\operatorname{Hilb}_{\mathbf{a}}(t)$ as well as the first four coefficients of the Laurent expansion of $\operatorname{Hilb}_{\mathbf{a}}(t)$ at $t=1$. The naive formulas for these coefficients have removable singularities when weights pairwise coincide. Identifying these cancelations, the Laurent coefficients are expressed using partial Schur polynomial that are independently symmetric in two sets of variables. We similarly give an explicit formula for the $a$-invariant of $\mathbb{C}[V]^{\mathbb{C}_{\mathbf{a}}^\times}$ in the case that this algebra is Gorenstein. As an application, we give methods to identify weight vectors with Gorenstein and non-Gorenstein invariant algebras.
Combinatorics of generalized exponents
Published
• View Publication
• BIB
We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms of crystal graphs without using the combinatorics of semistandard tableaux or the charge statistic. In finite type C_n, we obtain a combinatorial description of the generalized exponents based on the so-called distinguished vertices in crystals of type A_{2n-1}, which we also connect to symplectic King tableaux. This gives a combinatorial proof of the positivity of Lusztig t-analogues associated to zero weight spaces in the irreducible representations of symplectic Lie algebras. We also present three applications of our combinatorial formula, and discuss some implications to relating two type C branching rules. Our methods are expected to extend to the orthogonal types.
Rank Two Non-Commutative Laurent Phenomenon and Pseudo-Positivity
Published
• View Publication
• BIB
We study polynomial generalizations of the Kontsevich automorphisms acting on the skew-field of formal rational expressions in two non-commuting variables. Our main result is the Laurentness and pseudo-positivity of iterations of these automorphisms. The resulting expressions are described combinatorially using a generalization of the combinatorics of compatible pairs in a maximal Dyck path developed by Lee, Li, and Zelevinsky. By specializing to quasi-commuting variables we obtain pseudo-positive expressions for rank 2 quantum generalized cluster variables. In the binomial case when all internal exchange coefficients are zero, this quantum specialization provides a positive combinatorial construction of counting polynomials for Grassmannians of submodules in exceptional representations of valued quivers with two vertices.
The algebraic Bethe Ansatz and combinatorial trees
Published
• View Publication
• BIB
We present in this paper a comprehensive introduction to the algebraic Bethe Ansatz, taking as examples the six-vertex model with periodic and non-periodic boundary conditions. We propose a diagrammatic representation of the commutation relations used in the algebraic Bethe Ansatz, so that the action of the transfer matrix in the nth excited state gives place to labeled combinatorial trees. The analysis of these combinatorial trees provides in a straightforward way the eigenvalues and eigenstates of the transfer matrix, as well as the respective Bethe Ansatz equations. Several identities between the R-matrix elements can also be derived from the symmetry of these diagrams regarding the permutation of their labels. This combinatorial approach gives some insights about how the algebraic Bethe Ansatz works, which can be valuable for non-experts readers.
Enumerating Lambda Terms by Weighted Length of Their De Bruijn Representation
Published
• View Publication
• BIB
John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of 0-1-strings using the de Bruijn representation along with a weighting scheme. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with $m$ free indices and of size $n$ (encoded as binary words of length $n$ and according to Tromp's weights) is $o(n^{-3/2} τ^{-n})$ for $τ\approx 1.963448\ldots$. We generalize the proposed notion of size and show that for several classes of lambda terms, including binary lambda terms with $m$ free indices, the number of terms of size $n$ is $Θ{n^{-3/2} ρ^{-n}}$ with some class dependent constant $ρ$, which in particular disproves the above mentioned conjecture.
The methodology used is setting up the generating functions for the classes of lambda terms. These are infinitely nested radicals which are investigated then by a singularity analysis.
We show further how some properties of random lambda terms can be analyzed and present a way to sample lambda terms uniformly at random in a very efficient way. This allows to generate terms of size more than one million within a reasonable time, which is significantly better than the samplers presented in the literature so far.
Schubert puzzles and integrability I: invariant trilinear forms
Published
• View Publication
• BIB
The puzzle rules for computing Schubert calculus on $d$-step flag manifolds, proven in [Knutson Tao 2003] for $1$-step, in [Buch Kresch Purbhoo Tamvakis 2016] for $2$-step, and conjectured in [Coskun Vakil 2009] for $3$-step, lead to vector configurations (one vector for each puzzle edge label) that we recognize as the weights of some minuscule representations. The $R$-matrices of those representations (which, for $2$-step flag manifolds, involve triality of $D_4$) degenerate to give us puzzle formulae for two previously unsolved Schubert calculus problems: $K_T(2$-step flag manifolds$)$ and $K(3$-step flag manifolds$)$. The $K(3$-step flag manifolds$)$ formula, which involves 151 new puzzle pieces, implies Buch's correction to the first author's 1999 conjecture for $H^*(3$-step flag manifolds$)$.
Sums of Palindromes: an Approach via Automata
Recently, Cilleruelo, Luca, & Baxter proved, for all bases b >= 5, that every natural number is the sum of at most 3 natural numbers whose base-b representation is a palindrome. However, the cases b = 2, 3, 4 were left unresolved.
We prove, using a decision procedure based on automata, that every natural number is the sum of at most 4 natural numbers whose base-2 representation is a palindrome. Here the constant 4 is optimal. We obtain similar results for bases 3 and 4, thus completely resolving the problem.
We consider some other variations on this problem, and prove similar results. We argue that heavily case-based proofs are a good signal that a decision procedure may help to automate the proof.
Symmetric group representations and Z
Published in C. R. Math. Acad. Sci. Paris 356 (2018), No. 1, 1-4
• View Publication
• BIB
We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient.
Kleshchev multipartitions and extended Young diagrams
Published
• View Publication
• BIB
We give a new simple characterization of the set of Kleshchev multipartitions, and more generally of the set of Uglov multipartitions. These combinatorial objects play an important role in various areas of representation theory of quantum groups, Hecke algebras or finite reductive groups. As a consequence, we obtain a proof of a generalization of a conjecture by Dipper, James and Murphy and a generalization of the LLT algorithm for arbitrary level.
On the Enumeration and Congruences for m-ary Partitions
Published
• View Publication
• BIB
Let $m\ge 2$ be a fixed positive integer. Suppose that $m^j \leq n< m^{j+1}$ is a positive integer for some $j\ge 0$. Denote $b_{m}(n)$ the number of $m$-ary partitions of $n$, where each part of the partition is a power of $m$. In this paper, we show that $b_m(n)$ can be represented as a $j$-fold summation by constructing a one-to-one correspondence between the $m$-ary partitions and a special class of integer sequences rely only on the base $m$ representation of $n$. It directly reduces to Andrews, Fraenkel and Sellers' characterization of the values $b_{m}(mn)$ modulo $m$. Moreover, denote $c_{m}(n)$ the number of $m$-ary partitions of $n$ without gaps, wherein if $m^i$ is the largest part, then $m^k$ for each $0\leq k<i$ also appears as a part. We also obtain an enumeration formula for $c_m(n)$ which leads to an alternative representation for the congruences of $c_m(mn)$ due to Andrews, Fraenkel, and Sellers.
On the non-existence of $srg(76,21,2,7)$
Published
• View Publication
• BIB
We present a new non-existence proof for the strongly regular graph $G$ with parameters $(76,21,2,7)$, using the unit vector representation of the graph.
Identities for third order Jacobsthal quaternions
Published in Advances in Applied Clifford Algebras. Vol. 27(2), (2017), pp. 1043--1053
• View Publication
• BIB
In this paper we introduce the third order Jacobsthal quaternions and the third order Jacobsthal-Lucas quaternions and give some of their properties. We derive the relations between third order Jacobsthal numbers and third order Jacobsthal quaternions and we give the matrix representation of these quaternions.
The Distribution of Knots in the Petaluma Model
Published in Algebr. Geom. Topol. 18 (2018) 3647-3667
• View Publication
• BIB
The representation of knots by petal diagrams (Adams et al. 2012) naturally defines a sequence of distributions on the set of knots. In this article we establish some basic properties of this randomized knot model. We prove that in the random n-petal model the probability of obtaining every specific knot type decays to zero as n, the number of petals, grows. In addition we improve the bounds relating the crossing number and the petal number of a knot. This implies that the n-petal model represents at least exponentially many distinct knots.
Past approaches to showing, in some random models, that individual knot types occur with vanishing probability, rely on the prevalence of localized connect summands as the complexity of the knot increases. However this phenomenon is not clear in other models, including petal diagrams, random grid diagrams, and uniform random polygons. Thus we provide a new approach to investigate this question.
Computing maximum cliques in $B_2$-EPG graphs
Published
• View Publication
• BIB
EPG graphs, introduced by Golumbic et al. in 2009, are edge-intersection graphs of paths on an orthogonal grid. The class $B_k$-EPG is the subclass of EPG graphs where the path on the grid associated to each vertex has at most $k$ bends. Epstein et al. showed in 2013 that computing a maximum clique in $B_1$-EPG graphs is polynomial. As remarked in [Heldt et al., 2014], when the number of bends is at least $4$, the class contains $2$-interval graphs for which computing a maximum clique is an NP-hard problem. The complexity status of the Maximum Clique problem remains open for $B_2$ and $B_3$-EPG graphs. In this paper, we show that we can compute a maximum clique in polynomial time in $B_2$-EPG graphs given a representation of the graph.
Moreover, we show that a simple counting argument provides a ${2(k+1)}$-approximation for the coloring problem on $B_k$-EPG graphs without knowing the representation of the graph. It generalizes a result of [Epstein et al, 2013] on $B_1$-EPG graphs (where the representation was needed).
Popular differences and generalized Sidon sets
Published in J. Number Theory 186 (2018), 103-120
• View Publication
• BIB
For a subset $A \subseteq [N]$, we define the representation function $ r_{A-A}(d) := \#\{(a,a') \in A \times A : d = a - a'\}$ and define $M_D(A) := \max_{1 \leq d < D} r_{A-A}(d)$ for $D>1$. We study the smallest possible value of $M_D(A)$ as $A$ ranges over all possible subsets of $[N]$ with a given size. We give explicit asymptotic expressions with constant coefficients determined for a large range of $D$. We shall also see how this problem connects to a well-known problem about generalized Sidon sets.