sequence
6845 papers tagged with this keyword
3-D Dynamic UAV Base Station Location Problem
Published
• View Publication
• BIB
We address a dynamic covering location problem of an Unmanned Aerial Vehicle Base Station (UAV-BS), where the location sequence of a single UAV-BS in a wireless communication network is determined to satisfy data demand arising from ground users. This problem is especially relevant in the context of smart grid and disaster relief. The vertical movement ability of the UAV-BS and non-convex covering functions in wireless communication restrict utilizing classical planar covering location approaches. Therefore, we develop new formulations to this emerging problem for a finite time horizon to maximize the total coverage. In particular, we develop a mixed-integer non-linear programming formulation which is non-convex in nature, and propose a Lagrangean Decomposition Algorithm (LDA) to solve this formulation. Due to high complexity of the problem, the LDA is still unable to find good local solutions to large-scale problems. Therefore, we develop a Continuum Approximation (CA) model and show that CA would be a promising approach in terms of both computational time and solution accuracy. Our numerical study also shows that the CA model can be a remedy to build efficient initial solutions for exact solution algorithms.
Regular sequences and synchronized sequences in abstract numeration systems
Published
• View Publication
• BIB
The notion of $b$-regular sequences was generalized to abstract numeration systems by Maes and Rigo in 2002. Their definition is based on a notion of $\mathcal{S}$-kernel that extends that of $b$-kernel. However, this definition does not allow us to generalize all of the many characterizations of $b$-regular sequences. In this paper, we present an alternative definition of $\mathcal{S}$-kernel, and hence an alternative definition of $\mathcal{S}$-regular sequences, which enables us to use recognizable formal series in order to generalize most (if not all) known characterizations of $b$-regular sequences to abstract numeration systems. We then give two characterizations of $\mathcal{S}$-automatic sequences as particular $\mathcal{S}$-regular sequences. Next, we present a general method to obtain various families of $\mathcal{S}$-regular sequences by enumerating $\mathcal{S}$-recognizable properties of $\mathcal{S}$-automatic sequences. As an example of the many possible applications of this method, we show that, provided that addition is $\mathcal{S}$-recognizable, the factor complexity of an $\mathcal{S}$-automatic sequence defines an $\mathcal{S}$-regular sequence. In the last part of the paper, we study $\mathcal{S}$-synchronized sequences. Along the way, we prove that the formal series obtained as the composition of a synchronized relation and a recognizable series is recognizable. As a consequence, the composition of an $\mathcal{S}$-synchronized sequence and a $\mathcal{S}$-regular sequence is shown to be $\mathcal{S}$-regular. All our results are presented in an arbitrary dimension $d$ and for an arbitrary semiring $\mathbb{K}$.
Finding Structure in Sequences of Real Numbers via Graph Theory: a Problem List
Published in Involve 15 (2022) 251-270
• View Publication
• BIB
We investigate a method of generating a graph $G=(V,E)$ out of an ordered list of $n$ distinct real numbers $a_1, \dots, a_n$. These graphs can be used to test for the presence of interesting structure in the sequence. We describe sequences exhibiting intricate hidden structure that was discovered this way. Our list includes sequences of Deutsch, Erdős, Freud & Hegyvari, Recaman, Quet, Zabolotskiy and Zizka. Since our observations are mostly empirical, each sequence in the list is an open problem.
An Inequality for Coefficients of the Real-rooted Polynomials
Published
• View Publication
• BIB
In this paper, we prove that if $f(x)=\sum_{k=0}^n{n\choose k}a_kx^k$ is a polynomial with real zeros only, then the sequence $\{a_k\}_{k=0}^n$ satisfies the following inequalities $a_{k+1}^2(1-\sqrt{1-c_k})^2/a_k^2 \leq(a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}^2(1+\sqrt{1-c_k})^2/a_k^2$, where $c_k=a_ka_{k+2}/a_{k+1}^2$. This inequality holds for the coefficients of the Riemann $ξ$-function, the ultraspherical, Laguerre and Hermite polynomials, and the partition function. Moreover, as a corollary, for the partition function $p(n)$, we prove that $p(n)^2-p(n-1)p(n+1)$ is increasing for $n\geq 55$. We also find that for a positive and log-concave sequence $\{a_k\}_{k\geq 0}$, the inequality $a_{k+2}/a_k\leq (a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}/a_{k-1}$ is the sufficient condition for both the $2$-log-concavity and the higher order Tur{á}n inequalities of $\{a_k\}_{k\geq 0}$. It is easy to verify that if $a_k^2\geq ra_{k+1}a_{k-1}$, where $r\geq 2$, then the sequence $\{a_k\}_{k\geq 0}$ satisfies this inequality.
Bounded Dyck paths, bounded alternating sequences, orthogonal polynomials, and reciprocity
Published in Europ. J. Combin. 121 (2024), 103840
• View Publication
• BIB
The theme of this article is a "reciprocity" between bounded up-down paths and bounded alternating sequences. Roughly speaking, this ``reciprocity" manifests itself by the fact that the extension of the sequence of numbers of paths of length $n$, consisting of diagonal up- and down-steps and being confined to a strip of bounded width, to negative $n$ produces numbers of alternating sequences of integers that are bounded from below and from above. We show that this reciprocity extends to families of non-intersecting bounded up-down paths and certain arrays of alternating sequences which we call alternating tableaux. We provide as well weighted versions of these results. Our proofs are based on Viennot's theory of heaps of pieces and on the combinatorics of non-intersecting lattice paths. An unexpected application leads to a refinement of a result of Bousquet-Mélou and Viennot on the width-height-area generating function of parallelogram polyominoes. Finally, we exhibit the relation of the arising alternating tableaux to plane partitions of strip shapes.
An Exceptional Combinatorial Sequence and Standard Model Particles
Three-graded root systems can be arranged into nested sequences. One exceptional sequence provides a natural means to recover some structures and symmetries familiar in the context of particle physics.
An analogue to infinitery Hales-Jewett theorem
In a recent work, N. Hindman, D. Strauss and L. Zamboni have shown that the Hales-Jewett theorem can be combined with a sufficiently well behaved homomorphisms. In this paper we will show that those combined extensions can be made if we replace the alphabet by an increasing sequence of alphabets, infact it holds for some Ramsey theoretic small sets. To obtained this we achieved some interesting configurations.
A Strehl Version of Fourth Franel Sequence
We give a combinatorial identity related to the Franel numbers involving the sum of fourth power of binomial coefficients. Furthermore, investigating in J. Mikic's proof of the first Strehl Identity, we provide a combinatorial proof of this identity using the double counting argument.
Persistent Laplacians: properties, algorithms and implications
Published
• View Publication
• BIB
We present a thorough study of the theoretical properties and devise efficient algorithms for the \emph{persistent Laplacian}, an extension of the standard combinatorial Laplacian to the setting of pairs (or, in more generality, sequences) of simplicial complexes $K \hookrightarrow L$, which was independently introduced by Lieutier et al. and by Wang et al. In particular, in analogy with the non-persistent case, we first prove that the nullity of the $q$-th persistent Laplacian $Δ_q^{K,L}$ equals the $q$-th persistent Betti number of the inclusion $(K \hookrightarrow L)$. We then present an initial algorithm for finding a matrix representation of $Δ_q^{K,L}$, which itself helps interpret the persistent Laplacian. We exhibit a novel relationship between the persistent Laplacian and the notion of Schur complement of a matrix which has several important implications. In the graph case, it both uncovers a link with the notion of effective resistance and leads to a persistent version of the Cheeger inequality. This relationship also yields an additional, very simple algorithm for finding (a matrix representation of) the $q$-th persistent Laplacian which in turn leads to a novel and fundamentally different algorithm for computing the $q$-th persistent Betti number for a pair $(K,L)$ which can be significantly more efficient than standard algorithms. Finally, we study persistent Laplacians for simplicial filtrations and present novel stability results for their eigenvalues. Our work brings methods from spectral graph theory, circuit theory, and persistent homology together with a topological view of the combinatorial Laplacian on simplicial complexes.
On the Top-Weight Rational Cohomology of $A_g$
Published
• View Publication
• BIB
We compute the top-weight rational cohomology of $A_g$ for $g=5$, $6$, and $7$, and we give some vanishing results for the top-weight rational cohomology of $A_8, A_9,$ and $ A_{10}$. When $g=5$ and $g=7$, we exhibit nonzero cohomology groups of $A_g$ in odd degree, thus answering a question highlighted by Grushevsky. Our methods develop the relationship between the top-weight cohomology of $A_g$ and the homology of the link of the moduli space of principally polarized tropical abelian varieties of rank $g$. To compute the latter we use the Voronoi complexes used by Elbaz-Vincent-Gangl-Soulé. Our computations give natural candidates for compactly supported cohomology classes of $A_g$ in weight $0$ that produce the stable cohomology classes of the Satake compactification of $A_g$ in weight $0$, under the Gysin spectral sequence for the latter space.
Multivariate Difference Gončarov Polynomials
Published
• View Publication
• BIB
Univariate delta Gončarov polynomials arise when the classical Gončarov interpolation problem in numerical analysis is modified by replacing derivatives with delta operators. When the delta operator under consideration is the backward difference operator, we acquire the univariate difference Gončarov polynomials, which have a combinatorial relation to lattice paths in the plane with a given right boundary. In this paper, we extend several algebraic and analytic properties of univariate difference Gončarov polynomials to the multivariate case. We then establish a combinatorial interpretation of multivariate difference Gončarov polynomials in terms of certain constraints on $d$-tuples of non-decreasing integer sequences. This motivates a connection between multivariate difference Gončarov polynomials and a higher-dimensional generalized parking function, the $\boldsymbol{U}$-parking function, from which we derive several enumerative results based on the theory of multivariate delta Gončarov polynomials.
Spectral sequences of a Morse shelling
Published
• View Publication
• BIB
We recently introduced a notion of tilings of geometric realizations of finite relative simplicial complexes and related those tilings to the discrete Morse theory of R. Forman, especially when they have the property of being shellable, a property shared by the classical shellable complexes. We now observe that every such tiling supports a quiver which is acyclic precisely when the tiling is shellable and then, that every shelling induces two spectral sequences which converge to the relative (co)homology of the complex. Their first pages are free modules over the critical tiles of the tiling.
The Furstenberg-Sárközy Theorem and Asymptotic Total Ergodicity Phenomena in Modular Rings
Published in Journal of Number Theory, Volume 243, 2023, Pages 615-645
• View Publication
• BIB
The Furstenberg-Sárközy theorem asserts that the difference set $E-E$ of a subset $E \subset \mathbb{N}$ with positive upper density intersects the image set of any polynomial $P \in \mathbb{Z}[n]$ for which $P(0)=0$. Furstenberg's approach relies on a correspondence principle and a polynomial version of the Poincaré recurrence theorem, which is derived from the ergodic-theoretic result that for any measure-preserving system $(X,\mathcal{B},μ,T)$ and set $A \in \mathcal{B}$ with $μ(A) > 0$, one has $c(A):= \lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N μ(A \cap T^{-P(n)}A) > 0.$ The limit $c(A)$ will have its optimal value of $μ(A)^2$ when $T$ is totally ergodic. Motivated by the possibility of new combinatorial applications, we define the notion of asymptotic total ergodicity in the setting of modular rings $\mathbb{Z}/N\mathbb{Z}$. We show that a sequence of modular rings $\mathbb{Z}/N_m\mathbb{Z}$, $m \in \mathbb{N},$ is asymptotically totally ergodic if and only if $\mathrm{lpf}(N_m)$, the least prime factor of $N_m$, grows to infinity. From this fact, we derive some combinatorial consequences, for example the following. Fix $δ\in (0,1]$ and a (not necessarily intersective) polynomial $Q \in \mathbb{Q}[n]$ such that $Q(\mathbb{Z}) \subseteq \mathbb{Z}$, and write $S = \{ Q(n) : n \in \mathbb{Z}/N\mathbb{Z}\}$. For any integer $N > 1$ with $\mathrm{lpf}(N)$ sufficiently large, if $A$ and $B$ are subsets of $\mathbb{Z}/N\mathbb{Z}$ such that $|A||B| \geq δN^2$, then $\mathbb{Z}/N\mathbb{Z} = A + B + S$.
Asymptotics of descent functions
In 1916, MacMahon showed that permutations in $S_n$ with a fixed descent set $I$ are enumerated by a polynomial $d_I(n)$. Diaz-Lopez, Harris, Insko, Omar, and Sagan recently revived interest in this descent polynomial, and suggested the direction of studying such enumerative questions for other consecutive patterns (descents being the consecutive pattern $21$). Zhu studied this question for the consecutive pattern $321$. We continue this line of work by studying the case of any consecutive pattern of the form $k,k-1,\ldots,1$, which we call a $k$-descent. In this paper, we reduce the problem of determining the asymptotic number of permutations with a certain $k$-descent set to computing an explicit integral. We also prove an equidistribution theorem, showing that any two sparse $k$-descent sets are equally likely.
Counting the number of $k$-descent-avoiding permutations while conditioning on the length $n$ and first element $m$ simultaneously, one obtains a number triangle $f_k(m,n)$ with some useful properties. For $k=3$, the $m=1$ and $m=n$ diagonals are OEIS sequences A049774 and A080635. We prove a $k$th difference recurrence relation for entries of this number triangle. This also leads to an $O(n^2)$ algorithm for computing $k$-descent functions.
Along the way to these results, we prove an explicit formula for the distribution of first elements of $k$-descent-avoiding permutations, as well as for the joint distribution of first and last elements. We also develop an understanding of discrete order statistics. In our approach, we combine algebraic, analytic, and probabilistic tools. A number of open problems are stated at the end.
Square-free reducts of words
A \emph{square} is a finite non-empty word consisting of two identical adjacent blocks. A word is \emph{square-free} if it does not contain a square as a factor. In any finite word one may delete the repeated block of a square, obtaining thereby a shorter word. By repeating this process, a square-free word is eventually reached, which we call a \emph{reduct} of the original word.
How many different reducts a single word may have? It is not hard to prove that any binary word has exactly one reduct. We prove that there exist ternary words with arbitrarily many reducts. Moreover, the function counting the maximum number of reducts a ternary word of length $n$ may have grows exponentially. We also prove that over four letters, there exist words with any given number of reducts, which does not seem to be the case for ternary words. Finally, we demonstrate that the set of all finite ternary words splits into finitely many classes of \emph{related} words (one may get from one word to the other by a sequence of square reductions and factor duplications). A few open questions are posed concerning some structures on words defined with the use of the square reduction.
Completing and extending shellings of vertex decomposable complexes
Published in SIAM J. Discrete Math. 36, Iss. 2 (2022)
• View Publication
• BIB
We say that a pure $d$-dimensional simplicial complex $Δ$ on $n$ vertices is \emph{shelling completable} if $Δ$ can be realized as the initial sequence of some shelling of $Δ_{n-1}^{(d)}$, the $d$-skeleton of the $(n-1)$-dimensional simplex. A well-known conjecture of Simon posits that any shellable complex is shelling completable. In this note we prove that vertex decomposable complexes are shelling completable. In fact we show that if $Δ$ is a vertex decomposable complex then there exists an ordering of its ground set $V$ such that adding the revlex smallest missing $(d+1)$-subset of $V$ results in a complex that is again vertex decomposable. We explore applications to matroids and shifted complexes, as well as connections to ridge-chordal complexes and $k$-decomposability. We also show that if $Δ$ is a $d$-dimensional complex on at most $d+3$ vertices then the notions of shellable, vertex decomposable, shelling completable, and extendably shellable are all equivalent.
Lower bound on the size of a quasirandom forcing set of permutations
Published
• View Publication
• BIB
A set $S$ of permutations is forcing if for any sequence $\{Π_i\}_{i \in \mathbb{N}}$ of permutations where the density $d(π,Π_i)$ converges to $\frac{1}{|π|!}$ for every permutation $π\in S$, it holds that $\{Π_i\}_{i \in \mathbb{N}}$ is quasirandom. Graham asked whether there exists an integer $k$ such that the set of all permutations of order $k$ is forcing; this has been shown to be true for any $k\ge 4$. In particular, the set of all twenty-four permutations of order $4$ is forcing. We provide the first non-trivial lower bound on the size of a forcing set of permutations: every forcing set of permutations (with arbitrary orders) contains at least four permutations.
Kim--Vu's sandwich conjecture is true for $d \gg \log^4 n$
Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $G(n,d)$ can be ``sandwiched'' between $G(n,p_*)$ and $G(n,p^*)$ where $p_*$ and $p^*$ are both asymptotically equal to $d/n$.
This famous conjecture was previously proved for all $d\gg (n\log n)^{3/4}$.
In this paper, we confirm the conjecture when $d \gg \log^4 n$. We also extend this result to near-regular degree sequences.
Solution to the index conjecture in zero-sum theory
Published
• View Publication
• BIB
A problem in zero-sum theory is to determine all pairs $(k,n)$ for which every minimal zero-sum sequence of length $k$ modulo $n$ has index $1$. While all other cases have been solved more than a decade ago, the case when $k$ equals $4$ and $n$ is coprime to $6$ remains open. Precisely, The Index Conjecture in this subject states that if $n$ is coprime to $6$ then every minimal zero-sum sequence of length $4$ modulo $n$ has index $1$. In this paper, we prove an equivalent version of this conjecture for all $n>N$ for some absolute constant $N$.
Combinatorial proof of the log-convexity for the derangements in the Coxeter groups
We provide the combinatorial proofs of the log-convexity for the derangement numbers in the symmetric group $\mathfrak{S}_n$, hyperoctahedral group $\mathfrak{B}_n$, and the demihyperoctahedral group $\mathfrak{D}_n$. We also show that the sequences of the even and odd derangement numbers in $\mathfrak{S}_n$ and $\mathfrak{B}_n$ are log-convex.