Displaying similar documents to “Riesz sequences and arithmetic progressions”

Remark on the inequality of F. Riesz

W. Łenski (2005)

Banach Center Publications

Similarity:

We prove F. Riesz’ inequality assuming the boundedness of the norm of the first arithmetic mean of the functions | φ | p with p ≥ 2 instead of boundedness of the functions φₙ of an orthonormal system.

Product sets cannot contain long arithmetic progressions

Dmitrii Zhelezov (2014)

Acta Arithmetica

Similarity:

Let B be a set of complex numbers of size n. We prove that the length of the longest arithmetic progression contained in the product set B.B = bb’ | b,b’ ∈ B cannot be greater than O((nlog²n)/(loglogn)) and present an example of a product set containing an arithmetic progression of length Ω(nlogn). For sets of complex numbers we obtain the upper bound O ( n 3 / 2 ) .

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ₘ.

A note on ( a , b ) -Fibonacci sequences and specially multiplicative arithmetic functions

Emil Daniel Schwab, Gabriela Schwab (2024)

Mathematica Bohemica

Similarity:

A specially multiplicative arithmetic function is the Dirichlet convolution of two completely multiplicative arithmetic functions. The aim of this paper is to prove explicitly that two mathematical objects, namely ( a , b ) -Fibonacci sequences and specially multiplicative prime-independent arithmetic functions, are equivalent in the sense that each can be reconstructed from the other. Replacing one with another, the exploration space of both mathematical objects expands significantly. ...

A note on Δ₁ induction and Σ₁ collection

Neil Thapen (2005)

Fundamenta Mathematicae

Similarity:

Slaman recently proved that Σₙ collection is provable from Δₙ induction plus exponentiation, partially answering a question of Paris. We give a new version of this proof for the case n = 1, which only requires the following very weak form of exponentiation: " x y exists for some y sufficiently large that x is smaller than some primitive recursive function of y".

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...

Dichotomy of global density of Riesz capacity

Hiroaki Aikawa (2016)

Studia Mathematica

Similarity:

Let C α be the Riesz capacity of order α, 0 < α < n, in ℝⁿ. We consider the Riesz capacity density ̲ ( C α , E , r ) = i n f x C α ( E B ( x , r ) ) / C α ( B ( x , r ) ) for a Borel set E ⊂ ℝⁿ, where B(x,r) stands for the open ball with center at x and radius r. In case 0 < α ≤ 2, we show that l i m r ̲ ( C α , E , r ) is either 0 or 1; the first case occurs if and only if ̲ ( C α , E , r ) is identically zero for all r > 0. Moreover, it is shown that the densities with respect to more general open sets enjoy the same dichotomy. A decay estimate for α-capacitary potentials is also...

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...

Generalized Riesz products produced from orthonormal transforms

Nikolaos Atreas, Antonis Bisbas (2012)

Colloquium Mathematicae

Similarity:

Let p = m k k = 0 p - 1 be a finite set of step functions or real valued trigonometric polynomials on = [0,1) satisfying a certain orthonormality condition. We study multiscale generalized Riesz product measures μ defined as weak-* limits of elements μ N V N ( N ) , where V N are p N -dimensional subspaces of L₂() spanned by an orthonormal set which is produced from dilations and multiplications of elements of p and N V N ¯ = L ( ) . The results involve mutual absolute continuity or singularity of such Riesz products extending previous...

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.

A short proof on lifting of projection properties in Riesz spaces

Marek Wójtowicz (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let L be an Archimedean Riesz space with a weak order unit u . A sufficient condition under which Dedekind [ σ -]completeness of the principal ideal A u can be lifted to L is given (Lemma). This yields a concise proof of two theorems of Luxemburg and Zaanen concerning projection properties of C ( X ) -spaces. Similar results are obtained for the Riesz spaces B n ( T ) , n = 1 , 2 , , of all functions of the n th Baire class on a metric space T .

On arithmetic progressions on Edwards curves

Enrique González-Jiménez (2015)

Acta Arithmetica

Similarity:

Let m > 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.