Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for ...
We prove that the coefficients of a GL3 x GL2 Rankin-Selberg L-function do not correlate with a wide class of trace functions of small conductor modulo primes, generalizing the corresponding result of Fouvry, Kowalski, and Michel for GL2 and of Kowalski, L ...
In 1970, Furth and Yoshikawa (1970 Phys. Fluids 13 2593-6) introduced the scalings of adiabatic plasma compression. Basically, if the shape of the external plasma boundary and the aspect ratio are preserved during the compression, then the density, kinetic ...
The beta spectrum of the main transition of the 171Tm was measured using a double focalizing spectrometer. The instrument was lately improved in order to reduce its low energy threshold to 34 keV. We used the spectrometer to measure the energy end-point of ...
It is well-known that for any integral domain R, the Serre conjecture ring R(X), i.e., the localization of the univariate polynomial ring R[X] at monic polynomials, is a Bezout domain of Krull dimension
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023
We investigate generalizations along the lines of the Mordell-Lang conjecture of the author's p-adic formal Manin-Mumford results for n-dimensional p-divisible formal groups F. In particular, given a finitely generated subgroup (sic) of F(Q(p)) and a close ...
An integer linear program is a problem of the form max{c^T x : Ax=b, x >= 0, x integer}, where A is in Z^(n x m), b in Z^m, and c in Z^n.
Solving an integer linear program is NP-hard in general, but there are several assumptions for which it becomes fixed ...
Let k be a field, and let L be an etale k-algebra of finite rank. If a is an element of k(x), let X-a be the affine variety defined by N-L/k(x) = a. Assuming that L has at least one factor that is a cyclic field extension of k, we give a combinatorial desc ...
We analyze the quantum antiferromagnet on the maple leaf lattice in the presence of a magnetic field. Starting from its exact dimer ground state and for a magnetic field strength of the order of the local dimer spin-exchange coupling, we perform a strong-c ...
The evaluation and consideration of the mean flow in wave evolution equations are necessary for the accurate prediction of fluid particle trajectories under wave groups, with relevant implications in several domains, from the transport of pollutants in the ...
