representation ↗ reference
4053 papers tagged with this keyword
On cubic graphical regular representations of finite simple groups
Published
• View Publication
• BIB
A recent conjecture of the author and Teng Fang states that there are only finitely many finite simple groups with no cubic graphical regular representation. In this paper, we make a crucial progress towards this conjecture by giving an affirmative answer for groups of Lie type of large rank.
Representation Complexity of Semi-algebraic Graphs
Published
• View Publication
• BIB
The representation complexity of a bipartite graph $G=(P,Q)$ is the minimum size $\sum_{i=1}^s (|A_i|+|B_i|)$ over all possible ways to write $G$ as a (not necessarily disjoint) union of complete bipartite subgraphs $G=\cup_{i=1}^s A_i\times B_i$ where $A_i\subset P, B_i\subset Q$ for $i=1,\dots, s$. In this paper we prove that if $G$ is \emph{semi-algebraic}, i.e. when $P$ is a set of $m$ points in $\mathbb{R}^{d_1}$, $Q$ is a set of $n$ points in $\mathbb{R}^{d_2}$ and the edges are defined by some semi-algebraic relations, the representation complexity of $G$ is $O( m^{\frac{d_1d_2-d_2}{d_1d_2-1}+\varepsilon} n^{\frac{d_1d_2-d_1}{d_1d_2-1}+\varepsilon}+m^{1+\varepsilon}+n^{1+\varepsilon})$ for arbitrarily small positive $\varepsilon$. This generalizes results by Apfelbaum-Sharir and Solomon-Sharir. As a consequence, when $G$ is $K_{u,u}$-free for some positive integer $u$, its number of edges is $O(u m^{\frac{d_1d_2-d_2}{d_1d_2-1}+\varepsilon} n^{\frac{d_1d_2-d_1}{d_1d_2-1}+\varepsilon}+ u m^{1+\varepsilon}+u n^{1+\varepsilon})$. This bound is stronger than that of Fox, Pach, Sheffer, Suk and Zahl when the first term dominates and $u$ grows with $m,n$. Another consequence is that we can find a large complete bipartite subgraph in a semi-algebraic graph when the number of edges is large. Similar results hold for semi-algebraic hypergraphs.
On Andrews--Warnaar's identities of partial theta functions
Published
• View Publication
• BIB
In this paper we set up a bivariate representation of partial theta functions which not only unifies some famous identities for partial theta functions due to Andrews and Warnaar, et al. but also unveils a new characteristic of such identities. As further applications, we establish a general form of Warnaar's identity and a general $q$--series transformation associated with Bailey pairs via the use of the power series expansion of partial theta functions.
The cohomology of abelian Hessenberg varieties and the Stanley-Stembridge conjecture
Published
• View Publication
• BIB
We define a subclass of Hessenberg varieties called abelian Hessenberg varieties, inspired by the theory of abelian ideals in a Lie algebra developed by Kostant and Peterson. We give an inductive formula for the $S_n$-representation on the cohomology of an abelian regular semisimple Hessenberg variety with respect to the action defined by Tymoczko. Our result implies that a graded version of the Stanley-Stembridge conjecture holds in the abelian case, and generalizes results obtained by Shareshian-Wachs and Teff. Our proof uses previous work of Stanley, Gasharov, Shareshian-Wachs, and Brosnan-Chow, as well as results of the second author on the geometry and combinatorics of Hessenberg varieties. As part of our arguments, we obtain inductive formulas for the Poincaré polynomials of regular abelian Hessenberg varieties.
New Examples of Dimension Zero Categories
Published in J. Algebra, 505 (2018), 271-278
• View Publication
• BIB
We say that a category $\mathscr{D}$ is dimension zero over a field $F$ provided that every finitely generated representation of $\mathscr{D}$ over $F$ is finite length. We show that $\textrm{Rel}(R)$, a category that arises naturally from a finite idempotent semiring $R$, is dimension zero over any infinite field. One special case of this result is that $\textrm{Rel}$, the category of finite sets with relations, is dimension zero over any infinite field.
A bijection between phylogenetic trees and plane oriented recursive trees
Phylogenetic trees are binary nonplanar trees with labelled leaves, and plane oriented recursive trees are planar trees with an increasing labelling. Both families are enumerated by double factorials. A bijection is constructed, using the respective representations a 2-partitions and trapezoidal words.
Boundary optimization for rough sets
Published in Discrete Math. 341 (2018) 2465--2477
• View Publication
• BIB
Let $n > m\ge 2$ be integers and let $\mathcal{A}=\{A_1,\dots,A_m\}$ be a partition of $[n]=\{1,\dots,n\}$. For $X \subseteq [n]$, its $\mathcal{A}$-boundary region $\mathcal{A}(X)$ is defined to be the union of those blocks $A_i$ of $\mathcal{A}$ for which $A_i\cap X\neq \emptyset$ and $A_i\cap ([n] \setminus X)\neq \emptyset$. For three different probability distributions on the power set of $[n]$, partitions $\mathcal{A}$ of $[n]$ are determined such that the expected cardinality of the $\mathcal{A}$-boundary region of a randomly chosen subset of $[n]$ is minimal and maximal, respectively. The problem can be reduced to an optimization problem for integer partitions of $n$. In the most difficult case, the concave-convex shape of the corresponding weight function as well as several other inequalities are proved using an integral representation of the weight function. In one case, there is an interesting analogon to the AZ-identity. The study is motivated by the rough set theory.
p-Divisibility of the number of linear representations of an Abelian p-group
Published
• View Publication
• BIB
We establish lower bounds for the $p$-divisibility of the quantity $\#\operatorname{Hom}(G,GL_n(\mathbb{F}_q))$, the number of homomorphisms from $G$ to a general linear group, where $G$ is an Abelian $p$-group. This is in analogy to the result of Krattenthaler and Müller \cite{MR3383810} on homomorphisms to symmetric groups.
Lower Bounds for Approximating Graph Parameters via Communication Complexity
In a celebrated work, Blais, Brody, and Matulef developed a technique for proving property testing lower bounds via reductions from communication complexity. Their work focused on testing properties of functions, and yielded new lower bounds as well as simplified analyses of known lower bounds. Here, we take a further step in generalizing the methodology of Blais et al. to analyze the query complexity of graph parameter estimation problems. In particular, our technique decouples the lower bound arguments from the representation of the graph, allowing it to work with any query type.
We illustrate our technique by providing new simpler proofs of previously known tight lower bounds for the query complexity of several graph problems: estimating the number of edges in a graph, sampling edges from an almost-uniform distribution, estimating the number of triangles (and more generally, $r$-cliques) in a graph, and estimating the moments of the degree distribution of a graph. We also prove new lower bounds for estimating the edge connectivity of a graph and estimating the number of instances of any fixed subgraph in a graph. We show that the lower bounds for estimating the number of triangles and edge connectivity also hold in a strictly stronger computational model that allows access to uniformly random edge samples.
Generalized Permutohedra, Scattering Amplitudes, and a Cubic Three-Fold
In this note, we apply combinatorial techniques from our Ph.D. thesis to study how generalized permutohedra may be represented functionally on Parke-Tayor factors and related rational functions. In any functional representation of polyhedral cones, in general certain homological information may be lost. The combinatorial relations of the Parke-Taylor factors lift homologically to generalized permutohedra.
The 6-particle case contains several related layers of interesting geometric data: the Newton polytope for the polynomial numerator lifts the permutohedron in three variables, which is a hexagon, and the fraction itself provides a functional representation of certain neighborhoods of a vertex of a 5-dimensional weight permutohedron. The lift from fraction to generalized permutohedron was derived by comparing functional representations. We observe additionally that the numerator and its permutations satisfy a degree 3 polynomial relation which defines a classical projective variety known as the Segre cubic.
We include in an extended Appendix selected Mathematica code which can be used to verify our computations independently.
A Combinatorial Grassmannian Representation of the Magic Three-Qubit Veldkamp Line
Published in Entropy 19/10 (2017) Art. No. 556
• View Publication
• BIB
It is demonstrated that the magic three-qubit Veldkamp line occurs naturally within the Veldkamp space of combinatorial Grassmannian of type $G_2(7)$, $\mathcal{V}(G_2(7))$. The lines of the ambient symplectic polar space are those lines of $\mathcal{V}(G_2(7))$ whose cores feature an odd number of points of $G_2(7)$. After introducing basic properties of three different types of points and six distinct types of lines of $\mathcal{V}(G_2(7))$, we explicitly show the combinatorial Grassmannian composition of the magic Veldkamp line; we first give representatives of points and lines of its core generalized quadrangle GQ$(2,2)$, and then additional points and lines of a specific elliptic quadric $\mathcal{Q}^{-}$(5,2), a hyperbolic quadric $\mathcal{Q}^{+}$(5,2) and a quadratic cone $\widehat{\mathcal{Q}}$(4,2) that are centered on the GQ$(2,2)$. In particular, each point of $\mathcal{Q}^{+}$(5,2) is represented by a Pasch configuration and its complementary line, the (Schläfli) double-six of points in $\mathcal{Q}^{-}$(5,2) comprise six Cayley-Salmon configurations and six Desargues configurations with their complementary points, and the remaining Cayley-Salmon configuration stands for the vertex of $\widehat{\mathcal{Q}}$(4,2).
Enumerating traceless matrices over compact discrete valuation rings
Published
• View Publication
• BIB
We enumerate traceless square matrices over finite quotients of compact discrete valuation rings by their image sizes. We express the associated rational generating functions in terms of statistics on symmetric and hyperoctahedral groups, viz. Coxeter groups of types A and B, respectively. These rational functions may also be interpreted as local representation zeta functions associated to the members of an infinite family of finitely generated class-2-nilpotent groups. As a byproduct of our work, we obtain descriptions of the numbers of traceless square matrices over a finite field of fixed rank in terms of statistics on the hyperoctahedral groups.
Cosmological Polytopes and the Wavefunction of the Universe
We present a connection between the physics of cosmological time evolution and the mathematics of positive geometries, roughly analogous to similar connections seen in the context of scattering amplitudes. We consider the wavefunction of the universe in a class of toy models of conformally coupled scalars (with non-conformal interactions) in FRW cosmologies. The contribution of each Feynman diagram to the wavefunction of the universe is associated with a certain universal rational integrand, which we identify as the canonical form of a "cosmological polytope", which have an independent, intrinsic definition, making no reference to physics. The singularity structure of the wavefunction for this model of scalars is common to all theories, and is geometrized by the cosmological polytope. Natural triangulations of the polytope reproduce the path-integral and "old-fashioned perturbation theory" representations of the wavefunction, and we also find new representations of the wavefunction with no extant physical interpretation. We show in suitable examples how symmetries of the cosmological polytope descend to symmetries of the wavefunction, (such as conformal invariance). In cases such as $φ^3$ theory in $dS_4$, the final wavefunction obtained from integration of the rational functions gives rise to polylogarithms associated with every graph. We give an explicit expression for the symbol of these polylogs, which record the geometry of sequential projections of the cosmological polytope.
A Simple Proof Characterizing Interval Orders with Interval Lengths between 1 and $k$
Published in Involve 11 (2018) 893-900
• View Publication
• BIB
A poset $P= (X, \prec)$ has an interval representation if each $x \in X$ can be assigned a real interval $I_x$ so that $x \prec y$ in $P$ if and only if $I_x$ lies completely to the left of $I_y$. Such orders are called \emph{interval orders}. Fishburn proved that for any positive integer $k$, an interval order has a representation in which all interval lengths are between $1$ and $k$ if and only if the order does not contain $\mathbf{(k+2)+1}$ as an induced poset. In this paper, we give a simple proof of this result using a digraph model.
Few Sequence Pairs Suffice: Representing All Rectangle Placements
Published
• View Publication
• BIB
We consider representations of general non-overlapping placements of rectangles by spatial relations (west, south, east, north) of pairs of rectangles. We call a set of representations complete if it contains a representation of every placement of $n$ rectangles.
We prove a new upper bound of $\mathcal{O}(\frac{n!}{n^6} \cdot (\frac{11+5 \sqrt 5}{2})^n)$ and a new lower bound of $Ω(\frac{n!}{n^4} \cdot (4 + 2 \sqrt2)^n)$ on the minimum cardinality of complete sets of representations. A key concept in the proofs of these results are pattern-avoiding permutations.
The new upper bound directly improves upon the well-known sequence pair representation, which has size $(n!)^2$, by only considering a restricted set of sequence pairs. It implies theoretically faster algorithms for VLSI placement problems.
Complete graphs: the space of simplicial cones, and their path tree representation
Let $G$ be a complete graph with $n+1$ vertices. In a recent paper of the authors, it is shown that the path trees of the graph play a special role in the structure of the truncated powers and partition functions that are associated with the graph. Motivated by the above, we take here a closer look at the geometry of the simplicial cones associated with the graph, and the role played by those simplicial cones that are generated by path trees. It is shown that the latter form a basis for the linear space spanned by the former, and that the representation of a general simplicial cone by path tree cones can be deduced by examining partial orders induced by rooted trees. While the problem itself is geometrical and its solution is combinatorial, the proofs rest with multivariate spline theory.
Propriétés de maximalité concernant une représentation définie par Lusztig
Published
• View Publication
• BIB
Let $λ$ be a symplectic partition, denote Jord^{bp}($λ$) the set of even positive integers i which appear in $λ$, and let a map $ε:Jord^{bp}(λ) \to {\pm 1}$. The generalized Springer's correspondence associates to $(λ,ε)$ an irreducible representation $ρ(λ,ε)$ of some Weyl group. We can also define a representation $\underlineρ(λ,ε)$ of the same Weyl group, in general reducible. Roughly speaking, $ρ(λ,ε)$ is the representation of the Weyl group in the top cohomology group of some variety and $\underlineρ$ is the representation in the sum of all the cohomology groups of the same variety. The representation $\underlineρ$ decomposes as a direct sum of $ρ(λ',ε')$ with some multiplicities, where $(λ',ε')$ describes the pairs similar to $(λ,ε)$. It is well know that $(λ,ε)$ appears in this decomposition with multiplicity one and is minimal in this decomposition. That is, if $(λ',ε')$ appears, we have $λ'>λ$ or $(λ',ε')=(λ,ε)$. Assuming that $λ$ has only even parts, we prove that there exists also a maximal pair $(λ^{max},ε^{max})$. That is $4(λ^{max},ε^{max})$ appears with positive multiplicity (in fact one) and, if $(λ',ε')$ appears, we have $λ^{max}>λ'$ or $(λ',ε')=(λ^{max},ε^{max})$.
Continuous tensor categories from quantum groups I: algebraic aspects
We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_λ$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our results generalize those of Ponsot and Teschner in the rank 1 case of $U_q(\mathfrak{sl}_2)$. In higher rank, many nontrivial features appear, the most important of these being a surprising connection to the quantum integrability of the open Coxeter-Toda lattice. We show that the closure under tensor products follows from the orthogonality and completeness of the Toda eigenfunctions (i.e. the q-Whittaker functions), and obtain an explicit construction of the Clebsch-Gordan intertwiner giving the decomposition of $\mathcal{P}_λ\otimes \mathcal{P}_μ$ into irreducibles.
Exploring the tiers of rooted phylogenetic network space using tail moves
Published
• View Publication
• BIB
Popular methods for exploring the space of rooted phylogenetic trees use rearrangement moves such as rNNI (rooted Nearest Neighbour Interchange) and rSPR (rooted Subtree Prune and Regraft). Recently, these moves were generalized to rooted phylogenetic networks, which are a more suitable representation of reticulate evolutionary histories, and it was shown that any two rooted phylogenetic networks of the same complexity are connected by a sequence of either rSPR or rNNI moves. Here, we show that this is possible using only tail moves, which are a restricted version of rSPR moves on networks that are more closely related to rSPR moves on trees. The connectedness still holds even when we restrict to distance-1 tail moves (a localized version of tail-moves). Moreover, we give bounds on the number of (distance-1) tail moves necessary to turn one network into another, which in turn yield new bounds for rSPR, rNNI and SPR (i.e. the equivalent of rSPR on unrooted networks). The upper bounds are constructive, meaning that we can actually find a sequence with at most this length for any pair of networks. Finally, we show that finding a shortest sequence of tail or rSPR moves is NP-hard.
Orthogonal representations of Steiner triple system incidence graphs
Published
• View Publication
• BIB
The Heawood graph is the point-block incidence graph of the Fano plane (the unique Steiner triple system of order 7). We show that the minimum semidefinite rank of this graph is 10. That is, 10 is the smallest number of complex dimensions in which this graph has a faithful orthogonal representation, i.e., an assignment of a vector to each vertex such that the edges occur between precisely those vertices given non-orthogonal pairs. Some of our techniques extend to the incidence graphs of Steiner triple systems of larger order, and we include some observations and questions about the more general case.