DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Unitarity and nonrelativistic potential energy in a higher-order Lorentz symmetry breaking electromagnetic model

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

Higher order turán inequalities for the Riemann ξ-function

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

THE REDUCTIVE PERTURBATION METHOD AND THE KORTEWEG-DE VRIES HIERARCHY

By using the reductive perturbation method of Taniuti with the introduction of an infinite sequence of slow time variables tau(1), tau(3), tau(5), ..., we study the propagation of long surface-waves in a shallow inviscid fluid. The Korteweg-de Vries (KdV) equation appears as the lowest order amplitude equation in slow variables. In this context, we show that, if the lowest order wave amplitude zeta(0) satisfies the KdV equation in the time tau(3), it must satisfy the (2n+1)th order equation of the KdV hierarchy in the time tau(2n+1), With n = 2, 3, 4,.... AS a consequence of this fact, we show with an explicit example that the secularities of the evolution equations for the higher-order terms (zeta(1), zeta(2),...) of the amplitude can be eliminated when zeta(0) is a solitonic solution to the KdV equation. By reversing this argument, we can say that the requirement of a secular-free perturbation theory implies that the amplitude zeta(0) satisfies the (2n+1)th order equation of the KdV hierarchy in the time tau(2n+1) This essentially means that the equations of the KdV hierarchy do play a role in perturbation theory. Thereafter, by considering a solitary-wave solution, we show, again with an explicit, example that the elimination of secularities through the use of the higher order KdV hierarchy equations corresponds, in the laboratory coordinates, to a renormalization of the solitary-wave velocity. Then, we conclude that this procedure of eliminating secularities is closely related to the renormalization technique developed by Kodama and Taniuti.

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.

Massive spin-2 particles via embedment of the Fierz-Pauli equations of motion

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

Second order gauge theory

A gauge theory of second order in the derivatives of the auxiliary field is constructed following Utiyama's program. A novel field strength G = partial derivative F + fAF arises besides the one of the first order treatment, F = partial derivative A - partial derivative A + fAA. The associated conserved current is obtained. It has a new feature: topological terms are determined from local invariance requirements. Podolsky Generalized Eletrodynamics is derived as a particular case in which the Lagrangian of the gauge field is L-P alpha G(2). In this application the photon mass is estimated. The SU(N) infrared regime is analysed by means of Alekseev-Arbuzov-Baikov's Lagrangian. (c) 2006 Elsevier B.V. All rights reserved.

Hamilton-Jacobi approach for first order actions and theories with higher derivatives

In this work, we analyze systems described by Lagrangians with higher order derivatives in the context of the Hamilton-Jacobi formalism for first order actions. Two different approaches are studied here: the first one is analogous to the description of theories with higher derivatives in the hamiltonian formalism according to [D.M. Gitman, S.L. Lyakhovich, I.V. Tyutin, Soviet Phys. J. 26 (1983) 730; D.M. Gitman, I.V. Tyutin, Quantization of Fields with Constraints, Springer-Verlag, New York, Berlin, 1990] the second treats the case where degenerate coordinate are present, in an analogy to reference [D.M. Gitman, I.V. Tyutin, Nucl. Phys. B 630 (2002) 509]. Several examples are analyzed where a comparison between both approaches is made. (C) 2007 Elsevier B.V. All rights reserved.

Structural and Electric-Optical Properties of Zinc Phthalocyanine Evaporated Thin Films: Temperature and Thickness Effects

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

A combination of implicit and adaptative upwind tools for the numerical solution of incompressible free surface flows

This paper is concerned with the numerical solutions of time dependent two-dimensional incompressible flows. By using the primitive variables of velocity and pressure, the Navier-Stokes and mass conservation equations are solved by a semi-implicit finite difference projection method. A new bounded higher order upwind convection scheme is employed to deal with the non-linear (advective) terms. The procedure is an adaptation of the GENSMAC (J. Comput. Phys. 1994; 110: 171-186) methodology for calculating confined and free surface fluid flows at both low and high Reynolds numbers. The calculations were performed by using the 2D version of the Freeflow simulation system (J. Comp. Visual. Science 2000; 2:199-210). In order to demonstrate the capabilities of the numerical method, various test cases are presented. These are the fully developed flow in a channel, the flow over a backward facing step, the die-swell problem, the broken dam flow, and an impinging jet onto a flat plate. The numerical results compare favourably with the experimental data and the analytical solutions. Copyright (c) 2006 John Wiley & Sons, Ltd.

Inequalities for zeros of associated polynomials and derivatives of orthogonal polynomials

It is well known and easy to see that the zeros of both the associated polynomial and the derivative of an orthogonal polynomial p(n)(x) interlace with the zeros of p(n)(x) itself. The natural question of how these zeros interlace is under discussion. We give a sufficient condition for the mutual location of kth, 1 less than or equal to k less than or equal to n - 1, zeros of the associated polynomial and the derivative of an orthogonal polynomial in terms of inequalities for the corresponding Cotes numbers. Applications to the zeros of the associated polynomials and the derivatives of the classical orthogonal polynomials are provided. Various inequalities for zeros of higher order associated polynomials and higher order derivatives of orthogonal polynomials are proved. The results involve both classical and discrete orthogonal polynomials, where, in the discrete case, the differential operator is substituted by the difference operator. (C) 2001 IMACS. Published by Elsevier B.V. B.V. All rights reserved.

Charges and fluxes in Maxwell theory on compact manifolds with boundary

We investigate the charges and fluxes that can occur in higher-order Abelian gauge theories defined on compact space-time manifolds with boundary. The boundary is necessary to supply a destination to the electric lines of force emanating from brane sources, thus allowing non-zero net electric charges, but it also introduces new types of electric and magnetic flux. The resulting structure of currents, charges, and fluxes is studied and expressed in the language of relative homology and de Rham cohomology and the corresponding abelian groups. These can be organised in terms of a pair of exact sequences related by the Poincare-Lefschetz isomorphism and by a weaker flip symmetry exchanging the ends of the sequences. It is shown how all this structure is brought into play by the imposition of the appropriately generalised Maxwell's equations. The requirement that these equations be integrable restricts the world-volume of a permitted brane (assumed closed) to be homologous to a cycle on the boundary of space-time. All electric charges and magnetic fluxes are quantised and satisfy the Dirac quantisation condition. But through some boundary cycles there may be unquantised electric fluxes associated with quantised magnetic fluxes and so dyonic in nature.

Cosmic acceleration from second order gauge gravity

We construct a phenomenological theory of gravitation based on a second order gauge formulation for the Lorentz group. The model presents a long-range modification for the gravitational field leading to a cosmological model provided with an accelerated expansion at recent times. We estimate the model parameters using observational data and verify that our estimative for the age of the Universe is of the same magnitude than the one predicted by the standard model. The transition from the decelerated expansion regime to the accelerated one occurs recently (at similar to 9.3 Gyr).

LIMITS on THE COUPLING CONSTANT of HIGHER-DERIVATIVE ELECTROMAGNETISM

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

New class of spin projection operators for 3D models

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