n-Simple theories

The main topic of this paper is the investigation of generalized amalgamation properties for simple theories. That is, we are trying to answer the question of when a simple theory has the property of n-dimensional amalgamation, where two-dimensional amalgamation is the Independence Theorem for simple theories. We develop the notions of strong n-simplicity and n-simplicity for 1≤n≤ω, where both “1-simple” and “strongly 1-simple” are the same as “simple”. For strong n-simplicity, we present examples of simple unstable theories in each subclass and prove a characteristic property of strong n-simplicity in terms of strong n-dividing, a strengthening of the dependence relation called dividing in simple theories. We prove a strong three-dimensional amalgamation property for strongly 2-simple theories, and, under an additional assumption, a strong (n+1)-dimensional amalgamation property for strongly n-simple theories. In the last section of the paper we comment on why strong n-simplicity is called strong.     

Flows on graphs applied to diagonal similarity and diagonal equivalence for matrices

Three equivalence relations are considered on the set of n × n matrices with elements in F₀, an abelian group with absorbing zero adjoined. They are the relations of diagonal similarity, diagonal equivalence, and restricted diagonal equivalence. These relations are usually considered for matrices with elements in a field. But only multiplication is involved. Thus our formulation in terms of an abelian group with o is natural. Moreover, if F is chosen to be an additive group, diagonal similarity is characterized in terms of flows on the pattern graph of the matrices and diagonal equivalence in terms of flows on the bipartie graph of the matrices. For restricted diagonal equivalence a pseudo-diagonal of the graph must also be considered. When no pseudo-diagonal is present, the divisibility properties of the group F play a role. We show that the three relations are characterized by cyclic, polygonal, and pseudo-diagonal products for multiplicative F. Thus, our method of reducing propositions concerning the three equivalence relations to propositions concerning flows on graphs, provides a unified approach to problems previously considered independently, and yields some n, w or improved results. Our consideration of cycles rather than circuits eliminates certain restrictions (e.g., the complete reducibility of the matrices) which have previously been imposed. Our results extend theorems in Engel and Schneider [5], where however the group F is permitted to be non-commutative.     

McKay quivers and absolute n-complete algebras

In this paper, we show that the McKay quiver of a finite subgroup of a general linear group is a regular covering of the McKay quiver of its intersection with the special linear group. Using this and our results on “returning arrows” in McKay quiver, we give an algorithm to construct the McKay quiver of a finite abelian group. Using this construction, we show how the cone and cylinder of an (n?1)-Auslander absolute n-complete algebra are truncated from the McKay quivers of abelian groups.     

Cartan Subalgebras in C*-Algebras of Haus dorff étale Groupoids

The reduced C*-algebra of the interior of the isotropy in any Hausdorff étale groupoid G embeds as a C*-subalgebra M of the reduced C*-algebra of G. We prove that the set of pure states of M with unique extension is dense, and deduce that any representation of the reduced C*-algebra of G that is injective on M is faithful. We prove that there is a conditional expectation from the reduced C*-algebra of G onto M if and only if the interior of the isotropy in G is closed. Using this, we prove that when the interior of the isotropy is abelian and closed, M is a Cartan subalgebra. We prove that for a large class of groupoids G with abelian isotropy—including all Deaconu–Renault groupoids associated to discrete abelian groups—M is a maximal abelian subalgebra. In the specific case of k-graph groupoids, we deduce that M is always maximal abelian, but show by example that it is not always Cartan.     

On some nonlinear evolution equations with strong dissipation,III

In this paper we continue the existence theories of classical solutions of nonlinear evolution equations with strong dissipation studied in previous papers [5, 6], where we proved the existence of global classical solutions with small data applying small energy techniques. This time, we prove the existence of a set of initial values which guarantees the solution to be global. We know the set is not bounded in the escalated energy spaces (Sobolev spaces). For the purpose, we establish approximate equations with another dissipative term which give a devised penalty to the solutions and lead the solutions to be bounded for all t > 0. Therefore we give an improvement to existence theories of equations describing a local statement of balance of momentum for materials for which the stress is related to strain and strain rate. These have been studied by many authors (cf. Greenberg et al. 19], Greenberg [10], Davis [3], Clements [2], Andrews [1], Yamada [12], Webb [13], etc.).     

Some constructions of linearly optimal group codes

We continue here the research on (quasi)group codes over (quasi)group rings. We give some constructions of [n,n-3,3]_q-codes over F_q for n=2q and n=3q. These codes are linearly optimal, i.e. have maximal dimension among linear codes having a given length and distance. Although codes with such parameters are known, our main results state that we can construct such codes as (left) group codes. In the paper we use a construction of Reed-Solomon codes as ideals of the group ring F_qG where G is an elementary abelian group of order q.     

Permutohedra and minimal matrices

The notions of minimality, π-uniqueness and additivity originated in discrete tomography. They have applications to Kronecker products of characters of the symmetric group and arise as the optimal solutions of quadratic transportation problems. Here, we introduce the notion of real-minimality and give geometric characterizations of all these notions for a matrix A, by considering the intersection of the permutohedron determined by A with the transportation polytope in which A lies. We also study the computational complexity of deciding if the properties of being additive, real-minimal, π-unique and minimal hold for a given matrix, and show how to efficiently construct some matrix with any of these properties.     

Locally s-distance transitive graphs and pairwise transitive designs

The study of locally s-distance transitive graphs initiated by the authors in previous work, identified that graphs with a star quotient are of particular interest. This paper shows that the study of locally s-distance transitive graphs with a star quotient is equivalent to the study of a particular family of designs with strong symmetry properties that we call nicely affine and pairwise transitive. We show that a group acting regularly on the points of such a design must be abelian and give general construction for this case.     

On the Existence of Absolutely Simple Abelian Varieties of a Given Dimension over an Arbitrary Field

We prove that for every field k and every positive integer n there exists an absolutely simple n-dimensional abelian variety over k. We also prove an asymptotic result for finite fields: For every finite field k and positive integer n, we let S(k, n) denote the fraction of the isogeny classes of n-dimensional abelian varieties over k that consist of absolutely simple ordinary abelian varieties. Then for every n we have S(F_q, n)→1 as q→∞ over the prime powers.     

On weaker forms for concepts in theory of topological groupoids

In this paper, we investigate the topologically weak concepts of topological groupoids by giving the concepts of α-topological groupoid and α-topological subgroupoid. Furthermore, we show the role of the density condition to allow α-topological subgroupoid inherited properties from α-topological groupoid and the irresoluteness property for the structure maps in α-topological groupoid is studied. We also give some results about the fibers of α-topological groupoids.     

Reflection groupoids of rank two and cluster algebras of type A

We extend the classification of finite Weyl groupoids of rank two. Then we generalize these Weyl groupoids to ‘reflection groupoids’ by admitting non-integral entries of the Cartan matrices. This leads to the unexpected observation that the spectrum of the cluster algebra of type An−3 completely describes the set of finite reflection groupoids of rank two with 2n objects.     

On theories of random variables

We study theories of spaces of random variables: first, we consider random variables with values in the interval [0, 1], then with values in an arbitrary metric structure, generalising Keisler’s randomisation of classical structures. We prove preservation and non-preservation results for model theoretic properties under this construction:

1. The randomisation of a stable structure is stable.
2. The randomisation of a simple unstable structure is not simple.

We also prove that in the randomised structure, every type is a Lascar type.     

The direct product of a hopfian group with a group with cyclic ccnter

In this paper we continue our study of hopficity begun in [1], [2], [3], [4] and [5]. LetA be hopfian and letB have a cyclic center of prime power order. We improve Theorem 4 of [2] by showing that ifB has finitely many normal subgroups which form a chain (we sayB isn-normal), thenAxB is hopfian. We then consider the case whenB is ap-group of nilpotency class 2 and show that in certain casesAxB is hopfian.     

The isomorphism problem for toral relatively hyperbolic groups

We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela, [60] and unpublished); and (ii) finitely generated fully residually free groups (Bumagin, Kharlampovich and Miasnikov [14]). We also give a solution to the homeomorphism problem for finite volume hyperbolic n-manifolds, for n≥3. In the course of the proof of the main result, we prove that a particular JSJ decomposition of a freely indecomposable torsion-free relatively hyperbolic group with abelian parabolics is algorithmically constructible.     

Edge distribution and density in the characteristic sequence

The characteristic sequence of hypergraphs 〈P_n:n<ω〉 associated to a formula φ(x;y), introduced in Malliaris (2010) [5], is defined by P_n(y₁,…,y_n)=(∃x)?_i≤nφ(x;y_i). We continue the study of characteristic sequences, showing that graph-theoretic techniques, notably Szemerédi’s celebrated regularity lemma, can be naturally applied to the study of model-theoretic complexity via the characteristic sequence. Specifically, we relate classification-theoretic properties of φ and of the P_n (considered as formulas) to density between components in Szemerédi-regular decompositions of graphs in the characteristic sequence. In addition, we use Szemerédi regularity to calibrate model-theoretic notions of independence by describing the depth of independence of a constellation of sets and showing that certain failures of depth imply Shelah’s strong order property SOP₃; this sheds light on the interplay of independence and order in unstable theories.     

The spectrum of Hill's equation

Letq be an infinitely differentiable function of period 1. Then the spectrum of Hill's operatorQ=?d ²/dx ²+q(x) in the class of functions of period 2 is a discrete series - ∞<λ₀<λ₁≦λ₂<λ₃≦λ₄<...<λ_2i?1≦λ_2i ↑∞. Let the numer of simple eigenvalues be 2n+1<=∞. Borg [1] proved thatn=0 if and only ifq is constant. Hochstadt [21] proved thatn=1 if and only ifq=c+2p with a constantc and a Weierstrassian elliptic functionp. Lax [29] notes thatn=m if¹ q=4k ² K ² m(m+1)sn ²(2Kx,k). The present paper studies the casen<∞, continuing investigations of Borg [1], Buslaev and Faddeev [2], Dikii [3, 4], Flaschka [10], Gardneret al. [12], Gelfand [13], Gelfand and Levitan [14], Hochstadt [21], and Lax [28–30] in various directions. The content may be summed up in the statement thatq is an abelian function; in fact, from the present standpoint, the whole subject appears as a part of the classical function theory of the hyperelliptic irrationality \(\ell (\lambda ) = \sqrt { - (\lambda - \lambda _0 )(\lambda - \lambda _1 )...(\lambda - \lambda _{2n} )} .\) The casen=∞ requires the development of the theory of abelian and theta functions for infinite genus; this will be reported upon in another place. Some of the results have been obtained independently by Novikov [34], Dubrovin and Novikov [6] and A. R. Its and V. B. Matveev [22].     

Grothendieck groups of abelian group rings

Let R be a noetherian ring, and G(R) the Grothendieck group of finitely generated modules over R. For a finite abelian group π, we describe G(Rπ) as the direct sum of groups G(R'). Each R' is the form R[ζ_n, 1/n], where n is a positive integer and ζ_n a primitive nth root of unity. As an application, we describe the structure of the Grothendiek group of pairs (H, u), where H is an abelian group and u is an automorphism of H of finite order.     

A Push Forward Construction and the Comprehensive Factorization for Internal Crossed Modules

In a semi-abelian category, we give a categorical construction of the push forward of an internal pre-crossed module, generalizing the pushout of a short exact sequence in abelian categories. The main properties of the push forward are discussed. A simplified version is given for action accessible categories, providing examples in the categories of rings and Lie algebras. We show that push forwards can be used to obtain the crossed module version of the comprehensive factorization for internal groupoids.     

The semigroup of singular endomorphisms

Let V be a vector space of dimension n over a field K. Here we denote by Sn the set of all singular endomorphisms of V. Erdos [5], Dawlings [4] and Thomas J. Laffey [6] have shown that Sn is an idempotent generated regular semigroup. In this paper we apply the theory of inductive groupoids, in particular the construction of the idempotent generated regular semigroup given in §6 of [8] to detemine some combinatorial properties of the semigroup Sn.