Related papers: Two Lorentzian Lattices
In a previous work, (dual)-$\mathfrak{m}$-Rickart lattices were studied. Now, in this paper, we introduce $\mathfrak{m}$-endoregular lattices as those lattices $\mathcal{L}$ such that $\mathfrak{m}$ is a regular monoid, where $\mathfrak{m}$…
We prove the surjectivity part of Goncharov's depth conjecture. We also show that the depth conjecture implies that multiple polylogarithms of depth $d$ and weight $n$ can be expressed via a single function…
We provide a proof of a variant of the Landau-Siegel Zeros conjecture.
Complemented lattices and uniquely complemented lattices are very important, not only in mathematics, but also in physics, biology, and even in social sciences. They have been investigated for a long time, especially by Huntington,…
We present two results which concern certain aspects of the question: when is a causal set well approximated by a Lorentzian manifold? The first result is a theorem which shows that the number-volume correspondence, if required to hold even…
We extend Fibonacci numbers with arbitrary weights and generalize a dozen Fibonacci identities. As a special case, we propose an elliptic extension which extends the $q$-Fibonacci polynomials appearing in Schur's work. The proofs of most of…
We give a new proof of Carlitz-Wan's conjecture, previously proved by Lenstra (1995).Our proofs are natural and intuitive, and shed new insights into the study of exceptional polynomials.
The document tries to put focus on sequences with certain properties and periods leading to the first value smaller than the starting value in the Collatz problem. With the idea that, if all starting numbers lead ultimately to a smaller…
In this paper we propose counterexamples to the Geometrization Conjecture and the Elliptization Conjecture.
In this paper, we prove a conjecture of Schnell in the surface case.
An apparent paradox in Einstein's Special Theory of Relativity, known as a Thomas precession rotation in atomic physics, has been verified experimentally in a number of ways. However, somewhat surprisingly, it has not yet been demonstrated…
This paper has two goals. The first goal is to show how an extension of second-order logic is a natural framework to formalize portions of Aristotle's \emph{Topics} and to bring to the foreground the logical, linguistic and philosophical…
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTTO and LTTO*, which we claim correspond closely to the classical predicative…
For every univariate formula $\chi$ we introduce a lattices of intermediate theories: the lattice of $\chi$-logics. The key idea to define chi-logics is to interpret atomic propositions as fixpoints of the formula $\chi^2$, which can be…
A brief introduction to the theory of ordered sets and lattice theory is given. To illustrate proof techniques in the theory of ordered sets, a generalization of a conjecture of Daykin and Daykin, concerning the structure of posets that can…
We settled a conjecture of Feigin, Wang and Yoshinaga, appeared in the preprint "Integral expressions for derivations of multiarrangements" (arXiv: 2309.01287v2).
This note describes a conjecture involving cyclotomic polynomials and some initial thoughts towards a solution. Given positive integers $m,n$, the conjecture is that either $\Phi_m(q)\leqslant\Phi_n(q)$ or $\Phi_m(q)\geqslant\Phi_n(q)$…
Reinhardt's conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite…
It is shown how Andrews' multidimensional extension of Watson's transformation between a very-well-poised $_8\phi_7$-series and a balanced $_4\phi_3$-series can be used to give a straightforward proof of a conjecture of Zudilin and the…
We prove The Tate Thomason conjecture through Theorem 2.2. Fundamental is the work of R W Thomson and the proof also rests upon the theory of infinite abelian groups.