Some explicit solutions of the additive Deligne-Simpson problem and their applications

In this paper we construct three infinite series and two extra triples (E₈ and ) of complex matrices B, C, and A=B+C of special spectral types associated to Simpson's classification in Amer. Math. Soc. Proc. 1 (1992) 157 and Magyar et al. classification in Adv. Math. 141 (1999) 97. This enables us to construct Fuchsian systems of differential equations which generalize the hypergeometric equation of Gauss-Riemann. In a sense, they are the closest relatives of the famous equation, because their triples of spectral flags have finitely many orbits for the diagonal action of the general linear group in the space of solutions. In all the cases except for E₈, we also explicitly construct scalar products such that A, B, and C are self-adjoint with respect to them. In the context of Fuchsian systems, these scalar products become monodromy invariant complex symmetric bilinear forms in the spaces of solutions.When the eigenvalues of A, B, and C are real, the matrices and the scalar products become real as well. We find inequalities on the eigenvalues of A, B, and C which make the scalar products positive-definite.As proved by Klyachko, spectra of three hermitian (or real symmetric) matrices B, C, and A=B+C form a polyhedral convex cone in the space of triple spectra. He also gave a recursive algorithm to generate inequalities describing the cone. The inequalities we obtain describe non-recursively some faces of the Klyachko cone.     

The distance trisector curve

Given points p and q in the plane, we are interested in separating them by two curves C₁ and C₂ such that every point of C₁ has equal distance to p and to C₂, and every point of C₂ has equal distance to C₁ and to q. We show by elementary geometric means that such C₁ and C₂ exist and are unique. Moreover, for p=(0,1) and q=(0,−1), C₁ is the graph of a function , C₂ is the graph of −f, and f is convex and analytic (i.e., given by a convergent power series at a neighborhood of every point). We conjecture that f is not expressible by elementary functions and, in particular, not algebraic. We provide an algorithm that, given x∈R and ε>0, computes an approximation to f(x) with error at most ε in time polynomial in . The separation of two points by two “trisector” curves considered here is a special (two-point) case of a new kind of Voronoi diagram, which we call the zone diagram and which we investigate in a companion paper.     

Orbifolds and groupoids

We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper étale effective groupoid objects over the complex manifolds. Both on (Pre-Orb) and (Grp) there are natural equivalence relations on objects: (a natural extension of) equivalence of orbifold atlases on (Pre-Orb) and Morita equivalence in (Grp). We prove that F induces a bijection between the equivalence classes of its source and target.     

Dynamics of composite functions meromorphic outside a small set

Let M denote the class of functions f meromorphic outside some compact totally disconnected set E=E(f) and the cluster set of f at any a∈E with respect to is equal to . It is known that class M is closed under composition. Let f and g be two functions in class M, we study relationship between dynamics of f○g and g○f. Denote by F(f) and J(f) the Fatou and Julia sets of f. Let U be a component of F(f○g) and V be a component of F(g○f) which contains g(U). We show that under certain conditions U is a wandering domain if and only if V is a wandering domain; if U is periodic, then so is V and moreover, V is of the same type according to the classification of periodic components as U unless U is a Siegel disk or Herman ring.     

The Zygmund Morse-Sard Theorem

The classical Morse-Sard Theorem says that the set of critical values off:R ^n+k →R ⁿ has Lebesgue measure zero iff ∈C ^k+1. We show theC ^k+1 smoothness requirement can be weakened toC ^k+Zygmund. This is corollary to the following theorem: For integersn >m >r > 0, lets = (n ?r)/(m ?r); iff:R ⁿ →R ^m belongs to the Lipschitz class Λ _s andE is a set of rankr forf, thenf(E) has measure zero.     

Two, more readily computable equivariant Nielsen numbers I. Nielsen theory for M-ads

In this, the first of two papers outlining a Nielsen theory for “two, more readily computable equivariant numbers”, we define and study two Nielsen type numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), where f and k are M-ad maps. While a Nielsen theory of M-ads is of interest in its own right, our main motivation lies in the fact that maps of M-ads accurately mirror one of two fundamental structures of equivariant maps. Being simpler however, M-ad Nielsen numbers are easier to study and to compute than equivariant Nielsen numbers. In the sequel, we show our M-ad numbers can be used to form both upper and lower bounds on their equivariant counterparts.The numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), generalize the generalizations to coincidences, of Zhao's Nielsen number on the complement N(f;X−A), respectively Schirmer's relative Nielsen number N(f;X,A). Our generalizations are from the category of pairs, to the category of M-ads. The new numbers are lower bounds for the number of coincidence points of all maps f^′ and k^′ which are homotopic as maps ofM-ads to f, respectively k firstly on the complement of the union of the subspaces Xν in the domain M-ad X, and secondly on all of X. The second number is shown to be greater than or equal to a sum of the first of our numbers. Conditions are given which allow for both equality, and Möbius inversion. Finally we show that the fixed point case of our second number generalizes Schirmer's triad Nielsen number N(f;X₁∪X₂).Our work is very different from what at first sight appears to be similar partial results due to P. Wong. The differences, while in some sense subtle in terms of definition, are profound in terms of commutability. In order to work in a variety of both fixed point and coincidence points contexts, we introduce in this first paper and extend in the second, the concept of an essentiality on a topological category. This allows us to give computational theorems within this diversity. Finally we include an introduction to both papers here.     

On a Problem of Hasse for Certain Imaginary Abelian Fields

Let K be the composite field of an imaginary quadratic field Q(ω) of conductor d and a real abelian field L of conductor f distinct from the rationals Q, where (d,f)=1. Let Z_K be the ring of integers in K. Then concerning to Hasse's problem we construct new families of infinitely many fields K with the non-monogenic phenomena (1), (2) which supplement (J. Number Theory23 (1986), 347-353; Publ. Math. Fac. Sci Besançon, Theor. Nombres (1984) 25pp) and with monogenic (3).     

A full row-rank system matrix generated by the strip-based projection model in discrete tomography

Let Cu = k be an underdetermined linear system generated by the strip-based projection model in discrete tomography, where C is row-rank deficient. In the case of one scanning direction the linear dependency of the rows of C is studied in this paper. An index set H is specified such that if all rows of C with row indices in H are deleted then the rows of resultant matrix F are maximum linearly independent rows of C. Therefore, the corresponding system is equivalent to Cu = k and consequently, the cost of an image reconstruction from is reduced.     

On the condensation points of the lagrange spectrum

For a positive integerN, L(N) denotes the set of Lagrange values of all sequences (a _k:k=0, ±1, ±2,…) of positive integers with lim sup _k ^ak=N. It is shown that for anyN≥3L(N) has infinitely many condensation points. Such points can be realized as Markov values of symmetric doubly periodic sequences whose period consists of a semi-symmetric tuple.     

Quasisymmetrically minimal uniform Cantor sets

The uniform Cantor set E(n,c) of Hausdorff dimension 1, defined by a bounded sequence n of positive integers and a gap sequence c, is shown to be minimal for 1-dimensional quasisymmetric maps.     

Injectivity and sections

We investigate injectivity in a comma-category C/B using the notion of the “object of sections” S(f) of a given morphism f:X→B in C. We first obtain that f:X→B is injective in C/B if and only if the morphism 〈1_X,f〉:X→X×B is a section in C/B and the object S(f) of sections of f is injective in C. Using this approach, we study injective objects f with respect to the class of embeddings in the categories ContL/B (AlgL/B) of continuous (algebraic) lattices over B. As a result, we obtain both topological (every fiber of f has maximum and minimum elements and f is open and closed) and algebraic (f is a complete lattice homomorphism) characterizations.     

The p-torsion subgroup scheme of an elliptic curve

Let k be a field of positive characteristic p.

Question. Does every twisted form of μp over k occur as subgroup scheme of an elliptic curve over k?     

Laudal-type theorems in P

In this paper we classify all integral, non-degenerate, locally Cohen-Macaulay subvarieties in P^N, whose general complementary section is a complete intersection set of points: they are either complete intersections or curves on a quadric surface in P³ or degree 4 arithmetically Buchsbaum surfaces in P⁴ (i.e. the Veronese surface or a degeneration of it). As a consequence we show that every locally Cohen-Macaulay threefold in P^S of degree 4 is a complete intersection.Moreover, we obtain a generalization of Laudal's Lemma to threefolds in P⁵ and fourfolds in P⁶, which gives a bound on the degree of a codimension 2, integral subvariety X in P^N, depending both on N and a non-lifting level s of X.     

Normal families and value distribution in connection with composite functions

We prove a value distribution result which has several interesting corollaries. Let k∈N, let α∈C and let f be a transcendental entire function with order less than 1/2. Then for every nonconstant entire function g, we have that (f○g)^(k)−α has infinitely many zeros. This result also holds when k=1, for every transcendental entire function g. We also prove the following result for normal families. Let k∈N, let f be a transcendental entire function with ρ(f)<1/k, and let a₀,…,ak−1,a be analytic functions in a domain Ω. Then the family of analytic functions g such that

     

On the uniqueness of overcomplete dictionaries, and a practical way to retrieve them

A full-rank under-determined linear system of equations Ax = b has in general infinitely many possible solutions. In recent years there is a growing interest in the sparsest solution of this equation—the one with the fewest non-zero entries, measured by ∥x∥₀. Such solutions find applications in signal and image processing, where the topic is typically referred to as “sparse representation”. Considering the columns of A as atoms of a dictionary, it is assumed that a given signal b is a linear composition of few such atoms. Recent work established that if the desired solution x is sparse enough, uniqueness of such a result is guaranteed. Also, pursuit algorithms, approximation solvers for the above problem, are guaranteed to succeed in finding this solution.Armed with these recent results, the problem can be reversed, and formed as an implied matrix factorization problem: Given a set of vectors {b_i}, known to emerge from such sparse constructions, Ax_i = b_i, with sufficiently sparse representations x_i, we seek the matrix A. In this paper we present both theoretical and algorithmic studies of this problem. We establish the uniqueness of the dictionary A, depending on the quantity and nature of the set {b_i}, and the sparsity of {x_i}. We also describe a recently developed algorithm, the K-SVD, that practically find the matrix A, in a manner similar to the K-Means algorithm. Finally, we demonstrate this algorithm on several stylized applications in image processing.     

The size of sums of sets,II

We prove inequalities which give lower bounds for the Lebesgue measures of setsE +K whereK is a certain kind of Cantor set. For example, ifC is the Cantor middle-thirds subset of the circle groupT, then $$m(E)^{1 - log2/log3} \leqq m(E + C)$$ for every BorelE ?T.     

Symmetric quasi-norms of sums of independent random variables in symmetric function spaces with the Kruglov property

Let X be a symmetric Banach function space on [0, 1] and let E be a symmetric (quasi)-Banach sequence space. Let f = {f _k } _k=1 ⁿ , n ≥ 1 be an arbitrary sequence of independent random variables in X and let {e _k } _k=1 ^∞ ? E be the standard unit vector sequence in E. This paper presents a deterministic characterization of the quantity

$||||\sum\limits_{k = 1}^n {{f_k}{e_k}|{|_E}|{|_X}} $

in terms of the sum of disjoint copies of individual terms of f. We acknowledge key contributions by previous authors in detail in the introduction, however our approach is based on the important recent advances in the study of the Kruglov property of symmetric spaces made earlier by the authors. Authors acknowledge support from the ARC.

     

The near-ring of congruence-preserving functions on an expanded group

Let V be a finite expanded group, e.g., a ring or a group. We investigate the near-ring 〈C₀(V);+,°〉 of zero-preserving congruence-preserving functions on V. We obtain some information on the structure of 〈C₀(V);+,°〉 from the lattice of ideals of V: for example, the number of maximal ideals of 〈C₀(V);+,°〉 is completely determined by the isomorphism class of the ideal lattice of V.     

The main invariants of a complex finsler space

In this paper we extend the results obtained in [3], where are investigated the general settings of the two-dimensional complex Finsler manifolds, with respect to a local complex Berwald frame. The geometry of such manifolds is controlled by three real invariants which live on T'M: two horizontal curvature invariants K and W and one vertical curvature invariant I. By means of these invariants are defined both the horizontal and the vertical holomorphic sectional curvatures. The complex Landsberg and Berwald spaces are of particular interest. Complex Berwald spaces coincide with Kähler spaces, in the two – dimensional case. We establish the necessary and sufficient condition under which K is a constant and we obtain a characterization for the Kähler purely Hermitian spaces by the fact K = W = constant and I = 0. For the class of complex Berwald spaces we have K = W = 0. Finally, a classification of two-dimensional complex Finsler spaces for which the horizontal curvature satisfies a special property is obtained.