Related papers: On the Pierce-Birkhoff Conjecture

This analysis which uses new mathematical methods aims at proving the Riemann hypothesis and figuring out an approximate base for imaginary non-trivial zeros of zeta function at very large numbers, in order to determine the path that those…

Let $G$ be a simple graph. The $k$-th neighborhood of a vertex subset $S \subseteq V(G)$, denoted $\Lambda^k(S)$, is the set of vertices that are adjacent to at least $k$ vertices in $S$. The $k$-th binding number $\beta^k(G)$ is defined as…

In this paper we characterize the Birkhoff--James orthogonality with respect to the numerical radius norm $v(\cdot)$ in $C^*$-algebras. More precisely, for two elements $a, b$ in a $C^*$-algebra $\mathfrak{A}$, we show that $a\perp_{B}^{v}…

This note provides modern proofs of some classical results in algebraic topology, such as the James Splitting, the Hilton-Milnor Splitting, and the metastable EHP sequence. We prove fundamental splitting results \begin{equation*} \Sigma…

Inspired by a recent paper due to Jos\'{e} Luis Garc\'{i}a, we revisit the attempt of Daniel Simson to construct a counterexample to the pure semisimplicity conjecture. Using compactness, we show that the existence of such counterexample…

Dirichlet's $L$-functions are natural extensions of the Riemann zeta function. In this paper we first give a brief survey of Ap\'ery-like series for some special values of the zeta function and certain $L$-functions. Then, we establish two…

We prove the twin prime conjecture and the generalized conjectures of Kronecker and Polignac. Key to the proofs is a new theoretical sieve that combines two concepts that go back to Eratosthenes: the 'sieve' filtering a finite set of…

Whitehead aspherical conjecture says that every connected subcomplex of every aspherical 2-complex is aspherical. By an argument on ribbon sphere-links, it is confirmed that the conjecture is true for every contractible finite 2-complex. In…

Let $K$ be an imaginary quadratic field and let $\mathcal{O}_K$ be the ring of algebraic integers of $K$. For $\alpha \in \mathcal{O}_K$ with $|\alpha| > 1$, define \[ \mathcal{D}_\alpha = \bigcup_{n=0}^\infty…

N Kuhn has given several conjectures on the special features satisfied by the singular cohomology of topological spaces with coefficients in a finite prime field, as modules over the Steenrod algebra. The so-called realization conjecture…

Many fundamental questions in additive number theory (such as Goldbach's conjecture, Fermat's last theorem, and the Twin Primes conjecture) can be expressed in the language of sum and difference sets. As a typical pair of elements…

We continue the study of the theories of Baldwin-Shi hypergraphs from $[5]$. Restricting our attention to when the rank $\delta$ is rational valued, we show that each countable model of the theory of a given Baldwin-Shi hypergraph is…

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

We provide a new proof of the sharpness of the phase transition for Bernoulli percolation and the Ising model. The proof applies to infinite range models on arbitrary locally finite transitive infinite graphs. For Bernoulli percolation, we…

We prove the Tits-Weiss conjecture for Albert division algebras over fields of arbitrary characteristics in the affirmative. The conjecture predicts that every norm similarity of an Albert division algebra is a product of a scalar homothety…

In 2003, Zhao discovered a curious congruence involving harmonic series and Bernoulli numbers: for any odd prime $p$, $$\sum_{\substack{i,j,k\ge 1\\\gcd(ijk,p)=1\\i+j+k=p}}\frac{1}{ijk}\equiv -2B_{p-3} \pmod{p},$$ where $B_n$ is the $n$-th…

We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…

The Peterson-Thom conjecture asserts that any diffuse, amenable subalgebra of a free group factor is contained in a unique maximal amenable subalgebra. This conjecture is motivated by related results in Popa's deformation/rigidity theory…

We construct the entropic measure $\mathbb{P}^\beta$ on compact manifolds of any dimension. It is defined as the push forward of the Dirichlet process (another random probability measure, well-known to exist on spaces of any dimension)…

We study long-range Bernoulli percolation on $\mathbb{Z}^d$ in which each two vertices $x$ and $y$ are connected by an edge with probability $1-\exp(-\beta \|x-y\|^{-d-\alpha})$. It is a theorem of Noam Berger (CMP, 2002) that if…