Related papers: Traversal-invariant characterizations of logarithm…
This paper begins a new approach to the $r$-trace formula, without removing the nontempered contribution to the spectral side. We first establish an invariant trace formula whose discrete spectral terms are weighted by automorphic…
Classification and invariants, with respect to basis changes, of finite dimensional algebras are considered. An invariant open, dense (in the Zariscki topology) subset of the space of structural constants is defined. The algebras with…
Both a general and a diagonal u-invariant for forms of higher degree are defined, generalizing the u-invariant of quadratic forms. Both old and new results on these invariants are collected.
In this paper we provide a notion of causality for the violation of general Linear Temporal Logic (LTL) properties. The current work is a natural extension of the previously proposed approach handling causality in the context of…
Necessary and sufficient conditions are given for density of shift-invariant subspaces of the space $\mathcal{L}$ of integrable functions of bounded support with the inductive limit topology.
New index transforms are investigated, which contain as the kernel products of the Bessel and modified Bessel functions. Mapping properties and invertibility in Lebesgue spaces are studied for these operators. Relationships with the…
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of the non-uniform quantified constraint satisfaction problem…
In this work, we present a complete characterization of the covariance structure of number statistics in boxes for hyperuniform point processes. Under a standard integrability assumption, the covariance depends solely on the overlap of the…
In this work, we give a formula for the logarithmic invariant of knots in terms of certain derivatives of the colored Jones invariant. This invariant is related to the logarithmic conformal field theory, and was defined by using the centers…
In recent years, the notion of characteristic polynomial of representations of Lie algebras has been widely studied. This paper provides more properties of these characteristic polynomials. For simple Lie algebras, we characterize the…
Order-invariant first-order logic is an extension of first-order logic FO where formulae can make use of a linear order on the structures, under the proviso that they are order-invariant, i.e. that their truth value is the same for all…
We study invariant measures for random countable (finite or infinite) conformal iterated function systems (IFS) with arbitrary overlaps. We do not assume any type of separation condition. We prove, under a mild assumption of finite entropy,…
Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{\omega_1\omega}$ by a theorem of Lopez-Escobar. We prove variants of this theorem relative to fixed relations and fixed non-permutation…
Invertible neural networks (INNs) are neural network architectures with invertibility by design. Thanks to their invertibility and the tractability of Jacobian, INNs have various machine learning applications such as probabilistic modeling,…
We study the expressive power of the two-variable fragment of order-invariant first-order logic. This logic departs from first-order logic in two ways: first, formulas are only allowed to quantify over two variables. Second, formulas can…
We introduce in this paper a hypercohomology version of the resonance varieties and obtain some relations to the characteristic varieties of rank one local systems on a smooth quasi-projective complex variety $M$, see Theorem (3.1) and…
Using structures of Abstract Wiener Spaces, we define a fractional Brownian field indexed by a product space $(0,1/2] \times L^2(T,m)$, $(T,m)$ a separable measure space, where the first coordinate corresponds to the Hurst parameter of…
We present an approach for construction of functional bases of differential invariants for some infinite-dimensional algebras with coefficients of generating operators depending on arbitrary functions. An example for the…
Classifications of $\rm{SL}(n)$ covariant function-valued valuations are established with some assumptions of continuity. New valuations, for example, weighted moment functions, are introduced and our classifications give unified…
In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.