-
Quantum distinguishability measures: projectors vs. states maximization
Authors:
Adrian A. Budini,
Ruynet L. de Matos Filho,
Marcelo F. Santos
Abstract:
The distinguishability between two quantum states can be defined in terms of their trace distance. The operational meaning of this definition involves a maximization over measurement projectors. Here we introduce an alternative definition of distinguishability which, instead of projectors, is based on maximization over normalized states (density matrices). It is shown that this procedure leads to…
▽ More
The distinguishability between two quantum states can be defined in terms of their trace distance. The operational meaning of this definition involves a maximization over measurement projectors. Here we introduce an alternative definition of distinguishability which, instead of projectors, is based on maximization over normalized states (density matrices). It is shown that this procedure leads to a distance (between two states) that, in contrast to the usual approach based on a 1-norm, is based on an infinite-norm. Properties such as convexity, monotonicity, and invariance under unitary transformations are fulfilled. Equivalent operational implementations based on maximization over classical probabilities and hypothesis testing scenarios are also established. When considering the action of completely positive transformations contractivity is only granted for unital maps. This feature allows us to introduce a measure of the quantumness of non-unital maps that can be written in terms of the proposed distinguishability measure and corresponds to the maximal possible deviation from contractivity. Particular examples sustain the main results and conclusions.
△ Less
Submitted 30 August, 2024;
originally announced September 2024.
-
Estimates of the gaps between consecutive eigenvalues for a class of elliptic differential operators in divergence form on Riemannian manifolds
Authors:
Cristiano S. Silva,
Juliana F. R. Miranda,
Marcio C. Araújo Filho
Abstract:
In this work, we obtain estimates for the upper bound of gaps between consecutive eigenvalues for the eigenvalue problem of a class of second-order elliptic differential operators in divergent form, with Dirichlet boundary conditions, in a limited domain of n-dimensional Euclidean space. This class of operators includes the well-known Laplacian and the square Cheng-Yau operator. For the Laplacian…
▽ More
In this work, we obtain estimates for the upper bound of gaps between consecutive eigenvalues for the eigenvalue problem of a class of second-order elliptic differential operators in divergent form, with Dirichlet boundary conditions, in a limited domain of n-dimensional Euclidean space. This class of operators includes the well-known Laplacian and the square Cheng-Yau operator. For the Laplacian case, our estimate coincides with that obtained by D. Chen, T. Zheng, and H. Yang, which is the best possible in terms of the order of the eigenvalues. For pinched Cartan-Hadamard manifolds the estimates were made in particular cases of this operator.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
SynCOM: An Empirical Model for High-Resolution Simulations of Transient Solar Wind Flows
Authors:
Valmir P. Moraes Filho,
Vadim M. Uritsky,
Barbara J. Thompson,
Sarah E. Gibson,
Craig E. DeForest
Abstract:
The Synthetic Corona Outflow Model (SynCOM), an empirical model, simulates the solar corona's dynamics to match high-resolution observations, providing a useful resource for testing velocity measurement algorithms. SynCOM generates synthetic images depicting radial variability in polarized brightness and includes stochastic elements for plasma outflows and instrumental noise. It employs a predefin…
▽ More
The Synthetic Corona Outflow Model (SynCOM), an empirical model, simulates the solar corona's dynamics to match high-resolution observations, providing a useful resource for testing velocity measurement algorithms. SynCOM generates synthetic images depicting radial variability in polarized brightness and includes stochastic elements for plasma outflows and instrumental noise. It employs a predefined flow velocity probability distribution and an adjustable signal-to-noise ratio to evaluate different data analysis methods for coronal flows. By adjusting parameters to match specific coronal and instrumental conditions, SynCOM offers a platform to assess these methods for determining coronal velocity and acceleration. Validating these measurements would help to understand solar wind origins and support missions such as the Polarimeter to Unify the Corona and Heliosphere (PUNCH). In this study, we demonstrate how SynCOM can be employed to assess the precision and performance of two different flow tracking methods. By providing a ground-truth based on observational data, we highlight the importance of SynCOM in confirming observational standards for detecting coronal flows.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Usefulness of Quantum Entanglement for Enhancing Precision in Frequency Estimation
Authors:
Marco A. Rodríguez-García,
Ruynet L. de Matos Filho,
Pablo Barberis-Blostein
Abstract:
We investigate strategies for reaching the ultimate limit on the precision of frequency estimation when the number of probes used in each run of the experiment is fixed. That limit is set by the quantum Cramér-Rao bound (QCRB), which predicts that the use of maximally entangled probes enhances the estimation precision, when compared with the use of independent probes. However, the bound is only ac…
▽ More
We investigate strategies for reaching the ultimate limit on the precision of frequency estimation when the number of probes used in each run of the experiment is fixed. That limit is set by the quantum Cramér-Rao bound (QCRB), which predicts that the use of maximally entangled probes enhances the estimation precision, when compared with the use of independent probes. However, the bound is only achievable if the statistical model used in the estimation remains identifiable throughout the procedure. This in turn sets different limits on the maximal sensing time used in each run of the estimation procedure, when entangled and independent probes are used. When those constraints are taken into account, one can show that, when the total number of probes and the total duration of the estimation process are counted as fixed resources, the use of entangled probes is, in fact, disadvantageous when compared with the use of independent probes. In order to counteract the limitations imposed on the sensing time by the requirement of identifiability of the statistical model, we propose a time-adaptive strategy, in which the sensing time is adequately increased at each step of the estimation process, calculate an attainable error bound for the strategy and discuss how to optimally choose its parameters in order to minimize that bound. We show that the proposed strategy leads to much better scaling of the estimation uncertainty with the total number of probes and the total sensing time than the traditional fixed-sensing-time strategy. We also show that, when the total number of probes and the total sensing time are counted as resources, independent probes and maximally entangled ones have now the same performance, in contrast to the non-adaptive strategy, where the use of independent is more advantageous than the use of maximally entangled ones.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Sharp conditions for energy balance in two-dimensional incompressible ideal flow with external force
Authors:
Fabian Jin,
Samuel Lanthaler,
Milton C. Lopes Filho,
Helena J. Nussenzveig Lopes
Abstract:
Smooth solutions of the forced incompressible Euler equations satisfy an energy balance, where the rate-of-change in time of the kinetic energy equals the work done by the force per unit time. Interesting phenomena such as turbulence are closely linked with rough solutions which may exhibit {\it inviscid dissipation}, or, in other words, for which energy balance does not hold.
This article provi…
▽ More
Smooth solutions of the forced incompressible Euler equations satisfy an energy balance, where the rate-of-change in time of the kinetic energy equals the work done by the force per unit time. Interesting phenomena such as turbulence are closely linked with rough solutions which may exhibit {\it inviscid dissipation}, or, in other words, for which energy balance does not hold.
This article provides a characterization of energy balance for physically realizable weak solutions of the forced incompressible Euler equations, i.e. solutions which are obtained in the limit of vanishing viscosity. More precisely, we show that, in the two-dimensional periodic setting, strong convergence of the zero-viscosity limit is both necessary and sufficient for energy balance of the limiting solution, under suitable conditions on the external force. As a consequence, we prove energy balance for a general class of solutions with initial vorticity belonging to rearrangement-invariant spaces, and going beyond Onsager's critical regularity.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Using Information Flow to estimate interference between developers same method contributions
Authors:
Roberto Souto Maior de Barros Filho,
Paulo Borba
Abstract:
This work's main goal is to understand if Information Flow Control (IFC), a security technique used for discovering leaks in software, could be used to indicate the presence of dynamic semantic conflicts between developers contributions in merge scenarios. However, as defining if a dynamic semantic conflict exists involves understanding the expected behaviour of a system, and as such behavioural s…
▽ More
This work's main goal is to understand if Information Flow Control (IFC), a security technique used for discovering leaks in software, could be used to indicate the presence of dynamic semantic conflicts between developers contributions in merge scenarios. However, as defining if a dynamic semantic conflict exists involves understanding the expected behaviour of a system, and as such behavioural specifications are often hard to capture, formalize and reason about, we instead try to detect a code level adaptation of the notion of interference from Goguen and Meseguer. We limit our scope to interference caused by developers contributions on the same method. Therefore, we conduct an evaluation to understand if information flow may be used to estimate interference. In particular, we use Java Object-sensitive Analysis (JOANA) to do the IFC for Java programs. JOANA does the IFC of Java programs by using a System Dependence Graph (SDG), a directed graph representing the information flow through a program. Additionally, we bring evidence that information flow between developers same-method contributions occurred for around 64% of the scenarios we evaluated. Finally, we conducted a manual analysis, on 35 scenarios with information flow between developers same-method contributions, to understand the limitations of using information flow to estimate interference between same-method contributions. From the 35 analysed scenarios, for only 15 we considered that an interference in fact existed. We found three different major reasons for detecting information flow and no interference: cases related to the nature of changes, to excessive annotation from our strategy and to the conservativeness of the flows identified by JOANA. We conclude that information flow may be used to estimate interference, but, ideally, the number of false positives should be reduced.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
Authors:
Francisco Mateus Rocha Filho,
Thiago Alves Rocha,
Reginaldo Pereira Fernandes Ribeiro,
Ajalmar Rêgo da Rocha Neto
Abstract:
Support Vector Classifier (SVC) is a well-known Machine Learning (ML) model for linear classification problems. It can be used in conjunction with a reject option strategy to reject instances that are hard to correctly classify and delegate them to a specialist. This further increases the confidence of the model. Given this, obtaining an explanation of the cause of rejection is important to not bl…
▽ More
Support Vector Classifier (SVC) is a well-known Machine Learning (ML) model for linear classification problems. It can be used in conjunction with a reject option strategy to reject instances that are hard to correctly classify and delegate them to a specialist. This further increases the confidence of the model. Given this, obtaining an explanation of the cause of rejection is important to not blindly trust the obtained results. While most of the related work has developed means to give such explanations for machine learning models, to the best of our knowledge none have done so for when reject option is present. We propose a logic-based approach with formal guarantees on the correctness and minimality of explanations for linear SVCs with reject option. We evaluate our approach by comparing it to Anchors, which is a heuristic algorithm for generating explanations. Obtained results show that our proposed method gives shorter explanations with reduced time cost.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Time-Series Classification for Dynamic Strategies in Multi-Step Forecasting
Authors:
Riku Green,
Grant Stevens,
Telmo de Menezes e Silva Filho,
Zahraa Abdallah
Abstract:
Multi-step forecasting (MSF) in time-series, the ability to make predictions multiple time steps into the future, is fundamental to almost all temporal domains. To make such forecasts, one must assume the recursive complexity of the temporal dynamics. Such assumptions are referred to as the forecasting strategy used to train a predictive model. Previous work shows that it is not clear which foreca…
▽ More
Multi-step forecasting (MSF) in time-series, the ability to make predictions multiple time steps into the future, is fundamental to almost all temporal domains. To make such forecasts, one must assume the recursive complexity of the temporal dynamics. Such assumptions are referred to as the forecasting strategy used to train a predictive model. Previous work shows that it is not clear which forecasting strategy is optimal a priori to evaluating on unseen data. Furthermore, current approaches to MSF use a single (fixed) forecasting strategy.
In this paper, we characterise the instance-level variance of optimal forecasting strategies and propose Dynamic Strategies (DyStrat) for MSF. We experiment using 10 datasets from different scales, domains, and lengths of multi-step horizons. When using a random-forest-based classifier, DyStrat outperforms the best fixed strategy, which is not knowable a priori, 94% of the time, with an average reduction in mean-squared error of 11%. Our approach typically triples the top-1 accuracy compared to current approaches. Notably, we show DyStrat generalises well for any MSF task.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Towards a process-based approach to consciousness and collapse in quantum mechanics
Authors:
Raoni Arroyo,
Lauro de Matos Nunes Filho,
Frederik Moreira dos Santos
Abstract:
According to a particular interpretation of quantum mechanics, the causal role of human consciousness in the measuring process is called upon to solve a foundational problem called the "measurement problem". Traditionally, this interpretation is tied up with the metaphysics of substance dualism. As such, this interpretation of quantum mechanics inherits the dualist's mind-body problem. Our working…
▽ More
According to a particular interpretation of quantum mechanics, the causal role of human consciousness in the measuring process is called upon to solve a foundational problem called the "measurement problem". Traditionally, this interpretation is tied up with the metaphysics of substance dualism. As such, this interpretation of quantum mechanics inherits the dualist's mind-body problem. Our working hypothesis is that a process-based approach to the consciousness causes collapse interpretation (CCCI) -- leaning on Whitehead's solution to the mind-body problem -- offers a better metaphysical understanding of consciousness and its role in interpreting quantum mechanics. This article is the kickoff for such a research program in the metaphysics of science.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Improved regularity and analyticity of Cannone-Karch solutions of the three-dimensional Navier-Stokes equations on the torus
Authors:
David M. Ambrose,
Milton C. Lopes Filho,
Helena J. Nussenzveig Lopes
Abstract:
We consider the three-dimensional Navier-Stokes equations, with initial data having second derivatives in the space of pseudomeasures. Solutions of this system with such data have been shown to exist previously by Cannone and Karch. As the Navier-Stokes equations are a parabolic system, the solutions gain regularity at positive times. We demonstrate an improved gain of regularity at positive times…
▽ More
We consider the three-dimensional Navier-Stokes equations, with initial data having second derivatives in the space of pseudomeasures. Solutions of this system with such data have been shown to exist previously by Cannone and Karch. As the Navier-Stokes equations are a parabolic system, the solutions gain regularity at positive times. We demonstrate an improved gain of regularity at positive times as compared to that demonstrated by Cannone and Karch. We further demonstrate that the solutions are analytic at all positive times, with lower bounds given for the radius of analyticity.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
RAG vs Fine-tuning: Pipelines, Tradeoffs, and a Case Study on Agriculture
Authors:
Angels Balaguer,
Vinamra Benara,
Renato Luiz de Freitas Cunha,
Roberto de M. Estevão Filho,
Todd Hendry,
Daniel Holstein,
Jennifer Marsman,
Nick Mecklenburg,
Sara Malvar,
Leonardo O. Nunes,
Rafael Padilha,
Morris Sharp,
Bruno Silva,
Swati Sharma,
Vijay Aski,
Ranveer Chandra
Abstract:
There are two common ways in which developers are incorporating proprietary and domain-specific data when building applications of Large Language Models (LLMs): Retrieval-Augmented Generation (RAG) and Fine-Tuning. RAG augments the prompt with the external data, while fine-Tuning incorporates the additional knowledge into the model itself. However, the pros and cons of both approaches are not well…
▽ More
There are two common ways in which developers are incorporating proprietary and domain-specific data when building applications of Large Language Models (LLMs): Retrieval-Augmented Generation (RAG) and Fine-Tuning. RAG augments the prompt with the external data, while fine-Tuning incorporates the additional knowledge into the model itself. However, the pros and cons of both approaches are not well understood. In this paper, we propose a pipeline for fine-tuning and RAG, and present the tradeoffs of both for multiple popular LLMs, including Llama2-13B, GPT-3.5, and GPT-4. Our pipeline consists of multiple stages, including extracting information from PDFs, generating questions and answers, using them for fine-tuning, and leveraging GPT-4 for evaluating the results. We propose metrics to assess the performance of different stages of the RAG and fine-Tuning pipeline. We conduct an in-depth study on an agricultural dataset. Agriculture as an industry has not seen much penetration of AI, and we study a potentially disruptive application - what if we could provide location-specific insights to a farmer? Our results show the effectiveness of our dataset generation pipeline in capturing geographic-specific knowledge, and the quantitative and qualitative benefits of RAG and fine-tuning. We see an accuracy increase of over 6 p.p. when fine-tuning the model and this is cumulative with RAG, which increases accuracy by 5 p.p. further. In one particular experiment, we also demonstrate that the fine-tuned model leverages information from across geographies to answer specific questions, increasing answer similarity from 47% to 72%. Overall, the results point to how systems built using LLMs can be adapted to respond and incorporate knowledge across a dimension that is critical for a specific industry, paving the way for further applications of LLMs in other industrial domains.
△ Less
Submitted 30 January, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
Impulsive Control on Invariant Surfaces
Authors:
C. C. Silva Jr.,
J. Marao,
A. Figueiredo,
T. M. Rocha Filho
Abstract:
An impulsive feedback-adaptive control is developed in order to drive trajectories of a dynamical system towards an invariant manifold with fixed and spaced impulsive controls. The approach requires the explicit knowledge of the set of equations defining the invariant manifold and is based on the concept of stability exponents of invariant manifolds.
An impulsive feedback-adaptive control is developed in order to drive trajectories of a dynamical system towards an invariant manifold with fixed and spaced impulsive controls. The approach requires the explicit knowledge of the set of equations defining the invariant manifold and is based on the concept of stability exponents of invariant manifolds.
△ Less
Submitted 16 August, 2023;
originally announced January 2024.
-
Projection Optimization Method for Open-Dissipative Quantum Fluids and its Application to a Single Vortex in a Photon Bose-Einstein Condensate
Authors:
Joshua Krauß,
Marcos Alberto Gonçalves dos Santos Filho,
Francisco Ednilson Alves dos Santos,
Axel Pelster
Abstract:
Open dissipative systems of quantum fluids have been well studied numerically. In view of a complementary analytical description we extend here the variational optimization method for Bose-Einstein condensates of closed systems to open-dissipative condensates. The resulting projection optimization method is applied to a complex Gross-Pitaevski equation, which models phenomenologically a photon Bos…
▽ More
Open dissipative systems of quantum fluids have been well studied numerically. In view of a complementary analytical description we extend here the variational optimization method for Bose-Einstein condensates of closed systems to open-dissipative condensates. The resulting projection optimization method is applied to a complex Gross-Pitaevski equation, which models phenomenologically a photon Bose-Einstein condensate. Together with known methods from hydrodynamics we obtain an approximate vortex solution, which depends on the respective open system parameters and has the same properties as obtained numerically in the literature.
△ Less
Submitted 14 December, 2023; v1 submitted 16 November, 2023;
originally announced November 2023.
-
Towards Generalised Pre-Training of Graph Models
Authors:
Alex O. Davies,
Riku W. Green,
Nirav S. Ajmeri,
Telmo M. Silva Filho
Abstract:
The principal benefit of unsupervised representation learning is that a pre-trained model can be fine-tuned where data or labels are scarce. Existing approaches for graph representation learning are domain specific, maintaining consistent node and edge features across the pre-training and target datasets. This has precluded transfer to multiple domains.
In this work we present Topology Only Pre-…
▽ More
The principal benefit of unsupervised representation learning is that a pre-trained model can be fine-tuned where data or labels are scarce. Existing approaches for graph representation learning are domain specific, maintaining consistent node and edge features across the pre-training and target datasets. This has precluded transfer to multiple domains.
In this work we present Topology Only Pre-Training, a graph pre-training method based on node and edge feature exclusion. Separating graph learning into two stages, topology and features, we use contrastive learning to pre-train models over multiple domains. These models show positive transfer on evaluation datasets from multiple domains, including domains not present in pre-training data. On 75% of experiments, ToP models perform significantly ($P \leq 0.01$) better than a supervised baseline. These results include when node and edge features are used in evaluation, where performance is significantly better on 85.7% of tasks compared to single-domain or non-pre-trained models. We further show that out-of-domain topologies can produce more useful pre-training than in-domain. We show better transfer from non-molecule pre-training, compared to molecule pre-training, on 79% of molecular benchmarks.
△ Less
Submitted 14 May, 2024; v1 submitted 7 November, 2023;
originally announced November 2023.
-
Reconfigurable Intelligent Surfaces-Enabled Intra-Cell Pilot Reuse in Massive MIMO Systems
Authors:
Jose Carlos Marinello Filho,
Taufik Abrao,
Ekram Hossain,
Amine Mezghani
Abstract:
Channel state information (CSI) estimation is a critical issue in the design of modern massive multiple-input multiple-output (mMIMO) networks. With the increasing number of users, assigning orthogonal pilots to everyone incurs a large overhead that strongly penalizes the system's spectral efficiency (SE). It becomes thus necessary to reuse pilots, giving rise to pilot contamination, a vital perfo…
▽ More
Channel state information (CSI) estimation is a critical issue in the design of modern massive multiple-input multiple-output (mMIMO) networks. With the increasing number of users, assigning orthogonal pilots to everyone incurs a large overhead that strongly penalizes the system's spectral efficiency (SE). It becomes thus necessary to reuse pilots, giving rise to pilot contamination, a vital performance bottleneck of mMIMO networks. Reusing pilots among the users of the same cell is a desirable operation condition from the perspective of reducing training overheads; however, the intra-cell pilot contamination might worsen due to the users' proximity. Reconfigurable intelligent surfaces (RISs), capable of smartly controlling the wireless channel, can be leveraged for intra-cell pilot reuse. In this paper, our main contribution is a RIS-aided approach for intra-cell pilot reuse and the corresponding channel estimation method. Relying upon the knowledge of only statistical CSI, we optimize the RIS phase shifts based on a manifold optimization framework and the RIS positioning based on a deterministic approach. The extensive numerical results highlight the remarkable performance improvements the proposed scheme achieves (for both uplink and downlink transmissions) compared to other alternatives.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Quantum advantage of time-reversed ancilla-based metrology of absorption parameters
Authors:
Jiaxuan Wang,
Ruynet. L. de Matos Filho,
Girish S. Agarwal,
Luiz Davidovich
Abstract:
Quantum estimation of parameters defining open-system dynamics may be enhanced by using ancillas that are entangled with the probe but are not submitted to the dynamics. Here we consider the important problem of estimation of transmission of light by a sample, with losses due to absorption and scattering. We show, through the determination of the quantum Fisher information, that the ancilla strate…
▽ More
Quantum estimation of parameters defining open-system dynamics may be enhanced by using ancillas that are entangled with the probe but are not submitted to the dynamics. Here we consider the important problem of estimation of transmission of light by a sample, with losses due to absorption and scattering. We show, through the determination of the quantum Fisher information, that the ancilla strategy leads to the best possible precision in single-mode estimation, the one obtained for a Fock state input, through joint photon-counting of probe and ancilla, which are modes of a bimodal squeezed state produced by an optical parametric amplifier. This proposal overcomes the challenge of producing and detecting high photon-number Fock states, and it is quite robust against additional noise: we show that it is immune to phase noise and the precision does not change if the incoming state gets disentangled. Furthermore, the quantum gain is still present under moderate photon losses of the input beams. We also discuss an alternative to joint photon counting, which is readily implementable with present technology, and approaches the quantum Fisher information result for weak absorption, even with moderate photons losses of the input beams before the sample is probed: a time-reversal procedure, placing the sample between two optical parametric amplifiers, with the second undoing the squeezing produced by the first one. The precision of estimation of the loss parameter is obtained from the average outgoing total photon number and its variance. In both procedures, the state of the probe and the detection procedure are independent of the value of the parameter.
△ Less
Submitted 6 December, 2023; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Mathematical Properties of Strategies to Control Epidemic Outbreaks in the Context of SEIR Models with Multiple Infectious Stages
Authors:
Annibal Figueiredo,
Tarcısio Marciano da Rocha Filho
Abstract:
In this work we analyze mathematically the consequences and effectiveness of strategies to control an epidemic in the framework of classical SEIR models with multiple parallel infectious stages. We define the mathematical concept of a control strategy, showing that it implies turning classic epidemiological models into systems of non-autonomous differential equations. The analysis of these non-aut…
▽ More
In this work we analyze mathematically the consequences and effectiveness of strategies to control an epidemic in the framework of classical SEIR models with multiple parallel infectious stages. We define the mathematical concept of a control strategy, showing that it implies turning classic epidemiological models into systems of non-autonomous differential equations. The analysis of these non-autonomous systems is based on the two main results obtained in this work: the first establishes a condition that implies a dynamic without epidemic outbreaks; the second establishes a maximum value for the susceptible population associated to the fixed points that are attractors, moreover, we proof that any trajectory converges to some of these attractors. An important consequence of this last result is the existence of an insurmountable limit on the number of infected individuals after the end of a given control strategy. This restriction can only be mitigated by changing the maximum value of susceptible population associated to the system attractors, which could only be done with permanent control action, that is, without returning to normality. Another interesting result of our work is to show how the moment to start and the way how the control strategy ends strongly impacts the asymptotic value for the total number of infected individuals. We illustrate our analysis and results in a SEIR model (with two or three parallel stages) applied to describe the COVID-19 epidemic.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Modified Verhulst-Solow model for long-term population and economic growths
Authors:
Iram Gleriaa,
Sergio Da Silvab,
Leon Brenig,
Tarcısio M. Rocha Filho,
Annibal Figueiredo
Abstract:
In this study, we analyze the relationship between human population growth and economic dynamics. To do so, we present a modified version of the Verhulst model and the Solow model, which together simulate population dynamics and the role of economic variables in capital accumulation. The model incorporates support and foraging functions, which participate in the dynamic relationship between popula…
▽ More
In this study, we analyze the relationship between human population growth and economic dynamics. To do so, we present a modified version of the Verhulst model and the Solow model, which together simulate population dynamics and the role of economic variables in capital accumulation. The model incorporates support and foraging functions, which participate in the dynamic relationship between population growth and the creation and destruction of carrying capacity. The validity of the model is demonstrated using empirical data.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Existence and analyticity of solutions of the Kuramoto-Sivashinsky equation with singular data
Authors:
David M. Ambrose,
Milton C. Lopes Filho,
Helena J. Nussenzveig Lopes
Abstract:
We prove existence of solutions to the Kuramoto-Sivashinsky equation with low-regularity data, in function spaces based on the Wiener algebra and in pseudomeasure spaces. In any spatial dimension, we allow the data to have its antiderivative in the Wiener algebra. In one spatial dimension, we also allow data which is in a pseudomeasure space of negative order. In two spatial dimensions, we also al…
▽ More
We prove existence of solutions to the Kuramoto-Sivashinsky equation with low-regularity data, in function spaces based on the Wiener algebra and in pseudomeasure spaces. In any spatial dimension, we allow the data to have its antiderivative in the Wiener algebra. In one spatial dimension, we also allow data which is in a pseudomeasure space of negative order. In two spatial dimensions, we also allow data which is in a pseudomeasure space one derivative more regular than in the one-dimensional case. In the course of carrying out the existence arguments, we show a parabolic gain of regularity of the solutions as compared to the data. Subsequently, we show that the solutions are in fact analytic at any positive time in the interval of existence.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Gravitational waves effects in a Lorentz-violating scenario
Authors:
K. M. Amarilo,
M. B. Ferreira Filho,
A. A. Araújo Filho,
J. A. A. S. Reis
Abstract:
This paper focuses on how the production and polarization of gravitational waves are affected by spontaneous Lorentz symmetry breaking, which is driven by a self-interacting vector field. Specifically, we examine the impact of a smooth quadratic potential and a non-minimal coupling, discussing the constraints and causality features of the linearized Einstein equation. To analyze the polarization s…
▽ More
This paper focuses on how the production and polarization of gravitational waves are affected by spontaneous Lorentz symmetry breaking, which is driven by a self-interacting vector field. Specifically, we examine the impact of a smooth quadratic potential and a non-minimal coupling, discussing the constraints and causality features of the linearized Einstein equation. To analyze the polarization states of a plane wave, we consider a fixed vacuum expectation value (VEV) of the vector field. Remarkably, we verify that a space-like background vector field modifies the polarization plane and introduces a longitudinal degree of freedom. In order to investigate the Lorentz violation effect on the quadrupole formula, we use the modified Green function. Finally, we show that the space-like component of the background field leads to a third-order time derivative of the quadrupole moment, and the bounds for the Lorentz-breaking coefficients are estimated as well.
△ Less
Submitted 12 June, 2024; v1 submitted 20 July, 2023;
originally announced July 2023.
-
Size Matters: Large Graph Generation with HiGGs
Authors:
Alex O. Davies,
Nirav S. Ajmeri,
Telmo M. Silva Filho
Abstract:
Large graphs are present in a variety of domains, including social networks, civil infrastructure, and the physical sciences to name a few. Graph generation is similarly widespread, with applications in drug discovery, network analysis and synthetic datasets among others. While GNN (Graph Neural Network) models have been applied in these domains their high in-memory costs restrict them to small gr…
▽ More
Large graphs are present in a variety of domains, including social networks, civil infrastructure, and the physical sciences to name a few. Graph generation is similarly widespread, with applications in drug discovery, network analysis and synthetic datasets among others. While GNN (Graph Neural Network) models have been applied in these domains their high in-memory costs restrict them to small graphs. Conversely less costly rule-based methods struggle to reproduce complex structures. We propose HIGGS (Hierarchical Generation of Graphs) as a model-agnostic framework of producing large graphs with realistic local structures. HIGGS uses GNN models with conditional generation capabilities to sample graphs in hierarchies of resolution. As a result HIGGS has the capacity to extend the scale of generated graphs from a given GNN model by quadratic order. As a demonstration we implement HIGGS using DiGress, a recent graph-diffusion model, including a novel edge-predictive-diffusion variant edge-DiGress. We use this implementation to generate categorically attributed graphs with tens of thousands of nodes. These HIGGS generated graphs are far larger than any previously produced using GNNs. Despite this jump in scale we demonstrate that the graphs produced by HIGGS are, on the local scale, more realistic than those from the rule-based model BTER.
△ Less
Submitted 7 November, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
On the convergence of the $k$-point bound for topological packing graphs
Authors:
Bram Bekker,
Fernando Mário de Oliveira Filho
Abstract:
We show that the $k$-point bound of de Laat, Machado, Oliveira, and Vallentin, a hierarchy of upper bounds for the independence number of a topological packing graph derived from the Lasserre hierarchy, converges to the independence number.
We show that the $k$-point bound of de Laat, Machado, Oliveira, and Vallentin, a hierarchy of upper bounds for the independence number of a topological packing graph derived from the Lasserre hierarchy, converges to the independence number.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Inequalities for eigenvalues of operators in divergence form on Riemannian manifolds isometrically immersed in Euclidean space
Authors:
Cristiano S. Silva,
Juliana F. R. Miranda,
Marcio C. Araújo Filho
Abstract:
In this paper, we compute universal inequalities of eigenvalues of a large class of second-order elliptic differential operators in divergence form, that includes, e.g., the Laplace and Cheng-Yau operators, on a bounded domain in a complete Riemannian manifolds isometrically immersed in Euclidean space. A key step in order to obtain the sequence of our estimates is to get the right Yang-type first…
▽ More
In this paper, we compute universal inequalities of eigenvalues of a large class of second-order elliptic differential operators in divergence form, that includes, e.g., the Laplace and Cheng-Yau operators, on a bounded domain in a complete Riemannian manifolds isometrically immersed in Euclidean space. A key step in order to obtain the sequence of our estimates is to get the right Yang-type first inequality. We also prove some inequalities for manifolds supporting some special functions and tensors.
△ Less
Submitted 25 May, 2023; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Optimization hierarchies for distance-avoiding sets in compact spaces
Authors:
Bram Bekker,
Olga Kuryatnikova,
Fernando Mário de Oliveira Filho,
Juan C. Vera
Abstract:
Witsenhausen's problem asks for the maximum fraction $α_n$ of the $n$-dimensional unit sphere that can be covered by a measurable set containing no pairs of orthogonal points. The best upper bounds for $α_n$ are given by extensions of the Lovász theta number. In this paper, optimization hierarchies based on the Lovász theta number, like the Lasserre hierarchy, are extended to Witsenhausen's proble…
▽ More
Witsenhausen's problem asks for the maximum fraction $α_n$ of the $n$-dimensional unit sphere that can be covered by a measurable set containing no pairs of orthogonal points. The best upper bounds for $α_n$ are given by extensions of the Lovász theta number. In this paper, optimization hierarchies based on the Lovász theta number, like the Lasserre hierarchy, are extended to Witsenhausen's problem and similar problems. These hierarchies are shown to converge and are used to compute the best upper bounds for $α_n$ in low dimensions.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
$β^{4}$-IRT: A New $β^{3}$-IRT with Enhanced Discrimination Estimation
Authors:
Manuel Ferreira-Junior,
Jessica T. S. Reinaldo,
Telmo M. Silva Filho,
Eufrasio A. Lima Neto,
Ricardo B. C. Prudencio
Abstract:
Item response theory aims to estimate respondent's latent skills from their responses in tests composed of items with different levels of difficulty. Several models of item response theory have been proposed for different types of tasks, such as binary or probabilistic responses, response time, multiple responses, among others. In this paper, we propose a new version of $β^3$-IRT, called $β^{4}$-I…
▽ More
Item response theory aims to estimate respondent's latent skills from their responses in tests composed of items with different levels of difficulty. Several models of item response theory have been proposed for different types of tasks, such as binary or probabilistic responses, response time, multiple responses, among others. In this paper, we propose a new version of $β^3$-IRT, called $β^{4}$-IRT, which uses the gradient descent method to estimate the model parameters. In $β^3$-IRT, abilities and difficulties are bounded, thus we employ link functions in order to turn $β^{4}$-IRT into an unconstrained gradient descent process. The original $β^3$-IRT had a symmetry problem, meaning that, if an item was initialised with a discrimination value with the wrong sign, e.g. negative when the actual discrimination should be positive, the fitting process could be unable to recover the correct discrimination and difficulty values for the item. In order to tackle this limitation, we modelled the discrimination parameter as the product of two new parameters, one corresponding to the sign and the second associated to the magnitude. We also proposed sensible priors for all parameters. We performed experiments to compare $β^{4}$-IRT and $β^3$-IRT regarding parameter recovery and our new version outperformed the original $β^3$-IRT. Finally, we made $β^{4}$-IRT publicly available as a Python package, along with the implementation of $β^3$-IRT used in our experiments.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Large time behavior for the 3D Navier-Stokes with Navier boundary conditions
Authors:
James P. Kelliher,
Christophe Lacave,
Milton C. Lopes Filho,
Helena J. Nussenzveig Lopes,
Edriss S. Titi
Abstract:
We study the three-dimensional incompressible Navier-Stokes equations in a smooth bounded domain $Ω$ with initial velocity $u_0$ square-integrable, divergence-free and tangent to $\partial Ω$. We supplement the equations with the Navier friction boundary conditions $u \cdot n = 0$ and $[(2Su)n + αu]_{\rm tang} = 0$, where $n$ is the unit exterior normal to $\partial Ω$, $Su = (Du + (Du)^t)/2$,…
▽ More
We study the three-dimensional incompressible Navier-Stokes equations in a smooth bounded domain $Ω$ with initial velocity $u_0$ square-integrable, divergence-free and tangent to $\partial Ω$. We supplement the equations with the Navier friction boundary conditions $u \cdot n = 0$ and $[(2Su)n + αu]_{\rm tang} = 0$, where $n$ is the unit exterior normal to $\partial Ω$, $Su = (Du + (Du)^t)/2$, $α\in C^0(\partialΩ)$ is the boundary friction coefficient and $[\cdot]_{\rm tang}$ is the projection of its argument onto the tangent space of $\partial Ω$. We prove global existence of a weak Leray-type solution to the resulting initial-boundary value problem and exponential decay in energy norm of these solutions when friction is positive. We also prove exponential decay if friction is non-negative and the domain is not a solid of revolution. In addition, in the frictionless case $α= 0$, we prove convergence of the solution to a steady rigid rotation, if the domain is a solid of revolution. We use the Galerkin method for existence, Poincaré-type inequalities, with suitable adaptations to account for the differential geometry of the boundary, and a global-in-time, integral Gronwall-type inequality.
△ Less
Submitted 27 March, 2024; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Reconfigurable Intelligent Surfaces to Enable Energy-Efficient IoT Networks
Authors:
João Henrique Inacio de Souza,
José Carlos Marinello Filho,
Taufik Abrão,
Cristiano Panazio
Abstract:
In this article, we study the uplink (UL) channel of a cellular network of Internet of Things (IoT) devices assisted by a reconfigurable intelligent surface (RIS) with a limited number of reflecting angle configurations. Firstly, we derive an expression of the required transmit power for the machine-type devices (MTDs) to attain a target signal-to-noise ratio (SNR), considering a channel model tha…
▽ More
In this article, we study the uplink (UL) channel of a cellular network of Internet of Things (IoT) devices assisted by a reconfigurable intelligent surface (RIS) with a limited number of reflecting angle configurations. Firstly, we derive an expression of the required transmit power for the machine-type devices (MTDs) to attain a target signal-to-noise ratio (SNR), considering a channel model that accounts for the RIS discretization into sub-wavelength reflecting elements. Such an expression demonstrates that the transmit power depends on the target SNR, the position of the MTD in the service area, and the RIS setup, which includes the number of reflecting elements and the available reflecting angle configurations. Secondly, we develop an expression for the expected battery lifetime (EBL) of the MTDs, which explicitly depends on the MTD transmit power. Numerical simulations on the energy efficiency (EE) evaluated via the EBL demonstrate the benefits of adopting RISs to enable energy-efficient IoT networks.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Energy Efficiency and Throughput of Random Access Protocols for RIS-Aided IoT Networks
Authors:
João Henrique Inacio de Souza,
José Carlos Marinello Filho,
Taufik Abrão,
Cristiano Panazio
Abstract:
Green Internet of Things (IoT) aims to enable a sustainable smart world by making energy efficiency (EE) the main performance indicator for IoT hardware and software. With respect to network design, this implies in developing energy-efficient communication protocols and network architectures adapted to the ubiquitousness of the IoT machine-type devices (MTDs) and the sporadic traffic generated by…
▽ More
Green Internet of Things (IoT) aims to enable a sustainable smart world by making energy efficiency (EE) the main performance indicator for IoT hardware and software. With respect to network design, this implies in developing energy-efficient communication protocols and network architectures adapted to the ubiquitousness of the IoT machine-type devices (MTDs) and the sporadic traffic generated by them, keeping a low power consumption at the MTDs-side. In this sense, reconfigurable intelligent surfaces (RISs) have presented the capacity of significantly improving the network coverage using mostly passive reflecting elements, drastically reducing the power expenditure. In this paper, we develop a realistic power consumption model and an expression for the overall system EE for RIS-aided IoT networks that adopt a two time-scale random access (RA) protocol to handle the uplink transmissions. Specifically, during each time slot of the RA protocol, the RIS covers a specific area of interest in the communication cell with a predefined set of phase-shift configurations, changing the channel qualities of the contending MTDs. Numerical results comparing the RA protocol performance reveal that access policies that exploit information of the channel qualities are suitable for green IoT networks, simultaneously attaining competitive EE and throughput combined with low power consumption at the MTDs-side.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Machine Learning based tool for CMS RPC currents quality monitoring
Authors:
E. Shumka,
A. Samalan,
M. Tytgat,
M. El Sawy,
G. A. Alves,
F. Marujo,
E. A. Coelho,
E. M. Da Costa,
H. Nogima,
A. Santoro,
S. Fonseca De Souza,
D. De Jesus Damiao,
M. Thiel,
K. Mota Amarilo,
M. Barroso Ferreira Filho,
A. Aleksandrov,
R. Hadjiiska,
P. Iaydjiev,
M. Rodozov,
M. Shopova,
G. Soultanov,
A. Dimitrov,
L. Litov,
B. Pavlov,
P. Petkov
, et al. (83 additional authors not shown)
Abstract:
The muon system of the CERN Compact Muon Solenoid (CMS) experiment includes more than a thousand Resistive Plate Chambers (RPC). They are gaseous detectors operated in the hostile environment of the CMS underground cavern on the Large Hadron Collider where pp luminosities of up to $2\times 10^{34}$ $\text{cm}^{-2}\text{s}^{-1}$ are routinely achieved. The CMS RPC system performance is constantly m…
▽ More
The muon system of the CERN Compact Muon Solenoid (CMS) experiment includes more than a thousand Resistive Plate Chambers (RPC). They are gaseous detectors operated in the hostile environment of the CMS underground cavern on the Large Hadron Collider where pp luminosities of up to $2\times 10^{34}$ $\text{cm}^{-2}\text{s}^{-1}$ are routinely achieved. The CMS RPC system performance is constantly monitored and the detector is regularly maintained to ensure stable operation. The main monitorable characteristics are dark current, efficiency for muon detection, noise rate etc. Herein we describe an automated tool for CMS RPC current monitoring which uses Machine Learning techniques. We further elaborate on the dedicated generalized linear model proposed already and add autoencoder models for self-consistent predictions as well as hybrid models to allow for RPC current predictions in a distant future.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
RPC based tracking system at CERN GIF++ facility
Authors:
K. Mota Amarilo,
A. Samalan,
M. Tytgat,
M. El Sawy,
G. A. Alves,
F. Marujo,
E. A. Coelho,
E. M. Da Costa,
H. Nogima,
A. Santoro,
S. Fonseca De Souza,
D. De Jesus Damiao,
M. Thiel,
M. Barroso Ferreira Filho,
A. Aleksandrov,
R. Hadjiiska,
P. Iaydjiev,
M. Rodozov,
M. Shopova,
G. Soultanov,
A. Dimitrov,
L. Litov,
B. Pavlov,
P. Petkov,
A. Petrov
, et al. (83 additional authors not shown)
Abstract:
With the HL-LHC upgrade of the LHC machine, an increase of the instantaneous luminosity by a factor of five is expected and the current detection systems need to be validated for such working conditions to ensure stable data taking. At the CERN Gamma Irradiation Facility (GIF++) many muon detectors undergo such studies, but the high gamma background can pose a challenge to the muon trigger system…
▽ More
With the HL-LHC upgrade of the LHC machine, an increase of the instantaneous luminosity by a factor of five is expected and the current detection systems need to be validated for such working conditions to ensure stable data taking. At the CERN Gamma Irradiation Facility (GIF++) many muon detectors undergo such studies, but the high gamma background can pose a challenge to the muon trigger system which is exposed to many fake hits from the gamma background. A tracking system using RPCs is implemented to clean the fake hits, taking profit of the high muon efficiency of these chambers. This work will present the tracking system configuration, used detector analysis algorithm and results.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
COVID-19 denialism in Brazil: a multifactor study
Authors:
T. M. Rocha Filho,
M. L. Lucio,
Fulvio A. Scorza,
M. A. Moret
Abstract:
We discuss the relationships between the outcome of the COVID-19 pandemic in Brazil at the municipal level and different health, social, demographic, and economic indices. We obtain significant correlations between the data gathered for each municipalitiy and the proportion of cases and deaths by COVID-19 and the results by municipality of the 2018 Brazilian presidential election. We obtain differ…
▽ More
We discuss the relationships between the outcome of the COVID-19 pandemic in Brazil at the municipal level and different health, social, demographic, and economic indices. We obtain significant correlations between the data gathered for each municipalitiy and the proportion of cases and deaths by COVID-19 and the results by municipality of the 2018 Brazilian presidential election. We obtain different estimates for the number of deaths caused by central government denialism of scientific facts and measures for mitigation of the pandemic and its the historical, economic, and social roots.
△ Less
Submitted 20 November, 2022; v1 submitted 19 October, 2022;
originally announced October 2022.
-
Reliability of COVID-19 data and government policies
Authors:
T. M. Rocha Filho,
J. F. F. Mendes,
M. L. Lucio,
M. A. Moret
Abstract:
We study how available data on COVID-19 cases and deaths in different countries are reliable. Our analysis is based on a modification of the law of anomalous numbers, the Newcomb-Benford law, applied to the daily number of deaths and new cases in each country. We first revisit the Newcomb-Benford law and show how to avoid false negative compliance of the data. We then compared deviation from this…
▽ More
We study how available data on COVID-19 cases and deaths in different countries are reliable. Our analysis is based on a modification of the law of anomalous numbers, the Newcomb-Benford law, applied to the daily number of deaths and new cases in each country. We first revisit the Newcomb-Benford law and show how to avoid false negative compliance of the data. We then compared deviation from this law, to a number of social and economic indices for each country by computing the Spearman rank order correlation between each index and the \c{hi}2 deviation of COVID- 19 data to the modified NB law. A similar analysis for excess deaths for the same countries with sufficient available data was performed. We conclude that in general less democratic, less transparent and more corrupt countries tend to have data of lesser quality. We also discuss the limitations of the present approach.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Comment on "Universal and accessible entropy estimation using a compression algorithm"
Authors:
E. Brigatti,
F. N. M. de Sousa Filho
Abstract:
In a recent Letter [1] a framework for estimating entropy was introduced and applied to one-dimensional and two-dimensional systems. In this Comment we show that the method is not well suited for estimating entropy in bidimensional systems presenting long-range correlations.
In a recent Letter [1] a framework for estimating entropy was introduced and applied to one-dimensional and two-dimensional systems. In this Comment we show that the method is not well suited for estimating entropy in bidimensional systems presenting long-range correlations.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Entropy estimation in bidimensional sequences
Authors:
F. N. M. de Sousa Filho,
V. G. Pereira de Sá,
E. Brigatti
Abstract:
We investigate the performance of entropy estimation methods, based either on block entropies or compression approaches, in the case of bidimensional sequences. We introduce a validation dataset made of images produced by a large number of different natural systems, in the vast majority characterized by long-range correlations, which produce a large spectrum of entropies. Results show that the fra…
▽ More
We investigate the performance of entropy estimation methods, based either on block entropies or compression approaches, in the case of bidimensional sequences. We introduce a validation dataset made of images produced by a large number of different natural systems, in the vast majority characterized by long-range correlations, which produce a large spectrum of entropies. Results show that the framework based on lossless compressors applied to the one-dimensional projection of the considered dataset leads to poor estimates. This is because higher-dimensional correlations are lost in the projection operation. The adoption of compression methods which do not introduce dimensionality reduction improves the performance of this approach. By far, the best estimation of the asymptotic entropy is generated by the faster convergence of the traditional block-entropies method. As a by-product of our analysis, we show how a specific compressor method can be used as a potentially interesting technique for automatic detection of symmetries in textures and images.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Eigenvalue estimates for a class of elliptic differential operators in divergence form on Riemannian manifolds isometrically immersed in Euclidean space
Authors:
Marcio C. Araújo Filho,
José N. V. Gomes
Abstract:
In this paper, we obtain eigenvalue estimates for a larger class of elliptic differential operators in divergence form on a bounded domain in a complete Riemannian manifold isometrically immersed in Euclidean space. As an application, we give eigenvalue estimates in the Gaussian shrinking soliton, and we find a domain that makes the behavior of these estimates similar to the estimates for the case…
▽ More
In this paper, we obtain eigenvalue estimates for a larger class of elliptic differential operators in divergence form on a bounded domain in a complete Riemannian manifold isometrically immersed in Euclidean space. As an application, we give eigenvalue estimates in the Gaussian shrinking soliton, and we find a domain that makes the behavior of these estimates similar to the estimates for the case of the Laplacian. Moreover, we also give an answer to the generalized conjecture of Pólya.
△ Less
Submitted 26 June, 2023; v1 submitted 19 June, 2022;
originally announced June 2022.
-
A recursive theta body for hypergraphs
Authors:
Davi Castro-Silva,
Fernando Mário de Oliveira Filho,
Lucas Slot,
Frank Vallentin
Abstract:
The theta body of a graph, introduced by Grötschel, Lovász, and Schrijver in 1986, is a tractable relaxation of the independent-set polytope derived from the Lovász theta number. In this paper, we recursively extend the theta body, and hence the theta number, to hypergraphs. We obtain fundamental properties of this extension and relate it to the high-dimensional Hoffman bound of Filmus, Golubev, a…
▽ More
The theta body of a graph, introduced by Grötschel, Lovász, and Schrijver in 1986, is a tractable relaxation of the independent-set polytope derived from the Lovász theta number. In this paper, we recursively extend the theta body, and hence the theta number, to hypergraphs. We obtain fundamental properties of this extension and relate it to the high-dimensional Hoffman bound of Filmus, Golubev, and Lifshitz. We discuss two applications: triangle-free graphs and Mantel's theorem, and bounds on the density of triangle-avoiding sets in the Hamming cube.
△ Less
Submitted 29 March, 2023; v1 submitted 8 June, 2022;
originally announced June 2022.
-
Existence and analyticity of the Lei-Lin solution of the Navier-Stokes equations on the torus
Authors:
D. M. Ambrose,
M. C. Lopes Filho,
H. J. Nussenzveig Lopes
Abstract:
Lei and Lin have recently given a proof of a global mild solution of the three-dimensional Navier-Stokes equations in function spaces based on the Wiener algebra. An alternative proof of existence of these solutions was then developed by Bae, and this new proof allowed for an estimate of the radius of analyticity of the solutions at positive times. We adapt the Bae proof to prove existence of the…
▽ More
Lei and Lin have recently given a proof of a global mild solution of the three-dimensional Navier-Stokes equations in function spaces based on the Wiener algebra. An alternative proof of existence of these solutions was then developed by Bae, and this new proof allowed for an estimate of the radius of analyticity of the solutions at positive times. We adapt the Bae proof to prove existence of the Lei-Lin solution in the spatially periodic setting, finding an improved bound for the radius of analyticity in this case.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Brazilian COVID-19 data streaming
Authors:
Nívea B. da Silva,
Luis Iván O. Valencia,
Fábio M. H. S. Filho,
Andressa C. S. Ferreira,
Felipe A. C. Pereira,
Guilherme L. de Oliveira,
Paloma F. Oliveira,
Moreno S. Rodrigues,
Pablo I. P. Ramos,
Juliane F. Oliveira
Abstract:
We collected individualized (unidentifiable) and aggregated openly available data from various sources related to suspected/confirmed SARS-CoV-2 infections, vaccinations, non-pharmaceutical government interventions, human mobility, and levels of population inequality in Brazil. In addition, a data structure allowing real-time data collection, curation, integration, and extract-transform-load proce…
▽ More
We collected individualized (unidentifiable) and aggregated openly available data from various sources related to suspected/confirmed SARS-CoV-2 infections, vaccinations, non-pharmaceutical government interventions, human mobility, and levels of population inequality in Brazil. In addition, a data structure allowing real-time data collection, curation, integration, and extract-transform-load processes for different objectives was developed. The granularity of this dataset (state- and municipality-wide) enables its application to individualized and ecological epidemiological studies, statistical, mathematical, and computational modeling, data visualization as well as the scientific dissemination of information on the COVID-19 pandemic in Brazil.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
The incompressible $α$--Euler equations in the exterior of a vanishing disk
Authors:
Adriana Valentina Busuioc,
Dragos Iftimie,
Milton Lopes Filho,
Helena Nussenzveig Lopes
Abstract:
In this article we consider the $α$--Euler equations in the exterior of a small fixed disk of radius $ε$. We assume that the initial potential vorticity is compactly supported and independent of $ε$, and that the circulation of the unfiltered velocity on the boundary of the disk does not depend on $ε$. We prove that the solution of this problem converges, as $ε\to 0$, to the solution of a modified…
▽ More
In this article we consider the $α$--Euler equations in the exterior of a small fixed disk of radius $ε$. We assume that the initial potential vorticity is compactly supported and independent of $ε$, and that the circulation of the unfiltered velocity on the boundary of the disk does not depend on $ε$. We prove that the solution of this problem converges, as $ε\to 0$, to the solution of a modified $α$--Euler equation in the full plane where an additional Dirac located at the center of the disk is imposed in the potential vorticity.
△ Less
Submitted 28 March, 2022;
originally announced March 2022.
-
Semiparametric Modeling for Multivariate Survival Data via Copulas
Authors:
W. D. R. Miranda Filho,
F. N. Demarqui
Abstract:
We propose a new class of multivariate survival models based on archimedean copulas with margins modeled by the Yang and Prentice (YP) model. The Ali-Mikhail-Haq (AMH), Clayton, Frank, Gumbel-Hougaard (GH), and Joe copulas are employed to accommodate the dependency among marginal distributions. Baseline distributions are modeled semiparametrically by the piecewise exponential (PE) distribution and…
▽ More
We propose a new class of multivariate survival models based on archimedean copulas with margins modeled by the Yang and Prentice (YP) model. The Ali-Mikhail-Haq (AMH), Clayton, Frank, Gumbel-Hougaard (GH), and Joe copulas are employed to accommodate the dependency among marginal distributions. Baseline distributions are modeled semiparametrically by the piecewise exponential (PE) distribution and the Bernstein polynomials. The new class of models possesses some attractive features: i) the ability to take into account survival data with crossing survival curves; ii) the inclusion of the well-known proportional hazards (PH) and proportional odds (PO) models as particular cases; iii) greater flexibility provided by the semiparametric modeling of the marginal baseline distributions; iv) the availability of closed-form expressions for the likelihood functions, leading to more straightforward inferential procedures. We conducted an extensive Monte Carlo simulation study to evaluate the performance of the proposed model. Finally, we demonstrate the versatility of our new class of models through the analysis of survival data involving patients diagnosed with ovarian cancer.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Inequalities for eigenvalues of fourth-order elliptic operators in divergence form on complete Riemannian manifolds
Authors:
Marcio Costa Araújo Filho
Abstract:
We prove some inequalities of Payne-Pólya-Weinberger-Yang type for eigenvalues of fourth-order elliptic operators in weighted divergence form on complete Riemannian manifolds which generalizes the corresponding result for the clamped plate problem. We also prove estimates for lower order eigenvalues that contain some of the estimates from the literature. As an application of our results, we obtain…
▽ More
We prove some inequalities of Payne-Pólya-Weinberger-Yang type for eigenvalues of fourth-order elliptic operators in weighted divergence form on complete Riemannian manifolds which generalizes the corresponding result for the clamped plate problem. We also prove estimates for lower order eigenvalues that contain some of the estimates from the literature. As an application of our results, we obtain eigenvalues estimates for the bi-drifted Cheng-Yau operator.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Estimates for the first eigenvalues of Bi-drifted Laplacian on smooth metric measure space
Authors:
Marcio Costa Araújo Filho
Abstract:
In this paper, we obtain lower bounds for the first eigenvalue to some kinds of the eigenvalue problems for Bi-drifted Laplacian operator on compact manifolds (also called a smooth metric measure space) with boundary and $m$-Bakry-Emery Ricci curvature or Bakry-Emery Ricci curvature bounded below. We also address the eigenvalue problem with Wentzell-type boundary condition for drifted Laplacian on…
▽ More
In this paper, we obtain lower bounds for the first eigenvalue to some kinds of the eigenvalue problems for Bi-drifted Laplacian operator on compact manifolds (also called a smooth metric measure space) with boundary and $m$-Bakry-Emery Ricci curvature or Bakry-Emery Ricci curvature bounded below. We also address the eigenvalue problem with Wentzell-type boundary condition for drifted Laplacian on smooth metric measure space.
△ Less
Submitted 20 November, 2021; v1 submitted 18 November, 2021;
originally announced November 2021.
-
The GRAVITY Young Stellar Object survey VIII. Gas and dust faint inner rings in the hybrid disk of HD141569
Authors:
GRAVITY Collaboration,
V. Ganci,
L. Labadie,
L. Klarmann,
A. de Valon,
K. Perraut,
M. Benisty,
W. Brandner,
A. Caratti o Garatti,
C. Dougados,
F. Eupen,
R. Garcia Lopez,
R. Grellmann,
J. Sanchez-Bermudez,
A. Wojtczak,
P. Garcia,
A. Amorim,
M. Bauböck,
J. -P. Berger,
P. Caselli,
Y. Clénet,
V. Coudé du Foresto,
P. T. de Zeeuw,
A. Drescher,
G. Duvert
, et al. (38 additional authors not shown)
Abstract:
The formation and evolution of planetary systems impact the primordial accretion disk. HD141569 is the only known pre-main sequence star characterized by a hybrid disk. Observations probed the outer-disk structure showing a complex system of rings and interferometric observations attempted to characterize its inner 5 au region, but derived limited constraints. The goal of this work was to explore…
▽ More
The formation and evolution of planetary systems impact the primordial accretion disk. HD141569 is the only known pre-main sequence star characterized by a hybrid disk. Observations probed the outer-disk structure showing a complex system of rings and interferometric observations attempted to characterize its inner 5 au region, but derived limited constraints. The goal of this work was to explore with new high-resolution interferometric observations the properties of the dust and gas in the internal regions of HD141569. We observed HD141569 on mas scales with GRAVITY/VLTI in the near-infrared at low and high spectral resolution. We interpreted the visibilities and spectral energy distribution with geometrical models and radiative transfer techniques to constrain the dust emission. We analyzed the high spectral resolution quantities to investigate the properties of the Br-Gamma line emitting region. Thanks to the combination of three different epochs, GRAVITY resolves the inner dusty disk in the K band. Data modeling shows that an IR excess of about 6% is spatially resolved and that the origin of this emission is confined in a ring of material located at a radius of 1 au from the star with a width smaller than 0.3 au. The MCMax modeling suggests that this emission could originate from a small amount of QHPs, while large silicate grain models cannot reproduce at the same time the observational constraints on the properties of near-IR and mid-IR fluxes. The differential phases in the Br-Gamma line clearly show an S-shape that can be best reproduced witha gas disk in Keplerian rotation, confined within 0.09 au. This is also hinted at by the double-peaked Br-Gamma emission line shape. The modeling of the continuum and gas emission shows that the inclination and position angle of these two components are consistent with a system showing relatively coplanar rings on all scales.
△ Less
Submitted 22 September, 2021; v1 submitted 21 September, 2021;
originally announced September 2021.
-
Fault detection and diagnosis of batch process using dynamic ARMA-based control charts
Authors:
Batista Nunes de Oliveira,
Marcio Valk,
Danilo Marcondes Filho
Abstract:
A wide range of approaches for batch processes monitoring can be found in the literature. This kind of process generates a very peculiar data structure, in which successive measurements of many process variables in each batch run are available. Traditional approaches do not take into account the time series nature of the data. The main reason is that the time series inference theory is not based o…
▽ More
A wide range of approaches for batch processes monitoring can be found in the literature. This kind of process generates a very peculiar data structure, in which successive measurements of many process variables in each batch run are available. Traditional approaches do not take into account the time series nature of the data. The main reason is that the time series inference theory is not based on replications of time series, as it is in batch process data. It is based on the variability in a time domain. This fact demands some adaptations of this theory in order to accommodate the model coefficient estimates, considering jointly the batch to batch samples variability (batch domain) and the serial correlation in each batch (time domain). In order to address this issue, this paper proposes a new approach grounded in a group of control charts based on the classical ARMA model for monitoring and diagnostic of batch processes dynamics. The model coefficients are estimated (through the ordinary least square method) for each historical time series sample batch and modified Hotelling and t-Student distributions are derived and used to accommodate those estimates. A group of control charts based on that distributions are proposed for monitoring the new batches. Additionally, those groups of charts help to fault diagnosis, identifying the source of disturbances. Through simulated and real data we show that this approach seems to work well for both purposes.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Entropy and hierarchical clustering: characterising the morphology of the urban fabric in different spatial cultures
Authors:
E. Brigatti,
V. M. Netto,
F. N. M. de Sousa Filho,
C. Cacholas
Abstract:
In this work, we develop a general method for estimating the Shannon entropy of a bidimensional sequence based on the extrapolation of block entropies. We apply this method to analyse the spatial configurations of cities of different cultures and regions of the world. Findings suggest that this approach can identify similarities between cities, generating accurate results for recognising and class…
▽ More
In this work, we develop a general method for estimating the Shannon entropy of a bidimensional sequence based on the extrapolation of block entropies. We apply this method to analyse the spatial configurations of cities of different cultures and regions of the world. Findings suggest that this approach can identify similarities between cities, generating accurate results for recognising and classifying different urban morphologies. The hierarchical clustering analysis based on this metric also opens up new questions about the possibility that urban form can embody characteristics related to different cultural identities, historical processes and geographical regions.
△ Less
Submitted 12 August, 2021;
originally announced August 2021.
-
Energy balance for forced two-dimensional incompressible ideal fluid flow
Authors:
Milton Lopes Filho,
Helena Nussenzveig Lopes
Abstract:
In [Commun Math Phys 348(1), 129-143, 2016], Cheskidov et al. proved that physically realizable weak solutions of the incompressible 2D Euler equations on a torus conserve kinetic energy. Physically realizable weak solutions are those that can be obtained as limits of vanishing viscosity. The key hypothesis was boundedness of the initial vorticity in $L^p$, $p>1$. In this work we extend their resu…
▽ More
In [Commun Math Phys 348(1), 129-143, 2016], Cheskidov et al. proved that physically realizable weak solutions of the incompressible 2D Euler equations on a torus conserve kinetic energy. Physically realizable weak solutions are those that can be obtained as limits of vanishing viscosity. The key hypothesis was boundedness of the initial vorticity in $L^p$, $p>1$. In this work we extend their result, by adding forcing to the flow.
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
Exploring the Non-Overlapping Visibility Regions in XL-MIMO Random Access Protocol
Authors:
José Carlos Marinello Filho,
Glauber Brante,
Richard Demo Souza,
Taufik Abrão
Abstract:
The recent extra-large scale massive multiple-input multiple-output (XL-MIMO) systems are seen as a promising technology for providing very high data rates in increased user-density scenarios. Spatial non-stationarities and visibility regions (VRs) appear across the XL-MIMO array since its large dimension is of the same order as the distances to the user-equipments (UEs). Due to the increased dens…
▽ More
The recent extra-large scale massive multiple-input multiple-output (XL-MIMO) systems are seen as a promising technology for providing very high data rates in increased user-density scenarios. Spatial non-stationarities and visibility regions (VRs) appear across the XL-MIMO array since its large dimension is of the same order as the distances to the user-equipments (UEs). Due to the increased density of UEs in typical applications of XL-MIMO systems and the scarcity of pilots, the design of random access (RA) protocols and scheduling algorithms become challenging. In this paper, we propose a joint RA and scheduling protocol, namely non-overlapping VR XL- MIMO (NOVR-XL) RA protocol, which takes advantage of the different VRs of the UEs for improving RA performance, besides seeking UEs with non-overlapping VRs to be scheduled in the same payload data pilot resource. Our results reveal that the proposed scheme achieves significant gains in terms of sum rate compared with traditional RA schemes, as well as reducing access latency and improving connectivity performance as a whole.
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
The GRAVITY Young Stellar Object Survey. VI. Mapping the variable inner disk of HD 163296 at sub-au scales
Authors:
J. Sanchez-Bermudez,
A. Caratti o Garatti,
R. Garcia Lopez,
K. Perraut,
L. Labadie,
M. Benisty,
W. Brandner,
C. Dougados,
P. J. V. Garcia,
Th. Henning,
L. Klarmann,
A. Amorim,
M. Bauböck,
J. P. Berger,
J. B. Le Bouquin,
P. Caselli,
Y. Clénet,
V. Coudé du Foresto,
P. T. de Zeeuw,
A. Drescher,
G. Duvert,
A. Eckart,
F. Eisenhauer,
M. Filho,
F. Gao
, et al. (31 additional authors not shown)
Abstract:
Protoplanetary disks drive some of the formation process (e.g., accretion, gas dissipation, formation of structures, etc.) of stars and planets. Understanding such physical processes is one of the main astrophysical questions. HD 163296 is an interesting young stellar object for which infrared and sub-millimeter observations have shown a prominent circumstellar disk with gaps plausibly created by…
▽ More
Protoplanetary disks drive some of the formation process (e.g., accretion, gas dissipation, formation of structures, etc.) of stars and planets. Understanding such physical processes is one of the main astrophysical questions. HD 163296 is an interesting young stellar object for which infrared and sub-millimeter observations have shown a prominent circumstellar disk with gaps plausibly created by forming planets. This study aims at characterizing the morphology of the inner disk in HD 163296 with multi-epoch near-infrared interferometric observations performed with GRAVITY at the Very Large Telescope Interferometer (VLTI). Our goal is to depict the K-band (lambda_0 ~ 2.2 um) structure of the inner rim with milliarcsecond (sub-au) angular resolution. Our data is complemented with archival PIONIER (H-band; lambda_0 ~ 1.65 um) data of the source. We performed a Gradient Descent parametric model fitting to recover the sub-au morphology of our source. Our analysis shows the existence of an asymmetry in the disk surrounding the central star of HD 163296. We confirm variability of the disk structure in the inner ~2 mas (0.2 au). While variability of the inner disk structure in this source has been suggested by previous interferometric studies, this is the first time that it is confirmed in the H- and K-bands by using a complete analysis of the closure phases and squared visibilities over several epochs. Because of the separation from the star, position changes, and persistence of this asymmetric structure on timescales of several years, we argue that it is a dusty feature (e.g., a vortex or dust clouds), probably, made by a mixing of sillicate and carbon dust and/or refractory grains, inhomogeneously distributed above the mid-plane of the disk.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
A recursive Lovász theta number for simplex-avoiding sets
Authors:
Davi Castro-Silva,
Fernando Mário de Oliveira Filho,
Lucas Slot,
Frank Vallentin
Abstract:
We recursively extend the Lovász theta number to geometric hypergraphs on the unit sphere and on Euclidean space, obtaining an upper bound for the independence ratio of these hypergraphs. As an application we reprove a result in Euclidean Ramsey theory in the measurable setting, namely that every $k$-simplex is exponentially Ramsey, and we improve existing bounds for the base of the exponential.
We recursively extend the Lovász theta number to geometric hypergraphs on the unit sphere and on Euclidean space, obtaining an upper bound for the independence ratio of these hypergraphs. As an application we reprove a result in Euclidean Ramsey theory in the measurable setting, namely that every $k$-simplex is exponentially Ramsey, and we improve existing bounds for the base of the exponential.
△ Less
Submitted 24 May, 2022; v1 submitted 17 June, 2021;
originally announced June 2021.
-
How Do Users Interact with an Error-Prone In-Air Gesture Recognizer?
Authors:
Ahmed Sabbir Arif,
Wolfgang Stuerzlinger,
Euclides Jose de Mendonca Filho,
Alec Gordynski
Abstract:
We present results of two pilot studies that investigated human error behaviours with an error prone in-air gesture recognizer. During the studies, users performed a small set of simple in-air gestures. In the first study, these gestures were abstract. The second study associated concrete tasks with each gesture. Interestingly, the error patterns observed in the two studies were substantially diff…
▽ More
We present results of two pilot studies that investigated human error behaviours with an error prone in-air gesture recognizer. During the studies, users performed a small set of simple in-air gestures. In the first study, these gestures were abstract. The second study associated concrete tasks with each gesture. Interestingly, the error patterns observed in the two studies were substantially different.
△ Less
Submitted 26 May, 2021;
originally announced May 2021.