Related papers: A century problem related to the Legendre symbol m…
Epistemic modals have peculiar logical features that are challenging to account for in a broadly classical framework. For instance, while a sentence of the form $p\wedge\Diamond\neg p$ ('$p$, but it might be that not $p$') appears to be a…
Solving symbolic reasoning problems that require compositionality and systematicity is considered one of the key ingredients of human intelligence. However, symbolic reasoning is still a great challenge for deep learning models, which often…
Let $A$ be a symbolic (or an extended symbolic) Rees algebra (need not be Noetherian) of dimension $d$. Let $P$ be a finitely generated projective $A$-module of rank $\geq$ $d$. Then P has a unimodular element. This improves the classical…
We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime $p\equiv 1\pmod 4$ and integer $a\not\equiv0\pmod p$, we prove that \begin{align*}&(-1)^{|\{1\le k<\frac p4:\ (\frac kp)=-1\}|}\prod_{1\le…
The goal of this note is to give, at least for a restricted range of indices, a short proof of homogeneous commutator estimates for fractional derivatives of a product, using classical tools. Both $L^{p}$ and weighted $L^{p}$ estimates can…
This paper concerns elliptic systems of $p$-Laplace type with complex valued coefficient and source term. We extend the real valued theory of the elliptic $p$-Laplace equation to the complex valued case. We establish the existence and…
The Modular Isomorphism Problem asks if an isomorphism of group algebras of two finite p-groups G and H over a field of characteristic p, implies an isomorhism of the groups G and H. We survey the history of the problem, explain strategies…
Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper we solve some conjectures of Z.W. Sun concerning $\sum_{k=0}^{p-1}\binom{2k}k^3/m^k\pmod{p^2}$, $\sum_{k=0}^{p-1}\binom{2k}k\b{4k}{2k}/m^k\pmod p$ and…
In this paper, we use bifurcation method to investigate the existence and multiplicity of one-sign solutions of the $p$-Laplacian involving a linear/superlinear nonlinearity with zeros. To do this, we first establish a bifurcation theorem…
To verify the universal validity of the "two-sided" monotonicity condition introduced in [8], we will apply it to include more classical examples. The present paper selects the $L^{p}$ convergence case for this purpose. Furthermore, Theorem…
The main purpose of this note is to pose a couple of problems which are easily formulated thought some seem to be not yet solved. These problems are of general interest for discrete mathematics including a new twig of a bough of theory of…
We relate a one-parametric generating function for the squares of Legendre polynomials to an arithmetic hypergeometric series whose parametrisation by a level 7 modular function was recently given by Shaun Cooper. By using this modular…
Given a map f:Z-->Z and an initial argument alpha, we can iterate the map to get a finite set of iterates modulo a prime p. In particular, for a quadratic map f(z)=z^2 +c, c constant, work by Pollard suggests that this set should have…
The trigonometric moment problem arises from the study of one-parameter families of centers in polynomial vector fields. It asks for the classification of the trigonometric polynomials $Q$ which are orthogonal to all powers of a…
Let $f(n)$ be a random completely multiplicative function such that $f(p) = \pm 1$ with probabilities $1/2$ independently at each prime. We study the conditional probability, given that $f(p) = 1$ for all $p < y$, that all partial sums of…
A set of algorithms is presented for efficient numerical calculation of the time evolution of classical dynamical systems. Starting with a first approximation for solving the differential equations that has a "reversible" character, we show…
A system $\boldsymbol\lambda_{\theta}$ is developed that combines modal logic and simply-typed lambda calculus, and that generalizes the system studied by Montague and Gallin. Whereas Montague and Gallin worked with Church's simple theory…
The derivative of the associated Legendre function of the first kind of integer degree with respect to its order, $\partial P_{n}^{\mu}(z)/\partial\mu$, is studied. After deriving and investigating general formulas for $\mu$ arbitrary…
Using modular arithmetic of the ring $\mathbb{Z}_{n+1}$ we obtain a new short solution to the problem of existence of at least one solution to the $N$-Queens problem on an $N \times N$ chessboard. It was proved, that these solutions can be…
A brief survey of some basic ideas of the so-called Idempotent Mathematics is presented; an "idempotent" version of the representation theory is discussed. The Idempotent Mathematics can be treated as a result of a dequantization of the…