natural ↗ reference
4908 papers tagged with this keyword
The $q$-Onsager algebra and its alternating central extension
Published
• View Publication
• BIB
The $q$-Onsager algebra $O_q$ has a presentation involving two generators $W_0$, $W_1$ and two relations, called the $q$-Dolan/Grady relations. The alternating central extension $\mathcal O_q$ has a presentation involving the alternating generators $\lbrace \mathcal W_{-k}\rbrace_{k=0}^\infty$, $\lbrace \mathcal W_{k+1}\rbrace_{k=0}^\infty$, $ \lbrace \mathcal G_{k+1}\rbrace_{k=0}^\infty$, $\lbrace \mathcal {\tilde G}_{k+1}\rbrace_{k=0}^\infty$ and a large number of relations. Let $\langle \mathcal W_0, \mathcal W_1 \rangle$ denote the subalgebra of $\mathcal O_q$ generated by $\mathcal W_0$, $\mathcal W_1$. It is known that there exists an algebra isomorphism $O_q \to \langle \mathcal W_0, \mathcal W_1 \rangle$ that sends $W_0\mapsto \mathcal W_0$ and $W_1 \mapsto \mathcal W_1$. It is known that the center $\mathcal Z$ of $\mathcal O_q$ is isomorphic to a polynomial algebra in countably many variables.
It is known that the multiplication map $\langle \mathcal W_0, \mathcal W_1 \rangle \otimes \mathcal Z \to \mathcal O_q$, $ w \otimes z \mapsto wz$ is an isomorphism of algebras. We call this isomorphism the standard tensor product factorization of $\mathcal O_q$. In the study of $\mathcal O_q$ there are two natural points of view: we can start with the alternating generators, or we can start with the standard tensor product factorization. It is not obvious how these two points of view are related. The goal of the paper is to describe this relationship. We give seven main results; the principal one is an attractive factorization of the generating function for some algebraically independent elements that generate $\mathcal Z$.
Normality of the Thue-Morse function for finite fields along polynomial values
Published
• View Publication
• BIB
Let ${\mathbb F}_q$ be the finite field of $q$ elements, where $q=p^r$ is a power of the prime $p$, and $\left(β_1, β_2, \dots, β_r \right)$ be an ordered basis of ${\mathbb F}_q$ over ${\mathbb F}_p$. For $$ξ=\sum_{i=1}^rx_iβ_i, \quad \quad x_i\in{\mathbb F}_p,$$ we define the Thue-Morse or sum-of-digits function $T(ξ)$ on ${\mathbb F}_q$ by \[ T(ξ)=\sum_{i=1}^{r}x_i.%,\quad ξ=x_1β_1+\cdots +x_rβ_r\in {\mathbb F}_q. \] For a given pattern length $s$ with $1\le s\le q$, a subset ${\cal A}=\{α_1,\ldots,α_s\}\subset {\mathbb F}_q$, a polynomial $f(X)\in{\mathbb F}_q[X]$ of degree $d$ and a vector $\underline{c}=(c_1,\ldots,c_s)\in{\mathbb F}_p^s$ we put \[ {\cal T}(\underline{c},{\cal A},f)=\{ξ\in{\mathbb F}_q : T(f(ξ+α_i))=c_i,~i=1,\ldots,s\}. \] In this paper we will see that under some natural conditions, the size of~${\cal T}(\underline{c},{\cal A},f)$ is asymptotically the same for all~$\underline{c}$ and ${\cal A}$ in both cases, $p\rightarrow \infty$ and $r\rightarrow \infty$, respectively. More precisely, we have \[ \left||{\cal T}(\underline{c},{\cal A},f)|-p^{r-s}\right|\le (d-1)q^{1/2}\] under certain conditions on $d,q$ and $s$. For monomials of large degree we improve this bound as well as we find conditions on $d,q$ and $s$ for which this bound is not true. In particular, if $1\le d<p$ we have the dichotomy that the bound is valid if $s\le d$ and fails for some $\underline{c}$ and ${\cal A}$ if $s\ge d+1$. The case $s=1$ was studied before by Dartyge and Sárközy.
On the compounding of higher order monotonic pseudo-Boolean functions
Published
• View Publication
• BIB
Compounding submodular monotone (i.e. 2-alternating) set functions on a finite set preserves this property, as shown in 2010. A natural generalization to k-alternating functions was presented in 2018, however hardly readable because of page long formulas. We give an easier proof of a more general result, exploiting known properties of higher order monotonic functions.
Distributed coloring and the local structure of unit-disk graphs
Published in Theoretical Computer Science 944 (2023), 113674
• View Publication
• BIB
Coloring unit-disk graphs efficiently is an important problem in the global and distributed setting, with applications in radio channel assignment problems when the communication relies on omni-directional antennas of the same power. In this context it is important to bound not only the complexity of the coloring algorithms, but also the number of colors used. In this paper, we consider two natural distributed settings. In the location-aware setting (when nodes know their coordinates in the plane), we give a constant time distributed algorithm coloring any unit-disk graph $G$ with at most $4ω(G)$ colors, where $ω(G)$ is the clique number of $G$. This improves upon a classical 3-approximation algorithm for this problem, for all unit-disk graphs whose chromatic number significantly exceeds their clique number. When nodes do not know their coordinates in the plane, we give a distributed algorithm in the LOCAL model that colors every unit-disk graph $G$ with at most $5.68ω(G)+1$ colors in $O(\log^* n)$ rounds. This algorithm is based on a study of the local structure of unit-disk graphs, which is of independent interest. We conjecture that every unit-disk graph $G$ has average degree at most $4ω(G)$, which would imply the existence of a $O(\log n)$ round algorithm coloring any unit-disk graph $G$ with (approximately) $4ω(G)$ colors in the LOCAL model. We provide partial results towards this conjecture using Fourier-analytical tools.
Chordal graphs, higher independence and vertex decomposable complexes
Published in International Journal of Algebra and Computation, 33(3), 481-498, 2023
• View Publication
• BIB
Given a simple undirected graph $G$ there is a simplicial complex $\mathrm{Ind}(G)$, called the independence complex, whose faces correspond to the independent sets of $G$. This is a well studied concept because it provides a fertile ground for interactions between commutative algebra, graph theory and algebraic topology. One of the line of research pursued by many authors is to determine the graph classes for which the associated independence complex is Cohen-Macaulay. For example, it is known that when $G$ is a chordal graph the complex $\mathrm{Ind}(G)$ is in fact vertex decomposable, the strongest condition in the Cohen-Macaulay ladder.
In this article we consider a generalization of independence complex. Given $r\geq 1$, a subset of the vertex set is called $r$-independent if the connected components of the induced subgraph have cardinality at most $r$. The collection of all $r$-independent subsets of $G$ form a simplicial complex called the $r$-independence complex and is denoted by $\mathrm{Ind}_r(G)$. It is known that when $G$ is a chordal graph the complex $\mathrm{Ind}_r(G)$ has the homotopy type of a wedge of spheres. Hence it is natural to ask which of these complexes are shellable or even vertex decomposable. We prove, using Woodroofe's chordal hypergraph notion, that these complexes are always shellable when the underlying chordal graph is a tree. Further, using the notion of vertex splittable ideals we show that for caterpillar graphs the associated $r$-independence complex is vertex decomposable for all values of $r$. We also construct chordal graphs on $2r+2$ vertices such that their $r$-independence complexes are not sequentially Cohen-Macaulay for any $r \ge 2$.
On Katznelson's Question for skew product systems
Published in Bull. Amer. Math. Soc., Volume 59 (2022), Number 4, pages 569-606
• View Publication
• BIB
Katznelson's Question is a long-standing open question concerning recurrence in topological dynamics with strong historical and mathematical ties to open problems in combinatorics and harmonic analysis. In this article, we give a positive answer to Katznelson's Question for certain towers of skew product extensions of equicontinuous systems, including systems of the form $(x,t) \mapsto (x + α, t + h(x))$. We describe which frequencies must be controlled for in order to ensure recurrence in such systems, and we derive combinatorial corollaries concerning the difference sets of syndetic subsets of the natural numbers.
Convergence of the Probabilistic Interpretation of Modulus
Published
• View Publication
• BIB
Given a Jordan domain $Ω\subset\mathbb{C}$ and two disjoint arcs $A, B$ on $\partialΩ$, the modulus $m$ of the curve family connecting $A$ and $B$ in $Ω$ is equal to the modulus of the curve family connecting the vertical sides in the rectangle $R=[0,1]\times[0,m]$. Also, $m>0$ is the unique value such that there is a conformal map $ψ$ mapping $Ω$ to ${\rm int}(R)$ so that $ψ$ extends continuously to a homeomorphism of $\partial Ω$ onto $\partial R$ and the arcs $A$ and $B$ are sent to the vertical sides of $R$. Moreover, in the case of the rectangle the family of horizontal segments connecting the two sides has the same modulus as the entire connecting family. Pulling these segments back to $Ω$ via $ψ$ yields a family of extremal curves (also known as horizontal trajectories) connecting $A$ to $B$ in $Ω$. In this paper, we show that these extremal curves can be approximated by some discrete paths arising from an orthodiagonal approximation of $Ω$. Moreover, we show that there is a natural probability mass function (pmf) on these paths, deriving from the theory of discrete modulus, which converges to the transverse measure on the set of extremal curves. The key ingredient is an algorithm that, for an embedded planar graph, takes the current flow between two sets of nodes, and produces a unique path decomposition with non-crossing paths. Moreover, some care was taken to adapt recent results for harmonic convergence on orthodiagonal maps, due to Gurel-Gurevich, Jerison, and Nachmias, to our context. Finally, we generalize a result of N.~Alrayes from the square grid setting to the orthodiagonal setting, and prove that the discrete modulus of the approximating non-crossing paths converges to the continuous modulus.
Maximum order complexity of the sum of digits function in Zeckendorf base and polynomial subsequences
Published
• View Publication
• BIB
Automatic sequences are not suitable sequences for cryptographic applications since both their subword complexity and their expansion complexity are small, and their correlation measure of order 2 is large. These sequences are highly predictable despite having a large maximum order complexity. However, recent results show that polynomial subsequences of automatic sequences, such as the Thue--Morse sequence, are better candidates for pseudorandom sequences. A natural generalization of automatic sequences are morphic sequences, given by a fixed point of a prolongeable morphism that is not necessarily uniform. In this paper we prove a lower bound for the maximum order complexity of the sum of digits function in Zeckendorf base which is an example of a morphic sequence. We also prove that the polynomial subsequences of this sequence keep large maximum order complexity, such as the Thue--Morse sequence.
Graphs with at most two moplexes
Published
• View Publication
• BIB
A moplex is a natural graph structure that arises when lifting Dirac's classical theorem from chordal graphs to general graphs. While every non-complete graph has at least two moplexes, little is known about structural properties of graphs with a bounded number of moplexes. The study of these graphs is, in part, motivated by the parallel between moplexes in general graphs and simplicial modules in chordal graphs: unlike in the moplex setting, properties of chordal graphs with a bounded number of simplicial modules are well understood. For instance, chordal graphs having at most two simplicial modules are interval.
In this work, we initiate an investigation of $k$-moplex graphs, which are defined as graphs containing at most $k$ moplexes. Of particular interest is the smallest nontrivial case $k=2$, which forms a counterpart to the class of interval graphs. As our main structural result, we show that, when restricted to connected graphs, the class of $2$-moplex graphs is sandwiched between the classes of proper interval graphs and cocomparability graphs; moreover, both inclusions are tight for hereditary classes. From a complexity theoretic viewpoint, this leads to the natural question of whether the presence of at most two moplexes guarantees a sufficient amount of structure to efficiently solve problems that are known to be intractable on cocomparability graphs, but not on proper interval graphs. We develop new reductions that answer this question negatively for two prominent problems fitting this profile, namely Graph Isomorphism and Max-Cut. On the other hand, we prove that every connected $2$-moplex graph contains a Hamiltonian path, generalising the same property of connected proper interval graphs.
Amplituhedron-like geometries
Published
• View Publication
• BIB
We consider amplituhedron-like geometries which are defined in a similar way to the intrinsic definition of the amplituhedron but with non-maximal winding number. We propose that for the cases with minimal number of points the canonical form of these geometries corresponds to the product of parity conjugate amplitudes at tree as well as loop level. The product of amplitudes in superspace lifts to a star product in bosonised superspace which we give a precise definition of. We give an alternative definition of amplituhedron-like geometries, analogous to the original amplituhedron definition, and also a characterisation as a sum over pairs of on-shell diagrams that we use to prove the conjecture at tree level. The union of all amplituhedron-like geometries has a very simple definition given by only physical inequalities. Although such a union does not give a positive geometry, a natural extension of the standard definition of canonical form, the globally oriented canonical form, acts on this union and gives the square of the amplitude.
Topological posets and tropical phased matroids
Published
• View Publication
• BIB
For a discrete poset $\mathcal X$ McCord proved that the natural map $|{\mathcal X}|\to {\mathcal X}$ from the order complex to the poset equipped with the Up topology is a weak homotopy equivalence. Much later, Zivaljević defined the notion of order complex for a topological poset. For a large class of such topological posets we prove the analog of McCord's theorem, namely that the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence. A familiar topological example is the Grassmann poset of proper non-zero linear subspaces of R^{n+1} partially ordered by inclusion. But our motivation in topological combinatorics is to apply the theorem to posets associated with tropical phased matroids over the tropical phase hyperfield, and in particular to elucidate the tropical version of the MacPhersonian Conjecture. This is explained in Section 2.
Extremal rays of the equivariant Littlewood-Richardson cone
Published
• View Publication
• BIB
We give an inductive procedure for finding the extremal rays of the equivariant Littlewood-Richardson cone, which is closely related to the solution space to S. Friedland's majorized Hermitian eigenvalue problem. In so doing, we solve the "rational version" of a problem posed by C. Robichaux, H. Yadav, and A. Yong. Our procedure is a natural extension of P. Belkale's algorithm for the classical Littlewood-Richardson cone. The main tools for accommodating the equivariant setting are certain foundational results of D. Anderson, E. Richmond, and A. Yong. We also study two families of special rays of the cone and make observations about the Hilbert basis of the associated lattice semigroup.
Unitriangular basic sets for blocks of the symmetric and alternating groups of small weights
Published
• View Publication
• BIB
We study the existence of unitriangular basic sets for the symmetric group which behave nicely with respect to the Mullineux involution. Such sets give a natural labelling for the modular irreducible representations. We show that, for any odd prime p, the p-blocks of the symmetric group with weight 2 have stable unitriangular basic sets which we describe by studying the combinatorics of partitions in these blocks.
Comparing the topology of phylogenetic network generators
Published
• View Publication
• BIB
Phylogenetic networks represent evolutionary history of species and can record natural reticulate evolutionary processes such as horizontal gene transfer and gene recombination. This makes phylogenetic networks a more comprehensive representation of evolutionary history compared to phylogenetic trees. Stochastic processes for generating random trees or networks are important tools in evolutionary analysis, especially in phylogeny reconstruction where they can be utilized for validation or serve as priors for Bayesian methods. However, as more network generators are developed, there is a lack of discussion or comparison for different generators. To bridge this gap, we compare a set of phylogenetic network generators by profiling topological summary statistics of the generated networks over the number of reticulations and comparing the topological profiles.
Coxeter Pop-Tsack Torsing
Published
• View Publication
• BIB
Given a finite irreducible Coxeter group $W$ with a fixed Coxeter element $c$, we define the Coxeter pop-tsack torsing operator $\mathsf{Pop}_T:W\to W$ by $\mathsf{Pop}_T(w)=w\cdotπ_T(w)^{-1}$, where $π_T(w)$ is the join in the noncrossing partition lattice $\mathrm{NC}(w,c)$ of the set of reflections lying weakly below $w$ in the absolute order. This definition serves as a "Bessis dual" version of the first author's notion of a Coxeter pop-stack sorting operator, which, in turn, generalizes the pop-stack-sorting map on symmetric groups. We show that if $W$ is coincidental or of type $D$, then the identity element of $W$ is the unique periodic point of $\mathsf{Pop}_T$ and the maximum size of a forward orbit of $\mathsf{Pop}_T$ is the Coxeter number $h$ of $W$. In each of these types, we obtain a natural lift from $W$ to the dual braid monoid of $W$. We also prove that $W$ is coincidental if and only if it has a unique forward orbit of size $h$. For arbitrary $W$, we show that the forward orbit of $c^{-1}$ under $\mathsf{Pop}_T$ has size $h$ and is isolated in the sense that none of the non-identity elements of the orbit have preimages lying outside of the orbit.
Graphs that are minor minimal with respect to dimension
Erdős, Harary, and Tutte defined the dimension of a graph $G$ as the smallest natural number $n$ such that $G$ can be embedded in $\mathbb{R}^n$ with each edge a straight line segment of length 1.
Since the proposal of this definition, little has been published on how to compute the exact dimension of graphs and almost nothing has been published on graphs that are minor minimal with respect to dimension. This paper develops both of these areas. In particular, it (1) establishes certain conditions under which computing the dimension of graph sums is easy and (2) constructs three infinitely-large classes of graphs that are minor minimal with respect to their dimension.
An Optimal Algorithm for Strict Circular Seriation
Published
• View Publication
• BIB
We study the problem of circular seriation, where we are given a matrix of pairwise dissimilarities between $n$ objects, and the goal is to find a {\em circular order} of the objects in a manner that is consistent with their dissimilarity. This problem is a generalization of the classical {\em linear seriation} problem where the goal is to find a {\em linear order}, and for which optimal ${\cal O}(n^2)$ algorithms are known. Our contributions can be summarized as follows. First, we introduce {\em circular Robinson matrices} as the natural class of dissimilarity matrices for the circular seriation problem. Second, for the case of {\em strict circular Robinson dissimilarity matrices} we provide an optimal ${\cal O}(n^2)$ algorithm for the circular seriation problem. Finally, we propose a statistical model to analyze the well-posedness of the circular seriation problem for large $n$. In particular, we establish ${\cal O}(\log(n)/n)$ rates on the distance between any circular ordering found by solving the circular seriation problem to the underlying order of the model, in the Kendall-tau metric.
Improved bounds for the expected number of $k$-sets
Published
• View Publication
• BIB
Given a finite set of points $S\subset\mathbb{R}^d$, a $k$-set of $S$ is a subset $A \subset S$ of size $k$ which can be strictly separated from $S \setminus A $ by a hyperplane. Similarly, a $k$-facet of a point set $S$ in general position is a subset $Δ\subset S$ of size $d$ such that the hyperplane spanned by $Δ$ has $k$ points from $S$ on one side. For a probability distribution $P$ on $\mathbb{R}^d$, we study $E_P(k,n)$, the expected number of $k$-facets of a sample of $n$ random points from $P$. When $P$ is a distribution on $\mathbb{R}^2$ such that the measure of every line is 0, we show that $E_P(k,n) = O(n(k+1)^{1/4})$. Our argument is based on a technique by Bárány and Steiger. We study how it may be possible to improve this bound using the continuous version of the polynomial partitioning theorem. This motivates a question concerning the points of intersection of an algebraic curve and the $k$-edge graph of a set of points.
We also study a variation on the $k$-set problem for the set system whose set of ranges consists of all translations of some strictly convex body in the plane. The motivation is to show that the technique by Bárány and Steiger is tight for a natural family of set systems. For any such set system, we determine bounds for the expected number of $k$-sets which are tight up to logarithmic factors.
A Matrix Trickle-Down Theorem on Simplicial Complexes and Applications to Sampling Colorings
Published
• View Publication
• BIB
We show that the natural Glauber dynamics mixes rapidly and generates a random proper edge-coloring of a graph with maximum degree $Δ$ whenever the number of colors is at least $q\geq (\frac{10}{3} + ε)Δ$, where $ε>0$ is arbitrary and the maximum degree satisfies $Δ\geq C$ for a constant $C = C(ε)$ depending only on $ε$. For edge-colorings, this improves upon prior work \cite{Vig99, CDMPP19} which show rapid mixing when $q\geq (\frac{11}{3}-ε_0 ) Δ$, where $ε_0 \approx 10^{-5}$ is a small fixed constant. At the heart of our proof, we establish a matrix trickle-down theorem, generalizing Oppenheim's influential result, as a new technique to prove that a high dimensional simplical complex is a local spectral expander.
Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics
We study connections between distributed local algorithms, finitary factors of iid processes, and descriptive combinatorics in the context of regular trees.
We extend the Borel determinacy technique of Marks coming from descriptive combinatorics and adapt it to the area of distributed computing. Using this technique, we prove deterministic distributed $Ω(\log n)$-round lower bounds for problems from a natural class of homomorphism problems. Interestingly, these lower bounds seem beyond the current reach of the powerful round elimination technique responsible for all substantial locality lower bounds of the last years. Our key technical ingredient is a novel ID graph technique that we expect to be of independent interest.
We prove that a local problem admits a Baire measurable coloring if and only if it admits a local algorithm with local complexity $O(\log n)$, extending the classification of Baire measurable colorings of Bernshteyn. A key ingredient of the proof is a new and simple characterization of local problems that can be solved in $O(\log n)$ rounds. We complement this result by showing separations between complexity classes from distributed computing, finitary factors, and descriptive combinatorics. Most notably, the class of problems that allow a distributed algorithm with sublogarithmic randomized local complexity is incomparable with the class of problems with a Borel solution.
We hope that our treatment will help to view all three perspectives as part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn -- arXiv 2004.04905].