-
Hall-like behaviour of higher rank Chern-Simons theory of fractons
Authors:
Erica Bertolini,
Alberto Blasi,
Nicola Maggiore,
Daniel Sacco Shaikh
Abstract:
Fracton phases of matter constitute an interesting point of contact between condensed matter and high-energy physics. The limited mobility property of fracton quasiparticles finds applications in many different contexts, including quantum information, spin liquids, elasticity, hydrodynamics, gravity and holography. In this paper we adopt a field theoretical approach to investigate the three dimens…
▽ More
Fracton phases of matter constitute an interesting point of contact between condensed matter and high-energy physics. The limited mobility property of fracton quasiparticles finds applications in many different contexts, including quantum information, spin liquids, elasticity, hydrodynamics, gravity and holography. In this paper we adopt a field theoretical approach to investigate the three dimensional action of a rank-2 symmetric tensor field invariant under the covariant fracton symmetry. The theory appears as a non-topological higher rank generalization of the ordinary Chern-Simons model, depending only on the traceless part of the tensor gauge field. After defining a field strength, a rank-2 traceless ``electric'' field and a ``magnetic'' vector field are identified, in analogy with the standard Chern-Simons ones. Once matter is introduced, a Hall-like behaviour with fractonic features emerges. In particular, our model shows a Hall-like dipole current, together with a vectorial ``flux-attachment'' relation for dipoles. This gives a possible starting point for a fracton - vortex duality. A gauge-fixing term is then introduced, from which propagators are computed and the counting of the degrees of freedom is performed. Finally, the energy-momentum tensor is shown to be conserved and the integrated energy density is proved to be zero, which reminds the topological nature of the standard Chern-Simons model.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Enhancing Testing at Meta with Rich-State Simulated Populations
Authors:
Nadia Alshahwan,
Arianna Blasi,
Kinga Bojarczuk,
Andrea Ciancone,
Natalija Gucevska,
Mark Harman,
Simon Schellaert,
Inna Harper,
Yue Jia,
Michał Królikowski,
Will Lewis,
Dragos Martac,
Rubmary Rojas,
Kate Ustiuzhanina
Abstract:
This paper reports the results of the deployment of Rich-State Simulated Populations at Meta for both automated and manual testing. We use simulated users (aka test users) to mimic user interactions and acquire state in much the same way that real user accounts acquire state. For automated testing, we present empirical results from deployment on the Facebook, Messenger, and Instagram apps for iOS…
▽ More
This paper reports the results of the deployment of Rich-State Simulated Populations at Meta for both automated and manual testing. We use simulated users (aka test users) to mimic user interactions and acquire state in much the same way that real user accounts acquire state. For automated testing, we present empirical results from deployment on the Facebook, Messenger, and Instagram apps for iOS and Android Platforms. These apps consist of tens of millions of lines of code, communicating with hundreds of millions of lines of backend code, and are used by over 2 billion people every day. Our results reveal that rich state increases average code coverage by 38\%, and endpoint coverage by 61\%. More importantly, it also yields an average increase of 115\% in the faults found by automated testing. The rich-state test user populations are also deployed in a (continually evolving) Test Universe; a web-enabled simulation platform for privacy-safe manual testing, which has been used by over 21,000 Meta engineers since its deployment in November 2022.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Gauging fractons and linearized gravity
Authors:
Erica Bertolini,
Alberto Blasi,
Andrea Damonte,
Nicola Maggiore
Abstract:
We consider the covariant gauge field theory of fractons, which describe a new type of quasiparticles exhibiting novel and nontrivial properties. In particular, we focus on the field theoretical peculiarities which characterize this theory, starting from the fact that, if we accept the paradigm that quantum field theories are defined by their symmetries, fractons unavoidably come together with lin…
▽ More
We consider the covariant gauge field theory of fractons, which describe a new type of quasiparticles exhibiting novel and nontrivial properties. In particular, we focus on the field theoretical peculiarities which characterize this theory, starting from the fact that, if we accept the paradigm that quantum field theories are defined by their symmetries, fractons unavoidably come together with linearized gravity. The standard Faddeev-Popov procedure to gauge fix the theory leads to a scalar gauge condition, which has two important drawbacks: it is frozen in the Landau gauge and linearized gravity cannot be obtained as a limit. In this paper we adopt a tensorially alternative gauge fixing, which avoids both problems. In particular, this allows to show that important physical features, like the counting of the degrees of freedom, do not depend on a particular gauge choice, as expected. Moreover, the resulting gauge fixed theory contains both fractons and linearized gravity as a limit, differently from the standard scalar choice.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
A Decade of Code Comment Quality Assessment: A Systematic Literature Review
Authors:
Pooja Rani,
Arianna Blasi,
Nataliia Stulova,
Sebastiano Panichella,
Alessandra Gorla,
Oscar Nierstrasz
Abstract:
Code comments are important artifacts in software systems and play a paramount role in many software engineering (SE) tasks related to maintenance and program comprehension. However, while it is widely accepted that high quality matters in code comments just as it matters in source code, assessing comment quality in practice is still an open problem. First and foremost, there is no unique definiti…
▽ More
Code comments are important artifacts in software systems and play a paramount role in many software engineering (SE) tasks related to maintenance and program comprehension. However, while it is widely accepted that high quality matters in code comments just as it matters in source code, assessing comment quality in practice is still an open problem. First and foremost, there is no unique definition of quality when it comes to evaluating code comments. The few existing studies on this topic rather focus on specific attributes of quality that can be easily quantified and measured. Existing techniques and corresponding tools may also focus on comments bound to a specific programming language, and may only deal with comments with specific scopes and clear goals (e.g., Javadoc comments at the method level, or in-body comments describing TODOs to be addressed). In this paper, we present a Systematic Literature Review (SLR) of the last decade of research in SE to answer the following research questions: (i) What types of comments do researchers focus on when assessing comment quality? (ii) What quality attributes (QAs) do they consider? (iii) Which tools and techniques do they use to assess comment quality?, and (iv) How do they evaluate their studies on comment quality assessment in general? Our evaluation, based on the analysis of 2353 papers and the actual review of 47 relevant ones, shows that (i) most studies and techniques focus on comments in Java code, thus may not be generalizable to other languages, and (ii) the analyzed studies focus on four main QAs of a total of 21 QAs identified in the literature, with a clear predominance of checking consistency between comments and the code. We observe that researchers rely on manual assessment and specific heuristics rather than the automated assessment of the comment quality attributes.
△ Less
Submitted 16 September, 2022;
originally announced September 2022.
-
The theory of symmetric tensor field: from fractons to gravitons and back
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
We consider the theory of a symmetric tensor field in 4D, invariant under a subclass of infinitesimal diffeomorphism transformations, where the vector diff parameter is the 4-divergence of a scalar parameter. The resulting gauge symmetry characterizes the "fracton" quasiparticles and identifies a theory which depends on a dimensionless parameter, which cannot be reabsorbed by a redefinition of the…
▽ More
We consider the theory of a symmetric tensor field in 4D, invariant under a subclass of infinitesimal diffeomorphism transformations, where the vector diff parameter is the 4-divergence of a scalar parameter. The resulting gauge symmetry characterizes the "fracton" quasiparticles and identifies a theory which depends on a dimensionless parameter, which cannot be reabsorbed by a redefinition of the tensor field, despite the fact that the theory is free of interactions. This kind of "electromagnetic gauge symmetry" is weaker that the original diffeomorphism invariance, in the sense that the most general action contains, but is not limited to, linearized gravity, and we show how it is possible to switch continuously from linearized gravity to a mixed phase where both gravitons and fractons are present, without changing the degrees of freedom of the theory. The gauge fixing procedure is particularly rich and rather peculiar, and leads to the computation of propagators which in the massive case we ask to be tachyonic-free, thus constraining the domain of the parameter of the theory. Finally, a closer contact to fractons is made by the introduction of a parameter related to the "rate of propagation". For a particular value of this parameter the theory does not propagate at all, and we guess that, for this reason, the resulting theory should be tightly related to the fracton excitations.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Naming the Identified Feature Implementation Blocks from Software Source Code
Authors:
Ra'Fat Al-Msie'Deen,
Hamzeh Eyal Salman,
Anas H. Blasi,
Mohammed A. Alsuwaiket
Abstract:
Identifying software identifiers that implement a particular feature of a software product is known as feature identification. Feature identification is one of the most critical and popular processes performed by software engineers during software maintenance activity. However, a meaningful name must be assigned to the Identified Feature Implementation Block (IFIB) to complete the feature identifi…
▽ More
Identifying software identifiers that implement a particular feature of a software product is known as feature identification. Feature identification is one of the most critical and popular processes performed by software engineers during software maintenance activity. However, a meaningful name must be assigned to the Identified Feature Implementation Block (IFIB) to complete the feature identification process. The feature naming process remains a challenging task, where the majority of existing approaches manually assign the name of the IFIB. In this paper, the approach called FeatureClouds was proposed, which can be exploited by software developers to name the IFIBs from software code. FeatureClouds approach incorporates word clouds visualization technique to name Feature Blocks (FBs) by using the most frequent words across these blocks. FeatureClouds had evaluated by assessing its added benefit to the current approaches in the literature, where limited tool support was supplied to software developers to distinguish feature names of the IFIBs. For validity, FeatureClouds had applied to draw shapes and ArgoUML software. The findings showed that the proposed approach achieved promising results according to well-known metrics in terms of Precision and Recall.
△ Less
Submitted 24 April, 2022;
originally announced April 2022.
-
Detecting commonality and variability in use-case diagram variants
Authors:
Ra'Fat AL-Msie'deen,
Anas H. Blasi,
Hamzeh Eyal Salman,
Saqer S. Alja'afreh,
Ahmad Abadleh,
Mohammed A. Alsuwaiket,
Awni Hammouri,
Asmaa Jameel Al_Nawaiseh,
Wafa Tarawneh,
Suleyman A. Al-Showarah
Abstract:
The use-case diagram is a software artifact. Thus, as with any software artifact, the use-case diagrams change across time through the software development life cycle. Therefore, several versions of the same diagram are existed at distinct times. Thus, comparing all use-case diagram variants to detect common and variable use-cases becomes one of the main challenges in the product line reengineerin…
▽ More
The use-case diagram is a software artifact. Thus, as with any software artifact, the use-case diagrams change across time through the software development life cycle. Therefore, several versions of the same diagram are existed at distinct times. Thus, comparing all use-case diagram variants to detect common and variable use-cases becomes one of the main challenges in the product line reengineering field. The contribution of this paper is to suggest an automatic approach to compare a collection of use-case diagram variants and detect both commonality and variability. In our work, every use-case represents a feature. The proposed approach visualizes the detected features using formal concept analysis, where common and variable features are introduced to software engineers. The proposed approach was applied on a mobile media case study to be validated. The findings confirm the importance and the performance of the suggested approach as all common and variable features were precisely detected via formal concept analysis and latent semantic indexing.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Constructing a software requirements specification and design for electronic IT news magazine system
Authors:
Ra'Fat Al-Msie'deen,
Anas H. Blasi,
Mohammed A. Alsuwaiket
Abstract:
Requirements engineering process intends to obtain software services and constraints. This process is essential to meet the customer's needs and expectations. This process includes three main activities in general. These are detecting requirements by interacting with software stakeholders, transferring these requirements into a standard document, and examining that the requirements really define t…
▽ More
Requirements engineering process intends to obtain software services and constraints. This process is essential to meet the customer's needs and expectations. This process includes three main activities in general. These are detecting requirements by interacting with software stakeholders, transferring these requirements into a standard document, and examining that the requirements really define the software that the client needs. Functional requirements are services that the software should deliver to the end-user. In addition, functional requirements describe how the software should respond to specific inputs, and how the software should behave in certain circumstances. This paper aims to develop a software requirements specification document of the electronic IT news magazine system. The electronic magazine provides users to post and view up-to-date IT news. Still, there is a lack in the literature of comprehensive studies about the construction of the electronic magazine software specification and design in conformance with the contemporary software development processes. Moreover, there is a need for a suitable research framework to support the requirements engineering process. The novelty of this paper is the construction of software specification and design of the electronic magazine by following the Al-Msie'deen research framework. All the documents of software requirements specification and design have been constructed to conform to the agile usage-centered design technique and the proposed research framework. A requirements specification and design are suggested and followed for the construction of the electronic magazine software. This study proved that involving users extensively in the process of software requirements specification and design will lead to the creation of dependable and acceptable software systems.
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
Software Evolution Understanding: Automatic Extraction of Software Identifiers Map for Object-Oriented Software Systems
Authors:
Ra'Fat AL-msie'deen,
Anas H. Blasi
Abstract:
Software companies usually develop a set of product variants within the same family that share certain functions and differ in others. Variations across software variants occur to meet different customer requirements. Thus, software product variants evolve overtime to cope with new requirements. A software engineer who deals with this family may find it difficult to understand the evolution scenar…
▽ More
Software companies usually develop a set of product variants within the same family that share certain functions and differ in others. Variations across software variants occur to meet different customer requirements. Thus, software product variants evolve overtime to cope with new requirements. A software engineer who deals with this family may find it difficult to understand the evolution scenarios that have taken place over time. In addition, software identifier names are important resources to understand the evolution scenarios in this family. This paper introduces an automatic approach called Juana's approach to detect the evolution scenario across two product variants at the source code level and identifies the common and unique software identifier names across software variants source code. Juana's approach refers to common and unique identifier names as a software identifiers map and computes it by comparing software variants to each other. Juana considers all software identifier names such as package, class, attribute, and method. The novelty of this approach is that it exploits common and unique identifier names across the source code of software variants, to understand the evolution scenarios across software family in an efficient way. For validity, Juana was applied on ArgoUML and Mobile Media software variants. The results of this evaluation validate the relevance and the performance of the approach as all evolution scenarios were correctly detected via a software identifiers map.
△ Less
Submitted 3 October, 2021;
originally announced October 2021.
-
RepliComment: Identifying Clones in Code Comments
Authors:
Arianna Blasi,
Nataliia Stulova,
Alessandra Gorla,
Oscar Nierstrasz
Abstract:
Code comments are the primary means to document implementation and facilitate program comprehension. Thus, their quality should be a primary concern to improve program maintenance. While much effort has been dedicated to detecting bad smells, such as clones in code, little work has focused on comments. In this paper we present our solution to detect clones in comments that developers should fix. R…
▽ More
Code comments are the primary means to document implementation and facilitate program comprehension. Thus, their quality should be a primary concern to improve program maintenance. While much effort has been dedicated to detecting bad smells, such as clones in code, little work has focused on comments. In this paper we present our solution to detect clones in comments that developers should fix. RepliComment can automatically analyze Java projects and report instances of copy-and-paste errors in comments, and can point developers to which comments should be fixed. Moreover, it can report when clones are signs of poorly written comments. Developers should fix these instances too in order to improve the quality of the code documentation. Our evaluation of 10 well-known open source Java projects identified over 11K instances of comment clones, and over 1,300 of them are potentially critical. We improve on our own previous work, which could only find 36 issues in the same dataset. Our manual inspection of 412 issues reported by RepliComment reveals that it achieves a precision of 79% in reporting critical comment clones. The manual inspection of 200 additional comment clones that RepliComment filters out as being legitimate, could not evince any false negative.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
Intelligent Risk Alarm for Asthma Patients using Artificial Neural Networks
Authors:
Rawabi A. Aroud,
Anas H. Blasi,
Mohammed A. Alsuwaiket
Abstract:
Asthma is a chronic disease of the airways of the lungs. It results in inflammation and narrowing of the respiratory passages, which prevents air flow into the airways and leads to frequent bouts of shortness of breath with wheezing accompanied by coughing and phlegm after exposure to inhalation of substances that provoke allergic reactions or irritation of the respiratory system. Data mining in h…
▽ More
Asthma is a chronic disease of the airways of the lungs. It results in inflammation and narrowing of the respiratory passages, which prevents air flow into the airways and leads to frequent bouts of shortness of breath with wheezing accompanied by coughing and phlegm after exposure to inhalation of substances that provoke allergic reactions or irritation of the respiratory system. Data mining in healthcare system is very important in diagnosing and understanding data, so data mining aims to solve basic problems in diagnosing diseases due to the complexity of diagnosing asthma. Predicting chemicals in the atmosphere is very important and one of the most difficult problems since the last century. In this paper, the impact of chemicals on asthma patient will be presented and discussed. Sensor system called MQ5 will be used to examine the smoke and nitrogen content in the atmosphere. MQ5 will be inserted in a wristwatch that checks the smoke and nitrogen content in the patients place, the system shall issue a warning alarm if this gas affects the person with asthma. It will be based on the Artificial Neural Networks (ANN) algorithm that has been built using data that containing a set of chemicals such as carbon monoxide, NMHC (GT) acid gas, C6H6 (GT) Gasoline, NOx (GT) Nitrogen Oxide, and NO2 (GT) Nitrogen Dioxide. The temperature and humidity will be also used as they can negatively affect asthma patient. Finally, the rating model was evaluated and achieved 99.58% classification accuracy.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
Mosques Smart Domes System using Machine Learning Algorithms
Authors:
Mohammad Awis Al Lababede,
Anas H. Blasi,
Mohammed A. Alsuwaiket
Abstract:
Millions of mosques around the world are suffering some problems such as ventilation and difficulty getting rid of bacteria, especially in rush hours where congestion in mosques leads to air pollution and spread of bacteria, in addition to unpleasant odors and to a state of discomfort during the pray times, where in most mosques there are no enough windows to ventilate the mosque well. This paper…
▽ More
Millions of mosques around the world are suffering some problems such as ventilation and difficulty getting rid of bacteria, especially in rush hours where congestion in mosques leads to air pollution and spread of bacteria, in addition to unpleasant odors and to a state of discomfort during the pray times, where in most mosques there are no enough windows to ventilate the mosque well. This paper aims to solve these problems by building a model of smart mosques domes using weather features and outside temperatures. Machine learning algorithms such as k Nearest Neighbors and Decision Tree were applied to predict the state of the domes open or close. The experiments of this paper were applied on Prophet mosque in Saudi Arabia, which basically contains twenty seven manually moving domes. Both machine learning algorithms were tested and evaluated using different evaluation methods. After comparing the results for both algorithms, DT algorithm was achieved higher accuracy 98% comparing with 95% accuracy for kNN algorithm. Finally, the results of this study were promising and will be helpful for all mosques to use our proposed model for controlling domes automatically.
△ Less
Submitted 30 August, 2020;
originally announced September 2020.
-
Refining Student Marks based on Enrolled Modules Assessment Methods using Data Mining Techniques
Authors:
Mohammed A. Alsuwaiket,
Anas H. Blasi,
Khawla Altarawneh
Abstract:
Choosing the right and effective way to assess students is one of the most important tasks of higher education. Many studies have shown that students tend to receive higher scores during their studies when assessed by different study methods which include units that are fully assessed by varying the duration of study or a combination of courses and exams than by exams alone. Many Educational Data…
▽ More
Choosing the right and effective way to assess students is one of the most important tasks of higher education. Many studies have shown that students tend to receive higher scores during their studies when assessed by different study methods which include units that are fully assessed by varying the duration of study or a combination of courses and exams than by exams alone. Many Educational Data Mining studies process data in advance through traditional data extraction, including the data preparation process. In this paper, we propose a different data preparation process by investigating more than 230000 student records for the preparation of scores. The data have been processed through diverse stages in order to extract a categorical factor through which students module marks are refined during the data preparation stage. The results of this work show that students final marks should not be isolated from the nature of the enrolled module assessment methods. They must rather be investigated thoroughly and considered during EDM data preprocessing stage. More generally, educational data should not be prepared in the same way normal data are due to the differences in data sources, applications, and error types. The effect of Module Assessment Index on the prediction process using Random Forest and Naive Bayes classification techniques were investigated. It was shown that considering MAI as attribute increases the accuracy of predicting students second year averages based on their first year averages.
△ Less
Submitted 30 August, 2020;
originally announced September 2020.
-
Formulating Module Assessment for Improved Academic Performance Predictability in Higher Education
Authors:
Mohammed Alsuwaiket,
Anas H. Blasi,
Ra'Fat Al-Msie'deen
Abstract:
Various studies have shown that students tend to get higher marks when assessed through coursework based assessment methods which include either modules that are fully assessed through coursework or a mixture of coursework and examinations than assessed by examination alone. There are a large number of educational data mining studies that preprocess data through conventional data mining processes…
▽ More
Various studies have shown that students tend to get higher marks when assessed through coursework based assessment methods which include either modules that are fully assessed through coursework or a mixture of coursework and examinations than assessed by examination alone. There are a large number of educational data mining studies that preprocess data through conventional data mining processes including data preparation process, but they are using transcript data as they stand without looking at examination and coursework results weighting which could affect prediction accuracy. This paper proposes a different data preparation process through investigating more than 230000 student records in order to prepare students marks based on the assessment methods of enrolled modules. The data have been processed through different stages in order to extract a categorical factor through which students module marks are refined during the data preparation process. The results of this work show that students final marks should not be isolated from the nature of the enrolled modules assessment methods. They must rather be investigated thoroughly and considered during EDMs data preprocessing phases. More generally, it is concluded that educational data should not be prepared in the same way as other data types due to differences as data sources, applications, and types of errors in them. Therefore, an attribute, coursework assessment ratio, is proposed to be used in order to take the different modules assessment methods into account while preparing student transcript data. The effect of CAR on prediction process using the random forest classification technique has been investigated. It is shown that considering CAR as an attribute increases the accuracy of predicting students second year averages based on their first year results.
△ Less
Submitted 30 August, 2020;
originally announced August 2020.
-
Topologically protected duality on the boundary of Maxwell-BF theory
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
The Maxwell-BF theory with a single-sided planar boundary is considered in Euclidean four dimensional spacetime. The presence of a boundary breaks the Ward identities which describe the gauge symmetries of the theory, and, using standard methods of quantum field theory, the most general boundary conditions and a nontrivial current algebra on the boundary are derived. The electromagnetic structure…
▽ More
The Maxwell-BF theory with a single-sided planar boundary is considered in Euclidean four dimensional spacetime. The presence of a boundary breaks the Ward identities which describe the gauge symmetries of the theory, and, using standard methods of quantum field theory, the most general boundary conditions and a nontrivial current algebra on the boundary are derived. The electromagnetic structure which characterizes the boundary is used to identify the three dimensional degrees of freedom, which turn out to be formed by a scalar field and a vector field, related by a duality relation. The induced three dimensional theory shows a strong-weak coupling duality which separates different regimes described by different covariant actions. The role of the Maxwell term in the bulk action is discussed, together with the relevance of the topological nature of the bulk action for the boundary physics.
△ Less
Submitted 20 July, 2019;
originally announced July 2019.
-
Supporting software documentation with source code summarization
Authors:
Ra'Fat Al-Msie'deen,
Anas H. Blasi
Abstract:
Source code summarization is a process of generating summaries that describe software code, the majority of source code summarization usually generated manually, where the summaries are written by software developers. Recently, new automated approaches are becoming more useful. These approaches have been found to be effective in some cases. The main weaknesses of these approaches are that they nev…
▽ More
Source code summarization is a process of generating summaries that describe software code, the majority of source code summarization usually generated manually, where the summaries are written by software developers. Recently, new automated approaches are becoming more useful. These approaches have been found to be effective in some cases. The main weaknesses of these approaches are that they never exploit code dependencies and summarize either the software classes or methods but not both. This paper proposes a source code summarization approach (Suncode) that produces a short description for each class and method in the software system. To validate the approach, it has been applied to several case studies. Moreover, the generated summaries are compared to summaries that written by human experts and to summaries that written by a state-of-the-art solution. Results of this paper found that Suncode summaries provide better information about code dependencies comparing with other studies. In addition, Suncode summaries can improve and support the current software documentation. The results found that manually written summaries were more precise and short as well.
△ Less
Submitted 14 December, 2018;
originally announced January 2019.
-
The Impact of the Object-Oriented Software Evolution on Software Metrics: The Iris Approach
Authors:
Ra'Fat Al-Msie'deen,
Anas H. Blasi
Abstract:
The Object-Oriented (OO) software system evolves over the time to meet the new requirements. Based on the initial release of software, the continuous modification of software code leads to software evolution. Software needs to evolve over the time to meet the new user's requirements. Software companies often develop variant software of the original one depends on customers' needs. The main hypothe…
▽ More
The Object-Oriented (OO) software system evolves over the time to meet the new requirements. Based on the initial release of software, the continuous modification of software code leads to software evolution. Software needs to evolve over the time to meet the new user's requirements. Software companies often develop variant software of the original one depends on customers' needs. The main hypothesis of this paper states that the software when it evolves over the time, its code continues to grow, change and become more complex. This paper proposes an automatic approach (Iris) to examine the proposed hypothesis. Originality of this approach is the exploiting of the software variants to study the impact of software evolution on the software metrics. This paper presents the results of experiments conducted on three releases of drawing shapes software, sixteen releases of rhino software, eight releases of mobile media software and ten releases of ArgoUML software. Based on the extracted software metrics, It has been found that Iris hypothesis is supported by the computed metrics.
△ Less
Submitted 15 March, 2018;
originally announced March 2018.
-
Massive gravity and Fierz-Pauli theory
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
Linearized gravity is considered as an ordinary gauge field theory. This implies the need for gauge fixing in order to have well defined propagators. Only after having achieved this, the most general mass term is added. The aim of this paper is to study of the degrees of freedom of the gauge fixed theory of linearized gravity with mass term. The main result is that, even outside the usual Fierz-Pa…
▽ More
Linearized gravity is considered as an ordinary gauge field theory. This implies the need for gauge fixing in order to have well defined propagators. Only after having achieved this, the most general mass term is added. The aim of this paper is to study of the degrees of freedom of the gauge fixed theory of linearized gravity with mass term. The main result is that, even outside the usual Fierz-Pauli constraint on the mass term, it is possible to choose a gauge fixing belonging to the Landau class, which leads to a massive theory of gravity with the five degrees of freedom of a spin two massive particle.
△ Less
Submitted 25 June, 2017;
originally announced June 2017.
-
Massive deformations of rank-2 symmetric tensor theory (a.k.a. BRS characterization of Fierz-Pauli massive gravity)
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
In this paper we consider the issue of massive gravity from a pure field theoretical point of view, as the massive deformation of the gauge theory for a symmetric rank-2 tensor field. We look for the most general massive theory with well defined propagators, imposing the absence of unphysical poles (ghosts). We find several possibilities, depending on the choice of the gauge fixing term. {Amongst…
▽ More
In this paper we consider the issue of massive gravity from a pure field theoretical point of view, as the massive deformation of the gauge theory for a symmetric rank-2 tensor field. We look for the most general massive theory with well defined propagators, imposing the absence of unphysical poles (ghosts). We find several possibilities, depending on the choice of the gauge fixing term. {Amongst these, two solutions with good massless limit are found.} The request of the absence of ghosts, alone, does not isolate the Fierz-Pauli case: several examples of massive theories, which may include or not the Fierz-Pauli mass term, are given. On the other hand, the Fierz-Pauli theory can be uniquely identified by means of a symmetry: it turns out the the Fierz-Pauli massive gravity is the only element of the cohomology of a BRS operator.
△ Less
Submitted 6 June, 2017; v1 submitted 3 December, 2015;
originally announced December 2015.
-
Duality and Dimensional Reduction of 5D BF Theory
Authors:
Andrea Amoretti,
Alberto Blasi,
Giacomo Caruso,
Nicola Maggiore,
Nicodemo Magnoli
Abstract:
A planar boundary introduced à la Symanzik in the 5D topological BF theory, with the only requirement of locality and power counting, allows to uniquely determine a gauge invariant, non topological 4D Lagrangian. The boundary condition on the bulk fields is interpreted as a duality relation for the boundary fields, in analogy with the fermionization duality which holds in the 3D case. This suggest…
▽ More
A planar boundary introduced à la Symanzik in the 5D topological BF theory, with the only requirement of locality and power counting, allows to uniquely determine a gauge invariant, non topological 4D Lagrangian. The boundary condition on the bulk fields is interpreted as a duality relation for the boundary fields, in analogy with the fermionization duality which holds in the 3D case. This suggests that the 4D degrees of freedom might be fermionic, although starting from a bosonic bulk theory. The method we propose to dimensionally reduce a Quantum Field Theory and to identify the resulting degrees of freedom can be applied to a generic spacetime dimension.
△ Less
Submitted 27 May, 2013; v1 submitted 16 January, 2013;
originally announced January 2013.
-
3D Dynamics of 4D Topological BF Theory With Boundary
Authors:
Andrea Amoretti,
Alberto Blasi,
Nicola Maggiore,
Nicodemo Magnoli
Abstract:
We consider the four dimensional abelian topological BF theory with a planar boundary introduced following the Symanzik's method. We find the most general boundary conditions compatible with the fields equations broken by the boundary. The residual gauge invariance is described by means of two Ward identities which generate an algebra of conserved currents. We interpret this algebra as canonical c…
▽ More
We consider the four dimensional abelian topological BF theory with a planar boundary introduced following the Symanzik's method. We find the most general boundary conditions compatible with the fields equations broken by the boundary. The residual gauge invariance is described by means of two Ward identities which generate an algebra of conserved currents. We interpret this algebra as canonical commutation relations of fields, which we use to construct a three dimensional Lagrangian. As a remarkable by-product, the (unique) boundary condition which we found, can be read as a duality relation between 3D dynamical variables.
△ Less
Submitted 27 October, 2012; v1 submitted 28 May, 2012;
originally announced May 2012.
-
Non-Abelian BF theory for 2+1 dimensional topological states of matter
Authors:
A. Blasi,
A. Braggio,
M. Carrega,
D. Ferraro,
N. Maggiore,
N. Magnoli
Abstract:
We present a field theoretical analysis of the 2+1 dimensional BF model with boundary in the Abelian and the non-Abelian case based on the Symanzik's separability condition. In both cases on the edges we obtain Kač--Moody algebras with opposite chiralities reflecting the time reversal invariance of the theory. While the Abelian case presents an apparent arbitrariness in the value of the central ch…
▽ More
We present a field theoretical analysis of the 2+1 dimensional BF model with boundary in the Abelian and the non-Abelian case based on the Symanzik's separability condition. In both cases on the edges we obtain Kač--Moody algebras with opposite chiralities reflecting the time reversal invariance of the theory. While the Abelian case presents an apparent arbitrariness in the value of the central charge, the physics on the boundary of the non-Abelian theory is completely determined by time reversal and gauge symmetry. The discussion of the non-Abelian BF model shows that time reversal symmetry on the boundary implies the existence of counter-propagating chiral currents.
△ Less
Submitted 6 January, 2012; v1 submitted 23 June, 2011;
originally announced June 2011.
-
Maxwell-Chern-Simons Theory With Boundary
Authors:
A. Blasi,
N. Maggiore,
N. Magnoli,
S. Storace
Abstract:
The Maxwell-Chern-Simons (MCS) theory with planar boundary is considered. The boundary is introduced according to Symanzik's basic principles of locality and separability. A method of investigation is proposed, which, avoiding the straight computation of correlators, is appealing for situations where the computation of propagators, modified by the boundary, becomes quite complex. For MCS theory, t…
▽ More
The Maxwell-Chern-Simons (MCS) theory with planar boundary is considered. The boundary is introduced according to Symanzik's basic principles of locality and separability. A method of investigation is proposed, which, avoiding the straight computation of correlators, is appealing for situations where the computation of propagators, modified by the boundary, becomes quite complex. For MCS theory, the outcome is that a unique solution exists, in the form of chiral conserved currents, satisfying a Kac-Moody algebra, whose central charge does not depend on the Maxwell term.
△ Less
Submitted 9 June, 2010; v1 submitted 17 February, 2010;
originally announced February 2010.
-
Symanzik's Method Applied To The Fractional Quantum Hall Edge States
Authors:
Alberto Blasi,
Dario Ferraro,
Nicola Maggiore,
Nicodemo Magnoli,
Maura Sassetti
Abstract:
In this paper we consider an abelian Chern-Simons theory with plane boundary and we show, following Symankiz's quite general approach, how the known results for edge states in the Laughlin series can be derived in a systematic way by the separability condition. Moreover we show that the conserved boundary currents find a natural and explicit interpretation in terms of the continuity equation and…
▽ More
In this paper we consider an abelian Chern-Simons theory with plane boundary and we show, following Symankiz's quite general approach, how the known results for edge states in the Laughlin series can be derived in a systematic way by the separability condition. Moreover we show that the conserved boundary currents find a natural and explicit interpretation in terms of the continuity equation and the Tomonaga-Luttinger commutation relation for electronic density is recovered.
△ Less
Submitted 1 April, 2008;
originally announced April 2008.
-
On Consistency Of Noncommutative Chern-Simons Theory
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
We consider the noncommutative extension of Chern-Simons theory. We show the the theory can be fully expanded in power series of the noncommutative parameter theta and that no non-analytical sector exists. The theory appears to be unstable under radiative corrections, but we show that the infinite set of instabilities, to all orders in \hbar and in theta, is confined to a BRS exact cocycle. We s…
▽ More
We consider the noncommutative extension of Chern-Simons theory. We show the the theory can be fully expanded in power series of the noncommutative parameter theta and that no non-analytical sector exists. The theory appears to be unstable under radiative corrections, but we show that the infinite set of instabilities, to all orders in \hbar and in theta, is confined to a BRS exact cocycle. We show also that the theory is anomaly free. The quantum theory cannot be written in terms of the Groenewald-Moyal star product, and hence doubts arise on the interpretation of the noncommutative nature of the underlying spacetime. Nonetheless, the deformed theory is well defined as a quantum field theory, and the beta function of the Chern-Simons coupling constant vanishes, as in the ordinary Chern-Simons theory.
△ Less
Submitted 25 July, 2007;
originally announced July 2007.
-
General Solution Of Linear Vector Supersymmetry
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
We give the general solution of the Ward identity for the linear vector supersymmetry which characterizes all topological models. Such solution, whose expression is quite compact and simple, greatly simplifies the study of theories displaying a supersymmetric algebraic structure, reducing to a few lines the proof of their possible finiteness. In particular, the cohomology technology usually invo…
▽ More
We give the general solution of the Ward identity for the linear vector supersymmetry which characterizes all topological models. Such solution, whose expression is quite compact and simple, greatly simplifies the study of theories displaying a supersymmetric algebraic structure, reducing to a few lines the proof of their possible finiteness. In particular, the cohomology technology usually involved for the quantum extension of these theories, is completely bypassed. The case of Chern-Simons theory is taken as an example.
△ Less
Submitted 20 December, 2006; v1 submitted 14 June, 2006;
originally announced June 2006.
-
Noncommutative Two Dimensional BF Model
Authors:
Alberto Blasi,
Nicola Maggiore,
Michele Montobbio
Abstract:
We consider the noncommutative extension of the BF theory in two spacetime dimensions. We show that the introduction of the noncommutative parameter θ_{μν}, already at first order in the analytical sector, induces infinitely many terms in the quantum extension of the model. This clashes with the commonly accepted rules of QFT, and we believe that this problem is not peculiar to this particular m…
▽ More
We consider the noncommutative extension of the BF theory in two spacetime dimensions. We show that the introduction of the noncommutative parameter θ_{μν}, already at first order in the analytical sector, induces infinitely many terms in the quantum extension of the model. This clashes with the commonly accepted rules of QFT, and we believe that this problem is not peculiar to this particular model, but it might concern the noncommutative extension of any ordinary quantum field theory obtained via the Moyal prescription. A detailed study of noncommutative anomalies is also presented.
△ Less
Submitted 31 January, 2006; v1 submitted 1 December, 2005;
originally announced December 2005.
-
Instabilities of noncommutative two dimensional BF model
Authors:
Alberto Blasi,
Nicola Maggiore,
Michele Montobbio
Abstract:
The noncommutative extension of two dimensional BF model is considered. It is shown that the realization of the noncommutative map via the Groenewold-Moyal star product leads to instabilities of the action, hence to a non renormalizable theory.
The noncommutative extension of two dimensional BF model is considered. It is shown that the realization of the noncommutative map via the Groenewold-Moyal star product leads to instabilities of the action, hence to a non renormalizable theory.
△ Less
Submitted 27 April, 2005;
originally announced April 2005.
-
Alternative Descriptions in Quaternionic Quantum Mechanics
Authors:
A. Blasi,
G. Scolarici,
L. Solombrino
Abstract:
We characterize the quasianti-Hermitian quaternionic operators in QQM by means of their spectra; moreover, we state a necessary and sufficient condition for a set of quasianti-Hermitian quaternionic operators to be anti-Hermitian with respect to a uniquely defined positive scalar product in a infinite dimensional (right) quaternionic Hilbert space. According to such results we obtain two alterna…
▽ More
We characterize the quasianti-Hermitian quaternionic operators in QQM by means of their spectra; moreover, we state a necessary and sufficient condition for a set of quasianti-Hermitian quaternionic operators to be anti-Hermitian with respect to a uniquely defined positive scalar product in a infinite dimensional (right) quaternionic Hilbert space. According to such results we obtain two alternative descriptions of a quantum optical physical system, in the realm of quaternionic quantum mechanics, while no alternative can exist in complex quantum mechanics, and we discuss some differences between them.
△ Less
Submitted 20 July, 2004;
originally announced July 2004.
-
Pseudo-Hermitian Hamiltonians, indefinite inner product spaces and their symmetries
Authors:
A. Blasi,
G. Scolarici,
L. Solombrino
Abstract:
We extend the definition of generalized parity $P$, charge-conjugation $C$ and time-reversal $T$ operators to nondiagonalizable pseudo-Hermitian Hamiltonians, and we use these generalized operators to describe the full set of symmetries of a pseudo-Hermitian Hamiltonian according to a fourfold classification. In particular we show that $TP$ and $CTP$ are the generators of the antiunitary symmetr…
▽ More
We extend the definition of generalized parity $P$, charge-conjugation $C$ and time-reversal $T$ operators to nondiagonalizable pseudo-Hermitian Hamiltonians, and we use these generalized operators to describe the full set of symmetries of a pseudo-Hermitian Hamiltonian according to a fourfold classification. In particular we show that $TP$ and $CTP$ are the generators of the antiunitary symmetries; moreover, a necessary and sufficient condition is provided for a pseudo-Hermitian Hamiltonian $H$ to admit a $P$-reflecting symmetry which generates the $P$-pseudounitary and the $P$-pseudoantiunitary symmetries. Finally, a physical example is considered and some hints on the $P$-unitary evolution of a physical system are also given.
△ Less
Submitted 27 February, 2004; v1 submitted 16 October, 2003;
originally announced October 2003.
-
Perturbative Beta Function of N=2 Super Yang-Mills Theories
Authors:
A. Blasi,
V. E. R. Lemes,
N. Maggiore,
S. P. Sorella,
A. Tanzini,
O. S. Ventura,
L. C. Q. Vilar
Abstract:
An algebraic proof of the nonrenormalization theorem for the perturbative beta function of the coupling constant of N=2 Super Yang-Mills theory is provided. The proof relies on a fundamental relationship between the N=2 Yang-Mills action and the local gauge invariant polynomial Tr phi^2, phi(x) being the scalar field of the N=2 vector gauge multiplet. The nonrenormalization theorem for the beta…
▽ More
An algebraic proof of the nonrenormalization theorem for the perturbative beta function of the coupling constant of N=2 Super Yang-Mills theory is provided. The proof relies on a fundamental relationship between the N=2 Yang-Mills action and the local gauge invariant polynomial Tr phi^2, phi(x) being the scalar field of the N=2 vector gauge multiplet. The nonrenormalization theorem for the beta function follows from the vanishing of the anomalous dimension of Tr phi^2.
△ Less
Submitted 14 April, 2000; v1 submitted 7 April, 2000;
originally announced April 2000.
-
Repairing Broken Algebras
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
We consider theories characterized by a set of Ward operators which do not form a closed algebra. We impose the Slavnov--Taylor identity built out of the Ward operators and we derive the acceptable breaking of the algebra and the general form of the classical action. The 1PI generating functional is expressed in terms of the known quantities characterizing the theory and of a nontrivial integrab…
▽ More
We consider theories characterized by a set of Ward operators which do not form a closed algebra. We impose the Slavnov--Taylor identity built out of the Ward operators and we derive the acceptable breaking of the algebra and the general form of the classical action. The 1PI generating functional is expressed in terms of the known quantities characterizing the theory and of a nontrivial integrability condition. As a nontrivial application of our formalism, we discuss the N=4 supersymmetric nonlinear sigma model.
△ Less
Submitted 20 May, 1999; v1 submitted 15 December, 1998;
originally announced December 1998.
-
Renormalizability of Nonrenormalizable Field Theories
Authors:
Alberto Blasi,
Nicola Maggiore,
Silvio P. Sorella,
Luiz C. Q. Vilar
Abstract:
We give a simple and elegant proof of the Equivalence Theorem, stating that two field theories related by nonlinear field transformations have the same S matrix. We are thus able to identify a subclass of nonrenormalizable field theories which are actually physically equivalent to renormalizable ones. Our strategy is to show by means of the BRS formalism that the "nonrenormalizable" part of such…
▽ More
We give a simple and elegant proof of the Equivalence Theorem, stating that two field theories related by nonlinear field transformations have the same S matrix. We are thus able to identify a subclass of nonrenormalizable field theories which are actually physically equivalent to renormalizable ones. Our strategy is to show by means of the BRS formalism that the "nonrenormalizable" part of such fake nonrenormalizable theories, is a kind of gauge fixing, being confined in the cohomologically trivial sector of the theory.
△ Less
Submitted 4 December, 1998;
originally announced December 1998.
-
Infrared Regularization of Yang-Mills Theories
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
We introduce an infrared regulator in Yang--Mills theories under the form of a mass term for the nonabelian fields. We show that the resulting action, built in a covariant linear gauge, is multiplicatively renormalizable by proving the validity at all orders of the Slavnov identity defining the theory.
We introduce an infrared regulator in Yang--Mills theories under the form of a mass term for the nonabelian fields. We show that the resulting action, built in a covariant linear gauge, is multiplicatively renormalizable by proving the validity at all orders of the Slavnov identity defining the theory.
△ Less
Submitted 30 May, 1996; v1 submitted 10 November, 1995;
originally announced November 1995.
-
Antisymmetric tensor gauge theory
Authors:
G. Bandelloni A. Blasi
Abstract:
We analyze to all perturbative orders the properties of two possible quantum extensions of classically on-shell equivalent antisymmetric tensor gauge models in four dimensions. The first case, related to the soft breaking of a topological theory wants a gauge field of canonical dimension one. The other possibility, which assigns canonical dimension two to the gauge field, leads to the $σ$ model…
▽ More
We analyze to all perturbative orders the properties of two possible quantum extensions of classically on-shell equivalent antisymmetric tensor gauge models in four dimensions. The first case, related to the soft breaking of a topological theory wants a gauge field of canonical dimension one. The other possibility, which assigns canonical dimension two to the gauge field, leads to the $σ$ model interpretation of the theory. In both instances we find that the models are anomaly free.
△ Less
Submitted 30 March, 1993;
originally announced March 1993.
-
Infrared and Ultraviolet Finiteness of Topological BF Theory in Two Dimensions
Authors:
Alberto Blasi,
Nicola Maggiore
Abstract:
The two--dimensional topological BF model is considered in the Landau gauge in the framework of perturbation theory. Due to the singular behaviour of the ghost propagator at long distances, a mass term to the ghost fields is introduced as infrared regulator. Relying on the supersymmetric algebraic structure of the resulting massive theory, we study the infrared and ultraviolet renormalizability…
▽ More
The two--dimensional topological BF model is considered in the Landau gauge in the framework of perturbation theory. Due to the singular behaviour of the ghost propagator at long distances, a mass term to the ghost fields is introduced as infrared regulator. Relying on the supersymmetric algebraic structure of the resulting massive theory, we study the infrared and ultraviolet renormalizability of the model, with the outcome that it is perturbatively finite.
△ Less
Submitted 3 July, 1992;
originally announced July 1992.
-
Non-Renormalization Properties of the Chern-Simons Action Coupled to Matter
Authors:
Alberto Blasi,
Nicola Maggiore,
Silvio P. Sorella
Abstract:
We analyze an abelian gauge model in 3 dimensions which includes massless scalar matter fields. By controlling the trace anomalies with a local dilatation Ward identity, we show that, in perturbation theory and within the BPHZL scheme, the Chern-Simons term has no radiative corrections. This implies, in particular, the vanishing of the corresponding $β$ function in the renormalization group equa…
▽ More
We analyze an abelian gauge model in 3 dimensions which includes massless scalar matter fields. By controlling the trace anomalies with a local dilatation Ward identity, we show that, in perturbation theory and within the BPHZL scheme, the Chern-Simons term has no radiative corrections. This implies, in particular, the vanishing of the corresponding $β$ function in the renormalization group equation.
△ Less
Submitted 15 April, 1992;
originally announced April 1992.