Related papers: Plus and minus logarithms and Amice transform

We give an alternative proof to Wu's logarithmic Sobolev inequality for the Poisson measure on the nonnegative integers using a stochastic variational formula for entropy. We show that this approach leads to improvement of Wu's inequality…

Two conjectures are presented. The first, Conjecture 1, is that the pushforward of a geometric distribution on the integers under $n$ Collatz iterates, modulo $2^p$, is usefully close to uniform distribution on the integers modulo $2^p$, if…

Given a set $A=\{a_1,\ldots,a_n\}$ of real numbers and real coefficients $b_1,\ldots,b_n$, consider the distribution of the sum obtained by pairing the $a_i$'s with the $b_i$'s according to a uniformly random permutation. A recent theorem…

Many questions in number theory concern the nonvanishing of determinants of square matrices of logarithms (complex or p-adic) of algebraic numbers. We present a new conjecture that states that if such a matrix has vanishing determinant,…

Let y1, y2, y3, a1, a2, a3 > 0 be such that y1 y2 y3 = a1 a2 a3 and y1 + y2 + y3 >= a1 + a2 + a3, y1 y2 + y2 y3 + y1 y3 >= a1 a2 + a2 a3 + a1 a3. Then the following inequality holds (log y1)^2 + (log y2)^2 + (log y3)^2 >= (log a1)^2 + (log…

Using $p$-adic numbers, we partially categorize the cycles of a sizable class of polynomial dynamical systems. In turn, we prove a few results related to the non-trivial cycles of the $\textit{Collatz map}$ $\text{Col} : \mathbb{Z}_+ \to…

We consider a many-sorted variant of Japaridze's polymodal provability logic $\mathsf{GLP}$. In this variant, which is denoted $\mathsf{GLP}^\ast$, propositional variables are assigned sorts $\alpha \leq \omega$, where variables of finite…

The theory of admissible distributions over a weight-space of one-variable was studied by Amice--V\'{e}lu and played important roles in the cyclotomic Iwasawa theory of non-ordinary p-adic Galois representations. In this article, we discuss…

We deal with various splitting methods in algebraic logic. The word `splitting' refers to splitting some of the atoms in a given relation or cylindric algebra each into one or more subatoms obtaining a bigger algebra, where the number of…

Estimating high-quality images while also quantifying their uncertainty are two desired features in an image reconstruction algorithm for solving ill-posed inverse problems. In this paper, we propose plug-and-play Monte Carlo (PMC) as a…

We simplify in this note Galbis' proof of certain norm estimates for self-adjoint Toeplitz operators on the Fock space. This relies on an extension (and a unification) of his integration lemmas, yet with a simpler proof in the same spirit.

We generalize the Umbral Calculus of G-C. Rota by studying not only sequences of polynomials and inverse power series, or even the logarithms studied in, but instead we study sequences of formal expressions involving the iterated logarithms…

We define the $p$-adic trace of certain rank-one local systems on the multiplicative group over $p$-adic numbers, using Sekiguchi and Suwa's unification of Kummer and Artin-Schrier-Witt theories. Our main observation is that, for every…

Let $p>2$ be prime and $g$ a primitive root modulo $p$. We present an argument for the fact that discrete logarithms of the numbers in any arithmetic progression are uniformly distributed in $[1,p]$ and raise some questions on the subject.

We construct sequences $\{a_n\}_{n\in\mathbb{N}}\in\{-1,1\}^{\mathbb{N}}$ with small values of signed harmonic sums \[ \sum_{n\in\mathcal{A}\cap[1,N]}\frac{a_n}{n}, \] for any reasonably dense subsets $\mathcal{A}\subset\mathbb{N}.$ We…

We shall make a slight improvement to a result of p-adic logarithms which gives a nontrivial upper bound for the exponent of p dividing the Fermat quotient x^{p-1}-1.

Extensions of the $Stirling$ numbers of the second kind and $Dobinski$ -like formulas are proposed in a series of exercises for graduates. Some of these new formulas recently discovered by me are to be found in the source paper $ [1]$.…

For all integers $n \geq k \geq 1$, define $H(n,k) := \sum 1 / (i_1 \cdots i_k)$, where the sum is extended over all positive integers $i_1 < \cdots < i_k \leq n$. These quantities are closely related to the Stirling numbers of the first…

We consider a variant of a question of N. Koblitz. For an elliptic curve $E/\Q$ which is not $\Q$-isogenous to an elliptic curve with torsion, Koblitz has conjectured that there exists infinitely many primes $p$ such that…

Let R be a complete discrete valuation ring, S=R[[u]] and n a positive integer. The aim of this paper is to explain how to compute efficiently usual operations such as sum and intersection of sub-S-modules of S^d. As S is not principal, it…