The universal Glivenko–Cantelli property

Let ${\mathcal{F}}$ be a separable uniformly bounded family of measurable functions on a standard measurable space ${(X, \mathcal{X})}$ , and let ${N_{[]}(\mathcal{F}, \varepsilon, \mu)}$ be the smallest number of ${\varepsilon}$ -brackets in L ¹(μ) needed to cover ${\mathcal{F}}$ . The following are equivalent:

1. ${\mathcal{F}}$ is a universal Glivenko–Cantelli class.
2. ${N_{[]}(\mathcal{F},\varepsilon,\mu) < \infty}$ for every ${\varepsilon > 0}$ and every probability measure μ.
3. ${\mathcal{F}}$ is totally bounded in L ¹(μ) for every probability measure μ.
4. ${\mathcal{F}}$ does not contain a Boolean σ-independent sequence.

It follows that universal Glivenko–Cantelli classes are uniformity classes for general sequences of almost surely convergent random measures.     

A sub-Riemannian curvature-dimension inequality,volume doubling property and the Poincaré inequality

Let $\mathbb M $ be a smooth connected manifold endowed with a smooth measure $\mu $ and a smooth locally subelliptic diffusion operator $L$ satisfying $L1=0$ , and which is symmetric with respect to $\mu $ . We show that if $L$ satisfies, with a non negative curvature parameter, the generalized curvature inequality introduced by the first and third named authors in http://arxiv.org/abs/1101.3590, then the following properties hold:

• The volume doubling property;
• The Poincaré inequality;
• The parabolic Harnack inequality.

The key ingredient is the study of dimension dependent reverse log-Sobolev inequalities for the heat semigroup and corresponding non-linear reverse Harnack type inequalities. Our results apply in particular to all Sasakian manifolds whose horizontal Webster–Tanaka–Ricci curvature is nonnegative, all Carnot groups of step two, and to wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is nonnegative.     

Normalizers,Centralizers and Action Representability in Semi-Abelian Categories

We introduce the notion of normalizer as motivated by the classical notion in the category of groups. We show for a semi-abelian category ? that the following conditions are equivalent:

1. ? is action representable and normalizers exist in ?;
2. the category Mono(?) of monomorphisms in ? is action representable;
3. the category ?² of morphisms in ? is action representable;
4. for each category \(\mathbb {D}\) with a finite number of morphisms the category \({\mathbb {C}} ^{\mathbb {D}}\) is action representable.

Moreover, when in addition ? is locally well-presentable, we show that these conditions are further equivalent to:

1. ? satisfies the amalgamation property for protosplit normal monomorphism and ? satisfies the axiom of normality of unions;
2. for each small category \(\mathbb {D}\) , the category \({\mathbb {C}} ^{\mathbb {D}}\) is action representable.

We also show that if ? is homological, action accessible, and normalizers exist in ?, then ? is fiberwise algebraically cartesian closed.     

Remarks on the existence of solutions to some quasilinear elliptic problems involving the Hardy-Leray potential

We study the solvability of the quasilinear problem $$\begin{aligned} -\Delta _p u =\frac{u^q }{|x|^p}+g(\lambda , x, u) \quad u>0 \quad \text{ in}\;\Omega , \end{aligned}$$ with $u=0$ on $\partial \Omega $ , where $-\Delta _p(\cdot )$ is the $p$ -Laplacian operator, $q>0, 1<p<N$ and $\Omega $ a smooth bounded domain in $\mathbb R ^N$ . We consider the following cases:

1. $g(\lambda ,x,u)\equiv 0$ ;
2. $g(\lambda ,x,u)=\lambda f(x)u^r$ , with $\lambda >0$ and $f(x) \gneq 0$ belonging to $L^{\infty }(\Omega )$ and $0 \le r<p-1$ .

In the case $(i)$ , the existence of solutions depends on the location of the origin in the domain, on the geometry of the domain and on the exponent $q$ . On the other hand, in the case $(ii)$ , the existence of solutions only depends on the position of the origin and on the coefficient $\lambda $ , but does not depend either on the exponent $q$ or on the geometry of $\Omega $ .     

Supercritical Holes for the Doubling Map

For a map \({S : X \to X}\) and an open connected set (= a hole) \({H \subset X}\) we define \({\mathcal{J}_H(S)}\) to be the set of points in X whose S-orbit avoids H. We say that a hole H ₀ is supercritical if

1. for any hole H such that \({\overline{H}_0 \subset H}\) the set \({\mathcal{J}_H(S)}\) is either empty or contains only fixed points of S;

1. for any hole H such that \({\overline{H} \subset H_0}\) the Hausdorff dimension of \({\mathcal{J}_H(S)}\) is positive.

The purpose of this note is to completely characterize all supercritical holes for the doubling map Tx =  2x mod 1.     

The 2-Page Crossing Number of K_{n}

Around 1958, Hill described how to draw the complete graph $K_n$ K n with $$\begin{aligned} Z(n) :=\frac{1}{4}\Big \lfloor \frac{n}{2}\Big \rfloor \Big \lfloor \frac{n-1}{2}\Big \rfloor \Big \lfloor \frac{n-2}{2}\Big \rfloor \Big \lfloor \frac{n-3}{2}\Big \rfloor \end{aligned}$$ Z ( n ) : = 1 4 ? n 2 ? ? n ? 1 2 ? ? n ? 2 2 ? ? n ? 3 2 ? crossings, and conjectured that the crossing number ${{\mathrm{cr}}}(K_{n})$ cr ( K n ) of $K_n$ K n is exactly $Z(n)$ Z ( n ) . This is also known as Guy’s conjecture as he later popularized it. Towards the end of the century, substantially different drawings of $K_{n}$ K n with $Z(n)$ Z ( n ) crossings were found. These drawings are 2-page book drawings, that is, drawings where all the vertices are on a line $\ell $ ? (the spine) and each edge is fully contained in one of the two half-planes (pages) defined by  $\ell $ ? . The 2-page crossing number of $K_{n} $ K n , denoted by $\nu _{2}(K_{n})$ ν 2 ( K n ) , is the minimum number of crossings determined by a 2-page book drawing of $K_{n}$ K n . Since ${{\mathrm{cr}}}(K_{n}) \le \nu _{2}(K_{n})$ cr ( K n ) ≤ ν 2 ( K n ) and $\nu _{2}(K_{n}) \le Z(n)$ ν 2 ( K n ) ≤ Z ( n ) , a natural step towards Hill’s Conjecture is the weaker conjecture $\nu _{2}(K_{n}) = Z(n)$ ν 2 ( K n ) = Z ( n ) , popularized by Vrt’o. In this paper we develop a new technique to investigate crossings in drawings of $K_{n}$ K n , and use it to prove that $\nu _{2}(K_{n}) = Z(n) $ ν 2 ( K n ) = Z ( n ) . To this end, we extend the inherent geometric definition of $k$ k -edges for finite sets of points in the plane to topological drawings of $K_{n}$ K n . We also introduce the concept of ${\le }{\le }k$ ≤ ≤ k -edges as a useful generalization of ${\le }k$ ≤ k -edges and extend a powerful theorem that expresses the number of crossings in a rectilinear drawing of $K_{n}$ K n in terms of its number of ${\le }k$ ≤ k -edges to the topological setting. Finally, we give a complete characterization of crossing minimal 2-page book drawings of $K_{n}$ K n and show that, up to equivalence, they are unique for $n$ n even, but that there exist an exponential number of non homeomorphic such drawings for $n$ n odd.     

Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below

This paper is devoted to a deeper understanding of the heat flow and to the refinement of calculus tools on metric measure spaces $(X,\mathsf {d},\mathfrak {m})$ . Our main results are:

• A general study of the relations between the Hopf–Lax semigroup and Hamilton–Jacobi equation in metric spaces (X,d).
• The equivalence of the heat flow in $L^{2}(X,\mathfrak {m})$ generated by a suitable Dirichlet energy and the Wasserstein gradient flow of the relative entropy functional $\mathrm {Ent}_{\mathfrak {m}}$ in the space of probability measures .
• The proof of density in energy of Lipschitz functions in the Sobolev space $W^{1,2}(X,\mathsf {d},\mathfrak {m})$ .
• A fine and very general analysis of the differentiability properties of a large class of Kantorovich potentials, in connection with the optimal transport problem, is the fourth achievement of the paper.

Our results apply in particular to spaces satisfying Ricci curvature bounds in the sense of Lott and Villani (Ann. Math. 169:903–991, 2009) and Sturm (Acta Math. 196: 65–131, 2006, and Acta Math. 196:133–177, 2006) and require neither the doubling property nor the validity of the local Poincaré inequality.     

How Far Can Chemotactic Cross-diffusion Enforce Exceeding Carrying Capacities?

We consider nonnegative solutions of the Neumann initial-boundary value problem for the chemotaxis-growth system $$\begin{aligned} \left\{ \begin{array}{l} u_t=\varepsilon u_{xx} -(uv_x)_x +ru -\mu u^2, \qquad x\in \Omega , \ t>0, \\ 0=v_{xx}-v+u, \qquad x\in \Omega , \ t>0, \end{array} \right. \quad (\star ) \end{aligned}$$ in \(\Omega :=(0,L)\subset \mathbb {R}\) with \(L>0, \varepsilon >0, r\ge 0\) and \(\mu >0\) , along with the corresponding limit problem formally obtained upon taking \(\varepsilon \searrow 0\) . For the latter hyperbolic–elliptic problem, we establish results on local existence and uniqueness within an appropriate generalized solution concept. In this context we shall moreover derive an extensibility criterion involving the norm of \(u(\cdot ,t)\) in \(L^\infty (\Omega )\) . This will enable us to conclude that in this case \(\varepsilon =0\) ,

• if \(\mu \ge 1\) , then all solutions emanating from sufficiently regular initial data are global in time, whereas
• if \(\mu <1\) , then some solutions blow-up in finite time.

The latter will reveal that the original parabolic–elliptic problem ( \(\star \) ), though known to possess no such exploding solutions, exhibits the following property of dynamical structure generation: given any \(\mu \in (0,1)\) , one can find smooth bounded initial data with the property that for each prescribed number \(M>0\) the solution of ( \(\star \) ) will attain values above \(M\) at some time, provided that \(\varepsilon \) is sufficiently small. In particular, this means that the associated carrying capacity given by \(\frac{r}{\mu }\) can be exceeded during evolution to an arbitrary extent. We finally present some numerical simulations that illustrate this type of solution behavior and that, moreover, inter alia, indicate that achieving large population densities is a transient dynamical phenomenon occurring on intermediate time scales only.     

Wild quotient singularities of surfaces

Let $(B,\mathcal{M }_B)$ be a noetherian regular local ring of dimension $2$ with residue field $B/\mathcal{M }_B$ of characteristic $p>0$ . Assume that $B$ is endowed with an action of a finite cyclic group $H$ whose order is divisible by $p$ . Associated with a resolution of singularities of $\mathrm{Spec}B^H$ is a resolution graph $G$ and an intersection matrix $N$ . We prove in this article three structural properties of wild quotient singularities, which suggest that in general, one should expect when $H= \mathbb{Z }/p\mathbb{Z }$ that the graph $G$ is a tree, that the Smith group $\mathbb{Z }^n/\mathrm{Im}(N)$ is killed by $p$ , and that the fundamental cycle $Z$ has self-intersection $|Z^2|\le p$ . We undertake a combinatorial study of intersection matrices $N$ with a view towards the explicit determination of the invariants $\mathbb{Z }^n/\mathrm{Im}(N)$ and $Z$ . We also exhibit explicitly the resolution graphs of an infinite set of wild $\mathbb{Z }/2\mathbb{Z }$ -singularities, using some results on elliptic curves with potentially good ordinary reduction which could be of independent interest.     

On matching cover of graphs

A k-matching cover of a graph \(G\) is a union of \(k\) matchings of \(G\) which covers \(V(G)\) . The matching cover number of \(G\) , denoted by \(mc(G)\) , is the minimum number \(k\) such that \(G\) has a \(k\) -matching cover. A matching cover of \(G\) is optimal if it consists of \(mc(G)\) matchings of \(G\) . In this paper, we present an algorithm for finding an optimal matching cover of a graph on \(n\) vertices in \(O(n^3)\) time (if use a faster maximum matching algorithm, the time complexity can be reduced to \(O(nm)\) , where \(m=|E(G)|\) ), and give an upper bound on matching cover number of graphs. In particular, for trees, a linear-time algorithm is given, and as a by-product, the matching cover number of trees is determined.     

Dimension Reduction for Finite Trees in \varvec{\ell _1}

We show that every $n$ -point tree metric admits a $(1+\varepsilon )$ -embedding into $\ell _1^{C(\varepsilon ) \log n}$ , for every $\varepsilon > 0$ , where $C(\varepsilon ) \le O\big ((\frac{1}{\varepsilon })^4 \log \frac{1}{\varepsilon })\big )$ . This matches the natural volume lower bound up to a factor depending only on $\varepsilon $ . Previously, it was unknown whether even complete binary trees on $n$ nodes could be embedded in $\ell _1^{O(\log n)}$ with $O(1)$ distortion. For complete $d$ -ary trees, our construction achieves $C(\varepsilon ) \le O\big (\frac{1}{\varepsilon ^2}\big )$ .     

L^2-properties of the \overline{\partial } and the \overline{\partial }-Neumann operator on spaces with isolated singularities

Let \(X\) be a Hermitian complex space of pure dimension with only isolated singularities and \(\pi : M\rightarrow X\) a resolution of singularities. Let \(\Omega \subset \subset X\) be a domain with no singularities in the boundary, \(\Omega ^*=\Omega {\setminus }\!{{\mathrm{Sing}}}X\) and \(\Omega '=\pi ^{-1}(\Omega )\) . We relate \(L^2\) -properties of the \(\overline{\partial }\) and the \(\overline{\partial }\) -Neumann operator on \(\Omega ^*\) to properties of the corresponding operators on \(\Omega '\) (where the situation is classically well understood). Outside some middle degrees, there are compact solution operators for the \(\overline{\partial }\) -equation on \(\Omega ^*\) exactly if there are such operators on the resolution \(\Omega '\) , and the \(\overline{\partial }\) -Neumann operator is compact on \(\Omega ^*\) exactly if it is compact on \(\Omega '\) .     

The Index Semigroup and K-Groups of Graph-Groupoid C^{*}-Algebras

In this paper, we consider the relation between index theory and $K$ -theory induced by directed graphs. In particular, we study index-morphism on finite trees, and classify the set of finite trees in terms of our index-morphism. Such a morphism generate certain semigroup, called the index semigroup. From the index semigroup, we find a ple, interesting connection between semigroup-elements and $K$ -group computations of groupoid $C^{*}$ -algebras generated by graphs. In conclusion, we show that the pure combinatorial data of graphs completely characterize and classify the elements of the index semigroup (or equivalently, graph-index on finite trees), Watatani’s Jones index on groupoid $C^{*}$ -algebras generated by finite trees, and $K$ -group computations of certain $C^{*}$ -algebras.     

Scheme of lines on a family of 2-dimensional quadrics: geometry and derived category

Given a generic family $Q$ of 2-dimensional quadrics over a smooth 3-dimensional base $Y$ we consider the relative Fano scheme $M$ of lines of it. The scheme $M$ has a structure of a generically conic bundle $M \rightarrow X$ over a double covering $X \rightarrow Y$ ramified in the degeneration locus of $Q \rightarrow Y$ . The double covering $X \rightarrow Y$ is singular in a finite number of points (corresponding to the points $y \in Y$ such that the quadric $Q_y$ degenerates to a union of two planes), the fibers of $M$ over such points are unions of two planes intersecting in a point. The main result of the paper is a construction of a semiorthogonal decomposition for the derived category of coherent sheaves on $M$ . This decomposition has three components, the first is the derived category of a small resolution $X^+$ of singularities of the double covering $X \rightarrow Y$ , the second is a twisted resolution of singularities of $X$ (given by the sheaf of even parts of Clifford algebras on $Y$ ), and the third is generated by a completely orthogonal exceptional collection.     

Comparison of fine structural mice via coarse iteration

Let \({\mathcal{M}}\) be a fine structural mouse. Let \({\mathbb{D}}\) be a fully backgrounded \({L[\mathbb{E}]}\) -construction computed inside an iterable coarse premouse S. We describe a process comparing \({\mathcal{M}}\) with \({\mathbb{D}}\) , through forming iteration trees on \({\mathcal{M}}\) and on S. We then prove that this process succeeds.     

Minimal subgroups and the structure of finite groups

A subgroup $H$ of a finite group $G$ is weakly-supplemented in $G$ if there exists a proper subgroup $K$ of $G$ such that $G=HK$ . In this paper we prove that a finite group $G$ is $p$ -nilpotent if every minimal subgroup of $P\bigcap G^{N}$ is weakly-supplemented in $G$ , and when $p=2$ either every cyclic subgroup of $P\bigcap G^{N}$ with order 4 is weakly-supplemented in $G$ or $P$ is quaternion-free, where $p$ is the smallest prime number dividing the order of $G$ , $P$ a sylow $p$ -subgroup of $G$ .     

Euclidean Steiner trees optimal with respect to swapping 4-point subtrees

The Steiner tree problem in Euclidean space $E^3$ asks for a minimum length network $T$ , called a Euclidean Steiner Minimum Tree (ESMT), spanning a given set of points. This problem is NP-hard and the hardness is inherently due to the number of feasible topologies (underlying graph structure of $T$ ) which increases exponentially as the number of given points increases. Planarity is a very strong condition that gives a big difference between the ESMT problem in the Euclidean plane $E^2$ and in Euclidean $d$ -space $E^d (d\ge 3)$ : the ESMT problem in the plane is practically solvable whereas the ESMT problem in $d$ -space is really intractable. The simplest tree rearrangement technique is to repeatedly replace a subtree spanning four nodes in $T$ with another subtree spanning the same four nodes. This technique is referred to as the Swapping 4-point Topology/ Tree technique in this paper. An indicator (or quasi-indicator) of $T$ plays a similar role in the optimization of the length $L(T)$ of $T$ in the discrete topology space (the underlying graph structure of $T$ ) to the derivative of a differentiable function which indicates a fastest direction of descent. $T$ will be called S4pT-optimal if it is optimal with respect to swapping 4-point subtrees. In this paper we first make a complete analysis of 4-point trees in Euclidean space exploring all possible types of 4-point trees and their properties. We review some known indicators of 4-point ESMTs in $E^2$ , and give some simple geometric proofs of these indicators. Then, we translate these indicators to $E^3$ , producing eight quasi-indicators in $E^3$ using computational experiments, the best quasi-indicator $\rho _\mathrm{osr}$ is sifted with an effectiveness for randomly generated 4-point sets as high as 98.62 %. Finally we show how $\rho _\mathrm{osr}$ is used to find an S4pT-optimal ESMT on 14 probability vectors in $4d$ -space with a detailed example.     

On some primary subgroups and the structure of finite groups

Suppose that $G$ is a finite group and $H$ is a subgroup of $G$ . $H$ is said to be an $s$ -quasinormally embedded in $G$ if for each prime $p$ dividing the order of $H$ , a Sylow $p$ -subgroup of $H$ is also a Sylow $p$ -subgroup of some $S$ -quasinormal subgroup of $G$ ; $H$ is said to be $c$ -normal in $G$ if $G$ has a normal subgroup $T$ such that $G=HT$ and $H\cap T\le H_{G}$ , where $H_{G}$ is the normal core of $H$ in $G$ . We fix in every non-cyclic Sylow subgroup $P$ of $G$ some subgroup $D$ satisfying $1<|D|<|P|$ and study the structure of $G$ under the assumption that every subgroup $H$ of $P$ with $|H|=|D|$ is either $s$ -quasinormally embedded or $c$ -normal in $G$ . Some recent results are generalized and unified.     

Scattered linear sets generated by collineations between pencils of lines

Let \(A\) and \(B\) be two points of \(\mathrm{{PG}}(2,q^n)\) , and let \(\Phi \) be a collineation between the pencils of lines with vertices \(A\) and \(B\) . In this paper, we prove that the set of points of intersection of corresponding lines under \(\Phi \) is either the union of a scattered \(\mathrm{{GF}}(q)\) -linear set of rank \(n+1\) with the line \(AB\) or the union of \(q-1\) scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n\) with \(A\) and \(B\) . We also determine the intersection configurations of two scattered \(\mathrm{{GF}}(q)\) -linear sets of rank \(n+1\) of \(\mathrm{{PG}}(2,q^n)\) both meeting the line \(AB\) in a \(\mathrm{{GF}}(q)\) -linear set of pseudoregulus type with transversal points \(A\) and \(B\) .