Projections of Patterson-Sullivan measures and the dichotomy of Mohammadi-Oh

Let Γ be some discrete subgroup of SO°(n + 1, R) with finite Bowen-Margulis-Sullivan measure. We study the dynamics of the Bowen-Margulis-Sullivan measure with respect to closed connected subspaces of the N component in some Iwasawa decomposition SO°(n+1, R) = KAN. We also study the dimension of projected Patterson-Sullivan measures along some fixed direction.     

Cartesian Closed Extensions of Subcategories of CONT

In this paper we give a uniform way of proving cartesian closedness for many new subcategories of continuous posets. We define C-P to be the category of continuous posets whose D–completions are isomorphic to objects from C, where C is a subcategory of the category CONT of domains. The main result is that if C is a cartesian closed full subcategory of ALG _⊥ or BC, then C-P is also a cartesian closed subcategory of the category CONTP of continuous posets and Scott continuous functions. In particular, we have the following cartesian closed categories : BC-P, LAT-P, aL-P, aBC-P, B-P, aLAT-P, ω -B-P, ω -aLAT-P, etc.     

Local nonglobal minima for solving large-scale extended trust-region subproblems

We study large-scale extended trust-region subproblems (eTRS) i.e., the minimization of a general quadratic function subject to a norm constraint, known as the trust-region subproblem (TRS) but with an additional linear inequality constraint. It is well known that strong duality holds for the TRS  and that there are efficient algorithms for solving large-scale TRS  problems. It is also known that there can exist at most one local non-global minimizer (LNGM) for TRS. We combine this with known characterizations for strong duality for eTRS  and, in particular, connect this with the so-called hard case for TRS. We begin with a recent characterization of the minimum for the TRS  via a generalized eigenvalue problem and extend this result to the LNGM. We then use this to derive an efficient algorithm that finds the global minimum for eTRS  by solving at most three generalized eigenvalue problems.     

Continuous wavelets on compact manifolds

Let M be a smooth compact oriented Riemannian manifold, and let Δ _M be the Laplace–Beltrami operator on M. Say \({0 \neq f \in \mathcal{S}(\mathbb {R}^+)}\) , and that f (0)  =  0. For t  >  0, let K _t (x, y) denote the kernel of f (t ² Δ _M ). We show that K _t is well-localized near the diagonal, in the sense that it satisfies estimates akin to those satisfied by the kernel of the convolution operator f (t ²Δ) on \({\mathbb {R}^n}\) . We define continuous \({\mathcal {S}}\)-wavelets on M, in such a manner that K _t (x, y) satisfies this definition, because of its localization near the diagonal. Continuous \({\mathcal {S}}\)-wavelets on M are analogous to continuous wavelets on \({\mathbb {R}^n}\) in \({\mathcal {S}}\) (\({\mathbb {R}^n}\)). In particular, we are able to characterize the Hölder continuous functions on M by the size of their continuous \({\mathcal {S}}\)-wavelet transforms, for Hölder exponents strictly between 0 and 1. If M is the torus \({\mathbb T^2}\) or the sphere S ², and f (s)  =  se ^?s (the “Mexican hat” situation), we obtain two explicit approximate formulas for K _t , one to be used when t is large, and one to be used when t is small.     

On the homotopy type of (<Emphasis Type="Italic">n</Emphasis>-1)-connected (3<Emphasis Type="Italic">n</Emphasis>+1)-dimensional free chain Lie algebra

Let R be a subring ring of Q. We reserve the symbol p for the least prime which is not a unit in R; if R ?Q, then p=∞. Denote by DGL _n ^np , n≥1, the category of (n-1)-connected np-dimensional differential graded free Lie algebras over R. In [1] D. Anick has shown that there is a reasonable concept of homotopy in the category DGL _n ^np . In this work we intend to answer the following two questions: Given an object (L(V), ?) in DGL _n ³ⁿ⁺² and denote by S(L(V), ?) the class of objects homotopy equivalent to (L(V), ?). How we can characterize a free dgl to belong to S(L(V), ?)? Fix an object (L(V), ?) in DGL _n ³ⁿ⁺² . How many homotopy equivalence classes of objects (L(W), δ) in DGL _n ³ⁿ⁺² such that H _* (W, d′)?H _* (V, d) are there? Note that DGL _n ³ⁿ⁺² is a subcategory of DGL _n ^np when p>3. Our tool to address this problem is the exact sequence of Whitehead associated with a free dgl.     

On Ramanujan sums over the Gaussian integers

This note deals with Ramanujan sums c _m (n) over the ring ?[i], in particular with asymptotics for sums of c _m (n) taken over both variables m, n.     

Holomorphic vector bundles on open subsets of Stein manifolds

LetM be a connected two-dimensional Stein manifold withH ²(M,Z)=0 andS∈M a discrete subset withS≠ Ø. SetX:=M/S. Fix an integerr≥2. Then there exists a rankr vector bundleE onX such that there is no line bundleL onX with a non-zero mapL →E.     

On the Compactness of the Hypercomplex Commutator in Hölder Continuous Functions Spaces

This paper is devoted to the compactness of the hypercomplex commutator S _γ M _a ? M _a S _γ, where S _γ is the Cauchy singular integral operator (in the Douglis sense), a is a Hölder continuous hypercomplex function and M _a is the multiplication operator given by M _a f = a f. We extend a known compactness sufficient condition for the commutator of the Cauchy singular integral operator to the frame of the hypercomplex analysis, where γ is merely required to be an arbitrary regular closed Jordan curve.     

Searching for a Best Least Absolute Deviations Solution of an Overdetermined System of Linear Equations Motivated by Searching for a Best Least Absolute Deviations Hyperplane on the Basis of Given Data

We consider the problem of searching for a best LAD-solution of an overdetermined system of linear equations Xa=z, X∈?^m×n, m≥n, \(\mathbf{a}\in \mathbb{R}^{n}, \mathbf {z}\in\mathbb{R}^{m}\). This problem is equivalent to the problem of determining a best LAD-hyperplane x?a ^T x, x∈? ⁿ on the basis of given data \((\mathbf{x}_{i},z_{i}), \mathbf{x}_{i}= (x_{1}^{(i)},\ldots,x_{n}^{(i)})^{T}\in \mathbb{R}^{n}, z_{i}\in\mathbb{R}, i=1,\ldots,m\), whereby the minimizing functional is of the form

$F(\mathbf{a})=\|\mathbf{z}-\mathbf{Xa}\|_1=\sum_{i=1}^m|z_i-\mathbf {a}^T\mathbf{x}_i|.$

An iterative procedure is constructed as a sequence of weighted median problems, which gives the solution in finitely many steps. A criterion of optimality follows from the fact that the minimizing functional F is convex, and therefore the point a ^?∈? ⁿ is the point of a global minimum of the functional F if and only if 0∈?F(a ^?).

Motivation for the construction of the algorithm was found in a geometrically visible algorithm for determining a best LAD-plane (x,y)?αx+βy, passing through the origin of the coordinate system, on the basis of the data (x _i ,y _i ,z _i ),i=1,…,m.     

Finiteness results for lattices in certain Lie groups

In this note we establish some general finiteness results concerning lattices Γ in connected Lie groups G which possess certain “density” properties (see Moskowitz, M., On the density theorems of Borel and Furstenberg, Ark. Mat. 16 (1978), 11–27, and Moskowitz, M., Some results on automorphisms of bounded displacement and bounded cocycles, Monatsh. Math. 85 (1978), 323–336). For such groups we show that Γ always has finite index in its normalizer N _G (Γ). We then investigate analogous questions for the automorphism group Aut(G) proving, under appropriate conditions, that Stab_Aut(G)(Γ) is discrete. Finally we show, under appropriate conditions, that the subgroup \(\tilde{\Gamma}=\{i_{\gamma}:\gamma \in \Gamma \},\ i_{\gamma}(x)=\gamma x\gamma^{-1}\), of Aut(G) has finite index in Stab_Aut(G)(Γ). We test the limits of our results with various examples and counterexamples.     

Calculation of Geometric Probabilities Using Covariogram of Convex Bodies

In the paper, a formula to calculate the probability that a random segment L(ω, u) in R ⁿ with a fixed direction u and length l lies entirely in the bounded convex body D ? R ⁿ (n ≥ 2) is obtained in terms of covariogram of the body D. For any dimension n ≥ 2, a relationship between the probability P(L(ω, u) ? D) and the orientation-dependent chord length distribution is also obtained. Using this formula, we obtain the explicit form of the probability P(L(ω, u) ? D) in the cases where D is an n-dimensional ball (n ≥ 2), or a regular triangle on the plane.     

Certain Subsets on Which Every Bounded Convex Function Is Continuous

To guarantee every real-valued convex function bounded above on a set is continuous, how ＂thick＂ should the set be？ For a symmetric set A in a Banach space E,the answer of this paper is： Every real-valued convex function bounded above on A is continuous on E if and only if the following two conditions hold： i） spanA has finite co-dimentions and ii） coA has nonempty relative interior. This paper also shows that a subset A C E satisfying every real-valued convex function bounded above on A is continuous on E if （and only if） every real-valued linear functional bounded above on A is continuous on E, which is also equivalent to that every real-valued convex function bounded on A is continuous on E.     

Random process in a homogeneous Gaussian field

We consider a random process in a spatial-temporal homogeneous Gaussian field V (q , t) with the mean E V = 0 and the correlation function W(|q ? q′|, |t ? t′|) ≡ E[V (q, t)V (q′, t′)], where \( \bold{q} \in {\mathbb{R}^d} \), \( t \in {\mathbb{R}^{+} } \), and d is the dimension of the Euclidean space \( {\mathbb{R}^d} \). For a “density” G(r, t) of the familiar model of a physical system averaged over all realizations of the random field V, we establish an integral equation that has the form of the Dyson equation. The invariance of the equation under the continuous renormalization group allows using the renormalization group method to find an asymptotic expression for G(r, t) as r → ∞ and t → ∞.     

Integral points on quadrics with prime coordinates

Let f (x ₁, . . . , x _s ) be a regular indefinite integral quadratic form, and t an integer. Denote by V the affine quadric {x : f (x) = t}, and by \({V(\mathbb {P})}\) the set of \({{\bf x}\in V}\) whose coordinates are simultaneously prime. It is proved that, under suitable conditions, \({V(\mathbb{P})}\) is Zariski dense in V as long as s ≥ 10.     

Geometric Realizations of Lusztig’s Symmetries of Symmetrizable Quantum Groups

Let U be the quantum group and f be the Lusztig’s algebra associated with a symmetrizable generalized Cartan matrix. The algebra f can be viewed as the positive part of U. Lusztig introduced some symmetries T _i on U for all i ∈ I. Since T _i (f) is not contained in f, Lusztig considered two subalgebras _i f and ⁱ f of f for any i ∈ I, where _i f={x ∈ f | T _i (x) ∈ f} and \({^{i}\mathbf {f}}=\{x\in \mathbf {f}\,\,|\,\,T^{-1}_{i}(x)\in \mathbf {f}\}\). The restriction of T _i on _i f is also denoted by \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\). The geometric realization of f and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig’s symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of _i f, ⁱ f and \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\) by using the language ’quiver with automorphism’ introduced by Lusztig.     

Some matrix functional equations

We investigate the pair of matrix functional equations G(x)F(y) = G(xy) and G(x)G(y) = F(y/x), featuring the two independent scalar variables x and y and the two N×N matrices F(z) andG(z) (with N an arbitrary positive integer and the elements of these two matrices functions of the scalar variable z). We focus on the simplest class of solutions, i.e., on matrices all of whose elements are analytic functions of the independent variable. While in the scalar (N = 1) case this pair of functional equations only possess altogether trivial constant solutions, in the matrix (N > 1) case there are nontrivial solutions. These solutions satisfy the additional pair of functional equations F(x)G(y) = G(y/x) andF(x)F(y) = F(xy), and an endless hierarchy of other functional equations featuring more than two independent variables.     

A Bernstein property of solutions to a class of prescribed affine mean curvature equations

Let \(x: M \rightarrow A^{n+1}\) be a locally strongly convex hypersurface, given as the graph of a locally strongly convex function x _n+1 = z(x ₁, ..., x _n ). In this paper we prove a Bernstein property for hypersurfaces which are complete with respect to the metric \(G^{\sharp} = \sum \left( \frac{\partial^{2}z}{\partial x_{i} \partial x_{j}} \right) dx_{i} dx_{j}\) and which satisfy a certain Monge–Ampère type equation. This generalises in some sense the earlier result of Li and Jia for affine maximal hypersurfaces of dimension n = 2 and n = 3 (Li, A.-M., Jia, F.: A Bernstein property of affine maximal hypersurfaces. Ann. Glob. Anal. Geom. 23, 359–372 (2003)), related results (Li, A.-M., Jia, F.: Locally strongly convex hypersurfaces with constant affine mean curvature. Diff. Geom. Appl. 22(2), 199–214 (2005)) and results for n = 2 of Trudinger and Wang (Trudinger, N.S., Wang, X.-J.: Bernstein-Jörgens theorem for a fourth order partial differential equation. J. Partial Diff. Equ. 15(2), 78–88 (2002)).     

Simplex—Karyon Algorithm of Multidimensional Continued Fraction Expansion

A simplex–karyon algorithm for expanding real numbers α = (α₁,..., α _d ) in multidimensional continued fractions is considered. The algorithm is based on a (d + 1)-dimensional superspace S with embedded hyperplanes: a karyon hyperplane K and a Farey hyperplane F. The approximation of numbers α by continued fractions is performed on the hyperplane F, and the degree of approximation is controlled on the hyperplane K. A local ?(r)-strategy for constructing convergents is chosen, with a free objective function ?(r) on the hyperplane K.     

Curvature inequalities for operators of the Cowen–Douglas class

Let T be an operator tuple in the Cowen–Douglas class B _n (Ω) for Ω ? C ^m . The kernels Ker(T ? w) ^l , for w ∈ Ω, l = 1, 2, ···, define Hermitian vector bundles E _T ^l over Ω. We prove certain negativity of the curvature of E _T ^l . We also study the relation between certain curvature inequality and the contractive property of T when Ω is a planar domain.     

Truncation error estimates for generalized Hermite sampling

The generalized Hermite sampling uses samples from the function itself and its derivatives up to order r. In this paper, we investigate truncation error estimates for the generalized Hermite sampling series on a complex domain for functions from Bernstein space. We will extend some known techniques to derive those estimates and the bounds of Jagerman (SIAM J. Appl. Math. 14, 714–723 1966), Li (J. Approx. Theory 93, 100–113 1998), Annaby-Asharabi (J. Korean Math. Soc. 47, 1299–1316 2010), and Ye and Song (Appl. Math. J. Chinese Univ. 27, 412–418 2012) will be special cases for our results. Some examples with tables and figures are given at the end of the paper.