representation ↗ reference
4053 papers tagged with this keyword
On Extending Pollard's Theorem for t-Representable Sums
Published
• View Publication
• BIB
Let $t\geq 1$, let $A$ and $B$ be finite, nonempty subsets of an abelian group $G$, and let $A\pp{i} B$ denote all the elements $c$ with at least $i$ representations of the form $c=a+b$, with $a\in A$ and $b\in B$. For $|A|, |B|\geq t$, we show that either \be\label{almost}\Sum{i=1}{t}|A\pp{i} B|\geq t|A|+t|B|-2t^2+1,\ee or else there exist $A'\subseteq A$ and $B'\subseteq B$ with \ber \nn l&:=&|A\setminus A'|+|B\setminus B'|\leq t-1, \nn A'\pp{t}B'&=&A'+B'=A\pp{t}B,{and} \nn \Sum{i=1}{t}|A\pp{i}B|&\geq& t|A|+t|B|-(t-l)(|H|-ρ)-tl\geq t|A|+t|B|-t|H|,\eer where $H$ is the (nontrivial) stabilizer of $A\pp{t} B$ and $ρ=|A'+H|-|A'|+|B'+H|-|B'|$. In the case $t=2$, we improve (\ref{almost}) to $|A\pp{1}B|+|A\pp{2}B|\geq 2|A|+2|B|-4$.
The limit shape of large alternating sign matrices
Published in SIAM J. Discrete Math. 24 (2010), 1558-1571
• View Publication
• BIB
The problem of the limit shape of large alternating sign matrices (ASMs) is addressed by studying the emptiness formation probability (EFP) in the domain-wall six-vertex model. Assuming that the limit shape arises in correspondence to the `condensation' of almost all solutions of the saddle-point equations for certain multiple integral representation for EFP, a conjectural expression for the limit shape of large ASMs is derived. The case of 3-enumerated ASMs is also considered.
When is a symmetric pin-jointed framework isostatic?
Published
• View Publication
• BIB
Maxwell's rule from 1864 gives a necessary condition for a framework to be isostatic in 2D or in 3D. Given a framework with point group symmetry, group representation theory is exploited to provide further necessary conditions. This paper shows how, for an isostatic framework, these conditions imply very simply stated restrictions on the numbers of those structural components that are unshifted by the symmetry operations of the framework. In particular, it turns out that an isostatic framework in 2D can belong to one of only six point groups. Some conjectures and initial results are presented that would give sufficient conditions (in both 2D and 3D) for a framework that is realized generically for a given symmetry group to be an isostatic framework.
A statistic on the roots of a finite reflection group and a correspondence between the height function and Bruhat order
The action of a finite reflection group (type A) on its set of roots is understood as a permutation representation or group action. We show that this representation is an induced representation from a certain kind of parabolic subgroup. Furthermore, we use this representation to define a statistic (derived from the length function) on the set of roots. A possible application to Costas Arrays is hinted at in a proposition.
On incidence algebras description of cobweb posets
The explicite formulas for Mobius function and some other important elements of the incidence algebra of an arbitrary cobweb poset are delivered. For that to do one uses Kwasniewski's construction of his cobweb posets . The digraph representation of these cobweb posets constitutes a newly discovered class of orderable DAG's named here down KoDAGs with a kind of universality now being investigated. Namely cobweb posets' and thus KoDAGs's defining di-bicliques are links of any complete relations' chains.
Equivalences entre conjectures de Soergel
Published
• View Publication
• BIB
Soergel's category B_k(V) over a field k is defined from a Coxeter system (W,S) and a k-linear representation V of W. It's a categorification of the Hecke algebra of (W,S). In this article we prove that for some representations V and V' of W, Soergel's conjecture over B_k(V') is equivalent to that over B_k(V). In particular, when k=IR we can choose V' to be the geometric representation.
Equivariant classification of 2-torus manifolds
Published in Colloq. Math. 115 (2009), 171--188.
• Search Publication
A 2-torus manifold is a closed smooth manifold of dimension $n$ with an effective action of a 2-torus group $(\Z_2)^n$ of rank $n$, and it is said to be locally standard if it is locally isomorphic to a faithful representation of $(\Z_2)^n$ on $\R^n$. This paper studies the equivariant classification of locally standard 2-torus manifolds.
Hyperforests on the Complete Hypergraph by Grassmann Integral Representation
Published in J.Phys.A41:205003,2008
• View Publication
• BIB
We study the generating function of rooted and unrooted hyperforests in a general complete hypergraph with n vertices by using a novel Grassmann representation of their generating functions. We show that this new approach encodes the known results about the exponential generating functions for the different number of vertices. We consider also some applications as counting hyperforests in the k-uniform complete hypergraph and the one complete in hyperedges of all dimensions. Some general feature of the asymptotic regimes for large number of connected components is discussed.
A remark on Frobenius characters for set representations of symmetric groups
For any set representation (permutation representation) of the symmetric group $S_n$, we give combinatorial interpretation for coefficients of its Frobenius character expanded in the basis of monomial symmetric functions.
Integral representation of the $n$-th derivative in de Branges-Rovnyak spaces and the norm convergence of its reproducing kernel
Published
• View Publication
• BIB
In this paper, we give an integral representation for the boundary values of derivatives of functions of the de Branges--Rovnyak spaces $\HH(b)$, where $b$ is in the unit ball of $H^\infty(\CC_+)$. In particular, we generalize a result of Ahern--Clark obtained for functions of the model spaces $K_b$, where $b$ is an inner function. Using hypergeometric series, we obtain a nontrivial formula of combinatorics for sums of binomial coefficients. Then we apply this formula to show the norm convergence of reproducing kernel $k_{ω,n}^b$ of the evaluation of $n$-th derivative of elements of $\HH(b)$ at the point $ω$ as it tends radially to a point of the real axis.
Hopf Algebras in General and in Combinatorial Physics: a practical introduction
This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics, showing that in this latter case the axioms of Hopf algebra arise naturally. The text contains many exercises, some taken from physics, aimed at expanding and exemplifying the concepts introduced.
The dimensions of LU(3,q) codes
Published in Journal of Combinatorial Theory, Series A 116 (2009) 1073-1079
• View Publication
• BIB
A family of LDPC codes, called LU(3,q) codes, has been constructed from q-regular bipartite graphs. Recently, P. Sin and Q. Xiang determined the dimensions of these codes in the case that q is a power of an odd prime. They also obtained a lower bound for the dimension of an LU(3,q) code when q is a power of 2. In this paper we prove that this lower bound is the exact dimension of the LU(3,q) code. The proof involves the geometry of symplectic generalized quadrangles, the representation theory of Sp(4,q), and the ring of polynomials.
Graph-Based Classification of Self-Dual Additive Codes over Finite Fields
Published in Adv. Math. Commun. 3(4), pp. 329-348, 2009
• View Publication
• BIB
Quantum stabilizer states over GF(m) can be represented as self-dual additive codes over GF(m^2). These codes can be represented as weighted graphs, and orbits of graphs under the generalized local complementation operation correspond to equivalence classes of codes. We have previously used this fact to classify self-dual additive codes over GF(4). In this paper we classify self-dual additive codes over GF(9), GF(16), and GF(25). Assuming that the classical MDS conjecture holds, we are able to classify all self-dual additive MDS codes over GF(9) by using an extension technique. We prove that the minimum distance of a self-dual additive code is related to the minimum vertex degree in the associated graph orbit. Circulant graph codes are introduced, and a computer search reveals that this set contains many strong codes. We show that some of these codes have highly regular graph representations.
Categorification of acyclic cluster algebras: an introduction
Published
• View Publication
• BIB
This is a concise introduction to Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers in the acyclic case. We review the definition of cluster algebras (geometric, without coefficients), construct the cluster category and present the bijection between cluster variables and rigid indecomposable objects of the cluster category.
Generating function identities for $ζ(2n+2), ζ(2n+3)$ via the WZ method
Published in Electron. J. Combin. 15 (2008), no. 1, Research Paper 35, 9pp
• View Publication
• BIB
Using the WZ method we present simpler proofs of Koecher's, Leshchiner's and Bailey-Borwein-Bradley's identities for generating functions of the sequences $\{ζ(2n+2)\}_{n\ge 0}, \{ζ(2n+3)\}_{n\ge 0}.$ By the same method we give several new representations for these generating functions yielding faster convergent series for values of the Riemann zeta function.
Cyclotomic Solomon Algebras
Published
• View Publication
• BIB
This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type $G(r,1,n)$. As with the Solomon descent algebra, our algebra has a basis given by sums of `distinguished' coset representatives for certain `reflection subgroups'. We explicitly describe the structure constants with respect to this basis and show that they are polynomials in $r$. This allows us to define a deformation, or $q$-analogue, of these algebras which depends on a parameter $q$. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.
Combinatorics in affine flag varieties
Published
• View Publication
• BIB
The Littelmann path moel gives a realization of the crystals of integrable representations of symmetrizable Kac-Moody Lie algebras. Recent work of Gaussent-Littelmann and others has demonstrated a connection between this model and the geometry of the loop Grassmannian. The alcove walk model is a version of the path model which is intimately connected to the combinatorics of the affine Hecke algebra. In this paper we define a refined alcove walk model which encodes the points of the affine flag variety. We show that this combinatorial indexing naturally indexes the "cells" in generalized Mirkovic-Vilonen intersections.
Linear forms and complementing sets of integers
Published in Journal de Theorie des Nombres de Bordeaux 21 (2009), 343--355
• View Publication
• BIB
Let $\varphi(x_1,\ldots,x_h,y) = u_1x_1 + \cdots + u_hx_h+vy$ be a linear form with nonzero integer coefficients $u_1,\ldots, u_h, v.$ Let $\mathcal{A} = (A_1,\ldots, A_h)$ be an $h$-tuple of finite sets of integers and let $B$ be an infinite set of integers. Define the representation function associated to the form $\varphi$ and the sets \mca\ and $B$ as follows: $$ R^{(\varphi)}_{\mathcal{A},B}(n) = \text{card}\left( \left\{ (a_1,\ldots, a_h,b) \in A_1 \times \cdots \times A_h \times B: \varphi(a_1, \ldots , a_h,b ) = n \right\} \right).$$ If this representation function is constant, then the set $B$ is periodic and the period of $B$ will be bounded in terms of the diameter of the finite set $\{ \varphi(a_1,\ldots,a_h,0): (a_1,\ldots, a_h) \in A_1 \times \cdots \times A_h\}.$
On The Isoperimetric Spectrum of Graphs and Its Approximations
Published in J. Combinatorial Theory, Series B, 2010
• View Publication
• BIB
In this paper we consider higher isoperimetric numbers of a (finite directed) graph. In this regard we focus on the $n$th mean isoperimetric constant of a directed graph as the minimum of the mean outgoing normalized flows from a given set of $n$ disjoint subsets of the vertex set of the graph. We show that the second mean isoperimetric constant in this general setting, coincides with (the mean version of) the classical Cheeger constant of the graph, while for the rest of the spectrum we show that there is a fundamental difference between the $n$th isoperimetric constant and the number obtained by taking the minimum over all $n$-partitions. In this direction, we show that our definition is the correct one in the sense that it satisfies a Federer-Fleming-type theorem, and we also define and present examples for the concept of a supergeometric graph as a graph whose mean isoperimetric constants are attained on partitions at all levels. Moreover, considering the ${\bf NP}$-completeness of the isoperimetric problem on graphs, we address ourselves to the approximation problem where we prove general spectral inequalities that give rise to a general Cheeger-type inequality as well. On the other hand, we also consider some algorithmic aspects of the problem where we show connections to orthogonal representations of graphs and following J.~Malik and J.~Shi ($2000$) we study the close relationships to the well-known $k$-means algorithm and normalized cuts method.
The inverse problem for representation functions for general linear forms
The inverse problem for representation functions takes as input a triple (X,f,L), where X is a countable semigroup, f : X --> N_0 \cup {\infty} a function, L : a_1 x_1 + ... + a_h x_h an X-linear form and asks for a subset A \subseteq X such that there are f(x) solutions (counted appropriately) to L(x_1,...,x_h) = x for every x \in X, or a proof that no such subset exists.
This paper represents the first systematic study of this problem for arbitrary linear forms when X = Z, the setting which in many respects is the most natural one. Having first settled on the "right" way to count representations, we prove that every primitive form has a unique representation basis, i.e.: a set A which represents the function f \equiv 1. We also prove that a partition regular form (i.e.: one for which no non-empty subset of the coefficients sums to zero) represents any function f for which {f^{-1}(0)} has zero asymptotic density. These two results answer questions recently posed by Nathanson.
The inverse problem for partition irregular forms seems to be more complicated. The simplest example of such a form is x_1 - x_2, and for this form we provide some partial results. Several remaining open problems are discussed.