On integers of the form $p+2^k$

Laurent Habsieger; Xavier-François Roblot

Displaying similar documents to “On integers of the form $p + 2^{k}$ ”

Some properties of the class of arithmetic functions $T_{r} (N)$

R. P. Pakshirajan (1963)

Annales Polonici Mathematici

Similarity:

On a certain class of arithmetic functions

Antonio M. Oller-Marcén (2017)

Mathematica Bohemica

Similarity:

A homothetic arithmetic function of ratio $K$ is a function $f : ℕ \to R$ such that $f (K n) = f (n)$ for every $n \in ℕ$ . Periodic arithmetic funtions are always homothetic, while the converse is not true in general. In this paper we study homothetic and periodic arithmetic functions. In particular we give an upper bound for the number of elements of $f (ℕ)$ in terms of the period and the ratio of $f$ .

Aposyndesis in $ℕ$

José del Carmen Alberto-Domínguez, Gerardo Acosta, Maira Madriz-Mendoza (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We consider the Golomb and the Kirch topologies in the set of natural numbers. Among other results, we show that while with the Kirch topology every arithmetic progression is aposyndetic, in the Golomb topology only for those arithmetic progressions $P (a, b)$ with the property that every prime number that divides $a$ also divides $b$ , it follows that being connected, being Brown, being totally Brown, and being aposyndetic are all equivalent. This characterizes the arithmetic progressions which are...

Numerical characterization of nef arithmetic divisors on arithmetic surfaces

Atsushi Moriwaki (2014)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

In this paper, we give a numerical characterization of nef arithmetic $ℝ$ -Cartier divisors of $C^{0}$ -type on an arithmetic surface. Namely an arithmetic $ℝ$ -Cartier divisor $\bar{D}$ of $C^{0}$ -type is nef if and only if $\bar{D}$ is pseudo-effective and $\hat{\deg} ({\bar{D}}^{2}) = \hat{vol} (\bar{D})$ .

On generalized square-full numbers in an arithmetic progression

Angkana Sripayap, Pattira Ruengsinsub, Teerapat Srichan (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $a$ and $b \in ℕ$ . Denote by $R_{a, b}$ the set of all integers $n > 1$ whose canonical prime representation $n = p_{1}^{α_{1}} p_{2}^{α_{2}} \dots p_{r}^{α_{r}}$ has all exponents $α_{i}$ $(1 \leq i \leq r)$ being a multiple of $a$ or belonging to the arithmetic progression $a t + b$ , $t \in ℕ_{0} : = ℕ \cup {0}$ . All integers in $R_{a, b}$ are called generalized square-full integers. Using the exponent pair method, an upper bound for character sums over generalized square-full integers is derived. An application on the distribution of generalized square-full integers in an arithmetic progression is given. ...

A structure theorem for sets of small popular doubling

Przemysław Mazur (2015)

Acta Arithmetica

Similarity:

We prove that every set A ⊂ ℤ satisfying $\sum_{x} m i n (1_{A} * 1_{A} (x), t) \leq (2 + δ) t | A |$ for t and δ in suitable ranges must be very close to an arithmetic progression. We use this result to improve the estimates of Green and Morris for the probability that a random subset A ⊂ ℕ satisfies |ℕ∖(A+A)| ≥ k; specifically, we show that $ℙ (| ℕ ∖ (A + A) | \geq k) = Θ (2^{- k / 2})$ .

On arithmetic progressions on Edwards curves

Enrique González-Jiménez (2015)

Acta Arithmetica

Similarity:

Let $m \in ℤ_{> 0}$ and a,q ∈ ℚ. Denote by $_{m} (a, q)$ the set of rational numbers d such that a, a + q, ..., a + (m-1)q form an arithmetic progression in the Edwards curve $E_{d} : x ² + y ² = 1 + d x ² y ²$ . We study the set $_{m} (a, q)$ and we parametrize it by the rational points of an algebraic curve.

On the weak pigeonhole principle

Jan Krajíček (2001)

Fundamenta Mathematicae

Similarity:

We investigate the proof complexity, in (extensions of) resolution and in bounded arithmetic, of the weak pigeonhole principle and of the Ramsey theorem. In particular, we link the proof complexities of these two principles. Further we give lower bounds to the width of resolution proofs and to the size of (extensions of) tree-like resolution proofs of the Ramsey theorem. We establish a connection between provability of WPHP in fragments of bounded arithmetic and cryptographic assumptions...

An inconsistency equation involving means

Roman Ger, Tomasz Kochanek (2009)

Colloquium Mathematicae

Similarity:

We show that any quasi-arithmetic mean $A_{φ}$ and any non-quasi-arithmetic mean M (reasonably regular) are inconsistent in the sense that the only solutions f of both equations $f (M (x, y)) = A_{φ} (f (x), f (y))$ and $f (A_{φ} (x, y)) = M (f (x), f (y))$ are the constant ones.

Generalized weighted quasi-arithmetic means and the Kolmogorov-Nagumo theorem

Janusz Matkowski (2013)

Colloquium Mathematicae

Similarity:

A generalization of the weighted quasi-arithmetic mean generated by continuous and increasing (decreasing) functions $f ₁, . . ., f_{k} : I \to ℝ$ , k ≥ 2, denoted by $A^{[f ₁, . . ., f_{k}]}$ , is considered. Some properties of $A^{[f ₁, . . ., f_{k}]}$ , including “associativity” assumed in the Kolmogorov-Nagumo theorem, are shown. Convex and affine functions involving this type of means are considered. Invariance of a quasi-arithmetic mean with respect to a special mean-type mapping built of generalized means is applied in solving a functional equation. For...

A functional equation involving f and $f^{- 1}$ .

J. S. Ratti, Y. -F. Lin (1990)

Colloquium Mathematicae

Similarity:

A problem of Rankin on sets without geometric progressions

Melvyn B. Nathanson, Kevin O'Bryant (2015)

Acta Arithmetica

Similarity:

A geometric progression of length k and integer ratio is a set of numbers of the form $a, a r, . . ., a r^{k - 1}$ for some positive real number a and integer r ≥ 2. For each integer k ≥ 3, a greedy algorithm is used to construct a strictly decreasing sequence ${(a_{i})}_{i = 1}^{\infty}$ of positive real numbers with a₁ = 1 such that the set $G^{(k)} = ⋃_{i = 1}^{\infty} (a_{2 i}, a_{2 i - 1}]$ contains no geometric progression of length k and integer ratio. Moreover, $G^{(k)}$ is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that...

Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics

Zofia Adamowicz, Konrad Zdanowski (2011)

Fundamenta Mathematicae

Similarity:

We prove that for i ≥ 1, the arithmetic $I Δ ₀ + Ω_{i}$ does not prove a variant of its own Herbrand consistency restricted to the terms of depth in $(1 + ε) l o g^{i + 2}$ , where ε is an arbitrarily small constant greater than zero. On the other hand, the provability holds for the set of terms of depths in $l o g^{i + 3}$ .

Lambert series and Liouville's identities

A. Alaca, Ş. Alaca, E. McAfee, K. S. Williams

Similarity:

The relationship between Liouville’s arithmetic identities and products of Lambert series is investigated. For example it is shown that Liouville’s arithmetic formula for the sum $\sum_{\binom{(a, b, x, y) \in ℕ ⁴}{a x + b y = n}} (F (a - b) - F (a + b))$ , where n ∈ ℕ and F: ℤ → ℂ is an even function, is equivalent to the Lambert series for $(\sum_{n = 1}^{\infty} (q ⁿ / (1 - q ⁿ)) s i n n θ) ²$ (θ ∈ ℝ, |q| < 1) given by Ramanujan.

Algebraic and topological structures on the set of mean functions and generalization of the AGM mean

Bakir Farhi (2013)

Colloquium Mathematicae

Similarity:

We present new structures and results on the set of mean functions on a given symmetric domain in ℝ². First, we construct on a structure of abelian group in which the neutral element is the arithmetic mean; then we study some symmetries in that group. Next, we construct on a structure of metric space under which is the closed ball with center the arithmetic mean and radius 1/2. We show in particular that the geometric and harmonic means lie on the boundary of . Finally, we give...

Iterated quasi-arithmetic mean-type mappings

Paweł Pasteczka (2016)

Colloquium Mathematicae

Similarity:

We work with a fixed N-tuple of quasi-arithmetic means $M ₁, . . ., M_{N}$ generated by an N-tuple of continuous monotone functions $f ₁, . . ., f_{N} : I \to ℝ$ (I an interval) satisfying certain regularity conditions. It is known [initially Gauss, later Gustin, Borwein, Toader, Lehmer, Schoenberg, Foster, Philips et al.] that the iterations of the mapping $I^{N} ∋ b \mapsto (M ₁ (b), . . ., M_{N} (b))$ tend pointwise to a mapping having values on the diagonal of $I^{N}$ . Each of [all equal] coordinates of the limit is a new mean, called the Gaussian product of the means $M ₁, . . ., M_{N}$ taken...

Density of solutions to quadratic congruences

Neha Prabhu (2017)

Czechoslovak Mathematical Journal

Similarity:

A classical result in number theory is Dirichlet’s theorem on the density of primes in an arithmetic progression. We prove a similar result for numbers with exactly $k$ prime factors for $k > 1$ . Building upon a proof by E. M. Wright in 1954, we compute the natural density of such numbers where each prime satisfies a congruence condition. As an application, we obtain the density of squarefree $n \leq x$ with $k$ prime factors such that a fixed quadratic equation has exactly $2^{k}$ solutions modulo $n$ . ...

Goldbach’s problem with primes in arithmetic progressions and in short intervals

Karin Halupczok (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Some mean value theorems in the style of Bombieri-Vinogradov’s theorem are discussed. They concern binary and ternary additive problems with primes in arithmetic progressions and short intervals. Nontrivial estimates for some of these mean values are given. As application inter alia, we show that for large odd $n \neg \equiv 1 (6)$ , Goldbach’s ternary problem $n = p_{1} + p_{2} + p_{3}$ is solvable with primes $p_{1}, p_{2}$ in short intervals $p_{i} \in [X_{i}, X_{i} + Y]$ with $X_{i}^{θ_{i}} = Y$ , $i = 1, 2$ , and $θ_{1}, θ_{2} \geq 0.933$ such that $(p_{1} + 2) (p_{2} + 2)$ has at most $9$ prime factors.

On the behavior close to the unit circle of the power series whose coefficients are squared Möbius function values

Oleg Petrushov (2015)

Acta Arithmetica

Similarity:

We consider the behavior of the power series $_{0} (z) = \sum_{n = 1}^{\infty} μ^{2} (n) z^{n}$ as z tends to $e (β) = e^{2 π i β}$ along a radius of the unit circle. If β is irrational with irrationality exponent 2 then $_{0} (e (β) r) = O ({(1 - r)}^{- 1 / 2 - ε})$ . Also we consider the cases of higher irrationality exponent. We prove that for each δ there exist irrational numbers β such that $_{0} (e (β) r) = Ω ({(1 - r)}^{- 1 + δ})$ .

Herbrand consistency and bounded arithmetic

Zofia Adamowicz (2002)

Fundamenta Mathematicae

Similarity:

We prove that the Gödel incompleteness theorem holds for a weak arithmetic Tₘ = IΔ₀ + Ωₘ, for m ≥ 2, in the form Tₘ ⊬ HCons(Tₘ), where HCons(Tₘ) is an arithmetic formula expressing the consistency of Tₘ with respect to the Herbrand notion of provability. Moreover, we prove $T ₘ ⊬ H C o n s^{I ₘ} (T ₘ)$ , where $H C o n s^{I ₘ}$ is HCons relativised to the definable cut Iₘ of (m-2)-times iterated logarithms. The proof is model-theoretic. We also prove a certain non-conservation result for Tₘ.

General position properties in fiberwise geometric topology

Taras Banakh, Vesko Valov

Similarity:

General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L C^{n - 1}$ -space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...

Displaying similar documents to “On integers of the form p + 2 k ”

Displaying similar documents to “On integers of the form $p + 2^{k}$ ”