Related papers: A Necessary Condition on the Collatz Conjecture

We give a short proof of Belaga's result on bounds to perigees of $(3x+d)$-cycles of a given oddlength. We also reformulate the Collatz cycle conjecture which is rather a algorithmic problem into a purely arithmetic problem.

Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles…

We establish a connection between the ratios conjecture for the Riemann zeta-function and a conjecture concerning correlations of convolutions of M\"{o}bius and divisor functions. Specifically, we prove that the ratios conjecture and an…

Selective rationalization has become a common mechanism to ensure that predictive models reveal how they use any available features. The selection may be soft or hard, and identifies a subset of input features relevant for prediction. The…

A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in proof search. The calculus includes two new connectives to deal…

This article defines a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.

It is shown that a contraction on a Hilbert space is complex symmetric if and only if the values of its characteristic function are all symmetric with respect to a fixed conjugation. Applications are given to the description of complex…

We consider certain subfamilies, of the family of univalent functions in the open unit disk, defined by means of sufficient coefficient conditions for univalency. This article is devoted to studying the problem of the well-known conjecture…

Functions that are piecewise defined are a common sight in mathematics while convexity is a property especially desired in optimization. Suppose now a piecewise-defined function is convex on each of its defining components - when can we…

For all natural numbers a,b and d > 0, we consider the function f_{a,b,d} which associates n/d to any integer n when it is a multiple of d, and an + b otherwise; in particular f_{3,1,2} is the Collatz function. Coding in base a > 1 with b <…

We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the…

To a function with values in the power set of a pre--ordered, separated locally convex space a family of scalarizations is given which completely characterizes the original function. A concept of a Legendre--Fenchel conjugate for set-valued…

In the present note, we give a short proof of Brennan's conjecture in the special case of continuous semigroups of holomorphic functions. We apply classical techniques of complex analysis in conjunction with recent results on…

We consider log-convex sequences that satisfy an additional constraint imposed on their rate of growth. We call such sequences log-balanced. It is shown that all such sequences satisfy a pair of double inequalities. Sufficient conditions…

We develop a topological approach to prove the generalized Lax conjecture using the fact that determinants of sufficiently big symmetric linear pencils are able to express the rigidly convex sets of RZ polynomials of any degree $d$.…

Quadratic conjecture is a strengthening of oliver's $p$-group conjecture. Let $G$ be a $p$-group of maximal class of order $p^n$. We prove that if $n\le 8$ or $n\ge \max\{2p-6,p+2\}$ then $G$ satisfies Quadratic Conjecture. Hence quadratic…

We present the long sought visual pattern in the Collatz problem with the aid of a logarithmic spiral. Using this newly discovered pattern, we show that the Collatz problem is linked to primes via Jacobsthal numbers. We then prove that no…

Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence…

We present an abstract result that characterizes the coincidence of certain classes of linear operators with the class of Cohen strongly summing linear operators. Our argument is extended to multilinear operators and, as a consequence, we…

An algebraic condition for the singularity of certain T\"oplitz matrix pencils is derived which involves only the principal minors of the constant parts of the pencils. This leads to an algebraic conjecture which is equivalent to the…