Dense infinite $B_h$ sequences

Javier Cilleruelo,Rafael Tesoro

DOI: https://doi.org/10.48550/arXiv.1206.3087

2012-07-11

Abstract:For $h=3$ and $h=4$ we prove the existence of infinite $B_h$ sequences $\B$ with counting function $$\mathcal{B}(x)= x^{\sqrt{(h-1)^2+1}-(h-1) + o(1)}.$$ This result extends a construction of I. Ruzsa for $B_2$ sequences.

Number Theory,Combinatorics

What problem does this paper attempt to address?

Sequences with Inequalities

Bernhard Heim und Markus Neuhauser

2024-08-01

Abstract:We consider infinite sequences of positive numbers. The connection between log-concavity and the Bessenrodt--Ono inequality had been in the focus of several papers. This has applications in the white noise distribution theory and combinatorics. We improve a recent result of Benfield and Roy and show that for the sequence of partition numbers $\{p(n)\}$ Nicolas' log-concavity result implies the result of Bessenrodt and Ono towards $p(n) \, p(m) > p(n+m)$.

Combinatorics,Number Theory
An explicit finite $B_k$-sequence

Igor S. Sergeev

2023-04-08

Abstract:For any $n$ and $k$, we provide an explicit (that is, computable in polynomial time) example of integer $B_k$-sequence of size $n$ consisting of elements bounded by $n^{k+o(k)}$.

Combinatorics
Borel-Cantelli sequences

Michael Boshernitzan,Jon Chaika

DOI: https://doi.org/10.48550/arXiv.0910.5412

2011-04-12

Abstract:A sequence $\{x_{n}\}_1^\infty$ in $[0,1)$ is called Borel-Cantelli (BC) if for all non-increasing sequences of positive real numbers $\{a_n\}$ with $\underset{i=1}{\overset{\infty}{\sum}}a_i=\infty$ the set \[\underset{k=1}{\overset{\infty}{\cap}} \underset{n=k}{\overset{\infty}{\cup}} B(x_n, a_n))=\{x\in[0,1)\mid |x_n-x|<a_n \text{for} \infty \text{many}n\geq1\}\] has full Lebesgue measure. (To put it informally, BC sequences are sequences for which a natural converse to the Borel-Cantelli Theorem holds). The notion of BC sequences is motivated by the Monotone Shrinking Target Property for dynamical systems, but our approach is from a geometric rather than dynamical perspective. A sufficient condition, a necessary condition and a necessary and sufficient condition for a sequence to be BC are established. A number of examples of BC and not BC sequences are presented. The property of a sequence to be BC is a delicate diophantine property. For example, the orbits of a pseudo-Anosoff IET (interval exchange transformation) are BC while the orbits of a "generic" IET are not. The notion of BC sequences is extended to more general spaces.

Dynamical Systems,Number Theory
Infinite unrestricted sumsets of the form $B+B$ in sets with large density

Ioannis Kousek,Tristán Radić

2024-04-19

Abstract:For a set $A \subset \mathbb{N}$ we characterize in terms of its density when there exists an infinite set $B \subset \mathbb{N}$ and $t \in \{0,1\}$ such that $B+B \subset A-t$, where $B+B : =\{b_1+b_2\colon b_1,b_2 \in B\}$. Specifically, when the lower density $\underline{d}(A) >1/2$ or the upper density $\overline{d}(A)> 3/4$, the existence of such a set $B\subset \mathbb{N}$ and $t\in \{0,1\}$ is assured. Furthermore, whenever $\underline{d}(A) > 3/4$ or $\overline{d}(A)>5/6$, we show that the shift $t$ is unnecessary and we also provide examples to show that these bounds are sharp. Finally, we construct a syndetic three-coloring of the natural numbers that does not contain a monochromatic $B+B+t$ for any infinite set $B \subset \mathbb{N}$ and number $t \in \mathbb{N}$.

Dynamical Systems,Combinatorics,Number Theory
On the Erdős-Turán Conjecture and the growth of $B_{2}[g]$ sequences

Javier Pliego

2024-05-07

Abstract:When $g\in\mathbb{N}$ we say that $A\subset\mathbb{N}$ is a $B_{2}[g]$ sequence if every $m\in\mathbb{N}$ has at most $g$ distinct representations of the shape $m=b_{1}+b_{2}$ with $b_{1}\leq b_{2}$ and $b_{1},b_{2}\in A$. We show for every $0<\varepsilon<1$ that whenever $g>\frac{1}{\varepsilon}$ then there is a $B_{2}[g]$ sequence $A$ having the property that every sufficiently large $n\in\mathbb{N}$ can be written as $$n=a_{1}+a_{2}+a_{3},\ \ \ \ \ \ \ \ \ a_{3}\leq n^{\varepsilon}\ \ \ \ \ \ \ \ \ a_{i}\in A,$$ and satisfying for large $x$ the estimate $$\lvert A\cap [1,x]\rvert\gg x^{g/(2g+1)}.$$ The above lower bound improves upon earlier results of Cilleruelo and of Erdős and Renyi.

Number Theory,Combinatorics
On Finite Pseudorandom Binary Sequences: Functions from a Hardy field

Manfred G. Madritsch,Joël Rivat,Robert F. Tichy

2023-12-14

Abstract:We provide a construction of binary pseudorandom sequences based on Hardy fields $\mathcal{H}$ as considered by Boshernitzan. In particular we give upper bounds for the well distribution measure and the correlation measure defined by Mauduit and Sárközy. Finally we show that the correlation measure of order $s$ is small only if $s$ is small compared to the ``growth exponent'' of $\mathcal{H}$.

Number Theory
Large sets containing no copies of a given infinite sequence

Mihail N. Kolountzakis,Effie Papageorgiou

2023-10-06

Abstract:Suppose $a_n$ is a real, nonnegative sequence that does not increase exponentially. For any $p<1$ we contruct a Lebesgue measurable set $E \subseteq \mathbb{R}$ which has measure at least $p$ in any unit interval and which contains no affine copy $\{x+ta_n:\ n\in\mathbb{N}\}$ of the given sequence (for any $x \in \mathbb{R}, t > 0$). We generalize this to higher dimensions and also for some ``non-linear'' copies of the sequence. Our method is probabilistic.

Classical Analysis and ODEs
A generalization of Hardy's inequality to infinite tensors

Morteza Saheli,Davoud Foroutannia,Sara Yusefian

DOI: https://doi.org/10.1515/gmj-2024-2006

2024-02-21

Georgian Mathematical Journal

Abstract:In this paper, we extend Hardy's inequality to infinite tensors. To do so, we introduce Cesàro tensors C , and consider them as tensor maps from sequence spaces into tensor spaces. In fact, we prove inequalities of the form ∥ C ⁢ x k ∥ t , 1 ≤ U ⁢ ∥ x ∥ l p k ( k = 1 , 2 ), where x is a sequence, C ⁢ x k is a tensor, and ∥ ⋅ ∥ t , 1 , ∥ ⋅ ∥ l p are the tensor and sequence norms, respectively. The constant U is independent of x , and we seek the smallest possible value of U .

mathematics
Normal numbers and nested perfect necklaces

Verónica Becher,Olivier Carton

DOI: https://doi.org/10.48550/arXiv.1805.03713

2018-05-10

Abstract:M. B. Levin used Sobol-Faure low discrepancy sequences with Pascal matrices modulo $2$ to construct, for each integer $b$, a real number $x$ such that the first $N$ terms of the sequence $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log N)^2/N)$. This is the lowest discrepancy known for this kind of sequences. In this note we characterize Levin's construction in terms of nested perfect necklaces, which are a variant of the classical de Bruijn necklaces. Moreover, we show that every real number $x$ whose base $b$ expansion is the concatenation of nested perfect necklaces of exponentially increasing order satisfies that the first $N$ terms of $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log N)^2/N)$. For base $2$ and the order being a power of $2$, we give the exact number of nested perfect necklaces and an explicit method based on matrices to construct each of them.

Number Theory
On arithmetic sums of Cantor-type sequences of integers

Norbert Hegyvári

2023-07-14

Abstract:We are looking for integer sets that resemble classical Cantor set and investigate the structure of their sum sets. Especially we investigate $FS(B)$ the subset sum of sequence type $B=\{\lfloor p^n\alpha\rfloor\}^\infty_{n=0}$. When $p=2$, then we prove $FS(B)+FS(B)=\N$ by analogy with the Cantor set, and some structure theorem for $p>2$

Combinatorics,Number Theory
Jamison sequences in countably infinite discrete abelian groups

Vincent Devinck

DOI: https://doi.org/10.48550/arXiv.1503.00298

2015-03-02

Abstract:We extend the definition of Jamison sequences in the context of topological abelian groups. Then we study such sequences when the abelian group is discrete and countably infinite. An arithmetical characterization of such sequences is obtained, extending the result of Badea and Grivaux about Jamison sequences of integers. In particular, we prove that the sequence consisting of all elements of the group is a Jamison sequence. In the opposite, a sequence which generates a subgroup of infinite index in the group is never a Jamison sequence.

Functional Analysis
Bialgebra cohomology and exact sequences

Julien Bichon

2023-09-19

Abstract:We show how the bialgebra cohomologies of two Hopf algebras involved in an exact sequence are related, when the third factor is finite-dimensional cosemisimple. As an application, we provide a short proof of the computation of the bialgebra cohomology of the universal cosovereign Hopf algebras in the generic (cosemisimple) case, done recently by Baraquin, Franz, Gerhold, Kula and Tobolski.

K-Theory and Homology,Quantum Algebra
Hypergeometric-Type Sequences

Bertrand Teguia Tabuguia

2024-04-19

Abstract:We introduce hypergeometric-type sequences. They are linear combinations of interlaced hypergeometric sequences (of arbitrary interlacements). We prove that they form a subring of the ring of holonomic sequences. An interesting family of sequences in this class are those defined by trigonometric functions with linear arguments in the index and $\pi$, such as Chebyshev polynomials, $\left(\sin^2\left(n\,\pi/4\right)\cdot\cos\left(n\,\pi/6\right)\right)_n$, and compositions like $\left(\sin\left(\cos(n\pi/3)\pi\right)\right)_n$.

Symbolic Computation,Discrete Mathematics
On Functions of Finite Baire Index

Fouad Chaatit,Vania Mascioni,Haskell P. Rosenthal

DOI: https://doi.org/10.48550/arXiv.math/9312209

1993-12-30

Abstract:It is proved that every function of finite Baire index on a separable metric space $K$ is a $D$-function, i.e., a difference of bounded semi-continuous functions on $K$. In fact it is a strong $D$-function, meaning it can be approximated arbitrarily closely in $D$-norm, by simple $D$-functions. It is shown that if the $n^{th}$ derived set of $K$ is non-empty for all finite $n$, there exist $D$-functions on $K$ which are not strong $D$-functions. Further structural results for the classes of finite index functions and strong $D$-functions are also given.

Functional Analysis
Convergent sequences in iterated ultrapowers as p -compact groups

Ulises Ariet Ramos-García,David Valencia-Gómez

DOI: https://doi.org/10.1016/j.topol.2024.108932

IF: 0.583

2024-05-09

Topology and its Applications

Abstract:We prove, in ZFC , that if G is an infinite countable Abelian group, then there is an ultrafilter p∈ω⁎ such that (Ultp(G),τBohr ̅) has non-trivial convergent sequences, consequently (Ultpω1(G),τBohr ̅) has non-trivial convergent sequences, extending Theorem 3.9 from [13] . In addition, we prove that the Remark 3.8 from [13] is false; so, the proof of the Corollary 3.11 is false too.

mathematics, applied
An extension of the digital method based on $b$-adic integers

Roswitha Hofer,Ísabel Pirsic

DOI: https://doi.org/10.48550/arXiv.1706.06323

2017-06-27

Abstract:We introduce a hybridization of digital sequences with uniformly distributed sequences in the domain of $b$-adic integers, $\mathbb Z_{b}, b\in\mathbb N\setminus\{1\}$, by using such sequences as input for generating matrices. The generating matrices are then naturally required to have finite row-lengths. We exhibit some relations of the `classical' digital method to our extended version, and also give several examples of new constructions with their respective quality assessments in terms of $t,\mathbf T$ and discrepancy.

Number Theory
Infinite dimensional sequential compactness: Sequential compactness based on barriers

Cesar Corral,Osvaldo Guzman,Carlos Lopez-Callejas,Pourya Memarpanahi,Paul Szeptycki,Stevo Todorcevic

2023-12-18

Abstract:We introduce a generalization of sequential compactness using barriers on $\omega$ extending naturally the notion introduced in [W. Kubiś and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023), {156}--{165}]. We improve results from [C. Corral and O. Guzm{á}n and C. L{ó}pez-Callejas, High dimensional sequential compactness, \emph{Fund. Math.}] by building spaces that are $\mathcal{B}$-sequentially compact but no $\mathcal{C}$-sequentially compact when the barriers $\mathcal{B}$ and $\mathcal{C}$ satisfy certain rank assumption which turns out to be equivalent to a Katětov-order assumption. Such examples are constructed under the assumption $\mathfrak{b} =\mathfrak{c}$. We also exhibit some classes of spaces that are $\mathcal{B}$-sequentially compact for every barrier $\mathcal{B}$, including some classical classes of compact spaces from functional analysis, and as a byproduct we obtain some results on angelic spaces. Finally we introduce and compute some cardinal invariants naturally associated to barriers.

General Topology,Combinatorics,Logic
From counting blocks to the Lebesgue measure, with an application to the Allouche-Hu-Morin limit theorem on block-constrained harmonic series

Jean-François Burnol

2024-05-07

Abstract:We consider the harmonic series $S(k)=\sum^{(k)} m^{-1}$ over the integers having $k$ occurrences of a given block of $b$-ary digits, of length $p$, and relate them to certain measures on the interval $[0,1)$. We show that these measures converge weakly to $b^p$ times the Lebesgue measure, a fact which allows a new proof of the theorem of Allouche, Hu, and Morin which says $\lim S(k)=b^p\log(b)$. A quantitative error estimate will be given. Combinatorial aspects involve generating series which fall under the scope of the Goulden-Jackson cluster generating function formalism and the work of Guibas-Odlyzko on string overlaps.

Number Theory,Combinatorics
On some combinatorial sequences associated to invariant theory

Alin Bostan,Jordan Tirrell,Bruce W. Westbury,Yi Zhang

DOI: https://doi.org/10.48550/arXiv.2110.13753

2022-04-20

Abstract:We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of $SL(3)$ in $G_2$.

Combinatorics,Symbolic Computation

Dense infinite $B_h$ sequences

Sequences with Inequalities

An explicit finite $B_k$-sequence

Borel-Cantelli sequences

Infinite unrestricted sumsets of the form $B+B$ in sets with large density

On the Erdős-Turán Conjecture and the growth of $B_{2}[g]$ sequences

On Finite Pseudorandom Binary Sequences: Functions from a Hardy field

Large sets containing no copies of a given infinite sequence

A generalization of Hardy's inequality to infinite tensors

Normal numbers and nested perfect necklaces

On arithmetic sums of Cantor-type sequences of integers

Jamison sequences in countably infinite discrete abelian groups

Bialgebra cohomology and exact sequences

Hypergeometric-Type Sequences

On Functions of Finite Baire Index

Convergent sequences in iterated ultrapowers as p -compact groups

An extension of the digital method based on $b$-adic integers

Infinite dimensional sequential compactness: Sequential compactness based on barriers

From counting blocks to the Lebesgue measure, with an application to the Allouche-Hu-Morin limit theorem on block-constrained harmonic series

On some combinatorial sequences associated to invariant theory