Stationary and invariant densities and disintegration kernels

Let \(G\) be a locally compact topological group, acting measurably on some Borel spaces \(S\) and \(T\) , and consider some jointly stationary random measures \(\xi \) on \(S\times T\) and \(\eta \) on \(S\) such that \(\xi (\cdot \times T)\ll \eta \) a.s. Then there exists a stationary random kernel \(\zeta \) from \(S\) to \(T\) such that \(\xi =\eta \otimes \zeta \) a.s. This follows from the existence of an invariant kernel \(\varphi \) from \(S\times {\mathcal {M}}_{S\times T}\times {\mathcal {M}}_S\) to \(T\) such that \(\mu =\nu \otimes \varphi (\cdot ,\mu ,\nu )\) whenever \(\mu (\cdot \times T)\ll \nu \) . Also included are some related results on stationary integration, absolute continuity, and ergodic decomposition.     

Compactness and sequential completeness in some spaces of operators

Let \(X\) be a completely regular Hausdorff space and \(C_b(X)\) be the Banach lattice of all real-valued bounded continuous functions on \(X\) , endowed with the strict topologies \(\beta _\sigma ,\) \(\beta _\tau \) and \(\beta _t\) . Let \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) \((z=\sigma ,\tau ,t)\) stand for the space of all \((\beta _z,\xi )\) -continuous linear operators from \(C_b(X)\) to a locally convex Hausdorff space \((E,\xi ),\) provided with the topology \(\mathcal{T}_s\) of simple convergence. We characterize relative \(\mathcal{T}_s\) -compactness in \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) in terms of the representing Baire vector measures. It is shown that if \((E,\xi )\) is sequentially complete, then the spaces \((\mathcal{L}_{\beta _z,\xi }(C_b(X),E),\mathcal{T}_s)\) are sequentially complete whenever \(z=\sigma \) ; \(z=\tau \) and \(X\) is paracompact; \(z=t\) and \(X\) is paracompact and ?ech complete. Moreover, a Dieudonné–Grothendieck type theorem for operators on \(C_b(X)\) is given.     

Almost Ricci solitons and K-contact geometry

We give a short Lie-derivative theoretic proof of the following recent result of Barros et al. “A compact non-trivial almost Ricci soliton with constant scalar curvature is gradient, and isometric to a Euclidean sphere”. Next, we obtain the result: a complete almost Ricci soliton whose metric \(g\) is \(K\) -contact and flow vector field \(X\) is contact, becomes a Ricci soliton with constant scalar curvature. In particular, for \(X\) strict, \(g\) becomes compact Sasakian Einstein.     

A canonical structure on the tangent bundle of a pseudo- or para-Kähler manifold

It is a classical fact that the cotangent bundle \(T^* {\mathcal {M}}\) of a differentiable manifold \({\mathcal {M}}\) enjoys a canonical symplectic form \(\Omega ^*\) . If \(({\mathcal {M}},\mathrm{J} ,g,\omega )\) is a pseudo-Kähler or para-Kähler \(2n\) -dimensional manifold, we prove that the tangent bundle \(T{\mathcal {M}}\) also enjoys a natural pseudo-Kähler or para-Kähler structure \(({\tilde{\hbox {J}}},\tilde{g},\Omega )\) , where \(\Omega \) is the pull-back by \(g\) of \(\Omega ^*\) and \(\tilde{g}\) is a pseudo-Riemannian metric with neutral signature \((2n,2n)\) . We investigate the curvature properties of the pair \(({\tilde{\hbox {J}}},\tilde{g})\) and prove that: \(\tilde{g}\) is scalar-flat, is not Einstein unless \(g\) is flat, has nonpositive (resp. nonnegative) Ricci curvature if and only if \(g\) has nonpositive (resp. nonnegative) Ricci curvature as well, and is locally conformally flat if and only if \(n=1\) and \(g\) has constant curvature, or \(n>2\) and \(g\) is flat. We also check that (i) the holomorphic sectional curvature of \(({\tilde{\hbox {J}}},\tilde{g})\) is not constant unless \(g\) is flat, and (ii) in \(n=1\) case, that \(\tilde{g}\) is never anti-self-dual, unless conformally flat.     

Pseudo-effective cone of Grassmann bundles over a curve

Let \(E\) be a vector bundle over a smooth projective curve \(X\) defined over an algebraically closed field \(k\) . For any integer \(1\,\le \, r\, <\, \mathrm{rank}(E)\) , let \(\mathrm{Gr}_r(E)\,\longrightarrow \, X\) be a Grassmann bundle parametrizing all \(r\) dimensional quotients of the fibers of \(E\) . We compute the pseudo-effective cone in the real Néron–Severi group \(\mathrm{NS}(\mathrm{Gr}_r(E))_\mathbb{R }\) . We prove that this cone coincides with the nef cone in \(\mathrm{NS}(\mathrm{Gr}_r(E))_\mathbb{R }\) if and only if the vector bundle \(E\) is semistable (respectively, strongly semistable) when the characteristic of \(k\) is zero (respectively, positive). Examples are given to show that this characterization of (strong) semistability is not true for vector bundles on higher dimensional projective varieties.     

Mean Squared Error Minimization for Inverse Moment Problems

We consider the problem of approximating the unknown density \(u\in L^2(\Omega ,\lambda )\) of a measure \(\mu \) on \(\Omega \subset \mathbb {R}^n\) , absolutely continuous with respect to some given reference measure \(\lambda \) , only from the knowledge of finitely many moments of \(\mu \) . Given \(d\in \mathbb {N}\) and moments of order \(d\) , we provide a polynomial \(p_d\) which minimizes the mean square error \(\int (u-p)^2d\lambda \) over all polynomials \(p\) of degree at most \(d\) . If there is no additional requirement, \(p_d\) is obtained as solution of a linear system. In addition, if \(p_d\) is expressed in the basis of polynomials that are orthonormal with respect to \(\lambda \) , its vector of coefficients is just the vector of given moments and no computation is needed. Moreover \(p_d\rightarrow u\) in \(L^2(\Omega ,\lambda )\) as \(d\rightarrow \infty \) . In general nonnegativity of \(p_d\) is not guaranteed even though \(u\) is nonnegative. However, with this additional nonnegativity requirement one obtains analogous results but computing \(p_d\ge 0\) that minimizes \(\int (u-p)^2d\lambda \) now requires solving an appropriate semidefinite program. We have tested the approach on some applications arising from the reconstruction of geometrical objects and the approximation of solutions of nonlinear differential equations. In all cases our results are significantly better than those obtained with the maximum entropy technique for estimating \(u\) .     

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\) .     

On lower bounds for cohomology growth in p-adic analytic towers

Let \(p\) and \(\ell \) be two distinct prime numbers and let \(\Gamma \) be a group. We study the asymptotic behaviour of the mod- \(\ell \) Betti numbers in \(p\) -adic analytic towers of finite index subgroups. If \(\Theta \) is a finite \(\ell \) -group of automorphisms of \(\Gamma \) , our main theorem allows to lift lower bounds for the mod- \(\ell \) cohomology growth in the fixed point group \(\Gamma ^\Theta \) to lower bounds for the growth in \(\Gamma \) . We give applications to \(S\) -arithmetic groups and we also obtain a similar result for cohomology with rational coefficients.     

Neighbour-transitive codes in Johnson graphs

The Johnson graph \(J(v,k)\) has, as vertices, the \(k\) -subsets of a \(v\) -set \(\mathcal {V}\) and as edges the pairs of \(k\) -subsets with intersection of size \(k-1\) . We introduce the notion of a neighbour-transitive code in \(J(v,k)\) . This is a proper vertex subset \(\Gamma \) such that the subgroup \(G\) of graph automorphisms leaving \(\Gamma \) invariant is transitive on both the set \(\Gamma \) of ‘codewords’ and also the set of ‘neighbours’ of \(\Gamma \) , which are the non-codewords joined by an edge to some codeword. We classify all examples where the group \(G\) is a subgroup of the symmetric group \(\mathrm{Sym}\,(\mathcal {V})\) and is intransitive or imprimitive on the underlying \(v\) -set \(\mathcal {V}\) . In the remaining case where \(G\le \mathrm{Sym}\,(\mathcal {V})\) and \(G\) is primitive on \(\mathcal {V}\) , we prove that, provided distinct codewords are at distance at least \(3\) , then \(G\) is \(2\) -transitive on \(\mathcal {V}\) . We examine many of the infinite families of finite \(2\) -transitive permutation groups and construct surprisingly rich families of examples of neighbour-transitive codes. A major unresolved case remains.     

Some totally geodesic submanifolds of the nonlinear Grassmannian of a compact symmetric space

Let \(M\) and \(N\) be two connected smooth manifolds, where \(M\) is compact and oriented and \(N\) is Riemannian. Let \(\mathcal {E}\) be the Fréchet manifold of all embeddings of \(M\) in \(N\) , endowed with the canonical weak Riemannian metric. Let \(\sim \) be the equivalence relation on \(\mathcal {E}\) defined by \(f\sim g\) if and only if \(f=g\circ \phi \) for some orientation preserving diffeomorphism \(\phi \) of \(M\) . The Fréchet manifold \(\mathcal {S}= \mathcal {E}/_{\sim }\) of equivalence classes, which may be thought of as the set of submanifolds of \(N\) diffeomorphic to \(M\) and is called the nonlinear Grassmannian (or Chow manifold) of \(N\) of type \(M\) , inherits from \( \mathcal {E}\) a weak Riemannian structure. We consider the following particular case: \(N\) is a compact irreducible symmetric space and \(M\) is a reflective submanifold of \(N\) (that is, a connected component of the set of fixed points of an involutive isometry of \( N\) ). Let \(\mathcal {C}\) be the set of submanifolds of \(N\) which are congruent to \(M\) . We prove that the natural inclusion of \(\mathcal {C}\) in \(\mathcal {S}\) is totally geodesic.     

Shape derivatives for minima of integral functionals

For \(\Omega \) varying among open bounded sets in \(\mathbb R ^n\) , we consider shape functionals \(J (\Omega )\) defined as the infimum over a Sobolev space of an integral energy of the kind \(\int _\Omega [ f (\nabla u) + g (u) ]\) , under Dirichlet or Neumann conditions on \(\partial \Omega \) . Under fairly weak assumptions on the integrands \(f\) and \(g\) , we prove that, when a given domain \(\Omega \) is deformed into a one-parameter family of domains \(\Omega _\varepsilon \) through an initial velocity field \(V\in W ^ {1, \infty } (\mathbb R ^n, \mathbb R ^n)\) , the corresponding shape derivative of \(J\) at \(\Omega \) in the direction of \(V\) exists. Under some further regularity assumptions, we show that the shape derivative can be represented as a boundary integral depending linearly on the normal component of \(V\) on \(\partial \Omega \) . Our approach to obtain the shape derivative is new, and it is based on the joint use of Convex Analysis and Gamma-convergence techniques. It allows to deduce, as a companion result, optimality conditions in the form of conservation laws.     

The Cauchy–Riemann equations in the unit ball of l^{2}

We study the local exactness of the \(\overline{\partial }\) operator in the Hilbert space \(l^2\) for a particular class of \((0,1)\) -forms \(\omega \) of the type \(\omega (z) = \sum _i z_i\omega ^i(z) d\overline{z}_i\) , \(z = (z_i)\) in \(l^2\) . We suppose each function \(\omega ^i\) of class \(C^\infty \) in the closed unit ball of \(l^2\) , of the form \(\omega ^i(z) = \sum _k \omega ^i_k\left( z^k\right) \) , where \(\mathbf N = \bigcup I_k\) is a partition of \(\mathbf N\) , \((\) card \(I_k < +\infty )\) and \(z^k\) is the projection of \(z\) on \(\mathbf C^{I_k}\) . We establish sufficient conditions for exactness of \(\omega \) related to the expansion in Fourier series of the functions \(\omega ^i_k\) .     

Tree metrics and edge-disjoint S-paths

Given an undirected graph \(G=(V,E)\) with a terminal set \(S \subseteq V\) , a weight function on terminal pairs, and an edge-cost \(a: E \rightarrow \mathbf{Z}_+\) , the \(\mu \) -weighted minimum-cost edge-disjoint \(S\) -paths problem ( \(\mu \) -CEDP) is to maximize \(\sum \nolimits _{P \in \mathcal{P}} \mu (s_P,t_P) - a(P)\) over all edge-disjoint sets \(\mathcal{P}\) of \(S\) -paths, where \(s_P,t_P\) denote the ends of \(P\) and \(a(P)\) is the sum of edge-cost \(a(e)\) over edges \(e\) in \(P\) . Our main result is a complete characterization of terminal weights \(\mu \) for which \(\mu \) -CEDP is tractable and admits a combinatorial min–max theorem. We prove that if \(\mu \) is a tree metric, then \(\mu \) -CEDP is solvable in polynomial time and has a combinatorial min–max formula, which extends Mader’s edge-disjoint \(S\) -paths theorem and its minimum-cost generalization by Karzanov. Our min–max theorem includes the dual half-integrality, which was earlier conjectured by Karzanov for a special case. We also prove that \(\mu \) -EDP, which is \(\mu \) -CEDP with \(a = 0\) , is NP-hard if \(\mu \) is not a truncated tree metric, where a truncated tree metric is a weight function represented as pairwise distances between balls in a tree. On the other hand, \(\mu \) -CEDP for a truncated tree metric \(\mu \) reduces to \(\mu '\) -CEDP for a tree metric \(\mu '\) . Thus our result is best possible unless P = NP. As an application, we obtain a good approximation algorithm for \(\mu \) -EDP with “near” tree metric \(\mu \) by utilizing results from the theory of low-distortion embedding.     

\ell ^p-Linear Independence of the System of Integer Translates

Various properties of the system \({\mathcal {B}}_{\psi }\) of integer translates of a square integrable function \(\psi \in L^2({\mathbb {R}})\) can be completely described in terms of the periodization function \(p_{\psi }(\xi )=\sum _{k\in {\mathbb {Z}}}|\widehat{\psi }(\xi +k)|^2\) . In this paper, we consider the problem of \(\ell ^p\) -linear independence, where \(p>2\) . The results we present include the method of construction for one type of counterexamples to several naturally taken conjectures, a new sufficient condition for \(\ell ^p\) -linear independence and a characterization theorem having an additional assumption on \({\mathcal {B}}_{\psi }\) . In the latter, we obtain the characterization in terms of the sets of multiplicity of Lebesgue measure zero.     

Relatively congruence-free regular semigroups

Yu, Wang, Wu and Ye call a semigroup \(S\) \(\tau \) -congruence-free, where \(\tau \) is an equivalence relation on \(S\) , if any congruence \(\rho \) on \(S\) is either disjoint from \(\tau \) or contains \(\tau \) . A congruence-free semigroup is then just an \(\omega \) -congruence-free semigroup, where \(\omega \) is the universal relation. They determined the completely regular semigroups that are \(\tau \) -congruence-free with respect to each of the Green’s relations. The goal of this paper is to extend their results to all regular semigroups. Such a semigroup is \(\mathrel {\mathcal {J}}\) -congruence-free if and only if it is either a semilattice or has a single nontrivial \(\mathrel {\mathcal {J}}\) -class, \(J\) , say, and either \(J\) is a subsemigroup, in which case it is congruence-free, or otherwise its principal factor is congruence-free. Given the current knowledge of congruence-free regular semigroups, this result is probably best possible. When specialized to completely semisimple semigroups, however, a complete answer is obtained, one that specializes to that of Yu et al. A similar outcome is obtained for \(\mathrel {\mathcal {L}}\) and \(\mathrel {\mathcal {R}}\) . In the case of \(\mathrel {\mathcal {H}}\) , only the completely semisimple case is fully resolved, again specializing to those of Yu et al.     

On a result of Moeglin and Waldspurger in residual characteristic 2

Let \(F\) be a \(p\) -adic field, \(\mathbf G\) a connected reductive group over \(F\) , and \(\pi \) an irreducible admissible representation of \(\mathbf G(F)\) . A result of Moeglin and Waldspurger states that, if the residual characteristic of \(F\) is different from \(2\) , then the ‘leading’ coefficients in the character expansion of \(\pi \) at the identity element of \(\mathbf G(F)\) give the dimensions of certain spaces of degenerate Whittaker forms. In this paper, we extend their result to residual characteristic 2. The outline of the proof is the same as in the original paper of Moeglin and Waldspurger, but certain constructions are modified to accommodate the case of even residual characteristic.     

Strongly amenable involutive representations of involutive Banach algebras

Let \(\mathfrak{A }\) be a Banach \(*\) -algebra and let \(\varphi \) be a nonzero self-adjoint character on \(\mathfrak{A }\) . For a   \(*\) -representation \(\pi \) of \(\mathfrak{A }\) on a Hilbert space \(\mathcal{H }\) , we introduce and study strong \(\varphi \) -amenability of \(\pi \) in terms of certain states on the von Neumann algebra of bounded operators on \(\mathcal{H }\) . We then give some characterizations of this notion in terms of certain positive functionals on \(\mathfrak{A }\) . We finally investigate some hereditary properties of strong \(\varphi \) -amenability of Banach algebras.     

Extremal geometry of a Brownian porous medium

The path \(W[0,t]\) of a Brownian motion on a \(d\) -dimensional torus \(\mathbb T ^d\) run for time \(t\) is a random compact subset of \(\mathbb T ^d\) . We study the geometric properties of the complement \(\mathbb T ^d{{\setminus }} W[0,t]\) as \(t\rightarrow \infty \) for \(d\ge 3\) . In particular, we show that the largest regions in \(\mathbb T ^d{{\setminus }} W[0,t]\) have a linear scale \(\varphi _d(t)=[(d\log t)/(d-2)\kappa _d t]^{1/(d-2)}\) , where \(\kappa _d\) is the capacity of the unit ball. More specifically, we identify the sets \(E\) for which \(\mathbb T ^d{{\setminus }} W[0,t]\) contains a translate of \(\varphi _d(t)E\) , and we count the number of disjoint such translates. Furthermore, we derive large deviation principles for the largest inradius of \(\mathbb T ^d{{\setminus }} W[0,t]\) as \(t\rightarrow \infty \) and the \(\varepsilon \) -cover time of \(\mathbb T ^d\) as \(\varepsilon \downarrow 0\) . Our results, which generalise laws of large numbers proved by Dembo et al. (Electron J Probab 8(15):1–14, 2003), are based on a large deviation estimate for the shape of the component with largest capacity in \(\mathbb T ^d{{\setminus }} W_{\rho (t)}[0,t]\) , where \(W_{\rho (t)}[0,t]\) is the Wiener sausage of radius \(\rho (t)\) , with \(\rho (t)\) chosen much smaller than \(\varphi _d(t)\) but not too small. The idea behind this choice is that \(\mathbb T ^d {{\setminus }} W[0,t]\) consists of “lakes”, whose linear size is of order \(\varphi _d(t)\) , connected by narrow “channels”. We also derive large deviation principles for the principal Dirichlet eigenvalue and for the maximal volume of the components of \(\mathbb T ^d {{\setminus }} W_{\rho (t)}[0,t]\) as \(t\rightarrow \infty \) . Our results give a complete picture of the extremal geometry of \(\mathbb T ^d{{\setminus }} W[0,t]\) and of the optimal strategy for \(W[0,t]\) to realise extreme events.     

Structure of \mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k}) for some fields \mathbb {k}=\mathbb {Q}(\sqrt{2p_1p_2},i) with \mathbf {C}l_2(\mathbb {k})\simeq (2, 2, 2)

Let \(p_1 \equiv p_2 \equiv 5\pmod 8\) be different primes. Put \(i=\sqrt{-1}\) and \(d=2p_1p_2\) , then the bicyclic biquadratic field \(\mathbb {k}=\mathbb {Q}(\sqrt{d},i)\) has an elementary abelian 2-class group of rank \(3\) . In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group \(\mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k})\) of the second Hilbert 2-class field \(\mathbb {k}_2^{(2)}\) of \(\mathbb {k}\) . We study the capitulation problem of the 2-classes of \(\mathbb {k}\) in its seven unramified quadratic extensions \(\mathbb {K}_i\) and in its seven unramified bicyclic biquadratic extensions \(\mathbb {L}_i\) .