sequence
6845 papers tagged with this keyword
Lower bounds for Laplacian spread and relations with invariant parameters revisited
Let $G=\left( V\left( G\right) ,E\left( G\right) \right) $ be an $\left( n,m\right) $-graph and $X$ a nonempty proper subset of $V\left( G\right) $. Let $X^{c}=V\left( G\right) \backslash X$.\ The edge density of $X$ in $G$ is given by \begin{equation*} ρ_{G}\left( X\right) =\frac{n\left\vert E_{X}\left( G\right) \right\vert }{\left\vert X\right\vert \left\vert X^{c}\right\vert }, \end{equation*} where $E_{X}\left( G\right) \ $ is the set of edges in $G$ with one end in $% X $ and the other in $X^{c}$. The Laplacian spread of a graph is the difference between the greatest Laplacian eigenvalue and the algebraic connectivity. In this paper, we use the edge density of some nonempty proper subsets of vertices in $G$ to establish new lower bounds for the Laplacian spread. Also, using some known numerical inequalities some lower bounds for the Laplacian spread of a graph with a prescribed degree sequence are presented.
Probabilistic nilpotence in infinite groups
Published in Israel J. Math. 244 (2021), 539-588
• View Publication
• BIB
The 'degree of k-step nilpotence' of a finite group G is the proportion of the tuples (x_1,...,x_{k+1}) in G^{k+1} for which the simple commutator [x_1,...,x_{k+1}] is equal to the identity. In this paper we study versions of this for an infinite group G, with the degree of nilpotence defined by sampling G in various natural ways, such as with a random walk, or with a Folner sequence if G is amenable. In our first main result we show that if G is finitely generated then the degree of k-step nilpotence is positive if and only if G is virtually k-step nilpotent. This generalises both an earlier result of the second author treating the case k=1 and a result of Shalev for finite groups, and uses techniques from both of these earlier results. We also show, using the notion of polynomial mappings of groups developed by Leibman and others, that to a large extent the degree of nilpotence does not depend on the method of sampling. As part of our argument we generalise a result of Leibman by showing that if f is a polynomial mapping into a torsion-free nilpotent group then the set of roots of f is sparse in a certain sense. In our second main result we consider the case where G is residually finite but not necessarily finitely generated. Here we show that if the degree of k-step nilpotence of the finite quotients of G is uniformly bounded from below then G is virtually k-step nilpotent, answering a question of Shalev. As part of our proof we show that degree of nilpotence of finite groups is sub-multiplicative with respect to quotients, generalising a result of Gallagher.
A study on prefixes of $c_2$ invariants
Published
• View Publication
• BIB
This document begins by reviewing recent progress that has been made by taking a combinatorial perspective on the $c_2$ invariant, an arithmetic graph invariant with connections to Feynman integrals. Then it proceeds to report on some recent calculations of $c_2$ invariants for two families of circulant graphs at small primes. These calculations support the idea that all possible finite sequences appear as initial segments of $c_2$ invariants, in contrast to their apparent sparsity on small graphs.
Weil sums of binomials: properties, applications, and open problems
Published
• View Publication
• BIB
We present a survey on Weil sums in which an additive character of a finite field $F$ is applied to a binomial whose individual terms (monomials) become permutations of $F$ when regarded as functions. Then we indicate how these Weil sums are used in applications, especially how they characterize the nonlinearity of power permutations and the correlation of linear recursive sequences over finite fields. In these applications, one is interested in the spectrum of Weil sum values that are obtained as the coefficients in the binomial are varied. We review the basic properties of such spectra, and then give a survey of current topics of research: Archimedean and non-Archimedean bounds on the sums, the number of values in the spectrum, and the presence or absence of zero in the spectrum. We indicate some important open problems and discuss progress that has been made on them.
The On-Line Encyclopedia of Integer Sequences
Published
• View Publication
• BIB
The recent history of The On-Line Encyclopedia of Integer Sequences (or OEIS), describing developments since 2009, and discussing recent sequences involving interesting unsolved problems and in many cases spectacular illustrations. These include: Peaceable Queens, circles in the plane, the earliest cube-free binary sequence, the EKG and Yellowstone permutations, other lexicographically earliest sequences, iteration of number-theoretic functions, home primes and power trains, a memorable prime, a missing prime, Post's tag system, and coordination sequences.
A general construction of Ordered Orthogonal Arrays using LFSRs
Published
• View Publication
• BIB
In \cite{Castoldi}, $q^t \by (q+1)t$ ordered orthogonal arrays (OOAs) of strength $t$ over the alphabet $\FF_q$ were constructed using linear feedback shift register sequences (LFSRs) defined by {\em primitive} polynomials in $\FF_q[x]$. In this paper we extend this result to all polynomials in $\FF_q[x]$ which satisfy some fairly simple restrictions, restrictions that are automatically satisfied by primitive polynomials. While these restrictions sometimes reduce the number of columns produced from $(q+1)t$ to a smaller multiple of $t$, in many cases we still obtain the maximum number of columns in the constructed OOA when using non-primitive polynomials. For small values of $q$ and $t$, we generate OOAs in this manner for all permissible polynomials of degree $t$ in $\FF_q[x]$ and compare the results to the ones produced in \cite{Castoldi}, \cite{Rosenbloom} and \cite{Skriganov} showing how close the arrays are to being "full" orthogonal arrays. Unusually for finite fields, our arrays based on non-primitive irreducible and even reducible polynomials are closer to orthogonal arrays than those built from primitive polynomials.
Dungeons and Dragons: Combinatorics for the $dP_3$ Quiver
Published
• View Publication
• BIB
In this paper, we utilize the machinery of cluster algebras, quiver mutations, and brane tilings to study a variety of historical enumerative combinatorics questions all under one roof. Previous work [Zha, LMNT14], which arose during the second author's monitorship of undergraduates, and more recently of both authors [LM17], analyzed the cluster algebra associated to the cone over $\mathbf{dP_3}$, the del Pezzo surface of degree $6$ ($\mathbb{CP}^2$ blown up at three points). By investigating sequences of toric mutations, those occurring only at vertices with two incoming and two outgoing arrows, in this cluster algebra, we obtained a family of cluster variables that could be parameterized by $\mathbb{Z}^3$ and whose Laurent expansions had elegant combinatorial interpretations in terms of dimer partition functions (in most cases). While the earlier work [Zha, LMNT14, LM17] focused exclusively on one possible initial seed for this cluster algebra, there are in total four relevant initial seeds (up to graph isomorphism). In the current work, we explore the combinatorics of the Laurent expansions from these other initial seeds and how this allows us to relate enumerations of perfect matchings on Dungeons to Dragons.
On the Complexity of the Cogrowth Sequence
Published
• View Publication
• BIB
Given a finitely generated group with generating set $S$, we study the \emph{cogrowth} sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks in a Cayley graph with steps from $S$. We prove that the cogrowth sequence is not $P$-recursive when~$G$ is an amenable group of superpolynomial growth, answering a question of Garrabant and Pak.
Anti-regular graphs with loops and their spectrum
We characterize the graphs with loops whose degree sequences have no repeated values and find their adjacency spectrum. In the case of simple graphs, such graphs are called anti-regular graphs and are examples of threshold graphs. The spectrum is found by using the known relationship between tridiagonal matrices and orthogonal polynomials.
Universality of vector sequences and universality of Tverberg partitions
A result of Rosenthal says that for every $q>1$ and $n \in \mathbb{N}$ there is $N \in \mathbb{N}$ such that every sequence of $N$ distinct positive numbers contains, after a suitable translation and possible multiplication by $-1$, a subsequence $a_1,\ldots,a_n$ that is either $q$-increasing (that is, $a_{i+1}>qa_i$ for all $i$) or $1/q$-decreasing ($a_{i+1}<a_i/q$ for all $i$). One of our main theorems extends this result to vector sequences. This theorem is then used to prove the universality theorem for Tverberg partitions which says that, for every $d$ and $r$, every long enough sequence of points in $\mathbb{R}^d$ in general position contains a subsequence of length $n$ whose Tverberg partitions are exactly the so called rainbow partitions.
Increasing Consecutive Patterns in Words
Published
• View Publication
• BIB
We show how to enumerate words in $1^{m_1} \dots n^{m_n}$ that avoid the increasing consecutive pattern $12 \dots r$ for any $r \geq 2$. Our approach yields an $O(n^{s+1})$ algorithm to enumerate words in $1^s \dots n^s$, avoiding the consecutive pattern $1\dots r$, for any $s$, and any $r$. This enables us to supply many more terms to quite a few OEIS sequences, and create new ones. We also treat the more general case of counting words with a specified number of the pattern of interest (the avoiding case corresponding to zero appearances). This article is accompanied by three Maple packages implementing our algorithms.
Enumerating sparse uniform hypergraphs with given degree sequence and forbidden edges
Published
• View Publication
• BIB
For $n\geq 3$ and $r=r(n) \geq 3$, let $\boldsymbol{k} =\boldsymbol{k}(n)=(k_1, \ldots, k_n)$ be a sequence of non-negative integers with sum $M(\boldsymbol{k})=\sum_{j=1}^{n} k_j$. We assume that $M(\boldsymbol{k})$ is divisible by $r$ for infinitely many values of $n$, and restrict our attention to these values. Let $X=X(n)$ be a simple $r$-uniform hypergraph on the vertex set $V=\{v_1,v_2, \ldots, v_n\}$ with $t$ edges and maximum degree $x_{\max}$. We denote by $\mathcal{H}_r(\boldsymbol{k})$ the set of all simple $r$-uniform hypergraphs on the vertex set $V$ with degree sequence $\boldsymbol{k}$, and let $\mathcal{H}_r(\boldsymbol{k},X)$ be the set of all hypergraphs in $\mathcal{H}_r(\boldsymbol{k})$ which contain no edge of $X$. We give an asymptotic enumeration formula for the size of $\mathcal{H}_r(\boldsymbol{k},X)$. This formula holds when $r^4 k_{\max}^3=o(M(\boldsymbol{k}))$, $t\, k_{\max}^{3}\, =o(M(\boldsymbol{k})^2)$ and $r\,t\,k_{\max}^4 = o(M(\boldsymbol{k})^3)$. Our proof involves the switching method.
As a corollary, we obtain an asymptotic formula for the number of hypergraphs in $\mathcal{H}_r(\boldsymbol{k})$ which contain every edge of $X$. We apply this result to find asymptotic expressions for the expected number of perfect matchings and loose Hamilton cycles in a random hypergraph in $\mathcal{H}_r(\boldsymbol{k})$ in the regular case.
Biased partitions of $\mathbb{Z}^n$
Published in European Journal of Combinatorics 79 (2019): 262-270
• Search Publication
Given a function $f$ on the vertex set of some graph $G$, a scenery, let a simple random walk run over the graph and produce a sequence of values. Is it possible to, with high probability, reconstruct the scenery $f$ from this random sequence? To show this is impossible for some graphs, Gross and Grupel, call a function $f:V\to\{0,1\}$ on the vertex set of a graph $G=(V,E)$ $p$-biased if for each vertex $v$ the fraction of neighbours on which $f$ is 1 is exactly $p$. Clearly, two $p$-biased functions are indistinguishable based on their sceneries. Gross and Grupel construct $p$-biased functions on the hypercube $\{0,1\}^n$ and ask for what $p\in[0,1]$ there exist $p$-biased functions on $\mathbb{Z}^n$ and additionally how many there are. We fully answer this question by giving a complete characterization of these values of $p$. We show that $p$-biased functions exist for all $p=c/2n$ with $c\in\{0,\dots,2n\}$ and, in fact, there are uncountably many of them for every $c\in\{1,\dots,2n-1\}$. To this end, we construct uncountably many partitions of $\mathbb{Z}^n$ into $2n$ parts such that every element of $\mathbb{Z}^n$ has exactly one neighbour in each part. This additionally shows that not all sceneries on $\mathbb{Z}^n$ can be reconstructed from a sequence of values on attained on a simple random walk.
Strong Skolem Starters
Published
• View Publication
• BIB
This paper concerns a class of combinatorial objects called Skolem starters, and more specifically, strong Skolem starters, which are generated by Skolem sequences.
In 1991, Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or $3\pmod{8},\ n\ge11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\le n\le57$. Only finitely many strong Skolem starters have been known to date.
In this paper, we offer a geometrical interpretation of strong Skolem starters and explicitly construct infinite families of them.
Transforming graph states using single-qubit operations
Published in Philosophical Transactions of the Royal Society A 376: 20170325, 2018, Special issue: 'Foundations of quantum mechanics and their impact on contemporary society'
• View Publication
• BIB
Stabilizer states form an important class of states in quantum information, and are of central importance in quantum error correction. Here, we provide an algorithm for deciding whether one stabilizer (target) state can be obtained from another stabilizer (source) state by single-qubit Clifford operations (LC), single-qubit Pauli measurements (LPM), and classical communication (CC) between sites holding the individual qubits. What's more, we provide a recipe to obtain the sequence of LC+LPM+CC operations which prepare the desired target state from the source state, and show how these operations can be applied in parallel to reach the target state in constant time. Our algorithm has applications in quantum networks, quantum computing, and can also serve as a design tool - for example, to find transformations between quantum error correcting codes. We provide a software implementation of our algorithm that makes this tool easier to apply.
A key insight leading to our algorithm is to show that the problem is equivalent to one in graph theory, which is to decide whether some graph G' is a vertex-minor of another graph G. Here we show that the vertex-minor problem can be solved in time O(|G|^3) where |G| is the size of the graph G, whenever the rank-width of G and the size of G' are bounded. Our algorithm is based on techniques by Courcelle for solving fixed parameter tractable problems, where here the relevant fixed parameter is the rank width. The second half of this paper serves as an accessible but far from exhausting introduction to these concepts, that could be useful for many other problems in quantum information.
Enumeration of Complex Golay Pairs via Programmatic SAT
Published
• View Publication
• BIB
We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This independently verifies work done by F. Fiedler in 2013 that confirms the 2002 conjecture of Craigen, Holzmann, and Kharaghani that complex Golay pairs of length 23 don't exist. Our enumeration method relies on the recently proposed SAT+CAS paradigm of combining computer algebra systems with SAT solvers to take advantage of the advances made in the fields of symbolic computation and satisfiability checking. The enumeration proceeds in two stages: First, we use a fine-tuned computer program and functionality from computer algebra systems to construct a list containing all sequences which could appear as the first sequence in a complex Golay pair (up to equivalence). Second, we use a programmatic SAT solver to construct all sequences (if any) that pair off with the sequences constructed in the first stage to form a complex Golay pair.
Approximations of Mappings
We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem of the construction of a continuous limit for first-order convergent sequences of finite mappings. We solve the approximation problem and, consequently, the full characterization of limit objects for mappings for first-order (i.e. ${\rm FO}$) convergence and local (i.e. ${\rm FO}^{\rm local}$) convergence.
This work can be seen both as a first step in the resolution of inverse problems (like Aldous-Lyons conjecture) and a strengthening of the classical decidability result for finite satisfiability in Rabin class (which consists of first-order logic with equality, one unary function, and an arbitrary number of monadic predicates).
The proof involves model theory and analytic techniques.
On the combinatorics of circular codes
The present paper is devoted to the study of the combinatorics of 216 maximal $C^3$ circular codes --- a particular type of structure arising in the analysis of genomic sequences. Their circularity property is believed to be intimately connected to the protection against the reading frame shift in the process of RNA translation. We present some new observations concerning the internal structure of circular codes, which give a way to construct all of them in a relatively simple manner.
Forbidden formations in 0-1 matrices
Published
• View Publication
• BIB
Keszegh (2009) proved that the extremal function $ex(n, P)$ of any forbidden light $2$-dimensional 0-1 matrix $P$ is at most quasilinear in $n$, using a reduction to generalized Davenport-Schinzel sequences. We extend this result to multidimensional matrices by proving that any light $d$-dimensional 0-1 matrix $P$ has extremal function $ex(n, P,d) = O(n^{d-1}2^{α(n)^{t}})$ for some constant $t$ that depends on $P$.
To prove this result, we introduce a new family of patterns called $(P, s)$-formations, which are a generalization of $(r, s)$-formations, and we prove upper bounds on their extremal functions. In many cases, including permutation matrices $P$ with at least two ones, we are able to show that our $(P, s)$-formation upper bounds are tight.
Ramsey theory without pigeonhole principle and the adversarial Ramsey principle
Published
• View Publication
• BIB
We develop a general framework for infinite-dimensional Ramsey theory with and without pigeonhole principle, inspired by Gowers' Ramsey-type theorem for block sequences in Banach spaces and by its exact version proved by Rosendal. In this framework, we prove the adversarial Ramsey principle for Borel sets, a result conjectured by Rosendal that generalizes at the same time his version of Gowers' theorem and Borel determinacy of games on integers.