representation ↗ reference
4143 papers tagged with this keyword
Field extensions, Derivations, and Matroids over Skew Hyperfields
We show that a field extension $K\subseteq L$ in positive characteristic $p$ and elements $x_e\in L$ for $e\in E$ gives rise to a matroid $M^σ$ on ground set $E$ with coefficients in a certain skew hyperfield $L^σ$. This skew hyperfield $L^σ$ is defined in terms of $L$ and its Frobenius action $σ:x\mapsto x^p$. The matroid underlying $M^σ$ describes the algebraic dependencies over $K$ among the $x_e\in L$ , and $M^σ$ itself comprises, for each $m\in \mathbb{Z}^E$, the space of $K$-derivations of $K\left(x_e^{p^{m_e}}: e\in E\right)$.
The theory of matroid representation over hyperfields was developed by Baker and Bowler for commutative hyperfields. We partially extend their theory to skew hyperfields. To prove the duality theorems we need, we use a new axiom scheme in terms of quasi-Plücker coordinates.
On the width of transitive sets: bounds on matrix coefficients of finite groups
Published in Duke Math. J. 169, no. 3 (2020), 551-578
• View Publication
• BIB
We say that a finite subset of the unit sphere in $\mathbf{R}^d$ is transitive if there is a group of isometries which acts transitively on it. We show that the width of any transitive set is bounded above by a constant times $(\log d)^{-1/2}$.
This is a consequence of the following result: If $G$ is a finite group and $ρ: G \rightarrow \mbox{U}_d(\mathbf{C})$ a unitary representation, and if $v \in \mathbf{C}^d$ is a unit vector, there is another unit vector $w \in \mathbf{C}^d$ such that \[ \sup_{g \in G} |\langle ρ(g) v, w \rangle| \leq (1 + c \log d)^{-1/2}.\]
These results answer a question of Yufei Zhao. An immediate consequence of our result is that the diameter of any quotient $S(\mathbf{R}^d)/G$ of the unit sphere by a finite group $G$ of isometries is at least $π/2 - o_{d \rightarrow \infty}(1)$.
Counting and Sampling from Markov Equivalent DAGs Using Clique Trees
Published
• View Publication
• BIB
A directed acyclic graph (DAG) is the most common graphical model for representing causal relationships among a set of variables. When restricted to using only observational data, the structure of the ground truth DAG is identifiable only up to Markov equivalence, based on conditional independence relations among the variables. Therefore, the number of DAGs equivalent to the ground truth DAG is an indicator of the causal complexity of the underlying structure--roughly speaking, it shows how many interventions or how much additional information is further needed to recover the underlying DAG. In this paper, we propose a new technique for counting the number of DAGs in a Markov equivalence class. Our approach is based on the clique tree representation of chordal graphs. We show that in the case of bounded degree graphs, the proposed algorithm is polynomial time. We further demonstrate that this technique can be utilized for uniform sampling from a Markov equivalence class, which provides a stochastic way to enumerate DAGs in the equivalence class and may be needed for finding the best DAG or for causal inference given the equivalence class as input. We also extend our counting and sampling method to the case where prior knowledge about the underlying DAG is available, and present applications of this extension in causal experiment design and estimating the causal effect of joint interventions.
Incidence structures near configurations of type $(n_3)$
Published
• View Publication
• BIB
An $(n_3)$ configuration is an incidence structure equivalent to a linear hypergraph on $n$ vertices which is both 3-regular and 3-uniform. We investigate a variant in which one constraint, say 3-regularity, is present, and we allow exactly one line to have size four, exactly one line to have size two, and all other lines to have size three. In particular, we study planar (Euclidean or projective) representations, settling the existence question and adapting Steinitz' theorem for this setting.
On the computability of graphons
We investigate the relative computability of exchangeable binary relational data when presented in terms of the distribution of an invariant measure on graphs, or as a graphon in either $L^1$ or the cut distance. We establish basic computable equivalences, and show that $L^1$ representations contain fundamentally more computable information than the other representations, but that $0'$ suffices to move between computable such representations. We show that $0'$ is necessary in general, but that in the case of random-free graphons, no oracle is necessary. We also provide an example of an $L^1$-computable random-free graphon that is not weakly isomorphic to any graphon with an a.e. continuous version.
Standard modules, radicals, and the valenced Temperley-Lieb algebra
This article concerns a generalization of the Temperley-Lieb algebra, important in applications to conformal field theory. We call this algebra the valenced Temperley-Lieb algebra. We prove salient facts concerning this algebra and its representation theory, which are both of independent interest and used in our subsequent work, where we uniquely and explicitly characterize the monodromy invariant correlation functions of certain conformal field theories.
Polynomial factorization statistics and point configurations in $\mathbb{R}^3$
Published
• View Publication
• BIB
We use generating functions to relate the expected values of polynomial factorization statistics over $\mathbb{F}_q$ to the cohomology of ordered configurations in $\mathbb{R}^3$ as a representation of the symmetric group. Our methods lead to a new proof of the twisted Grothendieck-Lefschetz formula for squarefree polynomial factorization statistics of Church, Ellenberg, and Farb.
Lovasz-Saks-Schrijver ideals and coordinate sections of determinantal varieties
Published in Alg. Number Th. 13 (2019) 455-484
• View Publication
• BIB
Motivated by questions in algebra and combinatorics we study two ideals associated to a simple graph G:
--> the Lovasz-Saks-Schrijver ideal defining the d-dimensional orthogonal representations of the graph complementary to G and
--> the determinantal ideal of the (d+1)-minors of a generic symmetric with 0s in positions prescribed by the graph G.
In characteristic 0 these two ideals turns out to be closely related and algebraic properties such as being radical, prime or a complete intersection transfer from the Lovasz-Saks-Schrijver ideal to the determinantal ideal. For Lovasz-Saks-Schrijver ideals we link these properties to combinatorial properties of G and show that they always hold for d large enough. For specific classes of graph, such a forests, we can give a complete picture and classify the radical, prime and complete intersection Lovasz-Saks-Schrijver ideals.
Waring's Theorem for Binary Powers
Published
• View Publication
• BIB
A natural number is a binary $k$'th power if its binary representation consists of $k$ consecutive identical blocks. We prove an analogue of Waring's theorem for sums of binary $k$'th powers. More precisely, we show that for each integer $k \geq 2$, there exists a positive integer $W(k)$ such that every sufficiently large multiple of $E_k := \gcd(2^k - 1, k)$ is the sum of at most $W(k)$ binary $k$'th powers. (The hypothesis of being a multiple of $E_k$ cannot be omitted, since we show that the $\gcd$ of the binary $k$'th powers is $E_k$.) Also, we explain how our results can be extended to arbitrary integer bases $b > 2$.
A Sundaram type bijection for SO(3): vacillating tableaux and pairs of standard Young tableaux and orthogonal Littlewood-Richardson tableaux
Based on the direct-sum-decomposition of the rth tensor power of the defining representation of the special orthogonal group SO(2k+1) one is interested in a bijective approach for determining the Frobenius characters of the isotypic components. In particular this leads us to a bijection between vacillating tableaux and pairs of standard Young tableaux and orthogonal Littlewood-Richardson tableaux, which we present for SO(3). Moreover we introduce the descent set of a vacillating tableau. As our bijection preserves this descent set, we also obtain the quasi-symmetric expansion of the Frobenius characters.
Convergence of Pascal-Like Triangles in Parry-Bertrand Numeration Systems
Published
• View Publication
• BIB
We pursue the investigation of generalizations of the Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a finite word appears as a subsequence of another finite word. The finite words occurring in this paper belong to the language of a Parry numeration system satisfying the Bertrand property, i.e., we can add or remove trailing zeroes to valid representations. It is a folklore fact that the Sierpiński gasket is the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from the classical Pascal triangle modulo $2$. In a similar way, we describe and study the subset of $[0, 1] \times [0, 1]$ associated with the latter generalization of the Pascal triangle modulo a prime number.
Oddities of quantum colorings
Published in Baltic Journal on Modern Computing, 4(4), 846--859, 2016
• Search Publication
We study quantum analogs of graph colorings and chromatic number. Initially defined via an interactive protocol, quantum colorings can also be viewed as a natural operator relaxation of graph coloring. Since there is no known algorithm for producing nontrivial quantum colorings, the existing examples rely on ad hoc constructions. Almost all of the known constructions of quantum $d$-colorings start from $d$-dimensional orthogonal representations. We show the limitations of this method by exhibiting, for the first time, a graph with a 3-dimensional orthogonal representation which cannot be quantum 3-colored, and a graph that can be quantum 3-colored but has no 3-dimensional orthogonal representation. Together these examples show that the quantum chromatic number and orthogonal rank are not directly comparable as graph parameters. The former graph also provides an example of several interesting, and previously unknown, properties of quantum colorings. The most striking of these is that adding a new vertex adjacent to all other vertices does not necessarily increase the quantum chromatic number of a graph. This is in stark contrast to the chromatic number and many of its variants. This graph also provides the smallest known example (14 vertices) exhibiting a separation between chromatic number and its quantum analog.
A tractable class of binary VCSPs via M-convex intersection
Published in ACM Transactions on Algorithms 15(3) Article no. 44 (2019)
• View Publication
• BIB
A binary VCSP is a general framework for the minimization problem of a function represented as the sum of unary and binary cost functions. An important line of VCSP research is to investigate what functions can be solved in polynomial time. Cooper and Živný classified the tractability of binary VCSP instances according to the concept of "triangle," and showed that the only interesting tractable case is the one induced by the joint winner property (JWP). Recently, Iwamasa, Murota, and Živný made a link between VCSP and discrete convex analysis, showing that a function satisfying the JWP can be transformed into a function represented as the sum of two quadratic M-convex functions, which can be minimized in polynomial time via an M-convex intersection algorithm if the value oracle of each M-convex function is given. In this paper, we give an algorithmic answer to a natural question: What binary finite-valued CSP instances can be represented as the sum of two quadratic M-convex functions and can be solved in polynomial time via an M-convex intersection algorithm? We solve this problem by devising a polynomial-time algorithm for obtaining a concrete form of the representation in the representable case. Our result presents a larger tractable class of binary finite-valued CSPs, which properly contains the JWP class.
Computation of Maximal Determinants of Binary Circulant Matrices
Published in Journal of Integer Sequences 21 (2018), article 18.5.6, 19 pp
• Search Publication
We describe algorithms for computing maximal determinants of binary circulant matrices of small orders. Here "binary matrix" means a matrix whose elements are drawn from $\{0,1\}$ or $\{-1,1\}$. We describe efficient parallel algorithms for the search, using Duval's algorithm for generation of necklaces and the well-known representation of the determinant of a circulant in terms of roots of unity. Tables of maximal determinants are given for orders $\le 53$. Our computations extend earlier results and disprove two plausible conjectures.
Hitting Time Quasi-metric and Its Forest Representation
Published in Optimization Letters (2018). https://doi.org/10.1007/s11590-018-1314-2
• View Publication
• BIB
Let $\hat m_{ij}$ be the hitting (mean first passage) time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $Γ$ be the weighted digraph whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. It holds that $$ \hat m_{ij}= q_j^{-1}\cdot \begin{cases} f_{ij},&\text{if }\;\; i\ne j,\\ q, &\text{if }\;\; i=j, \end{cases} $$ where $f_{ij}$ is the total weight of 2-tree spanning converging forests in $Γ$ that have one tree containing $i$ and the other tree converging to $j$, $q_j$ is the total weight of spanning trees converging to $j$ in $Γ,$ and $q=\sum_{j=1}^nq_j$ is the total weight of all spanning trees in $Γ.$ Moreover, $f_{ij}$ and $q_j$ can be calculated by an algebraic recurrent procedure. A forest expression for Kemeny's constant is an immediate consequence of this result. Further, we discuss the properties of the hitting time quasi-metric $m$ on the set of vertices of $Γ$: $m(i,j)=\hat m_{ij}$, $i\neq j$, and $m(i,i)=0$. We also consider a number of other metric structures on the set of graph vertices related to the hitting time quasi-metric $m$---along with various connections between them. The notions and relationships under study are illustrated by two examples.
Hereditary Semiorders and Enumeration of Semiorders by Dimension
Published in The Electronic Journal of Combinatorics 27(1) (2020), #P1.50
• View Publication
• BIB
In 2010, Bousquet-Mélou et al. defined sequences of nonnegative integers called ascent sequences and showed that the ascent sequences of length $n$ are in one-to-one correspondence with the interval orders, i.e., the posets not containing the poset $\mathbf{2}+\mathbf{2}$. Through the use of generating functions, this provided an answer to the longstanding open question of enumerating the (unlabeled) interval orders. A semiorder is an interval order having a representation in which all intervals have the same length. In terms of forbidden subposets, the semiorders exclude $\mathbf{2}+\mathbf{2}$ and $\mathbf{1}+\mathbf{3}$. The number of unlabeled semiorders on $n$ points has long been known to be the $n$-th Catalan number. However, describing the ascent sequences that correspond to the semiorders under the bijection of Bousquet-Mélou et al. has proved difficult. In this paper, we discuss a major part of the difficulty in this area: the ascent sequence corresponding to a semiorder may have an initial subsequence that corresponds to an interval order that is not a semiorder.
We define the hereditary semiorders to be those corresponding to an ascent sequence for which every initial subsequence also corresponds to a semiorder. We provide a structural result that characterizes the hereditary semiorders and use this characterization to determine the ordinary generating function for hereditary semiorders. We also use our characterization of hereditary semiorders and the characterization of semiorders of dimension 3 given by Rabinovitch to provide a structural description of the semiorders of dimension at most 2. From this description, we are able to determine the ordinary generating for the semiorders of dimension at most 2.
Coefficients of Gaussian Polynomials Modulo $N$
Published
• View Publication
• BIB
The $q$-analogue of the binomial coefficient, known as a $q$-binomial coefficient, is typically denoted $\left[{n \atop k}\right]_q$. These polynomials are important combinatorial objects, often appearing in generating functions related to permutations and in representation theory. Stanley conjectured that the function $f_{k,R}(n) = \#\left\{i : [q^{i}] \left[{n \atop k}\right]_q \equiv R \pmod{N}\right\}$ is quasipolynomial for $N=2$. We generalize, showing that this is in fact true for any integer $N\in \mathbb{N}$ and determine a quasi-period $π'_N(k)$ derived from the minimal period $π_N(k)$ of partitions with at most $k$ parts modulo $N$.
Rowmotion in slow motion
Published
• View Publication
• BIB
Rowmotion is a simple cyclic action on the distributive lattice of order ideals of a poset: it sends the order ideal x to the order ideal generated by the minimal elements not in x. It can also be computed in "slow motion" as a sequence of local moves. We use the setting of trim lattices to generalize both definitions of rowmotion, proving many structural results along the way. We introduce a flag simplicial complex (similar to the canonical join complex of a semidistributive lattice), and relate our results to recent work of Barnard by proving that extremal semidistributive lattices are trim. As a corollary, we prove that if A is a representation finite algebra and mod A has no cycles, then the torsion classes of A ordered by inclusion form a trim lattice.
Topological Representation of the Transit Sets of k-Point Crossover Operators
Published
• View Publication
• BIB
$k$-point crossover operators and their recombination sets are studied from different perspectives. We show that transit functions of $k$-point crossover generate, for all $k>1$, the same convexity as the interval function of the underlying graph. This settles in the negative an open problem by Mulder about whether the geodesic convexity of a connected graph $G$ is uniquely determined by its interval function $I$. The conjecture of Gitchoff and Wagner that for each transit set $R_k(x,y)$ distinct from a hypercube there is a unique pair of parents from which it is generated is settled affirmatively. Along the way we characterize transit functions whose underlying graphs are Hamming graphs, and those with underlying partial cube graphs. For general values of $k$ it is shown that the transit sets of $k$-point crossover operators are the subsets with maximal Vapnik-Chervonenkis dimension. Moreover, the transit sets of $k$-point crossover on binary strings form topes of uniform oriented matroid of VC-dimension $k+1$. The Topological Representation Theorem for oriented matroids therefore implies that $k$-point crossover operators can be represented by pseudosphere arrangements. This provides the tools necessary to study the special case $k=2$ in detail.
Bricks over preprojective algebras and join-irreducible elements in Coxeter groups
Published
• View Publication
• BIB
A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \in W$, we describe the corresponding brick $S(w)$ in terms of "Young diagram-like" notation. Next, we determine the canonical join representation $w=\bigvee_{i=1}^m w_i$ of an arbitrary element $w \in W$ based on Reading's work, and prove that $\bigoplus_{i=1}^n S(w_i)$ is the semibrick corresponding to $w$.