Showing 1–50 of 271 results for author: Fonseca, M

Interpolating between pair-potential systems

Authors: Lorenzo Costigliola, Andreas C. Martine, Claudia X. Romero, Jone E. Steinhoff, Francisco M. F. A. S. da Fonseca, Maria B. T. Nielsen, Jeppe C. Dyre

Abstract: This paper studies liquid-model systems with almost identical constant-potential-energy hypersurfaces. We simulated continuous interpolations between such systems, specifically between the Lennard-Jones (LJ), Weeks-Chandler-Andersen (WCA), exponent 12 inverse-power-law (IPL), and Yukawa (YK) pair-potential systems. Structure and dynamics were monitored via the radial distribution function and the… ▽ More This paper studies liquid-model systems with almost identical constant-potential-energy hypersurfaces. We simulated continuous interpolations between such systems, specifically between the Lennard-Jones (LJ), Weeks-Chandler-Andersen (WCA), exponent 12 inverse-power-law (IPL), and Yukawa (YK) pair-potential systems. Structure and dynamics were monitored via the radial distribution function and the time-dependent mean-square displacement, respectively. In terms of the interpolation parameter lambda, we argue that two systems have very similar constant-potential-energy hypersurfaces if the potential energies of configurations rarely cross when plotted as functions of lambda. Such absence of "level crossing" applies to a very good approximation for the LJ to WCA transformation, and it also applies to a quite good approximation for the LJ to IPL and the YK to YK transformations (the latter varies the screening length). In all cases, structure and dynamics are shown to be almost invariant as functions of lambda. The density is kept constant when lambda is varied. Temperature must generally be adjusted with lambda, which is done by an iterative "reduced-force-matching" method with no free parameters. We also apply the interpolation strategy to two versions of the Kob-Andersen (KA) binary LJ system and show that a recently introduced shifted-force-cutoff version of this system has constant-potential-energy hypersurfaces, which are almost identical to those of the original KA system. This result rationalizes the previously established fact that the two KA versions have virtually identical physics. △ Less

Submitted 13 June, 2025; v1 submitted 8 May, 2025; originally announced May 2025.

An Introduction to Variational Quantum Eigensolver Applied to Chemistry

Authors: Matheus da S. Fonseca, Caio M. Porto, Nicolás A. C. Carpio, Guilherme S. T. Moraes, Nelson H. Morgon, René A. Nome, Celso J. Villas-Boas

Abstract: Quantum mechanics has introduced a new theoretical framework for the study of molecules, enabling the prediction of properties and dynamics through the solution of the Schrödinger equation applied to these systems. However, solving this equation is computationally expensive, which has led to the development of various mathematical frameworks and computational methods designed to balance the availa… ▽ More Quantum mechanics has introduced a new theoretical framework for the study of molecules, enabling the prediction of properties and dynamics through the solution of the Schrödinger equation applied to these systems. However, solving this equation is computationally expensive, which has led to the development of various mathematical frameworks and computational methods designed to balance the available resources with the desired level of accuracy. In particular, quantum computers have emerged as a promising technology with the potential to address these problems more efficiently in the coming decades, whether through reductions in memory, time, and energy consumption, $\textit{i. e.}$, reductions in computational complexity or by enhancing precision. This research field is known as Quantum Simulation. Given the current technological limitations of quantum computers, Variational Quantum Algorithms (VQAs), especially the Variational Quantum Eigensolver (VQE), stand out as a feasible approach to demonstrating advantages over classical methods in the near term. This feasibility arises from their lower demand for quantum gates and the reduced depth of the circuits required for their implementation. In this work, we present the application of quantum mechanics to the study of molecules, provide an introduction to the fundamentals of quantum computing, and explore the integration of these fields by employing the VQE in molecular simulations. Finally, we discuss the spatial and temporal complexity associated with the algorithm, highlighting its implications and challenges. △ Less

Submitted 10 June, 2025; v1 submitted 7 May, 2025; originally announced May 2025.

Comments: 39 pages, 10 figures, 4 tables, manuscript in Portuguese

Closing the Loop: A Systematic Review of Experience-Driven Game Adaptation

Authors: Phil Lopes, Nuno Fachada, Maria Fonseca

Abstract: Adaptive game systems aim to enrich player experiences by dynamically adjusting game content in response to user data. While extensive research has addressed content personalization and player experience modeling, the integration of these components into fully operational adaptive gameplay systems remains limited. This systematic review, conducted in accordance with PRISMA guidelines, analyzes 17… ▽ More Adaptive game systems aim to enrich player experiences by dynamically adjusting game content in response to user data. While extensive research has addressed content personalization and player experience modeling, the integration of these components into fully operational adaptive gameplay systems remains limited. This systematic review, conducted in accordance with PRISMA guidelines, analyzes 17 empirical studies published between January 2015 and May 2024, identifying and analyzing approaches that implement the complete experience-driven loop -- including player sensing, modeling, and content adaptation. Game telemetry remains the most prevalent sensing modality, although other non-invasive methods suitable for affective modeling -- such as facial expression analysis (FEA) and peripheral interaction data -- remain underutilized despite their potential for real-time emotional inference. Knowledge-based methods, such as rule-based systems and heuristics, dominate modeling and adaptation due to their interpretability and low resource demands, whereas machine learning approaches face challenges related to data availability and transparency. Despite their relevance to immersive and therapeutic experiences, affective states such as stress and anxiety remain largely ignored, as systems continue to favor performance over emotion-sensitive adaptation. These findings highlight a crucial research direction: advancing emotionally responsive game systems that move beyond performance optimization by incorporating underutilized sensing modalities -- such as FEA and peripheral interaction -- to enable real-time affect-driven personalization. Advancing in this direction holds strong potential to increase immersion, personalize gameplay, and support affect regulation across entertainment and therapeutic contexts. △ Less

Submitted 2 May, 2025; originally announced May 2025.

PSInference: A Package to Draw Inference for Released Plug-in Sampling Single Synthetic Dataset

Authors: Ricardo Moura, Mina Norouzirad, Vitor Augusto, Miguel Fonseca

Abstract: The development and generation of synthetic data are becoming increasingly vital in the field of statistical disclosure control. The PSInference package provides tools to perform exact inferential analysis on singly imputed synthetic data generated through Plug-in Sampling assuming that the original dataset follows a multivariate normal distribution. Includes functions to test the synthetic data's… ▽ More The development and generation of synthetic data are becoming increasingly vital in the field of statistical disclosure control. The PSInference package provides tools to perform exact inferential analysis on singly imputed synthetic data generated through Plug-in Sampling assuming that the original dataset follows a multivariate normal distribution. Includes functions to test the synthetic data's covariance structure, covering aspects like generalized variance, sphericity, independence between subsets of variables, and regression of one set of variables on another. This package addresses the gap in the existing software by providing exact inferential methods suitable for cases where only a single synthetic dataset is released. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Renormalization of general Effective Field Theories: Formalism and renormalization of bosonic operators

Authors: Renato M. Fonseca, Pablo Olgoso, José Santiago

Abstract: We describe the most general local, Lorentz-invariant, effective field theory of scalars, fermions and gauge bosons up to mass dimension 6. We first obtain both a Green and a physical basis for such an effective theory, together with the on-shell reduction of the former to the latter. We then proceed to compute the renormalization group equations for the bosonic operators of this general effective… ▽ More We describe the most general local, Lorentz-invariant, effective field theory of scalars, fermions and gauge bosons up to mass dimension 6. We first obtain both a Green and a physical basis for such an effective theory, together with the on-shell reduction of the former to the latter. We then proceed to compute the renormalization group equations for the bosonic operators of this general effective theory at one-loop order. △ Less

Submitted 22 January, 2025; originally announced January 2025.

Comments: 21 pages, 2 appendices

Games! What are they good for? The Struggle of Serious Game Adoption for Rehabilitation

Authors: Maria Micaela Fonseca, Nuno Fachada, Micael Sousa, Jorge Oliveira, Pedro Rodrigues, Sara Sousa, Claudia Quaresma, Phil Lopes

Abstract: The field of serious games for health has grown significantly, demonstrating effectiveness in various clinical contexts such as stroke, spinal cord injury, and degenerative neurological diseases. Despite their potential benefits, therapists face barriers to adopting serious games in rehabilitation, including limited training and game literacy, concerns about cost and equipment availability, and a… ▽ More The field of serious games for health has grown significantly, demonstrating effectiveness in various clinical contexts such as stroke, spinal cord injury, and degenerative neurological diseases. Despite their potential benefits, therapists face barriers to adopting serious games in rehabilitation, including limited training and game literacy, concerns about cost and equipment availability, and a lack of evidence-based research on game effectiveness. Serious games for rehabilitation often involve repetitive exercises, which can be tedious and reduce motivation for continued rehabilitation, treating clients as passive recipients of clinical outcomes rather than players. This study identifies gaps and provides essential insights for advancing serious games in rehabilitation, aiming to enhance their engagement for clients and effectiveness as a therapeutic tool. Addressing these challenges requires a paradigm shift towards developing and co-creating serious games for rehabilitation with therapists, researchers, and stakeholders. Furthermore, future research is crucial to advance the development of serious games, ensuring they adhere to evidence-based principles and engage both clients and therapists. This endeavor will identify gaps in the field, inspire new directions, and support the creation of practical guidelines for serious games research. △ Less

Submitted 12 January, 2025; originally announced January 2025.

Virtual Reality-Based Telerehabilitation for Upper Limb Recovery Post-Stroke: A Systematic Review of Design Principles, Monitoring, Safety, and Engagement Strategies

Authors: Pedro Rodrigues, Claudia Quaresma, Maria Costa, Filipe Luz, Maria Micaela Fonseca

Abstract: Stroke rehabilitation continues to face challenges in accessibility and patient engagement, where traditional approaches often fall short. Virtual reality (VR)-based telerehabilitation offers a promising avenue, by enabling home-based recovery through immersive environments and gamification. This systematic review evaluates current VR solutions for upper-limb post-stroke recovery, focusing on desi… ▽ More Stroke rehabilitation continues to face challenges in accessibility and patient engagement, where traditional approaches often fall short. Virtual reality (VR)-based telerehabilitation offers a promising avenue, by enabling home-based recovery through immersive environments and gamification. This systematic review evaluates current VR solutions for upper-limb post-stroke recovery, focusing on design principles, safety measures, patient-therapist communication, and strategies to promote motivation and adherence. Following PRISMA 2020 guidelines, a comprehensive search was conducted across PubMed, IEEE Xplore, and ScienceDirect. The review reveals a scarcity of studies meeting the inclusion criteria, possibly reflecting the challenges inherent in the current paradigm of VR telerehabilitation systems. Although these systems have potential to enhance accessibility and patient autonomy, they often lack standardized safety protocols and reliable real-time monitoring. Human-centered design principles are evident in some solutions, but inconsistent patient involvement during the development process limits their usability and clinical relevance. Furthermore, communication between patients and therapists remains constrained by technological barriers, although advancements in real-time feedback and adaptive systems offer promising solutions. This review underscores the potential of VR telerehabilitation to address critical needs in upper-limb stroke recovery while highlighting the importance of addressing existing limitations to ensure broader clinical implementation and improved patient outcomes. △ Less

Submitted 12 January, 2025; originally announced January 2025.

Using SimTeEx to simplify polynomial expressions with tensors

Authors: Renato M. Fonseca

Abstract: Computations with tensors are ubiquitous in fundamental physics, and so is the usage of Einstein's dummy index convention for the contraction of indices. For instance, $T_{ia}U_{aj}$ is readily recognized as the same as $T_{ib}U_{bj}$, but a computer does not know that T[i,a]U[a,j] is equal to T[i,b]U[b,j]. Furthermore, tensors may have symmetries which can be used to simply expressions: if… ▽ More Computations with tensors are ubiquitous in fundamental physics, and so is the usage of Einstein's dummy index convention for the contraction of indices. For instance, $T_{ia}U_{aj}$ is readily recognized as the same as $T_{ib}U_{bj}$, but a computer does not know that T[i,a]U[a,j] is equal to T[i,b]U[b,j]. Furthermore, tensors may have symmetries which can be used to simply expressions: if $U_{ij}$ is antisymmetric, then $αT_{ia}U_{aj}+βT_{ib}U_{jb}=\left(α-β\right)T_{ia}U_{aj}$. The fact that tensors can have elaborate symmetries, together with the problem of dummy indices, makes it complicated to simplify polynomial expressions with tensors. In this work I will present an algorithm for doing so, which was implemented in the Mathematica package SimTeEx (Simplify Tensor Expressions). It can handle any kind of tensor symmetry. △ Less

Submitted 10 February, 2025; v1 submitted 18 December, 2024; originally announced December 2024.

Comments: Corrected the symmetry of the kappa tensor mentioned on page 2. 27 pages

Warehouse optimization using a trapped-ion quantum processor

Authors: Alexandre C. Ricardo, Gabriel P. L. M. Fernandes, Amanda G. Valério, Tiago de S. Farias, Matheus da S. Fonseca, Nicolás A. C. Carpio, Paulo C. C. Bezerra, Christine Maier, Juris Ulmanis, Thomas Monz, Celso J. Villas-Boas

Abstract: Warehouse optimization stands as a critical component for enhancing operational efficiency within the industrial sector. By strategically streamlining warehouse operations, organizations can achieve significant reductions in logistical costs such as the necessary footprint or traveled path, and markedly improve overall workflow efficiency including retrieval times or storage time. Despite the avai… ▽ More Warehouse optimization stands as a critical component for enhancing operational efficiency within the industrial sector. By strategically streamlining warehouse operations, organizations can achieve significant reductions in logistical costs such as the necessary footprint or traveled path, and markedly improve overall workflow efficiency including retrieval times or storage time. Despite the availability of numerous algorithms designed to identify optimal solutions for such optimization challenges, certain scenarios demand computational resources that exceed the capacities of conventional computing systems. In this context, we adapt a formulation of a warehouse optimization problem specifically tailored as a binary optimization problem and implement it in a trapped-ion quantum computer. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Comments: 8 pages, 3 figures

Optimization Algorithm for Inventory Management on Classical, Quantum and Quantum-Hybrid Hardware

Authors: Gabriel P. L. M. Fernandes, Matheus S. Fonseca, Amanda G. Valério, Alexandre C. Ricardo, Nicolás A. C. Carpio, Paulo C. C. Bezerra, Celso J. Villas-Boas

Abstract: Among the challenges of efficiently managing a factory, inventory management is essential for minimizing operational costs and delivery times. In this paper, we focus on optimizing item allocation in warehouses that use gravity flow racks, which are designed for First In, First Out (FIFO) logistics but present challenges due to the need for frequent item reinsertions during picking operations. We… ▽ More Among the challenges of efficiently managing a factory, inventory management is essential for minimizing operational costs and delivery times. In this paper, we focus on optimizing item allocation in warehouses that use gravity flow racks, which are designed for First In, First Out (FIFO) logistics but present challenges due to the need for frequent item reinsertions during picking operations. We introduce a novel strategy formulated as a QUBO problem, suitable for classical, quantum, and hybrid hardware implementations. By leveraging advances in Adiabatic Quantum Computing and Quantum Annealing, we demonstrate the effectiveness of our strategy through simulations and real-world scenarios. The results highlight the potential of quantum-hybrid approaches to significantly enhance operational efficiency in warehouse management. △ Less

Submitted 18 November, 2024; originally announced November 2024.

Human-inspired Grasping Strategies of Fresh Fruits and Vegetables Applied to Robotic Manipulation

Authors: Romeo Orsolino, Mykhaylo Marfeychuk, Mariana de Paula Assis Fonseca, Mario Baggetta, Wesley Wimshurst, Francesco Porta, Morgan Clarke, Giovanni Berselli, Jelizaveta Konstantinova

Abstract: Robotic manipulation of fresh fruits and vegetables, including the grasping of multiple loose items, has a strong industrial need but it still is a challenging task for robotic manipulation. This paper outlines the distinctive manipulation strategies used by humans to pick loose fruits and vegetables with the aim to better adopt them for robotic manipulation of diverse items. In this work we prese… ▽ More Robotic manipulation of fresh fruits and vegetables, including the grasping of multiple loose items, has a strong industrial need but it still is a challenging task for robotic manipulation. This paper outlines the distinctive manipulation strategies used by humans to pick loose fruits and vegetables with the aim to better adopt them for robotic manipulation of diverse items. In this work we present a first version of a robotic setup designed to pick different single or multiple fresh items, featuring multi-fingered compliant robotic gripper. We analyse human grasping strategies from the perspective of industrial Key Performance Indicators (KPIs) used in the logistic sector. The robotic system was validated using the same KPIs, as well as taking into account human performance and strategies. This paper lays the foundation for future development of the robotic demonstrator for fresh fruit and vegetable intelligent manipulation, and outlines the need for generic approaches to handle the complexity of the task. △ Less

Submitted 30 October, 2024; originally announced October 2024.

Comments: *Authors contributed equally

Journal ref: IEEE ASME MESA 20th Int. Conference on Mechatronic, Embedded Systems and Applications 2024

Evidence of thermodynamics and magnetic monopole plasma formation by photon-magnon interaction in artificial spin ice

Authors: D. G. Duarte, S. F. de Souza, L. B. de Oliveira, E. B. M. Junior, E. N. D. de Araujo, J. M. Fonseca, C. I. L. de Araujo

Abstract: Artificial spin ices (ASI), containing magnetic monopole quasi-particles emerging at room temperature, have been investigated as a promising system to be applied in alternative low-power information technology devices. However, restrictions associated with the intrinsic energetic connections between opposing magnetic monopoles in conventional ASI need to be overcome to achieve this purpose. Here,… ▽ More Artificial spin ices (ASI), containing magnetic monopole quasi-particles emerging at room temperature, have been investigated as a promising system to be applied in alternative low-power information technology devices. However, restrictions associated with the intrinsic energetic connections between opposing magnetic monopoles in conventional ASI need to be overcome to achieve this purpose. Here, photon-magnon scattering in nanomagnets is examined as an approach to locally activate the collective dynamics of interacting magnetic systems at the nanoscale. Low-power white and polarized light were employed as a new tool to manipulate magnetic monopole intensity, leading to tuning on the particles response to external magnetic field and spontaneous magnetization flipping without external field (thermodynamics). Our findings showing evidence of magnetic monopole plasma formation in a regular square ASI system are explained by an analytical model of photon-magnon conversion acting directly on the ASI nanomagnet dipole. Micromagnetic simulations based on the samples parameters and values obtained from the model present a very good qualitative correspondence between theory and observations for the investigated ASI system. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Robustness of contextuality under different types of noise as quantifiers for parity-oblivious multiplexing tasks

Authors: Amanda M. Fonseca, Vinicius P. Rossi, Roberto D. Baldijão, John H. Selby, Ana Belén Sainz

Abstract: Generalised contextuality is the notion of nonclassicality powering up a myriad of quantum tasks, among which is the celebrated case of a two-party information processing task where classical information is compressed in a quantum channel, the parity-oblivious multiplexing (POM) task. The success rate is the standard quantifier of resourcefulness for this task, while robustness-based quantifiers a… ▽ More Generalised contextuality is the notion of nonclassicality powering up a myriad of quantum tasks, among which is the celebrated case of a two-party information processing task where classical information is compressed in a quantum channel, the parity-oblivious multiplexing (POM) task. The success rate is the standard quantifier of resourcefulness for this task, while robustness-based quantifiers are as operationally motivated and have known general properties. In this work, we leverage analytical and numerical tools to estimate robustness of contextuality in POM scenarios under different types of noise. We conclude that for the 3-to-1 case robustness of contextuality to depolarisation, as well as a minimisation of robustness of contextuality to dephasing over all bases, are good quantifiers for the nonclassical advantage of this scenario. Moreover, we obtain a general relation between robustness of contextuality to depolarisation and the success rate in any $n$-to-1 POM scenario and show how it can be used to bound the number of bits encoded in this task. △ Less

Submitted 22 January, 2025; v1 submitted 18 June, 2024; originally announced June 2024.

Comments: 13 pages, 7 figures. Comments are welcome

$a$-potent Schwarz matrices and Bessel-like Jacobi polynomials

Authors: Alexander Dyachenko, Carlos M. da Fonseca, Mikhail Tyaglov

Abstract: We consider the problem of the reconstruction of a Schwarz matrix from exactly one given eigenvalue. This inverse eigenvalue problem leads to the Jacobi orthogonal polynomials~$\{P_k^{(-n,n)}\}_{k=0}^{n-1}$ that can be treated as a discrete finite analogue of Bessel polynomials. We consider the problem of the reconstruction of a Schwarz matrix from exactly one given eigenvalue. This inverse eigenvalue problem leads to the Jacobi orthogonal polynomials~$\{P_k^{(-n,n)}\}_{k=0}^{n-1}$ that can be treated as a discrete finite analogue of Bessel polynomials. △ Less

Submitted 16 June, 2024; originally announced June 2024.

MSC Class: 15B05; 33C45; 15A18; 15A29; 15A15

Towards an ontology of portions of matter to support multi-scale analysis and provenance tracking

Authors: Lucas Valadares Vieira, Mara Abel, Fabricio Henrique Rodrigues, Tiago Prince Sales, Claudenir M. Fonseca

Abstract: This paper presents an ontology of portions of matter with practical implications across scientific and industrial domains. The ontology is developed under the Unified Foundational Ontology (UFO), which uses the concept of quantity to represent topologically maximally self-connected portions of matter. The proposed ontology introduces the granuleOf parthood relation, holding between objects and po… ▽ More This paper presents an ontology of portions of matter with practical implications across scientific and industrial domains. The ontology is developed under the Unified Foundational Ontology (UFO), which uses the concept of quantity to represent topologically maximally self-connected portions of matter. The proposed ontology introduces the granuleOf parthood relation, holding between objects and portions of matter. It also discusses the constitution of quantities by collections of granules, the representation of sub-portions of matter, and the tracking of matter provenance between quantities using historical relations. Lastly, a case study is presented to demonstrate the use of the portion of matter ontology in the geology domain for an Oil & Gas industry application. In the case study, we model how to represent the historical relation between an original portion of rock and the sub-portions created during the industrial process. Lastly, future research directions are outlined, including investigating granularity levels and defining a taxonomy of events. △ Less

Submitted 1 June, 2024; originally announced June 2024.

ACM Class: I.2.4

Physical and chemical modifications of polymeric surface for enhanced epithelial cells adhesion

Authors: Laura M. S. dos Santos, Jonathas M. de Oliveira, Sendy M. S. do Nascimento, Artur F. Sonsin, Vitor M. L. Fonseca, Juliane P. Silva, Emiliano Barreto, Cléber R. Mendonça, Alcenísio J. Jesus-Silva, Eduardo J. S. Fonseca

Abstract: In tissue engineering, 3D scaffolds and chemical treatments are often used for providing a cell-friendly surface for improving cell adhesion and tissue growth. Indeed, the cell adhesion degree can be controlled by physical-chemical changes in the surface of substrates, such as wettability, surface charges and roughness. In this work, we describe the synthesis, characterization and cytocompatibilit… ▽ More In tissue engineering, 3D scaffolds and chemical treatments are often used for providing a cell-friendly surface for improving cell adhesion and tissue growth. Indeed, the cell adhesion degree can be controlled by physical-chemical changes in the surface of substrates, such as wettability, surface charges and roughness. In this work, we describe the synthesis, characterization and cytocompatibility of photoresins useful for construction of cell scaffolds via two-photon polymerization. Additionally, we have demonstrated a simple surface treatment method that promotes cell adhesion. This method alters the surface charge of the polymer and enhances the adhesion of epithelial cells. Our results indicate an efficient approach for modifying the surface of biocompatible polymer scaffolds with the purpose of enhances the performance of cell functions suitable for tissue engineering and regenerative medicine. △ Less

Submitted 27 May, 2024; originally announced May 2024.

LeanReasoner: Boosting Complex Logical Reasoning with Lean

Authors: Dongwei Jiang, Marcio Fonseca, Shay B. Cohen

Abstract: Large language models (LLMs) often struggle with complex logical reasoning due to logical inconsistencies and the inherent difficulty of such reasoning. We use Lean, a theorem proving framework, to address these challenges. By formalizing logical reasoning problems into theorems within Lean, we can solve them by proving or disproving the corresponding theorems. This method reduces the risk of logi… ▽ More Large language models (LLMs) often struggle with complex logical reasoning due to logical inconsistencies and the inherent difficulty of such reasoning. We use Lean, a theorem proving framework, to address these challenges. By formalizing logical reasoning problems into theorems within Lean, we can solve them by proving or disproving the corresponding theorems. This method reduces the risk of logical inconsistencies with the help of Lean's symbolic solver. It also enhances our ability to treat complex reasoning tasks by using Lean's extensive library of theorem proofs. Our method achieves state-of-the-art performance on the FOLIO dataset and achieves performance near this level on ProofWriter. Notably, these results were accomplished by fine-tuning on fewer than 100 in-domain samples for each dataset. △ Less

Submitted 20 March, 2024; originally announced March 2024.

Comments: Accepted to NAACL 2024 main conference

The Kormendy relation of cluster galaxies in PPS regions

Authors: André L. B. Ribeiro, Paulo A. A. Lopes, Dailer F. Morell, Christine C. Dantas, Monyke H. S. Fonseca, Beatriz G. Amarante, Flávio R. Morais-Neto

Abstract: We study a sample of 936 early-type galaxies located in 48 low-z regular galaxy clusters with $M_{200}\geq 10^{14}~ M_\odot$ at $z< 0.1$. We examine variations in the Kormendy relation (KR) according to their location in the projected phase space (PPS) of the clusters. We have used a combination of Bayesian statistical methods to identify possible differences between the fitted relations. Our resu… ▽ More We study a sample of 936 early-type galaxies located in 48 low-z regular galaxy clusters with $M_{200}\geq 10^{14}~ M_\odot$ at $z< 0.1$. We examine variations in the Kormendy relation (KR) according to their location in the projected phase space (PPS) of the clusters. We have used a combination of Bayesian statistical methods to identify possible differences between the fitted relations. Our results indicate that the overall KR is better fitted when we take into account the information about PPS regions. We also find that objects with time since infall $\geq 6.5$ Gyr have a significant statistical difference of the KR coefficients relative to objects that are more recent in the cluster environment. We show that giant central ellipticals are responsible for tilting the KR relation towards smaller slopes. These galaxies present a late growth probably due to cumulative preprocessing during infall, plus cannibalism and accretion of smaller stripped objects near the center of the clusters. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 8 pages, 8 figures, appendix, published in MNRAS. arXiv admin note: text overlap with arXiv:2302.04287

Gelfand-Tsetlin modules for Lie algebras of rank $2$

Authors: Milica Anđelić, Carlos M. da Fonseca, Vyacheslav Futorny, Andrew Tsylke

Abstract: We explicitly construct families of simple modules for Lie algebras of rank $2$, on which certain commutative subalgebra acts diagonally and has a simple spectrum. In type $A$ these modules are well known generic Gelfand-Tsetlin modules and they can be viewed as such for other rank $2$ Lie algebras. We explicitly construct families of simple modules for Lie algebras of rank $2$, on which certain commutative subalgebra acts diagonally and has a simple spectrum. In type $A$ these modules are well known generic Gelfand-Tsetlin modules and they can be viewed as such for other rank $2$ Lie algebras. △ Less

Submitted 9 January, 2025; v1 submitted 1 February, 2024; originally announced February 2024.

MSC Class: 17B10

Can Large Language Model Summarizers Adapt to Diverse Scientific Communication Goals?

Authors: Marcio Fonseca, Shay B. Cohen

Abstract: In this work, we investigate the controllability of large language models (LLMs) on scientific summarization tasks. We identify key stylistic and content coverage factors that characterize different types of summaries such as paper reviews, abstracts, and lay summaries. By controlling stylistic features, we find that non-fine-tuned LLMs outperform humans in the MuP review generation task, both in… ▽ More In this work, we investigate the controllability of large language models (LLMs) on scientific summarization tasks. We identify key stylistic and content coverage factors that characterize different types of summaries such as paper reviews, abstracts, and lay summaries. By controlling stylistic features, we find that non-fine-tuned LLMs outperform humans in the MuP review generation task, both in terms of similarity to reference summaries and human preferences. Also, we show that we can improve the controllability of LLMs with keyword-based classifier-free guidance (CFG) while achieving lexical overlap comparable to strong fine-tuned baselines on arXiv and PubMed. However, our results also indicate that LLMs cannot consistently generate long summaries with more than 8 sentences. Furthermore, these models exhibit limited capacity to produce highly abstractive lay summaries. Although LLMs demonstrate strong generic summarization competency, sophisticated content control without costly fine-tuning remains an open problem for domain-specific applications. △ Less

Submitted 27 June, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: ACL 2024 camera ready

Polygon Detection from a Set of Lines

Authors: Alfredo Ferreira Jr., Manuel J. Fonseca, Joaquim A. Jorge

Abstract: Detecting polygons defined by a set of line segments in a plane is an important step in analyzing vector drawings. This paper presents an approach combining several algorithms to detect basic polygons from arbitrary line segments. The resulting algorithm runs in polynomial time and space, with complexities of $O\bigl((N + M)^4\bigr)$ and $O\bigl((N + M)^2\bigr)$, where $N$ is the number of line se… ▽ More Detecting polygons defined by a set of line segments in a plane is an important step in analyzing vector drawings. This paper presents an approach combining several algorithms to detect basic polygons from arbitrary line segments. The resulting algorithm runs in polynomial time and space, with complexities of $O\bigl((N + M)^4\bigr)$ and $O\bigl((N + M)^2\bigr)$, where $N$ is the number of line segments and $M$ is the number of intersections between line segments. Our choice of algorithms was made to strike a good compromise between efficiency and ease of implementation. The result is a simple and efficient solution to detect polygons from lines. △ Less

Submitted 26 December, 2023; originally announced December 2023.

Comments: 5 pages, 5 figures, 1 table

Can Large Language Models Follow Concept Annotation Guidelines? A Case Study on Scientific and Financial Domains

Authors: Marcio Fonseca, Shay B. Cohen

Abstract: Although large language models (LLMs) exhibit remarkable capacity to leverage in-context demonstrations, it is still unclear to what extent they can learn new concepts or facts from ground-truth labels. To address this question, we examine the capacity of instruction-tuned LLMs to follow in-context concept guidelines for sentence labeling tasks. We design guidelines that present different types of… ▽ More Although large language models (LLMs) exhibit remarkable capacity to leverage in-context demonstrations, it is still unclear to what extent they can learn new concepts or facts from ground-truth labels. To address this question, we examine the capacity of instruction-tuned LLMs to follow in-context concept guidelines for sentence labeling tasks. We design guidelines that present different types of factual and counterfactual concept definitions, which are used as prompts for zero-shot sentence classification tasks. Our results show that although concept definitions consistently help in task performance, only the larger models (with 70B parameters or more) have limited ability to work under counterfactual contexts. Importantly, only proprietary models such as GPT-3.5 and GPT-4 can recognize nonsensical guidelines, which we hypothesize is due to more sophisticated alignment methods. Finally, we find that Falcon-180B-chat is outperformed by Llama-2-70B-chat is most cases, which indicates that careful fine-tuning is more effective than increasing model scale. Altogether, our simple evaluation method reveals significant gaps in concept understanding between the most capable open-source language models and the leading proprietary APIs. △ Less

Submitted 26 June, 2024; v1 submitted 15 November, 2023; originally announced November 2023.

Comments: ACL 2024 camera ready

Computing Tools for Effective Field Theories

Authors: Jason Aebischer, Matteo Fael, Javier Fuentes-Martín, Anders Eller Thomsen, Javier Virto, Lukas Allwicher, Supratim Das Bakshi, Hermès Bélusca-Maïto, Jorge de Blas, Mikael Chala, Juan Carlos Criado, Athanasios Dedes, Renato M. Fonseca, Angelica Goncalves, Amon Ilakovac, Matthias König, Sunando Kumar Patra, Paul Kühler, Marija Mađor-Božinović, Mikołaj Misiak, Víctor Miralles, Ignacy Nałȩcz, Méril Reboud, Laura Reina, Janusz Rosiek , et al. (8 additional authors not shown)

Abstract: In recent years, theoretical and phenomenological studies with effective field theories have become a trending and prolific line of research in the field of high-energy physics. In order to discuss present and future prospects concerning automated tools in this field, the SMEFT-Tools 2022 workshop was held at the University of Zurich from 14th-16th September 2022. The current document collects and… ▽ More In recent years, theoretical and phenomenological studies with effective field theories have become a trending and prolific line of research in the field of high-energy physics. In order to discuss present and future prospects concerning automated tools in this field, the SMEFT-Tools 2022 workshop was held at the University of Zurich from 14th-16th September 2022. The current document collects and summarizes the content of this workshop. △ Less

Submitted 15 March, 2024; v1 submitted 17 July, 2023; originally announced July 2023.

Comments: 116 pages, 10 figures. Based on the contributions to SMEFT-Tools 2022 (https://indico.icc.ub.edu/event/128/). v2: version published in EPJC

Journal ref: Eur. Phys. J. C 84, 170 (2024)

Towards a conceptual model for the FAIR Digital Object Framework

Authors: Luiz Olavo Bonino da Silva Santos, Tiago Prince Sales, Claudenir M. Fonseca, Giancarlo Guizzardi

Abstract: The FAIR principles define a number of expected behaviours for the data and services ecosystem with the goal of improving the findability, accessibility, interoperability, and reusability of digital objects. A key aspiration of the principles is that they would lead to a scenario where autonomous computational agents are capable of performing a ``self-guided exploration of the global data ecosyste… ▽ More The FAIR principles define a number of expected behaviours for the data and services ecosystem with the goal of improving the findability, accessibility, interoperability, and reusability of digital objects. A key aspiration of the principles is that they would lead to a scenario where autonomous computational agents are capable of performing a ``self-guided exploration of the global data ecosystem,'' and act properly with the encountered variety of types, formats, access mechanisms and protocols. The lack of support for some of these expected behaviours by current information infrastructures such as the internet and the World Wide Web motivated the emergence, in the last years, of initiatives such as the FAIR Digital Objects (FDOs) movement. This movement aims at an infrastructure where digital objects can be exposed and explored according to the FAIR principles. In this paper, we report the current status of the work towards an ontology-driven conceptual model for FAIR Digital Objects. The conceptual model covers aspects of digital objects that are relevant to the FAIR principles such as the distinction between metadata and the digital object it describes, the classification of digital objects in terms of both their informational value and their computational representation format, and the relation between different types of FAIR Digital Objects. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: Submitted to FOIS 2023

Late growth of early-type galaxies in low-z massive clusters

Authors: A. L. B. Ribeiro, R. S. Nascimento, D. F. Morell, P. A. A. Lopes, C. C. Dantas, M. H. S. Fonseca

Abstract: We study a sample of 936 early-type galaxies (ETGs) located in 48 low-z regular galaxy clusters with $M_{200}\geq 10^{14}~ M_\odot$ at $z< 0.1$. We examine variations in the concentration index, radius, and color gradient of ETGs as a function of their stellar mass and loci in the projected phase space (PPS) of the clusters. We aim to understand the environmental influence on the growth of ETGs ac… ▽ More We study a sample of 936 early-type galaxies (ETGs) located in 48 low-z regular galaxy clusters with $M_{200}\geq 10^{14}~ M_\odot$ at $z< 0.1$. We examine variations in the concentration index, radius, and color gradient of ETGs as a function of their stellar mass and loci in the projected phase space (PPS) of the clusters. We aim to understand the environmental influence on the growth of ETGs according to the time since infall into their host clusters. Our analysis indicates a significant change in the behavior of the concentration index $C$ and color gradient around $M_{\ast} \approx 2\times 10^{11} ~M_\odot \equiv \tilde{M}_{\ast}$. Objects less massive than $ \tilde{M}_{\ast}$ present a slight growth of $C$ with $M_{\ast}$ with negative and approximately constant color gradients in all regions of the PPS. Objects more massive than $ \tilde{M}_{\ast}$ present a slight decrease of $C$ with $M_{\ast}$ with color gradients becoming less negative and approaching zero. We also find that objects more massive than $ \tilde{M}_{\ast}$, in all PPS regions, have smaller $R_{90}$ for a given $R_{50}$, suggesting a smaller external growth in these objects or even a shrinkage possibly due to tidal stripping. Finally, we estimate different dark matter fractions for galaxies in different regions of the PPS, with the ancient satellites having the largest fractions, $f_{DM}\approx$ 65%. These results favor a scenario where cluster ETGs experience environmental influence the longer they remain and the deeper into the gravitational potential they lie, indicating a combination of tidal stripping + harassment, which predominate during infall, followed by mergers + feedback effects affecting the late growth of ancient satellites and BCGs. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Comments: 14 pages, 9 figures, accepted for publication in MNRAS; Appendix = 2 figures

Effectiveness of the Krotov method in controlling open quantum systems

Authors: Marllos E. Fonseca, Felipe F. Fanchini, Emanuel F. de Lima, Leonardo K. Castelano

Abstract: We apply the Krotov method for open and closed quantum systems with the objective of finding optimized controls to manipulate qubit/qutrit systems in the presence of the external environment. In the case of unitary optimization, the Krotov method is first applied to a quantum system neglecting its interaction with the environment. The resulting controls from the unitary optimization are then used… ▽ More We apply the Krotov method for open and closed quantum systems with the objective of finding optimized controls to manipulate qubit/qutrit systems in the presence of the external environment. In the case of unitary optimization, the Krotov method is first applied to a quantum system neglecting its interaction with the environment. The resulting controls from the unitary optimization are then used to drive the system along with the environmental noise. In the case of non-unitary optimization, the Krotov method already takes into account the noise during the optimization process. We consider two distinct computational task: target-state preparation and quantum gate implementation. These tasks are carried out in simple qubit/qutrit systems and also in systems presenting leakage states. For the state-preparation cases, the controls from the non-unitary optimization outperform the controls from the unitary optimization. However, as we show here, this is not always true for the implementation of quantum gates. There are some situations where the unitary optimization performs equally well compared to the non-unitary optimization. We verify that these situations corresponds to either the absence of leakage states or to the effects of dissipation being spread uniformly over the system, including non-computational levels. For such cases, the quantum gate implementation must cover the entire Hilbert space and there is no way to dodge dissipation. On the other hand, if the subspace containing the computational levels and its complement are differently affected by dissipation, the non-unitary optimization becomes effective. △ Less

Submitted 25 July, 2023; v1 submitted 5 August, 2022; originally announced August 2022.

Comments: 8 pages, 7 figures

Factorizing Content and Budget Decisions in Abstractive Summarization of Long Documents

Authors: Marcio Fonseca, Yftah Ziser, Shay B. Cohen

Abstract: We argue that disentangling content selection from the budget used to cover salient content improves the performance and applicability of abstractive summarizers. Our method, FactorSum, does this disentanglement by factorizing summarization into two steps through an energy function: (1) generation of abstractive summary views; (2) combination of these views into a final summary, following a budget… ▽ More We argue that disentangling content selection from the budget used to cover salient content improves the performance and applicability of abstractive summarizers. Our method, FactorSum, does this disentanglement by factorizing summarization into two steps through an energy function: (1) generation of abstractive summary views; (2) combination of these views into a final summary, following a budget and content guidance. This guidance may come from different sources, including from an advisor model such as BART or BigBird, or in oracle mode -- from the reference. This factorization achieves significantly higher ROUGE scores on multiple benchmarks for long document summarization, namely PubMed, arXiv, and GovReport. Most notably, our model is effective for domain adaptation. When trained only on PubMed samples, it achieves a 46.29 ROUGE-1 score on arXiv, which indicates a strong performance due to more flexible budget adaptation and content selection less dependent on domain-specific textual structure. △ Less

Submitted 26 October, 2022; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: EMNLP 2022 camera ready

A triplet gauge boson with hypercharge one

Authors: Renato M. Fonseca

Abstract: A vector boson $W_{1}^μ$ with the quantum numbers $\left(\boldsymbol{3},1\right)$ under $SU\left(2\right)_{L}\times U(1)_{Y}$ could in principle couple with the Higgs field via the renormalizable term $W_{1}^{μ*}HD_μH$. This interaction is known to affect the $T$ parameter and, in so doing, it could potentially explain the recent CDF measurement of the W-boson mass. As it is often the case with… ▽ More A vector boson $W_{1}^μ$ with the quantum numbers $\left(\boldsymbol{3},1\right)$ under $SU\left(2\right)_{L}\times U(1)_{Y}$ could in principle couple with the Higgs field via the renormalizable term $W_{1}^{μ*}HD_μH$. This interaction is known to affect the $T$ parameter and, in so doing, it could potentially explain the recent CDF measurement of the W-boson mass. As it is often the case with vectors, building a viable model with a $W_{1}$ gauge boson is non-trivial. In this work I will describe two variations of a minimal setup containing this field; they are based on an extended $SO(5)\times SU\left(2\right)\times U(1)$ electroweak group. I will nevertheless show that interactions such as $W_{1}^{μ*}H\partial_μH$ are never generated in a Yang-Mills theory. A coupling between $W_{1}$, $H$ and another Higgs doublet $H^{\prime}$ is possible though. Finally, I will provide an explicit recipe for the construction of viable models with gauge bosons in arbitrary representations of the Standard Model group; depending on the quantum numbers, they may couple to pairs of Standard Model fermions, or to a Standard Model fermion and an exotic one. △ Less

Submitted 24 May, 2022; originally announced May 2022.

Comments: 16 pages

Proton acceleration in thermonuclear nova explosions revealed by gamma rays

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, M. Artero, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, I. Batković, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, H. Bökenkamp , et al. (186 additional authors not shown)

Abstract: Classical novae are cataclysmic binary star systems in which the matter of a companion star is accreted on a white dwarf (WD). Accumulation of hydrogen in a layer eventually causes a thermonuclear explosion on the surface of the WD, brightening the WD to ~10^5 solar luminosities and triggering ejection of the accumulated matter.They provide extreme conditions required to accelerate particles, elec… ▽ More Classical novae are cataclysmic binary star systems in which the matter of a companion star is accreted on a white dwarf (WD). Accumulation of hydrogen in a layer eventually causes a thermonuclear explosion on the surface of the WD, brightening the WD to ~10^5 solar luminosities and triggering ejection of the accumulated matter.They provide extreme conditions required to accelerate particles, electrons or protons, to high energies. Here we present the detection of gamma rays by the MAGIC telescopes from the 2021 outburst of RS Ophiuchi (RS Oph), a recurrent nova with a red giant (RG) companion, that allowed us, for the first time, to accurately characterize the emission from a nova in the 60 GeV to 250 GeV energy range. The theoretical interpretation of the combined Fermi-LAT and MAGIC data suggests that protons are accelerated to hundreds of GeV in the nova shock. Such protons should create bubbles of enhanced Cosmic Ray density, on the order of 10 pc, from the recurrent novae. △ Less

Submitted 10 November, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: THIS VERSION IS AFTER THE JOURNAL REVIEW

Journal ref: Nature Astronomy, Volume 6, p. 689-697 (2022)

Developing Assistive Technology to Support Reminiscence Therapy: A User-Centered Study to Identify Caregivers' Needs

Authors: Soraia M. Alarcão, André Santana, Carolina Maruta, Manuel J. Fonseca

Abstract: Reminiscence therapy is an inexpensive non-pharmacological therapy commonly used due to its therapeutic value for PwD, as it can be used to promote independence, positive moods and behavior, and improve their quality of life. Caregivers are one of the main pillars in the adoption of digital technologies for reminiscence therapy, as they are responsible for its administration. Despite their compreh… ▽ More Reminiscence therapy is an inexpensive non-pharmacological therapy commonly used due to its therapeutic value for PwD, as it can be used to promote independence, positive moods and behavior, and improve their quality of life. Caregivers are one of the main pillars in the adoption of digital technologies for reminiscence therapy, as they are responsible for its administration. Despite their comprehensive understanding of the needs and difficulties associated with the therapy, their perspective has not been fully taken into account in the development of existing technological solutions. To inform the design of technological solutions within dementia care, we followed a user-centered design approach through worldwide surveys, follow-up semi-structured interviews, and focus groups. Seven hundred and seven informal and 52 formal caregivers participated in our study. Our findings show that technological solutions must provide mechanisms to carry out the therapy in a simple way, reducing the amount of work for caregivers when preparing and conducting therapy sessions. They should also diversify and personalize the current session (and following ones) based on both the biographical information of the PwD and their emotional reactions. This is particularly important since the PwD often become agitated, aggressive or angry, and caregivers might not know how to properly deal with this situation (in particular, the informal ones). Additionally, formal caregivers need an easy way to manage information of the different PwD they take care of, and consult the history of sessions performed (in particular, to identify images that triggered negative emotional reactions, and consult any notes taken about them). As a result, we present a list of validated functional requirements gathered for the PwD and both formal and informal caregivers, as well as the corresponding expected primary and secondary outcomes. △ Less

Submitted 7 January, 2022; originally announced January 2022.

Comments: 27 pages, 2 figures, Manuscript submitted to the the Special Issue on Advances in Human-Centred Dementia Technology of the International Journal of Human-Computer Studies

Combined searches for dark matter in dwarf spheroidal galaxies observed with the MAGIC telescopes, including new data from Coma Berenices and Draco

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, M. Artero, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, I. Batković, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, H. Bökenkamp , et al. (169 additional authors not shown)

Abstract: Milky Way dwarf spheroidal galaxies (dSphs) are among the best candidates to search for signals of dark matter annihilation with Imaging Atmospheric Cherenkov Telescopes, given their high mass-to-light ratios and the fact that they are free of astrophysical gamma-ray emitting sources. Since 2011, MAGIC has performed a multi-year observation program in search for Weakly Interacting Massive Particle… ▽ More Milky Way dwarf spheroidal galaxies (dSphs) are among the best candidates to search for signals of dark matter annihilation with Imaging Atmospheric Cherenkov Telescopes, given their high mass-to-light ratios and the fact that they are free of astrophysical gamma-ray emitting sources. Since 2011, MAGIC has performed a multi-year observation program in search for Weakly Interacting Massive Particles (WIMPs) in dSphs. Results on the observations of Segue 1 and Ursa Major II dSphs have already been published and include some of the most stringent upper limits (ULs) on the velocity-averaged cross-section $\langle σ_{\mathrm{ann}} v \rangle$ of WIMP annihilation from observations of dSphs. In this work, we report on the analyses of 52.1 h of data of Draco dSph and 49.5 h of Coma Berenices dSph observed with the MAGIC telescopes in 2018 and in 2019 respectively. No hint of a signal has been detected from either of these targets and new constraints on the $\langle σ_{\mathrm{ann}} v \rangle$ of WIMP candidates have been derived. In order to improve the sensitivity of the search and reduce the effect of the systematic uncertainties due to the $J$-factor estimates, we have combined the data of all dSphs observed with the MAGIC telescopes. Using 354.3 h of dSphs good quality data, 95 % CL ULs on $\langle σ_{\mathrm{ann}} v \rangle$ have been obtained for 9 annihilation channels. For most of the channels, these results reach values of the order of $10^{-24} $cm$^3$/s at ${\sim}1$ TeV and are the most stringent limits obtained with the MAGIC telescopes so far. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: 17 pages, 5 figures

Journal ref: Physics of the Dark Universe, Volume 35, March 2022, 100912

Multiwavelength study of the gravitationally lensed blazar QSO B0218+357 between 2016 and 2020

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, M. Artero, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, I. Batković, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, G. Bonnoli , et al. (186 additional authors not shown)

Abstract: We report multiwavelength observations of the gravitationally lensed blazar QSO B0218+357 in 2016-2020. Optical, X-ray and GeV flares were detected. The contemporaneous MAGIC observations do not show significant very-high-energy (VHE, >= 100 GeV) gamma-ray emission. The lack of enhancement in radio emission measured by OVRO indicates the multi-zone nature of the emission from this object. We const… ▽ More We report multiwavelength observations of the gravitationally lensed blazar QSO B0218+357 in 2016-2020. Optical, X-ray and GeV flares were detected. The contemporaneous MAGIC observations do not show significant very-high-energy (VHE, >= 100 GeV) gamma-ray emission. The lack of enhancement in radio emission measured by OVRO indicates the multi-zone nature of the emission from this object. We constrain the VHE duty cycle of the source to be < 16 2014-like flares per year (95% confidence). For the first time for this source, a broadband low-state SED is constructed with a deep exposure up to the VHE range. A flux upper limit on the low-state VHE gamma-ray emission of an order of magnitude below that of the 2014 flare is determined. The X-ray data are used to fit the column density of (8.10 +- 0.93 stat ) x 10^21 cm^-2 of the dust in the lensing galaxy. VLBI observations show a clear radio core and jet components in both lensed images, yet no significant movement of the components is seen. The radio measurements are used to model the source-lens-observer geometry and determine the magnifications and time delays for both components. The quiescent emission is modeled with the high-energy bump explained as a combination of synchrotron-self-Compton and external Compton emission from a region located outside of the broad line region. The bulk of the low-energy emission is explained as originating from a tens-of-parsecs scale jet. △ Less

Submitted 25 November, 2021; originally announced November 2021.

Comments: 21 pages, 12 figures, 5 tables, accepted for publication in MNRAS

Boundedness from below of SU(n) potentials

Authors: Renato M. Fonseca

Abstract: Vacuum stability requires that the scalar potential is bounded from below. Whether or not this is true depends on the scalar quartic interactions alone, but even so the analysis is arduous and has only been carried out for a limited set of models. Complementing the existing literature, this work contains the necessary and sufficient conditions for two SU(n) invariant potentials to be bounded from… ▽ More Vacuum stability requires that the scalar potential is bounded from below. Whether or not this is true depends on the scalar quartic interactions alone, but even so the analysis is arduous and has only been carried out for a limited set of models. Complementing the existing literature, this work contains the necessary and sufficient conditions for two SU(n) invariant potentials to be bounded from below. In particular, expressions are given for models with the fundamental and the 2-index (anti)symmetric representations of this group. A sufficient condition for vacuum stability is also provided for models with the fundamental and the adjoint representations. Finally, some considerations are made concerning the model with the gauge group SU(2) and the scalar representations $\boldsymbol{1}$, $\boldsymbol{2}$ and $\boldsymbol{3}$; such a setup is particularly important for neutrino mass generation and lepton number violation. △ Less

Submitted 15 October, 2021; originally announced October 2021.

Comments: 19 pages, 4 figures

Manipulating the shape of flexible magnetoelastic nanodiscs with meron-like magnetic states

Authors: Beatriz Miranda-Silva, Pedro H. C. Taveira, Allison W. Teixeira, Jakson M. Fonseca, Ricardo G. Elías, Nicolas Vidal-Silva, Vagson L. Carvalho-Santos

Abstract: The control of the magnetic properties of shapeable devices and the manipulation of flexible structures by external magnetic fields is a keystone of future magnetoelectronics-based devices. This work studies the elastic properties of a magnetoelastic nanodisc that hosts a meron as the magnetic state and can be deformed from structures with positive to negative Gaussian curvature. We show that the… ▽ More The control of the magnetic properties of shapeable devices and the manipulation of flexible structures by external magnetic fields is a keystone of future magnetoelectronics-based devices. This work studies the elastic properties of a magnetoelastic nanodisc that hosts a meron as the magnetic state and can be deformed from structures with positive to negative Gaussian curvature. We show that the winding number of the hosted meron is crucial to determine the curvature sign of the stable obtained shape. Additionally, we show that the optimum curvature reached by the nanodisc depends on geometrical and mechanical parameters. It is shown that an increase in the external radius, thickness, and Young's modulus lead to a decrease in the optimum curvature absolute value. Finally, it is shown that the nanodisc's shape also depends on the connection between the polarity and chirality of the vortex-like meron. △ Less

Submitted 2 October, 2021; originally announced October 2021.

Comments: 8 pages, 6 figures

Observation of the gamma-ray binary HESS J0632+057 with the H.E.S.S., MAGIC, and VERITAS telescopes

Authors: C. B. Adams, W. Benbow, A. Brill, J. H. Buckley, M. Capasso, A. J. Chromey, M. Errando, A. Falcone, K. A. Farrell, Q. Feng, J P. Finley, G. Foote, L. Fortson, A. Furniss, A. Gent, G. H. Gillanders, C. Giuri, O. Gueta, D. Hanna, T. Hassan, O. Hervet, J. Holder, B. Hona, T. B. Humensky, W. Jin , et al. (387 additional authors not shown)

Abstract: The results of gamma-ray observations of the binary system HESS J0632+057 collected during 450 hours over 15 years, between 2004 and 2019, are presented. Data taken with the atmospheric Cherenkov telescopes H.E.S.S., MAGIC, and VERITAS at energies above 350 GeV were used together with observations at X-ray energies obtained with Swift-XRT, Chandra, XMM-Newton, NuSTAR, and Suzaku. Some of these obs… ▽ More The results of gamma-ray observations of the binary system HESS J0632+057 collected during 450 hours over 15 years, between 2004 and 2019, are presented. Data taken with the atmospheric Cherenkov telescopes H.E.S.S., MAGIC, and VERITAS at energies above 350 GeV were used together with observations at X-ray energies obtained with Swift-XRT, Chandra, XMM-Newton, NuSTAR, and Suzaku. Some of these observations were accompanied by measurements of the Hα emission line. A significant detection of the modulation of the VHE gamma-ray fluxes with a period of 316.7+-4.4 days is reported, consistent with the period of 317.3+-0.7 days obtained with a refined analysis of X-ray data. The analysis of data of four orbital cycles with dense observational coverage reveals short timescale variability, with flux-decay timescales of less than 20 days at very high energies. Flux variations observed over the time scale of several years indicate orbit-to-orbit variability. The analysis confirms the previously reported correlation of X-ray and gamma-ray emission from the system at very high significance, but can not find any correlation of optical Hα parameters with X-ray or gamma-ray energy fluxes in simultaneous observations. The key finding is that the emission of HESS J0632+057 in the X-ray and gamma-ray energy bands is highly variable on different time scales. The ratio of gamma-ray to X-ray flux shows the equality or even dominance of the gamma-ray energy range. This wealth of new data is interpreted taking into account the insufficient knowledge of the ephemeris of the system, and discussed in the context of results reported on other gamma-ray binary systems. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: Accepted for publication by The Astrophysical Journal

Search for Very High-Energy Emission from the millisecond pulsar PSR J0218+4232

Authors: V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, M. Artero, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, I. Batković, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, G. Bonnoli, Ž. Bošnjak , et al. (176 additional authors not shown)

Abstract: PSR J0218+4232 is one of the most energetic millisecond pulsars known and has long been considered as one of the best candidates for very high-energy (VHE; >100 GeV) gamma-ray emission. Using 11.5 years of Fermi Large Area Telescope (LAT) data between 100 MeV and 870 GeV, and ~90 hours of MAGIC observations in the 20 GeV to 20 TeV range, we have searched for the highest energy gamma-ray emission f… ▽ More PSR J0218+4232 is one of the most energetic millisecond pulsars known and has long been considered as one of the best candidates for very high-energy (VHE; >100 GeV) gamma-ray emission. Using 11.5 years of Fermi Large Area Telescope (LAT) data between 100 MeV and 870 GeV, and ~90 hours of MAGIC observations in the 20 GeV to 20 TeV range, we have searched for the highest energy gamma-ray emission from PSR J0218+4232. Based on the analysis of the LAT data, we find evidence for pulsed emission above 25 GeV, but see no evidence for emission above 100 GeV (VHE) with MAGIC. We present the results of searches for gamma-ray emission, along with theoretical modeling, to interpret the lack of VHE emission. We conclude that, based on the experimental observations and theoretical modeling, it will remain extremely challenging to detect VHE emission from PSR J0218+4232 with the current generation of Imaging Atmospheric Cherenkov Telescopes (IACTs), and maybe even with future ones, such as the Cherenkov Telescope Array (CTA). △ Less

Submitted 25 August, 2021; originally announced August 2021.

Comments: 19 pages, 9 figures, Accepted to ApJ

Modeling and Evaluating Personas with Software Explainability Requirements

Authors: Henrique Ramos, Mateus Fonseca, Lesandro Ponciano

Abstract: This work focuses on the context of software explainability, which is the production of software capable of explaining to users the dynamics that govern its internal functioning. User models that include information about their requirements and their perceptions of explainability are fundamental when building software with such capability. This study investigates the process of creating personas t… ▽ More This work focuses on the context of software explainability, which is the production of software capable of explaining to users the dynamics that govern its internal functioning. User models that include information about their requirements and their perceptions of explainability are fundamental when building software with such capability. This study investigates the process of creating personas that include information about users' explainability perceptions and needs. The proposed approach is based on data collection with questionnaires, modeling of empathy maps, grouping the maps, generating personas from them and evaluation employing the Persona Perception Scale method. In an empirical study, personas are created from 61 users' response data to a questionnaire. The generated personas are evaluated by 60 users and 38 designers considering attributes of the Persona Perception Scale method. The results include a set of 5 distinct personas that users rate as representative of them at an average level of 3.7 out of 5, and designers rate as having quality 3.5 out of 5. The median rate is 4 out of 5 in the majority of criteria judged by users and designers. Both the personas and their creation and evaluation approach are contributions of this study to the design of software that satisfies the explainability requirement. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 15 pages, VII Iberoamerican Conference on Human Computer Interaction

Journal ref: Human-Computer Interaction. HCI-COLLAB 2021. Communications in Computer and Information Science,

First detection of VHE gamma-ray emission from TXS~1515--273, study of its X-ray variability and spectral energy distribution

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, M. Artero, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, I. Batković, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, Ž. Bošnjak , et al. (174 additional authors not shown)

Abstract: We report here on the first multi-wavelength (MWL) campaign on the blazar TXS 1515-273, undertaken in 2019 and extending from radio to very-high-energy gamma rays (VHE). Up until now, this blazar had not been the subject of any detailed MWL observations. It has a rather hard photon index at GeV energies and was considered a candidate extreme high-synchrotronpeaked source. MAGIC observations result… ▽ More We report here on the first multi-wavelength (MWL) campaign on the blazar TXS 1515-273, undertaken in 2019 and extending from radio to very-high-energy gamma rays (VHE). Up until now, this blazar had not been the subject of any detailed MWL observations. It has a rather hard photon index at GeV energies and was considered a candidate extreme high-synchrotronpeaked source. MAGIC observations resulted in the first-time detection of the source in VHE with a statistical significance of 7.6$σ$. The average integral VHE flux of the source is 6 $\pm$ 1% of the Crab nebula flux above 400 GeV. X-ray coverage was provided by Swift-XRT, XMMNewton, and NuSTAR. The long continuous X-ray observations were separated by $\sim$ 9 h, both showing clear hour scale flares. In the XMM-Newton data, both the rise and decay timescales are longer in the soft X-ray than in the hard X-ray band, indicating the presence of a particle cooling regime. The X-ray variability timescales were used to constrain the size of the emission region and the strength of the magnetic field. The data allowed us to determine the synchrotron peak frequency and classify the source as a flaring high, but not extreme, synchrotron peaked object. Considering the constraints and variability patterns from the X-ray data, we model the broad-band spectral energy distribution. We applied a simple one-zone model, which could not reproduce the radio emission and the shape of the optical emission, and a two-component leptonic model with two interacting components, enabling us to reproduce the emission from radio to VHE band. △ Less

Submitted 20 July, 2021; originally announced July 2021.

Eigenvalue estimates of the drifted Cheng-Yau operator on bounded domains in pinched Cartan-Hadamard manifolds

Authors: Júlio C. M. da Fonseca, José N. V. Gomes

Abstract: We show how a Bochner type formula can be used to establish universal inequalities for the eigenvalues of the drifted Cheng-Yau operator on a bounded domain in a pinched Cartan-Hadamard manifold with the Dirichlet boundary condition. In the first theorem, the hyperbolic space case is treated in an independent way. For the more general setting, we first establish a Rauch comparison theorem for the… ▽ More We show how a Bochner type formula can be used to establish universal inequalities for the eigenvalues of the drifted Cheng-Yau operator on a bounded domain in a pinched Cartan-Hadamard manifold with the Dirichlet boundary condition. In the first theorem, the hyperbolic space case is treated in an independent way. For the more general setting, we first establish a Rauch comparison theorem for the Cheng-Yau operator and two estimates associated with the Bochner type formula for this operator. Next, we get some integral estimates of independent interest. As an application, we compute our universal inequalities. In particular, we obtain the corresponding inequalities for both Cheng-Yau operator and drifted Laplacian cases, and we recover the known inequalities for the Laplacian case. We also obtain a rigidity result for a Cheng-Yau operator on a class of bounded annular domains in a pinched Cartan-Hadamard manifold. In particular, we can use, e.g., the potential function of the Gaussian shrinking soliton to obtain such a rigidity for the Euclidean space case. The fundamental gap conjecture is also addressed in this paper. △ Less

Submitted 21 March, 2022; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: In this version, we address the fundamental gap conjecture in a new section of the paper

MSC Class: Primary 47A75; Secondary 58J50; 53C20

Investigation of the correlation patterns and the Compton dominance variability of Mrk 421 in 2017

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, M. Artero, K. Asano, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, I. Batković, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, O. Blanch, Ž. Bošnjak, G. Busetto, R. Carosi , et al. (263 additional authors not shown)

Abstract: We present a detailed characterisation and theoretical interpretation of the broadband emission of the paradigmatic TeV blazar Mrk 421, with special focus on the multi-band flux correlations. The dataset has been collected through an extensive multiwavelength campaign organised between 2016 December and 2017 June. The instruments involved are MAGIC, FACT, Fermi-LAT, Swift, GASP-WEBT, OVRO, Medicin… ▽ More We present a detailed characterisation and theoretical interpretation of the broadband emission of the paradigmatic TeV blazar Mrk 421, with special focus on the multi-band flux correlations. The dataset has been collected through an extensive multiwavelength campaign organised between 2016 December and 2017 June. The instruments involved are MAGIC, FACT, Fermi-LAT, Swift, GASP-WEBT, OVRO, Medicina and Metsähovi. Additionally, four deep exposures (several hours long) with simultaneous MAGIC and NuSTAR observations allowed a precise measurement of the falling segments of the two spectral components. The very-high-energy (VHE; E > 100 GeV) gamma rays and X-rays are positively correlated at zero time lag, but the strength and characteristics of the correlation change substantially across the various energy bands probed. The VHE versus X-ray fluxes follow different patterns, partly due to substantial changes in the Compton dominance during a few days without a simultaneous increase in the X-ray flux (i.e. orphan gamma-ray activity). Studying the broadband spectral energy distribution (SED) during the days including NuSTAR observations, we show that these changes can be explained within a one-zone leptonic model with a blob that increases its size over time. Our multi-band correlation study also hints at an anti-correlation between UV/optical and X-ray at a significance higher than 3 sigmas. A VHE flare observed on 2017 February 4 shows gamma-ray variability on multi-hour timescales, with a factor 10 increase in the TeV flux but only a moderate increase in the keV flux. The related broadband SED is better described by a two-zone leptonic scenario rather than by a one-zone scenario. We find that the flare can be produced by the appearance of a compact second blob populated by high energetic electrons spanning a narrow range of Lorentz factors. △ Less

Submitted 10 June, 2021; originally announced June 2021.

Comments: 38 pages, 23 figures, accepted for publication in Astronomy and Astrophysics. Corresponding authors: Axel Arbet-Engels, David Paneque

Journal ref: A&A 655, A89 (2021)

VHE gamma-ray detection of FSRQ QSO B1420+326 and modeling of its enhanced broadband state in 2020

Authors: V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, M. Artero, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, G. Bonnoli, Ž. Bošnjak, G. Busetto , et al. (209 additional authors not shown)

Abstract: Context. QSO B1420+326 is a blazar classified as a Flat Spectrum Radio Quasar (FSRQ). In the beginning of 2020 it underwent an enhanced flux state. An extensive multiwavelength campaign allowed us to trace the evolution of the flare. Aims. We search for VHE gamma-ray emission from QSO B1420+326 during this flaring state. We aim to characterize and model the broadband emission of the source over di… ▽ More Context. QSO B1420+326 is a blazar classified as a Flat Spectrum Radio Quasar (FSRQ). In the beginning of 2020 it underwent an enhanced flux state. An extensive multiwavelength campaign allowed us to trace the evolution of the flare. Aims. We search for VHE gamma-ray emission from QSO B1420+326 during this flaring state. We aim to characterize and model the broadband emission of the source over different phases of the flare. Methods. The source was observed with a number of instruments in radio, near infrared, optical (including polarimetry and spectroscopy), ultra-violet, X-ray and gamma-ray bands. We use dedicated optical spectroscopy results to estimate the accretion disk and the dust torus luminosity. We perform spectral energy distribution modeling in the framework of combined Synchrotron-Self-Compton and External Compton scenario in which the electron energy distribution is partially determined from acceleration and cooling processes. Results. During the enhanced state the flux of both SED components drastically increased and the peaks were shifted to higher energies. Follow up observations with the MAGIC telescopes led to the detection of very-high-energy gamma-ray emission from this source, making it one of only a handful of FSRQs known in this energy range. Modeling allows us to constrain the evolution of the magnetic field and electron energy distribution in the emission region. The gamma-ray flare was accompanied by a rotation of the optical polarization vector during a low polarization state. Also, a new, superluminal radio knot contemporaneously appeared in the radio image of the jet. The optical spectroscopy shows a prominent FeII bump with flux evolving together with the continuum emission and a MgII line with varying equivalent width. △ Less

Submitted 21 December, 2020; originally announced December 2020.

Comments: 20 pages, 15 figures, 7 tables, accepted for publication in A&A

Journal ref: A&A 647, A163 (2021)

Observation of a sudden cessation of a very-high-energy gamma-ray flare in PKS 1510-089 with H.E.S.S. and MAGIC in May 2016

Authors: H. E. S. S. Collaboration, H. Abdalla, R. Adam, F. Aharonian, F. Ait Benkhali, E. O. Angüner, C. Arcaro, C. Arm, T. Armstrong, H. Ashkar, M. Backes, V. Baghmanyan, V. Barbosa Martins, A. Barnacka, M. Barnard, Y. Becherini, D. Berge, K. Bernlöhr, B. Bi, M. Böttcher, C. Boisson, J. Bolmont, S. Bonnefoy, M. de Bony de Lavergne, J. Bregeon , et al. (409 additional authors not shown)

Abstract: The flat spectrum radio quasar (FSRQ) PKS 1510-089 is known for its complex multiwavelength behavior, and is one of only a few FSRQs detected at very high energy (VHE, $E>100\,$GeV) $γ$-rays. VHE $γ$-ray observations with H.E.S.S. and MAGIC during late May and early June 2016 resulted in the detection of an unprecedented flare, which reveals for the first time VHE $γ$-ray intranight variability in… ▽ More The flat spectrum radio quasar (FSRQ) PKS 1510-089 is known for its complex multiwavelength behavior, and is one of only a few FSRQs detected at very high energy (VHE, $E>100\,$GeV) $γ$-rays. VHE $γ$-ray observations with H.E.S.S. and MAGIC during late May and early June 2016 resulted in the detection of an unprecedented flare, which reveals for the first time VHE $γ$-ray intranight variability in this source. While a common variability timescale of $1.5\,$hr is found, there is a significant deviation near the end of the flare with a timescale of $\sim 20\,$min marking the cessation of the event. The peak flux is nearly two orders of magnitude above the low-level emission. For the first time, curvature is detected in the VHE $γ$-ray spectrum of PKS 1510-089, which is fully explained through absorption by the extragalactic background light. Optical R-band observations with ATOM reveal a counterpart of the $γ$-ray flare, even though the detailed flux evolution differs from the VHE ightcurve. Interestingly, a steep flux decrease is observed at the same time as the cessation of the VHE flare. In the high energy (HE, $E>100\,$MeV) $γ$-ray band only a moderate flux increase is observed with Fermi-LAT, while the HE $γ$-ray spectrum significantly hardens up to a photon index of 1.6. A search for broad-line region (BLR) absorption features in the $γ$-ray spectrum indicates that the emission region is located outside of the BLR. Radio VLBI observations reveal a fast moving knot interacting with a standing jet feature around the time of the flare. As the standing feature is located $\sim 50\,$pc from the black hole, the emission region of the flare may have been located at a significant distance from the black hole. If this correlation is indeed true, VHE $γ$ rays have been produced far down the jet where turbulent plasma crosses a standing shock. △ Less

Submitted 18 December, 2020; originally announced December 2020.

Comments: 25 pages, 17 figures. Accepted for publication by Astronomy & Astrophysics. Corresponding authors: M. Zacharias, J. Sitarek, D. Sanchez, T. Terzic

Journal ref: A&A 648, A23 (2021)

Explaining the SM flavor structure with grand unified theories

Authors: Renato M. Fonseca

Abstract: We do not know why there are three fermion families in the Standard Model (SM), nor can we explain the observed pattern of fermion masses and mixing angles. Standard grand unified theories based on the SU(5) and SO(10) groups fail to shed light on this issue, since they also contain three copies of fermion representations of an enlarged gauge group. However, it does not need to be so: the Standard… ▽ More We do not know why there are three fermion families in the Standard Model (SM), nor can we explain the observed pattern of fermion masses and mixing angles. Standard grand unified theories based on the SU(5) and SO(10) groups fail to shed light on this issue, since they also contain three copies of fermion representations of an enlarged gauge group. However, it does not need to be so: the Standard Model families might be distributed over distinct representations of a grand unified model, in which case the gauge symmetry itself might discriminate the various families and explain (at least partially) the flavor puzzle. The most ambitious version of this idea consists on embedding all SM fermions in a single irreducible representation of the gauge group. △ Less

Submitted 15 December, 2020; originally announced December 2020.

Comments: Contribution to the proceedings of the 40th International Conference on High Energy physics (ICHEP2020), 28 July -- 6 August 2020, Prague, Czech Republic (virtual meeting)

MAGIC observations of the nearby short gamma-ray burst GRB 160821B

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, G. Bonnoli, Ž. Bošnjak, G. Busetto , et al. (166 additional authors not shown)

Abstract: The coincident detection of GW170817 in gravitational waves and electromagnetic radiation spanning the radio to MeV gamma-ray bands provided the first direct evidence that short gamma-ray bursts (GRBs) can originate from binary neutron star (BNS) mergers. On the other hand, the properties of short GRBs in high-energy gamma rays are still poorly constrained, with only $\sim$20 events detected in th… ▽ More The coincident detection of GW170817 in gravitational waves and electromagnetic radiation spanning the radio to MeV gamma-ray bands provided the first direct evidence that short gamma-ray bursts (GRBs) can originate from binary neutron star (BNS) mergers. On the other hand, the properties of short GRBs in high-energy gamma rays are still poorly constrained, with only $\sim$20 events detected in the GeV band, and none in the TeV band. GRB~160821B is one of the nearest short GRBs known at $z=0.162$. Recent analyses of the multiwavelength observational data of its afterglow emission revealed an optical-infrared kilonova component, characteristic of heavy-element nucleosynthesis in a BNS merger. Aiming to better clarify the nature of short GRBs, this burst was automatically followed up with the MAGIC telescopes, starting from 24 seconds after the burst trigger. Evidence of a gamma-ray signal is found above $\sim$0.5 TeV at a significance of $\sim3\,σ$ during observations that lasted until 4 hours after the burst. Assuming that the observed excess events correspond to gamma-ray emission from GRB 160821B, in conjunction with data at other wavelengths, we investigate its origin in the framework of GRB afterglow models. The simplest interpretation with one-zone models of synchrotron-self-Compton emission from the external forward shock has difficulty accounting for the putative TeV flux. Alternative scenarios are discussed where the TeV emission can be relatively enhanced. The role of future GeV-TeV observations of short GRBs in advancing our understanding of BNS mergers and related topics is briefly addressed. △ Less

Submitted 13 December, 2020; originally announced December 2020.

Comments: 13 pages, 4 figures, Accepted for publication in ApJ. Corresponding authors: K. Noda, L. Nava, and S. Inoue

Journal ref: ApJ 908, 90 (2021)

Multiwavelength variability and correlation studies of Mrk 421 during historically low X-ray and $γ$-ray activity in 2015$-$2016

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, K. Asano, A. Babić, B. Banerjee, A. Baquero, U. Barres de Almeida, J. A. Barrio, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, O. Blanch, G. Bonnoli, Ž. Bošnjak, G. Busetto, R. Carosi, G. Ceribella , et al. (205 additional authors not shown)

Abstract: We report a characterization of the multi-band flux variability and correlations of the nearby (z=0.031) blazar Markarian 421 (Mrk 421) using data from Metsähovi, Swift, Fermi-LAT, MAGIC, FACT and other collaborations and instruments from November 2014 till June 2016. Mrk 421 did not show any prominent flaring activity, but exhibited periods of historically low activity above 1 TeV (F… ▽ More We report a characterization of the multi-band flux variability and correlations of the nearby (z=0.031) blazar Markarian 421 (Mrk 421) using data from Metsähovi, Swift, Fermi-LAT, MAGIC, FACT and other collaborations and instruments from November 2014 till June 2016. Mrk 421 did not show any prominent flaring activity, but exhibited periods of historically low activity above 1 TeV (F$_{>1\mathrm{TeV}}<$ 1.7$\times$10$^{-12}$ ph cm$^{-2}$ s$^{-1}$) and in the 2-10 keV (X-ray) band (F$_{2-10 \mathrm{keV}}<$3.6$\times$10$^{-11}$ erg cm$^{-2}$ s$^{-1}$), during which the Swift-BAT data suggests an additional spectral component beyond the regular synchrotron emission. The highest flux variability occurs in X-rays and very-high-energy (E$>$0.1 TeV) $γ$-rays, which, despite the low activity, show a significant positive correlation with no time lag. The HR$_\mathrm{keV}$ and HR$_\mathrm{TeV}$ show the harder-when-brighter trend observed in many blazars, but the trend flattens at the highest fluxes, which suggests a change in the processes dominating the blazar variability. Enlarging our data set with data from years 2007 to 2014, we measured a positive correlation between the optical and the GeV emission over a range of about 60 days centered at time lag zero, and a positive correlation between the optical/GeV and the radio emission over a range of about 60 days centered at a time lag of $43^{+9}_{-6}$ days.This observation is consistent with the radio-bright zone being located about 0.2 parsec downstream from the optical/GeV emission regions of the jet. The flux distributions are better described with a LogNormal function in most of the energy bands probed, indicating that the variability in Mrk 421 is likely produced by a multiplicative process. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Comments: 45 pages, 30 figures, 6 tables, accepted for publication in MNRAS

Detection of the Geminga pulsar with MAGIC hints at a power-law tail emission beyond 15 GeV

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, G. Bonnoli, Ž. Bošnjak, G. Busetto , et al. (168 additional authors not shown)

Abstract: We report the detection of pulsed gamma-ray emission from the Geminga pulsar (PSR J0633+1746) between $15\,$GeV and $75\,$GeV. This is the first time a middle-aged pulsar has been detected up to these energies. Observations were carried out with the MAGIC telescopes between 2017 and 2019 using the low-energy threshold Sum-Trigger-II system. After quality selection cuts, $\sim 80\,$hours of observa… ▽ More We report the detection of pulsed gamma-ray emission from the Geminga pulsar (PSR J0633+1746) between $15\,$GeV and $75\,$GeV. This is the first time a middle-aged pulsar has been detected up to these energies. Observations were carried out with the MAGIC telescopes between 2017 and 2019 using the low-energy threshold Sum-Trigger-II system. After quality selection cuts, $\sim 80\,$hours of observational data were used for this analysis. To compare with the emission at lower energies below the sensitivity range of MAGIC, $11$ years of Fermi-LAT data above $100\,$MeV were also analysed. From the two pulses per rotation seen by Fermi-LAT, only the second one, P2, is detected in the MAGIC energy range, with a significance of $6.3\,σ$. The spectrum measured by MAGIC is well-represented by a simple power law of spectral index $Γ= 5.62\pm0.54$, which smoothly extends the Fermi-LAT spectrum. A joint fit to MAGIC and Fermi-LAT data rules out the existence of a sub-exponential cut-off in the combined energy range at the $3.6\,σ$ significance level. The power-law tail emission detected by MAGIC is interpreted as the transition from curvature radiation to Inverse Compton Scattering of particles accelerated in the northern outer gap. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Comments: Corresponding authors: Marcos López-Moya, Giovanni Ceribella, Kouichi Hirotani and Thomas Schweizer

Journal ref: A&A 643, L14 (2020)

Derived tame quadratic string algebras

Authors: Marlon Pimenta Fonseca

Abstract: In this paper we determine the derived representation type of quadratic string algebras and we prove that every derived tame quadratic string algebra whose quiver has cycles is derived equivalent to some skewed-gentle algebra. In this paper we determine the derived representation type of quadratic string algebras and we prove that every derived tame quadratic string algebra whose quiver has cycles is derived equivalent to some skewed-gentle algebra. △ Less

Submitted 14 November, 2020; originally announced November 2020.

Comments: 27 pages

GroupMath: A Mathematica package for group theory calculations

Authors: Renato M. Fonseca

Abstract: GroupMath is a Mathematica package which performs several calculations related to semi-simple Lie algebras and the permutation groups, both of which are important in particle physics as well as in other areas of research. GroupMath is a Mathematica package which performs several calculations related to semi-simple Lie algebras and the permutation groups, both of which are important in particle physics as well as in other areas of research. △ Less

Submitted 28 October, 2020; originally announced November 2020.

Comments: Describes version 1.1 of the program. Code available on http://renatofonseca.net/groupmath

Study of the GeV to TeV morphology of the $γ$-Cygni SNR (G78.2+2.1) with MAGIC and Fermi-LAT

Authors: MAGIC Collaboration, V. A. Acciari, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, D. Baack, A. Babić, B. Banerjee, U. Barres de Almeida, J. A. Barrio, J. Becerra González, W. Bednarek, L. Bellizzi, E. Bernardini, A. Berti, J. Besenrieder, W. Bhattacharyya, C. Bigongiari, A. Biland, O. Blanch, G. Bonnoli, Ž. Bošnjak, G. Busetto, R. Carosi, G. Ceribella , et al. (161 additional authors not shown)

Abstract: Context. Diffusive shock acceleration (DSA) is the most promising mechanism to accelerate Galactic cosmic rays (CRs) in the shocks of supernova remnants (SNRs). The turbulence upstream is supposedly generated by the CRs, but this process is not well understood. The dominant mechanism may depend on the evolutionary state of the shock and can be studied via the CRs escaping upstream into the interst… ▽ More Context. Diffusive shock acceleration (DSA) is the most promising mechanism to accelerate Galactic cosmic rays (CRs) in the shocks of supernova remnants (SNRs). The turbulence upstream is supposedly generated by the CRs, but this process is not well understood. The dominant mechanism may depend on the evolutionary state of the shock and can be studied via the CRs escaping upstream into the interstellar medium (ISM). Aims. Previous observations of the $γ$-Cygni SNR showed a difference in morphology between GeV and TeV energies. Since this SNR has the right age and is at the evolutionary stage for a significant fraction of CRs to escape, we aim to understand $γ$-ray emission in the vicinity of the $γ$-Cygni SNR. Methods. We observed the region of the $γ$-Cygni SNR with the MAGIC Imaging Atmospheric Cherenkov telescopes between May 2015 and September 2017 recording 87 h of good-quality data. Additionally we analysed Fermi-LAT data to study the energy dependence of the morphology as well as the energy spectrum in the GeV to TeV range. The energy spectra and morphology were compared against theoretical predictions, which include a detailed derivation of the CR escape process and their $γ$-ray generation. Results. The MAGIC and Fermi-LAT data allowed us to identify three emission regions, which can be associated with the SNR and dominate at different energies. Our hadronic emission model accounts well for the morphology and energy spectrum of all source components. It constrains the time-dependence of the maximum energy of the CRs at the shock, the time-dependence of the level of turbulence, and the diffusion coefficient immediately outside the SNR shock. While in agreement with the standard picture of DSA, the time-dependence of the maximum energy was found to be steeper than predicted and the level of turbulence was found to change over the lifetime of the SNR. △ Less

Submitted 29 October, 2020; originally announced October 2020.

Comments: 20 pages, 10 figures. Accepted for publication in A&A. Corresponding authors: M. Strzys, G. Morlino, S. Masuda, and I. Vovk

Journal ref: A&A 670, A8 (2023)

On the Bicriterion Maximum Flow Network Interdiction Problem

Authors: Luca E. Schäfer, Stefan Ruzika, Sven O. Krumke, Carlos M. Fonseca

Abstract: This article focuses on a biobjective extension of the maximum flow network interdiction problem, where each arc in the network is associated with two capacity values. Two maximum flows from a source to a sink are to be computed independently of each other with respect to the first and second capacity function, respectively, while an interdictor aims to minimize the value of both maximum flows by… ▽ More This article focuses on a biobjective extension of the maximum flow network interdiction problem, where each arc in the network is associated with two capacity values. Two maximum flows from a source to a sink are to be computed independently of each other with respect to the first and second capacity function, respectively, while an interdictor aims to minimize the value of both maximum flows by interdicting arcs. We show that this problem is intractable and that the decision problem, which asks whether or not a feasible interdiction strategy is efficient, is NP-complete. We propose a pseudopolynomial time algorithm in the case of two-terminal series-parallel graphs and positive integer-valued interdiction costs. We extend this algorithm to a fully polynomial-time approximation scheme for the case of unit interdiction costs by appropriately partitioning the objective space. △ Less

Submitted 8 October, 2020; v1 submitted 6 October, 2020; originally announced October 2020.