Galois orders in skew monoid rings

We introduce a new class of noncommutative rings - Galois orders, realized as certain subrings of invariants in skew semigroup rings, and develop their structure theory. The class of Calms orders generalizes classical orders in noncommutative rings and contains many important examples, such as the Generalized Weyl algebras, the universal enveloping algebra of the general linear Lie algebra, associated Yangians and finite W-algebras (C) 2010 Elsevier Inc All rights reserved

An algebraic theory for generalized Jordan chains and partial signatures in the Lagrangian Grassmannian

We discuss an algebraic theory for generalized Jordan chains and partial signatures, that are invariants associated to sequences of symmetric bilinear forms on a vector space. We introduce an intrinsic notion of partial signatures in the Lagrangian Grassmannian of a symplectic space that does not use local coordinates, and we give a formula for the Maslov index of arbitrary real analytic paths in terms of partial signatures.

Abelian torsion groups with a countably compact group topology

Comfort and Remus [W.W. Comfort, D. Remus, Abelian torsion groups with a pseudo-compact group topology, Forum Math. 6 (3) (1994) 323-337] characterized algebraically the Abelian torsion groups that admit a pseudocompact group topology using the Ulm-Kaplansky invariants. We show, under a condition weaker than the Generalized Continuum Hypothesis, that an Abelian torsion group (of any cardinality) admits a pseudocompact group topology if and only if it admits a countably compact group topology. Dikranjan and Tkachenko [D. Dikranjan. M. Tkachenko, Algebraic structure of small countably compact Abelian groups, Forum Math. 15 (6) (2003) 811-837], and Dikranjan and Shakhmatov [D. Dikranjan. D. Shakhmatov, Forcing hereditarily separable compact-like group topologies on Abelian groups, Topology Appl. 151 (1-3) (2005) 2-54] showed this equivalence for groups of cardinality not greater than 2(c). We also show, from the existence of a selective ultrafilter, that there are countably compact groups without non-trivial convergent sequences of cardinality kappa(omega), for any infinite cardinal kappa. In particular, it is consistent that for every cardinal kappa there are countably compact groups without non-trivial convergent sequences whose weight lambda has countable cofinality and lambda > kappa. (C) 2009 Elsevier B.V. All rights reserved.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

On the global dynamics of the Rabinovich system

In this paper by using the Poincare compactification in R(3) make a global analysis of the Rabinovich system(x) over dot = hy - v(1)x + yz, (y) over dot = hx - v(2)y - xz, (z) over dot = -v(3)z + xy,with (x, y, z) is an element of R(3) and ( h, v(1), v(2), v(3)) is an element of R(4). We give the complete description of its dynamics on the sphere at infinity. For ten sets of the parameter values the system has either first integrals or invariants. For these ten sets we provide the global phase portrait of the Rabinovich system in the Poincare ball (i.e. in the compactification of R(3) with the sphere S(2) of the infinity). We prove that for convenient values of the parameters the system has two families of singularly degenerate heteroclinic cycles. Then changing slightly the parameters we numerically found a four wings butterfly shaped strange attractor.

CP violation conditions in N-Higgs-doublet potentials

Conditions for CP violation in the scalar potential sector of general N-Higgs-doublet models are analyzed from a group theoretical perspective. For the simplest two-Higgs-doublet model potential, a minimum set of conditions for explicit and spontaneous CP violation is presented. The conditions can be given a clear geometrical interpretation in terms of quantities in the adjoint representation of the basis transformation group for the two doublets. Such conditions depend on CP-odd pseudoscalar invariants. When the potential is CP invariant, the explicit procedure to reach the real CP-basis and the explicit CP transformation can also be obtained. The procedure to find the real basis and the conditions for CP violation are then extended to general N-Higgs-doublet model potentials. The analysis becomes more involved and only a formal procedure to reach the real basis is found. Necessary conditions for CP invariance can still be formulated in terms of group invariants: the CP-odd generalized pseudoscalars. The problem can be completely solved for three Higgs-doublets.

On equivalence of Duffin-Kemmer-Petiau and Klein-Gordon equations

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A statistical law for multiplicities of SU(3) irreps (lambda, mu) in the plethysm {eta} circle times(3) {m} -> (lambda, mu)

A statistical law for the multiplicities of the SU(3) irreps (lambda, mu) in the reduction of totally symmetric irreducible representations {m} of U(N), N = (eta + 1) (eta + 2)/2 with eta being the three-dimensional oscillator major shell quantum number, is derived in terms of the quadratic and cubic invariants of SU(3), by determining the first three terms of an asymptotic expansion for the multiplicities. To this end, the bivariate Edgeworth expansion known in statistics is used. Simple formulae, in terms of m and eta, for all the parameters in the expansion are derived. Numerical tests with large m and eta = 4, 5 and 6 show good agreement with the statistical formula for the SU(3) multiplicities.

The cohomology of superspace, pure spinors and invariant integrals

The superform construction of supersymmetric invariants, which consists of integrating the top component of a closed superform over spacetime, is reviewed. The cohomological methods necessary for the analysis of closed superforms are discussed and some further theoretical developments presented. The method is applied to higher-order corrections in heterotic string theory up to alpha'(3). Some partial results on N = 2, d = 10 and N = 1, d = 11 are also given.

Pesquisa em Modelagem Matemática no Brasil: a caminho de uma metacompreensão

Este estudo visou analisar as pesquisas em Modelagem Matemática na área da Educação Matemática no Brasil, investigando os trabalhos que adotam esse enfoque, publicados nos anais do 3º. Seminário Internacional de Pesquisa em Educação Matemática, em 2007. A postura assumida é a fenomenológica, e as interpretações são pautadas no movimento hermenêutico, que aponta para uma metacompreensão do tema. Os núcleos de ideias emergem dos invariantes articulados no processo de efetuar convergências, como, por exemplo, a pesquisa que se centra prioritariamente nos modos pelos quais o professor trabalha tópicos de conteúdos matemáticos com o recurso da modelagem. Esse invariante elucidativo pode indicar fragilidades quando os pesquisadores permanecem apenas no como fazer; pode também indicar possibilidades de compreender concepções e sua conversão em práticas desenvolvidas em sala de aula.

On the geometry of non-classical curves

In this paper we relate the numerical invariants attached to a projective curve, called the order sequence of the curve, to the geometry of the varieties of tangent linear spaces to the curve and to the Gauss maps of the curve. © 1992 Sociedade Brasileira de Matemática.

Equivalence of the Duffin-Kemmer-Petiau and Klein-Gordon-Fock equations

A strict proof of the equivalence of the Duffin-Kemmer-Petiau and Klein-Gordon Fock theories is presented for physical S-matrix elements in the case of charged scalar particles minimally interacting with an external or quantized electromagnetic field. The Hamiltonian canonical approach to the Duffin - Kemmer Petiau theory is first developed in both the component and the matrix form. The theory is then quantized through the construction of the generating functional for the Green's functions, and the physical matrix elements of the S-matrix are proved to be relativistic invariants. The equivalence of the two theories is then proved for the matrix elements of the scattered scalar particles using the reduction formulas of Lehmann, Symanzik, and Zimmermann and for the many-photon Green's functions.

Comparative study of LMI-based output feedback spr synthesis for plants with different numbers of inputs and outputs

New Linear Matrix Inequalities (LMI) conditions are proposed for the following problem, called Strictly Positive Real (SPR) synthesis: given a linear time-invariant plant, find a constant output feedback matrix Ko and a constant output tandem matrix F for the controlled system to be SPR. It is assumed that the plant has the number of outputs greater than the number of inputs. Some sufficient conditions for the solution of the problem are presented and compared. These results can be directly applied in the LMI-based design of Variable Structure Control (VSC) of uncertain plants. ©2008 IEEE.

LMI-based digital redesign of linear time-invariant systems with state-derivative feedback

A simple method for designing a digital state-derivative feedback gain and a feedforward gain such that the control law is equivalent to a known and adequate state feedback and feedforward control law of a digital redesigned system is presented. It is assumed that the plant is a linear controllable, time-invariant, Single-Input (SI) or Multiple-Input (MI) system. This procedure allows the use of well-known continuous-time state feedback design methods to directly design discrete-time state-derivative feedback control systems. The state-derivative feedback can be useful, for instance, in the vibration control of mechanical systems, where the main sensors are accelerometers. One example considering the digital redesign with state-derivative feedback of a helicopter illustrates the proposed method. © 2009 IEEE.

Une décennie d'ombres et de lumières: l'Amérique Latine et les Caraibes dans les années 90

Inclut la bibliographie