Decomposition Techniques for Bilinear Saddle Point Problems and Variational Inequalities with Affine Monotone Operators

The majority of first-order methods for large-scale convex–concave saddle point problems and variational inequalities with monotone operators are proximal algorithms. To make such an algorithm practical, the problem’s domain should be proximal-friendly—admit a strongly convex function with easy to minimize linear perturbations. As a by-product, this domain admits a computationally cheap linear minimization oracle (LMO) capable to minimize linear forms. There are, however, important situations where a cheap LMO indeed is available, but the problem domain is not proximal-friendly, which motivates search for algorithms based solely on LMO. For smooth convex minimization, there exists a classical algorithm using LMO—conditional gradient. In contrast, known to us similar techniques for other problems with convex structure (nonsmooth convex minimization, convex–concave saddle point problems, even as simple as bilinear ones, and variational inequalities with monotone operators, even as simple as affine) are quite recent and utilize common approach based on Fenchel-type representations of the associated objectives/vector fields. The goal of this paper was to develop alternative (and seemingly much simpler) decomposition techniques based on LMO for bilinear saddle point problems and for variational inequalities with affine monotone operators.     

The Arc Distortion in QH Inner ψ-uniform （or Convex） Domains in Real Banach Spaces

Let D and D′ be domains in real Banach spaces of dimension at least 2. The main aim of this paper is to study certain arc distortion properties in the quasihyperbolic metric defined in real Banach spaces. In particular, when D′ is a QH inner ψ-uniform domain with ψ being a slow (or a convex domain), we investigate the following: For positive constants c,h,C,M, suppose a homeomorphism f: D → D′ takes each of the 10-neargeodesics in D to (c, h)-solid in D′. Then f is C-coarsely M-Lipschitz in the quasihyperbolic metric. These are generalizations of the corresponding result obtained recently by Väisälä.     

To the Spectral Theory of One-Dimensional Matrix Dirac Operators with Point Matrix Interactions

We investigate one-dimensional (2p × 2p)-matrix Dirac operators D_X,α and D_X,β with point matrix interactions on a discrete set X. Several results of [4] are generalized to the case of (p × p)-matrix interactions with p > 1. It is shown that a number of properties of the operators D_X,α and D_X,β (self-adjointness, discreteness of the spectrum, etc.) are identical to the corresponding properties of some Jacobi matrices B_X,α and B_X,β with (p × p)-matrix entries. The relationship found is used to describe these properties as well as conditions of continuity and absolute continuity of the spectra of the operators D_X,α and D_X,β. Also the non-relativistic limit at the velocity of light c → ∞ is studied.     

Normal families of meromorphic functions and shared functions

The paper is devoted to the normal families of meromorphic functions and shared functions. Generalizing a result of Chang (2013), we prove the following theorem. Let h (≠≡ 0,∞) be a meromorphic function on a domain D and let k be a positive integer. Let F be a family of meromorphic functions on D, all of whose zeros have multiplicity at least k + 2, such that for each pair of functions f and g from F, f and g share the value 0, and f^(k) and g^(k) share the function h. If for every f ∈ F, at each common zero of f and h the multiplicities m_f for f and m_h for h satisfy m_f ≥ m_h + k + 1 for k > 1 and m_f ≥ 2m_h + 3 for k = 1, and at each common pole of f and h, the multiplicities nf for f and nh for h satisfy n_f ≥ n_h + 1, then the family F is normal on D.     

Sturm–Liouville problems in weighted spaces in domains with nonsmooth edges. I

We consider (in general noncoercive) mixed problems in a bounded domain D in ? ⁿ for a second-order elliptic partial differential operator A(x, ?). It is assumed that the operator is written in divergent form in D, the boundary operator B(x, ?) is the restriction of a linear combination of the function and its derivatives to ?D and the boundary of D is a Lipschitz surface. We separate a closed set Y ? ?D and control the growth of solutions near Y. We prove that the pair (A,B) induces a Fredholm operator L in suitable weighted spaces of Sobolev type, where the weight is a power of the distance to the singular set Y. Finally, we prove the completeness of the root functions associated with L.The article consists of two parts. The first part published in the present paper, is devoted to exposing the theory of the special weighted Sobolev–Slobodetskii? spaces in Lipschitz domains. We obtain theorems on the properties of these spaces; namely, theorems on the interpolation of these spaces, embedding theorems, and theorems about traces. We also study the properties of the weighted spaces defined by some (in general) noncoercive forms.     

Rings of h-deformed differential operators

We describe the center of the ring Diff _h (n) of h-deformed differential operators of type A. We establish an isomorphism between certain localizations of Diff _h (n) and the Weyl algebra W _n , extended by n indeterminates.     

Graphs with small diameter determined by their <Emphasis Type="Italic">D</Emphasis>-spectra

Let G be a connected graph with vertex set V(G) = {v₁, v₂,..., v _n }. The distance matrix D(G) = (d _ij )_n×n is the matrix indexed by the vertices of G, where d _ij denotes the distance between the vertices v _i and v _j . Suppose that λ₁(D) ≥ λ₂(D) ≥... ≥ λ _n (D) are the distance spectrum of G. The graph G is said to be determined by its D-spectrum if with respect to the distance matrix D(G), any graph having the same spectrum as G is isomorphic to G. We give the distance characteristic polynomial of some graphs with small diameter, and also prove that these graphs are determined by their D-spectra.     

Counting Carambolas

We give upper and lower bounds on the maximum and minimum number of geometric configurations of various kinds present (as subgraphs) in a triangulation of n points in the plane. Configurations of interest include convex polygons, star-shaped polygons and monotone paths. We also consider related problems for directed planar straight-line graphs.     

Mappings connected with the gradient of conformal radius

In this paper we prove the following conformity criterion for the gradient of conformal radius ?R(D, z) of a convex domain D: the boundary ?D has to be a circumference. We calculate coefficients K(r) for K(r)-quasiconformal mappings ?R(D(r), z), D(r) ? D, 0 < r < 1, and complete the results obtained by F. G. Avkhadiev and K.-J. Wirths for the structure of boundary elements of quasiconformal mappings of the domain D.     

Inertial proximal algorithm for difference of two maximal monotone operators

In this note, a new algorithm is presented for finding a zero of difference of two maximal monotone operators T and S, i.e., T — S in finite dimensional real Hilbert space H in which operator S has local boundedness property. This condition is weaker than Moudafi’s condition on operator S in [13]. Moreover, applying some conditions on inertia term in new algorithm, one can improve speed of convergence of sequence.     

Sturm–Liouville problems in weighted spaces in domains with non-smooth edges. II

We consider a (generally, noncoercive) mixed boundary value problem in a bounded domain D of Rⁿ for a second order elliptic differential operator A(x, ?). The differential operator is assumed to be of divergent form in D and the boundary operator B(x, ?) is of Robin type on ?D. The boundary of D is assumed to be a Lipschitz surface. Besides, we distinguish a closed subset Y ? ?D and control the growth of solutions near Y. We prove that the pair (A, B) induces a Fredholm operator L in suitable weighted spaces of Sobolev type, the weight function being a power of the distance to the singular set Y. Moreover, we prove the completeness of root functions related to L.     

Harmonic functions of linear growth on solvable groups

We answer a question posed by Bonilla and Grosse-Erdmann by showing that the operators P(D) on the space of entire functions H(C), where D is the differentiation operator and P is a polynomial, do not possess a frequently hypercyclic subspace.     

Sums of sets of lattice points and unimodular coverings of polytopes

If P is a lattice polytope (that is, the convex hull of a finite set of lattice points in \({\mathbf{R}^n}\)), then every sum of h lattice points in P is a lattice point in the h-fold sumset hP. However, a lattice point in the h-fold sumset hP is not necessarily the sum of h lattice points in P. It is proved that if the polytope P is a union of unimodular simplices, then every lattice point in the h-fold sumset hP is the sum of h lattice points in P.     

Embeddings of quotient division algebras of rings of differential operators

Let k be an algebraically closed field of characteristic zero, let X and Y be smooth irreducible algebraic curves over k, and let D(X) and D(Y) denote respectively the quotient division rings of the ring of differential operators of X and Y. We show that if there is a k-algebra embedding of D(X) into D(Y), then the genus of X must be less than or equal to the genus of Y, answering a question of the first-named author and Smoktunowicz.     

On a Sufficient Condition for Equality of Two Maximal Monotone Operators

We establish minimal conditions under which two maximal monotone operators coincide. Our first result is inspired by an analogous result for subdifferentials of convex functions. In particular, we prove that two maximal monotone operators T,S which share the same convex-like domain D coincide whenever $T(x)\cap S(x)\not=\emptyset $ for every x?∈?D. We extend our result to the setting of enlargements of maximal monotone operators. More precisely, we prove that two operators coincide as long as the enlargements have nonempty intersection at each point of their common domain, assumed to be open. We then use this to obtain new facts for convex functions: we show that the difference of two proper lower semicontinuous and convex functions whose subdifferentials have a common open domain is constant if and only if their ε-subdifferentials intersect at every point of that domain.     

Loewner matrices and operator convexity

Let f be a function from \({\mathbb{R}_{+}}\) into itself. A classic theorem of K. Löwner says that f is operator monotone if and only if all matrices of the form \({\left [\frac{f(p_i) - f(p_j)}{p_i-p_j}\right ]_{\vphantom {X_{X_1}}}}\) are positive semidefinite. We show that f is operator convex if and only if all such matrices are conditionally negative definite and that f (t) = t g(t) for some operator convex function g if and only if these matrices are conditionally positive definite. Elementary proofs are given for the most interesting special cases f (t) = t ^r , and f (t) = t log t. Several consequences are derived.     

Inner derivations of simple Lie pencils of rank 1

We prove that simple Lie pencils of rank 1 over an algebraically closed field P of characteristic 0 with operators of left multiplication being derivations are of the form of a sandwich algebra M ₃(U,D′), where U is the subspace of all skew-symmetric matrices in M ₃(P) and D′ is any subspace containing 〈E〉 in the space of all diagonal matrices D in M ₃(P).     

Commuting dual Toeplitz operators on the harmonic Dirichlet space

In this paper,we characterize the symbols for(semi-)commuting dual Toeplitz operators on the orthogonal complement of the harmonic Dirichlet space.We show that for φ,ψ∈W~(1,∞),S_φS_ψ=S_ψ Sφ on(D_h)~⊥ if and only if φ and ψ satisfy one of the following conditions:(1) Both φ and ψ are harmonic functions;(2) There exist complex constants α and β,not both 0,such that φ=αψ +β.     

On the existence of strips inside domains convex in one direction

A plane domain Ω is convex in the positive direction if for every ω ∈ Ω, the entire half-line {ω + t: t ≥ 0} is contained in Ω. Suppose that h maps the unit disk onto such a domain Ω with the normalization h(0) = 0 and lim_t→∞h^?1(h(z) + t) = 1. We show that if ∠lim_z→?1 Re h(z) = ?∞ and ∠lim_z→?1(1 + z)h′(z) = ν ∈ (0, +∞), then Ω contains a maximal horizontal strip of width πν. We also prove a converse statement. These results provide a solution to a problem posed by Elin and Shoikhet in connection with semigroups of holomorphic functions.     

Holomorphic Minorants of Plurisubharmonic Functions

Let φ be a plurisubharmonic function on a pseudoconvex domain D in an n-dimensional complex space. We show that there exists a nonzero holomorphic function f on D such that some local mean value of φ with logarithmic additional terms majorizes log|f|. A similar problem is discussed for a locally integrable function on D in terms of balayage of positive measures.