Killing tensors as irreducible representations of the general linear group

We show that the vector space of fixed valence Killing tensors on a space of constant curvature is naturally isomorphic to a certain highest weight, irreducible representation of the general linear group. The isomorphism is equivariant in the sense that the natural action of the isometry group corresponds to the restriction of the linear action to the appropriate subgroup. As an application, we deduce the Delong–Takeuchi–Thompson formula on the dimension of the vector space of Killing tensors from the classical Weyl dimension formula. To cite this article: R.G. McLenaghan et al., C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Electronic structure and vibrational spectra of cis-diammine(orotato)platinum(II), a potential cisplatin analogue: DFT and experimental study

Orotic acid (vitamin B₁₃) is a key intermediate in biosynthesis of the pyrimidine nucleotides in living organisms, moreover, it may serve as the biological carrier for some metal ions. cis-Diammine(orotato)platinum(II), cis-[Pt(C₅H₂N₂O₄)(NH₃)₂] can be considered as a new potential cisplatin analogue. The FT-Raman and FT-IR spectra of the title complex are reported, for the first time. The molecular structure, vibrational frequencies, and the theoretical infrared and Raman intensities have been calculated by the density functional mPW1PW91 method. The detailed vibrational assignment has been made on the basis of the calculated potential energy distribution. The theoretically predicted IR and Raman spectra show very good agreement with experiment. Natural bond orbital (NBO) analyses were performed for cisplatin, carboplatin and the title complex. The results provided new data on the nature of platinum–ligand bonding in these compounds. Strong intramolecular hydrogen bond between the orotate ligand and the coordinated ammonia group stabilizes the structure of the platinum(II) complex. Thus, it is suggested that the orotate ligand in the title complex is more inert to the substitution reactions than the chloride ligands in cisplatin.     

Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

On theK-property of some planar hyperbolic billiards

TheK-property is demonstrated for a class of planar billiards satisfying Wojtkowski's principles. Their boundary may consist of convex-scattering, concave and linear pieces. Earlier Wojtkowski showed that these billards had non-zero Lyapunov exponents.     

Support vector machine via nonlinear rescaling method

In this paper we construct the linear support vector machine (SVM) based on the nonlinear rescaling (NR) methodology (see [Polyak in Math Program 54:177–222, 1992; Polyak in Math Program Ser A 92:197–235, 2002; Polyak and Teboulle in Math Program 76:265–284, 1997] and references therein). The formulation of the linear SVM based on the NR method leads to an algorithm which reduces the number of support vectors without compromising the classification performance compared to the linear soft-margin SVM formulation. The NR algorithm computes both the primal and the dual approximation at each step. The dual variables associated with the given data-set provide important information about each data point and play the key role in selecting the set of support vectors. Experimental results on ten benchmark classification problems show that the NR formulation is feasible. The quality of discrimination, in most instances, is comparable to the linear soft-margin SVM while the number of support vectors in several instances were substantially reduced.     

Frames and the Feichtinger conjecture

We show that the conjectured generalization of the Bourgain-Tzafriri restricted-invertibility theorem is equivalent to the conjecture of Feichtinger, stating that every bounded frame can be written as a finite union of Riesz basic sequences. We prove that any bounded frame can at least be written as a finite union of linearly independent sequences. We further show that the two conjectures are implied by the paving conjecture. Finally, we show that Weyl-Heisenberg frames over rational lattices are finite unions of Riesz basic sequences.