Related papers: Explicit Bounds for Linear Forms in the Exponentia…

In their celebrated paper "On Siegel's Lemma", Bombieri and Vaaler found an upper bound on the height of integer solutions of systems of linear Diophantine equations. Calculating the bound directly, however, requires exponential time. In…

Given a linear semi-bounded symmetric operator $S\ge -\omega$, we explicitly define, and provide their nonlinear resolvents, nonlinear maximal monotone operators $A_\Theta$ of type $\lambda>\omega$ (i.e. generators of one-parameter…

Additive combinatorics asks for lower bounds on sumsets and restricted sumsets over finite fields. Central examples are the Cauchy-Davenport theorem and the Erd\H{o}s-Heilbronn conjecture. In this note, we develop Das's linear algebraic…

We propose three kinds of explicit formulas for the elliptic lambda function by the elliptic modular function. Further, we derive incredible cubic identities as a corollary of our explicit formulas and evaluate some singular values of the…

In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite…

In this paper, we obtain explicit bounds for the real part of the logarithmic derivative of the Riemann zeta-function on the line $\re s=1$, assuming the Riemann hypothesis. The proof combines the Guinand--Weil explicit formula with…

Recently, the eigenvalue problems formulated with symmetric positive definite bilinear forms have been well investigated with the aim of explicit bounds for the eigenvalues. In this paper, the existing theorems for bounding eigenvalues are…

We obtain uniform lower bounds, true for all automorphic L-functions L(s) associated to cuspidal representations of GL(m,A) where A denotes the adeles of the rationals Q, of the integral on the vertical line (Re(s)=1/2) of the absolute…

We describe a standard form for the elements in the universal field of fractions of free associative algebras (over a commutative field). It is a special version of the normal form provided by Cohn and Reutenauer and enables the use of…

Typing of lambda-terms in Elementary and Light Affine Logic (EAL, LAL, resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL (EAL, resp.) proof-nets admits a guaranteed polynomial…

Following the work of Mestre, we use Weil's explicit formulas to compute explicit lower bounds on the conductors of elliptic curves and abelian varieties over number fields. Moreover, we obtain bounds for the conductor of elliptic curves…

We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…

In the first part of the article, we give necessary and sufficient conditions for the solvability of a class of nonlinear elliptic boundary value problems with nonlinear boundary conditions involving the q-Laplace-Beltrami operator. In the…

Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating $\beta$-normal linear lambda terms. In this brief note, it is shown (by…

We investigate the problem $$-\Delta u = \lambda b(x)|u|^{q-2}u +a(x)|u|^{p-2}u \mbox{ in } \Omega, \quad \frac{\partial u}{\partial \mathbf{n}} = 0 \mbox{ on } \partial \Omega, \leqno{(P_\lambda)} $$ where $\Omega$ is a bounded smooth…

Let $\beta_1,...,\beta_n$ be distinct points in the open unit disc in the complex plane, none of which is the origin, and let $H^1$ be the Hardy space. Define a closed convex set in $\mathbb{C}^{n}$ by $\Lambda = \{…

We revisit a subexponential bound for the $abc$ conjecture due to the first author, and we establish a variation of it using linear forms in logarithms. As an application, we prove an unconditional subexponential bound towards the $4$-terms…

Very recently, Bai [Linear Algebra Appl., 681:150-186, 2024 \& Appl. Math. Lett., 166:109510, 2025] studied some concrete structures, and obtained essential algebraic and computational properties of the one-dimensional, two-dimensional and…

Let $A,B\in B(H)$. In the present paper, we establish simple and interesting facts on when we have $|A||B|=|B||A|$, $|AB|=|A||B|$, $|A\pm B|\leq |A|+|B|$, $||A|-|B||\leq |A\pm B|$ and $\||A|-|B|\|\leq \|A\pm B\|$, where $|\cdot|$ denotes…

We address a problem connected to the unfolding semantics of functional programming languages: give a useful characterization of those infinite lambda-terms that are lambda_{letrec}-expressible in the sense that they arise as infinite…