-
Braided scalar quantum field theory
Authors:
Djordje Bogdanović,
Marija Dimitrijević Ćirić,
Voja Radovanović,
Richard J. Szabo,
Guillaume Trojani
Abstract:
We formulate scalar field theories in a curved braided $L_\infty$-algebra formalism and analyse their correlation functions using Batalin-Vilkovisky quantization. We perform detailed calculations in cubic braided scalar field theory up to two-loop order and three-point multiplicity. The divergent tadpole contributions are eliminated by a suitable choice of central curvature for the $L_\infty$-stru…
▽ More
We formulate scalar field theories in a curved braided $L_\infty$-algebra formalism and analyse their correlation functions using Batalin-Vilkovisky quantization. We perform detailed calculations in cubic braided scalar field theory up to two-loop order and three-point multiplicity. The divergent tadpole contributions are eliminated by a suitable choice of central curvature for the $L_\infty$-structure, and we confirm the absence of UV/IR mixing. The calculations of higher loop and higher multiplicity correlators in homological perturbation theory are facilitated by the introduction of a novel diagrammatic calculus. We derive an algebraic version of the Schwinger-Dyson equations based on the homological perturbation lemma, and use them to prove the braided Wick theorem.
△ Less
Submitted 13 June, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
Noncommutative Reissner-Nordström black hole from noncommutative charged scalar field
Authors:
Marija Dimitrijević Ćirić,
Tajron Jurić,
Nikola Konjik,
Andjelo Samsarov,
Ivica Smolić
Abstract:
Within the framework of noncommutative (NC) deformation of gauge field theory by twist, we first rederive the NC scalar and gauge field model from our previous papers and then generalize it to the second order in the Seiberg-Witten (SW) map. It turns out that SW expansion is finite and that it ceases at the second order in the deformation parameter, ultimately giving rise to the equation of motion…
▽ More
Within the framework of noncommutative (NC) deformation of gauge field theory by twist, we first rederive the NC scalar and gauge field model from our previous papers and then generalize it to the second order in the Seiberg-Witten (SW) map. It turns out that SW expansion is finite and that it ceases at the second order in the deformation parameter, ultimately giving rise to the equation of motion for the scalar field that is nonperturbative and exact at the same order. As a further step, we show that the effective metric put forth and constructed in our previous work satisfies the equations of Einstein-Maxwell gravity, but only within the first order of deformation and when the gauge field is fixed by the Coulomb potential of the charged black hole. Thus obtained NC deformation of the Reissner--Nordström (RN) metric appears to have an additional off-diagonal element which scales linearly with a deformation parameter. We analyze various properties of this metric.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Weighted Automata over Vector Spaces
Authors:
Nada Damljanović,
Miroslav Ćirić,
Jelena Ignjatović
Abstract:
In this paper we deal with three models of weighted automata that take weights in the field of real numbers. The first of these models are classical weighted finite automata, the second one are crisp-deterministic weighted automata, and the third one are weighted automata over a vector space. We explore the interrelationships between weighted automata over a vector space and other two models.
In this paper we deal with three models of weighted automata that take weights in the field of real numbers. The first of these models are classical weighted finite automata, the second one are crisp-deterministic weighted automata, and the third one are weighted automata over a vector space. We explore the interrelationships between weighted automata over a vector space and other two models.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Approximate State Reduction of Fuzzy Finite Automata
Authors:
Miroslav Ćirić,
Ivana Micić,
Stefan Stanimirović,
Linh Anh Nguyen
Abstract:
In this paper we introduce a new type of approximate state reductions where the behaviors of the reduced and the original automaton do not have to be identical, but they must match on all words of length less than or equal to some given natural number. We provide four methods for performing such reductions.
In this paper we introduce a new type of approximate state reductions where the behaviors of the reduced and the original automaton do not have to be identical, but they must match on all words of length less than or equal to some given natural number. We provide four methods for performing such reductions.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Noncommutative scalar field theory in a curved background: duality between noncommutative and effective commutative description
Authors:
Marija Dimitrijević Ćirić,
Nikola Konjik,
Andjelo Samsarov
Abstract:
We study a noncommutative (NC) deformation of a charged scalar field, minimally coupled to a classical (commutative) Reissner Nordstrom like background. The deformation is performed via a particularly chosen Killing twist to ensure that the geometry remains undeformed (commutative). An action describing a NC scalar field minimally coupled to the RN geometry is manifestly invariant under the deform…
▽ More
We study a noncommutative (NC) deformation of a charged scalar field, minimally coupled to a classical (commutative) Reissner Nordstrom like background. The deformation is performed via a particularly chosen Killing twist to ensure that the geometry remains undeformed (commutative). An action describing a NC scalar field minimally coupled to the RN geometry is manifestly invariant under the deformed U(1) gauge symmetry. We find the equation of motion and conclude that the same equation is obtained from the commutative theory in a modified geometrical background described by an effective metric. This correspondence we call duality between formal and effective approach. We also show that a NC deformation via semi Killing twist operator cannot be rewriten in terms of an effective metric. There is a dual description for those particular deformations.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
BV quantization of braided scalar field theory
Authors:
Djordje Bogdanović,
Marija Dimitrijević Ćirić,
Voja Radovanović,
Richard J. Szabo
Abstract:
We address the problem of UV/IR mixing in noncommutative quantum field theories from the perspective of braided $L_\infty$-structures and the Batalin-Vilkovisky formalism. We describe the example of braided noncommutative scalar field theory and its quantization using braided homological perturbation theory. The formalism is illustrated through one-loop calculations of the two-point functions for…
▽ More
We address the problem of UV/IR mixing in noncommutative quantum field theories from the perspective of braided $L_\infty$-structures and the Batalin-Vilkovisky formalism. We describe the example of braided noncommutative scalar field theory and its quantization using braided homological perturbation theory. The formalism is illustrated through one-loop calculations of the two-point functions for $φ^4$-theory in four dimensions and $φ^3$-theory in six dimensions. In both cases we find that there are no non-planar diagrams and no UV/IR mixing.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
Braided Quantum Electrodynamics
Authors:
Marija Dimitrijević Ćirić,
Nikola Konjik,
Voja Radovanović,
Richard J. Szabo
Abstract:
The homotopy algebraic formalism of braided noncommutative field theory is used to define the explicit example of braided electrodynamics, that is, $\mathsf{U}(1)$ gauge theory minimally coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and obtain the braided equations of motion, action functional and conserved matter current. The modifications of the ele…
▽ More
The homotopy algebraic formalism of braided noncommutative field theory is used to define the explicit example of braided electrodynamics, that is, $\mathsf{U}(1)$ gauge theory minimally coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and obtain the braided equations of motion, action functional and conserved matter current. The modifications of the electric charge conservation law due to the braided noncommutative deformation are described. We develop a braided generalization of Wick's theorem, and use it to compute correlation functions of the braided quantum field theory using homological perturbation theory. Our putative calculations indicate that the braided theory does not contain the non-planar Feynman diagrams of conventional noncommutative quantum field theory, and that correlators do not exhibit UV/IR mixing.
△ Less
Submitted 4 July, 2023; v1 submitted 21 February, 2023;
originally announced February 2023.
-
Exponential unitary integrators for nonseparable quantum Hamiltonians
Authors:
Maximilian Ciric,
Denys I. Bondar,
Ole Steuernagel
Abstract:
Quantum Hamiltonians containing nonseparable products of non-commuting operators, such as $\hat{\bf x}^m \hat{\bf p}^n$, are problematic for numerical studies using split-operator techniques since such products cannot be represented as a sum of separable terms, such as $T(\hat{\bf p}) + V(\hat{\bf x})$. In the case of classical physics, Chin [Phys. Rev. E $\bf 80$, 037701 (2009)] developed a proce…
▽ More
Quantum Hamiltonians containing nonseparable products of non-commuting operators, such as $\hat{\bf x}^m \hat{\bf p}^n$, are problematic for numerical studies using split-operator techniques since such products cannot be represented as a sum of separable terms, such as $T(\hat{\bf p}) + V(\hat{\bf x})$. In the case of classical physics, Chin [Phys. Rev. E $\bf 80$, 037701 (2009)] developed a procedure to approximately represent nonseparable terms in terms of separable ones. We extend Chin's idea to quantum systems. We demonstrate our findings by numerically evolving the Wigner distribution of a Kerr-type oscillator whose Hamiltonian contains the nonseparable term $\hat{\bf x}^2 \hat{\bf p}^2 + \hat{\bf p}^2 \hat{\bf x}^2$. The general applicability of Chin's approach to any Hamiltonian of polynomial form is proven.
△ Less
Submitted 13 March, 2023; v1 submitted 15 November, 2022;
originally announced November 2022.
-
Propagation of spinors on a noncommutative spacetime: equivalence of the formal and the effective approach
Authors:
Marija Dimitrijević Ćirić,
Nikola Konjik,
Andjelo Samsarov
Abstract:
Some noncommutative (NC) theories posses a certain type of dualities that are implicitly built within their structure. In this paper we establish still another example of this kind. More precisely, we show that the noncommutative U(1) gauge theory coupled to a NC scalar field and to a classical geometry of the Reissner Nordstrom (RN) type is completely equivalent at the level of equations of motio…
▽ More
Some noncommutative (NC) theories posses a certain type of dualities that are implicitly built within their structure. In this paper we establish still another example of this kind. More precisely, we show that the noncommutative U(1) gauge theory coupled to a NC scalar field and to a classical geometry of the Reissner Nordstrom (RN) type is completely equivalent at the level of equations of motion to the commutative U(1) gauge theory coupled to a commutative scalar field and to a classical geometry background, different from the starting RN background. The new (effective) metric is obtained from the RN metric by switching on an additional nonvanishing r-phi component. Using this duality between two theories and physical systems they describe, we formulate an effective approach to studying a dynamics of spin 1/2 fields on the curved background of RN type with an abiding noncommutative structure. As opposed to that, we also study the dynamics of spin 1/2 fields in a more formal way, by studying the semiclassical theory which describes the NC U(1) gauge field coupled with NC spin 1/2 field and also with gravity which is however treated classically. Upon utilising the Seiberg Witten map in order to write the NC spinor and NC gauge fields in terms of their corresponding commutative degrees of freedom, we find that the equation of motion for the fermion field obtained within the formal approach exactly coincides with the equation of motion obtained within the effective approach that utilises noncommutative duality. We then use these results to analyze the problem of stability of solutions of the equations of motion and the associated issue of superradiance, as related to fermions in RN spacetime with an allpervasive noncommutative structure.
△ Less
Submitted 15 May, 2023; v1 submitted 11 August, 2022;
originally announced August 2022.
-
Noncommutative $SO(2,3)_{\star}$ Gauge Theory of Gravity
Authors:
Marija Dimitrijević Ćirić,
Dušan Đorđević,
Dragoljub Gočanin,
Biljana Nikolić,
Voja Radovanović
Abstract:
Topological gravity (in the sense that it is metric-independent) in a $2n$-dimensional spacetime can be formulated as a gauge field theory for the AdS gauge group $SO(2,2n-1)$ by adding a multiplet of scalar fields. These scalars can break the gauge invariance of the topological gravity action, thus making a connection with Einstein's gravity. This review is about a noncommutative (NC) star-produc…
▽ More
Topological gravity (in the sense that it is metric-independent) in a $2n$-dimensional spacetime can be formulated as a gauge field theory for the AdS gauge group $SO(2,2n-1)$ by adding a multiplet of scalar fields. These scalars can break the gauge invariance of the topological gravity action, thus making a connection with Einstein's gravity. This review is about a noncommutative (NC) star-product deformation of the four-dimensional AdS gauge theory of gravity, including Dirac spinors and the Yang-Mills field. In general, NC actions can be expanded in powers of the canonical noncommutativity parameter $θ$ using the Seiberg-Witten map. The leading-order term of the expansion is the classical action, while the higher-order $θ$-dependent terms are interpreted as new types of coupling between classical fields due to spacetime noncommutativity. We study how these perturbative NC corrections affect the field equations of motion and derive some phenomenological consequences, such as NC-deformed Landau levels of an electron. Finally, we discuss how topological gravity in four dimensions (both classical and noncommutative) appears as a low-energy sector of five-dimensional Chern-Simons gauge theory in the sense of Kaluza-Klein reduction.
△ Less
Submitted 10 August, 2023; v1 submitted 1 August, 2022;
originally announced August 2022.
-
$L_\infty$-algebra of braided electrodynamics
Authors:
Marija Dimitrijević Ćirić,
Nikola Konjik,
Voja Radovanović,
Richard J. Szabo,
Miša Toman
Abstract:
Using the recently developed formalism of braided noncommutative field theory, we construct an explicit example of braided electrodynamics, that is, a noncommutative $U(1)$ gauge theory coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and apply the formalism to obtain the braided equations of motion, action functional and conserved matter current. The br…
▽ More
Using the recently developed formalism of braided noncommutative field theory, we construct an explicit example of braided electrodynamics, that is, a noncommutative $U(1)$ gauge theory coupled to a Dirac fermion. We construct the braided $L_\infty$-algebra of this field theory and apply the formalism to obtain the braided equations of motion, action functional and conserved matter current. The braided deformation leads to a modification of the charge conservation. Finally, the Feynman integral appearing in the one-loop contribution to the vacuum polarization diagram is calculated. There are no non-planar diagrams, but the UV/IR mixing appears nevertheless. We comment on this unexpected result.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
Braided $L_{\infty}$-Algebras, Braided Field Theory and Noncommutative Gravity
Authors:
Marija Dimitrijević Ćirić,
Grigorios Giotopoulos,
Voja Radovanović,
Richard J. Szabo
Abstract:
We define a new homotopy algebraic structure, that we call a braided $L_\infty$-algebra, and use it to systematically construct a new class of noncommutative field theories, that we call braided field theories. Braided field theories have gauge symmetries which realize a braided Lie algebra, whose Noether identities are inhomogeneous extensions of the classical identities, and which do not act on…
▽ More
We define a new homotopy algebraic structure, that we call a braided $L_\infty$-algebra, and use it to systematically construct a new class of noncommutative field theories, that we call braided field theories. Braided field theories have gauge symmetries which realize a braided Lie algebra, whose Noether identities are inhomogeneous extensions of the classical identities, and which do not act on the solutions of the field equations. We use Drinfel'd twist deformation quantization techniques to generate new noncommutative deformations of classical field theories with braided gauge symmetries, which we compare to the more conventional theories with star-gauge symmetries. We apply our formalism to introduce a braided version of general relativity without matter fields in the Einstein-Cartan-Palatini formalism. In the limit of vanishing deformation parameter, the braided theory of noncommutative gravity reduces to classical gravity without any extensions.
△ Less
Submitted 15 November, 2021; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Microscopic derivation of Dirac composite fermion theory: Aspects of noncommutativity and pairing instabilities
Authors:
Dragoljub Gočanin,
Sonja Predin,
Marija Dimitrijević Ćirić,
Voja Radovanović,
Milica Milovanović
Abstract:
Building on previous work [N. Read, Phys. Rev. B 58, Z. Dong and T. Senthil, 16262 (1998); Phys. Rev. B 102, 205126 (2020)] on the system of bosons at filling factor $ν= 1$, we derive the Dirac composite fermion theory for a half-filled Landau level from first principles and applying the Hartree-Fock approach in a preferred representation. On the basis of the microscopic formulation, in the long-w…
▽ More
Building on previous work [N. Read, Phys. Rev. B 58, Z. Dong and T. Senthil, 16262 (1998); Phys. Rev. B 102, 205126 (2020)] on the system of bosons at filling factor $ν= 1$, we derive the Dirac composite fermion theory for a half-filled Landau level from first principles and applying the Hartree-Fock approach in a preferred representation. On the basis of the microscopic formulation, in the long-wavelength limit, we propose a noncommutative field-theoretical description, which in a commutative limit reproduces the Son's theory, with additional terms that may be expected on physical grounds. The microscopic representation of the problem is also used to discuss pairing instabilities of composite fermions. We find that a presence of a particle-hole symmetry breaking leads to a weak (BCS) coupling $p$-wave pairing in the lowest Landau level, and strong coupling $p$-wave pairing in the second Landau level that occurs in a band with nearly flat dispersion, a third power function of momentum.
△ Less
Submitted 27 September, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Homotopy Lie Algebras of Gravity and their Braided Deformations
Authors:
Marija Dimitrijević Ćirić,
Grigorios Giotopoulos,
Voja Radovanović,
Richard J. Szabo
Abstract:
We describe the cyclic $L_{\infty}$-algebra formulation of classical general relativity without matter fields in the Einstein-Cartan-Palatini formalism. Using Drinfel'd twist deformation techniques, we define a noncommutative version of the theory with braided gauge symmetries. We introduce a notion of braided $L_{\infty}$-algebra, and use it to encode the symmetries, field content, field equation…
▽ More
We describe the cyclic $L_{\infty}$-algebra formulation of classical general relativity without matter fields in the Einstein-Cartan-Palatini formalism. Using Drinfel'd twist deformation techniques, we define a noncommutative version of the theory with braided gauge symmetries. We introduce a notion of braided $L_{\infty}$-algebra, and use it to encode the symmetries, field content, field equations and Noether identities of noncommutative gravity.
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
$L_{\infty}$-Algebras of Einstein-Cartan-Palatini Gravity
Authors:
Marija Dimitrijević Ćirić,
Grigorios Giotopoulos,
Voja Radovanović,
Richard J. Szabo
Abstract:
We give a detailed account of the cyclic $L_\infty$-algebra formulation of general relativity with cosmological constant in the Einstein-Cartan-Palatini formalism on spacetimes of arbitrary dimension and signature, which encompasses all symmetries, field equations and Noether identities of gravity without matter fields. We present a local formulation as well as a global covariant framework, and an…
▽ More
We give a detailed account of the cyclic $L_\infty$-algebra formulation of general relativity with cosmological constant in the Einstein-Cartan-Palatini formalism on spacetimes of arbitrary dimension and signature, which encompasses all symmetries, field equations and Noether identities of gravity without matter fields. We present a local formulation as well as a global covariant framework, and an explicit isomorphism between the two $L_\infty$-algebras in the case of parallelizable spacetimes. By duality, we show that our $L_\infty$-algebras describe the complete BV-BRST formulation of Einstein-Cartan-Palatini gravity. We give a general description of how to extend on-shell redundant symmetries in topological gauge theories to off-shell correspondences between symmetries in terms of quasi-isomorphisms of $L_\infty$-algebras. We use this to extend the on-shell equivalence between gravity and Chern-Simons theory in three dimensions to an explicit $L_\infty$-quasi-isomorphism between differential graded Lie algebras which applies off-shell and for degenerate dynamical metrics. In contrast, we show that there is no morphism between the $L_\infty$-algebra underlying gravity and the differential graded Lie algebra governing $BF$ theory in four dimensions.
△ Less
Submitted 13 October, 2020; v1 submitted 13 March, 2020;
originally announced March 2020.
-
Search for footprints of quantum spacetime in black hole QNM spectrum
Authors:
Marija Dimitrijević Ćirić,
Nikola Konjik,
Andjelo Samsarov
Abstract:
Black hole (BH) perturbation is followed by a ringdown phase which is dominated by quasinormal modes (QNM). These modes may provide key signature of the gravitational waves. The presence of a deformed spacetime structure may distort this signal. In order to account for such effects, we consider a toy model consisting of a noncommutative charged scalar field propagating in a realistic black hole ba…
▽ More
Black hole (BH) perturbation is followed by a ringdown phase which is dominated by quasinormal modes (QNM). These modes may provide key signature of the gravitational waves. The presence of a deformed spacetime structure may distort this signal. In order to account for such effects, we consider a toy model consisting of a noncommutative charged scalar field propagating in a realistic black hole background. We then analyse the corresponding field dynamics by applying the methods of the Hopf algebra deformation by Drinfeld twist. The latter framework is well suited for incorporating deformed symmetries into a study of this kind. As a result, we obtain the BH QNM spectrum that, besides containing the intrinsic information about a black hole that is being analysed, also carry the information about the underlying structure of spacetime.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
Noncommutative scalar field in the non-extremal Reissner-Nordström background: QNM spectrum
Authors:
Marija Dimitrijević Ćirić,
Nikola Konjik,
Andjelo Samsarov
Abstract:
In our previous work [18] we constructed a model of a noncommutative, charged and massive scalar field based on the angular twist. Then we used this model to analyze the motion of the scalar field in the Reissner-Nordström black hole background. In particular, we determined the QNM spectrum analytically in the near-extremal limit. To broaden our analysis, in this paper we apply a well defined nume…
▽ More
In our previous work [18] we constructed a model of a noncommutative, charged and massive scalar field based on the angular twist. Then we used this model to analyze the motion of the scalar field in the Reissner-Nordström black hole background. In particular, we determined the QNM spectrum analytically in the near-extremal limit. To broaden our analysis, in this paper we apply a well defined numerical method, the continued fraction method and calculate the QNM spectrum for a non-extremal Reissner-Nordström black hole. To check the validity of our analytic calculations, we compare results of the continued fraction method in the near extremal limit with the analytic results obtained in the previous paper. We find that the results are in good agreement. For completeness, we also study the QNM spectrum in the WKB approximation.
△ Less
Submitted 8 April, 2019;
originally announced April 2019.
-
Noncommutative field theory from angular twist
Authors:
Marija Dimitrijevic Ciric,
Nikola Konjik,
Maxim A. Kurkov,
Fedele Lizzi,
Patrizia Vitale
Abstract:
We consider a noncommutative field theory with space-time $\star$-commutators based on an angular noncommutativity, namely a solvable Lie algebra: the Euclidean in two dimension. The $\star$-product can be derived from a twist operator and it is shown to be invariant under twisted Poincaré transformations. In momentum space the noncommutativity manifests itself as a noncommutative $\star$-deformed…
▽ More
We consider a noncommutative field theory with space-time $\star$-commutators based on an angular noncommutativity, namely a solvable Lie algebra: the Euclidean in two dimension. The $\star$-product can be derived from a twist operator and it is shown to be invariant under twisted Poincaré transformations. In momentum space the noncommutativity manifests itself as a noncommutative $\star$-deformed sum for the momenta, which allows for an equivalent definition of the $\star$-product in terms of twisted convolution of plane waves. As an application, we analyze the $λφ^4$ field theory at one-loop and discuss its UV/IR behaviour. We also analyze the kinematics of particle decay for two different situations: the first one corresponds to a splitting of space-time where only space is deformed, whereas the second one entails a non-trivial $\star$-multiplication for the time variable, while one of the three spatial coordinates stays commutative.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Noncommutative Electrodynamics from $SO(2,3)_\star$ Model of Noncommutative Gravity
Authors:
Marija Dimitrijević Ćirić,
Dragoljub Gočanin,
Nikola Konjik,
Voja Radovanović
Abstract:
In our previous work we have constructed a model of noncommutative (NC) gravity based on $SO(2,3)_\star$ gauge symmetry. In this paper we extend the model by adding matter fields: fermions and a $U(1)$ gauge field. Using the envelo** algebra approach and the Seiberg-Witten map we construct actions for these matter fields and expand the actions up to first order in the noncommutativity (deformati…
▽ More
In our previous work we have constructed a model of noncommutative (NC) gravity based on $SO(2,3)_\star$ gauge symmetry. In this paper we extend the model by adding matter fields: fermions and a $U(1)$ gauge field. Using the envelo** algebra approach and the Seiberg-Witten map we construct actions for these matter fields and expand the actions up to first order in the noncommutativity (deformation) parameter. Unlike in the case of pure NC gravity, first non-vanishing NC corrections are linear in the noncommutativity parameter. In the flat space-time limit we obtain a non-standard NC Electrodynamics. Finally, we discuss effects of noncommutativity on relativistic Landau levels of an electron in a constant background magnetic field and in addition we calculate the induced NC magnetic dipole moment of the electron.
△ Less
Submitted 2 April, 2018;
originally announced April 2018.
-
Nonassociative differential geometry and gravity with non-geometric fluxes
Authors:
Paolo Aschieri,
Marija Dimitrijevic Ciric,
Richard J. Szabo
Abstract:
We systematically develop the metric aspects of nonassociative differential geometry tailored to the parabolic phase space model of constant locally non-geometric closed string vacua, and use it to construct preliminary steps towards a nonassociative theory of gravity on spacetime. We obtain explicit expressions for the torsion, curvature, Ricci tensor and Levi-Civita connection in nonassociative…
▽ More
We systematically develop the metric aspects of nonassociative differential geometry tailored to the parabolic phase space model of constant locally non-geometric closed string vacua, and use it to construct preliminary steps towards a nonassociative theory of gravity on spacetime. We obtain explicit expressions for the torsion, curvature, Ricci tensor and Levi-Civita connection in nonassociative Riemannian geometry on phase space, and write down Einstein field equations. We apply this formalism to construct R-flux corrections to the Ricci tensor on spacetime, and comment on the potential implications of these structures in non-geometric string theory and double field theory.
△ Less
Submitted 30 January, 2018; v1 submitted 31 October, 2017;
originally announced October 2017.
-
Noncommutative Scalar Quasinormal Modes of the Reissner Nordström Black Hole
Authors:
Marija Dimitrijević Ćirić,
Nikola Konjik,
Andjelo Samsarov
Abstract:
Aiming to search for a signal of space-time noncommutativity, we study a quasinormal mode spectrum of the Reissner Nordström black hole in the presence of a deformed space-time structure. In this context we study a noncommutative (NC) deformation of a scalar field, minimally coupled to a classical Reissner Nordström background. Our model is thus semiclassical from the beginning and scalar field is…
▽ More
Aiming to search for a signal of space-time noncommutativity, we study a quasinormal mode spectrum of the Reissner Nordström black hole in the presence of a deformed space-time structure. In this context we study a noncommutative (NC) deformation of a scalar field, minimally coupled to a classical Reissner Nordström background. Our model is thus semiclassical from the beginning and scalar field is in addition minimally coupled to U(1) gauge field. The deformation is performed via particularly chosen Killing twist to yield a geometrical form of the action, which maintains the diffeomorphism invariance manifest, as well as the invariance under a deformed gauge symmetry group. We find the quasinormal mode solutions of the equations of motion governing the matter content of the model in some particular range of system parameters which corresponds to a near extremal limit. In addition, we obtain a well defined analytical condition which allows for a detailed numerical analysis. Moreover, there exists a parameter range, rather restrictive though, which allows for obtaining a QNM spectrum in a closed analytic form. We also argue within a semiclassical approach that NC deformation does not affect the Hawking temperature of thermal radiation.
△ Less
Submitted 16 October, 2018; v1 submitted 14 August, 2017;
originally announced August 2017.
-
NC $SO(2,3)_\star$ gravity: noncommutativity as a source of curvature and torsion
Authors:
Marija Dimitrijević Ćirić,
Biljana Nikolić,
Voja Radovanović
Abstract:
Noncommutative (NC) gravity is constructed on the canonical noncommutative (Moyal-Weyl) space-time as a noncommutative $SO(2,3)_\star$ gauge theory. The NC gravity action consists of three different terms: the first term is of Mac-Dowell Mansouri type, while the other two are generalizations of the Einstein-Hilbert action and the cosmological constant term. The expanded NC gravity action is then c…
▽ More
Noncommutative (NC) gravity is constructed on the canonical noncommutative (Moyal-Weyl) space-time as a noncommutative $SO(2,3)_\star$ gauge theory. The NC gravity action consists of three different terms: the first term is of Mac-Dowell Mansouri type, while the other two are generalizations of the Einstein-Hilbert action and the cosmological constant term. The expanded NC gravity action is then calculated using the Seiberg-Witten (SW) map and the expansion is done up second order in the deformation parameter. We analyze in details the low energy sector of the full model. We calculate the equations of motion, discuss their general properties and present one solution: the NC correction to Minkowski space-time. Using this solution, we explain breaking of the diffeomorphism symmetry as a consequence of working in a particular coordinate system given by the Fermi normal coordinates.
△ Less
Submitted 2 December, 2016;
originally announced December 2016.
-
Noncommutative gravity and the relevance of the $θ$-constant deformation
Authors:
Marija Dimitrijevic Ciric,
Biljana Nikolic,
Voja Radovanovic
Abstract:
In this Letter we construct the noncommutative (NC) gravity model on the $θ$-constant NC space-time. We start from the NC $SO(2,3)_\star$ gauge theory and use the envelo** algebra approach and the Seiberg-Witten map to construct the effective NC gravity action. The action and the equations of motion are expanded up to second order in the deformation parameter. The equations of motion show that t…
▽ More
In this Letter we construct the noncommutative (NC) gravity model on the $θ$-constant NC space-time. We start from the NC $SO(2,3)_\star$ gauge theory and use the envelo** algebra approach and the Seiberg-Witten map to construct the effective NC gravity action. The action and the equations of motion are expanded up to second order in the deformation parameter. The equations of motion show that the noncommutativity plays a role of a source for the curvature and/or torsion. Finally, we calculate the NC corrections to the Minkowski space-time and we show that in the presence of noncommutativity Minkowski space-time becomes curved, but remains torsion-free. The breaking of diffeomorphism invariance is understood in terms of the preferred coordinate system. We show that the coordinates we are using are the Fermi normal coordinates. This suggests that the natural coordinate system in which one should study NC gravity is given by the Fermi normal coordinates.
△ Less
Submitted 21 September, 2016;
originally announced September 2016.
-
Pairing instabilities of Dirac composite fermions
Authors:
M. Milovanovic,
M. Dimitrijevic Ciric,
V. Juricic
Abstract:
Recently, a Dirac (particle-hole symmetric) description of composite fermions in the half-filled quantum Hall system was proposed [D. T. Son, Phys. Rev. X 5, 031027 (2015)], and we study its possible consequences on BCS (Cooper) pairing of composite fermions (CF's). One of the main consequences is the existence of anisotropic states in single and bilayer systems, which was previously suggested in…
▽ More
Recently, a Dirac (particle-hole symmetric) description of composite fermions in the half-filled quantum Hall system was proposed [D. T. Son, Phys. Rev. X 5, 031027 (2015)], and we study its possible consequences on BCS (Cooper) pairing of composite fermions (CF's). One of the main consequences is the existence of anisotropic states in single and bilayer systems, which was previously suggested in Ref. [J. S. Jeong and K. Park, Phys. Rev. B 91, 195119 (2015)]. We argue that in the half-filled single layer the gapped states may sustain anisotropy, because isotropic pairings may coexist with anisotropic ones. Furthermore, anisotropic pairings with addition of a particle-hole (PH) symmetry breaking mass term may evolve into rotationally symmetric states, i.e. Pfaffian states of Halperin-Lee-Read (HLR) ordinary CF's. On the basis of the Dirac formalism, we argue that in the quantum Hall bilayer at total filling one, with decreasing distance between layers weak pairing of p-wave paired CF's is gradually transformed from Dirac to ordinary, HLR-like, with concomitant decrease in the CF number. Global characterization of low-energy spectrum based on the Dirac CF's agrees well with previous calculations performed by exact diagonalization on a torus. Finally, we discuss features of Dirac formalism when applied in this context.
△ Less
Submitted 8 September, 2016; v1 submitted 13 June, 2016;
originally announced June 2016.
-
Determinization of fuzzy automata by means of the degrees of language inclusion
Authors:
Ivana Micić,
Zorana Jančić,
Jelena Ignjatović,
Miroslav Ćirić
Abstract:
Determinization of fuzzy finite automata is understood here as a procedure of their conversion into equivalent crisp-deterministic fuzzy automata, which can be viewed as being deterministic with possibly infinitely many states, but with fuzzy sets of terminal states. Particularly significant determinization methods are those that provide a minimal crisp-deterministic fuzzy automaton equivalent to…
▽ More
Determinization of fuzzy finite automata is understood here as a procedure of their conversion into equivalent crisp-deterministic fuzzy automata, which can be viewed as being deterministic with possibly infinitely many states, but with fuzzy sets of terminal states. Particularly significant determinization methods are those that provide a minimal crisp-deterministic fuzzy automaton equivalent to the original fuzzy finite automaton, called canonization methods. One canonization method for fuzzy finite automata, the Brzozowski type determinization, has been developed recently by Jančić and Ćirić in [10]. Here we provide another canonization method for a fuzzy finite automaton $\cal A=(A,σ, δ,τ)$ over a complete residuated lattice $\cal L$, based on the degrees of inclusion of the right fuzzy languages associated with states of $\cal A$ into the left derivatives of the fuzzy language recognized by $\cal A$. The proposed procedure terminates in a finite number of steps whenever the membership values taken by $δ$, $σ$ and $τ$ generate a finite subsemiring of the semiring reduct of $\cal L$. This procedure is generally faster than the Brzozowski type determinization, and if the basic operations in the residuated lattice $\cal L$ can be performed in constant time, it has the same computational time as all other determinization procedures provided in [8], [11], [12].
△ Less
Submitted 15 December, 2014; v1 submitted 22 October, 2014;
originally announced October 2014.
-
Weighted finite automata with output
Authors:
Jelena Ignjatović,
Miroslav Ćirić,
Zorana Jančić
Abstract:
In this paper we prove the equivalence of sequential, Mealy-type and Moore-type weighted finite automata with output, with respect to various semantics which are defined here.
In this paper we prove the equivalence of sequential, Mealy-type and Moore-type weighted finite automata with output, with respect to various semantics which are defined here.
△ Less
Submitted 9 October, 2014;
originally announced October 2014.
-
Further improvements of determinization methods for fuzzy finite automata
Authors:
Zorana Jančić,
Ivana Micić,
Jelena Ignjatović,
Miroslav Ćirić
Abstract:
In this paper we combine determinization and state reduction methods into two-in-one algorithms that simultaneously perform determinization and state reduction. These algorithms perform better than all previous determinization algorithms for fuzzy finite automata, developed by Belohlavek [Inform Sciences 143 (2002) 205-209], Li and Pedrycz [Fuzzy Set Syst 156 (2005) 68-92], Ignjatović et al. [Info…
▽ More
In this paper we combine determinization and state reduction methods into two-in-one algorithms that simultaneously perform determinization and state reduction. These algorithms perform better than all previous determinization algorithms for fuzzy finite automata, developed by Belohlavek [Inform Sciences 143 (2002) 205-209], Li and Pedrycz [Fuzzy Set Syst 156 (2005) 68-92], Ignjatović et al. [Inform Sciences 178 (2008) 164-180], and Jančić et al. [Inform Sciences 181 (2011) 1358-1368], in the sense that they produce smaller automata, while require the same computation time. The only exception is the Brzozowski type determinization algorithm developed recently by Jančić and Ćirić [Fuzzy Set Syst (2014), to appear], which produces a minimal crisp-deterministic fuzzy automaton, but the algorithms created here can also be used within the Brzozowski type algorithm and improve its performances.
△ Less
Submitted 7 December, 2014; v1 submitted 26 February, 2014;
originally announced February 2014.
-
Brzozowski type determinization for fuzzy automata
Authors:
Zorana Jančić,
Miroslav Ćirić
Abstract:
In this paper we adapt the well-known Brzozowski determinization method to fuzzy automata. This method gives better results than all previously known methods for determinization of fuzzy automata developed by Bělohlávek [Inform Sciences 143 (2002) 205--209], Li and Pedrycz [Fuzzy Set Syst 156 (2005) 68--92], Ignjatović et al. [Inform Sciences 178 (2008) 164--180], and Jančić et al. [Inform Science…
▽ More
In this paper we adapt the well-known Brzozowski determinization method to fuzzy automata. This method gives better results than all previously known methods for determinization of fuzzy automata developed by Bělohlávek [Inform Sciences 143 (2002) 205--209], Li and Pedrycz [Fuzzy Set Syst 156 (2005) 68--92], Ignjatović et al. [Inform Sciences 178 (2008) 164--180], and Jančić et al. [Inform Sciences 181 (2011) 1358--1368]. Namely, as in the case of ordinary nondeterministic automata, Brzozowski type determinization of a fuzzy automaton results in a minimal crisp-deterministic fuzzy automaton equivalent to the starting fuzzy automaton, and we show that there are cases when all previous methods result in infinite automata, while Brzozowski type determinization results in a finite one. The paper deals with fuzzy automata over complete residuated lattices, but identical results can also be obtained in a more general context, for fuzzy automata over lattice-ordered monoids, and even for weighted automata over commutative semirings.
△ Less
Submitted 8 February, 2014; v1 submitted 22 November, 2013;
originally announced November 2013.
-
Cross-moments computation for stochastic context-free grammars
Authors:
Velimir M. Ilic,
Miroslav D. Ciric,
Miomir S. Stankovic
Abstract:
In this paper we consider the problem of efficient computation of cross-moments of a vector random variable represented by a stochastic context-free grammar. Two types of cross-moments are discussed. The sample space for the first one is the set of all derivations of the context-free grammar, and the sample space for the second one is the set of all derivations which generate a string belonging to…
▽ More
In this paper we consider the problem of efficient computation of cross-moments of a vector random variable represented by a stochastic context-free grammar. Two types of cross-moments are discussed. The sample space for the first one is the set of all derivations of the context-free grammar, and the sample space for the second one is the set of all derivations which generate a string belonging to the language of the grammar. In the past, this problem was widely studied, but mainly for the cross-moments of scalar variables and up to the second order. This paper presents new algorithms for computing the cross-moments of an arbitrary order, and the previously developed ones are derived as special cases.
△ Less
Submitted 12 October, 2013; v1 submitted 1 August, 2011;
originally announced August 2011.
-
Construction of fuzzy automata from fuzzy regular expressions
Authors:
Aleksandar Stamenković,
Miroslav Ćirić
Abstract:
Li and Pedrycz [Y. M. Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids, Fuzzy Sets and Systems 156 (2005) 68--92] have proved fundamental results that provide different equivalent ways to represent fuzzy languages with membership values in a lattice-ordered monoid, and generalize the well-known results of the classical theory of…
▽ More
Li and Pedrycz [Y. M. Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice ordered monoids, Fuzzy Sets and Systems 156 (2005) 68--92] have proved fundamental results that provide different equivalent ways to represent fuzzy languages with membership values in a lattice-ordered monoid, and generalize the well-known results of the classical theory of formal languages. In particular, they have shown that a fuzzy language over an integral lattice-ordered monoid can be represented by a fuzzy regular expression if and only if it can be recognized by a fuzzy finite automaton. However, they did not give any effective method for constructing an equivalent fuzzy finite automaton from a given fuzzy regular expression. In this paper we provide such an effective method. Transforming scalars appearing in a fuzzy regular expression α into letters of the new extended alphabet, we convert the fuzzy regular expression α to an ordinary regular expression α_{R}. Then, starting from an arbitrary nondeterministic finite automaton A that recognizes the language ||α_R|| represented by the regular expression α_R, we construct fuzzy finite automata A_α and A_α^r with the same or even less number of states than the automaton A, which recognize the fuzzy language ||α|| represented by the fuzzy regular expression α. The starting nondeterministic finite automaton A can be obtained from α_R using any of the well-known constructions for converting regular expressions to nondeterministic finite automata, such as Glushkov-McNaughton-Yamada's position automaton, Brzozowski's derivative automaton, Antimirov's partial derivative automaton, or Ilie-Yu's follow automaton.
△ Less
Submitted 31 May, 2011;
originally announced May 2011.
-
Weakly linear systems of fuzzy relation inequalities: The heterogeneous case
Authors:
Jelena Ignjatović,
Miroslav Ćirić,
Nada Damljanović,
Ivana Jančić
Abstract:
New types of systems of fuzzy relation inequalities and equations, called weakly linear, have been recently introduced in [J. Ignjatović, M. Ćirić, S. Bogdanović, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, Fuzzy Sets and Systems 161 (2010) 3081--3113.]. The mentioned paper dealt with homogeneous weakly linear systems, composed of fuzzy relation…
▽ More
New types of systems of fuzzy relation inequalities and equations, called weakly linear, have been recently introduced in [J. Ignjatović, M. Ćirić, S. Bogdanović, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, Fuzzy Sets and Systems 161 (2010) 3081--3113.]. The mentioned paper dealt with homogeneous weakly linear systems, composed of fuzzy relations on a single set, and a method for computing their greatest solutions has been provided. This method is based on the computing of the greatest post-fixed point, contained in a given fuzzy relation, of an isotone function on the lattice of fuzzy relations. Here we adapt this method for computing the greatest solutions of heterogeneous weakly linear systems, where the unknown fuzzy relation relates two possibly different sets. We also introduce and study quotient fuzzy relational systems and establish relationships between solutions to heterogeneous and homogeneous weakly linear systems. Besides, we point out to applications of the obtained results in the state reduction of fuzzy automata and computing the greatest simulations and bisimulations between fuzzy automata, as well as in the positional analysis of fuzzy social networks.
△ Less
Submitted 16 May, 2011;
originally announced May 2011.
-
Single-facility Weber Location Problem based on the Lift Metric
Authors:
Predrag S. Stanimirovic,
Marija Ciric
Abstract:
The continuous single-facility min-sum Weber location problem based upon the lift metric is investigated. An effective algorithm is developed for its solution. Implementation for both the discrete and continuous location problems is developed in the programming package Mathematica.
The continuous single-facility min-sum Weber location problem based upon the lift metric is investigated. An effective algorithm is developed for its solution. Implementation for both the discrete and continuous location problems is developed in the programming package Mathematica.
△ Less
Submitted 4 May, 2011;
originally announced May 2011.
-
Algorithms for computing the greatest simulations and bisimulations between fuzzy automata
Authors:
Miroslav Ćirić,
Jelena Ignjatović,
Ivana Jančić,
Nada Damljanović
Abstract:
Recently, two types of simulations (forward and backward simulations) and four types of bisimulations (forward, backward, forward-backward, and backward-forward bisimulations) between fuzzy automata have been introduced. If there is at least one simulation/bisimulation of some of these types between the given fuzzy automata, it has been proved that there is the greatest simulation/bisimulation of…
▽ More
Recently, two types of simulations (forward and backward simulations) and four types of bisimulations (forward, backward, forward-backward, and backward-forward bisimulations) between fuzzy automata have been introduced. If there is at least one simulation/bisimulation of some of these types between the given fuzzy automata, it has been proved that there is the greatest simulation/bisimulation of this kind. In the present paper, for any of the above-mentioned types of simulations/bisimulations we provide an effective algorithm for deciding whether there is a simulation/bisimulation of this type between the given fuzzy automata, and for computing the greatest one, whenever it exists. The algorithms are based on the method developed in [J. Ignjatović, M. Ćirić, S. Bogdanović, On the greatest solutions to certain systems of fuzzy relation inequalities and equations, Fuzzy Sets and Systems 161 (2010) 3081-3113], which comes down to the computing of the greatest post-fixed point, contained in a given fuzzy relation, of an isotone function on the lattice of fuzzy relations.
△ Less
Submitted 25 March, 2011;
originally announced March 2011.
-
Bisimulations for fuzzy automata
Authors:
Miroslav Ćirić,
Jelena Ignjatović,
Nada Damljanović,
Milan Bašić
Abstract:
Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uniform fuzzy relations have recently been introduced as a means to model the fuzzy equivalence between elements of two possible different sets. Here we use the conjunction of these two concepts as a powerful tool in the st…
▽ More
Bisimulations have been widely used in many areas of computer science to model equivalence between various systems, and to reduce the number of states of these systems, whereas uniform fuzzy relations have recently been introduced as a means to model the fuzzy equivalence between elements of two possible different sets. Here we use the conjunction of these two concepts as a powerful tool in the study of equivalence between fuzzy automata. We prove that a uniform fuzzy relation between fuzzy automata $\cal A$ and $\cal B$ is a forward bisimulation if and only if its kernel and co-kernel are forward bisimulation fuzzy equivalences on $\cal A$ and $\cal B$ and there is a special isomorphism between factor fuzzy automata with respect to these fuzzy equivalences. As a consequence we get that fuzzy automata $\cal A$ and $\cal B$ are UFB-equivalent, i.e., there is a uniform forward bisimulation between them, if and only if there is a special isomorphism between the factor fuzzy automata of $\cal A$ and $\cal B$ with respect to their greatest forward bisimulation fuzzy equivalences. This result reduces the problem of testing UFB-equivalence to the problem of testing isomorphism of fuzzy automata, which is closely related to the well-known graph isomorphism problem. We prove some similar results for backward-forward bisimulations, and we point to fundamental differences. Because of the duality with the studied concepts, backward and forward-backward bisimulations are not considered separately. Finally, we give a comprehensive overview of various concepts on deterministic, nondeterministic, fuzzy, and weighted automata, which are related to bisimulations.
△ Less
Submitted 5 May, 2011; v1 submitted 26 February, 2011;
originally announced February 2011.
-
Reduction of fuzzy automata by means of fuzzy quasi-orders
Authors:
Aleksandar Stamenković,
Miroslav Ćirić,
Jelena Ignjatović
Abstract:
In our recent paper we have established close relationships between state reduction of a fuzzy recognizer and resolution of a particular system of fuzzy relation equations. In that paper we have also studied reductions by means of those solutions which are fuzzy equivalences. In this paper we will see that in some cases better reductions can be obtained using the solutions of this system that are…
▽ More
In our recent paper we have established close relationships between state reduction of a fuzzy recognizer and resolution of a particular system of fuzzy relation equations. In that paper we have also studied reductions by means of those solutions which are fuzzy equivalences. In this paper we will see that in some cases better reductions can be obtained using the solutions of this system that are fuzzy quasi-orders. Generally, fuzzy quasi-orders and fuzzy equivalences are equally good in the state reduction, but we show that right and left invariant fuzzy quasi-orders give better reductions than right and left invariant fuzzy equivalences. We also show that alternate reductions by means of fuzzy quasi-orders give better results than alternate reductions by means of fuzzy equivalences. Furthermore we study a more general type of fuzzy quasi-orders, weakly right and left invariant ones, and we show that they are closely related to determinization of fuzzy recognizers. We also demonstrate some applications of weakly left invariant fuzzy quasi-orders in conflict analysis of fuzzy discrete event systems.
△ Less
Submitted 26 February, 2011;
originally announced February 2011.
-
Nondeterministic automata: equivalence, bisimulations, and uniform relations
Authors:
Miroslav Ćirić,
Jelena Ignjatović,
Milan Bašić,
Ivana Jančić
Abstract:
In this paper we study the equivalence of nondeterministic automata pairing the concept of a bisimulation with the recently introduced concept of a uniform relation. In this symbiosis, uniform relations serve as equivalence relations which relate states of two possibly different nondeterministic automata, and bisimulations ensure compatibility with the transitions, initial and terminal states of t…
▽ More
In this paper we study the equivalence of nondeterministic automata pairing the concept of a bisimulation with the recently introduced concept of a uniform relation. In this symbiosis, uniform relations serve as equivalence relations which relate states of two possibly different nondeterministic automata, and bisimulations ensure compatibility with the transitions, initial and terminal states of these automata. We define six types of bisimulations, but due to the duality we discuss three of them: forward, backward-forward, and weak forward bisimulations. For each od these three types of bisimulations we provide a procedure which decides whether there is a bisimulation of this type between two automata, and when it exists, the same procedure computes the greatest one. We also show that there is a uniform forward bisimulation between two automata if and only if the factor automata with respect to the greatest forward bisimulation equivalences on these automata are isomorphic. We prove a similar theorem for weak forward bisimulations, using the concept of a weak forward isomorphism instead of an isomorphism. We also give examples that explain the relationships between the considered types of bisimulations.
△ Less
Submitted 26 February, 2011;
originally announced February 2011.