Related papers: Some new primality criteria based on Lucas sequenc…
We present a novel unity of logic, viz., a single sequent calculus that embodies classical, intuitionistic and linear logics. Concretely, we define classical linear logic negative (CLL$^-$), a new logic that is classical and linear yet…
We give several new applications of our theorem on the existence of multiplicity of graded families of ideals as a limit, including a very general Minkowski type inequality for graded families of ideals, a very general formula for existence…
Accurate modelling of nerve impulse propagation requires accounting for strong higher-order nonlinearities in membrane dynamics, as incorporated in the extended Heimburg-Jackson model. By introducing third- and fourth-order polynomial terms…
In 1737 Leonard Euler gave what we often now think of as a new proof, based on infinite series, of Euclid's theorem that there are infinitely many prime numbers. Our short paper uses a simple modification of Euler's argument to obtain new…
We construct a new parametrization of double sequences $\{A_{n,k}(s)\}_{n,k}$ between $A_{n,k}(0)= \binom{n-1}{k-1}$ and $A_{n,k}(1)= \frac{1}{n!}\stirl{n}{k}$, where $\stirl{n}{k}$ are the unsigned Stirling numbers of the first kind. For…
In this paper we resolve a question by Bringmann, Lovejoy, and Rolen on a new vector-valued $U$-type function. We obtain an expression for a corresponding family of Hecke-Appell-type sums in terms of mixed mock modular forms; that is, we…
We describe a notion of categorical model for unitless fragments of (multiplicative) linear logic. The basic definition uses promonoidal categories, and we also give an equivalent elementary axiomatisation.
An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…
In this paper we survey some recent results on the central limit theorem and its weak invariance principle for stationary sequences. We also describe several maximal inequalities that are the main tool for obtaining the invariance…
In this paper we consider divisibility sequences obtained from square matrices. We work with of matrix divisibility sequences associated to a semigroup and arising from endomorphisms of an affine space. We prove that determinant…
We introduce a new neural network-based continual learning algorithm, dubbed as Uncertainty-regularized Continual Learning (UCL), which builds on traditional Bayesian online learning framework with variational inference. We focus on two…
We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable…
Nicolas criterion for the Riemann Hypothesis is based on an inequality that Euler totient function must satisfy at primorial numbers. A natural approach to derive this inequality would be to prove that a specific sequence related to that…
New criteria are shown that certain combinations of finite unimodal polynomials are unimodal. %Given unimodal polynomials with explicit expressions and dependent recursion relations, we propose an approach to determine their modes. As…
In this paper, we first give new generalizations for third-order Jacobsthal $\{J_{n}^{(3)}\}_{n\in \mathbb{N}}$ and third-order Jacobsthal-Lucas $\{j_{n}^{(3)}\}_{n\in \mathbb{N}}$ sequences for Jacobsthal and Jacobsthal-Lucas numbers.…
For a wide class of integer linear recurrence sequences $\left(u(n)\right)_{n=1}^\infty$, we give an upper bound on the number of $s$-tuples $\left(n_1, \ldots, n_s\right) \in \left(\mathbb Z\cap [M+1,M+ N]\right)^s$ such that the…
We find some modularity criterion for a product of Klein forms of the congruence subgroup $\Gamma_1(N)$ and, as its application, construct a basis of the space of modular forms for $\Gamma_1(13)$ of weight $2$. In the process we face with…
The purpose of this paper is to present a syatemic study of some familes of higher-order Euler numbers and polynomials. In particular, by using the basis property of higher-order Euler polynomials for the space of polynomials of degree less…
We study canonical basis elements in higher-level Fock spaces associated with the quantum group $U_q(\mathfrak{gl}_\infty)$, which are conjecturally related to Calogero-Moser theory for complex reflection groups. We generalize the…
We study the universal properties of distributions of eigenvalues of random matrices in the large $N$ limit. The distributions fall in universality classes characterized entirely by the support of the spectral density.