Related papers: Correction to a theorem of Schoenberg
In this note, we present a puzzle. We prove that Zermelo-Fraenkel set theory is inconsistent by proving, using Zermelo-Fraenkel set theory, the false statement that any algorithm that determines whether any $n \times n$ matrix over $\mathbb…
Generalizing Krieger's finite generation theorem, we give conditions for an ergodic system to be generated by a pair of partitions, each required to be measurable with respect to a given sub-algebra, and also required to have a fixed size.
A partition is finitary if all its members are finite. For a set $A$, $\mathscr{B}(A)$ denotes the set of all finitary partitions of $A$. It is shown consistent with $\mathsf{ZF}$ (without the axiom of choice) that there exist an infinite…
The Sylvester-Gallai theorem states that for a finite set of points in the plane, if every line determined by any two of these points also contains a third, then the set is necessarily made of collinear points. In this paper, we first…
If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…
We discuss the phenomenon where an element in a number field is not integrally represented by a given positive definite quadratic form, but becomes integrally represented by this form over a totally real extension of odd degree. We prove…
We consider Brouwer's fixed point theorem and Sperner's lemma in one dimension. We present a proof of the Brouwer theorem using the Sperner lemma, and vice versa. However, we also show that they are not equivalent, because the Sperner lemma…
The family of the Taylor series f_{\epsilon}(z)= \sum\limits_{0\leq{}n<\infty}e^{-\epsilon n^2}z^n is considered, where the parameter \epsilon, which enumerates the family, runs over ]0,\infty[. The limiting behavior of this family is…
Previous results for the pair production probability in a strong electric field with a finite longitudinal separation are generalized to the case of a finite-length flux tube with transverse confinement. The threshold length of the flux…
We present combinatorial and analytical results concerning a Sheffer sequence with a generating function of the form $G(x,z)=Q(z)^{x}Q(-z)^{1-x}$, where $Q$ is a quadratic polynomial with real zeros. By using the properties of Riordan…
We prove an $\mathbb F_p$-Selberg integral formula, in which the $\mathbb F_p$-Selberg integral is an element of the finite field $\mathbb F_p$ with odd prime number $p$ of elements. The formula is motivated by analogy between…
The Frauchiger--Renner paradox derives an inconsistency when quantum theory is used to describe the use of itself, by means of a scenario where agents model other agents quantumly and reason about each other's knowledge. We observe that…
A natural generalization of base B expansions is Zeckendorf's Theorem: every integer can be uniquely written as a sum of non-consecutive Fibonacci numbers $\{F_n\}$, with $F_{n+1} = F_n + F_{n-1}$ and $F_1=1, F_2=2$. If instead we allow the…
A sequence $Z$ in the complex plane $\C$ is called a zero sequence for the Fock space $F^p_\alpha$ if there exists a function $f\in F^p_\alpha$, not identically zero, such that $Z$ is the zero set of $f$, counting multiplicities. We show…
In this short note we confirm a conjecture of James Wiegold. We prove that if $G$ is a finite $p$-group and $|G'|>p^{n(n-1)/2}$ for some non-negative integer $n$, then the group $G$ can be generated by the elements of breadth at least $n$.…
Serfozo (2009, Theorem 2.65) gives a useful central limit theorem for processes with regenerative increments. Unfortunately, there is a gap in the proof. We fill this gap, and at the same time we weaken the assumptions. Furthermore, we give…
Schertz conjectured that every finite abelian extension of imaginary quadratic fields can be generated by the norm of the Siegel-Ramachandra invariants. We shall present a conditional proof of his conjecture by means of the characters on…
Considering all possible paths that a natural number can take following the rules of the algorithm proposed in the Collatz conjecture we construct a graph that can be interpreted as an infinite network that contemplates all possible paths…
Goodstein sequences are numerical sequences in which a natural number m, expressed as the complete normal form to a given base a, is modified by increasing the value of the base a by one unit and subtracting one unit from the resulting…
We prove a Frobenius-type theorem for singular distributions generated by a family of locally Lipschitz continuous vector fields satisfying almost everywhere a quantitative finite type condition.