Showing 1–50 of 460 results for author: Araújo, M

Improved finite-size key rates for discrete-modulated continuous variable quantum key distribution under coherent attacks

Authors: Carlos Pascual-García, Stefan Bäuml, Mateus Araújo, Rotem Liss, Antonio Acín

Abstract: Continuous variable quantum key distribution (CVQKD) with discrete modulation combines advantages of CVQKD, such as the implementability using readily available technologies, with advantages of discrete variable quantum key distribution, such as easier error correction procedures. We consider a prepare-and-measure CVQKD protocol, where Alice chooses from a set of four coherent states and Bob perfo… ▽ More Continuous variable quantum key distribution (CVQKD) with discrete modulation combines advantages of CVQKD, such as the implementability using readily available technologies, with advantages of discrete variable quantum key distribution, such as easier error correction procedures. We consider a prepare-and-measure CVQKD protocol, where Alice chooses from a set of four coherent states and Bob performs a heterodyne measurement, the result of which is discretised in both key and test rounds. We provide a security proof against coherent attacks in the finite-size regime, and compute the achievable key rate. To this end, we employ the generalised entropy accumulation theorem, as well as recent advances in conic optimisation, yielding improved key rates compared to previous works. At metropolitan distances, our method can provide positive key rates for the order of $10^8$ rounds. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 24 pages, 5 figures

Quantum key distribution rates from non-symmetric conic optimization

Authors: Andrés González Lorente, Pablo V. Parellada, Miguel Castillo-Celeita, Mateus Araújo

Abstract: Computing key rates in QKD numerically is essential to unlock more powerful protocols, that use more sophisticated measurement bases or quantum systems of higher dimension. It is a difficult optimization problem, that depends on minimizing a convex non-linear function: the relative entropy. Standard conic optimization techniques have for a long time been unable to handle the relative entropy cone,… ▽ More Computing key rates in QKD numerically is essential to unlock more powerful protocols, that use more sophisticated measurement bases or quantum systems of higher dimension. It is a difficult optimization problem, that depends on minimizing a convex non-linear function: the relative entropy. Standard conic optimization techniques have for a long time been unable to handle the relative entropy cone, as it is a non-symmetric cone, and the standard algorithms can only handle symmetric ones. Recently, however, a practical algorithm has been discovered for optimizing over non-symmetric cones, including the relative entropy. Here we adapt this algorithm to the problem of computation of key rates, obtaining an efficient technique for lower bounding them. In comparison to previous techniques it has the advantages of flexibility, ease of use, and above all performance. △ Less

Submitted 28 June, 2024; originally announced July 2024.

Comments: 11+1 pages, 3 figures

On the consistency of hyper-parameter selection in value-based deep reinforcement learning

Authors: Johan Obando-Ceron, João G. M. Araújo, Aaron Courville, Pablo Samuel Castro

Abstract: Deep reinforcement learning (deep RL) has achieved tremendous success on various domains through a combination of algorithmic design and careful selection of hyper-parameters. Algorithmic improvements are often the result of iterative enhancements built upon prior approaches, while hyper-parameter choices are typically inherited from previous methods or fine-tuned specifically for the proposed tec… ▽ More Deep reinforcement learning (deep RL) has achieved tremendous success on various domains through a combination of algorithmic design and careful selection of hyper-parameters. Algorithmic improvements are often the result of iterative enhancements built upon prior approaches, while hyper-parameter choices are typically inherited from previous methods or fine-tuned specifically for the proposed technique. Despite their crucial impact on performance, hyper-parameter choices are frequently overshadowed by algorithmic advancements. This paper conducts an extensive empirical study focusing on the reliability of hyper-parameter selection for value-based deep reinforcement learning agents, including the introduction of a new score to quantify the consistency and reliability of various hyper-parameters. Our findings not only help establish which hyper-parameters are most critical to tune, but also help clarify which tunings remain consistent across different training regimes. △ Less

Submitted 2 July, 2024; v1 submitted 25 June, 2024; originally announced June 2024.

Meson scattering in a non-minimally Lorentz-violating scalar QED at finite temperature

Authors: M. C. Araújo, R. V. Maluf, J. Furtado

Abstract: In this paper we study meson scattering in a non-minimally Lorentz-violating scalar QED at finite temperature. The meson scatterings were investigated in tree level and the finite temperature effects were addressed by using the thermofield dynamics formalism. We have considered three types of scattering, namely, meson-antimeson of $a$-type into meson-antimeson of $b$-type, meson-antimeson of $a$-t… ▽ More In this paper we study meson scattering in a non-minimally Lorentz-violating scalar QED at finite temperature. The meson scatterings were investigated in tree level and the finite temperature effects were addressed by using the thermofield dynamics formalism. We have considered three types of scattering, namely, meson-antimeson of $a$-type into meson-antimeson of $b$-type, meson-antimeson of $a$-type into meson-antimeson of $a$-type and meson-meson of $a$-type into meson-meson of $a$-type. For each scattering we have computed the cross section in order to investigate the influence of the finite temperature effects. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 25 pages and 7 figures

Introducing Moment: A toolkit for semi-definite programming with moment matrices

Authors: Andrew J. P. Garner, Mateus Araújo

Abstract: Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such optimizations to a hierarchy of semi-definite programs, which can be solved numerically using well-understood interior-point methods. A key, but computationally costl… ▽ More Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such optimizations to a hierarchy of semi-definite programs, which can be solved numerically using well-understood interior-point methods. A key, but computationally costly, step is the formulation of moment matrices, whose size (and hence cost) grows exponentially with the depth of the hierarchy. It is therefore essential to have highly-optimized software to construct moment matrices. Here, we introduce Moment: a toolkit that produces moment matrix relaxations from the specification of a non-commutative optimization problem. In order to obtain the absolute best performance, Moment is written in C++, and for convenience of use provides an interface via MATLAB. We benchmark Moment's performance, and see that it can be up to four orders of magnitude faster than current software with similar functionality. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Comments: 49 + 13 pages, 4 figures, 5 tables

The Design, Implementation, and Performance of the LZ Calibration Systems

Authors: J. Aalbers, D. S. Akerib, A. K. Al Musalhi, F. Alder, C. S. Amarasinghe, A. Ames, T. J. Anderson, N. Angelides, H. M. Araújo, J. E. Armstrong, M. Arthurs, A. Baker, S. Balashov, J. Bang, E. E. Barillier, J. W. Bargemann, K. Beattie, T. Benson, A. Bhatti, A. Biekert, T. P. Biesiadzinski, H. J. Birch, E. Bishop, G. M. Blockinger, B. Boxer , et al. (179 additional authors not shown)

Abstract: LUX-ZEPLIN (LZ) is a tonne-scale experiment searching for direct dark matter interactions and other rare events. It is located at the Sanford Underground Research Facility (SURF) in Lead, South Dakota, USA. The core of the LZ detector is a dual-phase xenon time projection chamber (TPC), designed with the primary goal of detecting Weakly Interacting Massive Particles (WIMPs) via their induced low e… ▽ More LUX-ZEPLIN (LZ) is a tonne-scale experiment searching for direct dark matter interactions and other rare events. It is located at the Sanford Underground Research Facility (SURF) in Lead, South Dakota, USA. The core of the LZ detector is a dual-phase xenon time projection chamber (TPC), designed with the primary goal of detecting Weakly Interacting Massive Particles (WIMPs) via their induced low energy nuclear recoils. Surrounding the TPC, two veto detectors immersed in an ultra-pure water tank enable reducing background events to enhance the discovery potential. Intricate calibration systems are purposely designed to precisely understand the responses of these three detector volumes to various types of particle interactions and to demonstrate LZ's ability to discriminate between signals and backgrounds. In this paper, we present a comprehensive discussion of the key features, requirements, and performance of the LZ calibration systems, which play a crucial role in enabling LZ's WIMP-search and its broad science program. The thorough description of these calibration systems, with an emphasis on their novel aspects, is valuable for future calibration efforts in direct dark matter and other rare-event search experiments. △ Less

Submitted 20 June, 2024; v1 submitted 2 May, 2024; originally announced June 2024.

Transforming a rare event search into a not-so-rare event search in real-time with deep learning-based object detection

Authors: J. Schueler, H. M. Araújo, S. N. Balashov, J. E. Borg, C. Brew, F. M. Brunbauer, C. Cazzaniga, A. Cottle, C. D. Frost, F. Garcia, D. Hunt, A. C. Kaboth, M. Kastriotou, I. Katsioulas, A. Khazov, P. Knights, H. Kraus, V. A. Kudryavtsev, S. Lilley, A. Lindote, M. Lisowska, D. Loomba, M. I. Lopes, E. Lopez Asamar, P. Luna Dapica , et al. (18 additional authors not shown)

Abstract: Deep learning-based object detection algorithms enable the simultaneous classification and localization of any number of objects in image data. Many of these algorithms are capable of operating in real-time on high resolution images, attributing to their widespread usage across many fields. We present an end-to-end object detection pipeline designed for real-time rare event searches for the Migdal… ▽ More Deep learning-based object detection algorithms enable the simultaneous classification and localization of any number of objects in image data. Many of these algorithms are capable of operating in real-time on high resolution images, attributing to their widespread usage across many fields. We present an end-to-end object detection pipeline designed for real-time rare event searches for the Migdal effect, using high-resolution image data from a state-of-the-art scientific CMOS camera in the MIGDAL experiment. The Migdal effect in nuclear scattering, crucial for sub-GeV dark matter searches, has yet to be experimentally confirmed, making its detection a primary goal of the MIGDAL experiment. Our pipeline employs the YOLOv8 object detection algorithm and is trained on real data to enhance the detection efficiency of nuclear and electronic recoils, particularly those exhibiting overlap** tracks that are indicative of the Migdal effect. When deployed online on the MIGDAL readout PC, we demonstrate our pipeline to process and perform the rare event search on 2D image data faster than the peak 120 frame per second acquisition rate of the CMOS camera. Applying these same steps offline, we demonstrate that we can reduce a sample of 20 million camera frames to around 1000 frames while maintaining nearly all signal that YOLOv8 is able to detect, thereby transforming a rare search into a much more manageable search. Our studies highlight the potential of pipelines similar to ours significantly improving the detection capabilities of experiments requiring rapid and precise object identification in high-throughput data environments. △ Less

Submitted 11 June, 2024; originally announced June 2024.

A portrait of the rotation of Ultra-Cool Dwarfs revealed by TESS

Authors: D. O. Fontinele, P. D. S. de Lima, Y. S. Messias, R. L. Gomes, C. E. Ferreira Lopes, B. L. Canto Martins, I. C. Leão, J. M. de Araújo, E. Janot Pacheco, J. R. De Medeiros

Abstract: This study presents the results of a search for rotation signature in 250 Gaia DR3 Ultra-Cool Dwarfs (UCDs) with TESS light curves. We identified 71 targets with unambiguous periodicities, of which 61 present rotation signatures and a single source behavior, with periods between 0.133 and 5.81 days. Five UCDs show double-dip features, namely variations with two periods, one approximately double or… ▽ More This study presents the results of a search for rotation signature in 250 Gaia DR3 Ultra-Cool Dwarfs (UCDs) with TESS light curves. We identified 71 targets with unambiguous periodicities, of which 61 present rotation signatures and a single source behavior, with periods between 0.133 and 5.81 days. Five UCDs show double-dip features, namely variations with two periods, one approximately double or half the other. The remaining ten UCDs with unambiguous variability present a likely non-single behavior. We also found 20 UCDs showing complex behavior in their light curves, with noticeable fluctuations and irregular structure, with a few exhibiting apparent changes in their temporal structure. The remaining 159 targets show noisy light curves corresponding to low-amplitude signals, whose temporal variation cannot be easily identified. The distribution of the UCDs with rotation signature in the CMD diagram points to a lack of rotating objects within about $11.5<M_{G}<12.5$ and $G-G_{RP}<1.5$ separating them into two regimes, one mainly composed of less massive late-M stars with $P_{rot} \geq 1.0$ d, and another mainly composed of more massive early-M stars with $P_{rot}<1.0$ d. It is important to emphasize that by separating stars into age intervals, one observes that UCDs with $P_{rot} \geq 1.0$ d tend to be located in regions of younger objects, and, in contrast, those with $P_{rot}<1.0$ d are mainly concentrated in regions of older objects. Whether these trends of stars contrasting the sample separation is physical or produced by observational biases is a question to be verified in future studies. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 16 pages, 4 figures 4 tables, accepted for publication in ApJ

Transformers need glasses! Information over-squashing in language tasks

Authors: Federico Barbero, Andrea Banino, Steven Kapturowski, Dharshan Kumaran, João G. M. Araújo, Alex Vitvitskyi, Razvan Pascanu, Petar Veličković

Abstract: We study how information propagates in decoder-only Transformers, which are the architectural backbone of most existing frontier large language models (LLMs). We rely on a theoretical signal propagation analysis -- specifically, we analyse the representations of the last token in the final layer of the Transformer, as this is the representation used for next-token prediction. Our analysis reveals… ▽ More We study how information propagates in decoder-only Transformers, which are the architectural backbone of most existing frontier large language models (LLMs). We rely on a theoretical signal propagation analysis -- specifically, we analyse the representations of the last token in the final layer of the Transformer, as this is the representation used for next-token prediction. Our analysis reveals a representational collapse phenomenon: we prove that certain distinct sequences of inputs to the Transformer can yield arbitrarily close representations in the final token. This effect is exacerbated by the low-precision floating-point formats frequently used in modern LLMs. As a result, the model is provably unable to respond to these sequences in different ways -- leading to errors in, e.g., tasks involving counting or copying. Further, we show that decoder-only Transformer language models can lose sensitivity to specific tokens in the input, which relates to the well-known phenomenon of over-squashing in graph neural networks. We provide empirical evidence supporting our claims on contemporary LLMs. Our theory also points to simple solutions towards ameliorating these issues. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Probing the Scalar WIMP-Pion Coupling with the first LUX-ZEPLIN data

Authors: J. Aalbers, D. S. Akerib, A. K. Al Musalhi, F. Alder, C. S. Amarasinghe, A. Ames, T. J. Anderson, N. Angelides, H. M. Araújo, J. E. Armstrong, M. Arthurs, A. Baker, S. Balashov, J. Bang, E. E. Barillier, J. W. Bargemann, K. Beattie, T. Benson, A. Bhatti, A. Biekert, T. P. Biesiadzinski, H. J. Birch, E. J. Bishop, G. M. Blockinger, B. Boxer , et al. (178 additional authors not shown)

Abstract: Weakly interacting massive particles (WIMPs) may interact with a virtual pion that is exchanged between nucleons. This interaction channel is important to consider in models where the spin-independent isoscalar channel is suppressed. Using data from the first science run of the LUX-ZEPLIN dark matter experiment, containing 60 live days of data in a 5.5~tonne fiducial mass of liquid xenon, we repor… ▽ More Weakly interacting massive particles (WIMPs) may interact with a virtual pion that is exchanged between nucleons. This interaction channel is important to consider in models where the spin-independent isoscalar channel is suppressed. Using data from the first science run of the LUX-ZEPLIN dark matter experiment, containing 60 live days of data in a 5.5~tonne fiducial mass of liquid xenon, we report the results on a search for WIMP-pion interactions. We observe no significant excess and set an upper limit of $1.5\times10^{-46}$~cm$^2$ at a 90\% confidence level for a WIMP mass of 33~GeV/c$^2$ for this interaction. △ Less

Submitted 4 June, 2024; originally announced June 2024.

The Data Acquisition System of the LZ Dark Matter Detector: FADR

Authors: J. Aalbers, D. S. Akerib, A. K. Al Musalhi, F. Alder, C. S. Amarasinghe, A. Ames, T. J. Anderson, N. Angelides, H. M. Araújo, J. E. Armstrong, M. Arthurs, A. Baker, S. Balashov, J. Bang, E. E. Barillier, J. W. Bargemann, K. Beattie, T. Benson, A. Bhatti, A. Biekert, T. P. Biesiadzinski, H. J. Birch, E. Bishop, G. M. Blockinger, B. Boxer , et al. (190 additional authors not shown)

Abstract: The Data Acquisition System (DAQ) for the LUX-ZEPLIN (LZ) dark matter detector is described. The signals from 745 PMTs, distributed across three subsystems, are sampled with 100-MHz 32-channel digitizers (DDC-32s). A basic waveform analysis is carried out on the on-board Field Programmable Gate Arrays (FPGAs) to extract information about the observed scintillation and electroluminescence signals.… ▽ More The Data Acquisition System (DAQ) for the LUX-ZEPLIN (LZ) dark matter detector is described. The signals from 745 PMTs, distributed across three subsystems, are sampled with 100-MHz 32-channel digitizers (DDC-32s). A basic waveform analysis is carried out on the on-board Field Programmable Gate Arrays (FPGAs) to extract information about the observed scintillation and electroluminescence signals. This information is used to determine if the digitized waveforms should be preserved for offline analysis. The system is designed around the Kintex-7 FPGA. In addition to digitizing the PMT signals and providing basic event selection in real time, the flexibility provided by the use of FPGAs allows us to monitor the performance of the detector and the DAQ in parallel to normal data acquisition. The hardware and software/firmware of this FPGA-based Architecture for Data acquisition and Realtime monitoring (FADR) are discussed and performance measurements are described. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 18 pages, 24 figures

Are Large Language Models Moral Hypocrites? A Study Based on Moral Foundations

Authors: José Luiz Nunes, Guilherme F. C. F. Almeida, Marcelo de Araujo, Simone D. J. Barbosa

Abstract: Large language models (LLMs) have taken centre stage in debates on Artificial Intelligence. Yet there remains a gap in how to assess LLMs' conformity to important human values. In this paper, we investigate whether state-of-the-art LLMs, GPT-4 and Claude 2.1 (Gemini Pro and LLAMA 2 did not generate valid results) are moral hypocrites. We employ two research instruments based on the Moral Foundatio… ▽ More Large language models (LLMs) have taken centre stage in debates on Artificial Intelligence. Yet there remains a gap in how to assess LLMs' conformity to important human values. In this paper, we investigate whether state-of-the-art LLMs, GPT-4 and Claude 2.1 (Gemini Pro and LLAMA 2 did not generate valid results) are moral hypocrites. We employ two research instruments based on the Moral Foundations Theory: (i) the Moral Foundations Questionnaire (MFQ), which investigates which values are considered morally relevant in abstract moral judgements; and (ii) the Moral Foundations Vignettes (MFVs), which evaluate moral cognition in concrete scenarios related to each moral foundation. We characterise conflicts in values between these different abstractions of moral evaluation as hypocrisy. We found that both models displayed reasonable consistency within each instrument compared to humans, but they displayed contradictory and hypocritical behaviour when we compared the abstract values present in the MFQ to the evaluation of concrete moral violations of the MFV. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 13 pages, 4 figures, 2 tables

Robust self-testing of Bell inequalities tilted for maximal loophole-free nonlocality

Authors: Nicolas Gigena, Ekta Panwar, Giovanni Scala, Mateus Araújo, Máté Farkas, Anubhav Chaturvedi

Abstract: The degree of experimentally attainable nonlocality, as gauged by the amount of loophole-free violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection… ▽ More The degree of experimentally attainable nonlocality, as gauged by the amount of loophole-free violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection efficiencies, the optimal strategies are those that maximally violate a tilted version of the Bell inequality in ideal conditions. In the simplest scenario, we demonstrate that the quantum strategies that maximally violate the tilted versions of Clauser-Horne-Shimony-Holt inequality are unique up to local isometries. However, self-testing via the standard sum of squares decomposition method turns out to be analytically intractable since even high levels of the Navascués--Pironio--Acín hierarchy are insufficient to saturate the maximum quantum violation of these inequalities. Instead, we utilize a novel Jordan's lemma-based proof technique to obtain robust analytical self-testing statements for the entire family of tilted-Bell inequalities. These results allow us to unveil intriguing aspects of the effect of inefficient detectors and the complexity of characterizing the set of quantum correlations, in the simplest Bell scenario. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: First draft, comments are welcome

A guideline for the methodology chapter in computer science dissertations

Authors: Marco Araujo

Abstract: Rather than simply offering suggestions, this guideline for the methodology chapter in computer science dissertations provides thorough insights on how to develop a strong research methodology within the area of computer science. The method is structured into several parts starting with an overview of research strategies which include experiments, surveys, interviews and case studies. The guide hi… ▽ More Rather than simply offering suggestions, this guideline for the methodology chapter in computer science dissertations provides thorough insights on how to develop a strong research methodology within the area of computer science. The method is structured into several parts starting with an overview of research strategies which include experiments, surveys, interviews and case studies. The guide highlights the significance of defining a research philosophy and reasoning by talking about paradigms such as positivism, constructivism and pragmatism. Besides, it reveals the importance of types of research including deductive and inductive methodologies; basic versus applied research approaches. Moreover, this guideline discusses data collection and analysis intricacies that divide data into quantitative and qualitative typologies. It explains different ways in which data can be collected from observation to experimentation, interviews or surveys. It also mentions ethical considerations in research emphasizing ethical behavior like following academic principles. In general, this guideline is an essential tool for undertaking computer science dissertations that help researchers structure their work while maintaining ethical standards in their study design. △ Less

Submitted 29 March, 2024; originally announced May 2024.

Constraints On Covariant WIMP-Nucleon Effective Field Theory Interactions from the First Science Run of the LUX-ZEPLIN Experiment

Authors: J. Aalbers, D. S. Akerib, A. K. Al Musalhi, F. Alder, C. S. Amarasinghe, A. Ames, T. J. Anderson, N. Angelides, H. M. Araújo, J. E. Armstrong, M. Arthurs, A. Baker, S. Balashov, J. Bang, E. E. Barillier, J. W. Bargemann, K. Beattie, T. Benson, A. Bhatti, A. Biekert, T. P. Biesiadzinski, H. J. Birch, E. J. Bishop, G. M. Blockinger, B. Boxer , et al. (179 additional authors not shown)

Abstract: The first science run of the LUX-ZEPLIN (LZ) experiment, a dual-phase xenon time project chamber operating in the Sanford Underground Research Facility in South Dakota, USA, has reported leading limits on spin-independent WIMP-nucleon interactions and interactions described from a non-relativistic effective field theory (NREFT). Using the same 5.5~t fiducial mass and 60 live days of exposure we re… ▽ More The first science run of the LUX-ZEPLIN (LZ) experiment, a dual-phase xenon time project chamber operating in the Sanford Underground Research Facility in South Dakota, USA, has reported leading limits on spin-independent WIMP-nucleon interactions and interactions described from a non-relativistic effective field theory (NREFT). Using the same 5.5~t fiducial mass and 60 live days of exposure we report on the results of a relativistic extension to the NREFT. We present constraints on couplings from covariant interactions arising from the coupling of vector, axial currents, and electric dipole moments of the nucleon to the magnetic and electric dipole moments of the WIMP which cannot be described by recasting previous results described by an NREFT. Using a profile-likelihood ratio analysis, in an energy region between 0~keV$_\text{nr}$ to 270~keV$_\text{nr}$, we report 90% confidence level exclusion limits on the coupling strength of five interactions in both the isoscalar and isovector bases. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 7 pages, 4 figures

Optimal frequency for undulatory motion in granular media

Authors: Inaki Echeverría-Huarte, Margarida M. Telo da Gama, Nuno A. M. Araujo

Abstract: Sand is a highly dissipative system, where the local spatial arrangements and densities depend strongly on the applied forces, resulting in fluid-like or solid-like behaviour. This makes sand swimming challenging and intriguing, raising questions about the nature of the motion and how to optimize the design of artificial swimmers able to swim in sand. Recent experiments suggest that lateral undula… ▽ More Sand is a highly dissipative system, where the local spatial arrangements and densities depend strongly on the applied forces, resulting in fluid-like or solid-like behaviour. This makes sand swimming challenging and intriguing, raising questions about the nature of the motion and how to optimize the design of artificial swimmers able to swim in sand. Recent experiments suggest that lateral undulatory motion enables efficient locomotion, with a non-monotonic dependence of the swimming speed on the undulatory frequency and the height of the sediment bed. Here, we propose a quasi-2D granular model, where the effect of the bed height is modeled by a coarse-grained frictional force with the substrate. We show that the optimal frequency coincides with the second vibrational mode of the swimmer and explain the underlying mechanism through a characterization of the rheology of the medium. Potential implications in the design of artificial swimmers are discussed. △ Less

Submitted 22 April, 2024; originally announced April 2024.

TOFHIR2: The readout ASIC of the CMS Barrel MIP Timing Detector

Authors: E. Albuquerque, M. Araújo, A. Benaglia, A. Boletti, R. Bugalho, T. Coutinho, F. De Guio, P. Faccioli, L. Ferramacho, M. Firlej, T. Fiutowski, R. Francisco, M. Gallinaro, A. Ghezzi, J. Hollar, M. Idzik, H. Legoinha, N. Leonardo, C. Leong, M. T. Lucchini, M. Malberti, G. Marozzo, G. Da Molin, J. Moron, T. Niknejad , et al. (16 additional authors not shown)

Abstract: The CMS detector will be upgraded for the HL-LHC to include a MIP Timing Detector (MTD). The MTD will consist of barrel and endcap timing layers, BTL and ETL respectively, providing precision timing of charged particles. The BTL sensors are based on LYSO:Ce scintillation crystals coupled to SiPMs with TOFHIR2 ASICs for the front-end readout. A resolution of 30-60 ps for MIP signals at a rate of 2.… ▽ More The CMS detector will be upgraded for the HL-LHC to include a MIP Timing Detector (MTD). The MTD will consist of barrel and endcap timing layers, BTL and ETL respectively, providing precision timing of charged particles. The BTL sensors are based on LYSO:Ce scintillation crystals coupled to SiPMs with TOFHIR2 ASICs for the front-end readout. A resolution of 30-60 ps for MIP signals at a rate of 2.5 Mhit/s per channel is expected along the HL-LHC lifetime. We present an overview of the TOFHIR2 requirements and design, simulation results and measurements with TOFHIR2 ASICs. The measurements of TOFHIR2 associated to sensor modules were performed in different test setups using internal test pulses or blue and UV laser pulses emulating the signals expected in the experiment. The measurements show a time resolution of 24 ps initially during Beginning of Operation (BoO) and 58 ps at End of Operation (EoO) conditions, matching well the BTL requirements. We also showed that the time resolution is stable up to the highest expected MIP rate. Extensive radiation tests were performed, both with x-rays and heavy ions, showing that TOFHIR2 is not affected by the radiation environment during the experiment lifetime. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: Editor: J. Varela

Healing Regimes for Microscopic Wounds in the Vertex Model of Cell Tissues

Authors: R. F. Almada, N. A. M. Araujo, P. Patricio

Abstract: Wounds in epithelial tissues compromise their vital role in homeostasis. A rapid and efficient wound healing encompasses different mechanisms, which includes the formation of a contractile actin-myosin cable around its edge, known as the purse-string mechanism. We combine mean-field calculations and numerical simulations of the Vertex model to study the interplay between tissue properties and the… ▽ More Wounds in epithelial tissues compromise their vital role in homeostasis. A rapid and efficient wound healing encompasses different mechanisms, which includes the formation of a contractile actin-myosin cable around its edge, known as the purse-string mechanism. We combine mean-field calculations and numerical simulations of the Vertex model to study the interplay between tissue properties and the purse-string mechanism and its impact on the healing process. We find different regimes, where the wound opens, closes partially or completely. We also derive an analytic expression for the closure time which is validated by numerical simulations. This study establishes under which conditions the purse-string mechanism suffices for closure, providing an analytical mean-field expression for the respective thresholds. △ Less

Submitted 21 March, 2024; originally announced March 2024.

Evidence of robust, universal conformal invariance in living biological matter

Authors: Benjamin H. Andersen, Francisco M. R. Safara, Valeriia Grudtsyna, Oliver J. Meacock, Simon G. Andersen, William M. Durham, Nuno A. M. Araujo, Amin Doostmohammadi

Abstract: Collective cellular movement plays a crucial role in many processes fundamental to health, including development, reproduction, infection, wound healing, and cancer. The emergent dynamics that arise in these systems are typically thought to depend on how cells interact with one another and the mechanisms used to drive motility, both of which exhibit remarkable diversity across different biological… ▽ More Collective cellular movement plays a crucial role in many processes fundamental to health, including development, reproduction, infection, wound healing, and cancer. The emergent dynamics that arise in these systems are typically thought to depend on how cells interact with one another and the mechanisms used to drive motility, both of which exhibit remarkable diversity across different biological systems. Here, we report experimental evidence of a universal feature in the patterns of flow that spontaneously emerges in groups of collectively moving cells. Specifically, we demonstrate that the flows generated by collectively moving dog kidney cells, human breast cancer cells, and by two different strains of pathogenic bacteria, all exhibit conformal invariance. Remarkably, not only do our results show that all of these very different systems display robust conformal invariance, but we also discovered that the precise form of the invariance in all four systems is described by the Schramm-Loewner Evolution (SLE), and belongs to the percolation universality class. A continuum model of active matter can recapitulate both the observed conformal invariance and SLE form found in experiments. The presence of universal conformal invariance reveals that the macroscopic features of living biological matter exhibit universal translational, rotational, and scale symmetries that are independent of the microscopic properties of its constituents. Our results show that the patterns of flows generated by diverse cellular systems are highly conserved and that biological systems can unexpectedly be used to experimentally test predictions from the theories for conformally invariant structures △ Less

Submitted 13 March, 2024; originally announced March 2024.

Disorder-induced instability of a Weyl nodal loop semimetal towards a diffusive topological metal with protected multifractal surface states

Authors: João S. Silva, Miguel Gonçalves, Eduardo V. Castro, Pedro Ribeiro, Miguel A. N. Araújo

Abstract: Weyl nodal loop semimetals are gapless topological phases that, unlike their insulator counterparts, may be unstable to small perturbations that respect their topology-protecting symmetries. Here, we analyze a clean system perturbed by chiral off-diagonal disorder using numerically exact methods. We establish that the ballistic semimetallic phase is unstable towards the formation of an unconventio… ▽ More Weyl nodal loop semimetals are gapless topological phases that, unlike their insulator counterparts, may be unstable to small perturbations that respect their topology-protecting symmetries. Here, we analyze a clean system perturbed by chiral off-diagonal disorder using numerically exact methods. We establish that the ballistic semimetallic phase is unstable towards the formation of an unconventional topological diffusive metal hosting topological multifractal surface states. Although, as in the clean case, surface states are exponentially localized along the direction perpendicular to the nodal loop, disorder induces a multifractal structure in the remaining directions. Surprisingly, the number of these states also increases with a small amount of disorder. Eventually, as disorder is further increased, the number of surface states starts decreasing. In the strong disordered regime we predict that some types of disorder induce an Anderson transition into an electrically-polarized insulator whose signature may be detected experimentally. △ Less

Submitted 8 March, 2024; originally announced March 2024.

High-dimensional quantum key distribution using a multi-plane light converter

Authors: Ohad Lib, Kfir Sulimany, Mateus Araújo, Michael Ben-Or, Yaron Bromberg

Abstract: High-dimensional quantum key distribution (QKD) offers higher information capacity and stronger resilience to noise compared to its binary counterpart. However, these advantages are often hindered by the difficulty of realizing the required high-dimensional measurements and transformations. Here, we implement a large-scale multi-plane light converter (MPLC) and program it as a high-dimensional mod… ▽ More High-dimensional quantum key distribution (QKD) offers higher information capacity and stronger resilience to noise compared to its binary counterpart. However, these advantages are often hindered by the difficulty of realizing the required high-dimensional measurements and transformations. Here, we implement a large-scale multi-plane light converter (MPLC) and program it as a high-dimensional mode sorter of spatial modes for QKD. Using the MPLC, we demonstrate five-dimensional QKD with six mutually unbiased bases and 25-dimensional QKD with two mutually unbiased bases in the same experimental setup. Furthermore, we propose a construction of pairs of mutually unbiased bases that are robust to experimental errors, with measurement complexity scaling only with the square root of the encoded dimension. This approach paves the way for QKD implementations in higher dimensions. △ Less

Submitted 28 May, 2024; v1 submitted 6 March, 2024; originally announced March 2024.

Position: Categorical Deep Learning is an Algebraic Theory of All Architectures

Authors: Bruno Gavranović, Paul Lessard, Andrew Dudzik, Tamara von Glehn, João G. M. Araújo, Petar Veličković

Abstract: We present our position on the elusive quest for a general-purpose framework for specifying and studying deep learning architectures. Our opinion is that the key attempts made so far lack a coherent bridge between specifying constraints which models must satisfy and specifying their implementations. Focusing on building a such a bridge, we propose to apply category theory -- precisely, the univers… ▽ More We present our position on the elusive quest for a general-purpose framework for specifying and studying deep learning architectures. Our opinion is that the key attempts made so far lack a coherent bridge between specifying constraints which models must satisfy and specifying their implementations. Focusing on building a such a bridge, we propose to apply category theory -- precisely, the universal algebra of monads valued in a 2-category of parametric maps -- as a single theory elegantly subsuming both of these flavours of neural network design. To defend our position, we show how this theory recovers constraints induced by geometric deep learning, as well as implementations of many architectures drawn from the diverse landscape of neural networks, such as RNNs. We also illustrate how the theory naturally encodes many standard constructs in computer science and automata theory. △ Less

Submitted 5 June, 2024; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: To appear in ICML 2024. Comments welcome. More info at categoricaldeeplearning.com

New constraints on ultraheavy dark matter from the LZ experiment

Authors: J. Aalbers, D. S. Akerib, A. K. Al Musalhi, C. S. Amarasinghe, A. Ames, T. J. Anderson, N. Angelides, H. M. Araújo, J. E. Armstrong, M. Arthurs, A. Baker, S. Balashov, J. Bang, J. W. Bargemann, A. Baxter, K. Beattie, T. Benson, A. Bhatti, A. Biekert, T. P. Biesiadzinski, H. J. Birch, E. Bishop, G. M. Blockinger, B. Boxer, C. A. J. Brew , et al. (174 additional authors not shown)

Abstract: Searches for dark matter with liquid xenon time projection chamber experiments have traditionally focused on the region of the parameter space that is characteristic of weakly interacting massive particles, ranging from a few GeV/$c^2$ to a few TeV/$c^2$. Models of dark matter with a mass much heavier than this are well motivated by early production mechanisms different from the standard thermal f… ▽ More Searches for dark matter with liquid xenon time projection chamber experiments have traditionally focused on the region of the parameter space that is characteristic of weakly interacting massive particles, ranging from a few GeV/$c^2$ to a few TeV/$c^2$. Models of dark matter with a mass much heavier than this are well motivated by early production mechanisms different from the standard thermal freeze-out, but they have generally been less explored experimentally. In this work, we present a re-analysis of the first science run (SR1) of the LZ experiment, with an exposure of $0.9$ tonne$\times$year, to search for ultraheavy particle dark matter. The signal topology consists of multiple energy deposits in the active region of the detector forming a straight line, from which the velocity of the incoming particle can be reconstructed on an event-by-event basis. Zero events with this topology were observed after applying the data selection calibrated on a simulated sample of signal-like events. New experimental constraints are derived, which rule out previously unexplored regions of the dark matter parameter space of spin-independent interactions beyond a mass of 10$^{17}$ GeV/$c^2$. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Comments: 9 pages, 7 figures

Journal ref: Phys. Rev. D 109, 112010 (2024)

Open RL Benchmark: Comprehensive Tracked Experiments for Reinforcement Learning

Authors: Shengyi Huang, Quentin Gallouédec, Florian Felten, Antonin Raffin, Rousslan Fernand Julien Dossa, Yanxiao Zhao, Ryan Sullivan, Viktor Makoviychuk, Denys Makoviichuk, Mohamad H. Danesh, Cyril Roumégous, Jiayi Weng, Chufan Chen, Md Masudur Rahman, João G. M. Araújo, Guorui Quan, Daniel Tan, Timo Klein, Rujikorn Charakorn, Mark Towers, Yann Berthelot, Kinal Mehta, Dipam Chakraborty, Arjun KG, Valentin Charraut , et al. (8 additional authors not shown)

Abstract: In many Reinforcement Learning (RL) papers, learning curves are useful indicators to measure the effectiveness of RL algorithms. However, the complete raw data of the learning curves are rarely available. As a result, it is usually necessary to reproduce the experiments from scratch, which can be time-consuming and error-prone. We present Open RL Benchmark, a set of fully tracked RL experiments, i… ▽ More In many Reinforcement Learning (RL) papers, learning curves are useful indicators to measure the effectiveness of RL algorithms. However, the complete raw data of the learning curves are rarely available. As a result, it is usually necessary to reproduce the experiments from scratch, which can be time-consuming and error-prone. We present Open RL Benchmark, a set of fully tracked RL experiments, including not only the usual data such as episodic return, but also all algorithm-specific and system metrics. Open RL Benchmark is community-driven: anyone can download, use, and contribute to the data. At the time of writing, more than 25,000 runs have been tracked, for a cumulative duration of more than 8 years. Open RL Benchmark covers a wide range of RL libraries and reference implementations. Special care is taken to ensure that each experiment is precisely reproducible by providing not only the full parameters, but also the versions of the dependencies used to generate it. In addition, Open RL Benchmark comes with a command-line interface (CLI) for easy fetching and generating figures to present the results. In this document, we include two case studies to demonstrate the usefulness of Open RL Benchmark in practice. To the best of our knowledge, Open RL Benchmark is the first RL benchmark of its kind, and the authors hope that it will improve and facilitate the work of researchers in the field. △ Less

Submitted 5 February, 2024; originally announced February 2024.

Comments: Under review

3D model for surface accumulation of chiral and non-chiral microswimmers

Authors: Danne M. van Roon, Giorgio Volpe, Margarida M. Telo da Gama, Nuno A. M. Araújo

Abstract: Persistent motion of microswimmers near boundaries is known to result in surface accumulation. Recently it was shown experimentally that surface accumulation of microswimmers is impacted primarily by steric forces and short-ranged hydrodynamics. A way to control surface accumulation is by reducing the contact surface area between swimmers and surface by modifying its topography, typically through… ▽ More Persistent motion of microswimmers near boundaries is known to result in surface accumulation. Recently it was shown experimentally that surface accumulation of microswimmers is impacted primarily by steric forces and short-ranged hydrodynamics. A way to control surface accumulation is by reducing the contact surface area between swimmers and surface by modifying its topography, typically through the application of microscale structure. In this work, we introduce a three-dimensional(3D) model of a microswimmer navigating a volume bounded by a top and bottom surface. We describe the swimmer-surface interaction with an effective short-ranged hydrodynamic alignment force, and study numerically the effect of surface textures, modelled by convex obstacles, on the surface accumulation of chiral and non-chiral microswimmers. We find that, depending on the angular velocity of the swimmer, and the alignment force, convex obstacles can either hinder or enhance surface accumulation. We discuss potential applications to sorting of microswimmers by their angular velocity. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Anisotropic Ginzburg-Landau model for superconductivity with five-dimensional operators

Authors: M. C. Araújo, I. C. Jardim, D. F. S. Veras, J. Furtado

Abstract: This paper presents the effects of non-minimal Lorentz-violation operators in superconductivity. By constructing a Lorentz-Violating Ginzburg-Landau theory of superconductivity with a five-dimensional operator, we discuss the influence of higher dimensional Lorentz-Violating operators in the London's depth penetration, in the coherence length and critical magnetic field. This paper presents the effects of non-minimal Lorentz-violation operators in superconductivity. By constructing a Lorentz-Violating Ginzburg-Landau theory of superconductivity with a five-dimensional operator, we discuss the influence of higher dimensional Lorentz-Violating operators in the London's depth penetration, in the coherence length and critical magnetic field. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: 6 pages, 2 columns, 1 figure

Lattice Boltzmann simulation of deformable fluid-filled bodies: progress and perspectives

Authors: Danilo P. F. Silva, Rodrigo C. V. Coelho, Ignacio Pagonabarraga, Sauro Succi, Margarida M. Telo da Gama, Nuno A. M. Araújo

Abstract: With the rapid development of studies involving droplet microfluidics, drug delivery, cell detection, and microparticle synthesis, among others, many scientists have invested significant efforts to model the flow of these fluid-filled bodies. Motivated by the intricate coupling between hydrodynamics and the interactions of fluid-filled bodies, several methods have been developed. The objective of… ▽ More With the rapid development of studies involving droplet microfluidics, drug delivery, cell detection, and microparticle synthesis, among others, many scientists have invested significant efforts to model the flow of these fluid-filled bodies. Motivated by the intricate coupling between hydrodynamics and the interactions of fluid-filled bodies, several methods have been developed. The objective of this review is to present a compact foundation of the methods used in the literature in the context of lattice Boltzmann methods. For hydrodynamics, we focus on the lattice-Boltzmann method due to its specific ability to treat time and spatial-dependent boundary conditions and to incorporate new physical models in a computationally efficient way. We split the existing methods into two groups with regard to the interfacial boundary: fluid-structure and fluid-fluid methods. The fluid-structure methods are characterised by the coupling between fluid dynamics and mechanics of the flowing body, often used in applications involving membranes and similar flexible solid boundaries. We further divide fluid-structure-based methods into two subcategories, those which treat the fluid-structure boundary as a continuum medium and those that treat it as a discrete collection of individual springs and particles. Next, we discuss the fluid-fluid methods, particularly useful for the simulations of fluid-fluid interfaces. We focus on models for immiscible droplets and their interaction in a suspending fluid and describe benchmark tests to validate the models for fluid-filled bodies. △ Less

Submitted 15 March, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Journal ref: Soft Matter,20, 2419-2441(2024)

First Constraints on WIMP-Nucleon Effective Field Theory Couplings in an Extended Energy Region From LUX-ZEPLIN

Authors: LZ Collaboration, J. Aalbers, D. S. Akerib, A. K. Al Musalhi, F. Alder, C. S. Amarasinghe, A. Ames, T. J. Anderson, N. Angelides, H. M. Araújo, J. E. Armstrong, M. Arthurs, A. Baker, S. Balashov, J. Bang, J. W. Bargemann, A. Baxter, K. Beattie, T. Benson, A. Bhatti, A. Biekert, T. P. Biesiadzinski, H. J. Birch, E. Bishop, G. M. Blockinger , et al. (175 additional authors not shown)

Abstract: Following the first science results of the LUX-ZEPLIN (LZ) experiment, a dual-phase xenon time projection chamber operating from the Sanford Underground Research Facility in Lead, South Dakota, USA, we report the initial limits on a model-independent non-relativistic effective field theory describing the complete set of possible interactions of a weakly interacting massive particle (WIMP) with a n… ▽ More Following the first science results of the LUX-ZEPLIN (LZ) experiment, a dual-phase xenon time projection chamber operating from the Sanford Underground Research Facility in Lead, South Dakota, USA, we report the initial limits on a model-independent non-relativistic effective field theory describing the complete set of possible interactions of a weakly interacting massive particle (WIMP) with a nucleon. These results utilize the same 5.5 t fiducial mass and 60 live days of exposure collected for the LZ spin-independent and spin-dependent analyses while extending the upper limit of the energy region of interest by a factor of 7.5 to 270 keVnr. No significant excess in this high energy region is observed. Using a profile-likelihood ratio analysis, we report 90% confidence level exclusion limits on the coupling of each individual non-relativistic WIMP-nucleon operator for both elastic and inelastic interactions in the isoscalar and isovector bases. △ Less

Submitted 26 February, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: 17 pages 11 figures

Journal ref: Phys. Rev. D 109, 092003 (2024)

First-order optimality conditions for non-commutative optimization problems

Authors: Mateus Araújo, Igor Klep, Andrew J. P. Garner, Tamás Vértesi, Miguel Navascues

Abstract: We consider the problem of optimizing the state average of a polynomial of non-commuting variables, over all states and operators satisfying a number of polynomial constraints, and over all Hilbert spaces where such states and operators are defined. Such non-commutative polynomial optimization (NPO) problems are routinely solved through hierarchies of semidefinite programming (SDP) relaxations. By… ▽ More We consider the problem of optimizing the state average of a polynomial of non-commuting variables, over all states and operators satisfying a number of polynomial constraints, and over all Hilbert spaces where such states and operators are defined. Such non-commutative polynomial optimization (NPO) problems are routinely solved through hierarchies of semidefinite programming (SDP) relaxations. By phrasing the general NPO problem in Lagrangian form, we heuristically derive, via small variations on the problem variables, state and operator optimality conditions, both of which can be enforced by adding new positive semidefinite constraints to the SDP hierarchies. State optimality conditions are satisfied by all Archimedean (that is, bounded) NPO problems, and allow enforcing a new type of constraints: namely, restricting the optimization over states to the set of common ground states of an arbitrary number of operators. Operator optimality conditions are the non-commutative analogs of the Karush--Kuhn--Tucker (KKT) conditions, which are known to hold in many classical optimization problems. In this regard, we prove that a weak form of non-commutative operator optimality holds for all Archimedean NPO problems; stronger versions require the problem constraints to satisfy some qualification criterion, just like in the classical case. We test the power of the new optimality conditions by computing local properties of ground states of many-body spin systems and the maximum quantum violation of Bell inequalities. △ Less

Submitted 19 February, 2024; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: v3: stronger results and SDP constraints, simpler proofs and a motivating numerical example. If you read the first version, we're sorry for your loss (of time)

Impact of Ligand Substitution and Metal Node Exchange in the Electronic Properties of Scandium Terephthalate Frameworks

Authors: Holger-Dietrich Saßnick, Fabiana Machado Ferreira De Araujo, Joshua Edzards, Caterina Cocchi

Abstract: The search for sustainable alternatives to established materials is a sensitive topic in materials science. Due to their unique structural and physical characteristics, the composition of metal-organic frameworks (MOFs) can be tuned by the exchange of the metal nodes and the functionalization of the organic ligands giving rise to a large configurational space. Considering the case of scandium tere… ▽ More The search for sustainable alternatives to established materials is a sensitive topic in materials science. Due to their unique structural and physical characteristics, the composition of metal-organic frameworks (MOFs) can be tuned by the exchange of the metal nodes and the functionalization of the organic ligands giving rise to a large configurational space. Considering the case of scandium terephthalate MOFs and adopting an automatized computational framework based on density-functional theory, we explore the impact of metal substitution with the earth-abundant isoelectronic elements Al and Y, and of ligand functionalization of varying electronegativity. We find that structural properties are strongly impacted by the metal ion substitution and only moderately by ligand functionalization. In contrast, the energetic stability, the charge density distribution, and the electronic properties - including the size of the band gap - are primarily affected by the termination of the linker molecules. Functional groups such as OH and NH$_2$ lead to particularly stable structures thanks to the formation of hydrogen bonds and affect the electronic structure of the MOFs by introducing mid-gap states. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Bayesian Time-Lapse Full Waveform Inversion using Hamiltonian Monte Carlo

Authors: Paulo Douglas S. de Lima, Mauro S. Ferreira, Gilberto Corso, João M. de Araújo

Abstract: Time-lapse images carry out important information about dynamic changes in Earth's interior which can be inferred using different Full Waveform Inversion (FWI) schemes. The estimation process is performed by manipulating more than one seismic dataset, associated with the baseline and monitors surveys. The time-lapse variations can be so minute and localised that quantifying the uncertainties becom… ▽ More Time-lapse images carry out important information about dynamic changes in Earth's interior which can be inferred using different Full Waveform Inversion (FWI) schemes. The estimation process is performed by manipulating more than one seismic dataset, associated with the baseline and monitors surveys. The time-lapse variations can be so minute and localised that quantifying the uncertainties becomes fundamental to assessing the reliability of the results. The Bayesian formulation of the FWI problem naturally provides confidence levels in the solution, but evaluating the uncertainty of time-lapse seismic inversion remains a challenge due to the ill-posedness and high dimensionality of the problem. The Hamiltonian Monte Carlo (HMC) can be used to effectively sample over high dimensional distributions with affordable computational efforts. In this context, we propose a probabilistic Bayesian sequential approach for time-lapse FWI using the HMC method. Our approach relies on the integration of the baseline survey information as prior knowledge in the monitor estimation. We compare the proposed methodology with a parallel scheme in perfect and perturbed acquisition geometry scenarios. We also investigate the correlation effect between baseline and monitor samples in the propagated uncertainties. The results show that our strategy provides accurate times-lapse estimates with errors of similar magnitude to the parallel methodology. △ Less

Submitted 9 December, 2023; v1 submitted 6 November, 2023; originally announced November 2023.

Comments: 12 pages, 6 figures

Muon-induced background in a next-generation dark matter experiment based on liquid xenon

Authors: Viktor Pěč, Vitaly A. Kudryavtsev, Henrique M. Araújo, Timothy J. Sumner

Abstract: Muon-induced neutrons can lead to potentially irreducible backgrounds in rare event search experiments. We have investigated the implication of laboratory depth on the muon-induced background in a future dark matter experiment capable of reaching the so-called neutrino floor. Our simulation study focused on a xenon-based detector with 70 tonnes of active mass, surrounded by additional veto systems… ▽ More Muon-induced neutrons can lead to potentially irreducible backgrounds in rare event search experiments. We have investigated the implication of laboratory depth on the muon-induced background in a future dark matter experiment capable of reaching the so-called neutrino floor. Our simulation study focused on a xenon-based detector with 70 tonnes of active mass, surrounded by additional veto systems plus a water shield. Two locations at the Boulby Underground Laboratory (UK) were analysed as examples: an experimental cavern in salt at a depth of 2850 m w. e. (similar to the location of the existing laboratory), and a deeper laboratory located in polyhalite rock at a depth of 3575 m w. e. Our results show that no cosmogenic background events are likely to survive standard analysis cuts for 10 years of operation at either location. The largest background component we identified comes from beta-delayed neutron emission from $^{17}$N which is produced from $^{19}$F in the fluoropolymer components of the experiment. Our results confirm that a dark matter search with sensitivity to the neutrino floor is viable (from the point of view of cosmogenic backgrounds) in underground laboratories at these levels of rock overburden. This work was conducted in 2019-21 in the context of a feasibility study to investigate the possibility of develo** the Boulby Underground Laboratory to host a next-generation dark matter experiment; however, our findings are also relevant for other underground laboratories. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 22 pages, 11 figures, related to arXiv:2211.07262

Resonance of Vector Vortex Beams in a Triangular Optical Cavity

Authors: L. M. Rodrigues, L. Marques Fagundes, D. C. Salles, G. H. dos Santos, J. M. Kondo, A. Z. Khoury, P. H. Souto Ribeiro, R. Medeiros de Araújo

Abstract: We experimentally demonstrate resonance of first-order vector vortex beams (VVB) with a triangular optical cavity. We also show that, due to their symmetry properties, the so-called radial and azimuthal VVBs do not resonate at the same cavity length, which could be explored to use the triangular resonator as a mode sorter. In addition, an intracavity Pancharatnam phase shifter (PPS) is implemented… ▽ More We experimentally demonstrate resonance of first-order vector vortex beams (VVB) with a triangular optical cavity. We also show that, due to their symmetry properties, the so-called radial and azimuthal VVBs do not resonate at the same cavity length, which could be explored to use the triangular resonator as a mode sorter. In addition, an intracavity Pancharatnam phase shifter (PPS) is implemented in order to compensate for any birefringent phase that the cavity mirrors may introduce. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Inverse design of self-folding 3D shells

Authors: Diogo E. P. Pinto, Nuno A. M. Araújo, Petr Šulc, John Russo

Abstract: Inverse design aims at the development of elementary building blocks that organize spontaneously into target shapes. In self-assembly, the blocks diffuse to their target position. Alternatively, recent experiments point to a more robust process in which the shape is formed from the self-folding of a planar template. To control the folding of templates with competing folded structures, we propose t… ▽ More Inverse design aims at the development of elementary building blocks that organize spontaneously into target shapes. In self-assembly, the blocks diffuse to their target position. Alternatively, recent experiments point to a more robust process in which the shape is formed from the self-folding of a planar template. To control the folding of templates with competing folded structures, we propose the inclusion of bond specificity. We consider a template that can fold into an octahedron or a boat shell and find the minimal design capable of targeting either shell or switching between the two through an external stimulus, adding a new dimension to the design of shape-changing materials. △ Less

Submitted 5 October, 2023; originally announced October 2023.

Journal ref: Phys. Rev. Lett. 132, 118201 (2024)

Exploring the psychology of LLMs' Moral and Legal Reasoning

Authors: Guilherme F. C. F. Almeida, José Luiz Nunes, Neele Engelmann, Alex Wiegmann, Marcelo de Araújo

Abstract: Large language models (LLMs) exhibit expert-level performance in tasks across a wide range of different domains. Ethical issues raised by LLMs and the need to align future versions makes it important to know how state of the art models reason about moral and legal issues. In this paper, we employ the methods of experimental psychology to probe into this question. We replicate eight studies from th… ▽ More Large language models (LLMs) exhibit expert-level performance in tasks across a wide range of different domains. Ethical issues raised by LLMs and the need to align future versions makes it important to know how state of the art models reason about moral and legal issues. In this paper, we employ the methods of experimental psychology to probe into this question. We replicate eight studies from the experimental literature with instances of Google's Gemini Pro, Anthropic's Claude 2.1, OpenAI's GPT-4, and Meta's Llama 2 Chat 70b. We find that alignment with human responses shifts from one experiment to another, and that models differ amongst themselves as to their overall alignment, with GPT-4 taking a clear lead over all other models we tested. Nonetheless, even when LLM-generated responses are highly correlated to human responses, there are still systematic differences, with a tendency for models to exaggerate effects that are present among humans, in part by reducing variance. This recommends caution with regards to proposals of replacing human participants with current state-of-the-art LLMs in psychological research and highlights the need for further research about the distinctive aspects of machine psychology. △ Less

Submitted 4 March, 2024; v1 submitted 2 August, 2023; originally announced August 2023.

Journal ref: Exploring the psychology of LLMs' moral and legal reasoning. Artificial Intelligence, Volume 224, 2024

A search for new physics in low-energy electron recoils from the first LZ exposure

Authors: The LZ Collaboration, J. Aalbers, D. S. Akerib, A. K. Al Musalhi, F. Alder, C. S. Amarasinghe, A. Ames, T. J. Anderson, N. Angelides, H. M. Araújo, J. E. Armstrong, M. Arthurs, A. Baker, S. Balashov, J. Bang, J. W. Bargemann, A. Baxter, K. Beattie, P. Beltrame, T. Benson, A. Bhatti, A. Biekert, T. P. Biesiadzinski, H. J. Birch, G. M. Blockinger , et al. (178 additional authors not shown)

Abstract: The LUX-ZEPLIN (LZ) experiment is a dark matter detector centered on a dual-phase xenon time projection chamber. We report searches for new physics appearing through few-keV-scale electron recoils, using the experiment's first exposure of 60 live days and a fiducial mass of 5.5t. The data are found to be consistent with a background-only hypothesis, and limits are set on models for new physics inc… ▽ More The LUX-ZEPLIN (LZ) experiment is a dark matter detector centered on a dual-phase xenon time projection chamber. We report searches for new physics appearing through few-keV-scale electron recoils, using the experiment's first exposure of 60 live days and a fiducial mass of 5.5t. The data are found to be consistent with a background-only hypothesis, and limits are set on models for new physics including solar axion electron coupling, solar neutrino magnetic moment and millicharge, and electron couplings to galactic axion-like particles and hidden photons. Similar limits are set on weakly interacting massive particle (WIMP) dark matter producing signals through ionized atomic states from the Migdal effect. △ Less

Submitted 9 September, 2023; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: 13 pages, 10 figures. See https://tinyurl.com/LZDataReleaseRun1ER for a data release related to this paper

Journal ref: Phys. Rev. D 108, 072006 (2023)

Structural criterion for the onset of rigidity in a colloidal gel

Authors: C. S. Dias, J. C. Neves, M. M. Telo da Gama, E. del Gado, N. A. M. Araujo

Abstract: Identifying the necessary conditions for the onset of rigidity in a gel remains a challenge. It has been suggested that local particle coordination could be used to establish such conditions, but rigid gels occur for various coordination numbers. Combining simulations, oscillatory rheology, and a percolation analysis, for particles where the valence can be controlled, we find that the onset of rig… ▽ More Identifying the necessary conditions for the onset of rigidity in a gel remains a challenge. It has been suggested that local particle coordination could be used to establish such conditions, but rigid gels occur for various coordination numbers. Combining simulations, oscillatory rheology, and a percolation analysis, for particles where the valence can be controlled, we find that the onset of rigidity coincides with the percolation of particles with three or more bonds, which arises after the connectivity percolation. We show that the rigidity results from an interplay of bonding and non-bonding interactions, providing insight into low-valence colloidal gel rigidity. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Optimal face-to-face coupling for fast self-folding kirigami

Authors: Maks Pecnik Bambic, Nuno A. M. Araújo, Benjamin J. Walker, Duncan R. Hewitt, Qing Xiang Pei, Ran Ni, Giorgio Volpe

Abstract: Kirigami-inspired designs can enable self-folding three-dimensional materials from flat, two-dimensional sheets. Hierarchical designs of connected levels increase the diversity of possible target structures, yet they can lead to longer folding times in the presence of fluctuations. Here, we study the effect of rotational coupling between levels on the self-folding of two-level kirigami designs dri… ▽ More Kirigami-inspired designs can enable self-folding three-dimensional materials from flat, two-dimensional sheets. Hierarchical designs of connected levels increase the diversity of possible target structures, yet they can lead to longer folding times in the presence of fluctuations. Here, we study the effect of rotational coupling between levels on the self-folding of two-level kirigami designs driven by thermal noise in a fluid. Naturally present due to hydrodynamic resistance, we find that optimization of this coupling as control parameter can significantly improve a structure's self-folding rate and yield. △ Less

Submitted 9 July, 2023; originally announced July 2023.

Journal ref: Soft Matter (2024)

Semidefinite programming relaxations for quantum correlations

Authors: Armin Tavakoli, Alejandro Pozas-Kerstjens, Peter Brown, Mateus Araújo

Abstract: Semidefinite programs are convex optimisation problems involving a linear objective function and a domain of positive semidefinite matrices. Over the last two decades, they have become an indispensable tool in quantum information science. Many otherwise intractable fundamental and applied problems can be successfully approached by means of relaxation to a semidefinite program. Here, we review such… ▽ More Semidefinite programs are convex optimisation problems involving a linear objective function and a domain of positive semidefinite matrices. Over the last two decades, they have become an indispensable tool in quantum information science. Many otherwise intractable fundamental and applied problems can be successfully approached by means of relaxation to a semidefinite program. Here, we review such methodology in the context of quantum correlations. We discuss how the core idea of semidefinite relaxations can be adapted for a variety of research topics in quantum correlations, including nonlocality, quantum communication, quantum networks, entanglement, and quantum cryptography. △ Less

Submitted 16 February, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: Submitted to Reviews of Modern Physics. v3: incorporated improvements from referees

Lorentz-violating extension of scalar QED at finite temperature

Authors: M. C. Araújo, J. Furtado, R. V. Maluf

Abstract: In this work, we calculate the one-loop self-energy corrections to the gauge field in scalar electrodynamics modified by Lorentz-violating terms within the framework of the standard model extension (SME). We focus on both $CPT$-even and $CPT$-odd contributions. The kinetic part of the scalar sector contains a $CPT$-even symmetric Lorentz-breaking tensor, and the interaction terms include a vector… ▽ More In this work, we calculate the one-loop self-energy corrections to the gauge field in scalar electrodynamics modified by Lorentz-violating terms within the framework of the standard model extension (SME). We focus on both $CPT$-even and $CPT$-odd contributions. The kinetic part of the scalar sector contains a $CPT$-even symmetric Lorentz-breaking tensor, and the interaction terms include a vector contracted with the usual covariant derivative in a gauge-invariant manner. We computed the one-loop radiative corrections using dimensional regularization for both the $CPT$-even and $CPT$-odd cases. Additionally, we employed the Matsubara formalism to account for finite temperature effects. △ Less

Submitted 8 July, 2023; v1 submitted 12 June, 2023; originally announced June 2023.

Comments: 7 pages, 2 figures, matches published version in PLB

Journal ref: Phys. Lett. B, (2023), 138064

Reidemeister numbers for arithmetic Borel subgroups in type A

Authors: Paula Macedo Lins de Araujo, Yuri Santos Rego

Abstract: The Reidemeister number $R(\varphi)$ of a group automorphism $\varphi \in \mathrm{Aut}(G)$ encodes the number of orbits of the $\varphi$-twisted conjugation action of $G$ on itself, and the Reidemeister spectrum of $G$ is defined as the set of Reidemeister numbers of all of its automorphisms. We obtain a sufficient criterion for some groups of triangular matrices over integral domains to have prop… ▽ More The Reidemeister number $R(\varphi)$ of a group automorphism $\varphi \in \mathrm{Aut}(G)$ encodes the number of orbits of the $\varphi$-twisted conjugation action of $G$ on itself, and the Reidemeister spectrum of $G$ is defined as the set of Reidemeister numbers of all of its automorphisms. We obtain a sufficient criterion for some groups of triangular matrices over integral domains to have property $R_\infty$, which means that their Reidemeister spectrum equals $\{\infty\}$. Using this criterion, we show that Reidemeister numbers for certain soluble $S$-arithmetic groups behave differently from their linear algebraic counterparts -- contrasting with results of Steinberg, Bhunia, and Bose. △ Less

Submitted 5 June, 2023; originally announced June 2023.

Comments: 30 pages. The previous version arXiv:2007.02988v1 was enlarged and then split in two based on topics covered in the updated project. This article is an improved version of the second part of arXiv:2007.02988v1 -- the update contains a stronger version of the previous second main theorem of arXiv:2007.02988v1 along with overall improvements to the presentation and to some results

MSC Class: 20E36; 20F16; 20G30

Self-testing in prepare-and-measure scenarios and a robust version of Wigner's theorem

Authors: Miguel Navascues, Károly F. Pál, Tamás Vértesi, Mateus Araújo

Abstract: We consider communication scenarios where one party sends quantum states of known dimensionality $D$, prepared with an untrusted apparatus, to another, distant party, who probes them with uncharacterized measurement devices. We prove that, for any ensemble of reference pure quantum states, there exists one such prepare-and-measure scenario and a linear functional $W$ on its observed measurement pr… ▽ More We consider communication scenarios where one party sends quantum states of known dimensionality $D$, prepared with an untrusted apparatus, to another, distant party, who probes them with uncharacterized measurement devices. We prove that, for any ensemble of reference pure quantum states, there exists one such prepare-and-measure scenario and a linear functional $W$ on its observed measurement probabilities, such that $W$ can only be maximized if the preparations coincide with the reference states, modulo a unitary or an anti-unitary transformation. In other words, prepare-and-measure scenarios allow one to "self-test" arbitrary ensembles of pure quantum states. Arbitrary extreme $D$-dimensional quantum measurements, or sets thereof, can be similarly self-tested. Our results rely on a robust generalization of Wigner's theorem, a well-known result in particle physics that characterizes physical symmetries. △ Less

Submitted 2 February, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: Close to published version

Journal ref: Phys. Rev. Lett. 131, 250802 (2023)

Environmental Memory Boosts Group Formation of Clueless Individuals

Authors: Cristóvão S. Dias, Manish Trivedi, Giovanni Volpe, Nuno A. M. Araújo, Giorgio Volpe

Abstract: The formation of groups of interacting individuals improves performance and fitness in many decentralised systems, from micro-organisms to social insects, from robotic swarms to artificial intelligence algorithms. Often, group formation and high-level coordination in these systems emerge from individuals with limited information-processing capabilities implementing low-level rules of communication… ▽ More The formation of groups of interacting individuals improves performance and fitness in many decentralised systems, from micro-organisms to social insects, from robotic swarms to artificial intelligence algorithms. Often, group formation and high-level coordination in these systems emerge from individuals with limited information-processing capabilities implementing low-level rules of communication to signal to each other. Here, we show that, even in a community of clueless individuals incapable of processing information and communicating, a dynamic environment can coordinate group formation by transiently storing memory of the earlier passage of individuals. Our results identify a new mechanism of indirect coordination via shared memory that is primarily promoted and reinforced by dynamic environmental factors, thus overshadowing the need for any form of explicit signalling between individuals. We expect this pathway to group formation to be relevant for understanding and controlling self-organisation and collective decision making in both living and artificial active matter in real-life environments. △ Less

Submitted 2 June, 2023; v1 submitted 1 June, 2023; originally announced June 2023.

Journal ref: Nature Communications 14, 7324 (2023)

Continuum model for extraction and retention in porous media

Authors: André F. V. Matias, Daniel F. Valente-Matias, Nuno R. Neng, José M. F. Nogueira, José S. Andrade Jr., Rodrigo C. V. Coelho, Nuno A. M. Araújo

Abstract: Several natural and industrial processes involve the extraction or retention of a solute by a fluid invading a network of channels. Examples include aquifer contamination, chemical filtration, and coffee extraction. We propose a continuum equation to model these processes, parametrized by the Péclet number and the rate of mass transfer between the solid and the fluid. We study the time dependence… ▽ More Several natural and industrial processes involve the extraction or retention of a solute by a fluid invading a network of channels. Examples include aquifer contamination, chemical filtration, and coffee extraction. We propose a continuum equation to model these processes, parametrized by the Péclet number and the rate of mass transfer between the solid and the fluid. We study the time dependence of the extracted mass for different values of the parameter space. The continuum description is validated by combining extraction experiments with coffee and computational fluid dynamics. An analytical solution is derived for the limit of slow mass transfer, which is corroborated by numerical simulations. △ Less

Submitted 19 December, 2023; v1 submitted 6 April, 2023; originally announced April 2023.

Effects of lattice geometry on thermopower properties of the repulsive Hubbard model

Authors: Willdauany C. de Freitas Silva, Maykon V. M. Araujo, Sayantan Roy, Abhisek Samanta, Natanael de C. Costa, Nandini Trivedi, Thereza Paiva

Abstract: We obtain the Seebeck coefficient or thermopower $S$, which determines the conversion efficiency from thermal to electrical energy, for the two-dimensional Hubbard model on different geometries (square, triangular, and honeycomb lattices) for different electronic densities and interaction strengths. Using Determinantal Quantum Monte Carlo (DQMC) we find the following key results: (a) the bi-partit… ▽ More We obtain the Seebeck coefficient or thermopower $S$, which determines the conversion efficiency from thermal to electrical energy, for the two-dimensional Hubbard model on different geometries (square, triangular, and honeycomb lattices) for different electronic densities and interaction strengths. Using Determinantal Quantum Monte Carlo (DQMC) we find the following key results: (a) the bi-partiteness of the lattice affects the do** dependence of $S$; (b) strong electronic correlations can greatly enhance $S$ and produce non-trivial sign changes as a function of do** especially in the vicinity of the Mott insulating phase; (c) $S(T)$ near half filling can show non-monotonic behavior as a function of temperature. We emphasize the role of strong interaction effects in engineering better devices for energy storage and applications, as captured by our calculations of the power factor $PF=S^2 σ$ where $σ$ is the dc conductivity. △ Less

Submitted 4 April, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 10 pages, 8 figures

Membership Inference Attack for Beluga Whales Discrimination

Authors: Voncarlos Marcelo Araújo, Sébastien Gambs, Clément Chion, Robert Michaud, Léo Schneider, Hadrien Lautraite

Abstract: To efficiently monitor the growth and evolution of a particular wildlife population, one of the main fundamental challenges to address in animal ecology is the re-identification of individuals that have been previously encountered but also the discrimination between known and unknown individuals (the so-called "open-set problem"), which is the first step to realize before re-identification. In par… ▽ More To efficiently monitor the growth and evolution of a particular wildlife population, one of the main fundamental challenges to address in animal ecology is the re-identification of individuals that have been previously encountered but also the discrimination between known and unknown individuals (the so-called "open-set problem"), which is the first step to realize before re-identification. In particular, in this work, we are interested in the discrimination within digital photos of beluga whales, which are known to be among the most challenging marine species to discriminate due to their lack of distinctive features. To tackle this problem, we propose a novel approach based on the use of Membership Inference Attacks (MIAs), which are normally used to assess the privacy risks associated with releasing a particular machine learning model. More precisely, we demonstrate that the problem of discriminating between known and unknown individuals can be solved efficiently using state-of-the-art approaches for MIAs. Extensive experiments on three benchmark datasets related to whales, two different neural network architectures, and three MIA clearly demonstrate the performance of the approach. In addition, we have also designed a novel MIA strategy that we coined as ensemble MIA, which combines the outputs of different MIAs to increase the attack accuracy while diminishing the false positive rate. Overall, one of our main objectives is also to show that the research on privacy attacks can also be leveraged "for good" by hel** to address practical challenges encountered in animal ecology. △ Less

Submitted 28 February, 2023; originally announced February 2023.

Comments: 15 pages

Casimir effect in a Lorentz-violating tensor extension of a scalar field theory

Authors: M. C. Araújo, J. Furtado, R. V. Maluf

Abstract: This paper investigates the Casimir Energy modifications due to the Lorentz-violating CPT-even contribution in an extension of the scalar QED. We have considered the complex scalar field satisfying Dirichlet boundary conditions between two parallel plates separated by a small distance. An appropriate tensor parametrization allowed us to study the Casimir effect in three setups: isotropic, anisotro… ▽ More This paper investigates the Casimir Energy modifications due to the Lorentz-violating CPT-even contribution in an extension of the scalar QED. We have considered the complex scalar field satisfying Dirichlet boundary conditions between two parallel plates separated by a small distance. An appropriate tensor parametrization allowed us to study the Casimir effect in three setups: isotropic, anisotropic parity-odd, and anisotropic parity-even. We have shown that the Lorentz-violating contributions promote increased Casimir energy for both the isotropic and anisotropic parity-odd configurations. However, in the parity-even case, the Lorentz-violating terms can promote either an increase or a decrease in the Casimir energy. We have shown that both the increased and decreased amounts in the Casimir energy depend on the momentum projection over the Lorentz-violating vectors. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: 19 pages, 6 figures

Comment on "Geometry of the quantum set on no-signaling faces"

Authors: Mateus Araújo

Abstract: In Ref. [1] the authors claim that the Almost Quantum set of correlations cannot reproduce two points on the boundary of the quantum set of correlations. This claim is incorrect. The underlying issue is that the associated SDP is not strictly feasible, which makes the numerical solvers give unreliable answers. We give analytical proofs that both points are indeed reproduced by Almost Quantum. In Ref. [1] the authors claim that the Almost Quantum set of correlations cannot reproduce two points on the boundary of the quantum set of correlations. This claim is incorrect. The underlying issue is that the associated SDP is not strictly feasible, which makes the numerical solvers give unreliable answers. We give analytical proofs that both points are indeed reproduced by Almost Quantum. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Comments: 5 pages, 2 Mathematica notebooks

Journal ref: Phys. Rev. A 107, 036201 (2023)

Electronic Structure and Core Spectroscopy of Scandium Fluoride Polymorphs

Authors: Fabiana Machado Ferreira De Araujo, Daniel Duarte-Ruiz, Holger-Dietrich Saßnick, Marie C. Gentzmann, Thomas Huthwelker, Caterina Cocchi

Abstract: The microscopic knowledge of the structural, energetic, and electronic properties of scandium fluoride is still incomplete, despite the relevance of this material as an intermediate for the manufacturing of Al-Sc alloys. In a work based on first-principles calculations and x-ray spectroscopy, we assess the stability and the electronic structure of six computationally predicted ScF$_3$ polymorphs,… ▽ More The microscopic knowledge of the structural, energetic, and electronic properties of scandium fluoride is still incomplete, despite the relevance of this material as an intermediate for the manufacturing of Al-Sc alloys. In a work based on first-principles calculations and x-ray spectroscopy, we assess the stability and the electronic structure of six computationally predicted ScF$_3$ polymorphs, two of which correspond to experimentally resolved single-crystal phases. In the theoretical analysis based on density-functional theory (DFT), we identify similarities among the polymorphs based on their formation energies, charge-density distribution, and electronic properties (band gaps and density of states). We find striking analogies between the results obtained for the low- and high-temperature phases of the material, indirectly confirming that the transition occurring between them mainly consists of a rigid rotation of the lattice. With this knowledge, we examine the x-ray absorption spectra from the Sc and F K-edge contrasting first-principles results obtained from the solution of the Bethe-Salpeter equation on top of all-electron DFT with high-energy-resolution fluorescence detection measurements. The analysis of the computational results sheds light on the electronic origin of the absorption maxima and provides information on the prominent excitonic effects that characterize all spectra. Comparison with measurements confirms that the sample is mainly composed of the high- and low-temperature polymorphs of ScF$_3$. However, some fine details in the experimental results suggest that the probed powder sample may contain defects and/or residual traces of metastable polymorphs. △ Less

Submitted 3 March, 2023; v1 submitted 16 December, 2022; originally announced December 2022.

Brazilian listed options with discrete dividends and the fast Laplace transform

Authors: Maikon Araujo

Abstract: The Brazilian stock exchange (B3) has long used a strike-only adjustment to account for dividends in its listed equity options. This adjustment still makes it necessary to account for discrete dividends when pricing either calls or puts. This work presents a numerical procedure, based on the fast Laplace transform and its inverse, a procedure that can efficiently compute the Brazilian listed optio… ▽ More The Brazilian stock exchange (B3) has long used a strike-only adjustment to account for dividends in its listed equity options. This adjustment still makes it necessary to account for discrete dividends when pricing either calls or puts. This work presents a numerical procedure, based on the fast Laplace transform and its inverse, a procedure that can efficiently compute the Brazilian listed options' premium and the Greeks delta, gamma, and theta with high accuracy. △ Less

Submitted 2 December, 2022; originally announced December 2022.