representation ↗ reference
4143 papers tagged with this keyword
SPM Bulletin 18
CONTENTS: A surprising covering of the real line Unions of chains in dyadic compact spaces and topological groups On the Pytkeev property in spaces of continuous functions Selection principles related to alpha_i-properties On the Kocinac alpha_i properties A new selection principle First Countable Continua and Proper Forcing The convergence space of minimal usco mappings D-forced spaces: a new approach to resolvability Resolvability of spaces having small spread or extent Resolvability and monotone normality Isomorphism of Borel full groups A Poset Hierarchy Infinite asymptotic games Elementary submodels and separable monotonically normal compacta An application of CAT A general Stone representation theorem Measure Recognition Problem Cardinal invariants for C-cross topologies Problem of the Issue.
Random trimer tilings
Published in Physical Review E: Statistical, Nonlinear, and Soft Matter Physics 75 (2007) 011115
• View Publication
• BIB
We study tilings of the square lattice by linear trimers. For a cylinder of circumference m, we construct a conserved functional of the base of the tilings, and use this to block-diagonalize the transfer matrix. The number of blocks increases exponentially with m. The dimension of the ground-state block is shown to grow as (3 / 2^{1/3})^m. We numerically diagonalize this block for m <= 27, obtaining the estimate S = 0.158520 +- 0.000015 for the entropy per site in the thermodynamic limit. We present numerical evidence that the continuum limit of the model has conformal invariance. We measure several scaling dimensions, including those corresponding to defects of dimers and L-shaped trimers. The trimer tilings of a plane admits a two-dimensional height representation. Monte Carlo simulations of the height variables show that the height-height correlations grows logarithmically at large separation, and the orientation-orientation correlations decay as a power law.
Perfect difference sets constructed from Sidon sets
Published in Combinatorica 28 (2008), 401--414
• View Publication
• BIB
A set A of positive integers is called a perfect difference set if every nonzero integer has an unique representation as the difference of two elements of A. We construct dense perfect difference sets from dense Sidon sets. As a consequence of this new approach, we prove that there exists a perfect difference set A such that A(x) >> x^{\sqrt{2}-1-o(1)}. We also prove that there exists a perfect difference set A such that limsup_{x\to \infty}A(x)/\sqrt x\geq 1/\sqrt 2.
Generalized Ismail's argument and $(f,g)$-expansion formula
As further development of earlier works on the $(f,g)$-inversion, the present paper is devoted to the $(f,g)$-difference operator and the representation problem or an expansion formula of analytic functions.
A recursive formula and the Leibniz formula for the $(f,g)$-difference operator of the product of two functions are established.
The resulting expansion formula not only unifies the $q$-analogue of the Lagrange inversion formula of Gessel and Stanton (thus, a $q$-expansion formula of Liu) for $q$-series but also systematizes the "Ismail's argument". In the meantime, a rigorous analytic proof of the $(1-xy,x-y)$-expansion formula with respect to geometric series, along with a proof of the previously unknown fact that it is equivalent to a $q$-analogue of the Lagrange inversion formula due to Gessel and Stanton, is presented. As applications, new proofs of several well-known summation and transformation formulas are investigated.
Eigenvalue amplitudes of the Potts model on a torus
Published in Nuclear Physics B 769 (2007) 256-274
• View Publication
• BIB
We consider the Q-state Potts model in the random-cluster formulation, defined on finite two-dimensional lattices of size L x N with toroidal boundary conditions. Due to the non-locality of the clusters, the partition function Z(L,N) cannot be written simply as a trace of the transfer matrix T\_L. Using a combinatorial method, we establish the decomposition Z(L,N) = \sum\_{l,D\_k} b^{l,D\_k} K\_{l,D\_k}, where the characters K\_{l,D\_k} = \sum\_i (λ\_i)^N are simple traces. In this decomposition, the amplitudes b^{l,D\_k} of the eigenvalues λ\_i of T\_L are labelled by the number l=0,1,...,L of clusters which are non-contractible with respect to the transfer (N) direction, and a representation D\_k of the cyclic group C\_l. We obtain rigorously a general expression for b^{l,D\_k} in terms of the characters of C\_l, and, using number theoretic results, show that it coincides with an expression previously obtained in the continuum limit by Read and Saleur.
Uniform poly-log diameter bounds for some families of finite groups
Published in Proc. Amer. Math. Soc. 134 (2006), 3137-3142
• View Publication
• BIB
Fix a prime $p$ and an integer $m$ with $p> m \geq 2$. Define the family of finite groups \[ G_n :=SL_m (\mathbb{Z}/p^{n}\mathbb{Z}) \] for $n=1,2,... $. We will prove that there exist two positive constants $C$ and $d$ such that for any $n$ and any generating set $S\subseteq G_{n}$, \[ diam(G_n,S) \leq C \cdot log^d (|G_n|)\] when $diam (G,S)$ is the diameter of the finite group $G$ with respect to the set of generators $S$. It is defined as the maximum over $g \in G$ of the length of the shortest word in $S \cup S^{-1}$ representing $g$.
This result shows that these families of finite groups have a poly-logarithmic bound on the diameter with respect to \emph{any} set of generators. The proof of this result also provides a efficient algorithm for finding such a poly-logarithmic representation of any element. In addition it shows that the power $d$ in the $log$ bound can be arbitrary close to 3 for $m=2$ and arbitrary close to 4 for $m>2$.
Counting Keith numbers
A Keith number is a positive integer N with the decimal representation a_1a_2...a_n such that n>=2 and N appears in the sequence (K_m) given by the recurrence K_1=a_1,...,K_n=a_n and K_m=K_{m-1}+K_{m-2}+...+K_{m-n} for m>n. We prove that there are only finitely many Keith numbers using only one decimal digit (i.e., a_1=a_2=...=a_n), and that the set of Keith numbers is of asymptotic density zero.
Kempf collapsing and quiver loci
Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by the number of components in a general fiber. When that number of components is 1, we construct a desingularization of the image of the collapsing. If in addition the image has rational singularities, we can use the desingularization to give also a formula for the G-equivariant K-class of the image, whose leading term is the multidegree.
Our application is to quiver loci and quiver polynomials. Let Q be a quiver of finite type (A, D, or E, in arbitrary orientation), and assign a vector space to each vertex. Let \Hom denote the (linear) space of representations of Q with these vector spaces. This carries an action of GL, the product of the general linear groups of the individual vector spaces. A_quiver locus_ Ωis the closure in \Hom of a GL-orbit, and its multidegree is the corresponding _quiver polynomial_. Reineke [2004] proved that every ADE quiver locus is the image of a birational Kempf collapsing (giving a desingularization directly).
Using Reineke's collapsings, we give formulae for ADE quiver polynomials, previously only computed in type A (though in this case, our formulae are new). In the A and D cases quiver loci are known to have rational singularities [Bobiński-Zwara 2002], so we also get formulae for their K-classes, which had previously only been computed in equioriented type A (and again our formulae are new).
Poisson representation of a Ewens fragmentation process
Published
• View Publication
• BIB
A simple explicit construction is provided of a partition-valued fragmentation process whose distribution on partitions of $[n]=\{1,...,n\}$ at time $θ\ge 0$ is governed by the Ewens sampling formula with parameter $θ$. These partition-valued processes are exchangeable and consistent, as $n$ varies. They can be derived by uniform sampling from a corresponding mass fragmentation process defined by cutting a unit interval at the points of a Poisson process with intensity $θx^{-1} \diff x$ on ${\mathbb R}_+$, arranged to be intensifying as $θ$ increases.
A combinatorial rule for (co)minuscule Schubert calculus
Published in Adv. Math. 222 (2009), no. 2, 596--620.
• View Publication
• BIB
We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.
The Combinatorics of Quiver Representations
Published
• View Publication
• BIB
We give a description of faces of all codimensions for the cones of weights of rings of semi-invariants of quivers. For a triple flag quiver and faces of codimension 1 this reduces to the result of Knutson-Tao-Woodward on the facets of the Klyachko cone. We give new applications to Littlewood-Richardson coefficients, including a product formula for LR-coefficients corresponding to triples of partitions lying on a wall of the Klyachko cone. We systematically review and develop the necessary methods (exceptional and Schur sequences, orthogonal categories, semi-stable decompositions, GIT quotients for quivers). In the Appendix we include a version of Belkale's geometric proof of Fulton's conjecture that works for arbitrary quivers.
q-Eulerian Polynomials: Excedance Number and Major index
Published
• View Publication
• BIB
In this research announcement we present a new q-analog of a classical formula for the exponential generating function of the Eulerian polynomials. The Eulerian polynomials enumerate permutations according to their number of descents or their number of excedances. Our q-Eulerian polynomials are the enumerators for the joint distribution of the excedance statistic and the major index. There is a vast literature on q-Eulerian polynomials which involve other combinations of Mahonian and Eulerian permutation statistics, but the combination of major index and excedance number seems to have been completely overlooked until now. We use symmetric function theory to prove our formula. In particular, we prove a symmetric function version of our formula, which involves an intriguing new class of symmetric functions. We also present connections with representations of the symmetric group on the homology of a poset recently introduced by Björner and Welker and on the cohomology of the toric variety associated with the Coxeter complex of the symmetric group, studied by Procesi, Stanley, Stembridge, Dolgachev and Lunts.
Full heaps and representations of affine Weyl groups
We use the author's combinatorial theory of full heaps (defined in math.QA/0605768) to categorify the action of a large class of Weyl groups on their root systems, and thus to give an elementary and uniform construction of a family of faithful permutation representations of Weyl groups. Examples include the standard representations of affine Weyl groups as permutations of ${\Bbb Z}$ and geometrical examples such as the realization of the Weyl group of type $E_6$ as permutations of 27 lines on a cubic surface; in the latter case, we also show how to recover the incidence relations between the lines from the structure of the heap. Another class of examples involves the action of certain Weyl groups on sets of pairs $(t, f)$, where $t \in {\Bbb Z}$ and $f$ is a function from a suitably chosen set to the two-element set $\{+, -\}$. Each of the permutation representations corresponds to a module for a Kac--Moody algebra, and gives an explicit basis for it.
On the quantum chromatic number of a graph
Published in Electronic Journal of Combinatorics 14(1), 2007
• View Publication
• BIB
We investigate the notion of quantum chromatic number of a graph, which is the minimal number of colours necessary in a protocol in which two separated provers can convince an interrogator with certainty that they have a colouring of the graph.
After discussing this notion from first principles, we go on to establish relations with the clique number and orthogonal representations of the graph. We also prove several general facts about this graph parameter and find large separations between the clique number and the quantum chromatic number by looking at random graphs.
Finally, we show that there can be no separation between classical and quantum chromatic number if the latter is 2, nor if it is 3 in a restricted quantum model; on the other hand, we exhibit a graph on 18 vertices and 44 edges with chromatic number 5 and quantum chromatic number 4.
Automorphisms and Enumeration of Maps of Cayley Graph of a Finite Group
A map is a connected topological graph $Γ$ cellularly embedded in a surface. In this paper, applying Tutte's algebraic representation of map, new ideas for enumerating non-equivalent orientable or non-orientable maps of graph are presented. By determining automorphisms of maps of Cayley graph $Γ={\rm Cay}(G:S)$ with ${\rm Aut} Γ\cong G\times H$ on locally, orientable and non-orientable surfaces, formulae for the number of non-equivalent maps of $Γ$ on surfaces (orientable, non-orientable or locally orientable) are obtained . Meanwhile, using reseults on GRR graph for finite groups, we enumerate the non-equivalent maps of GRR graph of symmetric groups, groups generated by 3 involutions and abelian groups on orientable or non-orientable surfaces.
Dessins d'enfants and differential equations
We state and solve a discrete version of the classical Riemann-Hilbert problem. In particular, we associate a Riemann-Hilbert problem to every dessin d'enfants. We show how to compute the solution for a dessin that is a tree. This amounts to finding a Fuchsian differential equation satisfied by the local inverses of a Shabat polynomial. We produce a universal annihilating operator for the inverses of a generic polynomial. We classify those plane trees that have a representation by Mobius transformations and those that have a linear representation of dimension at most two. This yields an analogue for trees of Schwarz's classical list, that is, a list of those plane trees whose Riemann-Hilbert problem has a hypergeometric solution of order at most two.
Representation of ideals of relational structures
The \textit{age} of a relational structure $\mathfrak A$ of signature $μ$ is the set $age(\mathfrak A)$ of its finite induced substructures, considered up to isomorphism. This is an ideal in the poset $Ω_μ$ consisting of finite structures of signature $μ$ and ordered by embeddability. If the structures are made of infinitely many relations and if, among those, infinitely many are at least binary then there are ideals which do not come from an age. We provide many examples. We particularly look at metric spaces and offer several problems. We also provide an example of an ideal $I$ of isomorphism types of at most countable structures whose signature consists of a single ternary relation symbol. This ideal does not come from the set $\age_{\mathfrak I}(\mathfrak A)$ of isomorphism types of substructures of $\mathfrak A$ induced on the members of an ideal $\mathfrak I$ of sets. This answers a question due to R. Cusin and J.F. Pabion (1970).
Multiparking Functions, Graph Searching, and the Tutte Polynomial
A parking function of length n is a sequence (b_1, b_2,..., b_n) of nonnegative integers whose nondecreasing rearrangement (a_1, a_2,...,a_n) has the property that a_i < i for every i. A well-known result about parking functions is that the polynomial P_n(q), which enumerates the complements of parking functions by the sum of their terms, is the generating function for the number of connected graphs by the number of excess edges when evaluated at (1+q). In this paper we extend this result to arbitrary connected graphs G. In general the polynomial that encodes information about subgraphs of G is the Tutte polynomial, which is the generating function for two parameters, namely the internal and external activities, associated with the spanning trees of G. We define G-multiparking functions, which generalize the G-parking functions that Postnikov and Shapiro introduced in the study of certain quotients of the polynomial ring. We construct a family of algorithmic bijections between the spanning forests of a graph G and the G-multiparking functions. In particular, the bijection induced by the breadth-first search leads to a new characterization of external activity, and hence a representation of Tutte polynomial by the reversed sum of G-multiparking functions.
Möbius Functions and Semigroup Representation Theory II: Character formulas and multiplicities
Published
• View Publication
• BIB
We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota's theory of Möbius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idempotent semigroups and semigroups with basic algebras. Using these tools we are able to give a complete description of the spectra of random walks on finite semigroups admitting a faithful representation by upper triangular matrices over the complex numbers. These include the random walks on chambers of hyperplane arrangements studied by Bidigare, Hanlon, Rockmere, Brown and Diaconis. Applications are also given to decomposing tensor powers and exterior products of rook matrix representations of inverse semigroups, generalizing and simplifying earlier results of Solomon for the rook monoid.
On asymptotics, Stirling numbers, Gamma function and polylogs
We apply the Euler--Maclaurin formula to find the asymptotic expansion of the sums $\sum_{k=1}^n (\log k)^p / k^q$, ~$\sum k^q (\log k)^p$, ~$\sum (\log k)^p /(n-k)^q$, ~$\sum 1/k^q (\log k)^p $ in closed form to arbitrary order ($p,q \in\N$). The expressions often simplify considerably and the coefficients are recognizable constants. The constant terms of the asymptotics are either $ζ^{(p)}(\pm q)$ (first two sums), 0 (third sum) or yield novel mathematical constants (fourth sum). This allows numerical computation of $ζ^{(p)}(\pm q)$ faster than any current software. One of the constants also appears in the expansion of the function $\sum_{n\geq 2} (n\log n)^{-s}$ around the singularity at $s=1$; this requires the asymptotics of the incomplete gamma function. The manipulations involve polylogs for which we find a representation in terms of Nielsen integrals, as well as mysterious conjectures for Bernoulli numbers. Applications include the determination of the asymptotic growth of the Taylor coefficients of $(-z/\log(1-z))^k$. We also give the asymptotics of Stirling numbers of first kind and their formula in terms of harmonic numbers.