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.     

Ribbon graphs and mirror symmetry

Given a ribbon graph \(\Gamma \) with some extra structure, we define, using constructible sheaves, a dg category \(\mathrm {CPM}(\Gamma )\) meant to model the Fukaya category of a Riemann surface in the cell of Teichmüller space described by \(\Gamma .\) When \(\Gamma \) is appropriately decorated and admits a combinatorial “torus fibration with section,” we construct from \(\Gamma \) a one-dimensional algebraic stack \(\widetilde{X}_\Gamma \) with toric components. We prove that our model is equivalent to \(\mathcal {P}\mathrm {erf}(\widetilde{X}_\Gamma )\) , the dg category of perfect complexes on \(\widetilde{X}_\Gamma \) .     

Approximating minimum-cost edge-covers of crossing biset-families

Part of this paper appeared in the preliminary version [16]. An ordered pair ? = (S, S ₊) of subsets of a groundset V is called a biset if S ? S+; (V S ⁺;V S) is the co-biset of ?. Two bisets \(\hat X,\hat Y\) intersect if ^X X ∩ Y ≠ \(\not 0\) and cross if both X ∩ Y \(\not 0\) and X ⁺ ∪ Y ⁺ ≠= V. The intersection and the union of two bisets \(\hat X,\hat Y\) are defined by \(\hat X \cap \hat Y = (X \cap Y,X^ + \cap Y^ + )\) and \(\hat X \cup \hat Y = (X \cup Y,X^ + \cup Y^ + )\) . A biset-family \(\mathcal{F}\) is crossing (intersecting) if \(\hat X \cap \hat Y,\hat X \cup \hat Y \in \mathcal{F}\) for any \(\hat X,\hat Y \in \mathcal{F}\) that cross (intersect). A directed edge covers a biset ? if it goes from S to V S ⁺. We consider the problem of covering a crossing biset-family \(\mathcal{F}\) by a minimum-cost set of directed edges. While for intersecting \(\mathcal{F}\) , a standard primal-dual algorithm computes an optimal solution, the approximability of the case of crossing \(\mathcal{F}\) is not yet understood, as it includes several NP-hard problems, for which a poly-logarithmic approximation was discovered only recently or is not known. Let us say that a biset-family \(\mathcal{F}\) is k-regular if \(\hat X \cap \hat Y,\hat X \cup \hat Y \in \mathcal{F}\) for any \(\hat X,\hat Y \in \mathcal{F}\) with |V (X∪Y)≥k+1 that intersect. In this paper we obtain an O(log |V|)-approximation algorithm for arbitrary crossing \(\mathcal{F}\) if in addition both \(\mathcal{F}\) and the family of co-bisets of \(\mathcal{F}\) are k-regular, our ratios are: \(O\left( {\log \frac{{|V|}} {{|V| - k}}} \right) \) if |S ⁺ \ S| = k for all \(\hat S \in \mathcal{F}\) , and \(O\left( {\frac{{|V|}} {{|V| - k}}\log \frac{{|V|}} {{|V| - k}}} \right) \) if |S ⁺ \ S| = k for all \(\hat S \in \mathcal{F}\) . Using these generic algorithms, we derive for some network design problems the following approximation ratios: \(O\left( {\log k \cdot \log \tfrac{n} {{n - k}}} \right) \) for k-Connected Subgraph, and O(logk) \(\min \{ \tfrac{n} {{n - k}}\log \tfrac{n} {{n - k}},\log k\} \) for Subset k-Connected Subgraph when all edges with positive cost have their endnodes in the subset.     

Additivity of homological dimensions for a class of Banach algebras

Let Ω be a metrizable compact space. Suppose that its derived set of some finite order is empty. Let B be a unital Banach algebra, and let $\widehat \otimes $ stand for the projective tensor product. We prove the additivity formulas dg C(Ω)B $\widehat \otimes $ =dgB and db C(Ω) $\widehat \otimes $ B=dbC(Ω)+dbB for the global homological dimension and the homological bidimension. Thus these formulas are true for a new class of commutative Banach algebras in addition to those considered earlier by Selivanov.     

A study of saturated tensor cone for symmetrizable Kac–Moody algebras

Let \(\mathfrak {g}\) be a symmetrizable Kac-Moody Lie algebra with the standard Cartan subalgebra \(\mathfrak {h}\) and the Weyl group \(W\) . Let \(P_+\) be the set of dominant integral weights. For \(\lambda \in P_+\) , let \(L(\lambda )\) be the integrable, highest weight (irreducible) representation of \(\mathfrak {g}\) with highest weight \(\lambda \) . For a positive integer \(s\) , define the saturated tensor semigroup as $$\begin{aligned} \Gamma _s:= \{(\lambda _1, \dots , \lambda _s,\mu )\in P_+^{s+1}: \exists \, N\ge 1 \,\text {with}\,L(N\mu )\subset L(N\lambda _1)\otimes \dots \otimes L(N\lambda _s)\}. \end{aligned}$$ The aim of this paper is to begin a systematic study of \(\Gamma _s\) in the infinite dimensional symmetrizable Kac-Moody case. In this paper, we produce a set of necessary inequalities satisfied by \(\Gamma _s\) . These inequalities are indexed by products in \(H^*(G^{\mathrm{min }}/B; \mathbb {Z})\) for \(B\) the standard Borel subgroup, where \(G^{\mathrm{min }}\) is the ‘minimal’ Kac-Moody group with Lie algebra \(\mathfrak {g}\) . The proof relies on the Kac-Moody analogue of the Borel-Weil theorem and Geometric Invariant Theory (specifically the Hilbert-Mumford index). In the case that \(\mathfrak {g}\) is affine of rank 2, we show that these inequalities are necessary and sufficient. We further prove that any integer \(d>0\) is a saturation factor for \(A^{(1)}_1\) and 4 is a saturation factor for \(A^{(2)}_2\) .     

The type and stable type of the boundary of a Gromov hyperbolic group

Consider an ergodic non-singular action \(\Gamma \curvearrowright B\) of a countable group on a probability space. The type of this action codes the asymptotic range of the Radon–Nikodym derivative, also called the ratio set. If \(\Gamma \curvearrowright X\) is a pmp (probability-measure-preserving) action, then the ratio set of the product action \(\Gamma \curvearrowright B\times X\) is contained in the ratio set of \(\Gamma \curvearrowright B\) . So we define the stable ratio set of \(\Gamma \curvearrowright B\) to be the intersection over all pmp actions \(\Gamma \curvearrowright X\) of the ratio sets of \(\Gamma \curvearrowright B\times X\) . By analogy, there is a notion of stable type which codes the stable ratio set of \(\Gamma \curvearrowright B\) . This concept is crucially important for the identification of the limit in pointwise ergodic theorems established by the author and Amos Nevo. Here, we establish a general criteria for a nonsingular action of a countable group on a probability space to have stable type \(III_\lambda \) for some \(\lambda >0\) . This is applied to show that the action of a non-elementary Gromov hyperbolic group on its boundary with respect to a quasi-conformal measure is not type \(III_0\) and, if it is weakly mixing, then it is not stable type \(III_0\) .     

On Artin Algebras Arising from Morita Contexts

We study Morita rings \(\Lambda _{(\phi ,\psi )}=\left (\begin {array}{cc}A &_{A}N_{B} \\ _{B}M_{A} & B \end {array}\right )\) in the context of Artin algebras from various perspectives. First we study covariantly finite, contravariantly finite, and functorially finite subcategories of the module category of a Morita ring when the bimodule homomorphisms \(\phi \) and \(\psi \) are zero. Further we give bounds for the global dimension of a Morita ring \(\Lambda _{(0,0)}\) , as an Artin algebra, in terms of the global dimensions of A and B in the case when both \(\phi \) and \(\psi \) are zero. We illustrate our bounds with some examples. Finally we investigate when a Morita ring is a Gorenstein Artin algebra and then we determine all the Gorenstein-projective modules over the Morita ring \(\Lambda _{\phi ,\psi }\) in case \(A=N=M=B\) and A an Artin algebra.     

Representations of set-valued risk measures defined on the l-tensor product of Banach lattices

We obtain a representation for set-valued risk measures which are defined on the completed \(l\) -tensor product \(E\widetilde{\otimes }_l G\) of Banach lattices \(E\) and \(G\) . This representation extends known representations for set-valued risk measures defined on Bochner spaces \(L^p(\mathbb {P}, \mathbb {R}^d)\) of \(p\) -integrable functions with values in \(\mathbb {R}^d\) .     

Stably-interior points and the Semicontinuity of the Automorphism group

We present the new semicontinuity theorem for automorphism groups: If a sequence \(\{\Omega _j\}\) of bounded pseudoconvex domains in \(\mathbb C^2\) converges to \(\Omega _0\) in \({\mathcal C}^\infty \) -topology, where \(\Omega _0\) is a bounded pseudoconvex domain in \(\mathbb C^2\) with its boundary \({\mathcal C}^\infty \) and of the D’Angelo finite type and with \(\text {Aut}\,(\Omega _0)\) compact, then there is an integer \(N>0\) such that, for every \(j > N\) , there exists an injective Lie group homomorphism \(\psi _j:\text {Aut}\,(\Omega _j) \rightarrow \text {Aut}\,(\Omega _0)\) . The method of our proof of this theorem is new that it simplifies the proof of the earlier semicontinuity theorems for bounded strongly pseudoconvex domains.     

Power Majorization and Majorization of Sequences

Let \(\bar x\) , \(\bar y\ \in\ R_n\) be vectors which satisfy x₁ ≥ x₂ ≥ … ≥ x_n and y₁ ≥ y₂ >- … ≥ y_n and Σx_i = Σy_i. We say that \(\bar x\) is power majorized by \(\bar y\) if Σx_i ^p ≤ Σy_i ^p for all real p ? [0, 1] and Σx_i ^p ≥ Σy_i ^p for p ∈ [0, 1]. In this paper we give a classification of functions ? (which includes all possible positive polynomials) for which \(\bar\phi(\bar x) \leq \bar\phi(\bar y)\) (see definition below) when \(\bar x\) is power majorized \(\bar y\) . We also answer a question posed by Clausing by showing that there are vectors \(\bar x\) , \(\bar y\ \in\ R^n\) of any dimension n ≥ 4 for which there is a convex function ? such that \(\bar x\) is power majorized by \(\bar y\) and \(\bar\phi(\bar x)\ >\ \bar\phi(\bar y)\) .     

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

On the rank of incidence matrices in projective Hjelmslev spaces

Let \(R\) be a finite chain ring with \(|R|=q^m\) , \(R/{{\mathrm{Rad}}}R\cong \mathbb {F}_q\) , and let \(\Omega ={{\mathrm{PHG}}}({}_RR^n)\) . Let \(\tau =(\tau _1,\ldots ,\tau _n)\) be an integer sequence satisfying \(m=\tau _1\ge \tau _2\ge \cdots \ge \tau _n\ge 0\) . We consider the incidence matrix of all shape \(\varvec{m}^s=(\underbrace{m,\ldots ,m}_s)\) versus all shape \(\tau \) subspaces of \(\Omega \) with \(\varvec{m}^s\preceq \tau \preceq \varvec{m}^{n-s}\) . We prove that the rank of \(M_{\varvec{m}^s,\tau }(\Omega )\) over \(\mathbb {Q}\) is equal to the number of shape \(\varvec{m}^s\) subspaces. This is a partial analog of Kantor’s result about the rank of the incidence matrix of all \(s\) dimensional versus all \(t\) dimensional subspaces of \({{\mathrm{PG}}}(n,q)\) . We construct an example for shapes \(\sigma \) and \(\tau \) for which the rank of \(M_{\sigma ,\tau }(\Omega )\) is not maximal.     

Histograms for stationary linear random fields

Denote the integer lattice points in the \(N\) -dimensional Euclidean space by \(\mathbb {Z}^N\) and assume that \(X_\mathbf{n}\) , \(\mathbf{n} \in \mathbb {Z}^N\) is a linear random field. Sharp rates of convergence of histogram estimates of the marginal density of \(X_\mathbf{n}\) are obtained. Histograms can achieve optimal rates of convergence \(({\hat{\mathbf{n}}}^{-1} \log {\hat{\mathbf{n}}})^{1/3}\) where \({\hat{\mathbf{n}}}=n_1 \times \cdots \times n_N\) . The assumptions involved can easily be checked. Histograms appear to be very simple and good estimators from the point of view of uniform convergence.     

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

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

Symmetry and quasi-centrality of the operator space projective tensor product

For C*-algebras A and B, the operator space projective tensor product ${A\widehat{\otimes}B}$ and the Banach space projective tensor product ${A\otimes_{\gamma}B}$ are shown to be symmetric. We also show that ${A\widehat{\otimes}B}$ is a weakly Wiener algebra. Finally, quasi-centrality and the unitary group of ${A\widehat{\otimes}B}$ are discussed.     

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

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.     

Sur un problème de capitulation du corps ℚ\sqrt {p_1 p_2 } , i dont le 2-groupe de classes est élémentaire

Let p ₁ ≡ p ₂ ≡ 1 (mod 8) be primes such that \(\left( {\tfrac{{p_1 }} {{p_2 }}} \right) = - 1\) and \(\left( {\tfrac{2} {{a + b}}} \right) = - 1\) , where p ₁ p ₂ = a ²+b ². Let \(i = \sqrt { - 1} \) , d = p ₁ p ₂, \(\Bbbk = \mathbb{Q}(\sqrt {d,} i),\Bbbk _2^{(1)} \) be the Hilbert 2-class field and \(\Bbbk ^{(*)} = \mathbb{Q}(\sqrt {p_1 } ,\sqrt {p_2 } ,i)\) be the genus field of \(\Bbbk \) . The 2-part \(C_{\Bbbk ,2} \) of the class group of \(\Bbbk \) is of type (2, 2, 2), so \(\Bbbk _2^{(1)} \) contains seven unramified quadratic extensions \(\mathbb{K}_j /\Bbbk \) and seven unramified biquadratic extensions \(\mathbb{L}_j /\Bbbk \) . Our goal is to determine the fourteen extensions, the group \(C_{\Bbbk ,2} \) and to study the capitulation problem of the 2-classes of \(\Bbbk \) .     

On Sharp Aperture-Weighted Estimates for Square Functions

Let \(S_{\alpha ,\psi }(f)\) be the square function defined by means of the cone in \({\mathbb R}^{n+1}_{+}\) of aperture \(\alpha \) , and a standard kernel \(\psi \) . Let \([w]_{A_p}\) denote the \(A_p\) characteristic of the weight \(w\) . We show that for any \(1<p<\infty \) and \(\alpha \ge 1\) , $$\begin{aligned} \Vert S_{\alpha ,\psi }\Vert _{L^p(w)}\lesssim \alpha ^n[w]_{A_p}^{\max \left( \frac{1}{2},\frac{1}{p-1}\right) }. \end{aligned}$$ For each fixed \(\alpha \) the dependence on \([w]_{A_p}\) is sharp. Also, on all class \(A_p\) the result is sharp in \(\alpha \) . Previously this estimate was proved in the case \(\alpha =1\) using the intrinsic square function. However, that approach does not allow to get the above estimate with sharp dependence on \(\alpha \) . Hence we give a different proof suitable for all \(\alpha \ge 1\) and avoiding the notion of the intrinsic square function.