Showing 1–50 of 66 results for author: Leoni, M

Transient Classifiers for Fink: Benchmarks for LSST

Authors: B. M. O. Fraga, C. R. Bom, A. Santos, E. Russeil, M. Leoni, J. Peloton, E. E. O. Ishida, A. Möller, S. Blondin

Abstract: The upcoming Legacy Survey of Space and Time (LSST) at the Vera Rubin Observatory is expected to detect a few million transients per night, which will generate a live alert stream during the entire 10 years of the survey. This will be distributed via community brokers whose task is to select subsets of the stream and direct them to scientific communities. Given the volume and complexity of data, m… ▽ More The upcoming Legacy Survey of Space and Time (LSST) at the Vera Rubin Observatory is expected to detect a few million transients per night, which will generate a live alert stream during the entire 10 years of the survey. This will be distributed via community brokers whose task is to select subsets of the stream and direct them to scientific communities. Given the volume and complexity of data, machine learning (ML) algorithms will be paramount for this task. We present the infrastructure tests and classification methods developed within the {\sc Fink} broker in preparation for LSST. This work aims to provide detailed information regarding the underlying assumptions, and methods, behind each classifier, enabling users to make informed follow-up decisions from {\sc Fink} photometric classifications. Using simulated data from the Extended LSST Astronomical Time-series Classification Challenge (ELAsTiCC), we showcase the performance of binary and multi-class ML classifiers available in {\sc Fink}. These include tree-based classifiers coupled with tailored feature extraction strategies, as well as deep learning algorithms. We introduce the CBPF Alert Transient Search (CATS), a deep learning architecture specifically designed for this task. Results show that {\sc Fink} classifiers are able to handle the extra complexity which is expected from LSST data. CATS achieved $97\%$ accuracy on a multi-class classification while our best performing binary classifier achieve $99\%$ when classifying the Periodic class. ELAsTiCC was an important milestone in preparing {\sc Fink} infrastructure to deal with LSST-like data. Our results demonstrate that {\sc Fink} classifiers are well prepared for the arrival of the new stream; this experience also highlights that transitioning from current infrastructures to Rubin will require significant adaptation of currently available tools. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: 18 pages, 29 figures. Submitted to A&A

An Explainable Decision Support System for Predictive Process Analytics

Authors: Riccardo Galanti, Massimiliano de Leoni, Merylin Monaro, Nicolò Navarin, Alan Marazzi, Brigida Di Stasi, Stéphanie Maldera

Abstract: Predictive Process Analytics is becoming an essential aid for organizations, providing online operational support of their processes. However, process stakeholders need to be provided with an explanation of the reasons why a given process execution is predicted to behave in a certain way. Otherwise, they will be unlikely to trust the predictive monitoring technology and, hence, adopt it. This pape… ▽ More Predictive Process Analytics is becoming an essential aid for organizations, providing online operational support of their processes. However, process stakeholders need to be provided with an explanation of the reasons why a given process execution is predicted to behave in a certain way. Otherwise, they will be unlikely to trust the predictive monitoring technology and, hence, adopt it. This paper proposes a predictive analytics framework that is also equipped with explanation capabilities based on the game theory of Shapley Values. The framework has been implemented in the IBM Process Mining suite and commercialized for business users. The framework has been tested on real-life event data to assess the quality of the predictions and the corresponding evaluations. In particular, a user evaluation has been performed in order to understand if the explanations provided by the system were intelligible to process stakeholders. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: arXiv admin note: text overlap with arXiv:2008.01807

2D quantum gravity partition function on the fluctuating sphere

Authors: Gaston Giribet, Matias Leoni

Abstract: Motivated by recent works on the connection between 2D quantum gravity and timelike Liouville theory, we revisit the latter and clarify some aspects of the computation of its partition function: We present a detailed computation of the Liouville partition function on the fluctuating sphere at finite values of the central charge. The results for both the spacelike theory and the timelike theory are… ▽ More Motivated by recent works on the connection between 2D quantum gravity and timelike Liouville theory, we revisit the latter and clarify some aspects of the computation of its partition function: We present a detailed computation of the Liouville partition function on the fluctuating sphere at finite values of the central charge. The results for both the spacelike theory and the timelike theory are given, and their properties analyzed. We discuss the derivation of the partition function from the DOZZ formula, its derivation using the Coulomb gas approach, a semiclassical computation of it using the fixed area saddle point, and, finally, we arrive to an exact expression for the timelike partition function whose expansion can be compared with the 3-loop perturbative calculations reported in the literature. We also discuss the connection to the 2D black hole and other related topics. △ Less

Submitted 11 June, 2022; originally announced June 2022.

Comments: 16 pages, 1 figure

Object-centric Process Predictive Analytics

Authors: Riccardo Galanti, Massimiliano de Leoni, Nicolò Navarin, Alan Marazzi

Abstract: Object-centric processes (a.k.a. Artifact-centric processes) are implementations of a paradigm where an instance of one process is not executed in isolation but interacts with other instances of the same or other processes. Interactions take place through bridging events where instances exchange data. Object-centric processes are recently gaining popularity in academia and industry, because their… ▽ More Object-centric processes (a.k.a. Artifact-centric processes) are implementations of a paradigm where an instance of one process is not executed in isolation but interacts with other instances of the same or other processes. Interactions take place through bridging events where instances exchange data. Object-centric processes are recently gaining popularity in academia and industry, because their nature is observed in many application scenarios. This poses significant challenges in predictive analytics due to the complex intricacy of the process instances that relate to each other via many-to-many associations. Existing research is unable to directly exploit the benefits of these interactions, thus limiting the prediction quality. This paper proposes an approach to incorporate the information about the object interactions into the predictive models. The approach is assessed on real-life object-centric process event data, using different KPIs. The results are compared with a naive approach that overlooks the object interactions, thus illustrating the benefits of their use on the prediction quality. △ Less

Submitted 5 March, 2022; originally announced March 2022.

Fink: early supernovae Ia classification using active learning

Authors: Marco Leoni, Emille E. O. Ishida, Julien Peloton, Anais Möller

Abstract: We describe how the Fink broker early supernova Ia classifier optimizes its ML classifications by employing an active learning (AL) strategy. We demonstrate the feasibility of implementation of such strategies in the current Zwicky Transient Facility (ZTF) public alert data stream. We compare the performance of two AL strategies: uncertainty sampling and random sampling. Our pipeline consists of 3… ▽ More We describe how the Fink broker early supernova Ia classifier optimizes its ML classifications by employing an active learning (AL) strategy. We demonstrate the feasibility of implementation of such strategies in the current Zwicky Transient Facility (ZTF) public alert data stream. We compare the performance of two AL strategies: uncertainty sampling and random sampling. Our pipeline consists of 3 stages: feature extraction, classification and learning strategy. Starting from an initial sample of 10 alerts (5 SN Ia and 5 non-Ia), we let the algorithm identify which alert should be added to the training sample. The system is allowed to evolve through 300 iterations. Our data set consists of 23 840 alerts from the ZTF with confirmed classification via cross-match with SIMBAD database and the Transient name server (TNS), 1 600 of which were SNe Ia (1 021 unique objects). The data configuration, after the learning cycle was completed, consists of 310 alerts for training and 23 530 for testing. Averaging over 100 realizations, the classifier achieved 89% purity and 54% efficiency. From 01/November/2020 to 31/October/2021 Fink has applied its early supernova Ia module to the ZTF stream and communicated promising SN Ia candidates to the TNS. From the 535 spectroscopically classified Fink candidates, 459 (86%) were proven to be SNe Ia. Our results confirm the effectiveness of active learning strategies for guiding the construction of optimal training samples for astronomical classifiers. It demonstrates in real data that the performance of learning algorithms can be highly improved without the need of extra computational resources or overwhelmingly large training samples. This is, to our knowledge, the first application of AL to real alerts data. △ Less

Submitted 20 April, 2022; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 663, A13 (2022)

Fink, a new generation of broker for the LSST community

Authors: Anais Möller, Julien Peloton, Emille E. O. Ishida, Chris Arnault, Etienne Bachelet, Tristan Blaineau, Dominique Boutigny, Abhishek Chauhan, Emmanuel Gangler, Fabio Hernandez, Julius Hrivnac, Marco Leoni, Nicolas Leroy, Marc Moniez, Sacha Pateyron, Adrien Ramparison, Damien Turpin, Réza Ansari, Tarek Allam Jr., Armelle Bajat, Biswajit Biswas, Alexandre Boucaud, Johan Bregeon, Jean-Eric Campagne, Johann Cohen-Tanugi , et al. (11 additional authors not shown)

Abstract: Fink is a broker designed to enable science with large time-domain alert streams such as the one from the upcoming Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST). It exhibits traditional astronomy broker features such as automatised ingestion, annotation, selection and redistribution of promising alerts for transient science. It is also designed to go beyond traditional broker fe… ▽ More Fink is a broker designed to enable science with large time-domain alert streams such as the one from the upcoming Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST). It exhibits traditional astronomy broker features such as automatised ingestion, annotation, selection and redistribution of promising alerts for transient science. It is also designed to go beyond traditional broker features by providing real-time transient classification which is continuously improved by using state-of-the-art Deep Learning and Adaptive Learning techniques. These evolving added values will enable more accurate scientific output from LSST photometric data for diverse science cases while also leading to a higher incidence of new discoveries which shall accompany the evolution of the survey. In this paper we introduce Fink, its science motivation, architecture and current status including first science verification cases using the Zwicky Transient Facility alert stream. △ Less

Submitted 16 December, 2020; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: accepted in MNRAS

Explainable Predictive Process Monitoring

Authors: Riccardo Galanti, Bernat Coma-Puig, Massimiliano de Leoni, Josep Carmona, Nicolò Navarin

Abstract: Predictive Business Process Monitoring is becoming an essential aid for organizations, providing online operational support of their processes. This paper tackles the fundamental problem of equipping predictive business process monitoring with explanation capabilities, so that not only the what but also the why is reported when predicting generic KPIs like remaining time, or activity execution. We… ▽ More Predictive Business Process Monitoring is becoming an essential aid for organizations, providing online operational support of their processes. This paper tackles the fundamental problem of equipping predictive business process monitoring with explanation capabilities, so that not only the what but also the why is reported when predicting generic KPIs like remaining time, or activity execution. We use the game theory of Shapley Values to obtain robust explanations of the predictions. The approach has been implemented and tested on real-life benchmarks, showing for the first time how explanations can be given in the field of predictive business process monitoring. △ Less

Submitted 16 September, 2020; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: Galanti, R., Coma-Puig, B., de Leoni, M., Carmona, J., Navarin, N.: Explainable Predictive Process Monitoring, the International Conference on Process Mining (ICPM 2020), IEEE Computational Intelligence Society, 2020. Article accepted for publication

Surfing and crawling macroscopic active particles under strong confinement -- inertial dynamics

Authors: Marco Leoni, Matteo Paoluzzi, Sarah Eldeen, Anthony Estrada, Lauren Nguyen, Maria Alexandrescu, Karin Sherb, Wylie W. Ahmed

Abstract: We study two types of active (self-propelled) macroscopic particles under confinement: camphor surfers and hexbug crawlers, using a combined experimental, theoretical, and numerical approach. Unlike widely studied microscopic active particles and swimmers, where thermal forces are often important and inertia is negligible, our macroscopic particles exhibit complex dynamics due expressly to active… ▽ More We study two types of active (self-propelled) macroscopic particles under confinement: camphor surfers and hexbug crawlers, using a combined experimental, theoretical, and numerical approach. Unlike widely studied microscopic active particles and swimmers, where thermal forces are often important and inertia is negligible, our macroscopic particles exhibit complex dynamics due expressly to active non-thermal noise combined with inertial effects. Strong confinement induces accumulation at a finite distance within the boundary and gives rise to three distinguishable dynamical states; both depending on activity and inertia. These surprisingly complex dynamics arise already at the single particle level -- highlighting the importance of inertia in macroscopic active matter. △ Less

Submitted 21 October, 2020; v1 submitted 21 May, 2020; originally announced May 2020.

Comments: 8 pages, 6 figures

$T\bar{T}$ deformation of classical Liouville field theory

Authors: Matias Leoni

Abstract: We consider the irrelevant flow of classical Liouville field theory driven by the $T\bar T$ operator. After discussing properties of its exact action and equation of motion we construct an infinite set of conserved currents. We also find its vacuum solutions. We consider the irrelevant flow of classical Liouville field theory driven by the $T\bar T$ operator. After discussing properties of its exact action and equation of motion we construct an infinite set of conserved currents. We also find its vacuum solutions. △ Less

Submitted 23 June, 2020; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: 25 pages, minor corrections, reference added

Current-current deformations, conformal integrals and correlation functions

Authors: Gaston Giribet, Matias Leoni

Abstract: Motivated by the recent work on $T\bar{T}$-type deformations of 2D CFTs, a especial class of single-trace deformations of AdS$_3$/CFT$_2$ correspondence has been investigated. From the worldsheet perspective, this corresponds to a marginal deformation of the $σ$-model on AdS$_3$ that yields a string background that interpolates between AdS$_3$ and a flat linear dilaton solution. Here, with the int… ▽ More Motivated by the recent work on $T\bar{T}$-type deformations of 2D CFTs, a especial class of single-trace deformations of AdS$_3$/CFT$_2$ correspondence has been investigated. From the worldsheet perspective, this corresponds to a marginal deformation of the $σ$-model on AdS$_3$ that yields a string background that interpolates between AdS$_3$ and a flat linear dilaton solution. Here, with the intention of studying this worldsheet CFT further, we consider it in the presence of a boundary. In a previous paper, we computed different correlation functions of this theory on the disk, including the bulk 1-point function, the boundary-boundary 2-point function, and the bulk-boundary 2-point function. This led us to compute the anomalous dimension of both bulk and boundary vertex operators, which first required a proper regularization of the ultraviolet divergences of the conformal integrals. Here, we extend the analysis by computing the bulk-bulk 2-point function on the disk and other observables on the sphere. We prove that the renormalization of the vertex operators proposed in our previous works is consistent with the form of the sphere $N$-point functions. △ Less

Submitted 5 March, 2020; originally announced March 2020.

Comments: 14 pages, 1 figure

Information and motility exchange in collectives of active particles

Authors: Matteo Paoluzzi, Marco Leoni, M Cristina Marchetti

Abstract: We examine the interplay of motility and information exchange in a model of run-and-tumble active particles where the particle's motility is encoded as a bit of information that can be exchanged upon contact according to the rules of AND and OR logic gates in a circuit. Motile AND particles become non-motile upon contact with a non-motile particle. Conversely, motile OR particles remain motile upo… ▽ More We examine the interplay of motility and information exchange in a model of run-and-tumble active particles where the particle's motility is encoded as a bit of information that can be exchanged upon contact according to the rules of AND and OR logic gates in a circuit. Motile AND particles become non-motile upon contact with a non-motile particle. Conversely, motile OR particles remain motile upon collision with their non-motile counterparts. AND particles that have become non-motile additionally "reawaken", i.e., recover their motility, at a fixed rate $μ$, as in the SIS (Susceptible, Infected, Susceptible) model of epidemic spreading, where an infected agent can become healthy again, but keeps no memory of the recent infection, hence it is susceptible to a renewed infection. For $μ=0$, both AND and OR particles relax irreversibly to absorbing states of all non-motile or all motile particles, respectively. The relaxation kinetics is, however, faster for OR particles that remain active throughout the process. At finite $μ$, the AND dynamics is controlled by the interplay between reawakening and collision rates. The system evolves to a state of all motile particles (an absorbing state in the language of absorbing phase transitions) for $μ>μ_c$ and to a mixed state with coexisting motile and non-motile particles (an active state in the language of absorbing phase transitions) for $μ<μ_c$. The final state exhibits a rich structure controlled by motility-induced aggregation. Our work can be relevant to biochemical signaling in motile bacteria, the spreading of epidemics and of social consensus, as well as light-controlled organization of active colloids. △ Less

Submitted 24 June, 2020; v1 submitted 4 February, 2020; originally announced February 2020.

Journal ref: Soft Matter, 2020, Advance Article

Roadmap on Wilson loops in 3d Chern-Simons-matter theories

Authors: Nadav Drukker, Diego Trancanelli, Lorenzo Bianchi, Marco S. Bianchi, Diego H. Correa, Valentina Forini, Luca Griguolo, Matias Leoni, Fedor Levkovich-Maslyuk, Gabriel Nagaoka, Silvia Penati, Michelangelo Preti, Malte Probst, Pavel Putrov, Domenico Seminara, Guillermo A. Silva, Marcia Tenser, Maxime Trepanier, Edoardo Vescovi, Itamar Yaakov, Jiaju Zhang

Abstract: This is a compact review of recent results on supersymmetric Wilson loops in ABJ(M) and related theories. It aims to be a quick introduction to the state of the art in the field and a discussion of open problems. It is divided into short chapters devoted to different questions and techniques. Some new results, perspectives and speculations are also presented. We hope this might serve as a baseline… ▽ More This is a compact review of recent results on supersymmetric Wilson loops in ABJ(M) and related theories. It aims to be a quick introduction to the state of the art in the field and a discussion of open problems. It is divided into short chapters devoted to different questions and techniques. Some new results, perspectives and speculations are also presented. We hope this might serve as a baseline for further studies of this topic. △ Less

Submitted 29 November, 2019; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: 41 pages, 4 figures, prepared for submission to J. Phys. A; v2: minor changes, published version

Journal ref: J. Phys. A: Math. and Theor., Vol. 53, Number 17 (2020)

Portable simulation framework for diffusion MRI

Authors: Van-Dang Nguyen, Massimiliano Leoni, Tamara Dancheva, Johan Jansson, Johan Hoffman, Demian Wassermann, Jing-Rebecca Li

Abstract: The numerical simulation of the diffusion MRI signal arising from complex tissue micro-structures is helpful for understanding and interpreting imaging data as well as for designing and optimizing MRI sequences. The discretization of the Bloch-Torrey equation by finite elements is a more recently developed approach for this purpose, in contrast to random walk simulations, which has a longer histor… ▽ More The numerical simulation of the diffusion MRI signal arising from complex tissue micro-structures is helpful for understanding and interpreting imaging data as well as for designing and optimizing MRI sequences. The discretization of the Bloch-Torrey equation by finite elements is a more recently developed approach for this purpose, in contrast to random walk simulations, which has a longer history. While finite elements discretization is more difficult to implement than random walk simulations, the approach benefits from a long history of theoretical and numerical developments by the mathematical and engineering communities. In particular, software packages for the automated solutions of partial differential equations using finite elements discretization, such as FEniCS, are undergoing active support and development. However, because diffusion MRI simulation is a relatively new application area, there is still a gap between the simulation needs of the MRI community and the available tools provided by finite elements software packages. In this paper, we address two potential difficulties in using FEniCS for diffusion MRI simulation. First, we simplified software installation by the use of FEniCS containers that are completely portable across multiple platforms. Second, we provide a portable simulation framework based on Python and whose code is open source. This simulation framework can be seamlessly integrated with cloud computing resources such as Google Colaboratory notebooks working on a web browser or with Google Cloud Platform with MPI parallelization. We show examples illustrating the accuracy, the computational times, and parallel computing capabilities. The framework contributes to reproducible science and open-source software in computational diffusion MRI with the hope that it will help to speed up method developments and stimulate research collaborations. △ Less

Submitted 5 August, 2019; originally announced August 2019.

What if Process Predictions are not followed by Good Recommendations? (Technical Report)

Authors: Marcus Dees, Massimiliano de Leoni, Wil M. P. van der Aalst, Hajo A. Reijers

Abstract: Process-aware Recommender systems (PAR systems) are information systems that aim to monitor process executions, predict their outcome, and recommend effective interventions to reduce the risk of failure. This paper discusses monitoring, predicting, and recommending using a PAR system within a financial institute in the Netherlands to avoid faulty executions. While predictions were based on the ana… ▽ More Process-aware Recommender systems (PAR systems) are information systems that aim to monitor process executions, predict their outcome, and recommend effective interventions to reduce the risk of failure. This paper discusses monitoring, predicting, and recommending using a PAR system within a financial institute in the Netherlands to avoid faulty executions. While predictions were based on the analysis of historical data, the most opportune intervention was selected on the basis of human judgment and subjective opinions. The results showed that, while the predictions of risky cases were relatively accurate, no reduction was observed in the number of faulty executions. We believe that this was caused by incorrect choices of interventions. While a large body of research exists on monitoring and predicting based on facts recorded in historicaldata, research on fact-based interventions is relatively limited. This paper reports on lessons learned from the case study in finance and proposes a new methodology to improve the performances of PAR systems. This methodology advocates the importance of several cycles of interactions among all actors involved so as to develop interventions that incorporate their feedback and are based on insights from factual, historical data. △ Less

Submitted 15 July, 2019; v1 submitted 24 May, 2019; originally announced May 2019.

Comments: Technical report

Fire Now, Fire Later: Alarm-Based Systems for Prescriptive Process Monitoring

Authors: Stephan A. Fahrenkrog-Petersen, Niek Tax, Irene Teinemaa, Marlon Dumas, Massimiliano de Leoni, Fabrizio Maria Maggi, Matthias Weidlich

Abstract: Predictive process monitoring is a family of techniques to analyze events produced during the execution of a business process in order to predict the future state or the final outcome of running process instances. Existing techniques in this field are able to predict, at each step of a process instance, the likelihood that it will lead to an undesired outcome.These techniques, however, focus on ge… ▽ More Predictive process monitoring is a family of techniques to analyze events produced during the execution of a business process in order to predict the future state or the final outcome of running process instances. Existing techniques in this field are able to predict, at each step of a process instance, the likelihood that it will lead to an undesired outcome.These techniques, however, focus on generating predictions and do not prescribe when and how process workers should intervene to decrease the cost of undesired outcomes. This paper proposes a framework for prescriptive process monitoring, which extends predictive monitoring with the ability to generate alarms that trigger interventions to prevent an undesired outcome or mitigate its effect. The framework incorporates a parameterized cost model to assess the cost-benefit trade-off of generating alarms. We show how to optimize the generation of alarms given an event log of past process executions and a set of cost model parameters. The proposed approaches are empirically evaluated using a range of real-life event logs. The experimental results show that the net cost of undesired outcomes can be minimized by changing the threshold for generating alarms, as the process instance progresses. Moreover, introducing delays for triggering alarms, instead of triggering them as soon as the probability of an undesired outcome exceeds a threshold, leads to lower net costs. △ Less

Submitted 14 October, 2020; v1 submitted 23 May, 2019; originally announced May 2019.

Cell motility, synchronization, and cell traction orientational order

Authors: M. Leoni

Abstract: Suspensions of swimming micro-organisms provide examples of coordinated active dynamics. That has stimulated the study of a phenomenological theory combining synchronization and polar order in active matter. Here, we consider another example inspired by the traction forces of migrating cells. The novelty, in this case, is the global force-free nature of the traction force field. Such a constraint… ▽ More Suspensions of swimming micro-organisms provide examples of coordinated active dynamics. That has stimulated the study of a phenomenological theory combining synchronization and polar order in active matter. Here, we consider another example inspired by the traction forces of migrating cells. The novelty, in this case, is the global force-free nature of the traction force field. Such a constraint is absent in the case where the vector field describes swimming speeds in micro-organisms suspensions. Cell traction is characterized by means of a complex tensor quantity, that generalizes the nematic orientation tensor to incorporate the ability of particles to synchronize, and cell motility depends on this quantity being non-zero. We provide a realization of migrating cell which comprises an assembly of dipolar elements exerting traction on a fluid substrate. This model indicates that spontaneous transition to the motile state is possible but requires (as in the case of synchronization) non-isochrony of oscillations and involves subtle synchronization patterns, associated to propagation of waves. Such results are consistent with recent experimental work relating motility to the synchronization of actin oscillators at the periphery of migrating cells. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Comments: 11 pages. 3 figures

From Low-Level Events to Activities -- A Session-Based Approach (Extended Version)

Authors: Massimiliano de Leoni, Safa Dundar

Abstract: Process-Mining techniques aim to use event data about past executions to gain insight into how processes are executed. While these techniques are proven to be very valuable, they are less successful to reach their goal if the process is flexible and, hence, events can potentially occur in any order. Furthermore, information systems can record events at very low level, which do not match the high-l… ▽ More Process-Mining techniques aim to use event data about past executions to gain insight into how processes are executed. While these techniques are proven to be very valuable, they are less successful to reach their goal if the process is flexible and, hence, events can potentially occur in any order. Furthermore, information systems can record events at very low level, which do not match the high-level concepts known at business level. Without abstracting sequences of events to high-level concepts, the results of applying process mining (e.g., discovered models) easily become very complex and difficult to interpret, which ultimately means that they are of little use. A large body of research exists on event abstraction but typically a large amount of domain knowledge is required to be fed in, which is often not readily available. Other abstraction techniques are unsupervised, which give lower accuracy. This paper puts forward a technique that requires limited domain knowledge that can be easily provided. Traces are divided in sessions, and each session is abstracted as one single high-level activity execution. The abstraction is based on a combination of automatic clustering and visualization methods. The technique was assessed on two case studies that evidently exhibits a large amount of behavior. The results clearly illustrate the benefits of the abstraction to convey knowledge to stakeholders. △ Less

Submitted 3 June, 2019; v1 submitted 10 March, 2019; originally announced March 2019.

A computational model of open-irrigated radiofrequency catheter ablation accounting for mechanical properties of the cardiac tissue

Authors: Argyrios Petras, Massimiliano Leoni, Jose M. Guerra, Johan Jansson, Luca Gerardo-Giorda

Abstract: Radiofrequency catheter ablation (RFCA) is an effective treatment for cardiac arrhythmias. Although generally safe, it is not completely exempt from the risk of complications. The great flexibility of computational models can be a major asset in optimizing interventional strategies, if they can produce sufficiently precise estimations of the generated lesion for a given ablation protocol. This req… ▽ More Radiofrequency catheter ablation (RFCA) is an effective treatment for cardiac arrhythmias. Although generally safe, it is not completely exempt from the risk of complications. The great flexibility of computational models can be a major asset in optimizing interventional strategies, if they can produce sufficiently precise estimations of the generated lesion for a given ablation protocol. This requires an accurate description of the catheter tip and the cardiac tissue. In particular, the deformation of the tissue under the catheter pressure during the ablation is an important aspect that is overlooked in the existing literature, that resorts to a sharp insertion of the catheter into an undeformed geometry. As the lesion size depends on the power dissipated in the tissue, and the latter depends on the percentage of the electrode surface in contact with the tissue itself, the sharp insertion geometry has the tendency to overestimate the lesion obtained, especially when a larger force is applied to the catheter. In this paper we introduce a full 3D computational model that takes into account the tissue elasticity, and is able to capture the tissue deformation and realistic power dissipation in the tissue. Numerical results in FEniCS-HPC are provided to validate the model against experimental data, and to compare the lesions obtained with the new model and with the classical ones featuring a sharp electrode insertion in the tissue. △ Less

Submitted 22 October, 2018; originally announced October 2018.

Spin chain integrability in non-supersymmetric Wilson loops

Authors: Diego Correa, Matias Leoni, Solange Luque

Abstract: We study the 1-loop dilatation operator for insertions of composite operators in a generalized Wilson loop in ${\cal N}=4$ super Yang-Mills, which interpolates between the supersymmetric Wilson-Maldacena loop and the ordinary Wilson loop with no scalar coupling. For $SO(6)$ scalar insertions, we show that the 1-loop dilatation operator is integrable for the endpoints of the interpolation, i.e. eit… ▽ More We study the 1-loop dilatation operator for insertions of composite operators in a generalized Wilson loop in ${\cal N}=4$ super Yang-Mills, which interpolates between the supersymmetric Wilson-Maldacena loop and the ordinary Wilson loop with no scalar coupling. For $SO(6)$ scalar insertions, we show that the 1-loop dilatation operator is integrable for the endpoints of the interpolation, i.e. either for the Wilson-Maldacena or the ordinary Wilson loop. Moreover, we also show that integrability persists for $SU(2|3)$ insertions in the ordinary Wilson loop, even when the term making the spin chain length dynamical is included. △ Less

Submitted 12 November, 2018; v1 submitted 10 October, 2018; originally announced October 2018.

Comments: 19 pages, 3 figures, references added

Fractal aggregation of active particles

Authors: Matteo Paoluzzi, Marco Leoni, M Cristina Marchetti

Abstract: We study active run-and-tumble particles with an additional two-state internal variable characterizing their motile or non-motile state. Motile particles change irreversibly into non-motile ones upon collision with a non-motile particle. The system evolves towards an absorbing state where all particles are non-motile. We initialize the system with one non-motile particles in a bath of motile ones… ▽ More We study active run-and-tumble particles with an additional two-state internal variable characterizing their motile or non-motile state. Motile particles change irreversibly into non-motile ones upon collision with a non-motile particle. The system evolves towards an absorbing state where all particles are non-motile. We initialize the system with one non-motile particles in a bath of motile ones and study numerically the kinetics of relaxation to absorbing state and its structure as function of the density of the initial bath of motile particles and of their tumbling rate. We find a crossover from fractal aggregates at low density to homogeneous ones at high density. The persistence of single-particle dynamics as quantified by the tumbling rate pushes this crossover to higher density and can be used to tune the porosity of the aggregate. At the lowest density the fractal dimension of the aggregate approaches that obtained in single-particle diffusion limited aggregation. Our results could be exploited for the design of structures of desired porosity. The model is a first step towards the study of the collective dynamics of active particles that can exchange biological information. △ Less

Submitted 24 November, 2018; v1 submitted 8 July, 2018; originally announced July 2018.

Comments: 6 pages, 4 figures

Journal ref: Phys. Rev. E 98, 052603 (2018)

$T\bar{T}$ type deformation in the presence of a boundary

Authors: Juan Pablo Babaro, Valentino F. Foit, Gaston Giribet, Matias Leoni

Abstract: We continue the study of a recently proposed solvable irrelevant deformation of an AdS$_3$/CFT$_2$ correspondence that leads in the UV to a theory with Hagedorn spectrum. This can be thought of as a single trace analog of the $T\bar{T}$-deformation of the dual CFT$_2$. Here we focus on the deformed worldsheet theory in presence of a conformal boundary. First, we compute the expectation value of a… ▽ More We continue the study of a recently proposed solvable irrelevant deformation of an AdS$_3$/CFT$_2$ correspondence that leads in the UV to a theory with Hagedorn spectrum. This can be thought of as a single trace analog of the $T\bar{T}$-deformation of the dual CFT$_2$. Here we focus on the deformed worldsheet theory in presence of a conformal boundary. First, we compute the expectation value of a bulk primary operator on the disc geometry. We give a closed expression for such observable, from which we obtain the anomalous conformal dimension induced by the deformation. We compare the result with that coming from the computation of the 2-point correlation function on the sphere, finding exact agreement. We perform the computation using different techniques and making a comparative analysis of different regularization schemes to solve the logarithmically divergent integrals. This enables us to perform further consistency checks of our result by computing other observables of the deformed theory: We compute both the bulk-boundary 2-point and the boundary-boundary 2-point functions and are able to reproduce the anomalous dimensions of both boundary and bulk operators. △ Less

Submitted 2 July, 2018; v1 submitted 27 June, 2018; originally announced June 2018.

Comments: typos corrected, added references

An Integrated Framework for Process Discovery Algorithm Evaluation

Authors: Toon Jouck, Alfredo Bolt, Benoît Depaire, Massimiliano de Leoni, Wil M. P. van der Aalst

Abstract: Process mining offers techniques to exploit event data by providing insights and recommendations to improve business processes. The growing amount of algorithms for process discovery has raised the question of which algorithms perform best on a given event log. Current evaluation frameworks for empirically evaluating discovery techniques depend on the notation used (behavioral identical models may… ▽ More Process mining offers techniques to exploit event data by providing insights and recommendations to improve business processes. The growing amount of algorithms for process discovery has raised the question of which algorithms perform best on a given event log. Current evaluation frameworks for empirically evaluating discovery techniques depend on the notation used (behavioral identical models may give different results) and cannot provide more general statements about populations of models. Therefore, this paper proposes a new integrated evaluation framework that uses a classification approach to make it modeling notation independent. Furthermore, it is founded on experimental design to ensure the generalization of results. It supports two main evaluation objectives: benchmarking process discovery algorithms and sensitivity analysis, i.e. studying the effect of model and log characteristics on a discovery algorithm's accuracy. The framework is designed as a scientific workflow which enables automated, extendable and shareable evaluation experiments. An extensive experiment including four discovery algorithms and six control-flow characteristics validates the relevance and flexibility of the framework. Ultimately, the paper aims to advance the state-of-the-art for evaluating process discovery techniques. △ Less

Submitted 8 June, 2018; originally announced June 2018.

A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)

Authors: Massimiliano de Leoni, Paolo Felli, Marco Montali

Abstract: The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated models where also data and decisions are explicitly considered. This calls for methods and techniques able to ascertain the correctness of such integrated models. Differently from previous approaches, which mainly focused on… ▽ More The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated models where also data and decisions are explicitly considered. This calls for methods and techniques able to ascertain the correctness of such integrated models. Differently from previous approaches, which mainly focused on the local interplay between decisions and their corresponding outgoing branches, we introduce a holistic approach to verify the end-to-end soundness of a Petri net-based process model, enriched with case data and decisions. In particular, we present an effective, implemented technique that verifies soundness by translating the input net into a colored Petri net with bounded color domains, which can then be analyzed using conventional tools. We prove correctness and termination of this technique. In addition, we relate our contribution to recent results on decision-aware soundness, showing that our approach can be readily applied there. △ Less

Submitted 6 April, 2018; originally announced April 2018.

Alarm-Based Prescriptive Process Monitoring

Authors: Irene Teinemaa, Niek Tax, Massimiliano de Leoni, Marlon Dumas, Fabrizio Maria Maggi

Abstract: Predictive process monitoring is concerned with the analysis of events produced during the execution of a process in order to predict the future state of ongoing cases thereof. Existing techniques in this field are able to predict, at each step of a case, the likelihood that the case will end up in an undesired outcome. These techniques, however, do not take into account what process workers may d… ▽ More Predictive process monitoring is concerned with the analysis of events produced during the execution of a process in order to predict the future state of ongoing cases thereof. Existing techniques in this field are able to predict, at each step of a case, the likelihood that the case will end up in an undesired outcome. These techniques, however, do not take into account what process workers may do with the generated predictions in order to decrease the likelihood of undesired outcomes. This paper proposes a framework for prescriptive process monitoring, which extends predictive process monitoring approaches with the concepts of alarms, interventions, compensations, and mitigation effects. The framework incorporates a parameterized cost model to assess the cost-benefit tradeoffs of applying prescriptive process monitoring in a given setting. The paper also outlines an approach to optimize the generation of alarms given a dataset and a set of cost model parameters. The proposed approach is empirically evaluated using a range of real-life event logs. △ Less

Submitted 19 June, 2018; v1 submitted 23 March, 2018; originally announced March 2018.

How many dissenters does it take to disorder a flock?

Authors: D. Yllanes, M. Leoni, M. C. Marchetti

Abstract: We consider the effect of introducing a small number of non-aligning agents in a well-formed flock. To this end, we modify a minimal model of active Brownian particles with purely repulsive (excluded volume) forces to introduce an alignment interaction that will be experienced by all the particles except for a small minority of "dissenters". We find that even a very small fraction of dissenters di… ▽ More We consider the effect of introducing a small number of non-aligning agents in a well-formed flock. To this end, we modify a minimal model of active Brownian particles with purely repulsive (excluded volume) forces to introduce an alignment interaction that will be experienced by all the particles except for a small minority of "dissenters". We find that even a very small fraction of dissenters disrupts the flocking state. Strikingly, these motile dissenters are much more effective than an equal number of static obstacles in breaking up the flock. For the studied system sizes we obtain clear evidence of scale invariance at the flocking-disorder transition point and the system can be effectively described with a finite-size scaling formalism. We develop a continuum model for the system which reveals that dissenters act like annealed noise on aligners, with a noise strength that grows with the persistence of the dissenters' dynamics. △ Less

Submitted 27 September, 2017; v1 submitted 19 January, 2017; originally announced January 2017.

Comments: 22 pages, 8 figures. Version accepted for publication in New Journal of Physics

Journal ref: New J. Phys. 19 (2017) 103026

The canonical form has got baubles

Authors: Marco S. Bianchi, Matias Leoni

Abstract: The method of differential equations in canonical form has proven a powerful tool for solving multiloop Feynman integrals. In this note we test this procedure away from four dimensions. Namely, we consider the simple example of a massless doublebox, expanded in dimensional regularization around six dimensions. We achieve a canonical form for the relevant master integrals and solve them in terms of… ▽ More The method of differential equations in canonical form has proven a powerful tool for solving multiloop Feynman integrals. In this note we test this procedure away from four dimensions. Namely, we consider the simple example of a massless doublebox, expanded in dimensional regularization around six dimensions. We achieve a canonical form for the relevant master integrals and solve them in terms of harmonic polylogarithms up to transcendental order 9. The integral basis of uniform transcendentality requires increasing indices of propagators. According to the standard graphical jargon, this amounts to decorating the integrals with baubles, like on Christmas trees, or rather loops in this case. The results can be useful for studying amplitudes in six dimensions. △ Less

Submitted 22 December, 2016; originally announced December 2016.

Comments: 16 pages, 1 figure

Report number: QMUL-PH-16-24

A $QQ\to QQ$ planar doublebox in canonical form

Authors: Marco S. Bianchi, Matias Leoni

Abstract: We consider a planar doublebox with four massive external momenta and two massive internal propagators. We derive the system of differential equations for the relevant master integrals, cast it in canonical form, write it as a $d\log$ form and solve it in terms of iterated integrals up to depth four. We consider a planar doublebox with four massive external momenta and two massive internal propagators. We derive the system of differential equations for the relevant master integrals, cast it in canonical form, write it as a $d\log$ form and solve it in terms of iterated integrals up to depth four. △ Less

Submitted 16 December, 2016; originally announced December 2016.

Comments: 12 pages, 2 figures

Report number: QMUL-PH-16-22

Defect driven shapes in nematic droplets: analogies with cell division

Authors: Marco Leoni, Oksana V. Manyuhina, Mark J. Bowick, M. Cristina Marchetti

Abstract: Building on the striking similarity between the structure of the spindle during mitosis in living cells and nematic textures in confined liquid crystals, we use a continuum model of two-dimensional nematic liquid crystal droplets, to examine the physical aspects of cell division. The model investigates the interplay between bulk elasticity of the microtubule assembly, described as a nematic liquid… ▽ More Building on the striking similarity between the structure of the spindle during mitosis in living cells and nematic textures in confined liquid crystals, we use a continuum model of two-dimensional nematic liquid crystal droplets, to examine the physical aspects of cell division. The model investigates the interplay between bulk elasticity of the microtubule assembly, described as a nematic liquid crystal, and surface elasticity of the cell cortex, modelled as a bounding flexible membrane, in controlling cell shape and division. The centrosomes at the spindle poles correspond to the cores of the topological defects required to accommodate nematic order in a closed geometry. We map out the progression of both healthy bipolar and faulty multi-polar division as a function of an effective parameter that incorporates active processes and controls centrosome separation. A robust prediction, independent of energetic considerations, is that the transition from a single cell to daughters cells occurs at critical value of this parameter. Our model additionally suggests that microtubule anchoring at the cell cortex may play an important role for successful bipolar division. This can be tested experimentally by regulating microtubule anchoring. △ Less

Submitted 11 January, 2017; v1 submitted 15 November, 2016; originally announced November 2016.

Comments: 10 pages, 7 figures

Journal ref: Soft Matter 13, 1257 (2017)

The quantum 1/2 BPS Wilson loop in ${\cal N}=4$ Chern-Simons-matter theories

Authors: Marco S. Bianchi, Luca Griguolo, Matias Leoni, Andrea Mauri, Silvia Penati, Domenico Seminara

Abstract: In three dimensional ${\cal N}=4$ Chern-Simons-matter theories two independent fermionic Wilson loop operators can be defined, which preserve half of the supersymmetry charges and are cohomologically equivalent at classical level. We compute their three-loop expectation value in a convenient color sector and prove that the degeneracy is uplifted by quantum corrections. We expand the matrix model p… ▽ More In three dimensional ${\cal N}=4$ Chern-Simons-matter theories two independent fermionic Wilson loop operators can be defined, which preserve half of the supersymmetry charges and are cohomologically equivalent at classical level. We compute their three-loop expectation value in a convenient color sector and prove that the degeneracy is uplifted by quantum corrections. We expand the matrix model prediction in the same regime and by comparison we conclude that the quantum 1/2 BPS Wilson loop is the average of the two operators. We provide an all-loop argument to support this claim at any order. As a by-product, we identify the localization result at three loops as a correction to the framing factor induced by matter interactions. Finally, we comment on the quantum properties of the non-1/2 BPS Wilson loop operator defined as the difference of the two fermionic ones. △ Less

Submitted 22 June, 2016; originally announced June 2016.

Comments: 22 pages + appendixes, 4 figures, 1 Table

Report number: QMUL-PH-16-13

An exact limit of ABJM

Authors: Marco S. Bianchi, Matias Leoni

Abstract: We study planar ABJM in a limit where one coupling is negligible compared to the other. We provide a recipe for exactly solving the expectation value of bosonic BPS Wilson loops on arbitrary smooth contours, or the leading divergence for cusped ones, using results from localization. As an application, we compute the exact (generalized) cusp anomalous dimension and Bremsstrahlung function and use i… ▽ More We study planar ABJM in a limit where one coupling is negligible compared to the other. We provide a recipe for exactly solving the expectation value of bosonic BPS Wilson loops on arbitrary smooth contours, or the leading divergence for cusped ones, using results from localization. As an application, we compute the exact (generalized) cusp anomalous dimension and Bremsstrahlung function and use it to determine the interpolating $h$-function. We finally prove a conjecture on the exact form of the dilatation operator in a closed sector, hinting at the integrability of this limit. △ Less

Submitted 9 May, 2016; originally announced May 2016.

Comments: 5 pages

Report number: QMUL-PH-16-

Journal ref: Phys. Rev. D 94, 045011 (2016)

Black hole thermodynamics, conformal couplings, and R^2 terms

Authors: Mariano Chernicoff, Mario Galante, Gaston Giribet, Andres Goya, Matias Leoni, Julio Oliva, Guillem Perez-Nadal

Abstract: Lovelock theory provides a tractable model of higher-curvature gravity in which several questions can be studied analytically. This is the reason why, in the last years, this theory has become the favorite arena to study the effects of higher-curvature terms in the context of AdS/CFT correspondence. Lovelock theory also admits extensions that permit to accommodate matter coupled to gravity in a no… ▽ More Lovelock theory provides a tractable model of higher-curvature gravity in which several questions can be studied analytically. This is the reason why, in the last years, this theory has become the favorite arena to study the effects of higher-curvature terms in the context of AdS/CFT correspondence. Lovelock theory also admits extensions that permit to accommodate matter coupled to gravity in a non-minimal way. In this setup, problems such as the backreaction of matter on the black hole geometry can also be solved exactly. In this paper, we study the thermodynamics of black holes in theories of gravity of this type, which include both higher-curvature terms, U(1) gauge fields, and conformal couplings with matter fields in D dimensions. These charged black hole solutions exhibit a backreacting scalar field configuration that is regular everywhere outside and on the horizon, and may exist both in asymptotically flat and asymptotically Anti-de Sitter (AdS) spaces. We work out explicitly the boundary action for this theory, which renders the variational problem well-posed and suffices to regularize the Euclidean action in AdS. We also discuss several interrelated properties of the theory, such as its duality symmetry under field redefinition and how it acts on black holes and gravitational wave solutions. △ Less

Submitted 5 May, 2016; v1 submitted 27 April, 2016; originally announced April 2016.

Comments: 24 pages, no figures; v2: references added, typos corrected

Framing and localization in Chern-Simons theories with matter

Authors: Marco S. Bianchi, Luca Griguolo, Matias Leoni, Andrea Mauri, Silvia Penati, Domenico Seminara

Abstract: Supersymmetric localization provides exact results that should match QFT computations in some regularization scheme. The agreement is particularly subtle in three dimensions where complex answers from localization procedure sometimes arise. We investigate this problem by studying the expectation value of the 1/6 BPS Wilson loop in planar ABJ(M) theory at three loops in perturbation theory. We repr… ▽ More Supersymmetric localization provides exact results that should match QFT computations in some regularization scheme. The agreement is particularly subtle in three dimensions where complex answers from localization procedure sometimes arise. We investigate this problem by studying the expectation value of the 1/6 BPS Wilson loop in planar ABJ(M) theory at three loops in perturbation theory. We reproduce the corresponding term in the localization result and argue that it originates entirely from a non-trivial framing of the circular contour. Contrary to pure Chern-Simons theory, we point out that for ABJ(M) the framing phase is a non-trivial function of the couplings and that it potentially receives contributions from vertex-like diagrams. Finally, we briefly discuss the intimate link between the exact framing factor and the Bremsstrahlung function of the 1/2-BPS cusp. △ Less

Submitted 23 June, 2016; v1 submitted 1 April, 2016; originally announced April 2016.

Comments: 24 pages, 7 figures; v2: published version

Report number: QMUL-PH-16-07

Time and Activity Sequence Prediction of Business Process Instances

Authors: Mirko Polato, Alessandro Sperduti, Andrea Burattin, Massimiliano de Leoni

Abstract: The ability to know in advance the trend of running process instances, with respect to different features, such as the expected completion time, would allow business managers to timely counteract to undesired situations, in order to prevent losses. Therefore, the ability to accurately predict future features of running business process instances would be a very helpful aid when managing processes,… ▽ More The ability to know in advance the trend of running process instances, with respect to different features, such as the expected completion time, would allow business managers to timely counteract to undesired situations, in order to prevent losses. Therefore, the ability to accurately predict future features of running business process instances would be a very helpful aid when managing processes, especially under service level agreement constraints. However, making such accurate forecasts is not easy: many factors may influence the predicted features. Many approaches have been proposed to cope with this problem but all of them assume that the underling process is stationary. However, in real cases this assumption is not always true. In this work we present new methods for predicting the remaining time of running cases. In particular we propose a method, assuming process stationarity, which outperforms the state-of-the-art and two other methods which are able to make predictions even with non-stationary processes. We also describe an approach able to predict the full sequence of activities that a running case is going to take. All these methods are extensively evaluated on two real case studies. △ Less

Submitted 24 February, 2016; originally announced February 2016.

Causality in 3D Massive Gravity Theories

Authors: Jose D. Edelstein, Gaston Giribet, Carolina Gomez, Ercan Kilicarslan, Matias Leoni, Bayram Tekin

Abstract: We study the constraints coming from local causality requirement in various $2+1$ dimensional dynamical theories of gravity. In topologically massive gravity, with a single parity non-invariant massive degree of freedom, and in new massive gravity, with two massive spin-$2$ degrees of freedom, causality and unitarity are compatible with each other and both require the Newton's constant to be negat… ▽ More We study the constraints coming from local causality requirement in various $2+1$ dimensional dynamical theories of gravity. In topologically massive gravity, with a single parity non-invariant massive degree of freedom, and in new massive gravity, with two massive spin-$2$ degrees of freedom, causality and unitarity are compatible with each other and both require the Newton's constant to be negative. In their extensions, such as the Born-Infeld gravity and the minimal massive gravity the situation is similar and quite different from their higher dimensional counterparts, such as quadratic (e.g., Einstein-Gauss-Bonnet) or cubic theories, where causality and unitarity are in conflict. We study the problem both in asymptotically flat and asymptotically anti-de Sitter spaces. △ Less

Submitted 13 May, 2017; v1 submitted 10 February, 2016; originally announced February 2016.

Comments: This version has significant improvements: causality discussion of all the well-known gravity theories in flat space is extended to the AdS space, references added, 29 pages, latest version matches the published one

Journal ref: Phys. Rev. D 95, 104016 (2017)

Probing Wilson loops in ${\cal N}=4$ Chern-Simons-matter theories at weak coupling

Authors: Luca Griguolo, Matias Leoni, Andrea Mauri, Silvia Penati, Domenico Seminara

Abstract: For three-dimensional ${\cal N}=4$ super Chern-Simons-matter theories associated to necklace quivers $U(N_0) \times U(N_1) \times \cdots U(N_{2r-1}) $, we study at quantum level the two kinds of 1/2 BPS Wilson loop operators recently introduced in arXiv:1506.07614. We perform a two-loop evaluation and find the same result for the two kinds of operators, so moving to higher loops a possible quantum… ▽ More For three-dimensional ${\cal N}=4$ super Chern-Simons-matter theories associated to necklace quivers $U(N_0) \times U(N_1) \times \cdots U(N_{2r-1}) $, we study at quantum level the two kinds of 1/2 BPS Wilson loop operators recently introduced in arXiv:1506.07614. We perform a two-loop evaluation and find the same result for the two kinds of operators, so moving to higher loops a possible quantum uplift of the classical degeneracy. We also compute the 1/4 BPS bosonic Wilson loop and discuss the quantum version of the cohomological equivalence between fermionic and bosonic Wilson loops. We compare the perturbative result with the Matrix Model prediction and find perfect matching, after identification and remotion of a suitable framing factor. Finally, we discuss the potential appearance of three-loop contributions that might break the classical degeneracy and briefly analyse possible implications on the BPS nature of these operators. △ Less

Submitted 28 October, 2015; originally announced October 2015.

Comments: 7 pages, 2 figures

On the Amplitude/Wilson Loop duality in $\mathcal{N}=2$ SCQCD

Authors: Marta Leoni, Andrea Mauri, Alberto Santambrogio

Abstract: We compute the four-point amplitude with external adjoint particles in $\mathcal{N}=2$ SCQCD at two loops using $\mathcal{N}=1$ superspace Feynman diagrams, extending the results of arXiv:1406.7283. We consider the diagrammatic difference with the corresponding process of $\mathcal{N}=4$ SYM finding a non vanishing result, which is a non trivial function of the kinematic variables. This demonstrat… ▽ More We compute the four-point amplitude with external adjoint particles in $\mathcal{N}=2$ SCQCD at two loops using $\mathcal{N}=1$ superspace Feynman diagrams, extending the results of arXiv:1406.7283. We consider the diagrammatic difference with the corresponding process of $\mathcal{N}=4$ SYM finding a non vanishing result, which is a non trivial function of the kinematic variables. This demonstrates that in $\mathcal{N}=2$ SCQCD, even in the sector with external particles in the vector multiplet, the amplitude/Wilson loop duality is inevitably broken at two loops. △ Less

Submitted 12 June, 2015; v1 submitted 26 February, 2015; originally announced February 2015.

Comments: 17 pages; v2: a comment on the Regge limit of the final result and references added; v3: minor corrections; v4: published shorter version matching Phys.Lett. B standards

Polarisation of cells and soft objects driven by mechanical interactions: Consequences for migration and chemotaxis

Authors: M. Leoni, P. Sens

Abstract: We study a generic model for the polarisation and motility of self-propelled soft objects, biological cells or biomimetic systems, interacting with a viscous substrate. The active forces generated by the cell on the substrate are modelled by means of oscillating force multipoles at the cell-substrate interface. Symmetry breaking and cell polarisation for a range of cell sizes naturally `emerge' fr… ▽ More We study a generic model for the polarisation and motility of self-propelled soft objects, biological cells or biomimetic systems, interacting with a viscous substrate. The active forces generated by the cell on the substrate are modelled by means of oscillating force multipoles at the cell-substrate interface. Symmetry breaking and cell polarisation for a range of cell sizes naturally `emerge' from long range mechanical interactions between oscillating units, mediated both by the intracellular medium and the substrate. However, the harnessing of cell polarisation for motility requires substrate-mediated interactions. Motility can be optimised by adapting the oscillation frequency to the relaxation time of the system or when the substrate and cell viscosities match. Cellular noise can destroy mechanical coordination between force-generating elements within the cell, resulting in sudden changes of polarisation. The persistence of the cell's motion is found to depend on the cell size and the substrate viscosity. Within such a model, chemotactic guidance of cell motion is obtained by directionally modulating the persistence of motion, rather than by modulating the instantaneous cell velocity, in a way that resembles the run and tumble chemotaxis of bacteria. △ Less

Submitted 20 February, 2015; v1 submitted 9 February, 2015; originally announced February 2015.

Comments: 11 pages, 4 figures, accepted for publication in Phys. Rev. E

Dilogarithm ladders from Wilson loops

Authors: Marco S. Bianchi, Matias Leoni

Abstract: We consider a light-like Wilson loop in N=4 SYM evaluated on a regular n-polygon contour. Sending the number of edges to infinity the polygon approximates a circle and the expectation value of the light-like WL is expected to tend to the localization result for the circular one. We show this explicitly at one loop, providing a prescription to deal with the divergences of the light-like WL and the… ▽ More We consider a light-like Wilson loop in N=4 SYM evaluated on a regular n-polygon contour. Sending the number of edges to infinity the polygon approximates a circle and the expectation value of the light-like WL is expected to tend to the localization result for the circular one. We show this explicitly at one loop, providing a prescription to deal with the divergences of the light-like WL and the large n limit. Taking this limit entails evaluating certain sums of dilogarithms which, for a regular polygon, evaluate to the same constant independently of n. We show that this occurs thanks to underpinning dilogarithm identities, related to the so-called polylogarithm ladders, which appear in rather different contexts of physics and mathematics and enable us to perform the large n limit analytically. △ Less

Submitted 18 November, 2014; originally announced November 2014.

Comments: 11 pages, 3 figures

Four-point amplitudes in $\mathcal{N}=2$ SCQCD

Authors: Marta Leoni, Andrea Mauri, Alberto Santambrogio

Abstract: We compute four-point scattering amplitudes in $\mathcal{N}=2$ SCQCD with general external matter configurations using $\mathcal{N}=1$ superspace Feynman diagrams, at one loop in the general case and up to two loops in the fundamental sector. In the pure adjoint sector at one loop we confirm exact agreement with the corresponding amplitudes in $\mathcal{N}=4$ SYM theory, supporting the idea that a… ▽ More We compute four-point scattering amplitudes in $\mathcal{N}=2$ SCQCD with general external matter configurations using $\mathcal{N}=1$ superspace Feynman diagrams, at one loop in the general case and up to two loops in the fundamental sector. In the pure adjoint sector at one loop we confirm exact agreement with the corresponding amplitudes in $\mathcal{N}=4$ SYM theory, supporting the idea that a closed subsector of the SCQCD might be exactly integrable. External matter in the fundamental representation breaks dual conformal invariance already at one loop and also the maximum transcendentality principle at two loops. △ Less

Submitted 21 January, 2015; v1 submitted 27 June, 2014; originally announced June 2014.

Comments: 38 pages, jheppub; v2: minor corrections, JHEP published version; v3: two-loop chiral propagator corrected, maximal transcendentality at two loops not respected anymore, JHEP Erratum

Journal ref: JHEP09(2014)017

On the ABJM four-point amplitude at three loops and BDS exponentiation

Authors: Marco S. Bianchi, Matias Leoni

Abstract: We study the three-loop four-point amplitude in ABJM theory. We determine the dual conformal invariant integrals with highest number of propagators and fix their coefficients by two-particle cuts. Evaluating such a combination of integrals in dimensional regularization we provide evidence for exponentiation of the amplitude, including the finite terms. In addition we show that the three-loop ampli… ▽ More We study the three-loop four-point amplitude in ABJM theory. We determine the dual conformal invariant integrals with highest number of propagators and fix their coefficients by two-particle cuts. Evaluating such a combination of integrals in dimensional regularization we provide evidence for exponentiation of the amplitude, including the finite terms. In addition we show that the three-loop amplitude can be expressed in terms of classical polylogarithms of uniform degree of transcendentality. △ Less

Submitted 13 March, 2014; originally announced March 2014.

Comments: 31 pages, 4 figures

BPS Wilson loops and Bremsstrahlung function in ABJ(M): a two loop analysis

Authors: Marco S. Bianchi, Luca Griguolo, Matias Leoni, Silvia Penati, Domenico Seminara

Abstract: We study a family of circular BPS Wilson loops in N=6 super Chern-Simons-matter theories, generalizing the usual 1/2-BPS circle. The scalar and fermionic couplings depend on two deformation parameters and these operators can be considered as the ABJ(M) counterpart of the DGRT latitudes defined in N=4 SYM. We perform a complete two-loop analysis of their vacuum expectation value, discuss the framin… ▽ More We study a family of circular BPS Wilson loops in N=6 super Chern-Simons-matter theories, generalizing the usual 1/2-BPS circle. The scalar and fermionic couplings depend on two deformation parameters and these operators can be considered as the ABJ(M) counterpart of the DGRT latitudes defined in N=4 SYM. We perform a complete two-loop analysis of their vacuum expectation value, discuss the framing dependence and propose a general relation with cohomologically equivalent bosonic operators. We make an all-loop proposal for computing the Bremsstrahlung function associated to the 1/2-BPS cusp in terms of these generalized Wilson loops. When applied to our two-loop result it reproduces the known expression. Finally, we comment on the generalization of this proposal to the bosonic 1/6-BPS case. △ Less

Submitted 11 March, 2014; v1 submitted 17 February, 2014; originally announced February 2014.

Comments: 46 pages, 6 figures; references added

Hairy black holes sourced by a conformally coupled scalar field in D dimensions

Authors: Gaston Giribet, Matias Leoni, Julio Oliva, Sourya Ray

Abstract: There exist well-known no-hair theorems forbidding the existence of hairy black hole solutions in general relativity coupled to a scalar conformal field theory in asymptotically flat space. Even in the presence of cosmological constant, where no-hair theorems can usually be circumvented and black holes with conformal scalar hair were shown to exist in dimensions three and four, no-go results were… ▽ More There exist well-known no-hair theorems forbidding the existence of hairy black hole solutions in general relativity coupled to a scalar conformal field theory in asymptotically flat space. Even in the presence of cosmological constant, where no-hair theorems can usually be circumvented and black holes with conformal scalar hair were shown to exist in dimensions three and four, no-go results were reported for D>4. In this paper we prove that these obstructions can be evaded and we answer in the affirmative a question that remained open: Whether hairy black holes do exist in general relativity sourced by a conformally coupled scalar field in arbitrary dimensions. We find the analytic black hole solution in arbitrary dimension D>4, which exhibits a backreacting scalar hair that is regular everywhere outside and on the horizon. The metric asymptotes to (Anti-)de Sitter spacetime at large distance and admits spherical horizon as well as horizon of a different topology. We also find analytic solutions when higher-curvature corrections O(R^n) of arbitrary order n are included in the gravity action. △ Less

Submitted 27 May, 2014; v1 submitted 20 January, 2014; originally announced January 2014.

Comments: 5 pages, no figures. V2: minor changes. Published version

Report number: Phys. Rev. D 89 (2014) 085040

Aztec Castles and the dP3 Quiver

Authors: Megan Leoni, Gregg Musiker, Seth Neel, Paxton Turner

Abstract: Bipartite, periodic, planar graphs known as brane tilings can be associated to a large class of quivers. This paper will explore new algebraic properties of the well-studied del Pezzo 3 quiver and geometric properties of its corresponding brane tiling. In particular, a factorization formula for the cluster variables arising from a large class of mutation sequences (called $τ-$mutation sequences) i… ▽ More Bipartite, periodic, planar graphs known as brane tilings can be associated to a large class of quivers. This paper will explore new algebraic properties of the well-studied del Pezzo 3 quiver and geometric properties of its corresponding brane tiling. In particular, a factorization formula for the cluster variables arising from a large class of mutation sequences (called $τ-$mutation sequences) is proven; this factorization also gives a recursion on the cluster variables produced by such sequences. We can realize these sequences as walks in a triangular lattice using a correspondence between the generators of the affine symmetric group $\tilde{A_2}$ and the mutations which generate $τ-$mutation sequences. Using this bijection, we obtain explicit formulae for the cluster that corresponds to a specific alcove in the lattice. With this lattice visualization in mind, we then express each cluster variable produced in a $τ$-mutation sequence as the sum of weighted perfect matchings of a new family of subgraphs of the dP3 brane tiling, which we call Aztec castles. Our main result generalizes previous work on a certain mutation sequence on the dP3 quiver in [Zha12], and forms part of the emerging story in combinatorics and theoretical high energy physics relating cluster variables to subgraphs of the associated brane tiling. △ Less

Submitted 25 August, 2014; v1 submitted 19 August, 2013; originally announced August 2013.

Comments: 35 pages, 22 figures. Final version. To appear in the Journal of Physics A: Mathematical and Theoretical special issue on cluster algebras

MSC Class: 13F60; 05C30; 05C70

Synchronisation and liquid crystalline order in soft active fluids

Authors: M. Leoni, T. B. Liverpool

Abstract: We introduce a phenomenological theory for a new class of soft active fluids, with the ability to synchronise. Our theoretical framework describes the macroscopic behaviour of a collection of interacting anisotropic elements with cyclic internal dynamics and a periodic phase variable. This system (i) can spontaneously undergo a transition to a state with macroscopic orientational order, with the e… ▽ More We introduce a phenomenological theory for a new class of soft active fluids, with the ability to synchronise. Our theoretical framework describes the macroscopic behaviour of a collection of interacting anisotropic elements with cyclic internal dynamics and a periodic phase variable. This system (i) can spontaneously undergo a transition to a state with macroscopic orientational order, with the elements aligned: a liquid crystal, (ii) attain another broken symmetry state characterised by synchronisation of their phase variables or (iii) a combination of both types of order. We derive the equations describing a spatially homogeneous system and also study the hydrodynamic fluctuations of the soft modes in some of the ordered states. We find that synchronisation can promote the transition to a state with orientational order; and vice-versa. Finally, we provide an explicit microscopic realisation: a suspension of micro-swimmers driven by cyclic strokes. △ Less

Submitted 22 July, 2013; originally announced July 2013.

Comments: 5 pages, 3 figures

The 1/2 BPS Wilson loop in ABJ(M) at two loops: The details

Authors: Marco S. Bianchi, Gaston Giribet, Matias Leoni, Silvia Penati

Abstract: We compute the expectation value of the 1/2 BPS circular Wilson loop operator in ABJ(M) theory at two loops in perturbation theory. Our result turns out to be in exact agreement with the weak coupling limit of the prediction coming from localization, including finite N contributions associated to non-planar diagrams. It also confirms the identification of the correct framing factor that connects f… ▽ More We compute the expectation value of the 1/2 BPS circular Wilson loop operator in ABJ(M) theory at two loops in perturbation theory. Our result turns out to be in exact agreement with the weak coupling limit of the prediction coming from localization, including finite N contributions associated to non-planar diagrams. It also confirms the identification of the correct framing factor that connects framing-zero and framing-one expressions, previously proposed. The evaluation of the 1/2 BPS operator is made technically difficult in comparison with other observables of ABJ(M) theory by the appearance of integrals involving the coupling between fermions and gauge fields, which are absent for instance in the 1/6 BPS case. We describe in detail how to analytically solve these integrals in dimensional regularization with dimensional reduction (DRED). By suitably performing the physical limit to three dimensions we clarify the role played by short distance divergences on the final result and the mechanism of their cancellation. △ Less

Submitted 14 July, 2013; v1 submitted 2 July, 2013; originally announced July 2013.

Comments: 54 pages, 2 figures

Journal ref: JHEP 1310 (2013) 085

ABJM amplitudes and WL at finite N

Authors: Marco S. Bianchi, Marta Leoni, Matias Leoni, Andrea Mauri, Silvia Penati, Alberto Santambrogio

Abstract: We evaluate ABJM observables at two loops, for any value of the rank N of the gauge group. We compute the color subleading contributions to the four-point scattering amplitude in ABJM at two loops. Contrary to the four dimensional case, IR divergent N-subleading contributions are proportional to leading poles in the regularization parameter. We then exploit the non-planar calculation for the ampli… ▽ More We evaluate ABJM observables at two loops, for any value of the rank N of the gauge group. We compute the color subleading contributions to the four-point scattering amplitude in ABJM at two loops. Contrary to the four dimensional case, IR divergent N-subleading contributions are proportional to leading poles in the regularization parameter. We then exploit the non-planar calculation for the amplitude to derive an expression for the two-loop Sudakov form factor at any N. In the planar limit the result coincides with the one recently obtained in literature by using Feynman diagrams and unitarity. Finally, we analyze the subleading contributions to the light-like four-cusps Wilson loop and interpret the result in terms of the non-abelian exponentiation theorem. All these perturbative results satisfy the uniform transcendentality principle, hinting at its validity in ABJM beyond the planar limit. △ Less

Submitted 25 July, 2013; v1 submitted 13 June, 2013; originally announced June 2013.

Comments: 27 pages, 5 figures, result for ABJ form factor corrected

Journal ref: JHEP09(2013)114

Light-like Wilson loops in ABJM and maximal transcendentality

Authors: Marco S. Bianchi, Gaston Giribet, Matias Leoni, Silvia Penati

Abstract: We revisit the computation of the two-loop light-like tetragonal Wilson loop for three dimensional pure Chern-Simons and N=6 Chern-Simons-matter theory, within dimensional regularization with dimensional reduction scheme. Our examination shows that, contrary to prior belief, the result respects maximal transcendentality as is the case of the four-point scattering amplitude of the theory. Remarkabl… ▽ More We revisit the computation of the two-loop light-like tetragonal Wilson loop for three dimensional pure Chern-Simons and N=6 Chern-Simons-matter theory, within dimensional regularization with dimensional reduction scheme. Our examination shows that, contrary to prior belief, the result respects maximal transcendentality as is the case of the four-point scattering amplitude of the theory. Remarkably, the corrected result matches exactly the scattering amplitude both in the divergent and in the finite parts, constants included. △ Less

Submitted 22 April, 2013; originally announced April 2013.

Comments: 11 pages

The 1/2 BPS Wilson loop in ABJM theory at two loops

Authors: Marco S. Bianchi, Gaston Giribet, Matias Leoni, Silvia Penati

Abstract: We compute the expectation value of the 1/2 BPS circular Wilson loop in ABJM theory at two loops in perturbation theory. The result shows perfect agreement with the prediction from localization and the proposed framing factor. We compute the expectation value of the 1/2 BPS circular Wilson loop in ABJM theory at two loops in perturbation theory. The result shows perfect agreement with the prediction from localization and the proposed framing factor. △ Less

Submitted 27 March, 2013; originally announced March 2013.

Comments: 5 pages

N=8 SYM vs. N=6 Chern-Simons: Four-point amplitudes at two-loops

Authors: Marco S. Bianchi, Matias Leoni

Abstract: We compute the four-point amplitude in 3d N=8 SYM at two loops, by solving the three dimensional scalar doublebox in dimensional regularization. We compare it to the same result in the ABJM theory, to which maximal SYM should flow in the infrared at strong coupling. After proper rescalings, we find that the two amplitudes coincide in the Regge limit. We compute the four-point amplitude in 3d N=8 SYM at two loops, by solving the three dimensional scalar doublebox in dimensional regularization. We compare it to the same result in the ABJM theory, to which maximal SYM should flow in the infrared at strong coupling. After proper rescalings, we find that the two amplitudes coincide in the Regge limit. △ Less

Submitted 17 October, 2012; originally announced October 2012.

Comments: 1+16 pages, 2 figures

Minimally helicity violating, maximally simple scalar amplitudes in N=4 SYM

Authors: Marco S. Bianchi, Matias Leoni, Silvia Penati

Abstract: In planar N=4 SYM we study a particular class of helicity preserving amplitudes. These are scalar amplitudes whose flavor configuration is chosen in such a way that only a limited number of diagrams is allowed, which exhibit an iterative structure. For such amplitudes we evaluate the tree level and one-loop contributions, providing a general formula valid for any number of particles. The ratio bet… ▽ More In planar N=4 SYM we study a particular class of helicity preserving amplitudes. These are scalar amplitudes whose flavor configuration is chosen in such a way that only a limited number of diagrams is allowed, which exhibit an iterative structure. For such amplitudes we evaluate the tree level and one-loop contributions, providing a general formula valid for any number of particles. The ratio between the one-loop and tree level results is a simple combination of dual conformally invariant box functions with at most two massive legs. Along with the MHV and NMHV series, this constitutes the third known infinite sequence of one-loop amplitudes in N=4 SYM. △ Less

Submitted 21 November, 2012; v1 submitted 1 August, 2012; originally announced August 2012.

Comments: 22 pages, 7 figures, published version