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.     

A Characterization of the Finite Veronesean by Intersection Properties

A combinatorial characterization of the Veronese variety of all quadrics in PG(n, q) by means of its intersection properties with respect to subspaces is obtained. The result relies on a similar combinatorial result on the Veronesean of all conics in the plane PG(2, q) by Ferri [Atti Accad. Naz. Lincei Rend. 61(6), 603?C610 (1976)], Hirschfeld and Thas [General Galois Geometries. Oxford University Press, New York (1991)], and Thas and Van Maldeghem [European J. Combin. 25(2), 275?C285 (2004)], and a structural characterization of the quadric Veronesean by Thas and Van Maldeghem [Q. J. Math. 55(1), 99?C113 (2004)].     

A Characterization of CR Quadrics with a Symmetry Property

We study CR quadrics satisfying a symmetry property $(\tilde{S})$ which is slightly weaker than the symmetry property (S), recently introduced by W. Kaup, which requires the existence of an automorphism reversing the gradation of the Lie algebra of infinitesimal automorphisms of the quadric. We characterize quadrics satisfying the $(\tilde{S})$ property in terms of their Levi?CTanaka algebras. In many cases the $(\tilde{S})$ property implies the (S) property; this holds in particular for compact quadrics. We also give a new example of a quadric such that the dimension of the algebra of positive-degree infinitesimal automorphisms is larger than the dimension of the quadric.     

Reproducing kernels of Sobolev spaces via a green kernel approach with differential operators and boundary operators

We introduce a vector differential operator P and a vector boundary operator B to derive a reproducing kernel along with its associated Hilbert space which is shown to be embedded in a classical Sobolev space. This reproducing kernel is a Green kernel of differential operator L:?=?P ^???T P with homogeneous or nonhomogeneous boundary conditions given by B, where we ensure that the distributional adjoint operator P ^??? of P is well-defined in the distributional sense. We represent the inner product of the reproducing-kernel Hilbert space in terms of the operators P and B. In addition, we find relationships for the eigenfunctions and eigenvalues of the reproducing kernel and the operators with homogeneous or nonhomogeneous boundary conditions. These eigenfunctions and eigenvalues are used to compute a series expansion of the reproducing kernel and an orthonormal basis of the reproducing-kernel Hilbert space. Our theoretical results provide perhaps a more intuitive way of understanding what kind of functions are well approximated by the reproducing kernel-based interpolant to a given multivariate data sample.     

L p -Norms, Log-Barriers and Cramer Transform in Optimization

We show that the Laplace approximation of a supremum by L ^p -norms has interesting consequences in optimization. For instance, the logarithmic barrier functions (LBF) of a primal convex problem P and its dual P ^* appear naturally when using this simple approximation technique for the value function g of P or its Legendre–Fenchel conjugate g ^*. In addition, minimizing the LBF of the dual P ^* is just evaluating the Cramer transform of the Laplace approximation of g. Finally, this technique permits to sometimes define an explicit dual problem P ^* in cases when the Legendre–Fenchel conjugate g ^* cannot be derived explicitly from its definition.     

Clifford parallelism: old and new definitions, and their use

Parallelity in the real elliptic 3-space was defined by W. K. Clifford in 1873 and by F. Klein in 1890; we compare the two concepts. A Clifford parallelism consists of all regular spreads of the real projective 3-space ${{\rm PG}(3,\mathbb{R})}$ whose (complex) focal lines (=directrices) form a regulus contained in an imaginary quadric (D1 = Klein??s definition). Our new access to the topic ??Clifford parallelism?? is free of complexification and involves Klein??s correspondence ?? of line geometry together with a bijective map ?? from all regular spreads of ${{\rm PG}(3,\mathbb{R})}$ onto those lines of ${{\rm PG}(5,\mathbb{R})}$ having no common point with the Klein quadric; a regular parallelism P of ${{\rm PG}(3,\mathbb{R})}$ is Clifford, if the spreads of P are mapped by ?? onto a plane of lines (D2 = planarity definition). We prove the equivalence of (D1) and (D2). Associated with ?? is a simple dimension concept for regular parallelisms which allows us to say instead of (D2): the 2-dimensional regular parallelisms of ${{\rm PG}(3,\mathbb{R})}$ are Clifford (D3 = dimensionality definition). Submission of (D2) to ??^?1 yields a complexification free definition of a Clifford parallelism which uses only elements of ${{\rm PG}(3,\mathbb{R})}$ : A regular parallelism P is Clifford, if the union of any two distinct spreads of P is contained in a general linear complex of lines (D4 = line geometric definition). In order to see (D1) and (D2) simultaneously at work we discuss the following two examples using, at the one hand, complexification and (D1) and, at the other hand, (D2) under avoidance of complexification. Example 1. In the projectively extended real Euclidean 3-space a rotational regular spread with center o is submitted to the group of all rotations about o; we prove, that a Clifford parallelism is generated. Example 2. We determine the group ${Aut_e({\bf P}_{\bf C})}$ of all automorphic collineations and dualities of the Clifford parallelism P _C and show ${Aut_e({\bf P}_{\bf C})\hspace{1.5mm} \cong ({\rm SO}_3\mathbb{R} \times {\rm SO}_3\mathbb{R})\rtimes \mathbb{Z}_2}$ .     

On diversity and stability of unit bases for the Euclidean metric

We prove the existence of a family Ω(n) of 2 ^c (where c is the cardinality of the continuum) subgraphs of the unit distance graph (E ⁿ , 1) of the Euclidean space E ⁿ , n ≥ 2, such that (a) for each graph G ? Ω(n), any homomorphism of G to (E ⁿ , 1) is an isometry of E ⁿ ; moreover, for each subgraph G ₀ of the graph G obtained from G by deleting less than c vertices, less than c stars, and less than c edges (we call such a subgraph reduced), any homomorphism of G ₀ to (E ⁿ , 1) is an isometry (of the set of the vertices of G ₀); (b) each graph G ? Ω(n) cannot be homomorphically mapped to any other graph of the family Ω(n), and the same is true for each reduced subgraph of G.     

Trading Inversions for Multiplications in Elliptic Curve Cryptography

Recently, Eisenträger et al. proposed a very elegant method for speeding up scalar multiplication on elliptic curves. Their method relies on improved formulas for evaluating S=(2P + Q) from given points P and Q on an elliptic curve. Compared to the naive approach, the improved formulas save a field multiplication each time the operation is performed. This paper proposes a variant which is faster whenever a field inversion is more expensive than six field multiplications. We also give an improvement when tripling a point, and present a ternary/binary method to perform efficient scalar multiplication.     

Einbettung von topologischen Raumgeometrien auf R3 in den reellen affinen Raum

Betten [1] had defined topological spatial geometries on R ³: In R ³ a system L of closed subsets homeomorphic to R (the lines) and a system ? of closed subsets homeomorphic to R ² (the planes) are given such that through any two different points passes exactly one line and through any three non-collinear points passes exactly one plane. Furthermore, ? and ? carry topologies such that the operations of joining and intersection are continuous. It is proved that any topological spatial geometry on R ³ can be imbedded into R ³ as an open convex subset K such that the lines in ? (planes in ?) are mapped onto intersections of lines (planes) of R ³ with K. The collineation group of the geometry is isomorphic to the subgroup of the colineation group of real projective space consisting of the automorphisms that map K into itself. In particular, it is a Lie group of dimension ?12.     

Inequalities for the product of the volumes of a partition determined in a convex body by a surface

A generalization is given of the work of J. Bokowski [1] referring to the product of the volumes of the two parts into which a convex body is divided by a plane. The proof uses formulas of Integral Geometry and a conjecture of L. A. Santaló [2], and holds for the two parts determined by any (n?1)-dimensional surface in the euclideann-space and for dimensionsn=2, 3 in the hyperbolic space.     

Δ2 degrees without Σ1 induction

In this paper, we study the structure of Turing degrees below 0′ in the theory that is a fragment of Peano arithmetic without Σ₁ induction, with special focus on proper d-r.e. degrees and non-r.e. degrees. We prove:

1. P ^? + BΣ₁ + Exp ? There is a proper d-r.e. degree.
2. P ^? +BΣ₁+ Exp ? IΣ₁ ? There is a proper d-r.e. degree below 0′.
3. P ^? + BΣ₁ + Exp ? There is a non-r.e. degree below 0′.

     

Minimal but inefficient presentations of the semi-direct products of some monoids

In recent papers of Ruskuc, Saito and J. Wang, the semi-direct product of two arbitrary monoids and a standard presentation, say P, for this product have received considerable attention. Wang defined a trivialiser set of the Squier complex associated with P and after that necessary and sufficient conditions for P to be efficient have been given by Cevik. As a main result of this paper, we give sufficient conditions for a presentation of the semi-direct product of a one-relator monoid by an infinite cyclic monoid to be minimal but not efficient. In the final part of this paper we give some applications of this result.     

Hankel operators on planar domains

Let Ω be a bounded domain in the plane whose boundary consists of a finite number of disjoint analytic simple closed curves LetA denote the space of analytic functions on Ω which are square integrable over Ω with respect to area measure and letP denote the orthogonal projection ofL ²(Ω,dA) ontoA. A functionb inA induces a Hankel operator (densely defined) onA by the ruleH _b (g)=(I?P)bg. This paper continues earlier investigations of the authors and others by determining conditions under whichH _b is bounded, compact, or lies in the Schatten-von Neumann idealS _p , 1<p<∞     

On the functional codes defined by quadrics and Hermitian varieties

In recent years, functional codes have received much attention. In his PhD thesis, F.A.B. Edoukou investigated various functional codes linked to quadrics and Hermitian varieties defined in finite projective spaces (Edoukou, PhD Thesis, 2007). This work was continued in (Edoukou et al., Des Codes Cryptogr 56:219–233, 2010; Edoukou et al., J Pure Appl Algebr 214:1729–1739, 2010; Hallez and Storme, Finite Fields Appl 16:27–35, 2010), where the results of the thesis were improved and extended. In particular, Hallez and Storme investigated the functional codes ${C_2(\mathcal{H})}$ , with ${\mathcal{H}}$ a non-singular Hermitian variety in PG(N, q ²). The codewords of this code are defined by evaluating the points of ${\mathcal{H}}$ in the quadratic polynomials defined over ${\mathbb{F}_{q^2}}$ . We now present the similar results for the functional code ${C_{Herm}(\mathcal{Q})}$ . The codewords of this code are defined by evaluating the points of a non-singular quadric ${\mathcal{Q}}$ in PG(N, q ²) in the polynomials defining the Hermitian varieties of PG(N, q ²).     

Real quadrics in C n , complex manifolds and convex polytopes

In this paper, we investigate the topology of a class of non-Kähler compact complex manifolds generalizing that of Hopf and Calabi-Eckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics C ⁿ which are invariant with respect to the natural action of the real torus (S ¹) ⁿ onto C ⁿ . The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wall-crossing problem by introducing holomorphic equivariant elementary surgeries related to some transformations of the simple convex polytope. Finally, as a nice consequence, we obtain that affine non-Kähler compact complex manifolds can have arbitrary amount of torsion in their homology groups, contrasting with the Kähler situation.     

Følner sequences and Hilbert’s Irreducibility Theorem over Q

Letf(X; T ₁, ...,T _n) be an irreducible polynomial overQ. LetB be the set ofb teZ ⁿ such thatf(X;b) is of lesser degree or reducible overQ. Let ?={F _j}{F _j } _j?1 ^∞ be a Følner sequence inZ ⁿ — that is, a sequence of finite nonempty subsetsF _j ?Z ⁿ such that for eachvteZ ⁿ , $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap (F_j + \upsilon )} \right|}}{{\left| {F_j } \right|}} = 1$ Suppose ? satisfies the extra condition that forW a properQ-subvariety ofP ⁿ ?A ⁿ and ?>0, there is a neighborhoodU ofW(R) in the real topology such that $\mathop {lim sup}\limits_{j \to \infty } \frac{{\left| {F_j \cap U} \right|}}{{\left| {F_j } \right|}}< \varepsilon $ whereZ ⁿ is identified withA ⁿ (Z). We prove $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap B} \right|}}{{\left| {F_j } \right|}} = 0$ .     

Torsion points on families of squares of elliptic curves

In a recent paper we proved that there are at most finitely many complex numbers λ ≠  0,1 such that the points \({(2,\sqrt{2(2-\lambda)})}\) and \({(3, \sqrt{6(3-\lambda)})}\) are both torsion on the elliptic curve defined by Y ² = X(X ? 1)(X ? λ). Here we give a generalization to any two points with coordinates algebraic over the field Q(λ) and even over C(λ). This implies a special case of a variant of Pink’s Conjecture for a variety inside a semiabelian scheme: namely for any curve inside any scheme isogenous to a fibred product of two isogenous elliptic schemes.     

Sylow-metacyclic groups andQ-admissibility

A finite groupG isQ-admissible if there exists a division algebra finite dimensional and central overQ which is a crossed product forG. AQ-admissible group is necessarily Sylow-metacyclic (all its Sylow subgroups are metacyclic). By means of an investigation into the structure of Sylow-metacyclic groups, the inverse problem (is every Sylow-metacyclic groupQ-admissible?) is essentially reduced to groups of order 2 ^a 3 ^b and to a list of known “almost simple” groups.     

Topologische Divisionsalgebren ohne zugehörige topologische affine Ebene

We prove that many (non-associative) topological division algebrasD of dimensionn ∈ N over the centreK do not yield topological affine or projective planes (of Lenz-Barlotti type V) in contrast to the results of SKORNJAKOV [20], SALZMANN [18] and [19], GRUNDHÖFER [7], HARTMANN [11] and RINK [17] concerning projective planes coordinatized by compact or special topological ternary fields. In particular, this holds for every non-trivial and non-archimedian valuation topology ofK distinct from the order topology ifK is a real-closed field, and if the division algebraD =K ⁿ carries the product topology.     

An interior point potential reduction algorithm for the linear complementarity problem

The linear complementarity problem (LCP) can be viewed as the problem of minimizingx ^T y subject toy=Mx+q andx, y?0. We are interested in finding a point withx ^T y <ε for a givenε > 0. The algorithm proceeds by iteratively reducing the potential function $$f(x,y) = \rho \ln x^T y - \Sigma \ln x_j y_j ,$$ where, for example,ρ=2n. The direction of movement in the original space can be viewed as follows. First, apply alinear scaling transformation to make the coordinates of the current point all equal to 1. Take a gradient step in the transformed space using the gradient of the transformed potential function, where the step size is either predetermined by the algorithm or decided by line search to minimize the value of the potential. Finally, map the point back to the original space. A bound on the worst-case performance of the algorithm depends on the parameterλ ^*=λ^*(M, ε), which is defined as the minimum of the smallest eigenvalue of a matrix of the form $$(I + Y^{ - 1} MX)(I + M^T Y^{ - 2} MX)^{ - 1} (I + XM^T Y^{ - 1} )$$ whereX andY vary over the nonnegative diagonal matrices such thate ^T XYe ?ε andX _jj Y _jj?n ². IfM is a P-matrix,λ ^* is positive and the algorithm solves the problem in polynomial time in terms of the input size, |log ε|, and 1/λ ^*. It is also shown that whenM is positive semi-definite, the choice ofρ = 2n+ \(\sqrt {2n} \) yields a polynomial-time algorithm. This covers the convex quadratic minimization problem.