representation ↗ reference
4053 papers tagged with this keyword
Invariant functionals on completely distributive lattices
Published
• View Publication
• BIB
In this paper we are interested in functionals defined on completely distributive lattices and which are invariant under mappings preserving {arbitrary} joins and meets. We prove that the class of nondecreasing invariant functionals coincides with the class of Sugeno integrals associated with $\{0,1\}$-valued capacities, the so-called term functionals, thus extending previous results both to the infinitary case as well as to the realm of completely distributive lattices. Furthermore, we show that, in the case of functionals over complete chains, the nondecreasing condition is redundant. Characterizations of the class of Sugeno integrals, as well as its superclass comprising all polynomial functionals, are provided by showing that the axiomatizations (given in terms of homogeneity) of their restriction to finitary functionals still hold over completely distributive lattices. We also present canonical normal form representations of polynomial functionals on completely distributive lattices, which appear as the natural extensions to their finitary counterparts, and as a by-product we obtain an axiomatization of complete distributivity in the case of bounded lattices.
Order algebras: a quantitative model of interaction
Published
• View Publication
• BIB
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This algebraic structure is shown to provide faithful interpretations of finitary process algebras, for an extension of the standard notion of testing semantics, leading to a model that is both denotational (in the sense that the internal workings of processes are ignored) and non-interleaving. Constructions on algebras and their subspaces enjoy a good structure that make them (nearly) a model of differential linear logic, showing that the underlying approach to the representation of non-determinism as linear combinations is the same.
The measurement of quantum entanglement and enumeration of graph coverings
Published
• View Publication
• BIB
We provide formulas for invariants defined on a tensor product of defining representations of unitary groups, under the action of the product group. This situation has a physical interpretation, as it is related to the quantum mechanical state space of a multi-particle system in which each particle has finitely many outcomes upon observation. Moreover, these invariant functions separate the entangled and unentangled states, and are therefore viewed as measurements of quantum entanglement. When the ranks of the unitary groups are large, we provide a graph theoretic interpretation for the dimension of the invariants of a fixed degree. We also exhibit a bijection between isomorphism classes of finite coverings of connected simple graphs and a basis for the space of invariants. The graph coverings are related to branched coverings of surfaces.
On the homomorphism order of labeled posets
Published in Order 28 (2011) 251-265
• View Publication
• BIB
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.
Block diagonalization for algebra's associated with block codes
For a matrix *-algebra B, consider the matrix *-algebra A consisting of the symmetric tensors in the n-fold tensor product of B. Examples of such algebras in coding theory include the Bose-Mesner algebra and Terwilliger algebra of the (non)binary Hamming cube, and algebras arising in SDP-hierarchies for coding bounds using moment matrices. We give a computationally efficient block diagonalization of A in terms of a given block diagonalization of B, and work out some examples, including the Terwilliger algebra of the binary- and nonbinary Hamming cube. As a tool we use some basic facts about representations of the symmetric group.
Quotient Representations of Uniform Tilings
Published in Symmetry Cult. Sci. 2011 vol. 22 no. 3-4 pg. 289-306
• Search Publication
Given a flag in each of the vertex-transitive tessellations of the Euclidean plane by regular polygons, we determine the flag stabilizer under the action of the automorphism group of a regular cover. In so doing we give a presentation of these tilings as quotients of regular (infinite) polyhedra.
Posets from Admissible Coxeter Sequences
Published in Electron. J. Combin. 18(1) (2011) #R197
• View Publication
• BIB
We study the equivalence relation on the set of acyclic orientations of an undirected graph G generated by source-to-sink conversions. These conversions arise in the contexts of admissible sequences in Coxeter theory, quiver representations, and asynchronous graph dynamical systems. To each equivalence class we associate a poset, characterize combinatorial properties of these posets, and in turn, the admissible sequences. This allows us to construct an explicit bijection from the equivalence classes over G to those over G' and G", the graphs obtained from G by edge deletion and edge contraction of a fixed cycle-edge, respectively. This bijection yields quick and elegant proofs of two non-trivial results: (i) A complete combinatorial invariant of the equivalence classes, and (ii) a solution to the conjugacy problem of Coxeter elements for simply-laced Coxeter groups. The latter was recently proven by H. Eriksson and K. Eriksson using a much different approach.
Quiver Grassmannians associated with string modules
Published in JOURNAL OF ALGEBRAIC COMBINATORICS, vol. 33, p. 259-276, 2011
• View Publication
• BIB
We provide a technique to compute the Euler characteristic of a class of projective varieties called quiver Grassmannians. This technique applies to quiver Grassmannians associated with "orientable string modules". As an application we explicitly compute the Euler characteristic of quiver Grassmannians associated with indecomposable preprojective, preinjective and regular homogeneous representations of an affine quiver of type $\tilde{A}_{p,1}$. For $p=1$, this approach provides another proof of a result due to P. Caldero and A. Zelevinsky in \cite{CZ}.
Random 3-noncrossing partitions
In this paper, we introduce polynomial time algorithms that generate random 3-noncrossing partitions and 2-regular, 3-noncrossing partitions with uniform probability. A 3-noncrossing partition does not contain any three mutually crossing arcs in its canonical representation and is 2-regular if the latter does not contain arcs of the form $(i,i+1)$. Using a bijection of Chen {\it et al.} \cite{Chen,Reidys:08tan}, we interpret 3-noncrossing partitions and 2-regular, 3-noncrossing partitions as restricted generalized vacillating tableaux. Furthermore, we interpret the tableaux as sampling paths of Markov-processes over shapes and derive their transition probabilities.
Representing the Sporadic Archimedean Polyhedra as Abstract Polytopes
Published
• View Publication
• BIB
We present the results of an investigation into the representations of Archimedean polyhedra (those polyhedra containing only one type of vertex figure) as quotients of regular abstract polytopes. Two methods of generating these presentations are discussed, one of which may be applied in a general setting, and another which makes use of a regular polytope with the same automorphism group as the desired quotient. Representations of the 14 sporadic Archimedean polyhedra (including the pseudorhombicuboctahedron) as quotients of regular abstract polyhedra are obtained, and summarised in a table. The information is used to characterise which of these polyhedra have acoptic Petrie schemes (that is, have well-defined Petrie duals).
Exact results for an asymmetric annihilation process with open boundaries
Published in J. Phys. A: Math. Theor. 43 045003 (2010)
• View Publication
• BIB
We consider a nonequilibrium reaction-diffusion model on a finite one dimensional lattice with bulk and boundary dynamics inspired by Glauber dynamics of the Ising model. We show that the model has a rich algebraic structure that we use to calculate its properties. In particular, we show that the Markov dynamics for a system of a given size can be embedded in the dynamics of systems of higher sizes. This remark leads us to devise a technique we call the transfer matrix Ansatz that allows us to determine the steady state distribution and correlation functions. Furthermore, we show that the disorder variables satisfy very simple properties and we give a conjecture for the characteristic polynomial of Markov matrices. Lastly, we compare the transfer matrix Ansatz used here with the matrix product representation of the steady state of one-dimensional stochastic models.
Looping of the numbers game and the alcoved hypercube
Published
• View Publication
• BIB
We study in detail the so-called looping case of Mozes's game of numbers, which concerns the (finite) orbits in the reflection representation of affine Weyl groups situated on the boundary of the Tits cone. We give a simple proof that all configurations in the orbit are obtainable from each other by playing the numbers game, and give a strategy for going from one configuration to another. The strategy gives rise to a partition of the finite Weyl group into finitely many graded posets, one for each extending vertex of the associated extended Dynkin diagram. These are selfdual and mutually isomorphic, and dual to the triangulation of the unit hypercube by reflecting hyperplanes, studied by many authors. Unlike the weak and Bruhat orders, the top degree is cubic in the number of vertices of the graph. We explicitly compute the Hilbert polynomial of the poset.
Generalized Sidon sets
Published
• View Publication
• BIB
We give asymptotic sharp estimates for the cardinality of a set of residue classes with the property that the representation function is bounded by a prescribed number. We then use this to obtain an analogous result for sets of integers, answering an old question of Simon Sidon.
Meixner polynomials of the second kind and quantum algebras representing su(1,1)
Published in Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 466 (2010), no. 2117, 1409-1428
• View Publication
• BIB
We show how Viennot's combinatorial theory of orthogonal polynomials may be used to generalize some recent results of Sukumar and Hodges on the matrix entries in powers of certain operators in a representation of su(1,1). Our results link these calculations to finding the moments and inverse polynomial coefficients of certain Laguerre polynomials and Meixner polynomials of the second kind. As an immediate consequence of results by Koelink, Groenevelt and Van Der Jeugt, for the related operators, substitutions into essentially the same Laguerre polynomials and Meixner polynomials of the second kind may be used to express their eigenvectors. Our combinatorial approach explains and generalizes this "coincidence".
On the maximum number of edges of non-flowerable coin graphs
Published
• View Publication
• BIB
For $n\in\nats$ and $3\leq k\leq n$ we compute the exact value of $E_k(n)$, the maximum number of edges of a simple planar graph on $n$ vertices where each vertex bounds an $\ell$-gon where $\ell\geq k$. The lower bound of $E_k(n)$ is obtained by explicit construction, and the matching upper bound is obtained by using Integer Programming (IP.) We then use this result to conjecture the maximum number of edges of a non-flowerable coin graph on $n$ vertices. A {\em flower} is a coin graph representation of the wheel graph. A collection of coins or discs in the Euclidean plane is {\em non-flowerable} if no flower can be formed by coins from the collection.
Graphs and CCR algebras
Published
• View Publication
• BIB
I introduce yet another way to associate a C*-algebra to a graph and construct a simple nuclear C*-algebra that has irreducible representations both on a separable and a nonseparable Hilbert space.
Non-representability of finite projective planes by convex sets
Published
• View Publication
• BIB
We prove that there is no d such that all finite projective planes can be represented by convex sets in R^d, answering a question of Alon, Kalai, Matousek, and Meshulam. Here, if P is a projective plane with lines l_1,...,l_n, a representation of P by convex sets in R^d is a collection of convex sets C_1,...,C_n in R^d such that C_{i_1},...,C_{i_k} have a common point if and only if the corresponding lines l_{i_1},...,l_{i_k} have a common point in P. The proof combines a positive-fraction selection lemma of Pach with a result of Alon on "expansion" of finite projective planes. As a corollary, we show that for every $d$ there are 2-collapsible simplicial complexes that are not d-representable, strengthening a result of Matousek and the author.
On W-algebras associated to (2,p) minimal models and their representations
Published
• View Publication
• BIB
For every odd p \geq 3, we investigate representation theory of the vertex algebra WW_{2,p} associated to (2,p) minimal models for the Virasoro algebras. We demonstrate that vertex algebras WW_{2,p} are C_2--cofinite and irrational. Complete classification of irreducible representations for WW_{2,3} is obtained, while the classification for p \geq 5 is subject to certain constant term identities. These identities can be viewed as "logarithmic deformations" of Dyson and Selberg constant term identities, and are of independent interest.
Wreath Product Generalizations of the Triple $(S_{2n},H_{n},φ)$ and Their Spherical Functions
The symmetric group $S_{2n}$ and the hyperoctaheadral group $H_{n}$ is a Gelfand triple for an arbitrary linear representation $φ$ of $H_{n}$. Their $φ$-spherical functions can be caught as transition matrix between suitable symmetric functions and the power sums. We generalize this triplet in the term of wreath product. It is shown that our triplet are always to be a Gelfand triple. Furthermore we study the relation between their spherical functions and multi-partition version of the ring of symmetric functions.
Positivity of the T-system cluster algebra
Published
• View Publication
• BIB
We give the path model solution for the cluster algebra variables of the $A_r$ $T$-system with generic boundary conditions. The solutions are partition functions of (strongly) non-intersecting paths on weighted graphs. The graphs are the same as those constructed for the $Q$-system in our earlier work, and depend on the seed or initial data in terms of which the solutions are given. The weights are "time-dependent" where "time" is the extra parameter which distinguishes the $T$-system from the $Q$-system, usually identified as the spectral parameter in the context of representation theory. The path model is alternatively described on a graph with non-commutative weights, and cluster mutations are interpreted as non-commutative continued fraction rearrangements. As a consequence, the solution is a positive Laurent polynomial of the seed data.