Related papers: Traversal-invariant characterizations of logarithm…
All non-negative, continuous, $\operatorname{SL}(n)$ and translation invariant valuations on the space of super-coercive, convex functions on $\mathbb{R}^n$ are classified. Furthermore, using the invariance of the function space under the…
Traversals of data structures are ubiquitous in programming. Consequently, it is important to be able to characterise those structures that are traversable and understand their algebraic properties. Traversable functors have been…
We construct the deformation functor associated with a pair of morphisms of differential graded Lie algebras, and use it to study infinitesimal deformations of holomorphic maps of compact complex manifolds. In particular, using L-infinity…
The space of invariants of a tensor product of representations of SL(n) is provided with the basis parametrized by wave graphs introduced here especially for this purpose. The proof utilizes a game similar to Tetris, named here L-tris.
In this paper a new variational approach concerning functions (continuous) over Hilbert spaces is presented.
By analogy with the invariant Q-category defined by Scheerer, Stanley and Tanr\'e, we introduce the notions of Q-sectional category and Q-topological complexity. We establish several properties of these invariants. We also obtain a formula…
We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sorted logic that separates the elements of the input domain…
A characterization of finitely generated shift-invariant subspaces is given when generators are g-minimal. An algorithm is given for the determination of the coefficients in the well known representation of the Fourier transform of an…
It is proved that the classical Laplace transform is a continuous valuation which is positively GL$(n)$ covariant and logarithmic translation covariant. Conversely, these properties turn out to be sufficient to characterize this transform.
Let $k$ be a finite field, and $L$ be a $q$-linearized polynomial defined over $k$ of $q$-degree $r$ ($L=\sum^r_{i=0}a_iZ^{q^i}$, with $a_i\in k$). This paper provides an algorithm to compute a characteristic polynomial of $L$ over a large…
The strong dual space of linear continuous functionals on a weighted space G of infinitely differentiable functions defined on the real line is described in terms of their Fourier-Laplace transforms.
In this paper we describe the algebra of differential invariants for GL(n,C)-structures. This leads to classification of almost complex structures of general positions. The invariants are applied to the existence problem of…
New index transforms, involving the square of Bessel functions of the first kind as the kernel are considered. Mapping properties such as the boundedness and invertibility are investigated for these operators in the Lebesgue spaces.…
Invariants of the coadjoint representation of two classes of Lie algebras are calculated. The first class consists of the nilpotent Lie algebras $T(M)$, isomorphic to the algebras of upper triangular $M\times M$ matrices. The Lie algebra…
In this paper, we introduce a novel team semantics of LTL inspired by inquisitive logic. The main features of the resulting logic, we call InqLTL, are the intuitionistic interpretation of implication and the Boolean semantics of…
We study the set $\mathcal{L}_{F}$ of all $F$-vector spaces $L(P)$ where $P$ is monic and splits over $F$ and $L(Q)$ denotes the set of linear recurrence sequences over $F$ with characteristic polynomial $Q$. We show that $\mathcal{L}_{F}$…
We introduce a notion of fractional (noninteger order) derivative on an arbitrary nonempty closed subset of the real numbers (on a time scale). Main properties of the new operator are proved and several illustrative examples given.
A simple procedure to obtain complete, closed expressions for Lie algebra invariants is presented. The invariants are ultimately polynomials in the group parameters. The construction of finite group elements require the use of projectors,…
We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space. The resulting logic LREC has a data complexity in LOGSPACE, and it defines…
In this paper, we revisit the diffusive representations of fractional integrals established in \cite{diethelm2023diffusive} to explore novel variants of such representations which provide highly efficient numerical algorithms for the…