representation ↗ reference
4143 papers tagged with this keyword
Sum of squares representation for the Böttcher-Wenzel biquadratic form
Published in Acta Universitatis Sapientiae, Informatica, 4, 1 (2012) 17-32
• Search Publication
We find the minimum scale factor, for which the nonnegative Böttcher-Wenzel biquadratic form becomes a sum of squares (sos). To this we give the primal and dual solutions for the underlying semide finite program. Moreover, for special matrix classes (tridiagonal, backward tridiagonal and cyclic Hankel matrices) we show that the above form is sos. Finally, we conjecture sos representability for Toeplitz matrices.
Finding msr of a given graph of at most seven vertices by giving vector representations
In this paper, we study the minimum rank among positive semidefinite matrices with a given graph of at most seven vertices (msr) by giving vector representations.
The isomorphism problem for linear representations and their graphs
Published
• View Publication
• BIB
In this paper, we study the isomorphism problem for linear representations. A linear representation Tn*(K) of a point set K is a point-line geometry, embedded in a projective space PG(n+1,q), where K is contained in a hyperplane. We put constraints on K which ensure that every automorphism of Tn*(K) is induced by a collineation of the ambient projective space. This allows us to show that, under certain conditions, two linear representations Tn*(K) and Tn*(K') are isomorphic if and only if the point sets K and K' are PGammaL-equivalent. We also deal with the slightly more general problem of isomorphic incidence graphs of linear representations. In the last part of this paper, we give an explicit description of the group of automorphisms of Tn*(K) that are induced by collineations of PG(n+1,q).
Efficient Algorithms for Zeckendorf Arithmetic
Published
• View Publication
• BIB
We study the problem of addition and subtraction using the Zeckendorf representation of integers. We show that both operations can be performed in linear time; in fact they can be performed by combinational logic networks with linear size and logarithmic depth. The implications of these results for multiplication, division and square-root extraction are also discussed.
Matroids of Gain Graphs in Applied Discrete Geometry
Published
• View Publication
• BIB
A G-gain graph is a graph whose oriented edges are labeled invertibly from a group G. Zaslavsky proposed two matroids of G-gain graphs, called frame matroids and lift matroids, and investigated linear representations of them. Each matroid has a canonical representation over a field F if G is isomorphic to a subgroup of F^{\times} in the case of frame matroids or G is isomorphic to an additive subgroup of F in the case of lift matroids. The canonical representation of the frame matroid of a complete graph is also known as a Dowling geometry, as it was first introduced by Dowling for finite groups.
In this paper, we extend these matroids in two ways. The first one is extending the rank function of each matroid, based on submodular functions over G. The resulting rank function generalizes that of the union of frame matroids or lift matroids. Another one is extending the canonical linear representation of the union of d copies of a frame matroid or a lift matroid, based on linear representations of G on a d-dimensional vector space. We show that linear matroids of the latter extension are indeed special cases of the first extensions, as in the relation between Dowling geometries and frame matroids. We also discuss an attempt to unify the extension of frame matroids and that of lift matroids.
This work is motivated from recent research on the combinatorial rigidity of symmetric graphs. As special cases, we give several new results on this topic, including combinatorial characterizations of the symmetry-forced rigidity of generic body-bar frameworks with point group symmetries or crystallographic symmetries and the symmetric parallel redrawability of generic bar-joint frameworks with point group symmetries or crystallographic symmetries.
The multivariate arithmetic Tutte polynomial
Published
• View Publication
• BIB
We introduce an arithmetic version of the multivariate Tutte polynomial, and (for representable arithmetic matroids) a quasi-polynomial that interpolates between the two. A generalized Fortuin-Kasteleyn representation with applications to arithmetic colorings and flows is obtained. We give a new and more general proof of the positivity of the coefficients of the arithmetic Tutte polynomial, and (in the representable case) a geometrical interpretation of them.
Classical and Signed Kazhdan-Lusztig Polynomials: Character Multiplicity Inversion by Induction
The famous Kazhdan-Lusztig Conjecture of the 1970s states that the multiplicity of an irreducible composition factor of a Verma module can be computed by evaluating Kazhdan-Lusztig polynomials at 1. Thus the character of a Verma module is a linear combination of characters of irreducible highest weight modules where the coefficients in the linear combination are Kazhdan-Lusztig polynomials evaluated at 1. Kazhdan-Lusztig showed that inverting and writing the character of an irreducible highest weight module as a linear combination of characters of Verma modules, the coefficients in the linear combination are also Kazhdan-Lusztig polynomials evaluated at 1, up to a sign. In this paper, we show how to prove Kazhdan-Lusztig's character multiplicity inversion formula by induction using coherent continuation functors. Unitary representations may be identified by determining if characters and signature characters are the same. The signature character of a Verma module may be written as a linear combination of signature characters of irreducible highest weight modules where the coefficients in the linear combination are signed Kazhdan-Lusztig polynomials evaluated at 1. An analogous argument by induction using coherent continuation functors proves an analogous multiplicity inversion formula for signature characters: the signature character of an irreducible highest weight module is a linear combination of signature characters of Verma modules where the coefficients, up to a sign, are also signed Kazhdan-Lusztig polynomials evaluated at 1.
Quantum extremal loop weight modules and monomial crystals
Published in Pacific J. Math. 267 (2014) 185-241
• View Publication
• BIB
In this paper we construct a new family of representations for the quantum toroidal algebras of type $A_n$, which are $\ell$-extremal in the sense of Hernandez [24]. We construct extremal loop weight modules associated to level 0 fundamental weights $\varpi_\ell$ when $n=2r+1$ is odd and $\ell=1, r+1$ or $n$. To do it, we relate monomial realizations of level 0 extremal fundamental weight crystals with integrable representations of $\mathcal{U}_q(sl_{n+1}^{tor})$, and we introduce promotion operators for the level 0 extremal fundamental weight crystals. By specializing the quantum parameter, we get finite-dimensional modules of quantum toroidal algebras at roots of unity. In general, we give a conjectural process to construct extremal loop weight modules from monomial realizations of crystals.
Restricted integer partition functions
Published
• View Publication
• BIB
For two sets $A$ and $M$ of positive integers and for a positive integer $n$, let $p(n,A,M)$ denote the number of partitions of $n$ with parts in $A$ and multiplicities in $M$, that is, the number of representations of $n$ in the form $n=\sum_{a \in A} m_a a$ where $m_a \in M \cup {0}$ for all $a$, and all numbers $m_a$ but finitely many are 0. It is shown that there are infinite sets $A$ and $M$ so that $p(n,A,M)=1$ for every positive integer $n$. This settles (in a strong form) a problem of Canfield and Wilf. It is also shown that there is an infinite set $M$ and constants $c$ and $n_0$ so that for $A={k!}_{k \geq 1}$ or for $A=\{k^k\}_{k \geq 1}$, $0<p(n,A,M) \leq n^c$ for all $n>n_0$. This answers a question of Ljujić and Nathanson.
Critical points of master functions and integrable hierarchies
Published
• View Publication
• BIB
We consider the population of critical points generated from the trivial critical point of the master function with no variables and associated with the trivial representation of the affine Lie algebra $\hat{\frak{sl}}_N$. We show that the critical points of this population define rational solutions of the equations of the mKdV hierarchy associated with $\hat{\frak{sl}}_N$.
We also construct critical points from suitable $N$-tuples of tau-functions. The construction is based on a Wronskian identity for tau-functions. In particular, we construct critical points from suitable $N$-tuples of Schur polynomials and prove a Wronskian identity for Schur polynomials.
Subset-Sum Representations of Domination Polynomials
Published
• View Publication
• BIB
The domination polynomial D(G,x) is the ordinary generating function for the dominating sets of an undirected graph G=(V,E) with respect to their cardinality. We consider in this paper representations of D(G,x) as a sum over subsets of the edge and vertex set of G. One of our main results is a representation of D(G,x) as a sum ranging over spanning bipartite subgraphs of G. We call a graph G conformal if all of its components are of even order. We show that the number of dominating sets of G equals a sum ranging over vertex-induced conformal subgraphs of G.
Macdonald Polynomials and BGG reciprocity for current algebras
Published
• View Publication
• BIB
We study the category of graded representations with finite--dimensional graded pieces for the current algebra associated to a simple Lie algebra. This category has many similarities with the category $\cal O$ of modules for $\lie g$ and in this paper, we use the combinatorics of Macdonald polynomials to prove an analogue of the famous BGG duality in the case of $\lie{sl}_{n+1}$.
On the Intersection of Tolerance and Cocomparability Graphs
Published
• View Publication
• BIB
It has been conjectured by Golumbic and Monma in 1984 that the intersection of tolerance and cocomparability graphs coincides with bounded tolerance graphs. The conjecture has been proved under some - rather strong - \emph{structural} assumptions on the input graph; in particular, it has been proved for complements of trees, and later extended to complements of bipartite graphs, and these are the only known results so far. Our main result in this article is that the above conjecture is true for every graph $G$ that admits a tolerance representation with exactly one unbounded vertex; note here that this assumption concerns only the given tolerance \emph{representation} $R$ of $G$, rather than any structural property of $G$. Moreover, our results imply as a corollary that the conjecture of Golumbic, Monma, and Trotter is true for every graph $G=(V,E)$ that has no three independent vertices $a,b,c\in V$ such that $N(a) \subset N(b) \subset N(c)$; this is satisfied in particular when $G$ is the complement of a triangle-free graph (which also implies the above-mentioned correctness for complements of bipartite graphs). Our proofs are constructive, in the sense that, given a tolerance representation $R$ of a graph $G$, we transform $R$ into a bounded tolerance representation $R^{\ast}$ of $G$. Furthermore, we conjecture that any \emph{minimal} tolerance graph $G$ that is not a bounded tolerance graph, has a tolerance representation with exactly one unbounded vertex. Our results imply the non-trivial result that, in order to prove the conjecture of Golumbic, Monma, and Trotter, it suffices to prove our conjecture.
On the number of matroids
Published
• View Publication
• BIB
We consider the problem of determining $m_n$, the number of matroids on $n$ elements. The best known lower bound on $m_n$ is due to Knuth (1974) who showed that $\log \log m_n$ is at least $n-3/2\log n-1$. On the other hand, Piff (1973) showed that $\log\log m_n\leq n-\log n+\log\log n +O(1)$, and it has been conjectured since that the right answer is perhaps closer to Knuth's bound.
We show that this is indeed the case, and prove an upper bound on $\log\log m_n$ that is within an additive $1+o(1)$ term of Knuth's lower bound. Our proof is based on using some structural properties of non-bases in a matroid together with some properties of independent sets in the Johnson graph to give a compressed representation of matroids.
On extendability of permutations
Let $V$ be a left vector space over a division ring and let ${\mathcal P}(V)$ be the associated projective space. We describe all finite subsets $X\subset V$ such that every permutation on $X$ can be extended to a linear automorphism of $V$ and all finite subsets ${\mathcal X}\subset {\mathcal P}(V)$ such that every permutation on ${\mathcal X}$ can be extended to an element of ${\rm PGL}(V)$. Also, we reformulate the results in terms of linear and projective representations of symmetric groups.
Bend-Bounded Path Intersection Graphs: Sausages, Noodles, and Waffles on a Grill
Published
• View Publication
• BIB
In this paper we study properties of intersection graphs of k-bend paths in the rectangular grid. A k-bend path is a path with at most k 90 degree turns. The class of graphs representable by intersections of k-bend paths is denoted by B_k-VPG. We show here that for every fixed k, B_k-VPG is a proper subset of B_{k+1}-VPG and that recognition of graphs from B_k-VPG is NP-complete even when the input graph is given by a B_{k+1}-VPG representation. We also show that the class B_k-VPG (for k>0) is in no inclusion relation with the class of intersection graphs of straight line segments in the plane.
Degenerate flag varieties: moment graphs and Schröder numbers
Published in JOURNAL OF ALGEBRAIC COMBINATORICS, p. 1-31, 2012
• View Publication
• BIB
We study geometric and combinatorial properties of the degenerate flag varieties of type A. These varieties are acted upon by the automorphism group of a certain representation of a type A quiver, containing a maximal torus T. Using the group action, we describe the moment graphs, encoding the zero- and one-dimensional T-orbits. We also study the smooth and singular loci of the degenerate flag varieties. We show that the Euler characteristic of the smooth locus is equal to the large Schröder number and the Poincaré polynomial is given by a natural statistics counting the number of diagonal steps in a Schröder path. As an application we obtain a new combinatorial description of the large and small Schröder numbers and their q-analogues.
Lectures on Self-Avoiding Walks
These lecture notes provide a rapid introduction to a number of rigorous results on self-avoiding walks, with emphasis on the critical behaviour. Following an introductory overview of the central problems, an account is given of the Hammersley--Welsh bound on the number of self-avoiding walks and its consequences for the growth rates of bridges and self-avoiding polygons. A detailed proof that the connective constant on the hexagonal lattice equals $\sqrt{2+\sqrt{2}}$ is then provided. The lace expansion for self-avoiding walks is described, and its use in understanding the critical behaviour in dimensions $d>4$ is discussed. Functional integral representations of the self-avoiding walk model are discussed and developed, and their use in a renormalisation group analysis in dimension 4 is sketched. Problems and solutions from tutorials are included.
GL-equivariant modules over polynomial rings in infinitely many variables
Published in Trans. Amer. Math. Soc. 368 (2016), 1097-1158
• View Publication
• BIB
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly.
Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellenberg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable.
Canonical ordering for graphs on the cylinder, with applications to periodic straight-line drawings on the flat cylinder and torus
Published
• View Publication
• BIB
We extend the notion of canonical ordering (initially developed for planar triangulations and 3-connected planar maps) to cylindric (essentially simple) triangulations and more generally to cylindric (essentially internally) $3$-connected maps. This allows us to extend the incremental straight-line drawing algorithm of de Fraysseix, Pach and Pollack (in the triangulated case) and of Kant (in the $3$-connected case) to this setting. Precisely, for any cylindric essentially internally $3$-connected map $G$ with $n$ vertices, we can obtain in linear time a periodic (in $x$) straight-line drawing of $G$ that is crossing-free and internally (weakly) convex, on a regular grid $\mathbb{Z}/w\mathbb{Z}\times[0..h]$, with $w\leq 2n$ and $h\leq n(2d+1)$, where $d$ is the face-distance between the two boundaries. This also yields an efficient periodic drawing algorithm for graphs on the torus. Precisely, for any essentially $3$-connected map $G$ on the torus (i.e., $3$-connected in the periodic representation) with $n$ vertices, we can compute in linear time a periodic straight-line drawing of $G$ that is crossing-free and (weakly) convex, on a periodic regular grid $\mathbb{Z}/w\mathbb{Z}\times\mathbb{Z}/h\mathbb{Z}$, with $w\leq 2n$ and $h\leq 1+2n(c+1)$, where $c$ is the face-width of $G$. Since $c\leq\sqrt{2n}$, the grid area is $O(n^{5/2})$.