Related papers: Hong et al. reply to Walliser
In his book Topics in Analytic Number Theory, Rademacher considered the generating function of partitions into at most $N$ parts, and conjectured certain limits for the coefficients of its partial fraction decomposition. We carry out an…
The main result of this paper supports a conjecture by C. P\'erez and E. Rela about a very recent result of theirs on self-improving theory. Also, we extend the conclusions of their theorem to the range $p<1$. As an application of our…
Extending the idea in [Impagliazzo, R., Moore, C. and Russell, A., An entropic proof of Chang's inequality. SIAM Journal on Discrete Mathematics, 28(1), pp.173-176.] we give a short information theoretic proof for Chang's lemma that is…
This paper has been withdrawn by the authors due to a mistake in the proof of the chief result. In particular Theorem 1.3 is correct, while Theorem 1.1 and Theorem 1.2 hold with \mu>0 and a suitable restriction on the exponent p. The proof…
We study matrix inequalities involving partial traces for positive semidefinite block matrices. First of all, we present a new method to prove a celebrated result of Choi [Linear Algebra Appl. 516 (2017)]. Our method also allows us to prove…
It is shown that the results of ref [1] are consistent.
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing that if a set of clauses is unsatisfiable, then it must have a…
Assumed data streams from a delayed choice gedanken experiment must satisfy a Bell's identity independently of locality assumptions. The violation of Bell's inequality by assumed correlations of identical form among these data streams…
The fundamental aim of the paper is to correct an harmful way to interpret a Goedel's erroneous remark at the Congress of Koenigsberg in 1930. Despite the Goedel's fault is rather venial, its misreading has produced and continues to produce…
This paper has been withdrawn by the authors, due an error in Bethe Ansatz equations (16).
New (infinitely many) rational approximants to \zeta(3) proving its irrationality are given. The recurrence relations for the numerator and denominator of these approximants as well as their continued fraction expansions are obtained. A…
In the context of testing general relativity with gravitational waves, constraints obtained with multiple events are typically combined either through a hierarchical formalism or though a combined multiplicative Bayes factor. We show that…
A classical result of MacMahon states that inversion number and major index have the same distribution over permutations of a given multiset. In this work we prove a strengthening of this theorem originally conjectured by Haglund. Our…
Two results are presented concerning the entailment problem in Separation Logic with inductively defined predicate symbols and theory reasoning. First, we show that the entailment problem is undecidable for rules with bounded tree-width, if…
This paper has been withdrawn by the author due to an error in Lemma 3, making the (bijective) proof of Theorem 4 and Corollary 5 invalid (symmetry of k-nonnesting and k-noncrossing set partitions).
The representation theorem for odd or even involutive FLe-chains by bunches of layer groups, as discussed in [10], is redefined to demonstrate a more straightforward constructional relationship between odd or even involutive FLe-chains and…
New insights into the combinatorial structure of the Mandelbrot set are given by `Correspondence' and `Translation' Principles both conjectured and partially proved by E. Lau and D. Schleicher. We provide complete proofs of these principles…
Building on previous results of Xing, we give new lower bounds on the rate of intersecting codes over large alphabets. The proof is constructive, and uses algebraic geometry, although nothing beyond the basic theory of linear systems on…
We prove ballistic behaviour as well as an annealed functional central limit theorem for random walks in mixing random environments (RWRE). The ballistic hypothesis will be an effective polynomial condition as the one introduced by Berger,…
We reproduce Hilbert's axiomatic formalisation of Number Theory, and argue that his enunciation of the Law of the Excluded Middle is inconsistent with a Turing-verifiable model of the axioms under the standard interpretation.