Showing 1–9 of 9 results for author: Bosma, W

Sums of nearest integer continued fractions with bounded digits: $\textrm{NICF}_5 + \textrm{NICF}_5 = {\mathbb R}$

Authors: Wieb Bosma, Alex Brouwers

Abstract: Adapting Cantor set methods that were used by Hall and Hlawka for regular continued fractions, we prove that every real number can be obtained as the sum of two real numbers for which the partial fractions in their nearest integer continued fraction expansion do not exceed 5 (with the zeroth partial fraction as the only possible exception). Furthermore, we prove that it is not possible to replace… ▽ More Adapting Cantor set methods that were used by Hall and Hlawka for regular continued fractions, we prove that every real number can be obtained as the sum of two real numbers for which the partial fractions in their nearest integer continued fraction expansion do not exceed 5 (with the zeroth partial fraction as the only possible exception). Furthermore, we prove that it is not possible to replace 5 by 4 in this result. △ Less

Submitted 19 March, 2025; originally announced March 2025.

Comments: 25 pages, 6 figures

MSC Class: 11A55

Using Walnut to solve problems from the OEIS

Authors: Wieb Bosma, Rene Bruin, Robbert Fokkink, Jonathan Grube, Anniek Reuijl, Thian Tromp

Abstract: We use the automatic theorem prover Walnut to resolve various open problems from the OEIS and beyond. Specifically, we clarify the structure of sequence A260311, which concerns runs of sums of upper Wythoff numbers. We extend a result of Hajdu, Tijdeman, and Varga on polynomials with nonzero coefficients modulo a prime. Additionally, we settle open problems related to the anti-recurrence sequences… ▽ More We use the automatic theorem prover Walnut to resolve various open problems from the OEIS and beyond. Specifically, we clarify the structure of sequence A260311, which concerns runs of sums of upper Wythoff numbers. We extend a result of Hajdu, Tijdeman, and Varga on polynomials with nonzero coefficients modulo a prime. Additionally, we settle open problems related to the anti-recurrence sequences A265389 and A299409, as well as the subsumfree sequences A026471 and A026475. Our findings also give rise to new open problems. △ Less

Submitted 6 March, 2025; originally announced March 2025.

MSC Class: 11B37; 11R09; 68R15

Hoffman colorings of graphs

Authors: Aida Abiad, Wieb Bosma, Thijs van Veluw

Abstract: Hoffman's bound is a well-known spectral bound on the chromatic number of a graph, known to be tight for instance for bipartite graphs. While Hoffman colorings (colorings attaining the bound) were studied before for regular graphs, for general graphs not much is known. We investigate tightness of the Hoffman bound, with a particular focus on irregular graphs, obtaining several results on the graph… ▽ More Hoffman's bound is a well-known spectral bound on the chromatic number of a graph, known to be tight for instance for bipartite graphs. While Hoffman colorings (colorings attaining the bound) were studied before for regular graphs, for general graphs not much is known. We investigate tightness of the Hoffman bound, with a particular focus on irregular graphs, obtaining several results on the graph structure of Hoffman colorings. In particular, we prove a Decomposition Theorem, which characterizes the structure of Hoffman colorings, and we use it to completely classify Hoffman colorability of cone graphs and line graphs. We also prove a partial converse, the Composition Theorem, leading to an algorithm for computing all connected Hoffman colorable graphs for some given number of vertices and colors. Since several graph coloring parameters are known to be sandwiched between the Hoffman bound and the chromatic number, as a byproduct of our results, we obtain the values of these chromatic parameters. △ Less

Submitted 30 January, 2025; v1 submitted 2 July, 2024; originally announced July 2024.

Comments: v1: Master Thesis in Mathematics of the third author, supervised by first two authors v2: Article, consisting of parts of the thesis (v1) v3: Revision of article (v2)

A remarkable sequence related to $π$ and $\sqrt{2}$

Authors: Wieb Bosma, Michel Dekking, Wolfgang Steiner

Abstract: We prove that five ways to define entry A086377 in the On-Line Encyclopedia of Integer Sequences do lead to the same integer sequence. We prove that five ways to define entry A086377 in the On-Line Encyclopedia of Integer Sequences do lead to the same integer sequence. △ Less

Submitted 4 October, 2017; originally announced October 2017.

Aliquot sequences with small starting values

Authors: Wieb Bosma

Abstract: We describe the results of the computation of aliquot sequences with small starting values. In particular all sequences with starting values less than a million have been computed until either termination occurred (at 1 or a cycle), or an entry of 100 decimal digits was encountered. All dependencies were recorded, and numerous statistics, curiosities, and records are reported. We describe the results of the computation of aliquot sequences with small starting values. In particular all sequences with starting values less than a million have been computed until either termination occurred (at 1 or a cycle), or an entry of 100 decimal digits was encountered. All dependencies were recorded, and numerous statistics, curiosities, and records are reported. △ Less

Submitted 11 April, 2016; originally announced April 2016.

Comments: 18 pages, numerous figures

MSC Class: 11Y55; 11A99

Finding simultaneous Diophantine approximations with prescribed quality

Authors: Wieb Bosma, Ionica Smeets

Abstract: We give an algorithm that finds a sequence of approximations with Dirichlet coefficients bounded by a constant only depending on the dimension. The algorithm uses the LLL-algorithm for lattice basis reduction. We present a version of the algorithm that runs in polynomial time of the input. We give an algorithm that finds a sequence of approximations with Dirichlet coefficients bounded by a constant only depending on the dimension. The algorithm uses the LLL-algorithm for lattice basis reduction. We present a version of the algorithm that runs in polynomial time of the input. △ Less

Submitted 25 January, 2010; originally announced January 2010.

Comments: 16 pages, 7 figures

MSC Class: 11K60

The aliquot constant

Authors: Wieb Bosma, Ben Kane

Abstract: The average value of log s(n)/n taken over the first N even integers is shown to converge to a constant lambda when N tends to infinity; moreover, the value of this constant is approximated and proven to be less than 0. Here s(n) sums the divisors of n less than n. Thus the geometric mean of s(n)/n, the growth factor of the function s, in the long run tends to be less than 1. This could be inter… ▽ More The average value of log s(n)/n taken over the first N even integers is shown to converge to a constant lambda when N tends to infinity; moreover, the value of this constant is approximated and proven to be less than 0. Here s(n) sums the divisors of n less than n. Thus the geometric mean of s(n)/n, the growth factor of the function s, in the long run tends to be less than 1. This could be interpreted as probabilistic evidence that aliquot sequences tend to remain bounded. △ Less

Submitted 18 December, 2009; originally announced December 2009.

Comments: 16 pages

MSC Class: 11N56 (Primary) 11Y60; 11A25 (Secondary)

The triangular theorem of eight and representation by quadratic polynomials

Authors: Wieb Bosma, Ben Kane

Abstract: We investigate here the representability of integers as sums of triangular numbers, where the $n$-th triangular number is given by $T_n = n(n + 1)/2$. In particular, we show that $f(x_1,x_2,..., x_k) = b_1 T_{x_1} +...+ b_k T_{x_k}$, for fixed positive integers $b_1, b_2,..., b_k$, represents every nonnegative integer if and only if it represents 1, 2, 4, 5, and 8. Moreover, if `cross-terms' are a… ▽ More We investigate here the representability of integers as sums of triangular numbers, where the $n$-th triangular number is given by $T_n = n(n + 1)/2$. In particular, we show that $f(x_1,x_2,..., x_k) = b_1 T_{x_1} +...+ b_k T_{x_k}$, for fixed positive integers $b_1, b_2,..., b_k$, represents every nonnegative integer if and only if it represents 1, 2, 4, 5, and 8. Moreover, if `cross-terms' are allowed in $f$, we show that no finite set of positive integers can play an analogous role, in turn showing that there is no overarching finiteness theorem which generalizes the statement from positive definite quadratic forms to totally positive quadratic polynomials. △ Less

Submitted 26 August, 2011; v1 submitted 21 May, 2009; originally announced May 2009.

MSC Class: 11E25; 11E20; 11E45

Journal ref: Proc. Amer. Math. Soc. 141 (2013), 1473-1486

Entropy quotients and correct digits in number-theoretic expansions

Authors: Wieb Bosma, Karma Dajani, Cor Kraaikamp

Abstract: Expansions that furnish increasingly good approximations to real numbers are usually related to dynamical systems. Although comparing dynamical systems seems difficult in general, Lochs was able in 1964 to relate the relative speed of approximation of decimal and regular continued fraction expansions (almost everywhere) to the quotient of the entropies of their dynamical systems. He used detaile… ▽ More Expansions that furnish increasingly good approximations to real numbers are usually related to dynamical systems. Although comparing dynamical systems seems difficult in general, Lochs was able in 1964 to relate the relative speed of approximation of decimal and regular continued fraction expansions (almost everywhere) to the quotient of the entropies of their dynamical systems. He used detailed knowledge of the continued fraction operator. In 2001, a generalization of Lochs' result was given by Dajani and Fieldsteel in \citeDajF, describing the rate at which the digits of one number-theoretic expansion determine those of another. Their proofs are based on covering arguments and not on the dynamics of specific maps. In this paper we give a dynamical proof for certain classes of transformations, and we describe explicitly the distribution of the number of digits determined when comparing two expansions in integer bases. Finally, using this generalization of Lochs' result, we estimate the unknown entropy of certain number theoretic expansions by comparing the speed of convergence with that of an expansion with known entropy. △ Less

Submitted 10 August, 2006; originally announced August 2006.

Comments: Published at http://dx.doi.org/10.1214/074921706000000202 in the IMS Lecture Notes--Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-LNMS48-LNMS4817 MSC Class: 11K55; 28D20 (Primary) 11K50; 11K16 (Secondary)

Journal ref: IMS Lecture Notes--Monograph Series 2006, Vol. 48, 176-188