Related papers: Another (wrong) construction of $\pi$
How best to quantify the information of an object, whether natural or artifact, is a problem of wide interest. A related problem is the computability of an object. We present practical examples of a new way to address this problem. By…
When the sequence of regular polygons with consecutively increasing numbers of sides is joined edge-to-edge in a single direction while minimizing bending, the resulting structure assumes the shape of a logarithmic spiral. This paper proves…
We consider the following "partition and sum" operation on a natural number: Treating the number as a long string of digits insert several plus signs in between some of the digits and carry out the indicated sum. This results in a smaller…
Recently Raayoni et al. announced various conjectures on continued fractions of fundamental constants automatically generated with machine learning techniques. In this paper we prove some of their stated conjectures for Euler number $e$ and…
We develop a systematic derivation for the Limber approximation to the angular cross-power spectrum of two random fields, as a series expansion in 1/(\ell+1/2). This extended Limber approximation can be used to test the accuracy of the…
Depth is a complexity measure for natural systems of the kind studied in statistical physics and is defined in terms of computational complexity. Depth quantifies the length of the shortest parallel computation required to construct a…
We present slight refinements of known general lower and upper bounds on sizes of extended formulations for polytopes. With these observations we are able to compute the extension complexities of all 0/1-polytopes up to dimension 4. We…
We devise a method to exactly compute the length of the longest simple path in factored state spaces, like state spaces encountered in classical planning. Although the complexity of this problem is NEXP-Hard, we show that our method can be…
Let $\chi$ denote a primitive, non-quadratic Dirichlet character with conductor $q$, and let $L(s, \chi)$ denote its associated Dirichlet $L$-function. We show that $|L(1, \chi)| \geq 1/(9.12255 \log(q/\pi))$ for sufficiently large $q$, and…
In his famous work, "Measurement of a Circle," Archimedes described a procedure for measuring both the circumference of a circle and the area it bounds. Implicit in his work is the idea that his procedure defines these quantities. Modern…
This paper proposes {\pi}, a formal semantic framework for compiler construction together with program validation. {\pi} is comprised by {\pi} Lib, a set of programming languages constructs inspired by Peter Mosses' Component-Based…
The main result of this paper, as previously presented to arxiv, was incorrect. See the full text for details and for reference to the remaining results.
We introduce a simplified method for calculating the loss function for use in geometric shaping, allowing for the optimisation of high dimensional constellations. We design constellations up to 12D with 4096 points, with gains up to 0.31 dB…
A complete classification of the perfect binary one-error-correcting codes of length 15 as well as their extensions of length 16 is presented. There are 5983 such inequivalent perfect codes and 2165 extended perfect codes. Efficient…
We provide very effective methods to convert both asymptotic and explicit numeric bounds on the prime counting function $\psi(x)$ to bounds of the same type on both $\theta(x)$ and $\pi(x)$. This follows up our previous work on $\psi(x)$ in…
The characters $\chi(\pi)$ of $S_n$ that depend only on the number of cycles of $\pi$ are completely determined.
Due a mistake in identifying the operators $O_9$ and $O_{10}$ which leads to errorous expressions in eq. 9. With the correct expressions (exchange c_9 and c_{10} in eq. 9), the analysis followed are invalide.
In this note we show how the irrationality measure of $\zeta(s) = \pi^2/6$ can be used to obtain explicit lower bounds for $\pi(x)$. We analyze the key ingredients of the proof of the finiteness of the irrationality measure, and show how to…
We describe the construction of the slice fibration of a given one.
In this note, we prove that the problem of computing the linear discrepancy of a given matrix is $\Pi_2$-hard, even to approximate within $9/8 - \epsilon$ factor for any $\epsilon > 0$. This strengthens the NP-hardness result of Li and…