representation ↗ reference
4143 papers tagged with this keyword
A Symbolic Summation Approach to Find Optimal Nested Sum Representations
We consider the following problem: Given a nested sum expression, find a sum representation such that the nested depth is minimal. We obtain a symbolic summation framework that solves this problem for sums defined, e.g., over hypergeometric, $q$-hypergeometric or mixed hypergeometric expressions. Recently, our methods have found applications in quantum field theory.
Cayley graphs on the symmetric group generated by initial reversals have unit spectral gap
Published in Electron. J. Combin. Vol 16, no. 1, N29 (2009)
• View Publication
• BIB
In a recent paper Gunnells, Scott and Walden have determined the complete spectrum of the Schreier graph on the symmetric group corresponding to the Young subgroup $S_{n-2}\times S_2$ and generated by initial reversals. In particular they find that the first nonzero eigenvalue, or spectral gap, of the Laplacian is always 1, and report that "empirical evidence" suggests that this also holds for the corresponding Cayley graph. We provide a simple proof of this last assertion, based on the decomposition of the Laplacian of Cayley graphs, into a direct sum of irreducible representation matrices of the symmetric group.
Paths and partitions: combinatorial descriptions of the parafermionic states
Published in J.Math.Phys.50:095210,2009
• View Publication
• BIB
The Z_k parafermionic conformal field theories, despite the relative complexity of their modes algebra, offer the simplest context for the study of the bases of states and their different combinatorial representations. Three bases are known. The classic one is given by strings of the fundamental parafermionic operators whose sequences of modes are in correspondence with restricted partitions with parts at distance k-1 differing at least by 2. Another basis is expressed in terms of the ordered modes of the k-1 different parafermionic fields, which are in correspondence with the so-called multiple partitions. Both types of partitions have a natural (Bressoud) path representation. Finally, a third basis, formulated in terms of different paths, is inherited from the solution of the restricted solid-on-solid model of Andrews-Baxter-Forrester. The aim of this work is to review, in a unified and pedagogical exposition, these four different combinatorial representations of the states of the Z_k parafermionic models.
The first part of this article presents the different paths and partitions and their bijective relations; it is purely combinatorial, self-contained and elementary; it can be read independently of the conformal-field-theory applications. The second part links this combinatorial analysis with the bases of states of the Z_k parafermionic theories. With the prototypical example of the parafermionic models worked out in detail, this analysis contributes to fix some foundations for the combinatorial study of more complicated theories. Indeed, as we briefly indicate in ending, generalized versions of both the Bressoud and the Andrews-Baxter-Forrester paths emerge naturally in the description of the minimal models.
Homotopy sphere representations for matroids
Published
• View Publication
• BIB
For any rank $r$ oriented matroid $M$, a construction is given of a "topological representation" of $M$ by an arrangement of homotopy spheres in a simplicial complex which is homotopy equivalent to $S^{r-1}$. The construction is completely explicit and depends only on a choice of maximal flag in $M$. If $M$ is orientable, then all Folkman-Lawrence representations of all orientations of $M$ embed in this representation in a homotopically nice way.
Deducing the Density Hales-Jewett Theorem from an infinitary removal lemma
Published
• View Publication
• BIB
We offer a new proof of Furstenberg and Katznelson's density version of the Hales-Jewett Theorem:
For any $δ> 0$ there is some $N_0 \geq 1$ such that whenever $A \subseteq [k]^N$ with $N \geq N_0$ and $|A|\geq δk^N$, $A$ contains a \textbf{combinatorial line}: that is, for some $I \subseteq [N]$ nonempty and $w_0 \in [k]^{[N]\setminus I}$ we have
A \supseteq \{w: w|_{[N]\setminus I} = w_0, w|_I = \rm{const.}\}.
Following Furstenberg and Katznelson, we first show that this result is equivalent to a `multiple recurrence' assertion for a class of probability measures enjoying a certain kind of stationarity. However, we then give a quite different proof of this latter assertion through a reduction to an infinitary removal lemma in the spirit of Tao's work on infinite random hypergraphs (and also its recent re-interpretation in a new proof of the multidimensional Szemeredi Theorem by the present author). This reduction is based on a structural analysis of these stationary laws closely analogous to the classical representation theorems for various partial exchangeable stochastic processes in the sense of Hoover, Aldous and Kallenberg. However, the underlying combinatorial arguments used to prove this theorem are rather different from those required to work with exchangeable arrays, and involve crucially an observation that arose during ongoing work by a collaborative team of authors to give a purely finitary proof of the above theorem.
Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements
Published
• View Publication
• BIB
We extend previous work on injectivity in chemical reaction networks to general interaction networks. Matrix- and graph-theoretic conditions for injectivity of these systems are presented. A particular signed, directed, labelled, bipartite multigraph, termed the ``DSR graph'', is shown to be a useful representation of an interaction network when discussing questions of injectivity. A graph-theoretic condition, developed previously in the context of chemical reaction networks, is shown to be sufficient to guarantee injectivity for a large class of systems. The graph-theoretic condition is simple to state and often easy to check. Examples are presented to illustrate the wide applicability of the theory developed.
On a certain representation of the chromatic polynomial
Published in Diskretnyi Analiz, issue 31, 61--70, 91 (1977); Math. Rev. MR543806
• Search Publication
The representation is essentially the same as that given by J.P.Nagle in J. Comb. Theory (B), 1971, 10:1, 42--59. The distinction is in the definition of the weighting function via the number of flows. This new definition allows one to deduce a number of corollaries, in particular, the following.
A) The chromatic polynomial of a connected planar graph G can be uniquely determined from its combinatory dual graph G^* (although the graph G itself isn't, in general, determined uniquely by G^*).
B) If a planar graph G is different from the full graph K_3 and has exactly one (up to renaming of colors) proper coloring of vertices in three colors, then the graph G^* dual to graph G is also vertex colorable in three colors.
Groupes d'isométries permutant doublement transitivement un ensemble de droites vectorielles
Let X be a non-empty finite set, E be a finite dimensional euclidean vector space and G a finite subgroup of O(E), the orthognal group of E. Suppose GG={U_i | i in X} is a finite set of linear lines in E and an orbit of G on which its operation is twice transitive. Then GG is an equiangular set of lines, which means that we can find a real number "c", and generators u_i of the lines U_i (i in X) such that forall i,j in X, ||u_i||=1, and if i is different from j then (u_i|u_j)=\gve_{i,j}.c, with \gve_{i,j} in {-1,+1\} Let Gamma be the simple graph whose set of vertices is X, two of them, say i and j, being linked when \gve_{i,j} = -1. In this article we first explore the relationship between double transitivity of G and geometric properties of Gamma. Then we construct several graphs associated with a twice transitive group G, in particular any of Paley's graphs is associated with a representation of G=PSL_2(q) on a set of q+1 equiangular lines in a vector space whose dimension is (q+1)/2.
Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
Published in Comput.Phys.Commun.180:2143-2165,2009
• View Publication
• BIB
Single scale quantities, as anomalous dimensions and hard scattering cross sections, in renormalizable Quantum Field Theories are found to obey difference equations of finite order in Mellin space. It is often easier to calculate fixed moments for these quantities compared to a direct attempt to derive them in terms of harmonic sums and their generalizations involving the Mellin parameter $N$. Starting from a sufficiently large number of given moments, we establish linear recurrence relations of lowest possible order with polynomial coefficients of usually high degree. Then these recurrence equations are solved in terms of d'Alembertian solutions where the involved nested sums are represented in optimal nested depth. Given this representation, it is then an easy task to express the result in terms of harmonic sums. In this process we compactify the result such that no algebraic relations occur among the sums involved. We demonstrate the method for the QCD unpolarized anomalous dimensions and massless Wilson coefficients to 3--loop order treating the contributions for individual color coefficients. For the most complicated subproblem 5114 moments were needed in order to produce a recurrence of order 35 whose coefficients have degrees up to 938. About four months of CPU time were needed to establish and solve the recurrences for the anomalous dimensions and Wilson coefficients on a 2 GHz machine requiring less than 10 GB of memory. No algorithm is known yet to provide such a high number of moments for 3--loop quantities. Yet the method presented shows that it is possible to establish and solve recurrences of rather large order and and degree, occurring in physics problems, uniquely, fast and reliably with computer algebra.
Directed Graph Representation of Half-Rate Additive Codes over GF(4)
Published in Des. Codes Cryptogr. 59, pp. 119-130, 2011
• View Publication
• BIB
We show that (n,2^n) additive codes over GF(4) can be represented as directed graphs. This generalizes earlier results on self-dual additive codes over GF(4), which correspond to undirected graphs. Graph representation reduces the complexity of code classification, and enables us to classify additive (n,2^n) codes over GF(4) of length up to 7. From this we also derive classifications of isodual and formally self-dual codes. We introduce new constructions of circulant and bordered circulant directed graph codes, and show that these codes will always be isodual. A computer search of all such codes of length up to 26 reveals that these constructions produce many codes of high minimum distance. In particular, we find new near-extremal formally self-dual codes of length 11 and 13, and isodual codes of length 24, 25, and 26 with better minimum distance than the best known self-dual codes.
Plücker environments, wiring and tiling diagrams, and weakly separated set-systems
Published in Advances in Mathematics, 224, 2010, 1-44
• View Publication
• BIB
For the ordered set $[n]$ of $n$ elements, we consider the class $\Bscr_n$ of bases $B$ of tropical Plücker functions on $2^{[n]}$ such that $B$ can be obtained by a series of mutations (flips) from the basis formed by the intervals in $[n]$. We show that these bases are representable by special wiring diagrams and by certain arrangements generalizing rhombus tilings on the $n$-zonogon. Based on the generalized tiling representation, we then prove that each weakly separated set-system in $2^{[n]}$ having maximum possible size belongs to $\Bscr_n$, thus answering affirmatively a conjecture due to Leclerc and Zelevinsky. We also prove an analogous result for a hyper-simplex $Δ_n^m=\{S\subseteq[n]\colon |S|=m\}$.
Representations of Lie Algebras and Coding Theory
Linear codes with large minimal distances are important error correcting codes in information theory.Orthogonal codes have more applications in the other fields of mathematics. In this paper, we study the binary and ternary orthogonal codes generated by the weight matrices on finite-dimensional modules of simple Lie algebras. The Weyl groups of the Lie algebras act on these codes isometrically. It turns out that certain weight matrices of $sl(n,\mbb{C})$ and $o(2n,\mbb{C})$ generate doubly-even binary orthogonal codes and ternary orthogonal codes with large minimal distances. Moreover, we prove that the weight matrices of $F_4$, $E_6$, $E_7$ and $E_8$ on their minimal irreducible modules and adjoint modules all generate ternary orthogonal codes with large minimal distances. In determining the minimal distances, we have used the Weyl groups and branch rules of the irreducible representations of the related simple Lie algebras.
RSK bases and Kazhdan-Lusztig cells
Published
• View Publication
• BIB
From the combinatorial characterizations of the right, left, and two-sided Kazhdan-Lusztig cells of the symmetric group, 'RSK bases' are constructed for certain quotients by two-sided ideals of the group ring and the Hecke algebra. Applications to invariant theory, over various base rings, of the general linear group and representation theory of the symmetric group are discussed.
Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with Applications to Derangements
Published
• View Publication
• BIB
We present explicit upper bounds for the number and size of conjugacy classes in finite Chevalley groups and their variations. These results have been used by many authors to study zeta functions associated to representations of finite simple groups, random walks on Chevalley groups, the final solution to the Ore conjecture about commutators in finite simple groups and other similar problems. In this paper, we solve a strong version of the Boston-Shalev conjecture on derangements in simple groups for most of the families of primitive permutation group representations of finite simple groups (the remaining cases are settled in two other papers of the authors and applications are given in a third).
Représentations linéaires des graphes finis
Let X be a non-empty finite set and alpha a symmetric bilinear form on a real finite dimensional vector space E. We say that a set GG={U_i | i in X} of linear lines in E is an isometric sheaf, if there exist generators u_i of the lines U_i, and real constants ''omega'' and ''c '' such that : forall i,j in X, alpha(u_i,u_i)=omega, and if i is different from j, then alpha(u_i,u_j)=epsilon_{i,j}.c, with epsilon_i,j in {-1,+1} Let Gamma be the graph whose set of vertices is X, two of them, say i and j, being linked when epsilon_{i,j} = - 1. In this article we explore the relationship between GG and Gamma ; we describe all sheaves associated with a given graph Gamma and construct the group of isometries stabilizing one of those as an extension group of Aut(Gamma). We finally illustrate our construction with some examples.
Chopped and sliced cones and representations of Kac-Moody algebras
Published in J. Pure Appl. Algebra 214 (2010), 1152-1164
• View Publication
• BIB
We introduce the notion of a chopped and sliced cone in combinatorial geometry and prove two structure theorems for the number of integral points in the individual slices of such a cone. We observe that this notion applies to weight multiplicities of Kac-Moody algebras and Littlewood-Richardson coefficients of semisimple Lie algebras, where we obtain the corresponding results.
On the cardinality constrained matroid polytope
Published
• View Publication
• BIB
Given a combinatorial optimization problem $Π$ and an increasing finite sequence $c$ of natural numbers, we obtain a cardinality constrained version $Π_c$ of $Π$ by permitting only those feasible solutions of $Π$ whose cardinalities are members of $c$. We are interested in polyhedra associated with those problems, in particular in inequalities that cut off solutions of forbidden cardinality. Maurras (1977) and Camion and Maurras (1982) introduced a family of inequalities, that we call forbidden set inequalities, which can be used to cut off those solutions. However, these inequalities are in general not facet defining for the polyhedron associated with $Π_c$. Kaibel and Stephan (2007) showed how one can combine integer characterizations for cycle and path polytopes and a modified form of forbidden set inequalities to give facet defining integer representations for the cardinality restricted versions of these polytopes. Motivated by this work, we apply the same approach on the matroid polytope. It is well known that the so-called rank inequalities together with the nonnegativity constraints provide a complete linear description of the matroid polytope (see Edmonds (1971). By essentially adding the forbidden set inequalities in an appropriate form, we obtain a complete linear description of the cardinality constrained matroid polytope which is the convex hull of the incidence vectors of those independent sets that have a feasible cardinality. Moreover, we show how the separation problem for the forbidden set inequalities can be reduced to that for the rank inequalities. We also give necessary and sufficient conditions for a forbidden set inequality to be facet defining.
Weight multiplicities for so5(C)
Published in M. Dehmer, M. Drmota, F. Emmert-Streib (ed.), Proceedings of the 2008 international conference on information theory and statistical learning, CSREA Press, 2008, pp. 80-86
• Search Publication
We explicitly determine quasi-polynomials describing the weight multiplicities of the Lie algebra so5(C). This information entails immediate complete knowledge of the character of any simple representation as well as the asymptotic behavior of characters.
Hypergraphic Oriented Matroid Relational Dependency Flow Models of Chemical Reaction Networks
In this paper we derive and present an application of hypergraphic oriented matroids for the purpose of enumerating the variable interdependencies that define the chemical complexes associated with the kinetics of non-linear dynamical system representations of chemical kinetic reaction flow networks. The derivation of a hypergraphic oriented matroid is obtained by defining a closure operator on families of n-subsets of signed multi-sets from which a "Z-module" is obtained. It has been observed that every instantiation of the closure operator on the signed multiset families define a matroid structure. It is then demonstrated that these structures generate a pair of dual matroids corresponding respectively to hyperspanning trees and hypercycles obtained from the corresponding directed hypergraphs. These structures are next systematically evaluated to obtain solution sets that satisfy systems of non-linear chemical kinetic reaction flow networks in the MAP Kinase cascade cell-signaling pathway.
Representations of Symmetric Implication Algebras as Multicubes
We show that the variety of symmetric implication algebras is generated from cubic implication algebras and Boolean algebras. We do this by developing the notion of a locally symmetric implication algebra that has properties similar to cubic implication algebras and provide a representation of these algebras as subalgebras of a product of a cubic implication algebra and an implication algebra. We then show that every symmetric implication algebra is covered by a locally symmetric implication algebra.