A New Topological Helly Theorem and Some Transversal Results

We prove that for a topological space \(X\) with the property that \( H_{*}(U)=0\) for \(*\ge d\) and every open subset \(U\) of \(X\) , a finite family of open sets in \(X\) has nonempty intersection if for any subfamily of size \(j,\,1\le j\le d+1,\) the \((d-j)\) -dimensional homology group of its intersection is zero. We use this theorem to prove new results concerning transversal affine planes to families of convex sets.     

Simplicity of normal subgroups and conjugacy class sizes

Given a finite group \(G\) which possesses a non-abelian simple normal subgroup \(N\) having exactly four \(G\) -class sizes, we prove that \(N\) is isomorphic to PSL \((2, 2^a)\) with \(a\ge 2\) . Thus, we obtain an extension for normal subgroups of the classic N. Itô’s theorem which characterizes those finite simple groups with exactly four class sizes.     

Counting and Sampling Minimum Cuts in Genus g Graphs

Let \(G\) be a directed graph with \(n\) vertices embedded on an orientable surface of genus \(g\) with two designated vertices \(s\) and \(t\) . We show that computing the number of minimum \((s,t)\) -cuts in \(G\) is fixed-parameter tractable in \(g\) . Specifically, we give a \(2^{O(g)} n^2\) time algorithm for this problem. Our algorithm requires counting sets of cycles in a particular integer homology class. That we can count these cycles is an interesting result in itself as there are no prior results that are fixed-parameter tractable and deal directly with integer homology. We also describe an algorithm which, after running our algorithm to count minimum cuts once, can sample an \((s,t)\) -minimum cut uniformly at random in \(O(n \log n)\) time per sample.     

Fully inert subgroups of free Abelian groups

A subgroup \(H\) of an Abelian group \(G\) is called fully inert if \((\phi H + H)/H\) is finite for every \(\phi \in \mathrm{End}(G)\) . Fully inert subgroups of free Abelian groups are characterized. It is proved that \(H\) is fully inert in the free group \(G\) if and only if it is commensurable with \(n G\) for some \(n \ge 0\) , that is, \((H + nG)/H\) and \((H + nG)/nG\) are both finite. From this fact we derive a more structural characterization of fully inert subgroups \(H\) of free groups \(G\) , in terms of the Ulm–Kaplansky invariants of \(G/H\) and the Hill–Megibben invariants of the exact sequence \(0 \rightarrow H \rightarrow G \rightarrow G/H \rightarrow 0\) .     

On cycles for the doubling map which are disjoint from an interval

Let \(T:[0,1]\rightarrow [0,1]\) be the doubling map and let \(0 . We say that an integer \(n\ge 3\) is bad for \((a,b)\) if all \(n\) -cycles for \(T\) intersect \((a,b)\) . Let \(B(a,b)\) denote the set of all \(n\) which are bad for \((a,b)\) . In this paper we completely describe the sets: $$\begin{aligned} D_2=\{(a,b) : B(a,b)\,\text {is finite}\} \end{aligned}$$ and $$\begin{aligned} D_3=\{(a,b) : B(a,b)=\varnothing \}. \end{aligned}$$ In particular, we show that if \(b-a<\frac{1}{6}\) , then \((a,b)\in D_2\) , and if \(b-a\le \frac{2}{15}\) , then \((a,b)\in D_3\) , both constants being sharp.     

Carleson Type Measures for Fock–Sobolev Spaces

We describe the \((p,q)\) Fock–Carleson measures for weighted Fock–Sobolev spaces in terms of the objects \((s,t)\) -Berezin transforms, averaging functions, and averaging sequences on the complex space \(\mathbb{C }^n\) . The main results show that while these objects may have growth not faster than polynomials to induce the \((p,q)\) measures for \(q\ge p\) , they should be of \(L^{p/(p-q)}\) integrable against a weight of polynomial growth for \(q<p\) . As an application, we characterize the bounded and compact weighted composition operators on the Fock–Sobolev spaces in terms of certain Berezin type integral transforms on \(\mathbb{C }^n\) . We also obtained estimation results for the norms and essential norms of the operators in terms of the integral transforms. The results obtained unify and extend a number of other results in the area.     

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.     

Nonlinear Schrödinger equations near an infinite well potential

The paper deals with standing wave solutions of the dimensionless nonlinear Schrödinger equation where the potential \(V_\lambda :\mathbb {R}^N\rightarrow \mathbb {R}\) is close to an infinite well potential \(V_\infty :\mathbb {R}^N\rightarrow \mathbb {R}\) , i. e. \(V_\infty =\infty \) on an exterior domain \(\mathbb {R}^N\setminus \Omega \) , \(V_\infty |_\Omega \in L^\infty (\Omega )\) , and \(V_\lambda \rightarrow V_\infty \) as \(\lambda \rightarrow \infty \) in a sense to be made precise. The nonlinearity may be of Gross–Pitaevskii type. A standing wave solution of \((NLS_\lambda )\) with \(\lambda =\infty \) vanishes on \(\mathbb {R}^N\setminus \Omega \) and satisfies Dirichlet boundary conditions, hence it solves We investigate when a standing wave solution \(\Phi _\infty \) of the infinite well potential \((NLS_\infty )\) gives rise to nearby solutions \(\Phi _\lambda \) of the finite well potential \((NLS_\lambda )\) with \(\lambda \gg 1\) large. Considering \((NLS_\infty )\) as a singular limit of \((NLS_\lambda )\) we prove a kind of singular continuation type results.     

Limit theorems for von Mises statistics of a measure preserving transformation

For a measure preserving transformation \(T\) of a probability space \((X,\mathcal{F },\mu )\) and some \(d \ge 1\) we investigate almost sure and distributional convergence of random variables of the form $$\begin{aligned} x \rightarrow \frac{1}{C_n} \sum _{0\le i_1,\ldots ,\,i_d where \(C_1, C_2,\ldots \) are normalizing constants and the kernel \(f\) belongs to an appropriate subspace in some \(L_p(X^d\!,\, \mathcal{F }^{\otimes d}\!,\,\mu ^d)\) . We establish a form of the individual ergodic theorem for such sequences. Using a filtration compatible with \(T\) and the martingale approximation, we prove a central limit theorem in the non-degenerate case; for a class of canonical (totally degenerate) kernels and \(d=2\) , we also show that the convergence holds in distribution towards a quadratic form \(\sum _{m=1}^{\infty } \lambda _m\eta ^2_m\) in independent standard Gaussian variables \(\eta _1, \eta _2, \ldots \) .     

Frequent Hypercyclicity of Random Entire Functions for the Differentiation Operator

We study the random entire functions defined as power series \(f(z) = \sum _{n=0}^\infty (X_n/n!) z^n\) with independent and identically distributed coefficients \((X_n)\) and show that, under very weak assumptions, they are frequently hypercyclic for the differentiation operator \(D: H({\mathbb {C}}) \rightarrow H({\mathbb {C}}),\,f \mapsto Df = f'\) . This gives a very simple probabilistic construction of \(D\) -frequently hypercyclic functions in \(H({\mathbb {C}})\) . Moreover we show that, under more restrictive assumptions on the distribution of the \((X_n)\) , these random entire functions have a growth rate that differs from the slowest growth rate possible for \(D\) -frequently hypercyclic entire functions at most by a factor of a power of a logarithm.     

On the non-existence of maximal difference matrices of deficiency 1

A \(k\times u\lambda \) matrix \(M=[d_{ij}]\) with entries from a group \(U\) of order \(u\) is called a \((u,k,\lambda )\) -difference matrix over \(U\) if the list of quotients \(d_{i\ell }{d_{j\ell }}^{-1}, 1 \le \ell \le u\lambda ,\) contains each element of \(U\) exactly \(\lambda \) times for all \(i\ne j.\) Jungnickel has shown that \(k \le u\lambda \) and it is conjectured that the equality holds only if \(U\) is a \(p\) -group for a prime \(p.\) On the other hand, Winterhof has shown that some known results on the non-existence of \((u,u\lambda ,\lambda )\) -difference matrices are extended to \((u,u\lambda -1,\lambda )\) -difference matrices. This fact suggests us that there is a close connection between these two cases. In this article we show that any \((u,u\lambda -1,\lambda )\) -difference matrix over an abelian \(p\) -group can be extended to a \((u,u\lambda ,\lambda )\) -difference matrix.     

Uncertainty principles and sum complexes

Let \(p\) be a prime and let \(A\) be a nonempty subset of the cyclic group \(C_p\) . For a field \({\mathbb F}\) and an element \(f\) in the group algebra \({\mathbb F}[C_p]\) let \(T_f\) be the endomorphism of \({\mathbb F}[C_p]\) given by \(T_f(g)=fg\) . The uncertainty number \(u_{{\mathbb F}}(A)\) is the minimal rank of \(T_f\) over all nonzero \(f \in {\mathbb F}[C_p]\) such that \(\mathrm{supp}(f) \subset A\) . The following topological characterization of uncertainty numbers is established. For \(1 \le k \le p\) define the sum complex \(X_{A,k}\) as the \((k-1)\) -dimensional complex on the vertex set \(C_p\) with a full \((k-2)\) -skeleton whose \((k-1)\) -faces are all \(\sigma \subset C_p\) such that \(|\sigma |=k\) and \(\prod _{x \in \sigma }x \in A\) . It is shown that if \({\mathbb F}\) is algebraically closed then $$\begin{aligned} u_{{\mathbb F}}(A)=p-\max \{k :\tilde{H}_{k-1}(X_{A,k};{\mathbb F}) \ne 0\}. \end{aligned}$$ The main ingredient in the proof is the determination of the homology groups of \(X_{A,k}\) with field coefficients. In particular it is shown that if \(|A| \le k\) then \(\tilde{H}_{k-1}(X_{A,k};{\mathbb F}_p)\!=\!0.\)      

Optimal initial value conditions for the existence of strong solutions of the Boussinesq equations

Consider the instationary Boussinesq equations in a smooth bounded domain \(\Omega \subseteq \mathbb {R}^3\) with initial values \(u_0 \in L^2_{\sigma }(\Omega )\) , \( \theta _0 \in L^2(\Omega )\) and gravitational force \(g\) . We call \((u,\theta )\) strong solution if \((u,\theta )\) is a weak solution and additionally Serrin’s condition \(u \in L^s(0,T; L^q(\Omega ))\) holds where \( 1 satisfy \(\frac{2}{s} + \frac{3}{q} =1\) . In this paper we show that \(\int _0^{\infty } \Vert e^{-tA} u_0 \Vert _q^s \, dt < \infty \) is necessary and sufficient for the existence of such a strong solution \((u,\theta )\) in a sufficiently small interval \([0,T[\, , 0 < T\le \infty \) . Furthermore we show that strong solutions are uniquely determined and that they are smooth if the data are smooth. The crucial point is the fact that we have required no additional integrability condition for \(\theta \) in the definition of a strong solution \((u,\theta )\) .     

Local circular law for random matrices

The circular law asserts that the spectral measure of eigenvalues of rescaled random matrices without symmetry assumption converges to the uniform measure on the unit disk. We prove a local version of this law at any point \(z\) away from the unit circle. More precisely, if \( | |z| - 1 | \ge \tau \) for arbitrarily small \(\tau > 0\) , the circular law is valid around \(z\) up to scale \(N^{-1/2+ {\varepsilon }}\) for any \({\varepsilon }> 0\) under the assumption that the distributions of the matrix entries satisfy a uniform subexponential decay condition.     

On Radii of Spheres Determined by Subsets of Euclidean Space

In this paper the author considers the problem of how large the Hausdorff dimension of \(E\subset \mathbb {R}^d\) needs to be in order to ensure that the radii set of \((d-1)\) -dimensional spheres determined by \(E\) has positive Lebesgue measure. The author also studies the question of how often can a neighborhood of a given radius repeat. There are two results obtained in this paper. First, by applying a general mechanism developed in Grafakos et al. (2013) for studying Falconer-type problems, the author proves that a neighborhood of a given radius cannot repeat more often than the statistical bound if \(\dim _{{\mathcal H}}(E)>d-1+\frac{1}{d}\) ; In \(\mathbb {R}^2\) , the dimensional threshold is sharp. Second, by proving an intersection theorem, the author proves that for a.e \(a\in \mathbb {R}^d\) , the radii set of \((d-1)\) -spheres with center \(a\) determined by \(E\) must have positive Lebesgue measure if \(\dim _{{\mathcal H}}(E)>d-1\) , which is a sharp bound for this problem.     

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.     

Recovering a Constant in the Two-Dimensional Navier–Stokes System with No Initial Condition

We deal with the \(2D\) -Navier–Stokes system endowed with Cauchy boundary conditions, but with no initial condition. We assume that the right-hand side is of the form \(\beta f_0+f_1\) , where \(\beta \in \mathbb {R}\) is an unknown constant. To determine \(\beta \) we are given a functional involving the velocity field \(y\) . First we prove uniqueness for the pair \((y,\beta )\) , via suitable weak Carleman estimates, and then we show the locally Lipschitz-continuous dependence of \((y,\beta )\) on the data.     

Normal approximation for a random elliptic equation

We consider solutions of an elliptic partial differential equation in \(\mathbb{R }^d\) with a stationary, random conductivity coefficient that is also periodic with period \(L\) . Boundary conditions on a square domain of width \(L\) are arranged so that the solution has a macroscopic unit gradient. We then consider the average flux that results from this imposed boundary condition. It is known that in the limit \(L \rightarrow \infty \) , this quantity converges to a deterministic constant, almost surely. Our main result is that the law of this random variable is very close to that of a normal random variable, if the domain size \(L\) is large. We quantify this approximation by an error estimate in total variation. The error estimate relies on a second order Poincaré inequality developed recently by Chatterjee.     

Adjunction and singular loci of hyperplane sections,II

Let \((X,L)\) be a smooth polarized variety of dimension \(n\) . Let \(A\in |L|\) be an irreducible hypersurface and let \(\Sigma \) be the singular locus of \(A\) . We assume that \(\Sigma \) is a smooth subvariety of dimension \(k\ge 2\) , and odd codimension \(\ge 3\) . Motivated from the results of Beltrametti et al. (J. Math. Soc. Jpn. 2014), we study the nefness and bigness of the adjoint bundle \(K_{\Sigma }+ (k-2)L_{\Sigma }\) in this framework. Several explicit examples show that the results are effective.     

Cyclic parallel CR-submanifolds of maximal CR-dimension in a complex space form

We first classify \((2n-1)\) -dimensional cyclic parallel CR-submanifold \(M\) with CR-dimension \(n-1\) in a non-flat complex space form of constant holomorphic sectional curvature \(4c\) . Then, we prove that \(||\nabla h||^2\ge 4(n-1)c^2\) , where \(h\) is the second fundamental form on \(M\) . We also completely classify \((2n-1)\) -dimensional CR-submanifolds with CR-dimension \(n-1\) in a non-flat complex space form which satisfy the equality case of this inequality. This generalizes an inequality for real hypersurfaces in a non-flat complex space form obtained by Maeda (J Math Soc Jpn 28:529–540; 1976) and Chen et al. (Algebras Groups Geom 1:176–212; 1984) for complex projective and hyperbolic spaces, respectively.