Localizability of the embedding problem with symplectic kernel

In this paper we consider the question of how much information is supplied by local solutions to a global embedding problem for the special case in which the normal subgroup belonging to the given group extension is the projective symplectic group PSp(2m, q). It is proved that for suitable Galois extensions K of a given number field k (which constitute part of the data of the embedding problem), the local solutions in a sense determine whether or not an extension K ? K, Galois over k, with $\text{G(}\text{L}\text{K}\text{) ≈ PSp(2m, q)}$, represents a global solution to the embedding problem.     

On the universally solvable embedding problem with cyclic kernel

It is proved that the universally solvable embedding problem with cyclic kernel is semidirect. Bibliography: 6 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 338, 2006, pp. 173–179.     

Universally concordant Galois extensions

A Galois extension is called universally concordant of period q, if for any imbedding problem of this extension whose kernel is an Abelian group of period q the concordance condition is satisifed. A necessary and sufficient condition is given for the imbeddability of one universally concordant extension into another. For a universally concordant extension of period of an algebraic number field containing no roots of 1 of degrees p₁, ..., p_m the solvability of any imbedding problem with solvable kernel of period q is proved.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 71, pp. 133–152, 1977.     

Countable infinite existentially closed models of universally axiomatizable theories

In the present article, we obtain a new criterion for amodel of a universally axiomatizable theory to be existentially closed. The notion of a maximal existential type is used in the proof and for investigating properties of countable infinite existentially closed structures. The notions of a prime and a homogeneous model, which are classical for the general model theory, are introduced for such structures. We study universal theories with the joint embedding property admitting a single countable infinite existentially closed model. We also construct, for every natural n, an example of a complete inductive theory with a countable infinite family of countable infinite models such that n of them are existentially closed and exactly two are homogeneous.     

The covering number in learning theory

The covering number of a ball of a reproducing kernel Hilbert space as a subset of the continuous function space plays an important role in Learning Theory. We give estimates for this covering number by means of the regularity of the Mercer kernel K. For convolution type kernels K(x,t)=k(x−t) on [0,1]ⁿ, we provide estimates depending on the decay of k̂, the Fourier transform of k. In particular, when k̂ decays exponentially, our estimate for this covering number is better than all the previous results and covers many important Mercer kernels. A counter example is presented to show that the eigenfunctions of the Hilbert–Schmidt operator Lm_K associated with a Mercer kernel K may not be uniformly bounded. Hence some previous methods used for estimating the covering number in Learning Theory are not valid. We also provide an example of a Mercer kernel to show that L_K^1/2 may not be generated by a Mercer kernel.     

On universally catenarian pairs

If 1≤n<∞ and R⊆S are integral domains, then (R,S) is called an n-catenarian pair if for each intermediate ring T (that is each ring T such that R⊆T⊆S) the polynomial ring in n indeterminates, T[n] is catenarian. This implies that (R,S) is m-catenarian for all m<n. The main purpose of this paper is to prove that 1-catenarian and universally catenarian pairs are equivalent in several cases. An example of a 1-catenarian pair which is not 2-catenarian is given.     

A residual transcendental extension of a valuation on K to K(x1, … , xn)

Let v be a valuation of a field K, G_v its value group and k_v its residue field. Let w be an extension of v to K(x₁, … , x_n). w is called a residual transcendental extension of v if k_w/k_v is a transcendental extension. In this study a residual transcendental extension w of v to K(x₁, … , x_n) such that transdegk_w/k_v = n is defined and some considerations related with this valuation are given.     

On subgroups of orthogonal groups of isotropic quadratic forms

Let a field K be an algebraic extension of a subfield k of characteristic not 2, n an integer, a non-degenerate isotropic form in n variables over K with coefficients in k. We study subgroups of the orthogonal group O_n(K,Q) that contain the derived subgroup Ω_n(k,Q) of the group O_n(k,Q).     

Linear Groups Over Integral Extensions of Semilocal Commutative Rings

Let K be an associative and commutative ring with 1, k a subring of K such that 1 ∈ k, K is an integral finitely generated extension of k, the element 2 invertible in k, and k is semilocal. The paper studies subgroups of the general linear group GL _n (K) with n ≥ 2 containing the special linear group SL _n (k).     

On a problem of rota

Let S(n, k) denote Stirling numbers of the second kind; for each n, let K_n be such that S(n, K_n) ? S(n, k) for all k. Also, let P(n) denote the lattice of partitions of an n-element set. Say that a collection of partitions from P(n) is incomparable if no two are related by refinement. Rota has asked if for all n, the largest possible incomparable collection in P(n) contains S(n, K_n) partitions. In this paper, we construct for all n sufficiently large an incomparable collection in P(n) containing strictly more than S(n, K_n) partitions. We also estimate how large n must be for this construction to work.     

The Magnus embedding as a special case of a homological construction

Let E be a group extension with Abelian kernel. Then it can be assigned an extension E′ of modules over the group ring of the quotient group. As a consequence, an embedding of the initial extension in some splitting extension arises. We prove that the celebrated Magnus embedding is a special case of this general construction.     

Intersection problems and integral equivalence

Let A and B be matrices over a principal ideal domain, Π. Necessary conditions, involving the invariant factors of A and B, are given for B to be a submatrix of A or a principal submatrix of A.If a given nonnegative integral matrix, B, is the intersection matrix of a pair of families of subsets of an n-set, and n is the smallest integer for which this is true, we say that the content of B is n. In that event, B is a submatrix of K(n), the intersection matrix of all subsets of an n-set. More refined results are obtained in certain cases by considering S(n, k, l), the intersection matrix of the k-subsets of an n-set versus its l-subsets. The invariant factors of K(n) and S(n, k, l) are calculated and it is shown how this information may be used to get lower bounds for the content of B. In the more widely studied symmetric version of the content problem, B must be a principal submatrix of K(n) or, possibly, S(n, k) = S(n, k, k). In this case, the invariant factors of K(n) ? xI or S(n, k) ? xI also provide relevant information.     

<Emphasis Type="Italic">k</Emphasis>-invariant nets over an algebraic extension of a field <Emphasis Type="Italic">k</Emphasis>

Let K be an algebraic extension of a field k, let σ = (σ _ij ) be an irreducible full (elementary) net of order n ≥ 2 (respectively, n ≥ 3) over K, while the additive subgroups σ _ij are k-subspaces of K. We prove that all σij coincide with an intermediate subfield P, k ? P ? K, up to conjugation by a diagonal matrix.     

On the cohomology of Witt vectors of p-adic integers and a conjecture of Hesselholt

Let K be a complete discrete valued field of characteristic zero with residue field kK of characteristic p>0. Let L/K be a finite Galois extension with Galois group G such that the induced extension of residue fields kL/kK is separable. Hesselholt (2004) [2] conjectured that the pro-abelian group {H¹(G,Wn(OL))}_n∈N is zero, where OL is the ring of integers of L and W(OL) is the ring of Witt vectors in OL w.r.t. the prime p. He partially proved this conjecture for a large class of extensions. In this paper, we prove Hesselholt?s conjecture for all Galois extensions.     

Covering shadows with a smaller volume

For n?2 a construction is given for convex bodies K and L in Rn such that the orthogonal projection Lu onto the subspace u^⊥ contains a translate of Ku for every direction u, while the volumes of K and L satisfy Vn(K)>Vn(L).A more general construction is then given for n-dimensional convex bodies K and L such that each orthogonal projection Lξ onto a k-dimensional subspace ξ contains a translate of Kξ, while the mth intrinsic volumes of K and L satisfy Vm(K)>Vm(L) for all m>k.For each k=1,…,n, we then define the collection Cn,k to be the closure (under the Hausdorff topology) of all Blaschke combinations of suitably defined cylinder sets (prisms).It is subsequently shown that, if L∈Cn,k, and if the orthogonal projection Lξ contains a translate of Kξ for every k-dimensional subspace ξ of Rn, then Vn(K)?Vn(L).The families Cn,k, called k-cylinder bodies of Rn, form a strictly increasing chain

Cn,1⊂Cn,2⊂?⊂Cn,n−1⊂Cn,n,     

A note on universally optimal matrices and field independence of the minimum rank of a graph

For a simple graph G on n vertices, the minimum rank of G over a field F, written as mr^F(G), is defined to be the smallest possible rank among all n×n symmetric matrices over F whose (i,j)th entry (for i≠j) is nonzero whenever {i,j} is an edge in G and is zero otherwise. A symmetric integer matrix A such that every off-diagonal entry is 0, 1, or -1 is called a universally optimal matrix if, for all fields F, the rank of A over F is the minimum rank of the graph of A over F. Recently, Dealba et al. [L.M. Dealba, J. Grout, L. Hogben, R. Mikkelson, K. Rasmussen, Universally optimal matrices and field independence of the minimum rank of a graph, Electron. J. Linear Algebra 18 (2009) 403-419] initiated the study of universally optimal matrices and established field independence or dependence of minimum rank for some families of graphs. In the present paper, more results on universally optimal matrices and field independence or dependence of the minimum rank of a graph are presented, and some results of Dealba et al. [5] are improved.     

General theoretical results on rectilinear embedability of graphs

In the design of certain kinds of electronic circuits the following question arises: given a non-negative integerk, what graphs admit of a plane embedding such that every edge is a broken line formed by horizontal and vertical segments and having at mostk bends? Any such graph is said to bek-rectilinear. No matter whatk is, an obvious necessary condition fork-rectilinearity is that the degree of each vertex does not exceed four. Our main result is that every planar graphH satisfying this condition is 3-rectilinear: in fact, it is 2-rectilinear with the only exception of the octahedron. We also outline a polynomial-time algorithm which actually constructs a plane embedding ofH with at most 2 bends (3 bends ifH is the octahedron) on each edge. The resulting embedding has the property that the total number of bends does not exceed 2n, wheren is the number of vertices ofH.     

A combinatorial approach to coarse geometry

Using ideas from shape theory we embed the coarse category of metric spaces into the category of direct sequences of simplicial complexes with bonding maps being simplicial. Two direct sequences of simplicial complexes are equivalent if one of them can be transformed to the other by contiguous factorizations of bonding maps and by taking infinite subsequences. This embedding can be realized by either Rips complexes or analogs of Roe?s anti-?ech approximations of spaces.In this model coarse n-connectedness of K={K₁→K₂→?} means that for each k there is m>k such that the bonding map from Kk to Km induces trivial homomorphisms of all homotopy groups up to and including n.The asymptotic dimension being at most n means that for each k there is m>k such that the bonding map from Kk to Km factors (up to contiguity) through an n-dimensional complex.Property A of G. Yu is equivalent to the condition that for each k and for each ?>0 there is m>k such that the bonding map from |Kk| to |Km| has a contiguous approximation g:|Kk|→|Km| which sends simplices of |Kk| to sets of diameter at most ?.     

Positivity of Riesz functionals and solutions of quadratic and quartic moment problems

We employ positivity of Riesz functionals to establish representing measures (or approximate representing measures) for truncated multivariate moment sequences. For a truncated moment sequence y, we show that y lies in the closure of truncated moment sequences admitting representing measures supported in a prescribed closed set K⊆Rn if and only if the associated Riesz functional Ly is K-positive. For a determining set K, we prove that if Ly is strictly K-positive, then y admits a representing measure supported in K. As a consequence, we are able to solve the truncated K-moment problem of degree k in the cases: (i) (n,k)=(2,4) and K=R²; (ii) n?1, k=2, and K is defined by one quadratic equality or inequality. In particular, these results solve the truncated moment problem in the remaining open cases of Hilbert's theorem on sums of squares.     

More orthogonal double covers of complete graphs by Hamiltonian paths

An orthogonal double cover (ODC) of the complete graph K_n by a graph G is a collection G of n spanning subgraphs of K_n, all isomorphic to G, such that any two members of G share exactly one edge and every edge of K_n is contained in exactly two members of G. In the 1980s Hering posed the problem to decide the existence of an ODC for the case that G is an almost-Hamiltonian cycle, i.e. a cycle of length n-1. It is known that the existence of an ODC of K_n by a Hamiltonian path implies the existence of ODCs of K_4n and of K_16n, respectively, by almost-Hamiltonian cycles. Horton and Nonay introduced two-colorable ODCs and showed: If there are an ODC of K_n by a Hamiltonian path for some n?3 and a two-colorable ODC of K_q by a Hamiltonian path for some prime power q?5, then there is an ODC of K_qn by a Hamiltonian path. In [U. Leck, A class of 2-colorable orthogonal double covers of complete graphs by hamiltonian paths, Graphs Combin. 18 (2002) 155-167], two-colorable ODCs of K_n and K_2n, respectively, by Hamiltonian paths were constructed for all odd square numbers n?9. Here we continue this work and construct cyclic two-colorable ODCs of K_n and K_2n, respectively, by Hamiltonian paths for all n of the form n=4k²+1 or n=(k²+1)/2 for some integer k.