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.     

Hyperreflexivity of bounded N-cocycle spaces of banach algebras

Let \(X\) and \(Y\) be Banach spaces, \(n\in \mathbb {N}\) , and \(B^n(X,Y)\) the space of bounded \(n\) -linear maps from \(X\times \ldots \times X\) ( \(n\) -times) into \(Y\) . The concept of hyperreflexivity has already been defined for subspaces of \(B(X,Y)\) , where \(X\) and \(Y\) are Banach spaces. We extend this concept to the subspaces of \(B^n(X,Y)\) , taking into account its \(n\) -linear structure. We then investigate when \(\mathcal {Z}^n(A,X)\) , the space of all bounded \(n\) -cocycles from a Banach algebra \(A\) into a Banach \(A\) -bimodule \(X\) , is hyperreflexive. Our approach is based on defining two notions related to a Banach algebra, namely the strong property \((\mathbb {B})\) and bounded local units, and then applying them to find uniform criterions under which \(\mathcal {Z}^n(A,X)\) is hyperreflexive. We also demonstrate that these criterions are satisfied in variety of examples including large classes of C \(^*\) -algebras and group algebras and thereby providing various examples of hyperreflexive \(n\) -cocyle spaces. One advantage of our approach is that not only we obtain the hyperreflexivity for bounded \(n\) -cocycle spaces in different cases but also our results generalize the earlier ones on the hyperreflexivity of bounded derivation spaces, i.e. when \(n=1\) , in the literature. Finally, we investigate the hereditary properties of the strong property \((\mathbb {B})\) and b.l.u. This allows us to come with more examples of bounded \(n\) -cocycle spaces which are hyperreflexive.     

On conditional permutability and factorized groups

Two subgroups \(A\) and \(B\) of a group \(G\) are said to be totally completely conditionally permutable (tcc-permutable) if \(X\) permutes with \(Y^g\) for some \(g\in \langle X,Y\rangle \) , for all \(X \le A\) and all \(Y\le B\) . In this paper, we study finite products of tcc-permutable subgroups, focussing mainly on structural properties of such products. As an application, new achievements in the context of formation theory are obtained.     

Noether–Lefschetz theory with base locus

Let \(Z\) be a closed subscheme of a smooth complex projective variety \(Y\subseteq \mathbb {P}^N\) , with \(\dim \,Y=2r+1\ge 3\) . We describe the intermediate Néron–Severi group (i.e. the image of the cycle map \(A_r(X)\rightarrow H_{2r}(X;\mathbb {Z})\) ) of a general smooth hypersurface \(X\subset Y\) of sufficiently large degree containing \(Z\) .     

On the bicanonical map of primitive varieties with q(X) = \mathrm{dim }X: the degree and the Euler number

Let $X$ be a variety of maximal Albanese dimension and of general type. Assume that $q(X) = \mathrm{dim }X$ , the Albanese variety $\mathrm {Alb} (X)$ is a simple abelian variety, and the bicanonical map is not birational. We prove that the Euler number $\chi (X, \omega _X)$ is equal to 1, and $|2K_X|$ separates two distinct points over the same general point on $\mathrm {Alb} (X)$ via $\mathrm {alb}_X$ (Theorem 1.1).     

Refined methods for the identifiability of tensors

We prove that the general tensor of size \(2^n\) and rank \(k\) has a unique decomposition as the sum of decomposable tensors if \(k\le 0.9997\frac{2^n}{n+1}\) (the constant 1 being the optimal value). Similarly, the general tensor of size \(3^n\) and rank \(k\) has a unique decomposition as the sum of decomposable tensors if \(k\le 0.998\frac{3^n}{2n+1}\) (the constant 1 being the optimal value). Some results of this flavor are obtained for tensors of any size, but the explicit bounds obtained are weaker.     

Regularity of minimal hypersurfaces with a common free boundary

Let \(N\) be a Riemannian manifold and consider a stationary union of three or more \(C^{1,\mu }\) hypersurfaces-with-boundary \(M_k \subset N\) with a common boundary \(\Gamma \) . We show that if \(N\) is smooth, then \(\Gamma \) is smooth and each \(M_k\) is smooth up to \(\Gamma \) (real analytic in the case \(N\) is real analytic). Consequently we strengthen a result of Wickramasekera for stable codimension 1 integral varifolds regularity to conclude that under the stronger hypothesis that \(V\) is a stationary, stable, integral \(n\) -varifold in an \((n+1)\) -dimensional, smooth (real analytic) Riemannian manifold such that the support of \(\Vert V\Vert \) is nowhere locally the union of three or more smooth (real analytic) hypersurfaces-with-boundary meeting along a common boundary, the singular set of \(V\) is empty if \(n \le 6\) , is discrete if \(n = 7\) , and has Hausdorff dimension at most \(n-7\) if \(n \ge 8\) .     

A central limit theorem for projections of the cube

We prove a central limit theorem for the volume of projections of the cube \([-1,1]^N\) onto a random subspace of dimension \(n\) , when \(n\) is fixed and \(N\rightarrow \infty \) . Randomness in this case is with respect to the Haar measure on the Grassmannian manifold.     

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.     

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 the number of distinct prime factors of nj+a^hk

Let \(\omega (n)\) denote the number of distinct prime factors of \(n\) . Then for any given \(K\ge 2\) , small \(\epsilon >0\) and sufficiently large (only depending on \(K\) and \(\epsilon \) ) \(x\) , there exist at least \(x^{1-\epsilon }\) integers \(n\in [x,(1+K^{-1})x]\) such that \(\omega (nj\pm a^hk)\ge (\log \log \log x)^{\frac{1}{3}-\epsilon }\) for all \(2\le a\le K\) , \(1\le j,k\le K\) and \(0\le h\le K\log x\) .     

Two-dimensional slices of nonpseudoconvex domains with rough boundary

For a domain \(D\subset {\mathbb C}^n,\; n\ge 3\) , the set \(E\) is defined as the set of all points \(z\in {\mathbb C}^n\) for which the intersection of \(D\) with every complex \(2\) -plane through \(z\) is pseudoconvex. For \(D\) nonpseudoconvex, it is shown that \(E\) is contained in an affine subspace of codimension \(2\) . This results solves a problem raised by Nikolov and Pflug.     

On Sub-determinants and the Diameter of Polyhedra

We derive a new upper bound on the diameter of a polyhedron \(P = \{x {\in } {\mathbb {R}}^n :Ax\le b\}\) , where \(A \in {\mathbb {Z}}^{m\times n}\) . The bound is polynomial in \(n\) and the largest absolute value of a sub-determinant of \(A\) , denoted by \(\Delta \) . More precisely, we show that the diameter of \(P\) is bounded by \(O(\Delta ^2 n^4\log n\Delta )\) . If \(P\) is bounded, then we show that the diameter of \(P\) is at most \(O(\Delta ^2 n^{3.5}\log n\Delta )\) . For the special case in which \(A\) is a totally unimodular matrix, the bounds are \(O(n^4\log n)\) and \(O(n^{3.5}\log n)\) respectively. This improves over the previous best bound of \(O(m^{16}n^3(\log mn)^3)\) due to Dyer and Frieze (Math Program 64:1–16, 1994).     

Pluricanonical maps of varieties of Albanese fiber dimension two

In this paper we prove that for any smooth projective variety of Albanese fiber dimension two and of general type, the \(6\) -canonical map is birational. And we also show that the \(5\) -canonical map is birational for any such variety with some geometric restrictions.     

Additive mappings satisfying algebraic conditions in rings

Let \(R\) be any \((n+1)!\) -torsion free ring and \(F,D: R\rightarrow R\) be additive mappings satisfying \(F(x^{n+1})=(\alpha (x))^nF(x)+\sum \nolimits _{i=1}^n (\alpha (x))^{n-i}(\beta (x))^iD(x)\) for all \(x\in R\) , where \(n\) is a fixed integer and \(\alpha \) , \(\beta \) are automorphisms of \(R\) . Then, \(D\) is Jordan left \((\alpha , \beta )\) -derivation and \(F\) is generalized Jordan left \((\alpha , \beta )\) -derivation on \(R\) and if additive mappings \(F\) and \(D\) satisfying \(F(x^{n+1})=F(x)(\alpha (x))^n+\sum \nolimits _{i=1}^n (\beta (x))^iD(x)(\alpha (x))^{n-i}\) for all \(x\in R\) . Then, \(D\) is Jordan \((\alpha , \beta )\) -derivation and \(F\) is generalized Jordan \((\alpha , \beta )\) -derivation on \(R\) . At last some immediate consequences of the above theorems have been given.     

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.     

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

Isomorphic Steiner symmetrization of p-convex sets

In this paper we show that given a \(p\) -convex set \(K \subset \mathbb{R }^n\) , there exist \(5n\) Steiner symmetrizations that transform it into an isomorphic Euclidean ball. That is, if \(|K| = |D_n| = \kappa _n\) , we may symmetrize it, using \(5n\) Steiner symmetrizations, into a set \(K'\) such that \(c_p D_n \subset K' \subset C_p D_n\) , where \(c_p\) and \(C_p\) are constants dependent on \(p\) only.     

A nonlinear Stein theorem

For vector valued solutions \(u\) to the \(p\) -Laplacian system \(-\triangle _p u=F\) in a domain of \({\mathbb {R}}^n,\,p>1,\,n \ge 2,\) if \(F\) belongs to the limiting Lorentz space \(L(n,1),\) then \(Du\) is continuous.     

Proper circulant weighing matrices of weight p^2

A circulant weighing matrix \(CW(v,n)\) is a circulant matrix \(M\) of order \(v\) with \(0,\pm 1\) entries such that \(MM^T=nI_v\) . In this paper, we study proper circulant matrices with \(n=p^2\) where \(p\) is an odd prime divisor of \(v\) . For \(p\ge 5\) , it turns out that to search for such circulant matrices leads us to two group ring equations and by studying these two equations, we manage to prove that no proper \(CW(pw,p^2)\) exists when \(p\equiv 3\pmod {4}\) or \(p=5\) .