Optimal tactics for close support operations: Part IV,perfect intelligence and communications

A new generation ofC ³ (command, control, and communication) models for military cybernetics is developed. Recursive equations for the solution of theC ³ problem are derived for an amphibious campaign with linear, time-varying dynamics. Air and ground commanders are assumed to have perfect intelligence and perfect communications. Numerical results are given for the optimal decision rules.     

Optimal tactics for close-support operations— III. Degraded intelligence and communications

A new generation of C³ (command, control, and communication) models for military cybernetics is developed. Recursive equations for the solution of the C³ problem are derived for an amphibious campaign with linear time-varying dynamics. Air and ground commanders are assumed to have no intelligence and no communications. Numerical results are given for the optimal decision rules.     

Optimal tactics for close support operations. II. Degraded communications with linear time-varying dynamics

The optimal decision rules for force commitments are obtained in mathematical studies of C³ (command, control, and communication). Recursive equations for the solution of the C³ problem are derived for a perturbation model with linear time-varying dynamics. Air and ground commanders are assumed to have perfect intelligence with degraded communication between them. Numerical results are given for several amphibious assaults.     

Optimal tactics for close support operations: Part I,degraded communications

A formidable problem in the mathematical studies of C³ (command, control, and communication) is the determination of the optimal decision rules for force commitments to be employed by headquarters. Recursive equations are derived for an amphibious campaign with time-invariant linear dynamics and quadratic costs. Air and ground commanders are assumed to have perfect intelligence with degraded communication between them.The authors have benefitted greatly from discussions with Colonels R. Geesey, C. Albo, and R. Reeves, USAF.     

Group algebra series and coboundary modules

The shift action on the 2-cocycle group Z²(G,C) of a finite group G with coefficients in a finitely generated abelian group C has several useful applications in combinatorics and digital communications, arising from the invariance of a uniform distribution property of cocycles under the action. In this article, we study the shift orbit structure of the coboundary subgroup B²(G,C) of Z²(G,C). The study is placed within a well-known setting involving the Loewy and socle series of a group algebra over G. We prove new bounds on the dimensions of terms in such series. Asymptotic results on the size of shift orbits are also derived; for example, if C is an elementary abelian p-group, then almost all shift orbits in B²(G,C) are maximal-sized for large enough finite p-groups G of certain classes.     

Periodic orbits in complex Abel equations

This paper is devoted to prove two unexpected properties of the Abel equation dz/dt=z³+B(t)z²+C(t)z, where B and C are smooth, 2π-periodic complex valuated functions, t∈R and z∈C. The first one is that there is no upper bound for its number of isolated 2π-periodic solutions. In contrast, recall that if the functions B and C are real valuated then the number of complex 2π-periodic solutions is at most three. The second property is that there are examples of the above equation with B and C being low degree trigonometric polynomials such that the center variety is formed by infinitely many connected components in the space of coefficients of B and C. This result is also in contrast with the characterization of the center variety for the examples of Abel equations dz/dt=A(t)z³+B(t)z² studied in the literature, where the center variety is located in a finite number of connected components.     

Infinitesimal bendings of high orders for homogeneous surfaces with positive curvature and a flat point

For any given n∈Z⁺ and k∈Z⁺, infinitesimal bendings of order n and of class Ck are constructed for a class of surfaces in R³. These surfaces are given as graphs of homogeneous polynomials P(x,y) and they have positive curvature except at the origin.     

Classifying simple closed curve pairs in the 2-sphere and a generalization of the Schoenflies theorem

A classification theory is developed for pairs of simple closed curves (A,B) in the sphere S², assuming that A∩B has finitely many components. Such a pair of simple closed curves is called an SCC-pair, and two SCC-pairs (A,B) and (A^′,B^′) are equivalent if there is a homeomorphism from S² to itself sending A to A^′ and B to B^′. The simple cases where A and B coincide or A and B are disjoint are easily handled. The component code is defined to provide a classification of all of the other possibilities. The component code is not uniquely determined for a given SCC-pair, but it is straightforward that it is an invariant; i.e., that if (A,B) and (A^′,B^′) are equivalent and C is a component code for (A,B), then C is a component code for (A^′,B^′) as well. It is proved that the component code is a classifying invariant in the sense that if two SCC-pairs have a component code in common, then the SCC-pairs are equivalent. Furthermore code transformations on component codes are defined so that if one component code is known for a particular SCC-pair, then all other component codes for the SCC-pair can be determined via code transformations. This provides a notion of equivalence for component codes; specifically, two component codes are equivalent if there is a code transformation mapping one to the other. The main result of the paper asserts that if C and C^′ are component codes for SCC-pairs (A,B) and (A^′,B^′), respectively, then (A,B) and (A^′,B^′) are equivalent if and only if C and C^′ are equivalent. Finally, a generalization of the Schoenflies theorem to SCC-pairs is presented.     

Local structure of ideal shapes of knots

Relatively extremal knots are the relative minima of the ropelength functional in the C¹ topology. They are the relative maxima of the thickness (normal injectivity radius) functional on the set of curves of fixed length, and they include the ideal knots. We prove that a C1,1 relatively extremal knot in Rn either has constant maximal (generalized) curvature, or its thickness is equal to half of the double critical self distance. This local result also applies to the links. Our main approach is to show that the shortest curves with bounded curvature and C¹ boundary conditions in Rn contain CLC (circle-line-circle) curves, if they do not have constant maximal curvature.     

Smoothness of the carrying simplex for discrete-time competitive dynamical systems: A characterization of neat embedding

The paper is concerned with the question of smoothness of the carrying simplex S for a discrete-time dissipative competitive dynamical system. We give a necessary and sufficient criterion for S being a C¹ submanifold-with-corners neatly embedded in the nonnegative orthant, formulated in terms of inequalities between Lyapunov exponents for ergodic measures supported on the boundary of the orthant. This completes one thread of investigation occasioned by a question posed by M.W. Hirsch in 1988. Besides, amenable conditions are presented to guarantee the Cr (r?1) smoothness of S in the time-periodic competitive Kolmogorov systems of ODEs. Examples are also presented, one in which S is of class C¹ but not neatly embedded, the other in which S is not of class C¹.     

A unified three point approximating subdivision scheme

In this paper,we propose a three point approximating subdivision scheme,with three shape parameters,that unifies three different existing three point approximating schemes.Some sufficient conditions for subdivision curve C0 to C3 continuity and convergence of the scheme for generating tensor product surfaces for certain ranges of parameters by using Laurent polynomial method are discussed.The systems of curve and surface design based on our scheme have been developed successfully in garment CAD especially for clothes modelling.     

Involutions and representations for reduced quantum algebras

In the context of deformation quantization, there exist various procedures to deal with the quantization of a reduced space Mred. We shall be concerned here mainly with the classical Marsden-Weinstein reduction, assuming that we have a proper action of a Lie group G on a Poisson manifold M, with a moment map J for which zero is a regular value. For the quantization, we follow Bordemann et al. (2000) [6] (with a simplified approach) and build a star product red_? on Mred from a strongly invariant star product ? on M. The new questions which are addressed in this paper concern the existence of natural ^∗-involutions on the reduced quantum algebra and the representation theory for such a reduced ^∗-algebra.We assume that ? is Hermitian and we show that the choice of a formal series of smooth densities on the embedded coisotropic submanifold C=J−1(0), with some equivariance property, defines a ^∗-involution for red_? on the reduced space. Looking into the question whether the corresponding ^∗-involution is the complex conjugation (which is a ^∗-involution in the Marsden-Weinstein context) yields a new notion of quantized modular class.We introduce a left (C^∞(M)?λ?,?)-submodule and a right (C^∞(Mred)?λ?,red_?)-submodule of C^∞(C)?λ?; we define on it a C^∞(Mred)?λ?-valued inner product and we establish that this gives a strong Morita equivalence bimodule between C^∞(Mred)?λ? and the finite rank operators on . The crucial point is here to show the complete positivity of the inner product. We obtain a Rieffel induction functor from the strongly non-degenerate ^∗-representations of (C^∞(Mred)?λ?,red_?) on pre-Hilbert right D-modules to those of (C^∞(M)?λ?,?), for any auxiliary coefficient ^∗-algebra D over C?λ?.     

Concerning some variants of C-embedding in pointfree topology

We study three types of quotient maps of frames which are closely related to C- and C^?-quotient maps. We call them C₁-, strong C₁-, and uplifting quotient maps. C₁-quotient maps are precisely those whose induced ring homomorphisms contract maximal ideals to maximal ideals. We show that every homomorphism onto a frame is a C₁-, a strong C₁-, or an uplifting quotient map iff the frame is pseudocompact, compact, or almost compact and normal, respectively. These quotient maps are used to characterize normality and also certain weaker forms of normality in a manner akin to the characterization of normal frames as those for which every closed quotient map is a C-quotient map. Under certain conditions, we show that the Stone extension of a quotient map is C₁-, strongly C₁- or uplifting if the map has the corresponding property.     

Expectation of random polytopes

A random polytopeP _n in a convex bodyC is the convex hull ofn identically and independently distributed points inC. Its expectation is a convex body in the interior ofC. We study the deviation of the expectation ofP _n fromC asn→∞: while forC of classC ^k+1,k≥1, precise asymptotic expansions for the deviation exist, the behaviour of the deviation is extremely irregular for most convex bodiesC of classC ¹. Dedicated to my teacher and friend Professor Edmund Hlawka on the occasion of his 80^th birthday     

Total Curvature for <Emphasis Type="Italic">C</Emphasis><Superscript>∞</Superscript>-Singular Surfaces with Limiting Tangent Bundle

The total curvature of a compact C^∞-immersed surface in Euclidean 3-space ³ can be interpreted as the average number of critical points for a linear ‘height’ function. The Morse inequalities provide an intrinsic topological lower bound for the total curvature and ‘tight’ surfaces, which realize equality, have been an active topic of research. The objective of this paper is to describe the natural notion of total curvature for C^∞-singular surfaces which fail to immerse on C^∞-embedded closed curves, but which have a C^∞-globally defined unit normal (e.g. caustics, or critical images for mappings of 3-manifolds into Euclidean 3-space). For such surfaces total curvature consists of a sum of two-dimensional and one-dimensional integrals, which have various lower bounds. Large sets of LT-surfaces which realize equality are then constructed. As an application, the orthogonal projection of an immersed tight hypersurface in Euclidean 4-space is shown to have LT-tight critical image, and several related inequalities are given. Mathematics Subject Classifications (2000): 57N65, 14P99, 53C21, 53B25, 53B20.     

Complete separation in the random and Cohen models

It is shown that in the model obtained by adding κ many random reals, where κ is a supercompact cardinal, every C^?-embedded subset of a first countable space (even with character smaller than κ) is C-embedded. It is also proved that if two ground model sets are completely separated after adding a random real then they were completely separated originally but CH implies that the Cohen poset does not have this property.     

The Morse–Sard theorem for Clarke critical values

The Morse–Sard theorem states that the set of critical values of a C^k$C^k$ smooth function defined on a Euclidean space R^d${\mathbb{R}}^d$ has Lebesgue measure zero, provided k≥d$k\ge d$. This result is hereby extended for (generalized) critical values of continuous selections over a compactly indexed countable family of C^k$C^k$ functions: it is shown that these functions are Lipschitz continuous and the set of their Clarke critical values is null.     

Some of Melvin Henriksen?s contributions to spaces of ideals

The three of us have written this note to discuss Mel Henriksen?s joint paper with us, Joincompact spaces, continuous lattices andC^?-algebras. In this paper we learned that the space of closed primal ideals of a C^?-algebra is a continuous lattice, so it is joincompact when equipped with the lower and Scott topologies. In addition to its mathematics, we discuss how Mel brought us into this work, and his and its continuing influence on us.     

Topological stability for conservative systems

We prove that the C¹ interior of the set of all topologically stable C¹ incompressible flows is contained in the set of Anosov incompressible flows. Moreover, we obtain an analogous result for the discrete-time case.     

Noncommutative Chern Characters of Compact Lie Group C*-Algebras

For compact Lie groups, the Chern characters K^*(G) Q H^* _DR(G;Q) have been already constructed. In this paper, we construct and study the corresponding noncommutative Chern characters. They are homomorphisms ch_C*: K_*(C^*(G)) from quantum K-groups into entire current periodic cyclic homology groups of group C^*-algebras. We also obtain the corresponding algebraic version ch_alg: K_*(C^*(G)) HP_*(C^*(G)), which can be identified with the classical Chern character K_* (C(T)) HP_* (C(T)), where T is the maximal torus of G.