Reeb posets and tree approximations

A well known result in the analysis of finite metric spaces due to Gromov says that given any metric space $(X,d_X)$ there exists a tree metric $t_X$ on $X$ such that ${|d_X-t_X|}_{\infty }$ is bounded above by twice $\mathrm{hyp}\left(X\right)\cdot log\left(2\left|X\right|\right)$. Here $\mathrm{hyp}\left(X\right)$ is the hyperbolicity of $X$, a quantity that measures the treeness of 4-tuples of points in $X$. This bound is known to be asymptotically tight.We improve this bound by restricting ourselves to metric spaces arising from filtered posets. By doing so we are able to replace the cardinality appearing in Gromov’s bound by a certain poset theoretic invariant which can be much smaller thus significantly improving the approximation bound.The setting of metric spaces arising from posets is rich: For example, every finite metric graph can be induced from a filtered poset. Since every finite metric space can be isometrically embedded into a finite metric graph, our ideas are applicable to finite metric spaces as well.At the core of our results lies the adaptation of the Reeb graph and Reeb tree constructions and the concept of hyperbolicity to the setting of posets, which we use to formulate and prove a tree approximation result for any filtered poset.     

Non parametric estimation of the diffusion coefficients of a diffusion with jumps

In this article, we consider a jump diffusion process ${\left(X_t\right)}_{t\ge 0}$, with drift function $b$, diffusion coefficient $\sigma$ and jump coefficient ${\xi }^2$. This process is observed at discrete times $t=0,\Delta ,\dots ,n\Delta$. The sampling interval $\Delta$ tends to 0 and the time interval $n\Delta$ tends to infinity. We assume that ${\left(X_t\right)}_{t\ge 0}$ is ergodic, strictly stationary and exponentially $\beta$-mixing. We use a penalized least-square approach to compute adaptive estimators of the functions ${\sigma }^2+{\xi }^2$ and ${\sigma }^2$. We provide bounds for the risks of the two estimators.     

Induced saturation of P6

A graph $G$ is called $H$-induced-saturated if $G$ does not contain an induced copy of $H$, but removing any edge from $G$ creates an induced copy of $H$ and adding any edge of $G^c$ to $G$ creates an induced copy of $H$. Martin and Smith studied a related problem, and proved that there does not exist a $P_4$-induced-saturated graph, where $P_4$ is the path on 4 vertices. Axenovich and Csikós gave examples of families of graphs $H$ for which $H$-induced-saturated graph $G$ exists, and asked if there exists a $P_n$-induced-saturated graph when $n\ge 5$. Our aim in this short note is to show that there exists a $P_6$-induced-saturated graph.     

New characterizations of Sobolev metric spaces

We provide new characterizations of Sobolev ad BV spaces in doubling and Poincaré metric spaces in the spirit of the Bourgain–Brezis–Mironescu and Nguyen limit formulas holding in domains of ${\mathbb{R}}^N$.     

Divisibility of L-polynomials for a family of Artin–Schreier curves

In this paper we consider the curves $C_k^{(p,a)}:y^p?y=x^{p^k+1}+ax$ defined over ${\mathbb{F}}_p$ and give a positive answer to a conjecture about a divisibility condition on L-polynomials of the curves $C_k^{(p,a)}$. Our proof involves finding an exact formula for the number of ${\mathbb{F}}_{p^n}$-rational points on $C_k^{(p,a)}$ for all n, and uses a result we proved elsewhere about the number of rational points on supersingular curves.     

Arc-transitive digraphs with quasiprimitive local actions

Let Γ be a finite G-vertex-transitive digraph. The in-local action of $(\mathrm{\Gamma },G)$ is the permutation group $L_{?}$ induced by a vertex-stabiliser on the set of in-neighbours of the corresponding vertex. The out-local action$L_{+}$ is defined analogously. Note that $L_{?}$ and $L_{+}$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_{?},L_{+})$ are possible. We prove some general results, but pay special attention to the case when $L_{?}$ and $L_{+}$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the way, we prove a structural result about pairs of finite quasiprimitive groups of the same degree, one being (abstractly) isomorphic to a proper quotient of the other.     

A local–global principle for surjective polynomial maps

Let R be an affine domain of characteristic zero with finite quotients. We prove that a polynomial map over R is surjective if and only if it is surjective over $\stackrel{?}{R_{\mathfrak{m}}}$, the completion of R with respect to $\mathfrak{m}$, for every maximal ideal $\mathfrak{m}?R$. In fact, the completions $\stackrel{?}{R_{\mathfrak{m}}}$ may be replaced by arbitrary subrings containing R. We use this result to yield a characterization of surjective polynomial maps, and remark that there does not exist a similar principle for injective polynomial maps.     

Basic r-symmetric tropical polynomials

We consider tropical polynomials in nr variables, divided into n blocks of r variables, and especially r-symmetric tropical polynomials, which are invariant under the action of the symmetric group $S_n$ on the blocks. We define a set of basic r-symmetric tropical polynomials and show that the basic 2-symmetric tropical polynomials give coordinates on ${\mathbb{R}}^{2n}/S_n$ more efficiently than known polynomials. Moreover, we present special cases for $r\ge 3$ where the basic polynomials separate orbits.     

Schatten properties,nuclearity and minimality of phase shift invariant spaces

We extend Feichtinger's minimality property on the smallest non-trivial time-frequency shift invariant Banach space, to the quasi-Banach case. Analogous properties are deduced for certain matrix spaces.We use these results to prove that the pseudo-differential operator $\mathrm{Op}(a)$ is a Schatten-q operator from $M^{\infty }$ to $M^p$ and r-nuclear operator from $M^{\infty }$ to $M^r$ when $a\in M^r$ for suitable p, q and r in $(0,\infty ]$.     

Semi-concurrent vector fields in Finsler geometry

In the present paper, we give an answer to a question which is closely related to doubly warped product of Finsler metrics: ‘‘For each n, is there an n-dimensional Finsler manifold $(M,F)$, admitting a non-constant smooth function f on M such that $\frac{\partial f}{\partial x^i}\frac{\partial g^{ij}}{\partial y^k}=0$?”. We relate the preceding mentioned condition to different concepts appeared and studied in Finsler geometry. We introduce and investigate the notion of a semi concurrent vector field on a Finsler manifold. We show that some special Finsler manifolds admitting such vector fields turn out to be Riemannian. We prove that Tachibana's characterization of Finsler manifolds admitting a concurrent vector field leads to Riemannian metrics. Various examples for conic Finsler spaces that admit semi-concurrent vector field are presented.     

The Hilbert series and a-invariant of circle invariants

Let V be a finite-dimensional representation of the complex circle ${\mathbb{C}}^{\times }$ determined by a weight vector $\mathit{a}\in {\mathbb{Z}}^n$. We study the Hilbert series ${\mathrm{Hilb}}_{\mathit{a}}(t)$ of the graded algebra $\mathbb{C}{[V]}^{{\mathbb{C}}_{\mathit{a}}^{\times }}$ of polynomial ${\mathbb{C}}^{\times }$-invariants in terms of the weight vector a of the ${\mathbb{C}}^{\times }$-action. In particular, we give explicit formulas for ${\mathrm{Hilb}}_{\mathit{a}}(t)$ as well as the first four coefficients of the Laurent expansion of ${\mathrm{Hilb}}_{\mathit{a}}(t)$ at $t=1$. The naive formulas for these coefficients have removable singularities when weights pairwise coincide. Identifying these cancelations, the Laurent coefficients are expressed using partial Schur polynomials that are independently symmetric in two sets of variables. We similarly give an explicit formula for the a-invariant of $\mathbb{C}{[V]}^{{\mathbb{C}}_{\mathit{a}}^{\times }}$ in the case that this algebra is Gorenstein. As an application, we give methods to identify weight vectors with Gorenstein and non-Gorenstein invariant algebras.     

Moser–Trudinger inequality involving the anisotropic Dirichlet norm (∫ΩFN(∇u)dx)1N on W01,N(Ω)

We investigate a sharp Moser–Trudinger inequality which involves the anisotropic Dirichlet norm ${({\int }_{\mathrm{\Omega }}{F}^N(\mathrm{?}u)dx)}^{\frac{1}{N}}$ on $W_0^{1,N}(\mathrm{\Omega })$ for $N\ge 2$. Here F is convex and homogeneous of degree 1, and its polar $F^o$ represents a Finsler metric on ${\mathbb{R}}^N$. Under this anisotropic Dirichlet norm, we establish the Lions type concentration-compactness alternative. Then by using a blow-up procedure, we obtain the existence of extremal functions for this sharp geometric inequality.     

The space of bounded analytic functions and weighted Bergman spaces

In this paper, we construct a class of weighted Bergman spaces such that they can generate $H^{\infty }$ in the sense of Möbius invariance. $H^{\infty }$ is also equal to the intersection of these spaces. Applying the relation between $H^{\infty }$ and these spaces, we show that the characterization via higher order derivatives does not hold for some of these weighted Bergman spaces.     

Representation and factorization theorems for almost-Lp-spaces

We extend the notions of $p$-convexity and $p$-concavity for Banach ideals of measurable functions following an asymptotic procedure. We prove a representation theorem for the spaces satisfying both properties as the one that works for the classical case: each almost $p$-convex and almost $p$-concave space is order isomorphic to an almost-$L^p$-space. The class of almost-$L^p$-spaces contains, in particular, direct sums of (infinitely many) $L^p$-spaces with different norms, that are not in general $p$-convex – nor $p$-concave –. We also analyze in this context the extension of the Maurey–Rosenthal factorization theorem that works for $p$-concave operators acting in $p$-convex spaces. In this way we provide factorization results that allow to deal with more general factorization spaces than $L^p$-spaces.