sequence
6966 papers tagged with this keyword
On the role of the Fibonacci matrix as key in modified ECC
Published
• View Publication
• BIB
In this paper, we have proposed a modified cryptographic scheme based on the application of recursive matrices as key in ECC and ElGamal. For encryption, we consider mapping analogous to affine Hill cipher in which a plaintext matrix has been constructed by points corresponding to letters on elliptic curves. In the formation of key-space, the generalized Fibonacci matrices have been taken into account, which is the sequence of matrices. The beauty of considering Fibonacci matrices is their construction where we need only two parameters(integers) in place of $n^2$ elements. The use of a recursive matrix makes a large keyspace for our proposed scheme and increases its efficiency. Thus, it reduces time as well space complexity, and its security \& strength is based on EC-DLP which is a hard problem in number theory.
Empirically Improved Tokuda Gap Sequence in Shellsort
Experiments are conducted to improve Tokuda (1992) gap sequence in Shellsort into $γ$-sequences, and the best result is the gap sequence in which the $k$-th increment $h_k$ is given by \begin{align} h_k=\left\lceil \frac{γ^k-1}{γ-1} \right\rceil \end{align} , where $γ=2.243609061420001...$ and $k\in\mathbb{N}_1$. The first few increments of the gap sequence are \begin{align} 1,\, 4,\, 9,\, 20,\, 45,\, 102,\, 230,\, 516,\,1158,\,2599,\,5831,\,13082,\,29351,\,65853,\, 147748,\,331490,\,743735,\, ...\end{align}It empirically yields less numbers of comparison on average than Tokuda (1992) gap sequence. In the procedure of search, it reveals the potential existence of a new type of fractal.
Optimal Gap Sequences in Shellsort for $n\leq16$ Elements
Optimal gap sequences in Shellsort, defined as gap sequences having the minimised maximum number of comparisons for a fixed number of pairwise distinct elements, are found by minimax search in reduced permutational spaces, namely Bad $(s,1)$-sorted permutations. Exact optimal gap sequences in Shellsort for $n\leq16$ pairwise distinct elements are established, and the best known gap sequences for $17\leq n\leq 30$ are listed with conjectures made. It notably discovers some optimal gap sequences consist of increments larger than the half of the total number of the elements to sort.
Sums of powers of binomials, their Apéry limits, and Franel's suspicions
Published in Intern. Math. Research Notices (2023), no. 11, 9861-9879
• View Publication
• BIB
We explicitly determine the Apéry limits for the sums of powers of binomial coefficients. As an application, we prove a weak version of Franel's conjecture on the order of the recurrences for these sequences. Namely, we prove the conjectured minimal order under the assumption that such a recurrence can be obtained via creative telescoping.
Bent Functions in the Partial Spread Class Generated by Linear Recurring Sequences
Published
• View Publication
• BIB
We present a construction of partial spread bent functions using subspaces generated by linear recurring sequences (LRS). We first show that the kernels of the linear mappings defined by two LRS have a trivial intersection if and only if their feedback polynomials are relatively prime. Then, we characterize the appropriate parameters for a family of pairwise coprime polynomials to generate a partial spread required for the support of a bent function, showing that such families exist if and only if the degrees of the underlying polynomials is either $1$ or $2$. We then count the resulting sets of polynomials and prove that for degree $1$, our LRS construction coincides with the Desarguesian partial spread. Finally, we perform a computer search of all $\mathcal{PS}^-$ and $\mathcal{PS}^+$ bent functions of $n=8$ variables generated by our construction and compute their 2-ranks. The results show that many of these functions defined by polynomials of degree $b=2$ are not EA-equivalent to any Maiorana-McFarland or Desarguesian partial spread function.
Deciding twin-width at most 4 is NP-complete
We show that determining if an $n$-vertex graph has twin-width at most 4 is NP-complete, and requires time $2^{Ω(n/\log n)}$ unless the Exponential-Time Hypothesis fails. Along the way, we give an elementary proof that $n$-vertex graphs subdivided at least $2 \log n$ times have twin-width at most 4. We also show how to encode trigraphs $H$ (2-edge colored graphs involved in the definition of twin-width) into graphs $G$, in the sense that every $d$-sequence (sequence of vertex contractions witnessing that the twin-width is at most $d$) of $G$ inevitably creates $H$ as an induced subtrigraph, whereas there exists a partial $d$-sequence that actually goes from $G$ to $H$. We believe that these facts and their proofs can be of independent interest.
Kempe Equivalent List Colorings
Published in Combinatorica. Vol. 44, 2024, pp. 125-153
• View Publication
• BIB
An $α,β$-Kempe swap in a properly colored graph interchanges the colors on some component of the subgraph induced by colors $α$ and $β$. Two $k$-colorings of a graph are $k$-Kempe equivalent if we can form one from the other by a sequence of Kempe swaps (never using more than $k$ colors). Las Vergnas and Meyniel showed that if a graph is $(k-1)$-degenerate, then each pair of its $k$-colorings are $k$-Kempe equivalent. Mohar conjectured the same conclusion for connected $k$-regular graphs. This was proved for $k=3$ by Feghali, Johnson, and Paulusma (with a single exception $K_2\square K_3$, also called the 3-prism) and for $k\ge 4$ by Bonamy, Bousquet, Feghali, and Johnson.
In this paper we prove an analogous result for list-coloring. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap is called $L$-valid for $\varphi$ if performing the Kempe swap yields another $L$-coloring. Two $L$-colorings are called $L$-equivalent if we can form one from the other by a sequence of $L$-valid Kempe swaps. Let $G$ be a connected $k$-regular graph with $k\ge 3$. We prove that if $L$ is a $k$-assignment, then all $L$-colorings are $L$-equivalent (again with a single exception $K_2 \square K_3$). When $k\ge 4$, the proof is completely self-contained, so implies an alternate proof of the result of Bonamy et al.
Our proofs rely on the following key lemma, which may be of independent interest. Let $H$ be a graph such that for every degree-assignment $L_H$ all $L_H$-colorings are $L_H$-equivalent. If $G$ is a connected graph that contains $H$ as an induced subgraph, then for every degree-assignment $L_G$ for $G$ all $L_G$-colorings are $L_G$-equivalent.
Proofs of Two Formulas of Vladeta Jovovic
Published in The Mathematics Student; 93; Nos. 1-2; January - June (2024); 24-29
• Search Publication
In this paper, we first provide an analytic and a bijective proof of a formula stated by Vladeta Jovovic in the OEIS sequence A117989. We also provide a bijective proof of another interesting result stated by him on the same page concerning integer partitions with fixed differences between the largest and smallest parts.
On the Tutte and matching polynomials for complete graphs
Published in Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's centenary (October 21, 2022) fi:8839
• View Publication
• BIB
Let $T(G;X,Y)$ be the Tutte polynomial for graphs. We study the sequence $t_{a,b}(n) = T(K_n;a,b)$ where $a,b$ are non-negative integers, and show that for every $μ\in \N$ the sequence $t_{a,b}(n)$ is ultimately periodic modulo $μ$ provided $a \neq 1 \modμ$ and $b \neq 1 \modμ$. This result is related to a conjecture by A. Mani and R. Stones from 2016. The theorem is a consequence of a more general theorem which holds for a wide class of graph polynomials definable in Monadic Second Order Logic and some of its extensions, such as the the independence polynomial, the clique polynomial, etc. We also show similar results for the various substitution instances of the bivariate matching polynomial and the trivariate edge elimination polynomial $ξ(G;X,Y,Z)$ introduced by I. Averbouch, B. Godlin and the second author in 2008. All our results depend on the Specker-Blatter Theorem from 1981, which studies modular recurrence relations of combinatorial sequences which count the number of labeled graphs.
Proof of a Conjecture on Hankel Determinants for Dyck Paths with Restricted Peak Heights
Published
• View Publication
• BIB
For any integer $m\geq 2$ and $r \in \{1,\dots, m\}$, let $f_n^{m,r}$ denote the number of $n$-Dyck paths whose peak's heights are $im+r$ for some integer $i$. We find the generating function of $f_n^{m,r}$ satisfies a simple algebraic functional equation of degree $2$. The $r=m$ case is particularly nice and we give a combinatorial proof. By using the Sulanke and Xin's continued fraction method, we calculate the Hankel determinants for $f_n^{m,r}$. The special case $r=m$ of our result solves a conjecture proposed by Chien, Eu and Fu. We also enriched the class of eventually periodic Hankel determinant sequences.
On spectral distribution of sample covariance matrices from large dimensional and large $k$-fold tensor products
Published in Electronic Journal of Probability (2022) 27, 1-18
• View Publication
• BIB
We study the eigenvalue distributions for sums of independent rank-one $k$-fold tensor products of large $n$-dimensional vectors. Previous results in the literature assume that $k=o(n)$ and show that the eigenvalue distributions converge to the celebrated Marčenko-Pastur law under appropriate moment conditions on the base vectors. In this paper, motivated by quantum information theory, we study the regime where $k$ grows faster, namely $k=O(n)$. We show that the moment sequences of the eigenvalue distributions have a limit, which is different from the Marčenko-Pastur law. As a byproduct, we show that the Marčenko-Pastur law limit holds if and only if $k=o(n)$ for this tensor model. The approach is based on the method of moments.
Sequences of symmetry groups of infinite words
Published
• View Publication
• BIB
In this paper we introduce a new notion of a sequence of symmetry groups of an infinite word. Given a subgroup $G_n$ of the symmetric group $S_n$, it acts on the set of finite words of length $n$ by permutation. We associate to an infinite word $w$ a sequence $(G_n(w))_{n\geq 1}$ of its symmetry groups: For each $n$, a symmetry group of $w$ is a subgroup $G_n(w)$ of the symmetric group $S_n$ such that $g(v)$ is a factor of $w$ for each permutation $g \in G_n(w)$ and each factor $v$ of length $n$ of $w$. We study general properties of the symmetry groups of infinite words and characterize the sequences of symmetry groups of several families of infinite words. We show that for each subgroup $G$ of $S_n$ there exists an infinite word $w$ with $G_n(w)=G$. On the other hand, the structure of possible sequences $(G_n(w))_{n\geq 1}$ is quite restrictive: we show that they cannot contain for each order $n$ certain cycles, transpositions and some other permutations. The sequences of symmetry groups can also characterize a generalized periodicity property. We prove that symmetry groups of Sturmian words and more generally Arnoux-Rauzy words are of order two for large enough $n$; on the other hand, symmetry groups of certain Toeplitz words have exponential growth.
Probability distribution for exceptional sequences of type $A_n$
We determine the probability distribution for relative projective objects in an exceptional sequence of type $A_n$ of any length. We show that these events (the $j$-th object in an exceptional sequence of length $k\le n$ being relatively projective) are independent of each other and from the length of the sequence. This gives a probabilistic interpretation of the product formula for the number of exceptional sequences of length $k$ and clusters or partial clusters of size $k$ since the latter numbers are proportional to the number of signed exceptional sequences of length $k$.
Some bijections for lattice paths
We present three bijections, the first between little Schröder paths and a class of growth-constrained integer sequences, the second between lattice paths consisting of steps with nonnegative slope and another class of growth-constrained sequences, the third between a class of lattice paths with steps $(1,1)$ and $(1,-j\,),\ j\ge 1$, and a class with steps $(k,1),\ k\ge 1$, and $(1,-1)$.
Combinatorics of the symmetries of ascents in restricted inversion sequences
Published
• View Publication
• BIB
The systematic study of inversion sequences avoiding triples of relations was initiated by Martinez and Savage. For a triple $(ρ_1,ρ_2,ρ_3)\in\{<,>,\leq,\geq,=,\neq,-\}^3$, they introduced $\I_n(ρ_1,ρ_2,ρ_3)$ as the set of inversion sequences $e=e_1e_2\cdots e_n$ of length $n$ such that there are no indices $1\leq i<j<k\leq n$ with $e_i ρ_1 e_j$, $e_j ρ_2 e_k$ and $e_i ρ_3 e_k$. To solve a conjecture of Martinez and Savage, Lin constructed a bijection between $\I_n(\geq,\neq,>)$ and $\I_n(>,\neq,\geq)$ that preserves the distinct entries and further posed a symmetry conjecture of ascents on these two classes of restricted inversion sequences. Concerning Lin's symmetry conjecture, an algebraic proof using the kernel method was recently provided by Andrews and Chern, but a bijective proof still remains mysterious. The goal of this article is to establish bijectively both Lin's symmetry conjecture and the $γ$-positivity of the ascent polynomial on $\I_n(>,\neq,>)$. The latter result implies that the distribution of ascents on $\I_n(>,\neq,>)$ is symmetric and unimodal.
Graceful labellings of variable windmills using Skolem sequences
Published
• View Publication
• BIB
In this paper, we introduce graceful and near graceful labellings of several families of windmills. In particular, we use Skolem-type sequences to prove (near) graceful labellings exist for windmills with $C_3$ and $C_4$ vanes, and infinite families of $3,5$-windmills and $3,6$-windmills. Furthermore, we offer a new solution showing that the graph obtained from the union of $t$ 5-cycles with one vertex in common ($C_5^t$) is graceful if and only if $t \equiv 0,3\!\!\pmod{4}$ and is near graceful when $t\equiv 1,2 \pmod{4}$.
On anti-stochastic properties of unlabeled graphs
Published
• View Publication
• BIB
We study vulnerability of a uniformly distributed random graph to an attack by an adversary who aims for a global change of the distribution while being able to make only a local change in the graph. We call a graph property $A$ anti-stochastic if the probability that a random graph $G$ satisfies $A$ is small but, with high probability, there is a small perturbation transforming $G$ into a graph satisfying $A$. While for labeled graphs such properties are easy to obtain from binary covering codes, the existence of anti-stochastic properties for unlabeled graphs is not so evident. If an admissible perturbation is either the addition or the deletion of one edge, we exhibit an anti-stochastic property that is satisfied by a random unlabeled graph of order $n$ with probability $(2+o(1))/n^2$, which is as small as possible. We also express another anti-stochastic property in terms of the degree sequence of a graph. This property has probability $(2+o(1))/(n\ln n)$, which is optimal up to factor of 2.
The periodic complexity function of the Thue-Morse word, the Rudin-Shapiro word, and the period-doubling word
We revisit the periodic complexity function $h_{\bf w}(n)$ introduced by Mignosi and Restivo. This function gives the average of the first $n$ local periods of a recurrent infinite word ${\bf w}$. We give a different method than that of Mignosi and Restivo for computing the asymptotics of the periodic complexity function of the Thue-Morse word and show how to apply the method to other automatic sequences, like the Rudin-Shapiro word and the period-doubling word.
Lattice walks confined to an octant in dimension 3: (non-)rationality of the second critical exponent
Published
• View Publication
• BIB
In the field of enumeration of walks in cones, it is known how to compute asymptotically the number of excursions (finite paths in the cone with fixed length, starting and ending points, using jumps from a given step set). As it turns out, the associated critical exponent is related to the eigenvalues of a certain Dirichlet problem on a spherical domain. An important underlying question is to decide whether this asymptotic exponent is a (non-)rational number, as this has important consequences on the algebraic nature of the associated generating function. In this paper, we ask whether such an excursion sequence might admit an asymptotic expansion with a first rational exponent and a second non-rational exponent. While the current state of the art does not give any access to such many-term expansions, we look at the associated continuous problem, involving Brownian motion in cones. Our main result is to prove that in dimension three, there exists a cone such that the heat kernel (the continuous analogue of the excursion sequence) has the desired rational/non-rational asymptotic property. Our techniques come from spectral theory and perturbation theory. More specifically, our main tool is a new Hadamard formula, which has an independent interest and allows us to compute the derivative of eigenvalues of spherical triangles along infinitesimal variations of the angles.
Finite rank kernel varieties: A variant of Hilbert's Nullstellensatz for graphons and applications to Hadamard matrices
Graphons are symmetric measurable functions that arise from a sequence of graphs. A graphon variety is the a set of all graphons defined by a condition of the form $t(g, W) = 0$ for a fixed quantum graph $g$, where $t(.,.)$ is the homomorphism density and a quantum graph is a formal linear combination of multigraphs. Using a method of representing graphs as polynomials, we construct an epimorphism from the space of quantum graphs to a subring of the complex polynomial ring that is invariant under permutations of variables. When graphons are of finite rank, we demonstrate that an analog of the "ideal" inverse in Algebraic Geometry is an ideal in our polynomial representation. Defining an algebraic kernel set using kernel varieties, we demonstrate that we can call such sets closed under the Zariski Topology. We determine several ties to Algebraic Geometry as a result of utilizing finite rank kernels and discover that a weaker version of Hilbert's Nullstellensatz applies to kernel zero-sets with respect to homomorphism density. Throughout, we examine the connection between Algebraic Geometry and Graphon Theory.