Elétrons fortemente correlacionados na vizinhança de uma transição de fase quântica

The aim of this work is to derive theWard Identity for the low energy effective theory of a fermionic system in the presence of a hyperbolic Fermi surface coupled with a U(1) gauge field in 2+1 dimensions. These identities are important because they establish requirements for the theory to be gauge invariant. We will see that the identity associated Ward Identity (WI) of the model is not preserved at 1-loop order. This feature signalizes the presence of a quantum anomaly. In other words, a classical symmetry is broken dynamically by quantum fluctuations. Furthermore, we are considering that the system is close to a Quantum Phase Transitions and in vicinity of a Quantum Critical Point the fermionic excitations near the Fermi surface, decay through a Landau damping mechanism. All this ingredients need to be take explicitly to account and this leads us to calculate the vertex corrections as well as self energies effects, which in this way lead to one particle propagators which have a non-trivial frequency dependence

Minimum size for the occurrence of vortex matter in a square mesoscopic superconductor

The study of superconducting samples in mesoscopic scale presented a remarkable improvement during the last years. Certainly, such interest is based on the fact that when the size of the samples is close to the order of the temperature dependent coherence length xi(T), and/or the size of the penetration depth lambda(T), there are some significant modifications on the physical properties of the superconducting state. This contribution tests the square cross-section size limit for the occurrence (or not) of vortices in mesoscopic samples of area L-2, where L varies discretely from 1 xi(0) to 8 xi(0).The time dependent Ginzburg-Landau (TDGL) equations approach is used upon taking the order parameter and the local magnetic field invariant along the z-direction. The vortex configurations at the equilibrium can be obtained from the TDGL equations for superconductivity as the system relaxes to the stationary state.The obtained results show that the limit of vortex penetration is for the square sample of size 3 xi(0) x 3 xi(0) in which only a single vortex are allowed into the sample. For smaller specimens, no vortex can be formed and the field entrance into the sample is continuous and the total flux penetration occurs at higher values of H/H-c2(0), where H-c2(T) is the upper critical field. Otherwise, for larger samples different vortices patterns can be observed depending on the sample size. (c) 2007 Elsevier B.V. All rights reserved.

On retarded differential equations with impulses

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

Métodos numéricos para resolução de equações diferenciais ordinárias lineares baseados em interpolação por spline

In this work we have elaborated a spline-based method of solution of inicial value problems involving ordinary differential equations, with emphasis on linear equations. The method can be seen as an alternative for the traditional solvers such as Runge-Kutta, and avoids root calculations in the linear time invariant case. The method is then applied on a central problem of control theory, namely, the step response problem for linear EDOs with possibly varying coefficients, where root calculations do not apply. We have implemented an efficient algorithm which uses exclusively matrix-vector operations. The working interval (till the settling time) was determined through a calculation of the least stable mode using a modified power method. Several variants of the method have been compared by simulation. For general linear problems with fine grid, the proposed method compares favorably with the Euler method. In the time invariant case, where the alternative is root calculation, we have indications that the proposed method is competitive for equations of sifficiently high order.

Multiflavor soldering

In two dimensions the simple addition of two chiral bosons of opposite chiralities does not lead to a full massless scalar field. Similarly, in three dimensions the addition of two Maxwell-Chern-Simons fields of opposite helicities +/- 1 will not produce a parity invariant Maxwell-Proca theory. An interference term between the opposite chiralities (helicities) states is required in order to obtain the expected result. The so-called soldering procedure provides the missing interference Lagrangian in both 2D and 3D cases. In two dimensions such interference term allows to fuse two chiral fermionic determinants into, a non-chiral one. In a recent work we have generalized this procedure by allowing the appearance of an extra parameter which takes two possible values and leads to two different soldered Lagrangians. Here we apply this generalized soldering in a bosonic theory which has appeared in a partial bosonization of the 3D gauged Thirring model with N flavors. The multiplicity of flavors allow new types of solderings and help us to understand the connection between different perturbative approaches to bosonization in 3D. In particular, we obtain an interference term which takes us from a multiflavor Niaxwell-Chern-Simons theory to a pair of self-dual and anti-self-dual theories when we combine together both fermionic determinants of +1/2 and -1/2 helicity fermions. An important role is played by a set of pure non-interacting Chern-Simons fields which amount to a normalization factor in the fermionic determinants and act like spectators in the original theory but play an active role in the soldering procedure. Our results suggest that the generalized soldering could be used to provide dual theories in both 2D and 3D cases. (c) 2007 Elsevier B.V. All rights reserved.

Generalized duality between local vector theories in D=2+1

The existence of an interpolating master action does not guarantee the same spectrum for the interpolated dual theories. In the specific case of a generalized self-dual (GSD) model defined as the addition of the Maxwell term to the self-dual model in D = 2 + 1, previous master actions have furnished a dual gauge theory which is either nonlocal or contains a ghost mode. Here we show that by reducing the Maxwell term to first order by means of an auxiliary field we are able to define a master action which interpolates between the GSD model and a couple of non-interacting Maxwell-Chern-Simons theories of opposite helicities. The presence of an auxiliary field explains the doubling of fields in the dual gauge theory. A generalized duality transformation is defined and both models can be interpreted as self-dual models. Furthermore, it is shown how to obtain the gauge invariant correlators of the non-interacting MCS theories from the correlators of the self-dual field in the GSD model and vice-versa. The derivation of the non-interacting MCS theories from the GSD model, as presented here, works in the opposite direction of the soldering approach.

Dual descriptions of spin-two massive particles in D=2+1 via master actions

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Duality of parity doublets of helicity +/- 2 in D=2+1 dimensions

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Mitigation of symmetry condition in positive realness for adaptive control

Feasibility of nonlinear and adaptive control methodologies in multivariable linear time-invariant systems with state-space realization (A, B, C) is apparently limited by the standard strictly positive realness conditions that imply that the product CB must be positive definite symmetric. This paper expands the applicability of the strictly positive realness conditions used for the proofs of stability of adaptive control or control with uncertainty by showing that the not necessarily symmetric CB is only required to have a diagonal Jordan form and positive eigenvalues. The paper also shows that under the new condition any minimum-phase systems can be made strictly positive real via constant output feedback. The paper illustrates the usefulness of these extended properties with an adaptive control example. (C) 2006 Elsevier Ltd. All rights reserved.

Stabilizability and Disturbance Rejection with State-Derivative Feedback

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Dynamic Tracking with Zero Variation and Disturbance Rejection Applied to Discrete-Time Systems

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

A simple method for choosing the parameters of a two degree-of-freedom tuned vibration absorber

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

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Controlador adaptativo backstepping a estrutura variavel com Observadores de estado

This research aims at developing a variable structure adaptive backstepping controller (VS-ABC) by using state observers for SISO (Single Input Single Output), linear and time invariant systems with relative degree one. Therefore, the lters were replaced by a Luenberger Adaptive Observer and the control algorithm uses switching laws. The presented simulations compare the controller performance, considering when the state variables are estimated by an observer, with the case that the variables are available for measurement. Even with numerous performance advantages, adaptive backstepping controllers still have very complex algorithms, especially when the system state variables are not measured, since the use of lters on the plant input and output is not something trivial. As an attempt to make the controller design more intuitive, an adaptive observer as an alternative to commonly used K lters can be used. Furthermore, since the states variables are considered known, the controller has a reduction on the dependence of the unknown plant parameters on the design. Also, switching laws could be used in the controller instead of the traditional integral adaptive laws because they improve the system transient performance and increase the robustness against external disturbances in the plant input

Controle adaptativo por modelo de referencia e estrutura variável discreto no tempo

With the technology progess, embedded systems using adaptive techniques are being used frequently. One of these techniques is the Variable Structure Model- Reference Adaptive Control (VS-MRAC). The implementation of this technique in embedded systems, requires consideration of a sampling period which if not taken into consideration, can adversely affect system performance and even takes the system to instability. This work proposes a stability analysis of a discrete-time VS-MRAC accomplished for SISO linear time-invariant plants with relative degree one. The aim is to analyse the in uence of the sampling period in the system performance and the relation of this period with the chattering and system instability