sequence
7073 papers tagged with this keyword
Quiver mutations and Boolean reflection monoids
Published in Journal of Algebra, Volume 544, 15 February 2020, Pages 417-453
• View Publication
• BIB
In 2010, Everitt and Fountain introduced the concept of reflection monoids. The Boolean reflection monoids form a family of reflection monoids (symmetric inverse semigroups are Boolean reflection monoids of type $A$). In this paper, we give a family of presentations of Boolean reflection monoids and show how these presentations are compatible with quiver mutations of orientations of Dynkin diagrams with frozen vertices. Our results recover the presentations of Boolean reflection monoids given by Everitt and Fountain and the presentations of symmetric inverse semigroups given by Popova respectively. Surprisingly, inner by diagram automorphisms of irreducible Weyl groups and Boolean reflection monoids can be constructed by sequences of mutations preserving the same underlying diagrams. Besides, we show that semigroup algebras of Boolean reflection monoids are cellular algebras.
Representation stability on the cohomology of complements of subspace arrangements
Published
• View Publication
• BIB
We study representation stability in the sense of Church and Farb of sequences of cohomology groups of complements of arrangements of linear subspaces in real and complex space as $S_n$-modules. We consider arrangement of linear subspaces defined by sets of diagonal equalities $x_i = x_j$ and invariant under the action of $S_n$ permuting the coordinates. We provide bounds on the point when stabilization occurs and an alternative proof for the fact that stabilization happens. The latter is a special case of a very general stabilization result of Gadish and for the pure braid space the result is part of the work of Church and Farb. For this space better stabilization bounds were obtained by Hersh and Reiner.
Scaling limits of Cayley graphs with polynomially growing balls
Benjamini, Finucane and the first author have shown that if (G_n,S_n) is a sequence of Cayley graphs such that |S_n^n|=O(n^D|S_n|), then the sequence (G_n,d_{S_n}/n) is relatively compact for the Gromov-Hausdorff topology and every cluster point is a connected nilpotent Lie group equipped with a left-invariant sub-Finsler metric. In this paper we show that the dimension of such a cluster point is bounded by D, and that, under the stronger bound |S_n^n|=O(n^D), the homogeneous dimension of a cluster point is bounded by D. Our approach is roughly to use a well-known structure theorem for approximate groups due to Breuillard, Green and Tao to replace S_n^n with a coset nilprogression of bounded rank, and then to use results about nilprogressions from a previous paper of ours to study the ultralimits of such coset nilprogressions. As an application we bound the dimension of the scaling limit of a sequence of vertex-transitive graphs of large diameter. We also recover and effectivise parts of an argument of Tao concerning the further growth of single set S satisfying the bound |S^n| < Mn^D|S|.
On Generalizations of the Pell Sequence
In this paper, we investigate the generalized Pell sequence, the generalized complex Pell sequence and the generalized dual Pell sequence using the Pell numbers. We obtain special cases of these sequences. Furthermore, we give recurrence relations, vectors, the silver ratio and Binet's formula for the above-investigated sequences.
On the probability of nonexistence in binomial subsets
Published
• View Publication
• BIB
Given a hypergraph $Γ=(Ω,\mathcal{X})$ and a sequence $\mathbf{p} = (p_ω)_{ω\in Ω}$ of values in $(0,1)$, let $Ω_{\mathbf{p}}$ be the random subset of $Ω$ obtained by keeping every vertex $ω$ independently with probability $p_ω$. We investigate the general question of deriving fine (asymptotic) estimates for the probability that $Ω_{\mathbf{p}}$ is an independent set in $Γ$, which is an omnipresent problem in probabilistic combinatorics. Our main result provides a sequence of upper and lower bounds on this probability, each of which can be evaluated explicitly in terms of the joint cumulants of small sets of edge indicator random variables. Under certain natural conditions, these upper and lower bounds coincide asymptotically, thus giving the precise asymptotics of the probability in question. We demonstrate the applicability of our results with two concrete examples: subgraph containment in random (hyper)graphs and arithmetic progressions in random subsets of the integers.
Chromatic Number and Dichromatic Polynomial of Digraphs
Let $G$ be a graph of order $n$. It is well-known that $α(G)\geq \sum_{i=1}^n \frac{1}{1+d_i}$, where $α(G)$ is the independence number of $G$ and $d_1,\ldots,d_n$ is the degree sequence of $G$. We extend this result to digraphs by showing that if $D$ is a digraph with $n$ vertices, then $ α(D)\geq \sum_{i=1}^n \left( \frac{1}{1+d_i^+} + \frac{1}{1+d_i^-}
- \frac{1}{1+d_i}\right)$, where $α(D)$ is the maximum size of an acyclic vertex set of $D$. Golowich proved that for any digraph $D$, $χ(D)\leq \lceil \frac{4k}{5} \rceil+2$, where $k=max(Δ^+(D),Δ^-(D))$. We give a short and simple proof for this result. Next, we investigate the chromatic number of tournaments and determine the unique tournament such that for every integer $k>1$, the number of proper $k$-colorings of that tournament is maximum among all strongly connected tournaments with the same number of vertices. Also, we find the chromatic polynomial of the strongly connected tournament with the minimum number of cycles.
Sequences of radius $k$ for complete bipartite graphs
Published in Discrete Applied Mathematics 225, pp. 51--63. 2017
• View Publication
• BIB
A \emph{$k$-radius sequence} for a graph $G$ is a sequence of vertices of $G$ (typically with repetitions) such that for every edge $uv$ of $G$ vertices $u$ and $v$ appear at least once within distance $k$ in the sequence. The length of a shortest $k$-radius sequence for $G$ is denoted by $f_k(G)$. We give an asymptotically tight estimation on $f_k(G)$ for complete bipartite graphs {which matches a lower bound, valid for all bipartite graphs}. We also show that determining $f_k(G)$ for an arbitrary graph $G$ is NP-hard for every constant $k>1$.
On k-Total Dominating Graphs
For a graph G, the k-total dominating graph D_{k}^{t}(G) is the graph whose vertices correspond to the total dominating sets of G that have cardinality at most k; two vertices of D_{k}^{t}(G) are adjacent if and only if the corresponding total dominating sets of G differ by either adding or deleting a single vertex. The graph D_{k}^{t}(G) is used to study the reconfiguration problem for total dominating sets: a total dominating set can be reconfigured to another by a sequence of single vertex additions and deletions, such that the intermediate sets of vertices at each step are total dominating sets, if and only if they are in the same component of D_{k}^{t}(G). Let d_{0}(G) be the smallest integer r such that D_{k}^{t}(G) is connected for all k greater than or equal to r. We investigate the realizability of graphs as total dominating graphs. For k the upper total domination number Γ_{t}(G), we show that any graph without isolated vertices is an induced subgraph of a graph G such that D_{k}^{t}(G) is connected. We show that d_{0}(G) lies between Γ_{t}(G) and n (inclusive) for any connected graph G of order n at least 3, characterize the graphs for which either bound is realized, and determine d_{0}(C_{n}) and d_{0}(P_{n}).
From randomness in two symbols to randomness in three symbols
Published
• View Publication
• BIB
In 1909 Borel defined normality as a notion of randomness of the digits of the representation of a real number over certain base (fractional expansion). If we think the representation of a number over a base as an infinite sequence of symbols from a finite alphabet $A$, we can define normality directly for words of symbols of $A$: A word $x$ is normal to the alphabet $A$ if every finite block of symbols from $A$ appears with the same asymptotic frequency in $x$ as every other block of the same length. Many examples of normal words have been found since its definition, being Champernowne in 1933 the first to show an explicit and simple instance. Moreover, it has been characterized how we can select subsequences of a normal word $x$ preserving its normality, always leaving the alphabet $A$ fixed. In this work we consider the dual problem which consists of inserting symbols in infinite positions of a given word, in such a way that normality is preserved. Specifically, given a symbol $s$ that is not present on the original alphabet $A$ and given a word $x$ that is normal to the alphabet $A$ we solve how to insert the symbol $s$ in infinite positions of the word $x$ such that the resulting word is normal to the expanded alphabet $A\cup \{s\}$.
On Pure Degree Sequence Manipulations Forcing Long Cycles in Graphs
The well-known Hamiltonian sufficient conditions, proposed by Dirac, Faudree et al., Pósa, Bondy, Chvátal are based on pure degree manipulations without any additional conditions. In this paper, we present two new types of pure degree manipulations that produce relatively simpler (in view of verification) results. The reverse versions (long-cycle versions) of the obtained results are presented as well. The importance of pure degree manipulations is motivated by their amenability (as starting points) to generalizations and new ideas in a great variety of ways.
The packing number of the double vertex graph of the path graph
Published in Discrete Appl. Math, 247 (2018) 327-340
• View Publication
• BIB
Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane's graph. Our solution implies a conjecture of Rob Pratt about the ordinary generating function of sequence A085680.
Inverting the Turán Problem
Published
• View Publication
• BIB
Classical questions in extremal graph theory concern the asymptotics of $\operatorname{ex}(G, \mathcal{H})$ where $\mathcal{H}$ is a fixed family of graphs and $G=G_n$ is taken from a `standard' increasing sequence of host graphs $(G_1, G_2, \dots)$, most often $K_n$ or $K_{n,n}$. Inverting the question, we can instead ask how large $e(G)$ can be with respect to $\operatorname{ex}(G,\mathcal{H})$. We show that the standard sequences indeed maximize $e(G)$ for some choices of $\mathcal{H}$, but not for others. Many interesting questions and previous results arise very naturally in this context, which also, unusually, gives rise to sensible extremal questions concerning multigraphs and non-uniform hypergraphs.
On Powers of the Catalan Number Sequence
Published in Discrete Mathematics (2018)
• View Publication
• BIB
The Catalan number sequence is one of the most famous number sequences in combinatorics and is well studied in the literature. In this paper we further investigate its fundamental properties related to the moment problem and prove for the first time that it is an infinitely divisible Stieltjes moment sequence in the sense of S.-G. Tyan. Besides, any positive real power of the sequence is still a Stieltjes determinate sequence. Some more cases including (a) the central binomial coefficient sequence (related to the Catalan sequence), (b) a double factorial number sequence and (c) the generalized Catalan (or Fuss-Catalan) sequence are also investigated. Finally, we pose two conjectures including the determinacy equivalence between powers of nonnegative random variables and powers of their moment sequences, which is supported by some existing results.
On the Computational Complexity of Non-dictatorial Aggregation
Published in Journal of Artificial Intelligence Research 72 (2021) 137-183
• View Publication
• BIB
We investigate when non-dictatorial aggregation is possible from an algorithmic perspective, where non-dictatorial aggregation means that the votes cast by the members of a society can be aggregated in such a way that there is no single member of the society that always dictates the collective outcome. We consider the setting in which the members of a society take a position on a fixed collection of issues, where for each issue several different alternatives are possible, but the combination of choices must belong to a given set X of allowable voting patterns. Such a set X is called a possibility domain if there is an aggregator that is non-dictatorial, operates separately on each issue, and returns values among those cast by the society on each issue. We design a polynomial-time algorithm that decides, given a set X of voting patterns, whether or not X is a possibility domain. Furthermore, if X is a possibility domain, then the algorithm constructs in polynomial time a non-dictatorial aggregator for X. Furthermore, we show that the question of whether a Boolean domain X is a possibility domain is in NLOGSPACE. We also design a polynomial-time algorithm that decides whether X is a uniform possibility domain, that is, whether X admits an aggregator that is non-dictatorial even when restricted to any two positions for each issue. As in the case of possibility domains, the algorithm also constructs in polynomial time a uniform non-dictatorial aggregator, if one exists. Then, we turn our attention to the case where X is given implicitly, either as the set of assignments satisfying a propositional formula, or as a set of consistent evaluations of a sequence of propositional formulas. In both cases, we provide bounds to the complexity of deciding if X is a (uniform) possibility domain.
The quasi principal rank characteristic sequence
Published in Linear Algebra and its Applications 548 (2018), 42--56
• View Publication
• BIB
A minor of a matrix is quasi-principal if it is a principal or an almost-principal minor. The quasi principal rank characteristic sequence (qpr-sequence) of an $n\times n$ symmetric matrix is introduced, which is defined as $q_1 q_2 \cdots q_n$, where $q_k$ is $\tt A$, $\tt S$, or $\tt N$, according as all, some but not all, or none of its quasi-principal minors of order $k$ are nonzero. This sequence extends the principal rank characteristic sequences in the literature, which only depend on the principal minors of the matrix. A necessary condition for the attainability of a qpr-sequence is established. Using probabilistic techniques, a complete characterization of the qpr-sequences that are attainable by symmetric matrices over fields of characteristic $0$ is given.
On $AP_3$ - covering sequences
Published in C. R. Acad. Sci. Paris, Ser. I 356 (2018), 121-124
• View Publication
• BIB
Recently, motivated by Stanley sequences, Kiss, S\' andor and Yang introduced a new type sequence: a sequence $A$ of nonnegative integers is called an $AP_k$ - covering sequence if there exists an integer $n_0$ such that if $n > n_0$, then there exist $a_1\in A, \dots , a_{k-1}\in A$, $a_1<a_2<\cdots <a_{k-1}<n$ such that $a_1, \dots , a_{k-1}, n$ form a $k$-term arithmetic progression. They prove that there exists an $AP_3$ - covering sequence $A$ such that $\limsup\limits_{n\to\infty}{A(n)}/{\sqrt n}\le 34$. In this note, we prove that there exists an $AP_3$ - covering sequence $A$ such that $\limsup\limits_{n\to\infty}{A(n)}/{\sqrt n}=\sqrt{15}$.
The number of spanning trees in circulant graphs, its arithmetic properties and asymptotic
Published
• View Publication
• BIB
In this paper, we develop a new method to produce explicit formulas for the number $τ(n)$ of spanning trees in the undirected circulant graphs $C_{n}(s_1,s_2,\ldots,s_k)$ and $C_{2n}(s_1,s_2,\ldots,s_k,n).$ Also, we prove that in both cases the number of spanning trees can be represented in the form $τ(n)=p \,n \,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending on the parity of $n.$ Finally, we find an asymptotic formula for $τ(n)$ through the Mahler measure of the associated Laurent polynomial $L(z)=2k-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$
Combinatorial cost: a coarse setting
Published
• View Publication
• BIB
The main inspiration for this paper is a paper by Elek where he introduces combinatorial cost for graph sequences. We show that having cost equal to 1 and hyperfiniteness are coarse invariants. We also show `cost-1' for box spaces behaves multiplicatively when taking subgroups. We show that graph sequences coming from Farber sequences of a group have property A if and only if the group is amenable. The same is true for hyperfiniteness. This generalises a theorem by Elek. Furthermore we optimise this result when Farber sequences are replaced by sofic approximations. In doing so we introduce a new concept: property almost-A.
Designing RNA Secondary Structures is Hard
Published
• View Publication
• BIB
An RNA sequence is a word over an alphabet on four elements $\{A,C,G,U\}$ called bases. RNA sequences fold into secondary structures where some bases match one another while others remain unpaired. Pseudoknot-free secondary structures can be represented as well-parenthesized expressions with additional dots, where pairs of matching parentheses symbolize paired bases and dots, unpaired bases. The two fundamental problems in RNA algorithmic are to predict how sequences fold within some model of energy and to design sequences of bases which will fold into targeted secondary structures. Predicting how a given RNA sequence folds into a pseudoknot-free secondary structure is known to be solvable in cubic time since the eighties and in truly subcubic time by a recent result of Bringmann et al. (FOCS 2016). As a stark contrast, it is unknown whether or not designing a given RNA secondary structure is a tractable task; this has been raised as a challenging open question by Anne Condon (ICALP 2003). Because of its crucial importance in a number of fields such as pharmaceutical research and biochemistry, there are dozens of heuristics and software libraries dedicated to RNA secondary structure design. It is therefore rather surprising that the computational complexity of this central problem in bioinformatics has been unsettled for decades.
In this paper we show that, in the simplest model of energy which is the Watson-Crick model the design of secondary structures is NP-complete if one adds natural constraints of the form: index $i$ of the sequence has to be labeled by base $b$. This negative result suggests that the same lower bound holds for more realistic models of energy. It is noteworthy that the additional constraints are by no means artificial: they are provided by all the RNA design pieces of software and they do correspond to the actual practice.
An efficient dual sampling algorithm with Hamming distance filtration
Published
• View Publication
• BIB
Recently, a framework considering RNA sequences and their RNA secondary structures as pairs, led to some information-theoretic perspectives on how the semantics encoded in RNA sequences can be inferred. In this context, the pairing arises naturally from the energy model of RNA secondary structures. Fixing the sequence in the pairing produces the RNA energy landscape, whose partition function was discovered by McCaskill. Dually, fixing the structure induces the energy landscape of sequences. The latter has been considered for designing more efficient inverse folding algorithms.
We present here the Hamming distance filtered, dual partition function, together with a Boltzmann sampler using novel dynamic programming routines for the loop-based energy model. The time complexity of the algorithm is $O(h^2n)$, where $h,n$ are Hamming distance and sequence length, respectively, reducing the time complexity of samplers, reported in the literature by $O(n^2)$. We then present two applications, the first being in the context of the evolution of natural sequence-structure pairs of microRNAs and the second constructing neutral paths. The former studies the inverse fold rate (IFR) of sequence-structure pairs, filtered by Hamming distance, observing that such pairs evolve towards higher levels of robustness, i.e.,~increasing IFR. The latter is an algorithm that constructs neutral paths: given two sequences in a neutral network, we employ the sampler in order to construct short paths connecting them, consisting of sequences all contained in the neutral network.