sequence
7073 papers tagged with this keyword
The colored Jones polynomial and Kontsevich-Zagier series for double twist knots
Published in Journal of Knot Theory and its Ramifications 30 (2021), no. 5, Paper No. 2150031, 28 pp
• View Publication
• BIB
Using a result of Takata, we prove a formula for the colored Jones polynomial of the double twist knots $K_{(-m,-p)}$ and $K_{(-m,p)}$ where $m$ and $p$ are positive integers. In the $(-m,-p)$ case, this leads to new families of $q$-hypergeometric series generalizing the Kontsevich-Zagier series. Comparing with the cyclotomic expansion of the colored Jones polynomials of $K_{(m,p)}$ gives a generalization of a duality at roots of unity between the Kontsevich-Zagier function and the generating function for strongly unimodal sequences.
Constructing Directed Cayley Graphs of Small Diameter: A Potent Solovay-Kitaev Procedure
Published
• View Publication
• BIB
Let $Γ$ be a group and $(Γ_n)_{n=1} ^{\infty}$ be a descending sequence of finite-index normal subgroups. We establish explicit upper bounds on the diameters of the directed Cayley graphs of the $Γ/Γ_n$ , under some natural hypotheses on the behaviour of power and commutator words in $Γ$. The bounds we obtain do not depend on a choice of generating set. Moreover under reasonable conditions our method provides a fast algorithm for constructing directed Cayley graphs of diameter satisfying our bounds. The proof is closely analogous to the the Solovay-Kitaev procedure, which only uses commutator words, but also only constructs small-diameter undirected Cayley graphs. As an application we give directed diameter bounds on finite quotients of two very different groups: $SL_2 (\mathbb{F}_q [[t]])$ (for $q$ even) and a group of automorphisms of the ternary rooted tree introduced by Fabrykowski and Gupta.
Wilf-collapse in permutation classes having two basis elements of size three
We consider permutation classes having two basis elements of size three and one further basis element. We completely classify the possible enumeration sequences of such classes and demonstrate that there are far fewer of them than might be expected in principle.
Recurrence sequences connected with the $m$--ary partition function and their divisibility properties
In this paper we introduce a class of sequences connected with the $m$--ary partition function and investigate their congruence properties. In particular, we get facts about the sequences of $m$--ary partitions $(b_{m}(n))_{m\in\mathbb{N}}$ and $m$--ary partitions with no gaps $(c_{m}(n))_{m\in\mathbb{N}}$. We prove, for example, that for any natural number $2<h\leq m+1$ in both sequences $(b_{m}(n))_{m\in\mathbb{N}}$ and $(c_{m}(n))_{m\in\mathbb{N}}$ any residue class modulo $h$ appears infinitely many times.
Moreover, we give new proofs of characterisations modulo $m$ in terms of base--$m$ representation of $n$ for sequences $(b_{m}(n))_{m\in\mathbb{N}}$ and $(c_{m}(n))_{m\in\mathbb{N}}$. We also present a general method of finding such characterisations modulo any power of $m$. Using our approach we get description of $(b_{m}(n)\mod{μ_{2}})_{n\in\mathbb{N}}$, where $μ_{2}=m^{2}$ if $m$ is odd and $μ_{2}=m^{2}/2$ if $m$ is even.
On Mixing Behavior of a Family of Random Walks Determined by a Linear Recurrence
Published
• View Publication
• BIB
We study random walks on the integers mod $G_n$ that are determined by an integer sequence $\{ G_n \}_{n \geq 1}$ generated by a linear recurrence relation. Fourier analysis provides explicit formulas to compute the eigenvalues of the transition matrices and we use this to bound the mixing time of the random walks.
Partitions of unity in $\mathrm{SL}(2,\mathbb Z)$, negative continued fractions, and dissections of polygons
Published in Res. Math. Sci. 5 (2018), no. 2, 5:21
• View Publication
• BIB
We characterize sequences of positive integers $(a_1,a_2,\ldots,a_n)$ for which the $2\times2$ matrix $\left( \begin{array}{cc} a_n&-1 1&0 \end{array} \right) \left( \begin{array}{cc} a_{n-1}&-1 1&0 \end{array} \right) \cdots \left( \begin{array}{cc} a_1&-1 1&0 \end{array} \right) $ is either the identity matrix $\mathrm Id$, its negative $-\mathrm Id$, or square root of $-\mathrm Id$. This extends a theorem of Conway and Coxeter that classifies such solutions subject to a total positivity restriction.
Optimal Graphs for Independence and $k$-Independence Polynomials
Published
• View Publication
• BIB
The independence polynomial $I(G,x)$ of a finite graph $G$ is the generating function for the sequence of the number of independent sets of each cardinality. We investigate whether, given a fixed number of vertices and edges, there exists optimally-least (optimally-greatest) graphs, that are least (respectively, greatest) for all non-negative $x$. Moreover, we broaden our scope to $k$-independence polynomials, which are generating functions for the $k$-clique-free subsets of vertices. For $k \geq 3$, the results can be quite different from the $k = 2$ (i.e. independence) case.
Combinatorial Miller-Hagberg Algorithm for Randomization of Dense Networks
Published
• View Publication
• BIB
We propose a slightly revised Miller-Hagberg (MH) algorithm that efficiently generates a random network from a given expected degree sequence. The revision was to replace the approximated edge probability between a pair of nodes with a combinatorically calculated edge probability that better captures the likelihood of edge presence especially where edges are dense. The computational complexity of this combinatorial MH algorithm is still in the same order as the original one. We evaluated the proposed algorithm through several numerical experiments. The results demonstrated that the proposed algorithm was particularly good at accurately representing high-degree nodes in dense, heterogeneous networks. This algorithm may be a useful alternative of other more established network randomization methods, given that the data are increasingly becoming larger and denser in today's network science research.
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations
Published
• View Publication
• BIB
Given a triangulation of a point set in the plane, a \emph{flip} deletes an edge $e$ whose removal leaves a convex quadrilateral, and replaces $e$ by the opposite diagonal of the quadrilateral. It is well known that any triangulation of a point set can be reconfigured to any other triangulation by some sequence of flips. We explore this question in the setting where each edge of a triangulation has a label, and a flip transfers the label of the removed edge to the new edge.
It is not true that every labelled triangulation of a point set can be reconfigured to every other labelled triangulation via a sequence of flips. We characterize when this is possible by proving the \emph{Orbit Conjecture} of Bose, Lubiw, Pathak and Verdonschot which states that \emph{all} labels can be simultaneously mapped to their destination if and only if \emph{each} label individually can be mapped to its destination.
Furthermore, we give a polynomial-time algorithm to find a sequence of flips to reconfigure one labelled triangulation to another, if such a sequence exists, and we prove an upper bound of $O(n^7)$ on the length of the flip sequence.
Our proof uses the topological result that the sets of pairwise non-crossing edges on a planar point set form a simplicial complex that is homeomorphic to a high-dimensional ball (this follows from a result of Orden and Santos; we give a different proof based on a shelling argument). The dual cell complex of this simplicial ball, called the \emph{flip complex}, has the usual flip graph as its $1$-skeleton. We use properties of the $2$-skeleton of the flip complex to prove the Orbit Conjecture.
Minimum number of additive tuples in groups of prime order
Published
• View Publication
• BIB
For a prime number $p$ and a sequence of integers $a_0,\dots,a_k\in \{0,1,\dots,p\}$, let $s(a_0,\dots,a_k)$ be the minimum number of $(k+1)$-tuples $(x_0,\dots,x_k)\in A_0\times\dots\times A_k$ with $x_0=x_1+\dots + x_k$, over subsets $A_0,\dots,A_k\subseteq\mathbb{Z}_p$ of sizes $a_0,\dots,a_k$ respectively. An elegant argument of Lev (independently rediscovered by Samotij and Sudakov) shows that there exists an extremal configuration with all sets $A_i$ being intervals of appropriate length, and that the same conclusion also holds for the related problem, reposed by Bajnok, when $a_0=\dots=a_k=:a$ and $A_0=\dots=A_k$, provided $k$ is not equal 1 modulo $p$. By applying basic Fourier analysis, we show for Bajnok's problem that if $p\ge 13$ and $a\in\{3,\dots,p-3\}$ are fixed while $k\equiv 1\pmod p$ tends to infinity, then the extremal configuration alternates between at least two affine non-equivalent sets.
Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound
Published
• View Publication
• BIB
We study the asymptotic behavior of a family of algebraic geometry codes, which we call block-transitive, that generalizes the classes of transitive and quasi-transitive codes. We prove, by using towers of algebraic function fields, that there are sequences of codes in this family attaining the Tsfasman-Vladut-Zink bound over finite fields of square cardinality. We give the exact length of these codes as well as explicit lower bounds for their parameters.
Normality of the Ehrenfeucht-Mycielski Sequence
We study the binary Ehrenfeucht Mycielski sequence seeking a balance between the number of occurrences of different binary strings. There have been numerous attempts to prove the balance conjecture of the sequence, which roughly states that 1 and 0 occur equally often in it. Our contribution is twofold. First, we study weaker forms of the conjecture proved in the past and lay out detailed proofs for many lemmas which were stated without proofs. Secondly, we extend the claim of balance to that of normality and prove a weaker form of simple normality to word length 2.
Hamiltonicity in random graphs is born resilient
Published
• View Publication
• BIB
Let $\{G_M\}_{M\geq 0}$ be the random graph process, where $G_0$ is the empty graph on $n$ vertices and subsequent graphs in the sequence are obtained by adding a new edge uniformly at random. For each $\varepsilon>0$, we show that, almost surely, any graph $G_M$ with minimum degree at least 2 is not only Hamiltonian (as shown by Bollobás), but remains Hamiltonian despite the removal of any set of edges, as long as at most $(1/2-\varepsilon)$ of the edges incident to each vertex are removed. We say that such a graph is $(1/2-\varepsilon)$-resiliently Hamiltonian. Furthermore, for each $ε>0$, we show that, almost surely, each graph $G_M$ is not $(1/2+\varepsilon)$-resiliently Hamiltonian. These results strengthen those by Lee and Sudakov on the likely resilience of Hamiltonicity in the binomial random graph.
For each $k$, we denote by $G^{(k)}$ the (possibly empty) maximal subgraph with minimum degree at least $k$ of a graph $G$. That is, the $k$-core of $G$. Krivelevich, Lubetzky and Sudakov have shown that, for each $k\geq 15$, in almost every random graph process $\{G_M\}_{M\geq 0}$, every non-empty $k$-core is Hamiltonian. We show that, for each $\varepsilon>0$ and $k\geq k_0(\varepsilon)$, in almost every random graph process $\{G_M\}_{M\geq 0}$, every non-empty $k$-core is $(1/2-\varepsilon)$-resiliently Hamiltonian, but not $(1/2+\varepsilon)$-resiliently Hamiltonian.
Resilience of Perfect Matchings and Hamiltonicity in Random Graph Processes
Published
• View Publication
• BIB
Let $\{G_i\}$ be the random graph process: starting with an empty graph $G_0$ with $n$ vertices, in every step $i \geq 1$ the graph $G_i$ is formed by taking an edge chosen uniformly at random among the non-existing ones and adding it to the graph $G_{i - 1}$. The classical `hitting-time' result of Ajtai, Komlós, and Szemerédi, and independently Bollobás, states that asymptotically almost surely the graph becomes Hamiltonian as soon as the minimum degree reaches $2$, that is if $δ(G_i) \ge 2$ then $G_i$ is Hamiltonian. We establish a resilience version of this result. In particular, we show that the random graph process almost surely creates a sequence of graphs such that for $m \geq (\tfrac{1}{6} + o(1))n\log n$ edges, the $2$-core of the graph $G_m$ remains Hamiltonian even after an adversary removes $(\tfrac{1}{2} - o(1))$-fraction of the edges incident to every vertex. A similar result is obtained for perfect matchings.
The graph theory general position problem on some interconnection networks
Published
• View Publication
• BIB
Given a graph $G$, the (graph theory) general position problem is to find the maximum number of vertices such that no three vertices lie on a common geodesic. This graph invariant is called the general position number (gp-number for short) of $G$ and denoted by ${\rm gp}(G)$. In this paper, the gp-number is determined for a large class of subgraphs of the infinite grid graph and for the infinite diagonal grid. To derive these results, we introduce monotone-geodesic labeling and prove a Monotone Geodesic Lemma that is in turn developed using the Erdös-Szekeres theorem on monotone sequences. The gp-number of the 3-dim infinite grid is bounded. Using isometric path covers, the gp-number is also determined for Beneš networks.
Asymptotically approaching the Moore bound for diameter three by Cayley graphs
The largest order $n(d,k)$ of a graph of maximum degree $d$ and diameter $k$ cannot exceed the Moore bound, which has the form $M(d,k)=d^k - O(d^{k-1})$ for $d\to\infty$ and any fixed $k$. Known results in finite geometries on generalised $(k+1)$-gons imply, for $k=2,3,5$, the existence of an infinite sequence of values of $d$ such that $n(d,k)=d^k - o(d^k)$. This shows that for $k=2,3,5$ the Moore bound can be asymptotically approached in the sense that $n(d,k)/M(d,k)\to 1$ as $d\to\infty$; moreover, no such result is known for any other value of $k\ge 2$. The corresponding graphs are, however, far from vertex-transitive, and there appears to be no obvious way to extend them to vertex-transitive graphs giving the same type of asymptotic result.
The second and the third author (2012) proved by a direct construction that the Moore bound for diameter $k=2$ can be asymptotically approached by Cayley graphs. Subsequently, the first and the third author (2015) showed that the same construction can be derived from generalised triangles with polarity.
By a detailed analysis of regular orbits of suitable groups of automorphisms of graphs arising from polarity quotients of incidence graphs of generalised quadrangles with polarity, we prove that for an infinite set of values of $d$ there exist Cayley graphs of degree $d$, diameter $3$, and order $d^3{-}O(d^{2.5})$. The Moore bound for diameter $3$ can thus as well be asymptotically approached by Cayley graphs. We also show that this method does not extend to constructing Cayley graphs of diameter $5$ from generalised hexagons with polarity.
Frame difference families and resolvable balanced incomplete block designs
Published
• View Publication
• BIB
Frame difference families, which can be obtained via a careful use of cyclotomic conditions attached to strong difference families, play an important role in direct constructions for resolvable balanced incomplete block designs. We establish asymptotic existences for several classes of frame difference families. As corollaries new infinite families of 1-rotational $(pq+1,p+1,1)$-RBIBDs over $\mathbb{F}_{p}^+ \times \mathbb{F}_{q}^+$ are derived, and the existence of $(125q+1,6,1)$-RBIBDs is discussed. We construct $(v,8,1)$-RBIBDs for $v\in\{624,1576,2976,5720,5776,10200,14176,24480\}$, whose existence were previously in doubt. As applications, we establish asymptotic existences for an infinite family of optimal constant composition codes and an infinite family of strictly optimal frequency hopping sequences.
Motions of grid-like reflection frameworks
Published
• View Publication
• BIB
Combinatorial characterisations are obtained of symmetric and anti-symmetric infinitesimal rigidity for two-dimensional frameworks with reflectional symmetry in the case of norms where the unit ball is a quadrilateral and where the reflection acts freely on the vertex set. At the framework level, these characterisations are given in terms of induced monochrome subgraph decompositions, and at the graph level they are given in terms of sparsity counts and recursive construction sequences for the corresponding signed quotient graphs.
Quasitrivial semigroups: characterizations and enumerations
Published in Semigroup Forum 98 (3) (2019) 472-498
• View Publication
• BIB
We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine explicitly 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.
Comparing Powers of Edge Ideals
Published
• View Publication
• BIB
Given a nontrivial homogeneous ideal $I\subseteq k[x_1,x_2,\ldots,x_d]$, a problem of great recent interest has been the comparison of the $r$th ordinary power of $I$ and the $m$th symbolic power $I^{(m)}$.
This comparison has been undertaken directly via an exploration of which exponents $m$ and $r$ guarantee the subset containment $I^{(m)}\subseteq I^r$ and asymptotically via a computation of the resurgence $ρ(I)$, a number for which any $m/r > ρ(I)$ guarantees $I^{(m)}\subseteq I^r$.
Recently, a third quantity, the symbolic defect, was introduced; as $I^t\subseteq I^{(t)}$, the symbolic defect is the minimal number of generators required to add to $I^t$ in order to get $I^{(t)}$.
We consider these various means of comparison when $I$ is the edge ideal of certain graphs by describing an ideal $J$ for which $I^{(t)} = I^t + J$.
When $I$ is the edge ideal of an odd cycle, our description of the structure of $I^{(t)}$ yields solutions to both the direct and asymptotic containment questions, as well as a partial computation of the sequence of symbolic defects.