Showing 1–50 of 674 results for author: Silva, F

Bayesian weighted time-lapse full-waveform inversion using a receiver-extension strategy

Authors: Sergio Luiz E. F. da Silva, Ammir Karsou, Roger M. Moreira, Marco Cetale

Abstract: Time-lapse full-waveform inversion (FWI) has become a powerful tool for characterizing and monitoring subsurface changes in various geophysical applications. However, non-repeatability (NR) issues caused, for instance, by GPS inaccuracies, often make it difficult to obtain unbiased time-lapse models. In this work we explore the portability of combining a receiver-extension FWI approach and Bayesia… ▽ More Time-lapse full-waveform inversion (FWI) has become a powerful tool for characterizing and monitoring subsurface changes in various geophysical applications. However, non-repeatability (NR) issues caused, for instance, by GPS inaccuracies, often make it difficult to obtain unbiased time-lapse models. In this work we explore the portability of combining a receiver-extension FWI approach and Bayesian analysis to mitigate time-lapse noises arising from NR issues. The receiver-extension scheme introduces an artificial degree of freedom in positioning receivers, intending to minimize kinematic mismatches between modeled and observed data. Bayesian analysis systematically explores several potential solutions to mitigate time-lapse changes not associated with reservoir responses, assigning probabilities to each scenario based on prior information and available evidence. We consider two different subsurface models to demonstrate the potential of proposed approaches. First, using the Marmousi model, we investigate two NR scenarios associated with background noise in seismic data. Second, using a challenging deep-water Brazilian pre-salt setting, we investigate several NR scenarios to simulate real-world challenges. Our results demonstrate that combining Bayesian analysis with the receiver-extension FWI strategy can mitigate adverse NR effects successfully, producing cleaner and more reliable time-lapse models than conventional approaches. The results also reveal that the proposed Bayesian weighted procedure is a valuable tool for determining time-lapse estimates through statistical analysis of pre-existing models, allowing its application in ongoing time-lapse (4D) projects. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 27 pages, 16 figures. Submitted as a Journal Paper to IEEE Transactions on Geoscience and Remote Sensing

Towards Photon-Number-Encoded High-dimensional Entanglement from a Sequentially Excited Quantum Three-Level System

Authors: Daniel A. Vajner, Nils D. Kewitz, Martin von Helversen, Stephen C. Wein, Yusuf Karli, Florian Kappe, Vikas Remesh, Saimon F. Covre da Silva, Armando Rastelli, Gregor Weihs, Carlos Anton-Solanas, Tobias Heindel

Abstract: The sequential resonant excitation of a 2-level quantum system results in the emission of a state of light showing time-entanglement encoded in the photon-number-basis - notions that can be extended to 3-level quantum systems as discussed in a recent proposal. Here, we report the experimental implementation of a sequential two-photon resonant excitation process of a solid-state 3-level system, con… ▽ More The sequential resonant excitation of a 2-level quantum system results in the emission of a state of light showing time-entanglement encoded in the photon-number-basis - notions that can be extended to 3-level quantum systems as discussed in a recent proposal. Here, we report the experimental implementation of a sequential two-photon resonant excitation process of a solid-state 3-level system, constituted by the biexciton-, exciton-, and ground-state of a semiconductor quantum dot. The resulting light state exhibits entanglement in time and energy, encoded in the photon-number basis, which could be used in quantum information applications, e.g., dense information encoding or quantum communication protocols. Performing energy- and time-resolved correlation experiments in combination with extensive theoretical modelling, we are able to partially retrieve the entanglement structure of the generated state. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 14 pages (including 5 figures, 56 citations)

AgentInstruct: Toward Generative Teaching with Agentic Flows

Authors: Arindam Mitra, Luciano Del Corro, Guoqing Zheng, Shweti Mahajan, Dany Rouhana, Andres Codas, Yadong Lu, Wei-ge Chen, Olga Vrousgos, Corby Rosset, Fillipe Silva, Hamed Khanpour, Yash Lara, Ahmed Awadallah

Abstract: Synthetic data is becoming increasingly important for accelerating the development of language models, both large and small. Despite several successful use cases, researchers also raised concerns around model collapse and drawbacks of imitating other models. This discrepancy can be attributed to the fact that synthetic data varies in quality and diversity. Effective use of synthetic data usually r… ▽ More Synthetic data is becoming increasingly important for accelerating the development of language models, both large and small. Despite several successful use cases, researchers also raised concerns around model collapse and drawbacks of imitating other models. This discrepancy can be attributed to the fact that synthetic data varies in quality and diversity. Effective use of synthetic data usually requires significant human effort in curating the data. We focus on using synthetic data for post-training, specifically creating data by powerful models to teach a new skill or behavior to another model, we refer to this setting as Generative Teaching. We introduce AgentInstruct, an extensible agentic framework for automatically creating large amounts of diverse and high-quality synthetic data. AgentInstruct can create both the prompts and responses, using only raw data sources like text documents and code files as seeds. We demonstrate the utility of AgentInstruct by creating a post training dataset of 25M pairs to teach language models different skills, such as text editing, creative writing, tool usage, coding, reading comprehension, etc. The dataset can be used for instruction tuning of any base model. We post-train Mistral-7b with the data. When comparing the resulting model Orca-3 to Mistral-7b-Instruct (which uses the same base model), we observe significant improvements across many benchmarks. For example, 40% improvement on AGIEval, 19% improvement on MMLU, 54% improvement on GSM8K, 38% improvement on BBH and 45% improvement on AlpacaEval. Additionally, it consistently outperforms other models such as LLAMA-8B-instruct and GPT-3.5-turbo. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Globally solvable complexes of pseudo-differential operators on the torus

Authors: Fernando de Ávila Silva, Cleber de Medeira

Abstract: We consider a complex of pseudo-differential operators associated with an overdetermined system of operators defined on the torus. We characterize the global solvability of this complex when the system has constant coefficients. Furthermore, we establish some connections between the global solvability of the complex and the global solvability of its normal form. We consider a complex of pseudo-differential operators associated with an overdetermined system of operators defined on the torus. We characterize the global solvability of this complex when the system has constant coefficients. Furthermore, we establish some connections between the global solvability of the complex and the global solvability of its normal form. △ Less

Submitted 3 July, 2024; originally announced July 2024.

MSC Class: 35A01; 35N10; 58J10

AI-Driven Skin Cancer Diagnosis: Grad-CAM and Expert Annotations for Enhanced Interpretability

Authors: Iván Matas, Carmen Serrano, Francisca Silva, Amalia Serrano, Tomás Toledo-Pastrana, Begoña Acha

Abstract: An AI tool has been developed to provide interpretable support for the diagnosis of BCC via teledermatology, thus speeding up referrals and optimizing resource utilization. The interpretability is provided in two ways: on the one hand, the main BCC dermoscopic patterns are found in the image to justify the BCC/Non BCC classification. Secondly, based on the common visual XAI Grad-CAM, a clinically… ▽ More An AI tool has been developed to provide interpretable support for the diagnosis of BCC via teledermatology, thus speeding up referrals and optimizing resource utilization. The interpretability is provided in two ways: on the one hand, the main BCC dermoscopic patterns are found in the image to justify the BCC/Non BCC classification. Secondly, based on the common visual XAI Grad-CAM, a clinically inspired visual explanation is developed where the relevant features for diagnosis are located. Since there is no established ground truth for BCC dermoscopic features, a standard reference is inferred from the diagnosis of four dermatologists using an Expectation Maximization (EM) based algorithm. The results demonstrate significant improvements in classification accuracy and interpretability, positioning this approach as a valuable tool for early BCC detection and referral to dermatologists. The BCC/non-BCC classification achieved an accuracy rate of 90%. For Clinically-inspired XAI results, the detection of BCC patterns useful to clinicians reaches 99% accuracy. As for the Clinically-inspired Visual XAI results, the mean of the Grad-CAM normalized value within the manually segmented clinical features is 0.57, while outside this region it is 0.16. This indicates that the model struggles to accurately identify the regions of the BCC patterns. These results prove the ability of the AI tool to provide a useful explanation. △ Less

Submitted 27 June, 2024; originally announced July 2024.

Comments: 8 pages, 4 figures, 4 tables, under review

Fine-tuning of Geospatial Foundation Models for Aboveground Biomass Estimation

Authors: Michal Muszynski, Levente Klein, Ademir Ferreira da Silva, Anjani Prasad Atluri, Carlos Gomes, Daniela Szwarcman, Gurkanwar Singh, Kewen Gu, Maciel Zortea, Naomi Simumba, Paolo Fraccaro, Shraddha Singh, Steve Meliksetian, Campbell Watson, Daiki Kimura, Harini Srinivasan

Abstract: Global vegetation structure map** is critical for understanding the global carbon cycle and maximizing the efficacy of nature-based carbon sequestration initiatives. Moreover, vegetation structure map** can help reduce the impacts of climate change by, for example, guiding actions to improve water security, increase biodiversity and reduce flood risk. Global satellite measurements provide an i… ▽ More Global vegetation structure map** is critical for understanding the global carbon cycle and maximizing the efficacy of nature-based carbon sequestration initiatives. Moreover, vegetation structure map** can help reduce the impacts of climate change by, for example, guiding actions to improve water security, increase biodiversity and reduce flood risk. Global satellite measurements provide an important set of observations for monitoring and managing deforestation and degradation of existing forests, natural forest regeneration, reforestation, biodiversity restoration, and the implementation of sustainable agricultural practices. In this paper, we explore the effectiveness of fine-tuning of a geospatial foundation model to estimate above-ground biomass (AGB) using space-borne data collected across different eco-regions in Brazil. The fine-tuned model architecture consisted of a Swin-B transformer as the encoder (i.e., backbone) and a single convolutional layer for the decoder head. All results were compared to a U-Net which was trained as the baseline model Experimental results of this sparse-label prediction task demonstrate that the fine-tuned geospatial foundation model with a frozen encoder has comparable performance to a U-Net trained from scratch. This is despite the fine-tuned model having 13 times less parameters requiring optimization, which saves both time and compute resources. Further, we explore the transfer-learning capabilities of the geospatial foundation models by fine-tuning on satellite imagery with sparse labels from different eco-regions in Brazil. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Development of an integrated device based on the gain/phase detector and Arduino platform for measuring magnetoelastic resonance

Authors: Wenderson R. F. Silva, Rafael O. R. R. Cunha, Joaquim B. S. Mendes

Abstract: This study presents the development of an integrated device for measuring magnetoelastic resonance, utilizing a gain/phase detector and the Arduino platform. The device stands out for its simplicity, low cost, and efficiency. It employs the Arduino's ATmega328P microcontroller, coupled with the AD8302, and an intuitive graphical interface developed in Python, which facilitates the measurement of m… ▽ More This study presents the development of an integrated device for measuring magnetoelastic resonance, utilizing a gain/phase detector and the Arduino platform. The device stands out for its simplicity, low cost, and efficiency. It employs the Arduino's ATmega328P microcontroller, coupled with the AD8302, and an intuitive graphical interface developed in Python, which facilitates the measurement of magnetoelastic signals in sensors. The device's validation is carried out through measurements of mass deposits on magnetoelastic sensors, confirming its accuracy and functionality. This advancement offers a practical and portable solution for detecting magnetoelastic resonances, promoting the use of these technologies in field environments and in diverse scientific applications. The integration of components into a compact, robust, and low-cost electronic circuit, along with an easy-to-operate graphical interface, significantly simplifies the complexity of the components, making the equipment complete and readily operational. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 23 pages, 9 figures, 1 table

Evidence for polyimide redeposition and possible correlation with sparks in Gas Electron Multipliers working in CF$_4$ mixtures

Authors: Thiago B. Saramela, Tiago F. Silva, Marco Bregant, Marcelo G. Munhoz, Tien T. Quach, Richard Hague, Ian S. Gilmore, Clive J. Roberts, Gustavo F. Trindade

Abstract: Research on aging processes of Gas Electron Multipliers (GEMs) is important to obtain insights on how to increase the detector's longevity, stability, and performance, as highlighted in the latest developments roadmap by the European Council of Future Accelerators (ECFA). One key aspect of the aging process is the deposit formation on the electrodes surfaces. In this work, through the analysis of… ▽ More Research on aging processes of Gas Electron Multipliers (GEMs) is important to obtain insights on how to increase the detector's longevity, stability, and performance, as highlighted in the latest developments roadmap by the European Council of Future Accelerators (ECFA). One key aspect of the aging process is the deposit formation on the electrodes surfaces. In this work, through the analysis of the molecular content on the surface of a used GEM, we provide evidence for polyimide redeposition as a source of organic material contributing to the formation of insulating layers on the electrodes, which eventually lead to sparks and detector failure. Furthermore, we show that chromium, used to promote adhesion between copper and polyimide, in the device undergoes a diffusion process, effectively blurring the layered structure. We demonstrate the significance of surface-sensitive chemical analysis to investigate the surface deposits on electrodes of gaseous detectors and our results reveal the necessity of standardization and more stringent study protocols. △ Less

Submitted 25 June, 2024; v1 submitted 28 April, 2024; originally announced June 2024.

Comments: 19 pages and 10 figures

OLGA: One-cLass Graph Autoencoder

Authors: M. P. S. Gôlo, J. G. B. M. Junior, D. F. Silva, R. M. Marcacini

Abstract: One-class learning (OCL) comprises a set of techniques applied when real-world problems have a single class of interest. The usual procedure for OCL is learning a hypersphere that comprises instances of this class and, ideally, repels unseen instances from any other classes. Besides, several OCL algorithms for graphs have been proposed since graph representation learning has succeeded in various f… ▽ More One-class learning (OCL) comprises a set of techniques applied when real-world problems have a single class of interest. The usual procedure for OCL is learning a hypersphere that comprises instances of this class and, ideally, repels unseen instances from any other classes. Besides, several OCL algorithms for graphs have been proposed since graph representation learning has succeeded in various fields. These methods may use a two-step strategy, initially representing the graph and, in a second step, classifying its nodes. On the other hand, end-to-end methods learn the node representations while classifying the nodes in one learning process. We highlight three main gaps in the literature on OCL for graphs: (i) non-customized representations for OCL; (ii) the lack of constraints on hypersphere parameters learning; and (iii) the methods' lack of interpretability and visualization. We propose One-cLass Graph Autoencoder (OLGA). OLGA is end-to-end and learns the representations for the graph nodes while encapsulating the interest instances by combining two loss functions. We propose a new hypersphere loss function to encapsulate the interest instances. OLGA combines this new hypersphere loss with the graph autoencoder reconstruction loss to improve model learning. OLGA achieved state-of-the-art results and outperformed six other methods with a statistically significant difference from five methods. Moreover, OLGA learns low-dimensional representations maintaining the classification performance with an interpretable model representation learning and results. △ Less

Submitted 13 June, 2024; originally announced June 2024.

The PLATO Mission

Authors: Heike Rauer, Conny Aerts, Juan Cabrera, Magali Deleuil, Anders Erikson, Laurent Gizon, Mariejo Goupil, Ana Heras, Jose Lorenzo-Alvarez, Filippo Marliani, Cesar Martin-Garcia, J. Miguel Mas-Hesse, Laurence O'Rourke, Hugh Osborn, Isabella Pagano, Giampaolo Piotto, Don Pollacco, Roberto Ragazzoni, Gavin Ramsay, Stéphane Udry, Thierry Appourchaux, Willy Benz, Alexis Brandeker, Manuel Güdel, Eduardo Janot-Pacheco , et al. (801 additional authors not shown)

Abstract: PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati… ▽ More PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution. The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases. △ Less

Submitted 8 June, 2024; originally announced June 2024.

Black hole solutions surrounded by anisotropic fluid in $f(\mathbb{T},\CMcal{T})$ gravity

Authors: Franciele M. da Silva, Luis C. N. Santos, V. B. Bezerra

Abstract: In this work, we investigate some extensions of the Kiselev black hole solutions in the context of $f(\mathbb{T},\CMcal{T})$ gravity. By map** the components of the Kiselev energy-momentum tensor into the anisotropic energy-momentum tensor and assuming a particular form of $f(\mathbb{T},\CMcal{T})$, we obtain exact solutions for the field equation in this theory that carries dependence on the co… ▽ More In this work, we investigate some extensions of the Kiselev black hole solutions in the context of $f(\mathbb{T},\CMcal{T})$ gravity. By map** the components of the Kiselev energy-momentum tensor into the anisotropic energy-momentum tensor and assuming a particular form of $f(\mathbb{T},\CMcal{T})$, we obtain exact solutions for the field equation in this theory that carries dependence on the coupling constant and on the parameter of the equation of state of the fluid. We show that in this scenario of modified gravity some new structure is added to the geometry of spacetime as compared to the Kiselev black hole. We analyse the energy conditions, mass, horizons and the Hawking temperature considering particular values for the parameter of the equation of state. △ Less

Submitted 31 May, 2024; originally announced May 2024.

Understanding Encoder-Decoder Structures in Machine Learning Using Information Measures

Authors: Jorge F. Silva, Victor Faraggi, Camilo Ramirez, Alvaro Egana, Eduardo Pavez

Abstract: We present new results to model and understand the role of encoder-decoder design in machine learning (ML) from an information-theoretic angle. We use two main information concepts, information sufficiency (IS) and mutual information loss (MIL), to represent predictive structures in machine learning. Our first main result provides a functional expression that characterizes the class of probabilist… ▽ More We present new results to model and understand the role of encoder-decoder design in machine learning (ML) from an information-theoretic angle. We use two main information concepts, information sufficiency (IS) and mutual information loss (MIL), to represent predictive structures in machine learning. Our first main result provides a functional expression that characterizes the class of probabilistic models consistent with an IS encoder-decoder latent predictive structure. This result formally justifies the encoder-decoder forward stages many modern ML architectures adopt to learn latent (compressed) representations for classification. To illustrate IS as a realistic and relevant model assumption, we revisit some known ML concepts and present some interesting new examples: invariant, robust, sparse, and digital models. Furthermore, our IS characterization allows us to tackle the fundamental question of how much performance (predictive expressiveness) could be lost, using the cross entropy risk, when a given encoder-decoder architecture is adopted in a learning setting. Here, our second main result shows that a mutual information loss quantifies the lack of expressiveness attributed to the choice of a (biased) encoder-decoder ML design. Finally, we address the problem of universal cross-entropy learning with an encoder-decoder design where necessary and sufficiency conditions are established to meet this requirement. In all these results, Shannon's information measures offer new interpretations and explanations for representation learning. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Refraction FWI of a circular shot OBN acquisition in the Brazilian pre-salt region

Authors: Sérgio Luiz E. F. da Silva, Felipe T. Costa, Ammir Karsou, Adriano de Souza, Felipe Capuzzo, Roger M. Moreira, Jorge Lopez, Marco Cetale

Abstract: We develop a workflow based on full-waveform inversion (FWI) to estimate P-wave velocities in a deepwater Brazilian pre-salt field using the recently introduced circular shot ocean bottom node (OBN) acquisition geometry. Such a geometry comprises a source vessel sailing in large radius concentric circular trajectories and seismic signals are recorded by OBN arrays. The circular shot OBN survey pro… ▽ More We develop a workflow based on full-waveform inversion (FWI) to estimate P-wave velocities in a deepwater Brazilian pre-salt field using the recently introduced circular shot ocean bottom node (OBN) acquisition geometry. Such a geometry comprises a source vessel sailing in large radius concentric circular trajectories and seismic signals are recorded by OBN arrays. The circular shot OBN survey provides mostly refracted waves separately from reflected waves, so the FWI process is mainly driven by diving waves. We introduce a new FWI workflow to analyze non-preprocessed OBN refraction data, which includes automated steps such as data selection solving an Eikonal equation, estimation of a source signature that accounts for ghost and bubble effects, and gradient preconditioning using a non-stationary filter and seismic illumination. We consider two objective functions based on the $L^1$ and $L^2$ norms. The FWI results demonstrated that using our proposed workflow with the $L^1$ norm objective function and the circular OBN survey can lead to an improvement in pre-salt velocity models. Furthermore, using these improved models we construct reverse-time migration (RTM) images of the conventional OBN dataset, showing significant improvements in the salt stratification, the base of salt, and the lateral resolution of the pre-salt area. The Brazilian pre-salt case study demonstrated that the circular shot OBN acquisition maximizes the illumination of deep reservoirs through the ultra-long offset and full-azimuth coverage that prioritizes the recording of diving waves. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Comments: 25 pages, 18 figures. Submitted as a Journal Paper to IEEE Transactions on Geoscience and Remote Sensing

A graph-space optimal transport FWI approach based on κ-generalized Gaussian distribution

Authors: Sérgio Luiz E. F. da Silva, G. Kaniadakis

Abstract: The statistical basis for conventional full-waveform inversion (FWI) approaches is commonly associated with Gaussian statistics. However, errors are rarely Gaussian in non-linear problems like FWI. In this work, we investigate the portability of a new objective function for FWI applications based on the graph-space optimal transport and $κ$-generalized Gaussian probability distribution. In particu… ▽ More The statistical basis for conventional full-waveform inversion (FWI) approaches is commonly associated with Gaussian statistics. However, errors are rarely Gaussian in non-linear problems like FWI. In this work, we investigate the portability of a new objective function for FWI applications based on the graph-space optimal transport and $κ$-generalized Gaussian probability distribution. In particular, we demonstrate that the proposed objective function is robust in mitigating two critical problems in FWI, which are associated with cycle skip** issues and non-Gaussian errors. The results reveal that our proposal can mitigate the negative influence of cycle-skip** ambiguity and non-Gaussian noises and reduce the computational runtime for computing the transport plan associated with the optimal transport theory. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 7 pages, 4 figures. Published in International Meeting for Applied Geoscience & Energy Expanded Abstracts 2023

Journal ref: da Silva & Kaniadakis (2023) Third International Meeting for Applied Geoscience & Energy Expanded Abstracts. pp. 670-674

Segmentation of dense and multi-species bacterial colonies achieved using models trained on synthetic microscopy images

Authors: Vincent Hickl, Abid Khan, René M. Rossi, Bruno F. B. Silva, Katharina Maniura-Weber

Abstract: The spread of microbial infections is governed by the self-organization of bacteria on surfaces. Limitations of live imaging techniques make collective behaviors in clinically relevant systems challenging to quantify. Here, novel experimental and image analysis techniques for high-fidelity single-cell segmentation of bacterial colonies are developed. Machine learning-based segmentation models are… ▽ More The spread of microbial infections is governed by the self-organization of bacteria on surfaces. Limitations of live imaging techniques make collective behaviors in clinically relevant systems challenging to quantify. Here, novel experimental and image analysis techniques for high-fidelity single-cell segmentation of bacterial colonies are developed. Machine learning-based segmentation models are trained solely using synthetic microscopy images that are processed to look realistic using state-of-the-art image-to-image translation methods, requiring no biophysical modeling. Accurate single-cell segmentation is achieved for densely packed single-species colonies and multi-species colonies of common pathogenic bacteria, even under suboptimal imaging conditions and for both brightfield and confocal laser scanning microscopy. The resulting data provide quantitative insights into the self-organization of bacteria on soft surfaces. Thanks to their high adaptability and relatively simple implementation, these methods promise to greatly facilitate quantitative descriptions of bacterial infections in varied environments. △ Less

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

Comments: 12 pages, 5 figures

Parameter Identification for Electrochemical Models of Lithium-Ion Batteries Using Bayesian Optimization

Authors: Jianzong Pi, Samuel Filgueira da Silva, Mehmet Fatih Ozkan, Abhishek Gupta, Marcello Canova

Abstract: Efficient parameter identification of electrochemical models is crucial for accurate monitoring and control of lithium-ion cells. This process becomes challenging when applied to complex models that rely on a considerable number of interdependent parameters that affect the output response. Gradient-based and metaheuristic optimization techniques, although previously employed for this task, are lim… ▽ More Efficient parameter identification of electrochemical models is crucial for accurate monitoring and control of lithium-ion cells. This process becomes challenging when applied to complex models that rely on a considerable number of interdependent parameters that affect the output response. Gradient-based and metaheuristic optimization techniques, although previously employed for this task, are limited by their lack of robustness, high computational costs, and susceptibility to local minima. In this study, Bayesian Optimization is used for tuning the dynamic parameters of an electrochemical equivalent circuit battery model (E-ECM) for a nickel-manganese-cobalt (NMC)-graphite cell. The performance of the Bayesian Optimization is compared with baseline methods based on gradient-based and metaheuristic approaches. The robustness of the parameter optimization method is tested by performing verification using an experimental drive cycle. The results indicate that Bayesian Optimization outperforms Gradient Descent and PSO optimization techniques, achieving reductions on average testing loss by 28.8% and 5.8%, respectively. Moreover, Bayesian optimization significantly reduces the variance in testing loss by 95.8% and 72.7%, respectively. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 6 pages

Deeper-band electron contributions to stop** power of silicon for low-energy ions

Authors: F. Matias, P. L. Grande, N. E. Koval, J. M. B. Shorto, T. F. Silva, N. R. Arista

Abstract: This study provides accurate results for the electronic stop** cross-sections of H, He, N, and Ne in silicon in low to intermediate energy ranges using various non-perturbative theoretical methods, including real-time time-dependent density functional theory, transport cross-section, and induced-density approach. Recent experimental findings [Ntemou \textit{et al.}, Phys. Rev. B {\bf 107}, 15514… ▽ More This study provides accurate results for the electronic stop** cross-sections of H, He, N, and Ne in silicon in low to intermediate energy ranges using various non-perturbative theoretical methods, including real-time time-dependent density functional theory, transport cross-section, and induced-density approach. Recent experimental findings [Ntemou \textit{et al.}, Phys. Rev. B {\bf 107}, 155145 (2023)] revealed discrepancies between the estimates of density functional theory and observed values. We show that these discrepancies vanish by considering the nonuniform electron density of the silicon deeper bands for ion velocities approaching zero ($v \to 0$). This indicates that mechanisms such as ``elevator'' and ``promotion,'' which can dynamically excite deeper-band electrons, are active, enabling a localized free electron gas to emulate ion energy loss, as pointed out by [Lim \textit{et al.}, Phys. Rev. Lett. {\bf 116}, 043201 (2016)]. The observation and the description of a velocity-proportionality breakdown in electronic stop** cross-sections at very low velocities are considered to be a signature of the deeper-band electrons' contributions. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Fault Detection and Monitoring using an Information-Driven Strategy: Method, Theory, and Application

Authors: Camilo Ramírez, Jorge F. Silva, Ferhat Tamssaouet, Tomás Rojas, Marcos E. Orchard

Abstract: The ability to detect when a system undergoes an incipient fault is of paramount importance in preventing a critical failure. In this work, we propose an information-driven fault detection method based on a novel concept drift detector. The method is tailored to identifying drifts in input-output relationships of additive noise models (i.e., model drifts) and is based on a distribution-free mutual… ▽ More The ability to detect when a system undergoes an incipient fault is of paramount importance in preventing a critical failure. In this work, we propose an information-driven fault detection method based on a novel concept drift detector. The method is tailored to identifying drifts in input-output relationships of additive noise models (i.e., model drifts) and is based on a distribution-free mutual information (MI) estimator. Our scheme does not require prior faulty examples and can be applied distribution-free over a large class of system models. Our core contributions are twofold. First, we demonstrate the connection between fault detection, model drift detection, and testing independence between two random variables. Second, we prove several theoretical properties of the proposed MI-based fault detection scheme: (i) strong consistency, (ii) exponentially fast detection of the non-faulty case, and (iii) control of both significance levels and power of the test. To conclude, we validate our theory with synthetic data and the benchmark dataset N-CMAPSS of aircraft turbofan engines. These empirical results support the usefulness of our methodology in many practical and realistic settings, and the theoretical results show performance guarantees that other methods cannot offer. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 28 pages, 11 figures

Spontaneous Lorentz symmetry-breaking constraints in Kalb-Ramond gravity

Authors: Ednaldo L. B. Junior, José Tarciso S. S. Junior, Francisco S. N. Lobo, Manuel E. Rodrigues, Diego Rubiera-Garcia, Luís F. Dias da Silva, Henrique A. Vieira

Abstract: In this work, we study timelike and lightlike geodesics in Kalb-Ramond (KR) gravity around a black hole with the goal of constraining the Lorentz symmetry-breaking parameter $l$. The analysis involves studying the precession of the S2 star periastron orbiting Sgr A* and geodesic precession around the Earth. The ratio of precession frequencies for General Relativity (GR) and KR gravity is computed,… ▽ More In this work, we study timelike and lightlike geodesics in Kalb-Ramond (KR) gravity around a black hole with the goal of constraining the Lorentz symmetry-breaking parameter $l$. The analysis involves studying the precession of the S2 star periastron orbiting Sgr A* and geodesic precession around the Earth. The ratio of precession frequencies for General Relativity (GR) and KR gravity is computed, with Event Horizon Telescope (EHT) results providing a parameter range for the spontaneous symmetry-breaking of $-0.185022 \leq l \leq 0.060938$. Utilizing the geodesic precession frequency from the Gravity Probe B (GP-B), the $l$ parameter is further constrained to $-6.30714 \times 10^{-12} \leq l \leq 3.90708 \times 10^{-12}$, which is consistent with the Schwarzschild limits. Moreover, for timelike geodesics, the innermost circular orbit (ICO) and innermost stable circular orbit (ISCO) are determined and analyzed to illustrate the impact of the symmetry breaking term. Zoom-whirl obstructions are compared with the Schwarzschild solution. Lower and upper limits of the photon sphere for lightlike geodesics are established to demonstrate the influence of KR gravity on the photon sphere. Additionally, the shadow radius is determined for two observers, one situated at a finite distance from the KR black hole, and the other located at an infinite distance, to constrain the symmetry-breaking parameter $l$, with comparisons made to EHT results. The bounds for $l$ derived from constraints on the photon sphere radius for lightlike geodesics yield $-0.0700225 \leq l \leq 0.189785$ using EHT data. The findings of this paper align with experimental results in the $l \rightarrow 0$ limit. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 11 pages, 4 figures

Gravitational lensing of a Schwarzschild-like black hole in Kalb-Ramond gravity

Authors: Ednaldo L. B. Junior, José Tarciso S. S. Junior, Francisco S. N. Lobo, Manuel E. Rodrigues, Diego Rubiera-Garcia, Luís F. Dias da Silva, Henrique A. Vieira

Abstract: In this paper, we investigate the gravitational lensing effect for the Schwarzschild-like black hole spacetime in the background of a Kalb-Ramond (KR) field proposed in [K. Yang et. al., Phys. Rev. D 108 (2023) 124004]. The solution is characterized by a single extra parameter $l$, which is associated to the Lorentz symmetry breaking induced by the KR field. First, we calculate the exact deflectio… ▽ More In this paper, we investigate the gravitational lensing effect for the Schwarzschild-like black hole spacetime in the background of a Kalb-Ramond (KR) field proposed in [K. Yang et. al., Phys. Rev. D 108 (2023) 124004]. The solution is characterized by a single extra parameter $l$, which is associated to the Lorentz symmetry breaking induced by the KR field. First, we calculate the exact deflection angle of massive and massless particles for finite distances using elliptic integrals. Then we study this effect in the weak and strong field regimes, discussing the correction of the KR parameter on the coefficients of the expansions in both limits. We also find that increasing $l$ decreases the deflection angle. Furthermore, we use the available data from the Sagittarius $A^{\star}$ object, which is believed to be a supermassive black hole at the center of our galaxy, to calculate relevant observables, such as, the image position, luminosity, and delay time. The values found could be potentially measured in the weak field regime, though for strong fields one would have to wait for the next generation of interferometers. △ Less

Submitted 15 May, 2024; v1 submitted 6 May, 2024; originally announced May 2024.

Comments: 16 pages, 8 figures. V2: references added. arXiv admin note: text overlap with arXiv:2309.02658

The Analysis of Criminal Recidivism: A Hierarchical Model-Based Approach for the Analysis of Zero-Inflated, Spatially Correlated recurrent events Data

Authors: Alisson C. C. Silva, Fábio N. Demarqui, Bráulio F. Silva, Marcos O. Prates

Abstract: The life course perspective in criminology has become prominent last years, offering valuable insights into various patterns of criminal offending and pathways. The study of criminal trajectories aims to understand the beginning, persistence and desistence in crime, providing intriguing explanations about these moments in life. Central to this analysis is the identification of patterns in the freq… ▽ More The life course perspective in criminology has become prominent last years, offering valuable insights into various patterns of criminal offending and pathways. The study of criminal trajectories aims to understand the beginning, persistence and desistence in crime, providing intriguing explanations about these moments in life. Central to this analysis is the identification of patterns in the frequency of criminal victimization and recidivism, along with the factors that contribute to them. Specifically, this work introduces a new class of models that overcome limitations in traditional methods used to analyze criminal recidivism. These models are designed for recurrent events data characterized by excess of zeros and spatial correlation. They extend the Non-Homogeneous Poisson Process, incorporating spatial dependence in the model through random effects, enabling the analysis of associations among individuals within the same spatial stratum. To deal with the excess of zeros in the data, a zero-inflated Poisson mixed model was incorporated. In addition to parametric models following the Power Law process for baseline intensity functions, we propose flexible semi-parametric versions approximating the intensity function using Bernstein Polynomials. The Bayesian approach offers advantages such as incorporating external evidence and modeling specific correlations between random effects and observed data. The performance of these models was evaluated in a simulation study with various scenarios, and we applied them to analyze criminal recidivism data in the Metropolitan Region of Belo Horizonte, Brazil. The results provide a detailed analysis of high-risk areas for recurrent crimes and the behavior of recidivism rates over time. This research significantly enhances our understanding of criminal trajectories, paving the way for more effective strategies in combating criminal recidivism. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Comments: 23 pages, 12 figuras and 4 tables

Many-body quantum register for a spin qubit

Authors: Martin Hayhurst Appel, Alexander Ghorbal, Noah Shofer, Leon Zaporski, Santanu Manna, Saimon Filipe Covre da Silva, Urs Haeusler, Claire Le Gall, Armando Rastelli, Dorian A. Gangloff, Mete Atatüre

Abstract: Quantum networks require quantum nodes with coherent optical interfaces and multiple stationary qubits. In terms of optical properties, semiconductor quantum dots are highly compelling, but their adoption as quantum nodes has been impaired by the lack of auxiliary qubits. Here, we demonstrate a functional quantum register in a semiconductor quantum dot leveraging the dense, always-present nuclear… ▽ More Quantum networks require quantum nodes with coherent optical interfaces and multiple stationary qubits. In terms of optical properties, semiconductor quantum dots are highly compelling, but their adoption as quantum nodes has been impaired by the lack of auxiliary qubits. Here, we demonstrate a functional quantum register in a semiconductor quantum dot leveraging the dense, always-present nuclear spin ensemble. We prepare 13,000 host nuclear spins into a single many-body dark state to operate as the register logic state $|0\rangle$. The logic state $|1\rangle$ is defined as a single nuclear magnon excitation, enabling controlled quantum-state transfer between the electron spin qubit and the nuclear magnonic register. Using 130-ns SWAP gates, we implement a full write-store-retrieve-readout protocol with 68.6(4)% raw overall fidelity and a storage time of 130(16) $μ$s in the absence of dynamical decoupling. Our work establishes how many-body physics can add step-change functionality to quantum devices, in this case transforming quantum dots into multi-qubit quantum nodes with deterministic registers. △ Less

Submitted 30 April, 2024; originally announced April 2024.

A symbolic information approach applied to human intracranial data to characterize and distinguish different congnitive processes

Authors: Ícaro Rodolfo Soares Coelho Da Paz, Pedro F. A. Silva, Helena Bordini de Lucas, Sérgio H. A. Lira, Osvaldo A. Rosso, Fernanda Selingardi Matias

Abstract: How the human brain processes information during different cognitive tasks is one of the greatest questions in contemporary neuroscience. Understanding the statistical properties of brain signals during specific activities is one promising way to address this question. Here we analyze freely available data from implanted electrocorticography (ECoG) in five human subjects during two different cogni… ▽ More How the human brain processes information during different cognitive tasks is one of the greatest questions in contemporary neuroscience. Understanding the statistical properties of brain signals during specific activities is one promising way to address this question. Here we analyze freely available data from implanted electrocorticography (ECoG) in five human subjects during two different cognitive tasks in the light of information theory quantifiers ideas. We employ a symbolic information approach to determine the probability distribution function associated with the time series from different cortical areas. Then we utilize these probabilities to calculate the associated Shannon entropy and a statistical complexity measure based on the disequilibrium between the actual time series and one with a uniform probability distribution function. We show that an Euclidian distance in the complexity-entropy plane and an asymmetry index for complexity are useful for comparing the two conditions. We show that our method can distinguish visual search epochs from blank screen intervals in different electrodes and patients. By using a multi-scale approach and embedding time delays to downsample the data, we find important time scales in which the relevant information is being processed. We also determine cortical regions and time intervals along the 2-second-long trials that present more pronounced differences between the two cognitive tasks. Finally, we show that the method is useful to distinguish cognitive processes using brain activity on a trial-by-trial basis. △ Less

Submitted 27 April, 2024; originally announced April 2024.

Evolution of the disk in the Be binary $δ$ Scorpii probed during three periastron passages

Authors: R. G. Rast, C. E. Jones, A. C. Carciofi, M. W. Suffak, A. C. F. Silva, G. W. Henry, C. Tycner

Abstract: We examine the evolution of the disk surrounding the Be star in the highly eccentric binary system $δ$ Scorpii over its three most recent periastron passages. $V$-band and $B-V$ photometry, along with H$α$ spectroscopy are combined with a new set of extensive multi-band polarimetry data to produce a detailed comparison of the disk's physical conditions during the time periods surrounding each clos… ▽ More We examine the evolution of the disk surrounding the Be star in the highly eccentric binary system $δ$ Scorpii over its three most recent periastron passages. $V$-band and $B-V$ photometry, along with H$α$ spectroscopy are combined with a new set of extensive multi-band polarimetry data to produce a detailed comparison of the disk's physical conditions during the time periods surrounding each closest approach of the secondary star. We use the three-dimensional Monte Carlo radiative transfer code \textsc{HDUST} and smoothed particle hydrodynamics (\textsc{SPH}) code to support our observations with models of disk evolution, discussing the behaviour of the H$α$ and He\,\textsc{i} 6678 lines, $V$-band magnitude, and polarization degree. We compare the characteristics of the disk immediately before each periastron passage to create a baseline for the unperturbed disk. We find that the extent of the H$α$ emitting region increased between each periastron passage, and that transient asymmetries in the disk become more pronounced with each successive encounter. Asymmetries of the H$α$ and He\,\textsc{i} 6678 lines in 2011 indicate that perturbations propagate inward through the disk near periastron. When the disk's direction of orbit is opposite to that of the secondary, the parameters used in our models do not produce spiral density enhancements in the H$α$ emitting region because the tidal interaction time is short due to the relative velocities of the disk particles with the secondary. The effects of the secondary star on the disk are short-lived and the disk shows independent evolution between each periastron event. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 20 pages, 13 figures, accepted for publication in ApJ

Reflections on the denialism of the Earth's curvature based on the general public participation in the collective reproduction of Eratosthenes' experiment

Authors: Karen Luz Burgoa Rosso, José Alberto Casto Nogales Vera, Ana Eliza Ferreira Alvim Silva

Abstract: In this paper, we propose the replication of scientific experiments, with the participation of the general public, as one of the possible strategies to confront science deniers. Using the social media of the Federal University of Lavras (UFLA), the project entitled : The Magic of Physics and the Universe, invited the public to reproduce the experiment carried out by the Greek Eratosthenes over 2,1… ▽ More In this paper, we propose the replication of scientific experiments, with the participation of the general public, as one of the possible strategies to confront science deniers. Using the social media of the Federal University of Lavras (UFLA), the project entitled : The Magic of Physics and the Universe, invited the public to reproduce the experiment carried out by the Greek Eratosthenes over 2,100 years ago, which he proved that the Earth is spherical. We present a report of this experience to suggest that it is possible for citizens to experience scientific knowledge and observe the phenomena in a simple way, in order to develop a critical interpretation of false information that circulates in society. This proposal distinctively geeks to deconstruct the denial of the Earth's curvature through direct and collective participation of citizens in Eratosthenes' experiment, which permit more reflection on how the scientific method used to study this subject works. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: This article is written in Portuguese

Journal ref: Dossiê contra o negacionismo da ciência,Editora PUC Minas (10 May 2022), cap.21,pg.236 , ISBN: 978-65-88547-22-9

An adaptive hierarchical ensemble Kalman filter with reduced basis models

Authors: Francesco A. B. Silva, Cecilia Pagliantini, Karen Veroy

Abstract: The use of model order reduction techniques in combination with ensemble-based methods for estimating the state of systems described by nonlinear partial differential equations has been of great interest in recent years in the data assimilation community. Methods such as the multi-fidelity ensemble Kalman filter (MF-EnKF) and the multi-level ensemble Kalman filter (ML-EnKF) are recognized as state… ▽ More The use of model order reduction techniques in combination with ensemble-based methods for estimating the state of systems described by nonlinear partial differential equations has been of great interest in recent years in the data assimilation community. Methods such as the multi-fidelity ensemble Kalman filter (MF-EnKF) and the multi-level ensemble Kalman filter (ML-EnKF) are recognized as state-of-the-art techniques. However, in many cases, the construction of low-fidelity models in an offline stage, before solving the data assimilation problem, prevents them from being both accurate and computationally efficient. In our work, we investigate the use of {\it{adaptive}} reduced basis techniques in which the approximation space is modified online based on the information that is extracted from a limited number of full order solutions and that is carried by the past models. This allows to simultaneously ensure good accuracy and low cost for the employed models and thus improve the performance of the multi-fidelity and multi-level methods. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Interseções entre a Física e os saberes da tradição ceramista

Authors: Samuel Antonio Silva do Rosario, Carlos Aldemir Farias da Silva

Abstract: The growing interaction between traditional knowledge and formal sciences emerges as a relevant field of research. In this perspective, the aim of this article is to investigate the intersections between Physics and traditional knowledge in the ceramics practices of Vila Cuera, in Bragança, state of Para. Using an ethnographic approach, complemented by qualitative analysis, we realize that ceramis… ▽ More The growing interaction between traditional knowledge and formal sciences emerges as a relevant field of research. In this perspective, the aim of this article is to investigate the intersections between Physics and traditional knowledge in the ceramics practices of Vila Cuera, in Bragança, state of Para. Using an ethnographic approach, complemented by qualitative analysis, we realize that ceramists use their sensitive intuition and, masterfully, apply thermodynamic principles in the production of handmade ceramics. The results highlight the value of Ethnophysics, underlining that, long before the formal structuring of science as we know it, traditional societies already practiced and understood natural phenomena in tune with contemporary physical principles. We conclude that there is an inherent link between Physics and traditional knowledge with regard to the traditional ceramics practice, grounded on empirical observations and ancestral wisdom, that dialogues with science in a complementary relationship. The study highlights the importance of valuing and recognizing the knowledge of traditional populations by highlighting the knowledge doings of cultures and institutionalized science. △ Less

Submitted 19 March, 2024; originally announced April 2024.

Comments: in Portuguese

Journal ref: PARADIGMA, v. 45, n. 1, p. e2024021, 2024

On the boundedness of solutions of a forced discontinuous oscillator

Authors: Tere M-Seara, Luan V. M. F. Silva, Jordi Villanueva

Abstract: We study the global boundedness of the solutions of a non-smooth forced oscillator with a periodic and real analytic forcing. We show that the impact map associated with this discontinuous equation becomes a real analytic and exact symplectic map when written in suitable canonical coordinates. By an accurate study of the behaviour of the map for large amplitudes and by employing a parametrization… ▽ More We study the global boundedness of the solutions of a non-smooth forced oscillator with a periodic and real analytic forcing. We show that the impact map associated with this discontinuous equation becomes a real analytic and exact symplectic map when written in suitable canonical coordinates. By an accurate study of the behaviour of the map for large amplitudes and by employing a parametrization KAM theorem, we show that the periodic solutions of the unperturbed oscillator persist as two-dimensional tori under conditions that depend on the Diophantine conditions of the frequency, but are independent on both the amplitude of the orbit and of the specific value of the frequency. This allows the construction of a sequence of nested invariant tori of increasing amplitude that confine the solutions within them, ensuring their boundedness. The same construction may be useful to address such persistence problem for a larger class of non-smooth forced oscillators. △ Less

Submitted 26 March, 2024; originally announced March 2024.

MSC Class: 37J40; 34A36; 70H08

A biosensor based on magnetoelastic waves for detection of antibodies in human plasma for COVID-19 serodiagnosis

Authors: Wenderson R. F. Silva, Larissa C. P. Monteiro, Renato L. Senra, Eduardo N. D. de Araujo, Rafael O. R. R. Cunha, Tiago A. O. Mendes, Joaquim B. S. Mendes

Abstract: The study proposes a new efficient wireless biosensor based on magnetoelastic waves for the detection of antibodies in human plasma, aiming at the serological diagnosis of COVID-19. The biosensor was functionalized with the N antigen - nucleocapsid phosphoprotein of the SARS-CoV-2 virus. Validation analyses, by sodium dodecyl-sulfate polyacrylamide gel electrophoresis (SDS-PAGE), Western blotting,… ▽ More The study proposes a new efficient wireless biosensor based on magnetoelastic waves for the detection of antibodies in human plasma, aiming at the serological diagnosis of COVID-19. The biosensor was functionalized with the N antigen - nucleocapsid phosphoprotein of the SARS-CoV-2 virus. Validation analyses, by sodium dodecyl-sulfate polyacrylamide gel electrophoresis (SDS-PAGE), Western blotting, atomic force microscopy (AFM), scanning electron microscopy (SEM), micro-Raman spectroscopy, confirmed the selectivity and effective surface functionalization of the biosensor. The research successfully obtained, expressed and purified the recombinant antigen, while plasma samples from COVID-19 positive and negative patients were used to test the performance of the biosensor. A comparison of performance with the ELISA method revealed equivalent diagnostic power. These results indicate the robustness of the biosensor in reliably differentiating between positive and negative samples, highlighting its potential as an efficient and low-cost tool for the serological diagnosis of COVID-19. In addition to being fast to execute and having the potential for automation in large-scale diagnostic studies, the biosensor fills a significant gap in existing SARS-CoV-2 detection approaches. △ Less

Submitted 9 June, 2024; v1 submitted 17 March, 2024; originally announced March 2024.

Comments: 17 pages, 1 table, and 7 figures

Journal ref: Biosensors and Bioelectronics (2024) 116456

Systems of differential operators in time-periodic Gelfand-Shilov spaces

Authors: Fernando de Ávila Silva, Marco Cappiello, Alexandre Kirilov

Abstract: This paper explores the global properties of time-independent systems of operators in the framework of Gelfand-Shilov spaces. Our main results provide both necessary and sufficient conditions for global solvability and global hypoellipticity, based on analysis of the symbols of operators. We also present a class of time-dependent operators whose solvability and hypoellipticity are linked to the sa… ▽ More This paper explores the global properties of time-independent systems of operators in the framework of Gelfand-Shilov spaces. Our main results provide both necessary and sufficient conditions for global solvability and global hypoellipticity, based on analysis of the symbols of operators. We also present a class of time-dependent operators whose solvability and hypoellipticity are linked to the same properties of an associated time-independent system, albeit with a loss of regularity for temporal variables. △ Less

Submitted 8 March, 2024; originally announced March 2024.

Comments: 27 pages

MSC Class: Primary: 35N05; 35A01. Secondary 35H10; 46F05

Hardware requirements for trapped-ion based verifiable blind quantum computing with a measurement-only client

Authors: Janice van Dam, Guus Avis, Tzula B Propp, Francisco Ferreira da Silva, Joshua A Slater, Tracy E Northup, Stephanie Wehner

Abstract: In blind quantum computing, a user with a simple client device can perform a quantum computation on a remote quantum server such that the server cannot gain knowledge about the computation. Here, we numerically investigate hardware requirements for verifiable blind quantum computing using an ion trap as server and a distant measurement-only client. While the client has no direct access to quantum-… ▽ More In blind quantum computing, a user with a simple client device can perform a quantum computation on a remote quantum server such that the server cannot gain knowledge about the computation. Here, we numerically investigate hardware requirements for verifiable blind quantum computing using an ion trap as server and a distant measurement-only client. While the client has no direct access to quantum-computing resources, it can remotely execute quantum programs on the server by measuring photons emitted by the trapped ion. We introduce a numerical model for trapped-ion quantum devices in NetSquid, a discrete-event simulator for quantum networks. Using this, we determine the minimal hardware requirements on a per-parameter basis to perform the verifiable blind quantum computing protocol. We benchmark these for a five-qubit linear graph state, with which any single-qubit rotation can be performed, where client and server are separated by 50 km. Current state-of-the-art ion traps satisfy the minimal requirements on a per-parameter basis, but all current imperfections combined make it impossible to perform the blind computation securely over 50 km using existing technology. Using a genetic algorithm, we determine the set of hardware parameters that minimises the total improvements required, finding directions along which to improve hardware to reach our threshold error probability that would enable experimental demonstration. In this way, we lay a path for the near-term experimental progress required to realise the implementation of verifiable blind quantum computing over a 50 km distance. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Auto Tuning for OpenMP Dynamic Scheduling applied to FWI

Authors: Felipe H. S. da Silva, João B. Fernandes, Idalmis M. Sardina, Tiago Barros, Samuel Xavier-de-Souza, Italo A. S. Assis

Abstract: Because Full Waveform Inversion (FWI) works with a massive amount of data, its execution requires much time and computational resources, being restricted to large-scale computer systems such as supercomputers. Techniques such as FWI adapt well to parallel computing and can be parallelized in shared memory systems using the application programming interface (API) OpenMP. The management of parallel… ▽ More Because Full Waveform Inversion (FWI) works with a massive amount of data, its execution requires much time and computational resources, being restricted to large-scale computer systems such as supercomputers. Techniques such as FWI adapt well to parallel computing and can be parallelized in shared memory systems using the application programming interface (API) OpenMP. The management of parallel tasks can be performed through loop schedulers contained in OpenMP. The dynamic scheduler stands out for distributing predefined fixed-size chunk sizes to idle processing cores at runtime. It can better adapt to FWI, where data processing can be irregular. However, the relationship between the size of the chunk size and the runtime is unknown. Optimization techniques can employ meta-heuristics to explore the parameter search space, avoiding testing all possible solutions. Here, we propose a strategy to use the Parameter Auto Tuning for Shared Memory Algorithms (PATSMA), with Coupled Simulated Annealing (CSA) as its optimization method, to automatically adjust the chunk size for the dynamic scheduling of wave propagation, one of the most expensive steps in FWI. Since testing each candidate chunk size in the complete FWI is unpractical, our approach consists of running a PATSMA where the objective function is the runtime of the first time iteration of the first seismic shot of the first FWI iteration. The resulting chunk size is then employed in all wave propagations involved in an FWI. We conducted tests to measure the runtime of an FWI using the proposed autotuning, varying the problem size and running on different computational environments, such as supercomputers and cloud computing instances. The results show that applying the proposed autotuning in an FWI reduces its runtime by up to 70.46% compared to standard OpenMP schedulers. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Approximation and perturbations of stable solutions to a stationary mean field game system

Authors: Jules Berry, Olivier Ley, Francisco J Silva

Abstract: This work introduces a new general approach for the numerical analysis of stable equilibria to second order mean field games systems in cases where the uniqueness of solutions may fail. For the sake of simplicity, we focus on a simple stationary case. We propose an abstract framework to study these solutions by reformulating the mean field game system as an abstract equation in a Banach space. In… ▽ More This work introduces a new general approach for the numerical analysis of stable equilibria to second order mean field games systems in cases where the uniqueness of solutions may fail. For the sake of simplicity, we focus on a simple stationary case. We propose an abstract framework to study these solutions by reformulating the mean field game system as an abstract equation in a Banach space. In this context, stable equilibria turn out to be regular solutions to this equation, meaning that the linearized system is well-posed. We provide three applications of this property: we study the sensitivity analysis of stable solutions, establish error estimates for their finite element approximations, and prove the local converge of Newton's method in infinite dimensions. △ Less

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

Evaluation of EAP Usage for Authenticating Eduroam Users in 5G Networks

Authors: Leonardo Azalim de Oliveira, Edelberto Franco Silva

Abstract: The fifth generation of the telecommunication networks (5G) established the service-oriented paradigm on the mobile networks. In this new context, the 5G Core component has become extremely flexible so, in addition to serving mobile networks, it can also be used to connect devices from the so-called non-3GPP networks, which contains technologies such as WiFi. The implementation of this connectivit… ▽ More The fifth generation of the telecommunication networks (5G) established the service-oriented paradigm on the mobile networks. In this new context, the 5G Core component has become extremely flexible so, in addition to serving mobile networks, it can also be used to connect devices from the so-called non-3GPP networks, which contains technologies such as WiFi. The implementation of this connectivity requires specific protocols to ensure authentication and reliability. Given these characteristics and the possibility of convergence, it is necessary to carefully choose the encryption algorithms and authentication methods used by non-3GPP user equipment. In light of the above, this paper highlights key findings resulting from an analysis on the subject conducted through a test environment which could be used in the context of the Eduroam federation. △ Less

Submitted 16 February, 2024; originally announced February 2024.

ACM Class: C.2.0

Globally solvable time-periodic evolution equations in Gelfand-Shilov classes

Authors: Fernando de Ávila Silva, Marco Cappiello

Abstract: In this paper we consider a class of evolution operators with coefficients depending on time and space variables $(t,x) \in \mathbb{T} \times \mathbb{R}^n$, where $\mathbb{T}$ is the one-dimensional torus and prove necessary and sufficient conditions for their global solvability in (time-periodic) Gelfand-Shilov spaces. The argument of the proof is based on a characterization of these spaces in te… ▽ More In this paper we consider a class of evolution operators with coefficients depending on time and space variables $(t,x) \in \mathbb{T} \times \mathbb{R}^n$, where $\mathbb{T}$ is the one-dimensional torus and prove necessary and sufficient conditions for their global solvability in (time-periodic) Gelfand-Shilov spaces. The argument of the proof is based on a characterization of these spaces in terms of the eigenfunction expansions given by a fixed self-adjoint, globally elliptic differential operator on $\mathbb{R}^n$. △ Less

Submitted 5 March, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

Comments: 31 pages

MSC Class: 46F05; 35B10; 35B65; 35A01

Modeling Microstrip Antenna

Authors: Luis Alberto Rabanal Ramirez, Cláudio Márcio de Freitas Silva

Abstract: In this work, a rectangular microstrip antenna with inset is designed, simulated and optimized. In the optimization process the patch is deformed, it new antenna present a amorphous patch. The optimization process was conducted with Genetic Algorithm (GA), S11 parameters was obtained with full wave Finite-Differences Time-Domain (FDTD-3D), and the initial configuration (design) was obtained with l… ▽ More In this work, a rectangular microstrip antenna with inset is designed, simulated and optimized. In the optimization process the patch is deformed, it new antenna present a amorphous patch. The optimization process was conducted with Genetic Algorithm (GA), S11 parameters was obtained with full wave Finite-Differences Time-Domain (FDTD-3D), and the initial configuration (design) was obtained with line transmission and cavite method. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 3 pages, six figures

Smooth real-time motion planning based on a cascade dual-quaternion screw-geometry MPC

Authors: Ainoor Teimoorzadeh, Frederico Fernandes Afonso Silva, Luis F. C. Figueredo, Sami Haddadin

Abstract: This paper investigates the tracking problem of a smooth coordinate-invariant trajectory using dual quaternion algebra. The proposed architecture consists of a cascade structure in which the outer-loop MPC performs real-time smoothing of the manipulator's end-effector twist while an inner-loop kinematic controller ensures tracking of the instantaneous desired end-effector pose. Experiments on a… ▽ More This paper investigates the tracking problem of a smooth coordinate-invariant trajectory using dual quaternion algebra. The proposed architecture consists of a cascade structure in which the outer-loop MPC performs real-time smoothing of the manipulator's end-effector twist while an inner-loop kinematic controller ensures tracking of the instantaneous desired end-effector pose. Experiments on a $7$-DoF Franka Emika Panda robotic manipulator validate the proposed method demonstrating its application to constraint the robot twists, accelerations and jerks within prescribed bounds. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Total mean curvature surfaces in the product space $\mathbb{S}^n\times\mathbb{R}$ and applications

Authors: Alma L. Albujer, Sylvia F. da Silva, Fábio R. dos Santos

Abstract: The total mean curvature functional for submanifolds into the Riemannian product space $\mathbb{S}^n\times\mathbb{R}$ is considered and its first variational formula is presented. Later on, two second order differential operators are defined and a nice integral inequality relating both of them is proved. Finally we prove our main result: an integral inequality for closed stationary $\mathcal{H}$-s… ▽ More The total mean curvature functional for submanifolds into the Riemannian product space $\mathbb{S}^n\times\mathbb{R}$ is considered and its first variational formula is presented. Later on, two second order differential operators are defined and a nice integral inequality relating both of them is proved. Finally we prove our main result: an integral inequality for closed stationary $\mathcal{H}$-surfaces in $\mathbb{S}^n\times\mathbb{R}$, characterizing the cases where the equality is attained. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 17 pages

MSC Class: 53C42; 53A10; 53C30

Journal ref: Proceedings of the Edinburgh Mathematical Society 66 (2) (2023), 346-365

Intrinsic correlations for statistical ensembles of Dirac-like structures

Authors: C. F. Silva, A. E. Bernardini

Abstract: The Weyl-Wigner formalism for evaluating the intrinsic information of Dirac bispinors as correlated qubits (localized) in a magnetic field is investigated in the extension to statistical ensembles. The confining external field quantizes the quantum correlation measures implied by the spin-parity qubit structure of the Dirac equation in 3+1 dimensions, which simplifies the computation of the entang… ▽ More The Weyl-Wigner formalism for evaluating the intrinsic information of Dirac bispinors as correlated qubits (localized) in a magnetic field is investigated in the extension to statistical ensembles. The confining external field quantizes the quantum correlation measures implied by the spin-parity qubit structure of the Dirac equation in 3+1 dimensions, which simplifies the computation of the entanglement quantifier for mixed states in relativistic Landau levels. This allows for the evaluation of quantum and classical correlations in terms of entropy measures for Dirac structures that are eventually mixed. Our results are twofold. First, a family of mixed Gaussian states is obtained in phase space, and its intrinsic correlation structure is computed in closed form. Second, the partition function for the low-dimensional Dirac equation in a magnetic field is derived through complex integration techniques. It describes the low-temperature regime in terms of analytically continued Zeta functions and the high temperature limit as a polynomial on the temperature variable. The connection with lower dimensional systems is further elicited by map** the spin-parity qubits to valley-sublattice bispinors of the low-energy effective Hamiltonian of graphene. △ Less

Submitted 31 January, 2024; originally announced January 2024.

Comments: 48 pages, 6 figures

Multi-Dirac and Weyl physics in heavy-fermion systems

Authors: Joelson F. Silva, E. Miranda

Abstract: We have studied multi-Dirac/Weyl systems with arbitrary topological charge n in the presence of a lattice of local magnetic moments. To do so, we propose a multi-Dirac/Weyl Kondo lattice model which is analyzed through a mean-field approach appropriate to the paramagnetic phase. We study both the broken time-reversal and the broken inversion-symmetry Weyl cases. The multi- Dirac and broken-time re… ▽ More We have studied multi-Dirac/Weyl systems with arbitrary topological charge n in the presence of a lattice of local magnetic moments. To do so, we propose a multi-Dirac/Weyl Kondo lattice model which is analyzed through a mean-field approach appropriate to the paramagnetic phase. We study both the broken time-reversal and the broken inversion-symmetry Weyl cases. The multi- Dirac and broken-time reversal multi-Weyl cases have similar behavior, which is in contrast to the broken-parity case. For the former, low-energy particle-hole symmetry leads to the emergence of a critical coupling constant below which there is no Kondo quenching, reminiscent of the pseudogap Kondo impurity problem. Away from particle-hole symmetry, there is always Kondo quenching. For the broken inversion symmetry, there is no critical coupling. Depending on the conduction electron filling, Kondo insulator, heavy fermion metal or semimetal phases can be realized. In the last two cases, quasiparticle renormalizations can differ widely between opposite chirality sectors, with characteristic dependences on microscopic parameters that could in principle be detected experimentally. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 15 pages, 12 figures

Journal ref: Phys. Rev. B 109, 035153 (2024)

PATSMA: Parameter Auto-tuning for Shared Memory Algorithms

Authors: Joao B. Fernandes, Felipe H. S. da Silva, Samuel Xavier-de-Souza, Italo A. S. Assis

Abstract: Programs with high levels of complexity often face challenges in adjusting execution parameters, particularly when these parameters vary based on the execution context. These dynamic parameters significantly impact the program's performance, such as loop granularity, which can vary depending on factors like the execution environment, program input, or the choice of compiler. Given the expensive na… ▽ More Programs with high levels of complexity often face challenges in adjusting execution parameters, particularly when these parameters vary based on the execution context. These dynamic parameters significantly impact the program's performance, such as loop granularity, which can vary depending on factors like the execution environment, program input, or the choice of compiler. Given the expensive nature of testing each case individually, one viable solution is to automate parameter adjustments using optimization methods. This article introduces PATSMA, a parameter auto-tuning tool that leverages Coupled Simulated Annealing (CSA) and Nelder-Mead (NM) optimization methods to fine-tune existing parameters in an application. We demonstrate how auto-tuning can contribute to the real-time optimization of parallel algorithms designed for shared memory systems. PATSMA is a C++ library readily available under the MIT license. △ Less

Submitted 14 June, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Journal ref: SoftwareX, Volume 27, 2024, 101789

Intelligent Data-Driven Architectural Features Orchestration for Network Slicing

Authors: Rodrigo Moreira, Flavio de Oliveira Silva, Tereza Cristina Melo de Brito Carvalho, Joberto S. B. Martins

Abstract: Network slicing is a crucial enabler and a trend for the Next Generation Mobile Network (NGMN) and various other new systems like the Internet of Vehicles (IoV) and Industrial IoT (IIoT). Orchestration and machine learning are key elements with a crucial role in the network-slicing processes since the NS process needs to orchestrate resources and functionalities, and machine learning can potential… ▽ More Network slicing is a crucial enabler and a trend for the Next Generation Mobile Network (NGMN) and various other new systems like the Internet of Vehicles (IoV) and Industrial IoT (IIoT). Orchestration and machine learning are key elements with a crucial role in the network-slicing processes since the NS process needs to orchestrate resources and functionalities, and machine learning can potentially optimize the orchestration process. However, existing network-slicing architectures lack the ability to define intelligent approaches to orchestrate features and resources in the slicing process. This paper discusses machine learning-based orchestration of features and capabilities in network slicing architectures. Initially, the slice resource orchestration and allocation in the slicing planning, configuration, commissioning, and operation phases are analyzed. In sequence, we highlight the need for optimized architectural feature orchestration and recommend using ML-embed agents, federated learning intrinsic mechanisms for knowledge acquisition, and a data-driven approach embedded in the network slicing architecture. We further develop an architectural features orchestration case embedded in the SFI2 network slicing architecture. An attack prevention security mechanism is developed for the SFI2 architecture using distributed embedded and cooperating ML agents. The case presented illustrates the architectural feature's orchestration process and benefits, highlighting its importance for the network slicing process. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 12 pages, 6 figures, Conference ADVANCE 24 - International Workshop on ADVANCEs in ICT Infrastructures and Services - February 26--29, 2024 - Hanoi, Vietnam

ACM Class: I.2.11; C.2.1; I.2.1

Modeling of Proton Interaction with Organic Polymers: Implications for Cancer Therapy and Beyond

Authors: F. Matias, T. F. Silva, N. E. Koval, J. J. N. Pereira, P. C. G. Antunes, P. T. D. Siqueira, M. H. Tabacniks, H. Yoriyaz, J. M. B. Shorto, P. L. Grande

Abstract: This comprehensive study delves into the intricate interplay between protons and organic polymers, offering insights into proton therapy in cancer treatment. Focusing on the influence of the spatial electron density distribution on stop** power estimates, we employed time-dependent density functional theory (TDDFT), coupled with the Penn method. Surprisingly, the assumption of electron density h… ▽ More This comprehensive study delves into the intricate interplay between protons and organic polymers, offering insights into proton therapy in cancer treatment. Focusing on the influence of the spatial electron density distribution on stop** power estimates, we employed time-dependent density functional theory (TDDFT), coupled with the Penn method. Surprisingly, the assumption of electron density homogeneity in polymers is fundamentally flawed, resulting in an overestimation of stop** power values at energies below 2 MeV, approximately. Moreover, Bragg's rule application in specific compounds exhibited significant deviations from experimental data in the Bragg peak region, challenging established norms. △ Less

Submitted 24 January, 2024; v1 submitted 5 January, 2024; originally announced January 2024.

Comments: 8 pages, 7 figures, research article

Observations on the massive particle surface method

Authors: Ednaldo L. B. Junior, José Tarciso S. S. Junior, Francisco S. N. Lobo, Manuel E. Rodrigues, Luís F. Dias da Silva, Henrique A. Vieira

Abstract: The geodesic method has played a crucial role in understanding the circular orbits generated by compact objects, culminating in the definition of the photon sphere, which was later generalized to a photon surface in arbitrary spacetimes. This new formulation extends the concept of the photon sphere in a broader sense, including dynamical spacetimes, as shown by the Vaidya solution. The photon surf… ▽ More The geodesic method has played a crucial role in understanding the circular orbits generated by compact objects, culminating in the definition of the photon sphere, which was later generalized to a photon surface in arbitrary spacetimes. This new formulation extends the concept of the photon sphere in a broader sense, including dynamical spacetimes, as shown by the Vaidya solution. The photon surface essentially defines the null geodesics, which are originally tangent to the temporal surface, and keeps them confined to this surface. However, this formalism does not cover all classes of particles, and to overcome this limitation, a more comprehensive approach, denoted as the "massive particle surface", has been proposed that also accounts for charged massive particles. Indeed, the photon surface concept is recovered when the charge and mass of the particles are zero. In this work, we use these three formalisms to check the consistency of the results for the values of the radius of the photon sphere ($r_{ps}$) and the radius of the "innermost stable circular orbit" (ISCO) ($r_{\rm ISCO}$) for some gravitational models. In our results, the first model is described by conformal gravity, with the peculiarity that $g_{00}\neq-g_{11}^{-1}$. The second model, i.e. the Culetu solution, is developed by coupling General Relativity with nonlinear electrodynamics, which requires the consideration of the effective metric ($g_{\rm eff}^{μν}$) for geodesic approaches. Furthermore, we have also analysed the expressions for $r_{ps}$ and $r_{\rm ISCO}$ in a general static and spherically symmetric metric. Under these circumstances, we have found a discrepancy of $r_{ps}$ and $r_{\rm ISCO}$ obtained by the massive particle surface formalism as compared to the geodesic and photon surface formalisms. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: 15 pages, 1 figure; comments are welcome

Cylindrical Gravitational Waves in Einstein-Aether Theory

Authors: R. Chan, M. F. A. da Silva, V. H. Satheeshkumar

Abstract: Along the lines of the Einstein-Rosen wave equation of General Relativity (GR), we derive a gravitational wave equation with cylindrical symmetry in the Einstein-aether (EA) theory. We show that the gravitational wave in the EA is periodic in time for both the metric functions $Ψ(r,t)$ and $H(r,t)$. However, in GR, $Ψ(r,t)$ is periodic in time, but $H(r,t)$ is semi-periodic in time, having a secul… ▽ More Along the lines of the Einstein-Rosen wave equation of General Relativity (GR), we derive a gravitational wave equation with cylindrical symmetry in the Einstein-aether (EA) theory. We show that the gravitational wave in the EA is periodic in time for both the metric functions $Ψ(r,t)$ and $H(r,t)$. However, in GR, $Ψ(r,t)$ is periodic in time, but $H(r,t)$ is semi-periodic in time, having a secular drifting in the wave frequency. The evolution of wave pulses of a given width is entirely different in both theories in the $H(r,t)$ metric function due to this frequency drifting. Another fundamental difference between the two theories is the gravitational wave velocity. While in GR, the waves propagate with the speed of light, in EA, there is no upper limit to the wave velocity, reaching infinity if $c_{13} \rightarrow 1$ and zero if $c_{13} \rightarrow -\infty$. We also show that energy-momentum pseudotensor and superpotential get contributions from aether in addition to the usual gravitational field part. All these characteristics are observational signatures that differentiate GR and EA. △ Less

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

Comments: 26 pages, 10 figures. We have corrected the initial conditions for $H(r,t)$ in order to have $Ψ(r,t)$ not equal to $H(r,t)$

Optimizing carbon dioxide trap** for geological storage

Authors: Jaione Tirapu Azpiroz, Ronaldo Giro, Rodrigo Neumann Barros Ferreira, Marcio Nogueira Pereira da Silva, Manuela Fernandes Blanco Rodriguez, Adolfo E. Correa Lopez, David A. Lazo Vasquez, Matheus Esteves Ferreira, Mariana Del Grande, Ademir Ferreira Da Silva, Mathias B. Steiner

Abstract: Carbon dioxide (CO2) trap** in capillary networks of reservoir rocks is a pathway to long-term geological storage. At pore scale, the CO2 trap** potential depends on injection pressure, temperature, and the rock's interaction with the surrounding fluids. Modeling this interaction requires adequate representations of both capillary volume and surface. For the lack of scalable representations, h… ▽ More Carbon dioxide (CO2) trap** in capillary networks of reservoir rocks is a pathway to long-term geological storage. At pore scale, the CO2 trap** potential depends on injection pressure, temperature, and the rock's interaction with the surrounding fluids. Modeling this interaction requires adequate representations of both capillary volume and surface. For the lack of scalable representations, however, the prediction of a rock's CO2 storage potential has been challenging. Here, we report how to represent a rock's pore space by statistically sampled capillary networks (ssCN) that preserve morphological rock characteristics. We have used the ssCN method to simulate CO2 drainage within a representative sandstone sample at reservoir pressures and temperatures, exploring intermediate- and CO2-wet conditions. This wetting regime is often neglected, despite evidence of plausibility. By raising pressure and temperature we observe increasing CO2 penetration within the capillary network. For contact angles approaching 90 degrees, the CO2 saturation exhibits a pronounced maximum reaching 80 percent of the accessible pore volume. This is about twice as high as the saturation values reported previously. For enabling validation of our results and a broader application of our methodology, we have made available the rock tomography data, the digital rock computational workflows, and the ssCN models used in this study. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: Main article: 16 pages and 3 figures. Supplementary Information: 17 pages, 3 equations, 13 figures and 3 tables. Includes DOI for accompanying digital rock data, URL of github repository for flow simulator code, and of accompanying digital rock processing python code and automation of the scientific workflows

Strain, Anharmonicity and Finite-Size Effects on the Vibrational Properties of Linear Carbon Chains

Authors: Graziâni Candiotto, Fernanda R. Silva, Deyse G. Costa, Rodrigo B. Capaz

Abstract: Linear carbon chains (LCCs) are the ultimate 1D molecular system and they show unique mechanical, optical and electronic properties that can be tuned by altering the number of carbon atoms, strain, encapsulation, and other external parameters. In this work, we probe the effects of quantum anharmonicity, strain and finite size on the structural and vibrational properties of these chains, using high… ▽ More Linear carbon chains (LCCs) are the ultimate 1D molecular system and they show unique mechanical, optical and electronic properties that can be tuned by altering the number of carbon atoms, strain, encapsulation, and other external parameters. In this work, we probe the effects of quantum anharmonicity, strain and finite size on the structural and vibrational properties of these chains, using high$-$level density functional theory (DFT) calculations. We find strong anharmonicity effects for infinite chains, leading to ground$-$state nuclear wavefunctions that are barely localized at each of the dimerized geometries, i.e. strong tunneling occurs between the two minima of the potential energy surface. This effect is enhanced for compressive strains. In addition, vibrational C$-$band frequencies deviate substantially from experimental measurements in long chains encapsulated in carbon nanotubes. On the other hand, calculations for finite chains suggest that quantum anharmonicity effects are strongly suppressed in finite system, even in the extrapolation to the infinite case. For finite systems, vibrational C$-$band frequencies agree well with experimental values at zero pressure. However, these frequencies increase under compressive strain, in contradiction with recent results. This contradiction is not resolved by adding explicitly the encapsulating carbon nanotubes to our calculations. Our results indicate that LCCs embody an intriguing 1D system in which the behavior of very large finite systems do not reproduce or converge to the behavior of truly infinite ones. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 8 pages, 7 figures

Report number: BA14559

Journal ref: Phys. Rev. B 109, 045405 (2024)

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)

Exploring Crowd Dynamics: Simulating Structured Behaviors through Crowd Simulation Models

Authors: Thiago Gomes Vidal de Mello, Matheus Schreiner Homrich da Silva, Gabriel Fonseca Silva, Soraia Raupp Musse

Abstract: This paper proposes the simulation of structured behaviors in a crowd of virtual agents by extending the BioCrowds simulation model. Three behaviors were simulated and evaluated, a queue as a generic case and two specific behaviors observed at rock concerts. The extended model incorporates new parameters and modifications to replicate these behaviors accurately. Experiments were conducted to ana… ▽ More This paper proposes the simulation of structured behaviors in a crowd of virtual agents by extending the BioCrowds simulation model. Three behaviors were simulated and evaluated, a queue as a generic case and two specific behaviors observed at rock concerts. The extended model incorporates new parameters and modifications to replicate these behaviors accurately. Experiments were conducted to analyze the impact of parameters on simulation results, and computational performance was considered. The results demonstrate the model's effectiveness in simulating structured behaviors and its potential for replicating complex social phenomena in diverse scenarios. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: Paper presented as Final project of Computer Science Undergraduate Course at PUCRS

A Melnikov analysis on a class of second order discontinuous differential equations

Authors: Douglas D. Novaes, Luan V. M. F. Silva

Abstract: This paper focuses in providing a Melnikov-like function that controls the existence of periodic solutions bifurcating from period annuli present in some families of the second-order discontinuous differential equation given by $\ddot{x}+α\; \text{sgn}(x)=ηx+\varepsilon \;f(t,x,\dot{x})$. This family has garnered extensive attention from various researchers, especially when considering specific in… ▽ More This paper focuses in providing a Melnikov-like function that controls the existence of periodic solutions bifurcating from period annuli present in some families of the second-order discontinuous differential equation given by $\ddot{x}+α\; \text{sgn}(x)=ηx+\varepsilon \;f(t,x,\dot{x})$. This family has garnered extensive attention from various researchers, especially when considering specific instances of $f(t,x,\dot{x})$. The interest in studying this type of differential equation is due to its relevance in modeling systems with abrupt state changes in both natural and engineering contexts. △ Less

Submitted 5 December, 2023; originally announced December 2023.

MSC Class: 34A36; 34C15; 34C25; 37G15