Related papers: Relative Mather discrepancy on arc spaces

We establish range characterizations, or data consistency conditions, for an integral transform that maps a function to its weighted integrals over conical surfaces in $\mathbb{R}^n$. We consider two different geometries for the cone…

We analyze matrix convex functions of a fixed order defined on a real interval by differential methods as opposed to the characterization in terms of divided differences given by Kraus. We obtain for each order conditions for matrix…

Let $\bbK=\mathbb R, \mathbb C, \mathbb H$ be the field of real, complex or quaternionic numbers and $M_{p, q}(\bbK)$ the vector space of all $p\times q$-matrices. Let $X$ be the matrix unit ball in $M_{n-r, r}(\bbK)$ consisting of…

The classical radial part formula for the invariant differential operators and the K-invariant functions on a Riemannian symmetric space G/K is generalized to some non-invariant cases by use of Cherednik operators and a graded Hecke algebra…

A classical result of A. Connes asserts that the Frechet algebra of smooth functions on a smooth compact manifold X provides, by a purely algebraic procedure, the de Rham cohomology of X. Namely the procedure uses Hochschild and cyclic…

This paper is devoted to study of differential calculi over quadratic algebras, which arise in the theory of quantum bounded symmetric domains. We prove that in the quantum case dimensions of the homogeneous components of the graded vector…

Decidability and synthesis of inductive invariants ranging in a given domain play an important role in many software and hardware verification systems. We consider here inductive invariants belonging to an abstract domain $A$ as defined in…

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…

We give a new large deviation inequality for sums of random variables of the form $Z_k = f(X_k,X_t)$ for $k,t\in \mathbb{N}$, $t$ fixed, where the underlying process $X$ is $\beta$-mixing. The inequality can be used to derive concentration…

The main result given in Theorem~1.1 is a condition for a map $X$, defined on the complement of a disk $D$ in R^2 with values in R^2, to be extended to a topological embedding of R^2, not necessarily surjective. The map $X$ is supposed to…

In this note, we propose a formula for the subdifferential of the maximum functional $m(f) = \max_K f$ on the space of real-valued continuous functions $f$ defined on an arbitrary metric compact $K$. We show that, given $f$, the…

Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in…

The Fourier coefficients of a smooth $K$-invariant function on a compact symmetric space $M=U/K$ are given by integration of the function against the spherical functions. For functions with support in a neighborhood of the origin, we…

For Lipschitz maps between a metric measure space and a metric space, combining the ideas of Kirchheim's metric differentiability and Cheeger's differentiable structures leads to a Rademacher-type theorem for a notion of metric…

Let $K$ be an algebraically closed field of arbitrary characteristic, $X$ an irreducible variety and $Y$ an irreducible projective variety over $K$, both are not necessarily smooth. Let $f:X\rightarrow X$ and $g:Y\rightarrow Y$ be dominant…

Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field $\mathbf{k}$, and let $\widehat{\Lambda}$ be the repetitive algebra of $\Lambda$. In this article, we prove that if $\widehat{V}$ is a left…

Variable Muckenhoupt weights are considered in variable exponent Lebesgue spaces. Applications are given for polynomial approximation in these spaces. Boundedness of averaging operator is proved to gain a transference result. Almost all…

An invariant I of quasiprojective K-varieties X with values in a commutative ring R is "motivic" if I(X)= I(Y)+I(X\Y) for Y closed in X, and I(X x Y)=I(X)I(Y). Examples include Euler characteristics chi and virtual Poincare and Hodge…

Based on our previous work on an arithmetic analogue of Christol's theorem, this paper studies in more detail the structure of the lambda-ring $E_K = K \otimes W_{O_K}^a (O_{\bar{K}})$ of algebraic Witt vectors for number fields $K$. First…

In this paper we introduce an equivariant extension of the Chern-Simons form, associated to a path of connections on a bundle over a manifold M, to the free loop space LM, and show it determines an equivalence relation on the set of…