As abordagens teóricas e os formalismos para o tratamento computacional do significado lexical

No âmbito do Processamento Automático de Línguas Naturais (PLN), o desenvolvimento de recursos léxico-semânticos é premente. Ao conceber os sistemas de PLN como um exercício de engenharia da linguagem humana, acredita-se que o desenvolvimento de tais recursos pode ser beneficiado pelos modelos de representação do conhecimento, desenvolvidos pela Engenharia do Conhecimento. Esses modelos, em particular, fornecem simultaneamente o arcabouço teórico-metodológico e a metalinguagem formal para o tratamento computacional do significado das unidades lexicais. Neste artigo, após a apresentação da concepção linguístico-computacional de léxico, elucidam-se os principais paradigmas de representação do conhecimento, enfatizando a abordagem do significado e a metalinguagem formal vinculadas a cada um deles.

Objetos intencionais e existência objetiva

Neste artigo quero apontar para a possibilidade de uma ontologia da matemática que, mesmo mantendo alguns pontos em comum com o platonismo e com o construtivismo, desliga-se destes em outros pontos essenciais. Por objeto matemático entendo o foco referencial do discurso matemático, ou seja, aquilo sobre o qual a matemática fala. Entendo que a existência destes objetos é meramente intencional, presuntiva, mas, simultaneamente, objetiva, no sentido de ser uma existência comunalizada, compartilhada por todos aqueles engajados no fazer matemático. A existência objetiva das entidades matemáticas não está, entretanto, garantida de uma vez por todas, mas apenas enquanto o discurso matemático for consistente. Este é o espírito do critério de existência objetiva enunciado que, acredito, deve sustentar uma ontologia matemática sem o pressuposto da existência independente de um domínio de objetos matemáticos, sem o empobrecimento que lhe impõem as diferentes versões construtivistas e sem a aniquilação que lhe infringe o formalismo sem objetos.

Uma reflexão crítica sobre a teoria sociolinguística

Um dos postulados da linguística do início do século XX é o de que o objeto da linguística deveria identificar-se com a parte homogênea dos fenômenos observáveis. Na segunda metade desse século, a sociolinguística representou uma ruptura significativa com o formalismo teórico mediante a introdução do conceito de variável linguística, mas, ao mesmo tempo, dele se aproximou ao adotar o conceito de regra variável. Este trabalho pretende discutir criticamente essa posição encarecendo a necessidade de repropor mais plenamente o falante enquanto agente condutor de seu próprio discurso e, consequentemente, a noção de variável linguística como o espaço privilegiado da construção do significado social da linguagem.

SU(3) mixing for excited mesons

The SU(3)-flavour symmetry breaking and the quark-antiquark annihilation mechanism are taken into account for describing the singlet-octet mixing for several nonets assigned by the Particle Data Group (PDG). This task is approached with the mass matrix formalism.

HIGHER-DERIVATIVE SCHWINGER MODEL

Using the operator formalism, we obtain the bosonic representation for the free fermion field satisfying an equation of motion with higher-order derivatives. Then, we consider the operator solution of a generalized Schwinger model with higher-derivative coupling. Since the increasing of the derivative order implies the introduction of an equivalent number of extra fermionic degrees of freedom, the mass acquired by the gauge field is bigger than the one for the standard two-dimensional QED. An analysis of the problem from the functional integration point of view corroborates the findings of canonical quantization, and corrects certain results previously announced in the literature on the basis of Fujikawa's technique.

Dark energy parametrizations and their effect on dark halos

There are a plethora of dark energy parametrizations that can fit current supernovae Ia data. However, these data are only sensitive to redshifts up to order one. In fact, many of these parametrizations break down at higher redshifts. In this paper we study the effect of dark energy models on the formation of dark halos. We select a couple of dark energy parametrizations which are sensible at high redshifts and compute their effect on the evolution of density perturbations in the linear and non-linear regimes. Using the Press-Schechter formalism we show that they produce distinguishable signatures in the number counts of dark halos. Therefore, future observations of galaxy clusters can provide complementary constraints on the behaviour of dark energy.

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.

REDUCTION OF TODA LATTICE HIERARCHY TO GENERALIZED KDV HIERARCHIES AND THE 2-MATRIX MODEL

Toda lattice hierarchy and the associated matrix formulation of the 2M-boson KP hierarchies provide a framework for the Drinfeld-Sokolov reduction scheme realized through Hamiltonian action within the second KP Poisson bracket. By working with free currents, which Abelianize the second KP Hamiltonian structure, we are able to obtain a unified formalism for the reduced SL(M + 1, M - k) KdV hierarchies interpolating between the ordinary KP and KdV hierarchies. The corresponding Lax operators are given as superdeterminants of graded SL(M + 1, M - k) matrices in the diagonal gauge and we describe their bracket structure and field content. In particular, we provide explicit free field representations of the associated W(M, M - k) Poisson bracket algebras generalising the familiar nonlinear W-M+1 algebra. Discrete Backlund transformations for SL(M + 1, M - k) KdV are generated naturally from lattice translations in the underlying Toda-like hierarchy. As an application we demonstrate the equivalence of the two-matrix string model to the SL(M + 1, 1) KdV hierarchy.

Casimir effect for the scalar field under Robin boundary conditions: a functional integral approach

In this work we show how to define the action of a scalar field such that the Robin boundary condition is implemented dynamically, i.e. as a consequence of the stationary action principle. We discuss the quantization of that system via functional integration. Using this formalism, we derive an expression for the Casimir energy of a massless scalar field under Robin boundary conditions on a pair of parallel plates, characterized by constants c(1) and c(2). Some special cases are discussed; in particular, we show that for some values of cl and c(2) the Casimir energy as a function of the distance between the plates presents a minimum. We also discuss the renormalization at one-loop order of the two-point Green function in the philambda(4) theory subject to the Robin boundary condition on a plate.

Multipolar polarizabilities of the sodium atom by a variationally stable procedure

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

New higher-derivative R-4 theorems for graviton scattering

The nonminimal pure spinor formalism for the superstring is used to prove two new multiloop theorems which are related to recent higher-derivative R-4 conjectures of Green, Russo, and Vanhove. The first theorem states that when 0 < n < 12, partial derivative R-n(4) terms in the Type II effective action do not receive perturbative contributions above n/2 loops. The second theorem states that when n <= 8, perturbative contributions to partial derivative R-n(4) terms in the IIA and IIB effective actions coincide. As shown by Green, Russo, and Vanhove, these results suggest that d=4 N=8 supergravity is ultraviolet finite up to eight loops.

Generalizing the soldering procedure

We start this work by revisiting the problem of the soldering of two chiral Schwinger models of opposite chiralities. We verify that, different from what one can conclude from the current literature, the usual sum of these models is, in fact, gauge invariant and corresponds to a composite model, where the component models are the vector and axial Schwinger models. As a consequence, we reinterpret this formalism as a kind of degree of freedom reduction mechanism. This result has led us to discover a second soldering possibility giving rise to the axial Schwinger model. This new result is seemingly rather general. We explore it here in the soldering of two Maxwell-Chern-Simons theories with different masses.

Hamiltonian hierarchy of pseudo-potentials

The general structure of the Hamiltonian hierarchy of the pseudo-Coulomb and pseudo-Harmonic potentials is constructed by the factorization method within the supersymmetric quantum mechanics (SQMS) formalism. The excited states and spectra of eigenfunctions of the potentials are obtained through the generation of the members of the hierarchy. It is shown that the extra centrifugal term added to the Coulomb and Harmonic potentials maintain their exact solvability.

Hamilton-Jacobi formulation for singular systems with second-order Lagrangians

Recently, the Hamilton-Jacobi formulation for first-order constrained systems has been developed. In such formalism the equations of motion are written as total differential equations in many variables. We generalize the Hamilton-Jacobi formulation for singular systems with second-order Lagrangians and apply this new formulation to Podolsky electrodynamics, comparing with the results obtained through Dirac's method.

SUPERSYMMETRY, VARIATIONAL METHOD AND HULTHEN POTENTIAL

The formalism of supersymmetric quantum mechanics provides us with the eigenfunctions to be used in the variational method to obtain the eigenvalues for the Hulthen potential.