sequence
7073 papers tagged with this keyword
Every quasitrivial n-ary semigroup is reducible to a semigroup
We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary semigroups. We also explicitly determine the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences.
Planar graphs have bounded nonrepetitive chromatic number
Published in Advances in Combinatorics 2020:5
• View Publication
• BIB
A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive colourings with a bounded number of colours, thus proving a conjecture of Alon, Grytczuk, Haluszczak and Riordan (2002). We also generalise this result for graphs of bounded Euler genus, graphs excluding a fixed minor, and graphs excluding a fixed topological minor.
A Framework for Modular Properties of False Theta Functions
False theta functions closely resemble ordinary theta functions, however they do not have the modular transformation properties that theta functions have. In this paper, we find modular completions for false theta functions, which among other things gives an efficient way to compute their obstruction to modularity. This has potential applications for a variety of contexts where false and partial theta series appear. To exemplify the utility of this derivation, we discuss the details of its use on two cases. First, we derive a convergent Rademacher-type exact formula for the number of unimodal sequences via the Circle Method and extend earlier work on their asymptotic properties. Secondly, we show how quantum modular properties of the limits of false theta functions can be rederived directly from the modular completion of false theta functions proposed in this paper.
Constructing Clustering Transformations
Clustering is one of the fundamental tasks in data analytics and machine learning. In many situations, different clusterings of the same data set become relevant. For example, different algorithms for the same clustering task may return dramatically different solutions. We are interested in applications in which one clustering has to be transformed into another; e.g., when a gradual transition from an old solution to a new one is required. In this paper, we devise methods for constructing such a transition based on linear programming and network theory. We use a so-called clustering-difference graph to model the desired transformation and provide methods for decomposing the graph into a sequence of elementary moves that accomplishes the transformation. These moves are equivalent to the edge directions, or circuits, of the underlying partition polytopes. Therefore, in addition to a conceptually new metric for measuring the distance between clusterings, we provide new bounds on the circuit diameter of these partition polytopes.
Riesz bases of exponentials and multi-tiling in finite abelian groups
Motivated by the open problem of exhibiting a subset of Euclidean space which has no exponential Riesz basis, we focus on exponential Riesz bases in finite abelian groups. We point out that that every subset of a finite abelian group has such a basis, removing interest in the existence question in this context. We then define tightness quantities for subsets to measure the conditioning of Riesz bases; for normalized tightness quantities, a value of one corresponds to an orthogonal basis, and a value of infinity corresponds to nonexistence of a basis. As an application, we obtain new weak evidence in favor of the open problem by giving a sequence of subsets of finite abelian groups whose tightness quantities go to infinity in the limit. We also prove that the Cartesian product of a set with a finite abelian group has the same tightness quantities as the original set. Lastly, under an additional hypothesis, explicit bounds are given for tightness quantities in terms of a subset's lowest multi-tiling level by a subgroup and its geometric configuration. This establishes a quantitative link between discrete geometry and harmonic analysis in this setting.
A note on multiplicative automatic sequences
We prove that any $q$-automatic completely multiplicative function $f:\mathbb{N}\to\mathbb{C}$ essentially coincides with a Dirichlet character. This answers a question of J. P. Allouche and L. Goldmakher and confirms a conjecture of J. Bell, N. Bruin and M. Coons for completely multiplicative functions. Further, assuming two standard conjectures in number theory, the methods allows for removing the assumption of completeness.
A Generalization of Schur's $P$- and $Q$-Functions
Published in Sem. Lothar. Combin. 81 (2020), Art. B81k
• Search Publication
We introduce and study a generalization of Schur's $P$-/$Q$-functions associated to a polynomial sequence, which can be viewed as ``Macdonald's ninth variation'' for $P$-/$Q$-functions. This variation includes as special cases Schur's $P$-/$Q$-functions, Ivanov's factorial $P$-/$Q$-functions and the $t=-1$ specialization of Hall--Littlewood functions associated to the classical root systems. We establish several identities and properties such as generalizations of Schur's original definition of Schur's $Q$-functions, Cauchy-type identity, Józefiak--Pragacz--Nimmo formula for skew $Q$-functions, and Pieri-type rule for multiplication.
On some properties of the number of permutations being products of pairwise disjoint $d$-cycles
Let $d\geq 2$ be an integer. In this paper we study arithmetic properties of the sequence $(H_d(n))_{n\in\N}$, where $H_{d}(n)$ is the number of permutations in $S_{n}$ being products of pairwise disjoint cycles of a fixed length $d$. In particular we deal with periodicity modulo a given positive integer, behaviour of the $p$-adic valuations and various divisibility properties. Moreover, we introduce some related families of polynomials and study they properties. Among many results we obtain qualitative description of the $p$-adic valuation of the number $H_{d}(n)$ extending in this way earlier results of Ochiai and Ishihara, Ochiai, Takegehara and Yoshida.
On $p$-adic valuations of certain $m$ colored $p$-ary partition functions
Let $k\in\N_{\geq 2}$ and for given $m\in\Z\setminus\{0\}$ consider the sequence $(S_{k,m}(n))_{n\in\N}$ defined by the power series expansion $$ \frac{1}{(1-x)^{m}}\prod_{i=0}^{\infty}\frac{1}{(1-x^{k^{i}})^{m}}=\sum_{n=0}^{\infty}S_{k,m}(n)x^{n}. $$ The number $S_{k,m}(n)$ for $m\in\N_{+}$ has a natural combinatorial interpretation: it counts the number of representations of $n$ as sums of powers of $k$, where the part equal to $1$ takes one among $mk$ colors and each part $>1$ takes $m(k-1)$ colors. We concentrate on the case when $k=p\in\mathbb{P}$. Our main result is the computation of the exact value of the $p$-adic valuation of $S_{p,m}(n)$. In particular, in each case the set of values of $ν_{p}(S_{p,m}(n))$ is finite and the maximum value is bounded by $\op{max}\{ν_{p}(m)+1,ν_{p}(m+1)+1\}$. Our results can be seen as a generalization of earlier work of Churchhouse and recent work of Gawron, Miska and Ulas, and the present authors.
Optimal Communication Rates and Combinatorial Properties for Common Randomness Generation
Published
• View Publication
• BIB
We study common randomness generation problems where $n$ players aim to generate same sequences of random coin flips where some subsets of the players share an independent common coin which can be tossed multiple times, and there is a publicly seen blackboard through which the players communicate with each other. We provide a tight representation of the optimal communication rates via linear programming, and more importantly, propose explicit algorithms for the optimal distributed simulation for a wide class of hypergraphs. In particular, the optimal communication rate in complete hypergraphs is still achievable in sparser hypergraphs containing a path-connected cycle-free cluster of topologically connected components. Some key steps in analyzing the upper bounds rely on two different definitions of connectivity in hypergraphs, which may be of independent interest.
Consecutive Patterns in Inversion Sequences
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018 (November 4, 2019) dmtcs:5350
• View Publication
• BIB
An inversion sequence of length $n$ is an integer sequence $e=e_{1}e_{2}\dots e_{n}$ such that $0\leq e_{i}<i$ for each $i$. Corteel--Martinez--Savage--Weselcouch and Mansour--Shattuck began the study of patterns in inversion sequences, focusing on the enumeration of those that avoid classical patterns of length 3. We initiate an analogous systematic study of consecutive patterns in inversion sequences, namely patterns whose entries are required to occur in adjacent positions. We enumerate inversion sequences that avoid consecutive patterns of length 3, and generalize some results to patterns of arbitrary length. Additionally, we study the notion of Wilf equivalence of consecutive patterns in inversion sequences, as well as generalizations of this notion analogous to those studied for permutation patterns. We classify patterns of length up to 4 according to the corresponding Wilf equivalence relations.
Chromatic Zeros On Hierarchical Lattices and Equidistribution on Parameter Space
Associated to any finite simple graph $Γ$ is the chromatic polynomial $P_Γ(q)$ whose complex zeroes are called the chromatic zeros of $Γ$. A hierarchical lattice is a sequence of finite simple graphs $\{Γ_n\}_{n=0}^\infty$ built recursively using a substitution rule expressed in terms of a generating graph. For each $n$, let $μ_n$ denote the probability measure that assigns a Dirac measure to each chromatic zero of $Γ_n$. Under a mild hypothesis on the generating graph, we prove that the sequence $μ_n$ converges to some measure $μ$ as $n$ tends to infinity. We call $μ$ the limiting measure of chromatic zeros associated to $\{Γ_n\}_{n=0}^\infty$. In the case of the Diamond Hierarchical Lattice we prove that the support of $μ$ has Hausdorff dimension two.
The main techniques used come from holomorphic dynamics and more specifically the theories of activity/bifurcation currents and arithmetic dynamics. We prove a new equidistribution theorem that can be used to relate the chromatic zeros of a hierarchical lattice to the activity current of a particular marked point. We expect that this equidistribution theorem will have several other applications.
Oresme Polynomials and Their Derivatives
We study the problem of generalization of Oresme numbers with a new sequence of numbers called Oresme polynomials. Moreover, by using the matrix methods for Oresme polynomials, we obtain the identities including the general bilinear index-reduction formula of these numbers. Further, Oresme polynomials that are natural extensions of the $k$-Oresme numbers are introduced and some relations for the derivatives of these polynomials in the form of convolution are proved.
Asymptotic sign coherence conjecture
Published in Experimental Mathematics 31 (2022) 497-505
• View Publication
• BIB
The sign coherence phenomenon is an important feature of c-vectors in cluster algebras with principal coefficients. In this note, we consider a more general version of c-vectors defined for arbitrary cluster algebras of geometric type and formulate a conjecture describing their asymptotic behavior. This conjecture, which is called the asymptotic sign coherence conjecture, states that for any infinite sequence of matrix mutations that satisfies certain natural conditions, the corresponding c-vectors eventually become sign coherent. We prove this conjecture for rank 2 cluster algebras of infinite type and for a particular sequence of mutations in a cluster algebra associated with the Markov quiver.
Pebble Exchange Group of Graphs
Published in European Journal of Combinatorics (2021)
• View Publication
• BIB
A graph puzzle ${\rm Puz}(G)$ of a graph $G$ is defined as follows. A configuration of ${\rm Puz}(G)$ is a bijection from the set of vertices of a board graph to the set of vertices of a pebble graph, both graphs being isomorphic to some input graph $G$. A move of pebbles is defined as exchanging two pebbles which are adjacent on both a board graph and a pebble graph. For a pair of configurations $f$ and $g$, we say that $f$ is equivalent to $g$ if $f$ can be transformed into $g$ by a finite sequence of moves.
Let ${\rm Aut}(G)$ be the automorphism group of $G$, and let ${\rm 1}_G$ be the unit element of ${\rm Aut}(G)$. The pebble exchange group of $G$, denoted by ${\rm Peb}(G)$, is defined as the set of all automorphisms $f$ of $G$ such that ${\rm 1}_G$ and $f$ are equivalent to each other.
In this paper, some basic properties of ${\rm Peb}(G)$ are studied. Among other results, it is shown that for any connected graph $G$, all automorphisms of $G$ are contained in ${\rm Peb}(G^2)$, where $G^2$ is a square graph of $G$.
On the longest common subsequence of Thue-Morse words
The length $a(n)$ of the longest common subsequence of the $n$'th Thue-Morse word and its bitwise complement is studied. An open problem suggested by Jean Berstel in 2006 is to find a formula for $a(n)$. In this paper we prove new lower bounds on $a(n)$ by explicitly constructing a common subsequence between the Thue-Morse words and their bitwise complement. We obtain the lower bound $a(n) = 2^{n}(1-o(1))$, saying that when $n$ grows large, the fraction of omitted symbols in the longest common subsequence of the $n$'th Thue-Morse word and its bitwise complement goes to $0$. We further generalize to any prefix of the Thue-Morse sequence, where we prove similar lower bounds.
Borel sets of Rado graphs and Ramsey's Theorem
The well-known Galvin-Prikry Theorem states that Borel subsets of the Baire space are Ramsey: Given any Borel subset $\mathcal{X}\subseteq [ω]^ω$, where $[ω]^ω$ is endowed with the metric topology, each infinite subset $X\subseteq ω$ contains an infinite subset $Y\subseteq X$ such that $[Y]^ω$ is either contained in $\mathcal{X}$ or disjoint from $\mathcal{X}$. Kechris, Pestov, and Todorcevic point out in their seminal 2005 paper the dearth of similar results for homogeneous structures. Such results are a necessary step to the larger goal of finding a correspondence between structures with infinite dimensional Ramsey properties and topological dynamics, extending their correspondence between the Ramsey property and extreme amenability. In this article, we prove an analogue of the Galvin-Prikry theorem for the Rado graph. Any such infinite dimensional Ramsey theorem is subject to constraints following from the 2006 work of Laflamme, Sauer, and Vuksanovic. The proof uses techniques developed for the author's work on the Ramsey theory of the Henson graphs as well as some new methods for fusion sequences, used to bypass the lack of a certain amalgamation property enjoyed by the Baire space.
Wall's continued-fraction characterization of Hausdorff moment sequences: A conceptual proof
Published in Proc. Amer. Math. Soc. 148, 2111-2116 (2020)
• View Publication
• BIB
I give an elementary proof of Wall's continued-fraction characterization of Hausdorff moment sequences.
Quantum Q-systems and fermionic sums -- the non-simply laced case
In this paper, we seek to prove the equality of the $q$-graded fermionic sums conjectured by Hatayama et al. in its full generality, by extending the results of Di Francesco and Kedem to the non-simply laced case. To this end, we will derive explicit expressions for the quantum $Q$-system relations, which are quantum cluster mutations that correspond to the classical $Q$-system relations, and write the identity of the $q$-graded fermionic sums as a constant term identity. As an application, we will show that these quantum $Q$-system relations are consistent with the short exact sequence of the Feigin-Loktev fusion product of Kirillov-Reshetikhin modules obtained by Chari and Venkatesh.
On Generalizations of the Newton-Raphson-Simpson Method
We present generalizations of the Newton-Raphson-Simpson method. Specifically, for a positive integer $m$ and the sequence of coefficients of a Taylor series of a function $f(z)$, we define an algorithm we denote by NRS($m$) which is a way to evaluate, in our terminology, a sum of $m$ formal zeros of $f(z)$. We prove that NRS(1) yields the familiar iterations of the Newton-Raphson-Simpson method. We also prove that NRS($m$) is way to evaluate certain $\mathscr{A}$-hypergeometric series defined by Sturmfels. In order to define these algorithms, we make use of combinatorial objects which we call trees with negative vertex degree.