sequence
6845 papers tagged with this keyword
Spaces of polynomials with constrained real divisors, II. (Co)homology & stabilization
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree which have no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces P^{cΘ}_d of real monic univariate polynomials of degree d whose real divisors avoid given sequences of root multiplicities. These forbidden sequences are taken from an arbitrary poset Θof compositions that are closed under certain natural combinatorial operations. We reduce the computation of the homology H_*(P^{cΘ}_d) to the computation of the homology of a differential complex, defined purely combinatorially in terms of the given closed poset Θ. We also obtain the stabilization results about H^\ast(P^{c Θ}_d), as d goes to infinity.
These results are deduced from our description of the homology of spaces B^{c Θ}_d whose points are binary real homogeneous forms, considered up to projective equivalence, with similarly Θ-constrained real divisors. In particular, we exhibit differential complexes that calculate the homology of these spaces and obtain some stabilization results for H^*(B^{c Θ}_d), as d goes to infinity. In particular, we compute the homology of the discriminants of projectivized binary real forms for which there is at least one line on which the form vanishes with multiplicity >= 2 and of their complements in \cB_d \cong RP^d.
Structural properties of Toeplitz graphs
Published
• View Publication
• BIB
In this paper, we study structural properties of Toeplitz graphs. We characterize $K_q$-free Toeplitz graphs for an integer $q \ge 3$ and give equivalent conditions for a Toeplitz graph $G_n\langle t_1, t_2,\ldots, t_k\rangle$ with $t_1<\cdots<t_k$ and $n \ge t_{k-1}+t_{k}$ being chordal and equivalent conditions for a Toeplitz graph $G_n\langle t_1,t_2 \rangle$ being perfect. Then we compute the edge clique cover number and the vertex clique cover number of a chordal Toeplitz graph. Finally, we characterize the degree sequence $(d_1,d_2,\ldots,d_n)$ of a Toeplitz graph with $n$ vertices and show that a Toeplitz graph is a regular graph if and only if it is a circulant graph.
The structure of exceptional sequences on toric varieties of Picard rank two
Published
• View Publication
• BIB
For a smooth projective toric variety of Picard rank two we classify all exceptional sequences of invertible sheaves which have maximal length. In particular, we prove that unlike non-maximal sequences, they (a) remain exceptional under lexicographical reordering (b) satisfy strong height constraints in the Picard lattice (c) are full, that is, they generate the derived category of the variety.
Sets of Low Correlation Sequences from Cyclotomy
Low correlation (finite length) sequences are used in communications and remote sensing. One seeks codebooks of sequences in which each sequence has low aperiodic autocorrelation at all nonzero shifts, and each pair of distinct sequences has low aperiodic crosscorrelation at all shifts. An overall criterion of codebook quality is the demerit factor, which normalizes all sequences to unit Euclidean norm, sums the squared magnitudes of all the correlations between every pair of sequences in the codebook (including sequences with themselves to cover autocorrelations), and divides by the square of the number of sequences in the codebook. This demerit factor is expected to be $1+1/N-1/(\ell N)$ for a codebook of $N$ randomly selected binary sequences of length $\ell$, but we want demerit factors much closer to the absolute minimum value of $1$. For each $N$ such that there is an $N\times N$ Hadamard matrix, we use cyclotomy to construct an infinite family of codebooks of binary sequences, in which each codebook has $N-1$ sequences of length $p$, where $p$ runs through the primes with $N\mid p-1$. As $p$ tends to infinity, the demerit factor of the codebooks tends to $1+1/(6(N-1))$, and the maximum magnitude of the undesirable correlations (crosscorrelations between distinct sequences and off-peak autocorrelations) is less than a small constant times $\sqrt{p}\log(p)$. This construction also generalizes to nonbinary sequences.
Additive Properties of the Evil and Odious Numbers and Similar Sequences
Published
• View Publication
• BIB
First we reprove two results in additive number theory due to Dombi and Chen & Wang, respectively, on the number of representations of n as the sum of two odious or evil numbers, using techniques from automata theory and logic. We also use this technique to prove a new result about the numbers represented by five summands.
Furthermore, we prove some new results on the tenfold sums of the evil and odious numbers, as well as k-fold sums of similar sequences of integers, by using techniques of analytic number theory involving trigonometric sums associated with the (+-1)-characteristic sequences of these integers.
On the log-concavity of $n$-th root of a sequence
Published
• View Publication
• BIB
In recent years, the log-concavity of $\{\sqrt[n]{S_n}\}_{n\geq 1}$ have been received a lot of attention. Very recently, Sun posed the following conjecture in his new book: the sequences $\{\sqrt[n]{a_n}\}_{n\geq 2}$ and $\{ \sqrt[n]{b_n}\}_{n\geq 1}$ are log-concave, where
\[ a_n:= \frac{1}{n}\sum_{k=0}^{n-1}
\frac{{n-1\choose k}^2{n+k\choose k}^2
}{4k^2-1}
\] and
\[ b_n:= \frac{1}{n^3}\sum_{k=0}^{n-1}
(3k^2+3k+1){n-1\choose k}^2
{n+k\choose k}^2.
\] In this paper, two methods, semi-automatic and analytic methods, are used to confirm Sun's conjecture. The semi-automatic method relies on a criterion on the log-concavity of $\{\sqrt[n]{S_n}\}_{n\geq 1}$ given by us and a mathematica package due to Hou and Zhang, while the analytic method relies on a result due to Xia.
Supercritical percolation on finite transitive graphs I: Uniqueness of the giant component
Published
• View Publication
• BIB
Let $(G_n)_{n \geq 1} = ((V_n,E_n))_{n \geq 1}$ be a sequence of finite, connected, vertex-transitive graphs with volume tending to infinity. We say that a sequence of parameters $(p_n)_{n \geq 1}$ in $[0,1]$ is supercritical with respect to Bernoulli bond percolation $\mathbb P_p^G$ if there exists $\varepsilon >0$ and $N<\infty$ such that \[
\mathbb P_{(1-\varepsilon)p_n}^{G_n} \left( \text{the largest cluster contains at least $\varepsilon |V_n|$ vertices}\right) \geq \varepsilon \] for every $n\geq N$ with $p_n <1$. We prove that if $(G_n)_{n \geq 1}$ is sparse, meaning that the degrees are sublinear in the number of vertices, then the supercritical giant cluster is unique with high probability in the sense that if $(p_n)_{n \geq 1}$ is supercritical then \[
\lim_{n\to\infty}\mathbb P_{p_n}^{G_n} \left( \text{the second largest cluster contains at least $c|V_n|$ vertices} \right) = 0 \] for every $c>0$. This result is new even under the stronger hypothesis that $(G_n)_{n \geq 1}$ has uniformly bounded vertex degrees, in which case it verifies a conjecture of Benjamini (2001). Previous work of many authors had established the same theorem for complete graphs, tori, hypercubes, and bounded degree expander graphs, each using methods that are highly specific to the examples they treated. We also give a complete solution to the problem of supercritical uniqueness for dense vertex-transitive graphs, establishing a simple necessary and sufficient isoperimetric condition for uniqueness to hold.
Some Connections Between Discrepancy, Finite Gap Properties, and Pair Correlations
A generic uniformly distributed sequence $(x_n)_{n \in \mathbb{N}}$ in $[0,1)$ possesses Poissonian pair correlations (PPC). Vice versa, it has been proven that a sequence with PPC is uniformly distributed. Grepstad and Larcher gave an explicit upper bound for the discrepancy of a sequence given that it has PPC. As a first result, we generalize here their result to the case of $α$-pair correlations with $0 < α< 1$. Since the highest possible level of uniformity is achieved by low-discrepancy sequences it is tempting to assume that there are examples of such sequences which also have PPC. Although there are no such known examples, we prove that every low-discrepancy sequence has at least $α$-pair correlations for $0 < α<1$. According to Larcher and Stockinger, the reason why many known classes of low-discrepancy sequences fail to have PPC is their finite gap property. In this article, we furthermore show that the discrepancy of a sequence with the finite gap property plus a condition on the distribution of the different gap lengths can be estimated. As a concrete application of this estimation, we re-prove the fact that van der Corput and Kronecker sequences are low-discrepancy sequences. Consequently, it follows from the finite gap property that these sequences have $α$-pair correlations for $0 < α< 1$.
Two Formulas for $F$-Polynomials
Published in Int. Math. Res. Not. 2024 (2024) 613-634
• View Publication
• BIB
We discuss a product formula for $F$-polynomials in cluster algebras, and provide two proofs. One proof is inductive and uses only the mutation rule for $F$-polynomials. The other is based on the Fock-Goncharov decomposition of mutations. We conclude by expanding this product formula as a sum and illustrate applications. This expansion provides an explicit combinatorial computation of $F$-polynomials in a given seed that depends only on the $\mathbf{c}$-vectors and $\mathbf{g}$-vectors along a finite sequence of mutations from the initial seed to the given seed.
Burling graphs revisited, part III: Applications to $χ$-boundedness
Published in European Journal of Combinatorics, Volume 116, 2024, 103850
• View Publication
• BIB
The Burling sequence is a sequence of triangle-free graphs of unbounded chromatic number. The class of Burling graphs consists of all the induced subgraphs of the graphs of this sequence. In the first and second parts of this work, we introduced derived graphs, a class of graphs, equal to the class of Burling graphs, and proved several geometric and structural results about them. In this third part, we use those results to find some Burling and non-Burling graphs, and we see some applications of this in the theory of $χ$-boundedness. In particular, we show that several graphs, like $K_5$, some series-parallel graphs that we call necklaces, and some other graphs are not weakly pervasive.
An algorithm for generating random mixed-arity trees
Inspired by [4] we present a new algorithm for uniformly random generation of ordered trees in which all occuring outdegrees can be specified by a given sequence of numbers. The method can be used for random generation of binary or n-ary trees, or ones with various arities. We show that the algorithm is correct and has $O(n)$ time complexity for $n$ being the desired number of nodes in the resulting tree. In the discussion part we show how some selected formulas can be derived with the use of ideas developed in the proof of correctness of the algorithm.
Comparing balanced $\mathbb{Z}_v$-sequences obtained from ElGamal function to random balanced sequences
Published
• View Publication
• BIB
In this paper, we investigate the randomness properties of sequences in $\mathbb{Z}_v$ derived from permutations in $\mathbb{Z}_{p}^*$ using the remainder function modulo $v$, where $p$ is a prime integer. Motivated by earlier studies with a cryptographic focus we compare sequences constructed from the ElGamal function $x \to g^x$ for $x\in\mathbb{Z}_{>0}$ and $g$ a primitive element of $\mathbb{Z}_{p}^*$, to sequences constructed from random permutations of $\mathbb{Z}_{p}^*$. We prove that sequences obtained from ElGamal have maximal period and behave similarly to random permutations with respect to the balance and run properties of Golomb's postulates for pseudo-random sequences. Additionally we show that they behave similarly to random permutations for the tuple balance property. This requires some significant work determining properties of random balanced periodic sequences. In general, for these properties and excepting for very unlikely events, the ElGamal sequences behave the same as random balanced sequences.
Properties of a Class of Toeplitz Words
Published
• View Publication
• BIB
We study the properties of the uncountable set of Stewart words. These are Toeplitz words specified by infinite sequences of Toeplitz patterns of the form $αβγ$, where $α,β,γ$ is any permutation of the symbols 0,1,?. We determine the critical exponent of the Stewart words, prove that they avoid the pattern $xxyyxx$, find all factors that are palindromes, and determine their subword complexity. An interesting aspect of our work is that we use automata-theoretic methods and a decision procedure for automata to carry out the proofs.
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.