A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Conformal structures and twistors in the paravector model of spacetime

Some properties of the Clifford algebras Cl-3,Cl-0, Cl-1,Cl-3, Cl-4,Cl-1 similar or equal to C circle times Cl-1,Cl-3 and Cl-2,Cl-4 are presented, and three isomorphisms between the Dirac-Clifford algebra C circle times Cl-1,Cl-3 and Cl-4,Cl-1 are exhibited, in order to construct conformal maps and twistors, using the paravector model of spacetime. The isomorphism between the twistor space inner product isometry group SU( 2,2) and the group $pin(+)(2,4) is also investigated, in the light of a suitable isomorphism between C circle times Cl-1,Cl-3 and Cl-4,Cl-1. After reviewing the conformal spacetime structure, conformal maps are described in Minkowski spacetime as the twisted adjoint representation of $ pin(+)(2,4), acting on paravectors. Twistors are then presented via the paravector model of Clifford algebras and related to conformal maps in the Clifford algebra over the Lorentzian R-4,(1) spacetime.We construct twistors in Minkowski spacetime as algebraic spinors associated with the Dirac-Clifford algebra C circle times Cl-1,Cl-3 using one lower spacetime dimension than standard Clifford algebra formulations, since for this purpose, the Clifford algebra over R-4,R-1 is also used to describe conformal maps, instead of R-2,(4). Our formalism sheds some new light on the use of the paravector model and generalizations.

Drinfeld twists and symmetric Bethe vectors of supersymmetric fermion models

We construct the Drinfeld twists ( factorizing F-matrices) of the gl(m-n)-invariant fermion model. Completely symmetric representation of the pseudo-particle creation operators of the model are obtained in the basis provided by the F-matrix ( the F-basis). We resolve the hierarchy of the nested Bethe vectors in the F-basis for the gl(m-n) supersymmetric model.

Single side damage simulations and detection in beam-like structures

Beam-like structures are the most common components in real engineering, while single side damage is often encountered. In this study, a numerical analysis of single side damage in a free-free beam is analysed with three different finite element models; namely solid, shell and beam models for demonstrating their performance in simulating real structures. Similar to experiment, damage is introduced into one side of the beam, and natural frequencies are extracted from the simulations and compared with experimental and analytical results. Mode shapes are also analysed with modal assurance criterion. The results from simulations reveal a good performance of the three models in extracting natural frequencies, and solid model performs better than shell while shell model performs better than beam model under intact state. For damaged states, the natural frequencies captured from solid model show more sensitivity to damage severity than shell model and shell model performs similar to the beam model in distinguishing damage. The main contribution of this paper is to perform a comparison between three finite element models and experimental data as well as analytical solutions. The finite element results show a relatively well performance.

Biased diffusion in confined media: Test of the Fick-Jacobs approximation and validity criteria

We study biased, diffusive transport of Brownian particles through narrow, spatially periodic structures in which the motion is constrained in lateral directions. The problem is analyzed under the perspective of the Fick-Jacobs equation, which accounts for the effect of the lateral confinement by introducing an entropic barrier in a one-dimensional diffusion. The validity of this approximation, based on the assumption of an instantaneous equilibration of the particle distribution in the cross section of the structure, is analyzed by comparing the different time scales that characterize the problem. A validity criterion is established in terms of the shape of the structure and of the applied force. It is analytically corroborated and verified by numerical simulations that the critical value of the force up to which this description holds true scales as the square of the periodicity of the structure. The criterion can be visualized by means of a diagram representing the regions where the Fick-Jacobs description becomes inaccurate in terms of the scaled force versus the periodicity of the structure.

Structures algébriques, systèmes superintégrables et polynômes orthogonaux

Cette thèse est divisée en cinq parties portant sur les thèmes suivants: l’interprétation physique et algébrique de familles de fonctions orthogonales multivariées et leurs applications, les systèmes quantiques superintégrables en deux et trois dimensions faisant intervenir des opérateurs de réflexion, la caractérisation de familles de polynômes orthogonaux appartenant au tableau de Bannai-Ito et l’examen des structures algébriques qui leurs sont associées, l’étude de la relation entre le recouplage de représentations irréductibles d’algèbres et de superalgèbres et les systèmes superintégrables, ainsi que l’interprétation algébrique de familles de polynômes multi-orthogonaux matriciels. Dans la première partie, on développe l’interprétation physico-algébrique des familles de polynômes orthogonaux multivariés de Krawtchouk, de Meixner et de Charlier en tant qu’éléments de matrice des représentations unitaires des groupes SO(d+1), SO(d,1) et E(d) sur les états d’oscillateurs. On détermine les amplitudes de transition entre les états de l’oscillateur singulier associés aux bases cartésienne et polysphérique en termes des polynômes multivariés de Hahn. On examine les coefficients 9j de su(1,1) par le biais du système superintégrable générique sur la 3-sphère. On caractérise les polynômes de q-Krawtchouk comme éléments de matrices des «q-rotations» de U_q(sl_2). On conçoit un réseau de spin bidimensionnel qui permet le transfert parfait d’états quantiques à l’aide des polynômes de Krawtchouk à deux variables et on construit un modèle discret de l’oscillateur quantique dans le plan à l’aide des polynômes de Meixner bivariés. Dans la seconde partie, on étudie les systèmes superintégrables de type Dunkl, qui font intervenir des opérateurs de réflexion. On examine l’oscillateur de Dunkl en deux et trois dimensions, l’oscillateur singulier de Dunkl dans le plan et le système générique sur la 2-sphère avec réflexions. On démontre la superintégrabilité de chacun de ces systèmes. On obtient leurs constantes du mouvement, on détermine leurs algèbres de symétrie et leurs représentations, on donne leurs solutions exactes et on détaille leurs liens avec les polynômes orthogonaux du tableau de Bannai-Ito. Dans la troisième partie, on caractérise deux familles de polynômes du tableau de Bannai-Ito: les polynômes de Bannai-Ito complémentaires et les polynômes de Chihara. On montre également que les polynômes de Bannai-Ito sont les coefficients de Racah de la superalgèbre osp(1,2). On détermine l’algèbre de symétrie des polynômes duaux -1 de Hahn dans le cadre du problème de Clebsch-Gordan de osp(1,2). On propose une q - généralisation des polynômes de Bannai-Ito en examinant le problème de Racah pour la superalgèbre quantique osp_q(1,2). Finalement, on montre que la q -algèbre de Bannai-Ito sert d’algèbre de covariance à osp_q(1,2). Dans la quatrième partie, on détermine le lien entre le recouplage de représentations des algèbres su(1,1) et osp(1,2) et les systèmes superintégrables du deuxième ordre avec ou sans réflexions. On étudie également les représentations des algèbres de Racah-Wilson et de Bannai-Ito. On montre aussi que l’algèbre de Racah-Wilson sert d’algèbre de covariance quadratique à l’algèbre de Lie sl(2). Dans la cinquième partie, on construit deux familles explicites de polynômes d-orthogonaux basées sur su(2). On étudie les états cohérents et comprimés de l’oscillateur fini et on caractérise une famille de polynômes multi-orthogonaux matriciels.

TRANSPORT IN A BILAYER SYSTEM AT HIGH LANDAU FILLING FACTOR

We have studied Shubnikov de Haas oscillations and the quantum Hall effect in GaAs-double well structures in tilted magnetic fields. We found strong magnetoresistance oscillations as a function of an in-plane magnetic field B(parallel to) at nu = 4N + 3 and nu = 4N + 1 filling factors. At low perpendicular magnetic field B(perpendicular to), the amplitude of the conventional Shubnikov-de Haas (SdH) oscillations also exhibits B(parallel to)-periodic dependence at fixed values of B(perpendicular to). We interpret the observed oscillations as a manifestation of the interference between cyclotron orbits in different quantum wells.

Negative even grade mKdV hierarchy and its soliton solutions

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

Development and applications of three-dimensional gamma ray tomography system using ray casting volume rendering techniques

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

Non-Abelian Sugawara construction and the q-deformed N=2 superconformal algebra

The construction of a q-deformed N = 2 superconformal algebra is proposed in terms of level-1 currents of the U-q(<(su)over cap>(2)) quantum affine Lie algebra and a single real Fermi field. In particular, it suggests the expression for the q-deformed energy-momentum tensor in the Sugawara form. Its constituents generate two isomorphic quadratic algebraic structures. The generalization to U-q(<(su)over cap>(N + 1)) is also proposed.

Causal propagators for algebraic gauges

Applying the principle of analytic extension for generalized functions we derive causal propagators for algebraic non-covariant gauges. The so-generated manifestly causal gluon propagator in the light-cone gauge is used to evaluate two one-loop Feynman integrals which appear in the computation of the three-gluon vertex correction. The result is in agreement with that obtained through the usual prescriptions.

GREEN-FUNCTION FOR A SPIN-1/2 PARTICLE IN AN EXTERNAL PLANE-WAVE ELECTROMAGNETIC-FIELD

The Green function for a spin-1/2 charged particle in the presence of an external plane wave electromagnetic field is calculated by algebraic techniques in terms of the free-particle Green function.

Flag-dipole spinor fields in ESK gravities

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

Progress in the mathematical theory of quantum disordered systems

We review recent progress in the mathematical theory of quantum disordered systems: the Anderson transition, including some joint work with Marchetti, the (quantum and classical) Edwards-Anderson (EA) spin-glass model and return to equilibrium for a class of spin-glass models, which includes the EA model initially in a very large transverse magnetic field. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4770066]

Classifying A-field and B-field configurations in the presence of D-branes. Part II: Stacks of D-branes

In the paper of Bonora et al. (2008) [3] we have shown, in the context of type II superstring theory, the classification of the allowed B-field and A-field configurations in the presence of anomaly-free D-branes, the mathematical framework being provided by the geometry of gerbes. Here we complete the discussion considering in detail the case of a stack of D-branes, carrying a non-abelian gauge theory, which was just sketched in Bonora et al. (2008) [3]. In this case we have to mix the geometry of abelian gerbes, describing the B-field, with the one of higher-rank bundles, ordinary or twisted. We describe in detail the various cases that arise according to such a classification, as we did for a single D-brane, showing under which hypotheses the A-field turns out to be a connection on a canonical gauge bundle. We also generalize to the non-abelian setting the discussion about "gauge bundles with non-integral Chern classes", relating them to twisted bundles with connection. Finally, we analyze the geometrical nature of the Wilson loop for each kind of gauge theory on a D-brane or stack of D-branes.