COMPARISON OF THE ANOMALOUS AND NONANOMALOUS GENERALIZED SCHWINGER MODELS VIA THE FUNCTIONAL FORMALISM

We calculate the Green functions of the two versions of the generalized Schwinger model, the anomalous and the nonanomalous one, in their higher order Lagrangian density form. Furthermore, it is shown through a sequence of transformations that the bosonized Lagrangian density is equivalent to the former, at least for the bosonic correlation functions. The introduction of the sources from the beginning, leading to a gauge-invariant source term, is also considered. It is verified that the two models have the same correlation functions only if the gauge-invariant sector is taken into account. Finally, there is presented a generalization of the Wess-Zumino term, and its physical consequences are studied, in particular the appearance of gauge-dependent massive excitations.

ANOMALIES OF VARIATIONAL PHASE-SHIFTS

It is demonstrated, contrary to various claims, that the phase shifts calculated via variational principles involving the Green function may exhibit anomalous behavior. These anomalies may appear in variational principles for the K matrix (Schwinger variational principle) of potential V, for (K-V) (Kohn-type and Newton variational principles), and other variational principles of higher order (Takatsuka-McKoy variational principle).

CHIRAL SCHWINGER MODEL WITH A PODOLSKY TERM AT FINITE-TEMPERATURE

We study an exactly solvable two-dimensional model which mimics the basic features of the standard model. This model combines chiral coupling with an infrared behavior which resembles low energy QCD. This is done by adding a Podolsky higher-order derivative term in the gauge field to the Lagrangian of the usual chiral Schwinger model. We adopt a finite temperature regularization procedure in order to calculate the non-trivial fermionic Jacobian and obtain the photon and fermion propagators, first at zero temperature and then at finite temperature in the imaginary and real time formalisms. Both singular and non-singular cases, corresponding to the choice of the regularization parameter, are treated. In the nonsingular case there is a tachyonic mode as usual in a higher order derivative theory, however in the singular case there is no tachyonic excitation in the spectrum.

Hierarchical Assembly of CaMoO4 Nano-Octahedrons and Their Photoluminescence Properties

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

A theoretical study on the photoluminescence of SrTiO3

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

Fadiga de grampos de retenção em prótese parcial removível. Efeito de ligas, espessuras e técnicas de fusão. Parte II.

The authors tested the T clasp of Roach in three differents proportions among width and thickness: E1-1.7; E2-2.0 and E3-2.3, with a constant length of 15 mm. These clasps were casted with three cobalt-chromium alloys (L1-Biosil; L2-Steldent and L3-Duracrom), through two casting techniques (F1-oxygen-gas and F2-oxygen-acetylene). The fatigue of the clasps were verified by using and assay machine, that through movements, simulate the insertion and removal of the clasps for a pattern which were obtained from a premolar, prepared in a surveyor. This machine detect the fatigue of the clasps and count the number of cycles of insertion and removal realized. The obtained results of the interaction between the analysed factors, were submitted to the statistic analysis and the authors concluded that: a) the interaction of factors, Alloy x Thickness, Alloy x Casting Technique and Thickness x Casting Technique did not change the order of effects that the factors showed separately but gave rise to effects of different magnitude for any observed sense; b) the simultaneous interaction of the factors Alloy x Thickness x Casting Technique confirmed the superiority of the L3 alloy, the thickness E3 and the F2 casting technique.

Pre-weighted homogeneous map germs finite determinacy and topological triviality

In this paper we introduce the notion of G-pre-weighted homogeneous map germ, (G is one of Mather's groups A or K.) and show that any G-pre-weighted homogeneous map germ is G-finitely determined. We also give an explicit order, based on the Newton polyhedron of a pre-weighted homogeneous germ of function, such that the topological structure is preserved after perturbations by terms of higher order.

Duality of osculating developables of projective curves

We give a description of the dual varieties of all developables of osculating linear spaces to a projective curve in terms of the higher order dual varieties of the curve, in arbitrary characteristic. We also determine for these varieties the inseparable degrees of the projections from the conormal varieties onto their dual varieties.

Array of Bose-Einstein condensates under time-periodic Feshbach-resonance management

The investigation of the dynamics of a discrete soliton in an array of Bose-Einstein condensates under the action of a periodically time-modulated atomic scattering length [Feshbach-resonance management (FRM)] was discussed. The slow and rapid modulations, in comparison with the tunneling frequency were considered. An averaged equation, which was a generalized discrete nonlinear Schrödinger equation, including higher-order effective nonlinearities and intersite nonlinear interactions was derived in the case of the rapid modulation. It was demonstrated that the modulations of sufficient strength results in splitting of the soliton by direct simulations.

A constructive heuristic algorithm to Short Term Transmission Network Expansion Planning

In this paper a method for solving the Short Term Transmission Network Expansion Planning (STTNEP) problem is presented. The STTNEP is a very complex mixed integer nonlinear programming problem that presents a combinatorial explosion in the search space. In this work we present a constructive heuristic algorithm to find a solution of the STTNEP of excellent quality. In each step of the algorithm a sensitivity index is used to add a circuit (transmission line or transformer) to the system. This sensitivity index is obtained solving the STTNEP problem considering as a continuous variable the number of circuits to be added (relaxed problem). The relaxed problem is a large and complex nonlinear programming and was solved through an interior points method that uses a combination of the multiple predictor corrector and multiple centrality corrections methods, both belonging to the family of higher order interior points method (HOIPM). Tests were carried out using a modified Carver system and the results presented show the good performance of both the constructive heuristic algorithm to solve the STTNEP problem and the HOIPM used in each step.

Branch and bound algorithm for transmission network expansion planning using DC model

This paper presents an algorithm to solve the network transmission system expansion planning problem using the DC model which is a mixed non-linear integer programming problem. The major feature of this work is the use of a Branch-and-Bound (B&B) algorithm to directly solve mixed non-linear integer problems. An efficient interior point method is used to solve the non-linear programming problem at each node of the B&B tree. Tests with several known systems are presented to illustrate the performance of the proposed method. ©2007 IEEE.

Heuristic algorithm to solve the short term transmission network expansion planning

In this paper, a method for solving the short term transmission network expansion planning problem is presented. This is a very complex mixed integer nonlinear programming problem that presents a combinatorial explosion in the search space. In order to And a solution of excellent quality for this problem, a constructive heuristic algorithm is presented in this paper. In each step of the algorithm, a sensitivity index is used to add a circuit (transmission line or transformer) or a capacitor bank (fixed or variable) to the system. This sensitivity index is obtained solving the problem considering the numbers of circuits and capacitors banks to be added (relaxed problem), as continuous variables. The relaxed problem is a large and complex nonlinear programming and was solved through a higher order interior point method. The paper shows results of several tests that were performed using three well-known electric energy systems in order to show the possibility and the advantages of using the AC model. ©2007 IEEE.

Podolsky's electromagnetic theory on the null-plane

We have analyzed the null-plane canonical structure of Podolsky's electromagnetic theory. As a theory that contains higher order derivatives in the Lagrangian function, it was necessary to redefine the canonical momenta related to the field variables. We were able to find a set of first and second-class constraints, and also to derive the field equations of the system. Copyright © owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

QCD phenomenology with infrared finite SDE solutions

Recent progress in the solution of Schwinger-Dyson equations (SDE), as well as lattice simulation of pure glue QCD, indicate that the gluon propagator and coupling constant are infrared (IR) finite. We discuss how this non-perturbative information can be introduced into the QCD perturbative expansion in a consistent scheme, showing some examples of tree level hadronic reactions that successfully fit the experimental data with the gluon propagator and coupling constant depending on a dynamically generated gluon mass. This infrared mass scale acts as a natural cutoff and eliminates some of the ad hoc parameters usually found in perturbative QCD calculations. The application of these IR finite Green's functions in the case of higher order terms of the perturbative expansion is commented. © Copyright owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.