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.     

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

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.     

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.     

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.     

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

Empirical likelihood bivariate nonparametric maximum likelihood estimator with right censored data

This article considers the estimation for bivariate distribution function (d.f.) \(F_0(t, z)\) of survival time \(T\) and covariate variable \(Z\) based on bivariate data where \(T\) is subject to right censoring. We derive the empirical likelihood-based bivariate nonparametric maximum likelihood estimator \(\hat{F}_n(t,z)\) for \(F_0(t,z)\) , which has an explicit expression and is unique in the sense of empirical likelihood. Other nice features of \(\hat{F}_n(t,z)\) include that it has only nonnegative probability masses, thus it is monotone in bivariate sense. We show that under \(\hat{F}_n(t,z)\) , the conditional d.f. of \(T\) given \(Z\) is of the same form as the Kaplan–Meier estimator for the univariate case, and that the marginal d.f. \(\hat{F}_n(\infty ,z)\) coincides with the empirical d.f. of the covariate sample. We also show that when there is no censoring, \(\hat{F}_n(t,z)\) coincides with the bivariate empirical d.f. For discrete covariate \(Z\) , the strong consistency and weak convergence of \(\hat{F}_n(t,z)\) are established. Some simulation results are presented.     

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.     

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.     

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.     

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.     

A uniqueness theorem for functions in the extended Selberg class

Recently, we proved that every finite dimensional Alexandrov space is strongly locally Lipschitz contractible. In the present paper, we consider the set \(\mathcal M\) of all isometry classes of Alexandrov spaces of curvature \(\ge -1\) and of fixed dimension having upper diameter bound and lower volume bound, and prove that there exists a constant \(N\) depending on the parameters determining \(\mathcal M\) such that every space in \(\mathcal M\) can be covered by at most \(N\) strongly Lipschitz contractible balls. Also, we prove that there exists a constant \(N^\prime \) depending on \(\mathcal M\) such that every space in \(\mathcal M\) can be covered by at most \(N^\prime \) strongly Lipschitz contractible and convex regions.     

The theme of a vanishing period

Consider a multivalued formal function of the type 1 $$\begin{aligned} \varphi (s) : = \sum _{j=0}^k\,c_j(s).s^{\lambda + m_j}.(\mathrm{Log}\,s)^j, \end{aligned}$$ where \(\lambda \) is a positive rational number, \(c_j\) is in \({{\mathrm{\mathbb {C}}}}[[s]]\) and \(m_j \in \mathbb {N}\) for \(j \in [0,k-1]\) . The theme associated with such a \(\varphi \) is the “minimal filtered integral equation” satisfied by \(\varphi \) , in a sense which is made precise in this article. We study such objects and show that their isomorphism classes may be characterized by a finite set of complex numbers, when we assume the Bernstein polynomial of \(\varphi \) to be fixed. For a given \(\lambda \) , to fix the Bernstein polynomial is equivalent to fix a finite set of integers associated with the logarithm of the monodromy in the geometric situation described below. Our aim is to construct some analytic invariants, for instance in the following situation, let \(f : X \rightarrow D\) be a proper holomorphic function defined on a complex manifold \(X\) with values in a disc \(D\) . We assume that the only critical value is \(0 \in D\) and we consider this situation as a degenerating family of compact complex manifolds to a singular compact complex space \(f^{-1}(0)\) . To a smooth \((p+1)\) -form \(\omega \) on \(X\) such that \(\mathrm{d}\omega = 0 = \mathrm{d}f \wedge \omega \) and to a vanishing \(p\) -cycle \(\gamma \) chosen in the generic fiber \(f^{-1}(s_0), s_0 \in D \setminus \{0\}\) , we associated a “vanishing period” \(F_{\gamma }(s) : = \int _{\gamma _s} \omega \big /\mathrm{d}f \) which has an asymptotic expansion at \(0\) of the form \((1)\) above, when \(\gamma \) is chosen in the spectral subspace of \(H_p(f^{-1}(s_0), {{\mathrm{\mathbb {C}}}})\) for the eigenvalue \(\mathrm{e}^{2i\pi .\lambda }\) of the monodromy of \(f\) . Here \((\gamma _s)_{s \in D^*}\) is the horizontal multivalued family of \(p\) -cycles in the fibers of \(f\) obtained from the choice of \(\gamma \) . The aim of this article was to study the module generated by such a \(\varphi \) over the algebra \(\tilde{\mathcal {A}}\) , which is the \(b\) -completion of the algebra \(\mathcal {A}\) generated by the operators \(\mathrm{a} : = \times s\) and \(\mathrm{b} : = \int _{0}^{s}\) .     

Salem numbers in dynamics on Kähler threefolds and complex tori

Let \(X\) be a compact Kähler manifold of dimension \(k\!\le \! 4\) and \(f{:}X\!\rightarrow \! X\) a pseudo-automorphism. If the first dynamical degree \(\lambda _1(f)\) is a Salem number, we show that either \(\lambda _1(f)=\lambda _{k-1}(f)\) or \(\lambda _1(f)^2=\lambda _{k-2}(f)\) . In particular, if \({\dim }(X)=3\) then \(\lambda _1(f)=\lambda _2(f)\) . We use this to show that if \(X\) is a complex 3-torus and \(f\) is an automorphism of \(X\) with \(\lambda _1(f)>1\) , then \(f\) has a non-trivial equivariant holomorphic fibration if and only if \(\lambda _1(f)\) is a Salem number. If \(X\) is a complex 3-torus having an automorphism \(f\) with \(\lambda _1(f)=\lambda _2(f)>1\) but is not a Salem number, then the Picard number of \(X\) must be 0, 3 or 9, and all these cases can be realized.     

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

Weighted Hardy inequality with higher dimensional singularity on the boundary

Let \(\Omega \) be a smooth bounded domain in \(\mathbb R ^N\) with \(N\ge 3\) and let \(\Sigma _k\) be a closed smooth submanifold of \(\partial \Omega \) of dimension \(1\le k\le N-2\) . In this paper we study the weighted Hardy inequality with weight function singular on \(\Sigma _k\) . In particular we provide necessary and sufficient conditions for existence of minimizers.     

Optimal mass transport and symmetric representations of their cost functions

We consider Monge–Kantorovich problems corresponding to general cost functions \(c(x,y)\) but with symmetry constraints on a Polish space \(X\times X\) . Such couplings naturally generate anti-symmetric Hamiltonians on \(X\times X\) that are \(c\) -convex with respect to one of the variables. In particular, if \(c\) is differentiable with respect to the first variable on an open subset \(X\) in \( \mathbb {R}^d\) , we show that for every probability measure \(\mu \) on \(X\) , there exists a symmetric probability measure \(\pi _0\) on \(X\times X\) with marginals \(\mu \) , and an anti-symmetric Hamiltonian \(H\) such that \(\nabla _2H(y, x)=\nabla _1c(x,y)\) for \( \pi _0\) -almost all \((x,y) \in X \times X.\) If \(\pi _0\) is supported on a graph \((x, Sx)\) , then \(S\) is necessarily a \(\mu \) -measure preserving involution (i.e., \(S^2=I\) ) and \(\nabla _2H(x, Sx)=\nabla _1c(Sx,x)\) for \(\mu \) -almost all \(x \in X.\) For monotone cost functions such as those given by \(c(x,y)=\langle x, u(y)\rangle \) or \(c(x,y)=-|x-u(y)|^2\) where \(u\) is a monotone operator, \(S\) is necessarily the identity yielding a classical result by Krause, namely that \(u(x)=\nabla _2H(x, x)\) where \(H\) is anti-symmetric and concave-convex.     

Operator method for calculating Q symbols and their relation to weyl-wigner symbols and symplectic tomogram symbols

We propose a new method for calculating Husimi symbols of operators. In contrast to the standard method, it does not require using the anti-normal-ordering procedure. According to this method, the coordinate and momentum operators \(\hat q\) and \(\hat p\) are assigned other operators \(\hat X\) and \(\hat P\) satisfying the same commutation relations. We then find the result of acting with the \(\hat X\) and \(\hat P\) operators and also polynomials in these operators on the Husimi function. After the obtained expression is integrated over the phase space coordinates, the integrand becomes a Husimi function times the symbol of the operator chosen to act on that function. We explicitly evaluate the Husimi symbols for operators that are powers of \(\hat X\) or \(\hat P\) .