representation ↗ reference
4053 papers tagged with this keyword
Spectrally Simple Zeros of Zeon Polynomials
Published in Adv. Appl. Clifford Algebras 31, 66 (2021)
• View Publication
• BIB
Combinatorial properties of zeons have been applied to graph enumeration problems, graph colorings, routing problems in communication networks, partition-dependent stochastic integrals, and Boolean satisfiability. Power series of elementary zeon functions are naturally reduced to finite sums by virtue of the nilpotent properties of zeons. Further, the zeon extension of any analytic complex function has zeon polynomial representations on associated equivalence classes of zeons.
In this paper, zeros of polynomials over complex zeons are considered. Existing results for real zeon polynomials are extended to the complex case and new results are established. In particular, a fundamental theorem of zeon algebra is established for spectrally simple zeros of complex zeon polynomials, and an algorithm is presented that allows one to find spectrally simple zeros when they exist. As an application, inverses of zeon extensions of analytic functions are computed using polynomial methods.
Axis-Aligned Square Contact Representations
We introduce a new class $\mathcal{G}$ of bipartite plane graphs and prove that each graph in $\mathcal{G}$ admits a proper square contact representation. A contact between two squares is \emph{proper} if they intersect in a line segment of positive length. The class $\mathcal{G}$ is the family of quadrangulations obtained from the 4-cycle $C_4$ by successively inserting a single vertex or a 4-cycle of vertices into a face.
For every graph $G\in \mathcal{G}$, we construct a proper square contact representation. The key parameter of the recursive construction is the aspect ratio of the rectangle bounded by the four outer squares. We show that this aspect ratio may continuously vary in an interval $I_G$. The interval $I_G$ cannot be replaced by a fixed aspect ratio, however, as we show, the feasible interval $I_G$ may be an arbitrarily small neighborhood of any positive real.
Binary Signed-Digit Integers, the Stern Diatomic Sequence and Stern Polynomials
Stern's diatomic sequence is a well-studied and simply defined sequence with many fascinating characteristics. The binary signed-digit (BSD) representation of integers is used widely in efficient computation, coding theory and other applications. We link these two objects, showing that the number of $i$-bit binary signed-digit representations of an integer $n<2^i$ is the $(2^i-n)^\text{th}$ element in Stern's diatomic sequence.
This correspondence makes the vast range of results known about the Stern diatomic sequence available for consideration in the study of binary signed-digit integers, and vice versa. Applications of this relationship discussed in this paper include a weight-distribution theorem for BSD representations, linking these representations to Stern polynomials, a recursion for the number of optimal BSD representations of an integer along with their Hamming weight, stemming from an easy recursion for the leading coefficients and degrees of Stern polynomials, and the identification of all integers having a maximal number of such representations.
Unipotent quantum coordinate ring and prefundamental representations for types $A_n^{(1)}$ and $D_n^{(1)}$
Published in International Mathematics Research Notices, 2, (2023), 1119-1172
• View Publication
• BIB
We give a new realization of the prefundamental representations $L^\pm_{r,a}$ introduced by Hernandez and Jimbo, when the quantum loop algebra $U_q(\mathfrak{g})$ is of types $A_n^{(1)}$ and $D_n^{(1)}$, and the $r$-th fundamental weight $\varpi_r$ for types $A_n$ and $D_n$ is minuscule. We define an action of the Borel subalgebra $U_q(\mathfrak{b})$ of $U_q(\mathfrak{g})$ on the unipotent quantum coordinate ring associated to the translation by $-\varpi_r$, and show that it is isomorphic to $L^\pm_{r,a}$. We then give a combinatorial realization of $L^+_{r,a}$ in terms of the Lusztig data of the dual PBW vectors.
Graphs with constant adjacency dimension
Published
• View Publication
• BIB
For a set W of vertices and a vertex v in a graph G, the k-vector r2(v|W) = (aG(v,w1),...,aG(v,wk)) is the adjacency representation of v with respect to W, where W = {w1,...,wk} and aG(x,y) is the minimum of 2 and the distance between the vertices x and y. The set W is an adjacency resolving set for G if distinct vertices of G have distinct adjacency representations with respect to W. The minimum cardinality of an adjacency resolving set for G is its adjacency dimension. It is clear that the adjacency dimension of an n-vertex graph G is between 1 and n-1. The graphs with adjacency dimension 1 and n-1 are known. All graphs with adjacency dimension 2, and all n-vertex graphs with adjacency dimension n-2 are studied in this paper. In terms of the diameter and order of G, a sharp upper bound is found for adjacency dimension of G. Also, a sharp lower bound for adjacency dimension of G is obtained in terms of order of G. Using these two bounds, all graphs with adjacency dimension 2, and all n-vertex graphs with adjacency dimension n-2 are characterized.
Automatic sequences: from rational bases to trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Automata, Logic and Semantics (July 19, 2022) dmtcs:8455
• View Publication
• BIB
The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration system with a regular numeration language, we consider those built on languages associated with trees having periodic labeled signatures and, in particular, rational base numeration systems. We obtain two main characterizations of these sequences. The first one is concerned with $r$-block substitutions where $r$ morphisms are applied periodically. In particular, we provide examples of such sequences that are not morphic. The second characterization involves the factors, or subtrees of finite height, of the tree associated with the numeration system and decorated by the terms of the sequence.
Category $\mathcal{O}$ for Oriented Matroids
Published
• View Publication
• BIB
We associate to a sufficiently generic oriented matroid program and choice of linear system of parameters a finite dimensional algebra, whose representation theory is analogous to blocks of Bernstein--Gelfand--Gelfand category $\mathcal O$. When the data above comes from a generic linear program for a hyperplane arrangement, we recover the algebra defined by Braden--Licata--Proudfoot--Webster.
Applying our construction to nonlinear oriented matroid programs provides a large new class of algebras. For Euclidean oriented matroid programs, the resulting algebras are quasi-hereditary and Koszul, as in the linear setting. In the non-Euclidean case, we obtain algebras that are not quasi-hereditary and not known to be Koszul, but still have a natural class of standard modules and satisfy numerical analogues of quasi-heredity and Koszulity on the level of graded Grothendieck groups.
Almost everywhere balanced sequences of complexity $2n+1$
Published in Moscow J. Comb. Number Th. 11 (2022) 287-333
• View Publication
• BIB
We study ternary sequences associated with a multidimensional continued fraction algorithm introduced by the first author. The algorithm is defined by two matrices and we show that it is measurably isomorphic to the shift on the set $\{1,2\}^\mathbb{N}$ of directive sequences. For a given set $\mathcal{C}$ of two substitutions, we show that there exists a $\mathcal{C}$-adic sequence for every vector of letter frequencies or, equivalently, for every directive sequence. We show that their factor complexity is at most $2n+1$ and is $2n+1$ if and only if the letter frequencies are rationally independent if and only if the $\mathcal{C}$-adic representation is primitive. It turns out that in this case, the sequences are dendric. We also prove that $μ$-almost every $\mathcal{C}$-adic sequence is balanced, where $μ$ is any shift-invariant ergodic Borel probability measure on $\{1,2\}^\mathbb{N}$ giving a positive measure to the cylinder $[12121212]$. We also prove that the second Lyapunov exponent of the matrix cocycle associated with the measure $μ$ is negative.
Finite Atomized Semilattices
We show that every finite semilattice can be represented as an atomized semilattice, an algebraic structure with additional elements (atoms) that extend the semilattice's partial order. Each atom maps to one subdirectly irreducible component, and the set of atoms forms a hypergraph that fully defines the semilattice. An atomization always exists and is unique up to "redundant atoms". Atomized semilattices are representations that can be used as computational tools for building semilattice models from sentences, as well as building its subalgebras and products. Atomized semilattices can be applied to machine learning and to the study of semantic embeddings into algebras with idempotent operators.
On the foundations and extremal structure of the holographic entropy cone
Published in Discret. Appl. Math. 328 (2023) 16
• View Publication
• BIB
The holographic entropy cone (HEC) is a polyhedral cone first introduced in the study of a class of quantum entropy inequalities. It admits a graph-theoretic description in terms of minimum cuts in weighted graphs, a characterization which naturally generalizes the cut function for complete graphs. Unfortunately, no complete facet or extreme-ray representation of the HEC is known. In this work, starting from a purely graph-theoretic perspective, we develop a theoretical and computational foundation for the HEC. The paper is self-contained, giving new proofs of known results and proving several new results as well. These are also used to develop two systematic approaches for finding the facets and extreme rays of the HEC, which we illustrate by recomputing the HEC on $5$ terminals and improving its graph description. We also report on some partial results for $6$ terminals. Some interesting open problems are stated throughout.
Expansions in Cantor real bases
Published
• View Publication
• BIB
We introduce and study series expansions of real numbers with an arbitrary Cantor real base $\boldsymbolβ=(β_n)_{n\in\mathbb{N}}$, which we call $\boldsymbolβ$-representations. In doing so, we generalize both representations of real numbers in real bases and through Cantor series. We show fundamental properties of $\boldsymbolβ$-representations, each of which extends existing results on representations in a real base. In particular, we prove a generalization of Parry's theorem characterizing sequences of nonnegative integers that are the greedy $\boldsymbolβ$-representations of some real number in the interval $[0,1)$. We pay special attention to periodic Cantor real bases, which we call alternate bases. In this case, we show that the $\boldsymbolβ$-shift is sofic if and only if all quasi-greedy $\boldsymbolβ^{(i)}$-expansions of $1$ are ultimately periodic, where $\boldsymbolβ^{(i)}$ is the $i$-th shift of the Cantor real base $\boldsymbolβ$.
Oriented regular representations of out-valency two for finite simple groups
Published
• View Publication
• BIB
In this paper, we show that every finite simple group of order at least $5$ admits an oriented regular representation of out-valency $2$.
Representations of Degenerate Affine Hecke Algebra of Type $C_n$ Under the Etingof-Freund-Ma Functor
We compute the image of a polynomial $GL_N$-module under the Etingof-Freund-Ma functor \cite{EFM}. We give a combinatorial description of the image in terms of standard tableaux on a collection of skew shapes and analyze weights of the image in terms of contents.
Variants of Jacobi polynomials in coding theory
Published
• View Publication
• BIB
In this paper, we introduce the notion of the complete joint Jacobi polynomial of two linear codes of length $n$ over $\mathbb{F}_q$ and $\mathbb{Z}_k$. We give the MacWilliams type identity for the complete joint Jacobi polynomials of codes. We also introduce the concepts of the average Jacobi polynomial and the average complete joint Jacobi polynomial over $\mathbb{F}_q$ and $\mathbb{Z}_k$. We give a representation of the average of the complete joint Jacobi polynomials of two linear codes of length $n$ over $\mathbb{F}_q$ and $\mathbb{Z}_k$ in terms of the compositions of $n$ and its distribution in the codes. Further we present a generalization of the representation for the average of the $(g+1)$-fold complete joint Jacobi polynomials of codes over $\mathbb{F}_{q}$ and $\mathbb{Z}_{k}$. Finally, we give the notion of the average Jacobi intersection number of two codes.
Two maps on affine type A crystals and Hecke algebras
Published
• View Publication
• BIB
We use the crystal isomorphisms of the Fock space to describe two maps on partitions and multipartitions which naturally appear in the crystal basis theory for quantum groups in affine type A and in the representation theory of Hecke algebras of type G(l, l, n).
The Stembridge Equality for Skew Stable Grothendieck Polynomials and Skew Dual Stable Grothendieck Polynomials
Published
• View Publication
• BIB
The Schur polynomials $s_λ$ are essential in understanding the representation theory of the general linear group. They also describe the cohomology ring of the Grassmannians. For $ρ= (n, n-1, \dots, 1)$ a staircase shape and $μ\subseteq ρ$ a subpartition, the Stembridge equality states that $s_{ρ/μ} = s_{ρ/μ^T}$. This equality provides information about the symmetry of the cohomology ring. The stable Grothendieck polynomials $G_λ$, and the dual stable Grothendieck polynomials $g_λ$, developed by Buch, Lam, and Pylyavskyy, are variants of the Schur polynomials and describe the $K$-theory of the Grassmannians. Using the Hopf algebra structure of the ring of symmetric functions and a generalized Littlewood-Richardson rule, we prove that $G_{ρ/μ} = G_{ρ/μ^T}$ and $g_{ρ/μ} = g_{ρ/μ^T}$, the analogues of the Stembridge equality for the skew stable and skew dual stable Grothendieck polynomials.
Normal Cayley digraphs of cyclic groups with CI-property
Published
• View Publication
• BIB
A Cayley (di)graph $Cay(G,S)$ of a group $G$ with respect to a subset $S$ of $G$ is called normal if the right regular representation of $G$ is a normal subgroup in the full automorphism group of $Cay(G,S)$, and is called a CI-(di)graph if for every $T\subseteq G$, $Cay(G,S)\cong Cay(G,T)$ implies that there is $σ\in Aut(G)$ such that $S^σ=T$. We call a group $G$ a NDCI-group if all normal Cayley digraphs of $G$ are CI-digraphs, and a NCI-group if all normal Cayley graphs of $G$ are CI-graphs, respectively. In this paper, we prove that a cyclic group of order $n$ is a NDCI-group if and only if $8\nmid n$, and is a NCI-group if and only if either $n=8$ or $8\nmid n$.
On a representation of the automorphism group of a graph in a unimodular group
We investigate a representation of the automorphism group of a connected graph $X$ in the group of unimodular matrices $U_β$ of dimension $β$, where $β$ is the Betti number of graph $X$. We classify the graphs for which the automorphism group does not embed into $U_β$. It follows that if $X$ has no pendant vertices and $X$ is not a simple cycle, then the representation is faithful and $\mathrm{Aut}\,X$ acts faithfully on $H_1(X,\mathbb{Z})$. The latter statement can be viewed as a discrete analogue of a classical Hurwitz's theorem on Riemann surfaces of genera greater than one.
A survey of the monotonicity and non-contradiction of consensus methods and supertree methods
Published
• View Publication
• BIB
In a recent study, Bryant, Francis and Steel investigated the concept of \enquote{future-proofing} consensus methods in phylogenetics. That is, they investigated if such methods can be robust against the introduction of additional data like added trees or new species. In the present manuscript, we analyze consensus methods under a different aspect of introducing new data, namely concerning the discovery of new clades. In evolutionary biology, often formerly unresolved clades get resolved by refined reconstruction methods or new genetic data analyses. In our manuscript we investigate which properties of consensus methods can guarantee that such new insights do not disagree with previously found consensus trees, but merely refine them, a property termed \emph{monotonicity}. Along the lines of analyzing monotonicity, we also study two {established} supertree methods, namely Matrix Representation with Parsimony (MRP) and Matrix Representation with Compatibility (MRC), which have also been suggested as consensus methods in the literature. While we (just like Bryant, Francis and Steel in their recent study) unfortunately have to conclude some negative answers concerning general consensus methods, we also state some relevant and positive results concerning the majority rule ($\mathtt{MR}$) and strict consensus methods, which are amongst the most frequently used consensus methods. Moreover, we show that there exist infinitely many consensus methods which are monotonic and have some other desirable properties.
\textbf{Keywords:} consensus tree, phylogenetics, majority rule, tree refinement, matrix representation with parsimony
\textbf{MSC:} C92B05, 05C05
A graphical algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero
The Chow group of zero cycles in the moduli space of stable pointed curves of genus zero is isomorphic to the integer additive group. Let $M$ be monomial in this Chow group. If no two factors of $M$ fulfill a particular quadratic relation, then the monomial can be represented equivalently by a specific tree; otherwise, $M$ is mapped to zero under the stated isomorphism. Starting from this tree representation, we introduce a graphical algorithm for computing the corresponding integer for $M$ under the aforementioned isomorphism. The algorithm is linear with respect to the size of the tree.