Representation of Crystallographic Subperiodic Groups in Clifford’s Geometric Algebra

This paper explains how, following the representation of 3D crystallographic space groups in Clifford’s geometric algebra, it is further possible to similarly represent the 162 so called subperiodic groups of crystallography in Clifford’s geometric algebra. A new compact geometric algebra group representation symbol is constructed, which allows to read off the complete set of geometric algebra generators. For clarity moreover the chosen generators are stated explicitly. The group symbols are based on the representation of point groups in geometric algebra by versors (Clifford monomials, Lipschitz elements).     

Smale’s Fundamental Theorem of Algebra Reconsidered

In his 1981 Fundamental Theorem of Algebra paper Steve Smale initiated the complexity theory of finding a solution of polynomial equations of one complex variable by a variant of Newton’s method. In this paper we reconsider his algorithm in the light of work done in the intervening years. Smale’s upper bound estimate was infinite average cost. Ours is polynomial in the Bézout number and the dimension of the input. Hence it is polynomial for any range of dimensions where the Bézout number is polynomial in the input size. In particular it is not just for the case that Smale considered but for a range of dimensions as considered by Bürgisser–Cucker, where the max of the degrees is greater than or equal to n ^1+? for some fixed ?. It is possible that Smale’s algorithm is polynomial cost in all dimensions and our main theorem raises some problems that might lead to a proof of such a theorem.     

The Szeg? Metric Associated to Hardy Spaces of Clifford Algebra Valued Functions and Some Geometric Properties

In analogy to complex function theory we introduce a Szeg? metric in the context of hypercomplex function theory dealing with functions that take values in a Clifford algebra. In particular, we are dealing with Clifford algebra valued functions that are annihilated by the Euclidean Dirac operator in \mathbbR^m+1{\mathbb{R}^{m+1}} . These are often called monogenic functions. As a consequence of the isometry between two Hardy spaces of monogenic functions on domains that are related to each other by a conformal map, the generalized Szeg? metric turns out to have a pseudo-invariance under M?bius transformations. This property is crucially applied to show that the curvature of this metric is always negative on bounded domains. Furthermore, it allows us to establish that this metric is complete on bounded domains.     

Extensions of Scott’s Graph Model and Kleene’s Second Algebra

We use a way to extend partial combinatory algebras (pcas) by forcing them to represent certain functions. In the case of Scott’s Graph Model, equality is computable relative to the complement function. However, the converse is not true. This creates a hierarchy of pcas which relates to similar structures of extensions on other pcas. We study one such structure on Kleene’s Second Algebra and one on a pca equivalent but not isomorphic to it. For the recursively enumerable sub-pca of the Graph model, results differ as we can compute the (partial) complement function using the equality.     

Applications of weighted estimates of Calderon’s commutators

The paper introduces singular integral operators of a new type defined in the space L ^p with the weight function on the complex plane. For these operators, norm estimates are derived. Namely, if V is a complex-valued function on the complex plane satisfying the condition |V(z) ? V(??)| ?? w|z ? ??| and F is an entire function, then we put $$P_F^* f(z) = \mathop {\sup }\limits_{\varepsilon > 0} \left| {\int\limits_{\left| {\zeta - z} \right| > \varepsilon } {F\left( {\frac{{V(\zeta ) - V(z)}} {{\zeta - z}}} \right)\frac{{f(\zeta )}} {{\left( {\zeta - z} \right)^2 }}d\sigma (\zeta )} } \right|.$$ It is shown that if the weight function ?? is a Muckenhoupt A _p weight for 1 < p < ??, then $$\left\| {P_F^* f} \right\|_{p,\omega } \leqslant C(F,w,p)\left\| f \right\|_{p,\omega } .$$ .     

Extension of Pauli’s theorem to Clifford algebras

Doklady Mathematics -     

Geometric Realizations of Lusztig’s Symmetries of Symmetrizable Quantum Groups

Let U be the quantum group and f be the Lusztig’s algebra associated with a symmetrizable generalized Cartan matrix. The algebra f can be viewed as the positive part of U. Lusztig introduced some symmetries T _i on U for all i ∈ I. Since T _i (f) is not contained in f, Lusztig considered two subalgebras _i f and ⁱ f of f for any i ∈ I, where _i f={x ∈ f | T _i (x) ∈ f} and \({^{i}\mathbf {f}}=\{x\in \mathbf {f}\,\,|\,\,T^{-1}_{i}(x)\in \mathbf {f}\}\). The restriction of T _i on _i f is also denoted by \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\). The geometric realization of f and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig’s symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of _i f, ⁱ f and \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\) by using the language ’quiver with automorphism’ introduced by Lusztig.     

On tropical Clifford’s Theorem

We prove an analogue of Clifford’s inequality for tropical curves. Next we focus on the hyperelliptic case and we characterize divisors attaining equality. Finally we speculate whether inequality in tropical Clifford’s Theorem does imply hyperellipticity, in analogy with the classical case.     

Applications of Klee’s Dehn–Sommerville Relations

We use Klee’s Dehn–Sommerville relations and other results on face numbers of homology manifolds without boundary to (i) prove Kalai’s conjecture providing lower bounds on the f-vectors of an even-dimensional manifold with all but the middle Betti number vanishing, (ii) verify Kühnel’s conjecture that gives an upper bound on the middle Betti number of a 2k-dimensional manifold in terms of k and the number of vertices, and (iii) partially prove Kühnel’s conjecture providing upper bounds on other Betti numbers of odd- and even-dimensional manifolds. For manifolds with boundary, we derive an extension of Klee’s Dehn–Sommerville relations and strengthen Kalai’s result on the number of their edges. I. Novik research partially supported by Alfred P. Sloan Research Fellowship and NSF grant DMS-0500748. E. Swartz research partially supported by NSF grant DMS-0600502.     

Einstein’s equations and Clifford algebra

Einstein’s equations of the general theory of relativity are rewritten within a Clifford algebra. This algebra is otherwise isomorphic to a direct product of two quaternion algebras. A multivector calculus is developed within this Clifford algebra which differs from the corresponding complexified algebra used in the standard spacetime algebra approach.     

From Generalized Clifford Algebras to nambu’s formulation of dynamics

We consider a commutative part of the Generalized Clifford Algebras, denominated asalgebra of multicomplex numbers. By using the multicomplex algebra as underlying algebraic structure we construct oscillator model for the Nambu’s formulation of dynamics. We propose a new dynamicals principle which gives rise to two kinds of Hamilton-Nambu equations inD≥2-dimensional phase space. The first one is formulated with (D−1)-evolution parameter and a single Hamiltonian. The Haniltonian of the oscillator model in such dynamics is given byD-degree homogeneous form. In the second formulation, vice versa, the evolution of the system along a single evolution parameter is generated by (D−1) Hamiltonian.     

Geometric proof of R?dseth’s formula for Frobenius numbers

Using a geometric interpretation of continued fractions, we give a new proof of R?dseth’s formula for Frobenius numbers.     

Gosset’s figure in a Clifford algebra

This note describes a way to realize a “projective” version of Gosset’s 240-vertex semiregular polytope 421 using the Clifford algebra Cl(8) generated by an 8-dimensional vector space equipped with a non-degenerate quadratic form. The 120 vertices of this projective Gosset figure are also seen to coincide with a particular basis for the Lie algebra      

Wolff’s Problem of Ideals in the Multiplier Algebra on Dirichlet Space

We establish an analogue of Wolff’s theorem on ideals in \(H^{\infty }(\mathbb {D})\) for the multiplier algebra of Dirichlet space.     

Algebra of formal vector fields on the line and Buchstaber’s conjecture

We consider the Lie algebra L ₁ of formal vector fields on the line which vanish at the origin together with their first derivatives. V. M. Buchstaber and A. V. Shokurov showed that the universal enveloping algebra U(L ₁) is isomorphic to the Landweber-Novikov algebra S tensored with the reals. The cohomology H*(L ₁) = H*(U(L ₁)) was originally calculated by L. V. Goncharova. It follows from her computations that the multiplication in the cohomology H*(L ₁) is trivial. Buchstaber conjectured that the cohomology H*(L ₁) is generated with respect to nontrivial Massey products by one-dimensional cocycles. B. L. Feigin, D. B. Fuchs, and V. S. Retakh found a representation for additive generators of H*(L ₁) in the desired form, but the Massey products indicated by them later proved to contain the zero element. In the present paper, we prove that H*(L ₁) is recurrently generated with respect to nontrivial Massey products by two one-dimensional cocycles in H ¹(L ₁).     

An Extension of Yuan’s Lemma and Its Applications in Optimization

We prove an extension of Yuan’s lemma to more than two matrices, as long as the set of matrices has rank at most 2. This is used to generalize the main result of Baccari and Trad (SIAM J Optim 15(2):394–408, 2005), where the classical necessary second-order optimality condition is proved, under the assumption that the set of Lagrange multipliers is a bounded line segment. We prove the result under the more general assumption that the Hessian of the Lagrangian, evaluated at the vertices of the Lagrange multiplier set, is a matrix set with at most rank 2. We apply the results to prove the classical second-order optimality condition to problems with quadratic constraints and without constant rank of the Jacobian matrix.