Related papers: Some Remarks on a recent article by J. -P. Allouch…
We investigate the analogue of the Andr\'e--Pink--Zannier conjecture in characteristic $p$. Precisely, we prove it for ordinary function field-valued points with big monodromy, in Shimura varieties of Hodge type. We also prove an algebraic…
Thanks to recent results on ring homomorphisms of Azumaya algebras and to the following ones about endomorphisms of canonical Poisson algebras and Dirac quantum algebras, and about the reformulation in positive characteristic of these…
In this paper we study subsequences of random numbers. In Kamae (1973), selection functions that depend only on coordinates are studied, and their necessary and sufficient condition for the selected sequences to be normal numbers is given.…
We provide a commentary on Teichm{\"u}ller's paper "Extremale quasikonforme Abbildungen und quadratische Differentiale" (Extremal quasiconformal mappings of closed oriented Riemann surfaces), Abh. Preuss. Akad. Wiss., Math.-Naturw. Kl.…
Presented are polynomial identities which imply generalizations of Euler and Rogers--Ramanujan identities. Both sides of the identities can be interpreted as generating functions of certain restricted partitions. We prove the identities by…
The present preprint completes the arXiv preprint #2202.11652, entitled "Pseudodifferential arithmetic and the Riemann hypothesis", devoted to a proof of the conjecture. The first 4 pages of that preprint were devoted to a set of necessary…
An equivalence between Lu's bialgebroids, Xu's bialgebroids with an anchor and Takeuchi's $\times_{A}$-bialgebras is explicitly proven. A new class of examples of bialgebroids is constructed. A (formal) dual of a bialgebroid, termed…
The goal of this paper is to prove operator identities using equalities between noncommutative polynomials. In general, a polynomial expression is not valid in terms of operators, since it may not be compatible with domains and codomains of…
In this paper, we prove new identities for Bernoulli polynomials that extend Alzer and Kwong's results. The key idea is to use the Volkenborn integral over $\mathbb Z_p$ of the Bernoulli polynomials to establish recurrence relations on the…
We discuss some aspects of the search for identities using computer algebra and symbolic methods. The focus is on so-called Apery-like formulae for special values of the Riemann Zeta function. Much work lays ahead in formally proving and…
We prove a conjecture of Kottwitz and Rapoport which implies a converse to Mazur's Inequality for all split and quasi-split (connected) reductive groups. These results are related to the non-emptiness of certain affine Deligne-Lusztig…
In 1987, Mazur and Tate stated conjectures which, in some cases, resemble the classical Birch-Swinnerton-Dyer conjecture and its $p$-adic analog. We study experimentally three conjectures stated by Mazur and Tate using SageMath. Our…
The Rogers-Ramanujan-Gordon identities generalize the classical partition identities discovered independently by L. J. Rogers and S. Ramanujan. In 2021, Afsharijoo provided a commutative algebra proof of the Rogers-Ramanujan-Gordon…
We discuss an algebraic identity, due to Sylvester, as well as related algebraic identities and applications.
We take an argument of G\"odel's from his ground-breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: the sentence $G$ says about itself that it is not provable, and $G$ is indeed not provable;…
We prove a number of conjectures [arXiv:2005.04066] recently stated by P. Barry, related to the paperfolding sequence and the Rueppel sequence.
We give three elementary proofs of a nice equality of definite integrals, which arises from the theory of bivariate hypergeometric functions, and has connections with irrationality proofs in number theory. We furthermore provide a…
In this paper, we present a relative proof for Goldbach's strong conjecture. To this end, we first present a heuristic model for representing even numbers called Semi-continuous Model for Even Numbers or briefly S.C.E Model, and then by…
Using Je\v{r}\'abek 's framework for probabilistic reasoning, we formalize the correctness of two fundamental RNC^2 algorithms for bipartite perfect matching within the theory VPV for polytime reasoning. The first algorithm is for testing…
Incomputability results in Formal Logic and the Theory of Computation (i.e., incompleteness and undecidability) have deep implications for the foundations of mathematics and computer science. Likewise, Social Choice Theory, a branch of…