Related papers: A Local Trace Formula for the Generalized Shalika …
Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…
Let $\K$ be an archimedean local field. We investigate the existence of the twisted Shalika functionals on irreducible admissible smooth representations of $\GL_{2n}(\K)$ in terms of their L-parameters. As part of our proof, we establish a…
This article proves a formula relating the multiplicity of an induced representation and that of the inducing datum for the Bessel and the Fourier-Jacobi models over Archimedean local fields by generalizing the approach of C. Moeglin and…
The concept of concrete regularity structure gives the algebraic backbone of the operations involved in the local expansions used in the regularity structure approach to singular stochastic partial differential equations. The spaces and the…
This article is written in celebration of the 8th Kazakh-French Logical Colloquium. We expand on an unpublished research note of the second author. We record some results concerning local Keisler measures with respect to a formula which is…
In the present paper, a generalized local Taylor formula with the local fractional derivatives (LFDs) is proposed based on the local fractional calculus (LFC). From the fractal geometry point of view, the theory of local fractional…
In this work we shall generalize the Selberg trace formula to a non-unitary finite-dimensional complex representation $\chi:\Gamma\rightarrow\operatorname{GL}(V)$ of a uniform lattice $\Gamma$ of a real Lie group $G$.
We define an affine structure on $\ltwor\oplus...\oplus\ltwor$ and, following some ideas developed in \cite{Dut1}, we construct a local trace function for this situation. This trace function is a complete invariant for a shift invariant…
Solutions to conservation laws satisfy the monotonicity property: the number of local extrema is a non-increasing function of time, and local maximum/minimum values decrease/increase monotonically in time. This paper investigates this…
From physical perspective, derivatives can be viewed as mathematical idealizations of the linear growth. The linear growth condition has special properties, which make it preferred. The manuscript investigates the general properties of the…
This paper concerns the verification of continuous-time polynomial spline trajectories against linear temporal logic specifications (LTL without 'next'). Each atomic proposition is assumed to represent a state space region described by a…
Observing that the logarithm of a product of two elliptic operators differs from the sum of the logarithms by a finite sum of operator brackets, we infer that regularised traces of this difference are local as finite sums of noncommutative…
In this work we prove the local multiplicity at most one theorem underlying the definition and theory of local $\gamma$-, $\epsilon$- and $L$-factors, defined by virtue of the generalized doubling method, over any local field of…
Let $K$ be a complete discretely valued field with the residue field $\kappa$. Assume that cohomological dimension of $\kappa$ is less than or equal to $1$ (for example, $\kappa$ is an algebraically closed field or a finite field). Let $F$…
In earlier papers it was shown that the generic tropical variety of an ideal can contain information on algebraic invariants as for example the depth in a direct way. The existence of generic tropical varieties has so far been proved in the…
Let $M$ and $N$ be smooth (real or complex) manifolds, and let $M$ be equipped with some Riemannian metric. A continuous map $f\colon M\longrightarrow N$ admits a local $k$-multiplicity if, for every real number $\omega >0$, there exist $k$…
In this paper, we obtain geometric expansions of a local trace formula and its twisted variant for the twisted Gan-Gross-Prasad conjecture. As an application, we prove the local twisted Gan-Gross-Prasad conjecture for $U(V_K)/U(V)$ for…
The local trace function introduced in \cite{Dut} is used to derive equations that relate multiwavelets and multiscaling functions in the context of a generalized multiresolution analysis, without appealing to filters. A construction of…
We introduce the notion of relative pseudocoefficient for relative discrete series of real spherical homogeneous spaces of reductive groups. We prove that such relative pseudocoefficient does not exist for semisimple symmetric spaces of…
We prove that a Poisson-Newton formula, in a broad sense, is associated to each Dirichlet series with a meromorphic extension to the whole complex plane of finite order. These formulas simultaneously generalize the classical Poisson formula…