representation ↗ reference
4143 papers tagged with this keyword
On toric degenerations of flag varieties
Published
• View Publication
• BIB
Following the historical track in pursuing $T$-equivariant flat toric degenerations of flag varieties and spherical varieties, we explain how powerful tools in algebraic geometry and representation theory, such as canonical bases, Newton-Okounkov bodies, PBW-filtrations and cluster algebras come to push the subject forward.
Punctures for Theories of Class $\mathcal{S}_Γ$
Published
• View Publication
• BIB
With the aim of understanding compactifications of 6D superconformal field theories to four dimensions, we study punctures for theories of class $\mathcal{S}_Γ$. The class $\mathcal{S}_Γ$ theories arise from M5-branes probing $\mathbb{C}^2 / Γ$, an ADE singularity. The resulting 4D theories descend from compactification on Riemann surfaces decorated with punctures. We show that for class $\mathcal{S}_Γ$ theories, a puncture is specified by singular boundary conditions for fields in the 5D quiver gauge theory obtained from compactification of the 6D theory on a cylinder geometry. We determine general boundary conditions and study in detail solutions with first order poles. This yields a generalization of the Nahm pole data present for $1/2$ BPS punctures for theories of class $\mathcal{S}$. Focusing on specific algebraic structures, we show how the standard discussion of nilpotent orbits and its connection to representations of $\mathfrak{su}(2)$ generalizes in this broader context.
Newton flows for elliptic functions II Structural stability: Classification & Representation
Published
• View Publication
• BIB
In our previous paper we associated to each non-constant elliptic function $f$ on a torus $T$ a dynamical system, the elliptic Newton flow corresponding to $f$. We characterized the functions for which these flows are structurally stable and showed a genericity result. In the present paper we focus on the classification and representation of these structurally stable flows. The phase portrait of a structurally stable elliptic Newton flow generates a connected, cellularly embedded, graph $\mathcal{G}(f)$ on a torus $T$ with $r$ vertices, 2$r$ edges and $r$ faces that fulfil certain combinatorial properties ( Euler, Hall) on some of its subgraphs. The graph $\mathcal{G}(f)$ determines the conjugacy class of the flow. [classification] A connected, cellularly embedded toroidal graph $\mathcal{G}$ with the above Euler and Hall properties, is called a Newton graph. Any Newton graph $\mathcal{G}$ can be realized as the graph $\mathcal{G}(f)$ of the structurally stable Newton flow for some function $f$. This leads to: up till conjugacy between flows and (topological) equivalency between graphs, there is a one to one correspondence between the structurally stable Newton flows and Newton graphs, both with respect to the same order $r$ of the underlying functions $f$.[representation] Finally, we clarify the analogy between rational and elliptic Newton flows, and show that the detection of elliptic Newton flows is possible in polynomial time.
Newton flows for elliptic functions III Classification of $3^{\text{rd}}$ order Newton graphs
A Newton graph of order $r( \geqslant 2)$ is a cellularly embedded toroidal graph on $r$ vertices, $2r$ edges and $r$ faces that fulfils certain combinatorial properties (Euler, Hall). The significance of these graphs relies on their role in the study of structurally stable elliptic Newton flows - say $\bar{\bar{\mathcal{N}}} (f)$ - of order $r$, i.e. desingularized continuous versions of Newton's iteration method for finding zeros for an elliptic function $f$ (of order $r$). In previous work we established a representation of these flows in terms of Newton graphs. The present paper results into the classification of all $3^{\text{rd}}$ order Newton graphs, implying a list of all nine possible $3^{\text{rd}}$ order flows $\bar{\bar{\mathcal{N}}} (f)$ (up to conjugacy and duality).
Unit Hypercube Visibility Numbers of Trees
Published
• View Publication
• BIB
A visibility representation of a graph $G$ is an assignment of the vertices of $G$ to geometric objects such that vertices are adjacent if and only if their corresponding objects are "visible" each other, that is, there is an uninterrupted channel, usually axis-aligned, between them. Depending on the objects and definition of visibility used, not all graphs are visibility graphs. In such situations, one may be able to obtain a visibility representation of a graph $G$ by allowing vertices to be assigned to more than one object. The {\it visibility number} of a graph $G$ is the minimum $t$ such that $G$ has a representation in which each vertex is assigned to at most $t$ objects.
In this paper, we explore visibility numbers of trees when the vertices are assigned to unit hypercubes in $\mathbb{R}^n$. We use two different models of visibility: when lines of sight can be parallel to any standard basis vector of $\mathbb{R}^n$, and when lines of sight are only parallel to the $n$th standard basis vector in $\mathbb{R}^n$. We establish relationships between these visibility models and their connection to trees with certain cubicity values.
On the representation number of a crown graph
Published
• View Publication
• BIB
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. It is known that any word-representable graph $G$ is $k$-word-representable for some $k$, that is, there exists a word $w$ representing $G$ such that each letter occurs exactly $k$ times in $w$. The minimum such $k$ is called $G$'s representation number.
A crown graph $H_{n,n}$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. In this paper we show that for $n\geq 5$, $H_{n,n}$'s representation number is $\lceil n/2 \rceil$. This result not only provides a complete solution to the open Problem 7.4.2 in \cite{KL}, but also gives a negative answer to the question raised in Problem 7.2.7 in \cite{KL} on 3-word-representability of bipartite graphs. As a byproduct we obtain a new example of a graph class with a high representation number.
Representation of convex geometries by circles on a plane
Published
• View Publication
• BIB
Convex geometries are closure systems satisfying the anti-exchange axiom. Every finite convex geometry can be embedded into a convex geometry of finitely many points in an n-dimensional space equipped with a convex hull operator, by the result of K. Kashiwabara, M.Nakamura and Y.Okamoto (2005). Allowing circles rather than points, as was suggested by G.Czédli (2014), may presumably reduce the dimension for representation. This paper introduces a property, the Weak $2\times 3$-Carousel rule, which is satisfied by all convex geometries of circles on a plane, and we show that it does not hold in all finite convex geometries. This raises a number of representation problems for convex geometries, which may allow us to better understand the properties of Euclidean space related to its dimension.
Central measures on multiplicative graphs, representations of Lie algebras and weight polytopes
To each finite-dimensional representation of a simple Lie algebra is associated a multiplicative graph in the sense of Kerov and Vershik definedfrom the decomposition of its tensor powers into irreducible components. The conditioning of naturalrandom Littelmann paths to stay in their corresponding Weyl chamber is thencontrolled by central measures on this type of graphs. Using the K-theory of associated C*-algebras, Handelman established a homeomorphism between the set of central measures on these multiplicative graphs and the weight polytope of theunderlying representation. In the present paper, we make explicit this homeomorphism independently of Handelman's results by using Littelmann's path model. As a by-product we also get an explicit parametrization of theweight polytope in terms of drifts of random Littelmann paths. This explicit parametrization yields a complete description of harmonic and c-harmonic functions for this Littelmann paths model.
Topological Drawings of Complete Bipartite Graphs
Published
• View Publication
• BIB
Topological drawings are natural representations of graphs in the plane, where vertices are represented by points, and edges by curves connecting the points. Topological drawings of complete graphs and of complete bipartite graphs have been studied extensively in the context of crossing number problems. We consider a natural class of simple topological drawings of complete bipartite graphs, in which we require that one side of the vertex set bipartition lies on the outer boundary of the drawing.
We investigate the combinatorics of such drawings. For this purpose, we define combinatorial encodings of the drawings by enumerating the distinct drawings of subgraphs isomorphic to $K_{2,2}$ and $K_{3,2}$, and investigate the constraints they must satisfy. We prove that a drawing of $K_{k,n}$ exists if and only if some simple local conditions are satisfied by the encodings. This directly yields a polynomial-time algorithm for deciding the existence of such a drawing given the encoding. We show the encoding is equivalent to specifying which pairs of edges cross, yielding a similar polynomial-time algorithm for the realizability of abstract topological graphs.
We also completely characterize and enumerate such drawings of $K_{k,n}$ in which the order of the edges around each vertex is the same for vertices on the same side of the bipartition. Finally, we investigate drawings of $K_{k,n}$ using straight lines and pseudolines, and consider the complexity of the corresponding realizability problems.
The Range of a Steiner Operation
This paper answers a fundamental question in the theory of Steiner operations (StOps) as defined and studied in the monograph, "Global Methods for Combinatorial Isoperimetric Problems" (GMCIP). StOps are morphisms for combinatorial isoperimetric problems, analogous to Steiner symmetrization for continuous isoperimetric problems. The usefulness of a StOp, Phi, a function from the power set of V (a finite set) to the power set of V, depends on having an efficient representation of its range. In GMCIP the problem was treated case-by-case. In each case the StOp induced a partial order, P, on V so that Range(Phi)=I(P), the set of all order ideals of P. Here we show (directly from the axioms for a StOp) that every idempotent StOp admits such a representation of its range (P is then called the StOp-order of Phi). That result leads to another question: What additional structure does Range(Phi) have? The answer is none. We show that every finite poset is the StOp-order of some idempotent Steiner operation.
Polynomials and Second Order Linear Recurrences
One of the most interesting results of the last century was the proof completed by Matijasevich that computably enumerable sets are precisely the diophantine sets [MRDP Theorem, 9], thus settling, based on previously developed machinery, Hilbert's question whether there exists a general algorithm for checking the solvability in integers of any diophantine equation. In this paper we describe techniques to prove the nonexistence of polynomials in two variables for some simple generalizations of the Fibonacci sequence (explicit diophantine representation of Fibonacci numbers were known from Jones' polynomial whose positive values have the same range as that of Fibonacci numbers), and we believe similar techniques exist for the primes. In this paper we mainly show the following results: (1) using one of the many techniques known for solving the Pell's equation, namely the solution in an extended number system, we prove the existence and explicitly find the polynomials for the recurrences of the form $e(n)=ae(n-1)+e(n-2)$ with starting values of 0 and 1 in particular, and for any arbitrary starting values, in the process defining a concept of fundamental starting numbers, (2) we prove a few identities that seem to be quite interesting and useful, (3) we use these identities in a novel way to generate systems of equations of certain rank deficiency using which we disprove for the first time the existence of any polynomial in 2 variables for the generalized recurrence of the form $e(n)=ae(n-1)+be(n-2)$
Biased Graphs. VI. Synthetic Geometry
Published in European J. Combinatorics, 81 (2019), 119-141
• Search Publication
A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called balanced, such that no theta subgraph contains exactly two balanced circles. A biased graph $Ω$ has two natural matroids, the frame matroid $G(Ω)$, and the lift matroid $L(Ω)$, and their extensions the full frame matroid $G^{{}^{{}_{{}_\bullet}}\!}(Ω)$ and the extended (or complete) lift matroid $L_0(Ω)$. In Part IV we used algebra to study the representations of these matroids by vectors over a skew field and the corresponding embeddings in Desarguesian projective spaces. Here we redevelop those representations, independently of Part IV and in greater generality, by using synthetic geometry.
Graphs and spherical two-distance sets
Published in European Journal of Combinatorics, 80:1 (2019), 311-325
• View Publication
• BIB
Every graph G can be embedded in a Euclidean space as a two-distance set. The Euclidean representation number of G is the smallest dimension in which G is representable by such an embedding. We consider spherical and J-spherical representation numbers of G and give exact formulas for these numbers using multiplicities of polynomials that are defined by the Caley-Menger determinant. One of the main results of the paper are explicit formulas for the representation numbers of the join of graphs which are obtained from W. Kuperberg's type theorem for two-distance sets.
Maximum antichains in posets of quiver representations
Published
• View Publication
• BIB
We study maximum antichains in two posets related to quiver representations. Firstly, we consider the set of isomorphism classes of indecomposable representations ordered by inclusion. For various orientations of the Dynkin diagram of type A we construct a maximum antichain in the poset. Secondly, we consider the set of subrepresentations of a given quiver representation, again ordered by inclusion. It is a finite set if we restrict to linear representations over finite fields or to representations with values in the category of pointed sets. For particular situations we prove that this poset is Sperner.
On middle cube graphs
We study a family of graphs related to the $n$-cube. The middle cube graph of parameter $k$ is the subgraph of $Q_{2k-1}$ induced by the set of vertices whose binary representation has either $k-1$ or $k$ number of ones. The middle cube graphs can be obtained from the well-known odd graphs by doubling their vertex set. Here we study some of the properties of the middle cube graphs in the light of the theory of distance-regular graphs. In particular, we completely determine their spectra (eigenvalues and their multiplicities, and associated eigenvectors).
On $H$-Topological Intersection Graphs
Published
• View Publication
• BIB
Biró et al. (1992) introduced $H$-graphs, intersection graphs of connected subgraphs of a subdivision of a graph $H$. They are related to many classes of geometric intersection graphs, e.g., interval graphs, circular-arc graphs, split graphs, and chordal graphs.
We negatively answer the 25-year-old question of Biró et al. which asks if $H$-graphs can be recognized in polynomial time, for a fixed graph $H$. We prove that it is NP-complete if $H$ contains the diamond graph as a minor. We provide a polynomial-time algorithm recognizing $T$-graphs, for each fixed tree $T$. When $T$ is a star $S_d$ of degree $d$, we have an $O(n^{3.5})$-time algorithm.
We give FPT- and XP-time algorithms solving the minimum dominating set problem on $S_d$-graphs and $H$-graphs parametrized by $d$ and the size of $H$, respectively. The algorithm for $H$-graphs adapts to an XP-time algorithm for the independent set and the independent dominating set problems on $H$-graphs.
If $H$ contains the double-triangle as a minor, we prove that $H$-graphs are GI-complete and that the clique problem is APX-hard. The clique problem can be solved in polynomial time if $H$ is a cactus graph. When a graph $G$ has a Helly $H$-representation, the clique problem can be solved in polynomial time.
We show that both the $k$-clique and the list $k$-coloring problems are solvable in FPT-time on $H$-graphs (parameterized by $k$ and the treewidth of $H$). In fact, these results apply to classes of graphs with treewidth bounded by a function of the clique number.
We observe that $H$-graphs have at most $n^{O(\|H\|)}$ minimal separators which allows us to apply the meta-algorithmic framework of Fomin et al. (2015) to show that for each fixed $t$, finding a maximum induced subgraph of treewidth $t$ can be done in polynomial time. When $H$ is a cactus, we improve the bound to $O(\|H\|n^2)$.
Lattice points in algebraic cross-polytopes and simplices
Published in Discrete Comput. Geom. 60 (2018) 145-169
• View Publication
• BIB
The number of lattice points $\left| tP \cap \mathbb{Z}^d \right|$, as a function of the real variable $t>1$ is studied, where $P \subset \mathbb{R}^d$ belongs to a special class of algebraic cross-polytopes and simplices. It is shown that the number of lattice points can be approximated by an explicitly given polynomial of $t$ depending only on $P$. The error term is related to a simultaneous Diophantine approximation problem for algebraic numbers, as in Schmidt's theorem. The main ingredients of the proof are a Poisson summation formula for general algebraic polytopes, and a representation of the Fourier transform of the characteristic function of an arbitrary simplex in the form of a complex line integral.
A translation generalized quadrangle in characteristic $\ne 0$ is linear
Published
• View Publication
• BIB
It is a long-standing conjecture from the 1970s that every translation generalized quadrangle is linear, that is, has an endomorphism ring which is a division ring (or, in geometric terms, that has a projective representation). We show that any translation generalized quadrangle $Γ$ is ideally embedded in a translation quadrangle which is linear. This allows us to weakly represent any such $Γ$ in projective space, and moreover, to have a well-defined notion of "characteristic" for these objects. We then show that each translation quadrangle in positive characteristic indeed is linear.
Partition Identities and Quiver Representations
Published in J. Algebraic Combin. 47 (2018), no. 1, 129-169
• View Publication
• BIB
We present a particular connection between classical partition combinatorics and the theory of quiver representations. Specifically, we give a bijective proof of an analogue of A. L. Cauchy's Durfee square identity to multipartitions. We then use this result to give a new proof of M. Reineke's identity in the case of quivers $Q$ of Dynkin type $A$ of arbitrary orientation. Our identity is stated in terms of the lacing diagrams of S. Abeasis - A. Del Fra, which parameterize orbits of the representation space of $Q$ for a fixed dimension vector.
The colored symmetric and exterior algebras
Published in J. Algebra 496 (2018), 187-215
• Search Publication
We study colored generalizations of the symmetric algebra and its Koszul dual, the exterior algebra. The symmetric group $\mathfrak{S}_n$ acts on the multilinear components of these algebras. While $\mathfrak{S}_n$ acts trivially on the multilinear components of the colored symmetric algebra, we use poset topology techniques to understand the representation on its Koszul dual. We introduce an $\mathfrak{S}_n$-poset of weighted subsets that we call the weighted boolean algebra and we prove that the multilinear components of the colored exterior algebra are $\mathfrak{S}_n$-isomorphic to the top cohomology modules of its maximal intervals. We use a technique of Sundaram to compute group representations on Cohen-macaulay posets to give a generating formula for the Frobenius series of the colored exterior algebra. We exploit that formula to find an explicit expression for the expansion of the corresponding representations in terms of irreducible $\mathfrak{S}_n$-representations. We show that the two colored Koszul dual algebras are Koszul in the sense of Priddy.