Showing 1–50 of 61 results for author: Ferreira, V

CFD-DEM study of mixing in a monodispersed solid-liquid fluidized bed

Authors: Victor Oliveira Ferreira, Bruno Blais, Gabriela Cantarelli Lopes

Abstract: In this work, we assess the internal dynamics of particles in liquid-solid fluidized beds using an unresolved CFD-DEM model. We use the Nearest Neighbors Method (NNM) and the mixing index based on the principal component analysis proposed by Doucet et al. [1] to quantify the bed mixing for several flow regimes and particle properties. Discussions on the advantages and drawbacks of each method are… ▽ More In this work, we assess the internal dynamics of particles in liquid-solid fluidized beds using an unresolved CFD-DEM model. We use the Nearest Neighbors Method (NNM) and the mixing index based on the principal component analysis proposed by Doucet et al. [1] to quantify the bed mixing for several flow regimes and particle properties. Discussions on the advantages and drawbacks of each method are provided. Using results for several inlet flow rates, we show that the dimensionless mixing time reaches a plateau and does not increase significantly with the inlet velocity. The principal component analysis shows that the studied fluidized bed has no preferential mixing component. Additionally, we show that, except for the sliding friction coefficient, the collision properties have almost negligible influence on the mixing behavior. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Computing Optimal Manipulations in Cryptographic Self-Selection Proof-of-Stake Protocols

Authors: Matheus V. X. Ferreira, Aadityan Ganesh, Jack Hourigan, Hannah Huh, S. Matthew Weinberg, Catherine Yu

Abstract: Cryptographic Self-Selection is a paradigm employed by modern Proof-of-Stake consensus protocols to select a block-proposing "leader." Algorand [Chen and Micali, 2019] proposes a canonical protocol, and Ferreira et al. [2022] establish bounds $f(α,β)$ on the maximum fraction of rounds a strategic player can lead as a function of their stake $α$ and a network connectivity parameter $β$. While both… ▽ More Cryptographic Self-Selection is a paradigm employed by modern Proof-of-Stake consensus protocols to select a block-proposing "leader." Algorand [Chen and Micali, 2019] proposes a canonical protocol, and Ferreira et al. [2022] establish bounds $f(α,β)$ on the maximum fraction of rounds a strategic player can lead as a function of their stake $α$ and a network connectivity parameter $β$. While both their lower and upper bounds are non-trivial, there is a substantial gap between them (for example, they establish $f(10\%,1) \in [10.08\%, 21.12\%]$), leaving open the question of how significant of a concern these manipulations are. We develop computational methods to provably nail $f(α,β)$ for any desired $(α,β)$ up to arbitrary precision, and implement our method on a wide range of parameters (for example, we confirm $f(10\%,1) \in [10.08\%, 10.15\%]$). Methodologically, estimating $f(α,β)$ can be phrased as estimating to high precision the value of a Markov Decision Process whose states are countably-long lists of real numbers. Our methodological contributions involve (a) reformulating the question instead as computing to high precision the expected value of a distribution that is a fixed-point of a non-linear sampling operator, and (b) provably bounding the error induced by various truncations and sampling estimations of this distribution (which appears intractable to solve in closed form). One technical challenge, for example, is that natural sampling-based estimates of the mean of our target distribution are \emph{not} unbiased estimators, and therefore our methods necessarily go beyond claiming sufficiently-many samples to be close to the mean. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Comments: Appeared in the 25th ACM Conference on Economics and Computation (EC '24)

ACM Class: G.3

VWise: A novel benchmark for evaluating scene classification for vehicular applications

Authors: Pedro Azevedo, Emanuella Araújo, Gabriel Pierre, Willams de Lima Costa, João Marcelo Teixeira, Valter Ferreira, Roberto Jones, Veronica Teichrieb

Abstract: Current datasets for vehicular applications are mostly collected in North America or Europe. Models trained or evaluated on these datasets might suffer from geographical bias when deployed in other regions. Specifically, for scene classification, a highway in a Latin American country differs drastically from an Autobahn, for example, both in design and maintenance levels. We propose VWise, a novel… ▽ More Current datasets for vehicular applications are mostly collected in North America or Europe. Models trained or evaluated on these datasets might suffer from geographical bias when deployed in other regions. Specifically, for scene classification, a highway in a Latin American country differs drastically from an Autobahn, for example, both in design and maintenance levels. We propose VWise, a novel benchmark for road-type classification and scene classification tasks, in addition to tasks focused on external contexts related to vehicular applications in LatAm. We collected over 520 video clips covering diverse urban and rural environments across Latin American countries, annotated with six classes of road types. We also evaluated several state-of-the-art classification models in baseline experiments, obtaining over 84% accuracy. With this dataset, we aim to enhance research on vehicular tasks in Latin America. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Thermalization and Criticality on an Analog-Digital Quantum Simulator

Authors: Trond I. Andersen, Nikita Astrakhantsev, Amir H. Karamlou, Julia Berndtsson, Johannes Motruk, Aaron Szasz, Jonathan A. Gross, Alexander Schuckert, Tom Westerhout, Yaxing Zhang, Ebrahim Forati, Dario Rossi, Bryce Kobrin, Agustin Di Paolo, Andrey R. Klots, Ilya Drozdov, Vladislav D. Kurilovich, Andre Petukhov, Lev B. Ioffe, Andreas Elben, Aniket Rath, Vittorio Vitale, Benoit Vermersch, Rajeev Acharya, Laleh Aghababaie Beni , et al. (202 additional authors not shown)

Abstract: Understanding how interacting particles approach thermal equilibrium is a major challenge of quantum simulators. Unlocking the full potential of such systems toward this goal requires flexible initial state preparation, precise time evolution, and extensive probes for final state characterization. We present a quantum simulator comprising 69 superconducting qubits which supports both universal qua… ▽ More Understanding how interacting particles approach thermal equilibrium is a major challenge of quantum simulators. Unlocking the full potential of such systems toward this goal requires flexible initial state preparation, precise time evolution, and extensive probes for final state characterization. We present a quantum simulator comprising 69 superconducting qubits which supports both universal quantum gates and high-fidelity analog evolution, with performance beyond the reach of classical simulation in cross-entropy benchmarking experiments. Emulating a two-dimensional (2D) XY quantum magnet, we leverage a wide range of measurement techniques to study quantum states after ramps from an antiferromagnetic initial state. We observe signatures of the classical Kosterlitz-Thouless phase transition, as well as strong deviations from Kibble-Zurek scaling predictions attributed to the interplay between quantum and classical coarsening of the correlated domains. This interpretation is corroborated by injecting variable energy density into the initial state, which enables studying the effects of the eigenstate thermalization hypothesis (ETH) in targeted parts of the eigenspectrum. Finally, we digitally prepare the system in pairwise-entangled dimer states and image the transport of energy and vorticity during thermalization. These results establish the efficacy of superconducting analog-digital quantum processors for preparing states across many-body spectra and unveiling their thermalization dynamics. △ Less

Submitted 8 July, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Optimization of resources for digital radio transmission over IBOC FM through max-min fairness

Authors: Mónica Rico Martínez, Juan Carlos Vesga Ferreira, Joel Carroll Vargas, María Consuelo Rodríguez Niño, Andrés Alejandro Diaz Toro, William Alexander Cuevas Carrero

Abstract: The equitable distribution of resources in a network is a complex process, considering that not all nodes have the same requirements, and the In-Band On-Channel (IBOC) hybrid transmission system is no exception. The IBOC system utilizes a hybrid in-band transmission to simultaneously broadcast analog and digital audio over the FM band. This article proposes the use of a Max-Min Fairness (MMF) algo… ▽ More The equitable distribution of resources in a network is a complex process, considering that not all nodes have the same requirements, and the In-Band On-Channel (IBOC) hybrid transmission system is no exception. The IBOC system utilizes a hybrid in-band transmission to simultaneously broadcast analog and digital audio over the FM band. This article proposes the use of a Max-Min Fairness (MMF) algorithm, with a strategy to optimize resource allocation for IBOC FM transmission in a multiservice scenario. Additionally, the MMF algorithm offers low computational complexity for implementation in low-cost embedded systems, aiming to achieve fair resource distribution and provide adequate Quality of Service (QoS) levels for each node in the RF network, considering channel conditions and traffic types. The article explores a scenario under saturated traffic conditions to assess the optimization capabilities of the MMF algorithm under well-defined traffic and channel conditions. The evaluation process yielded highly favorable results, indicating that theMMF algorithm can be considered a viable alternative for bandwidth optimization in digital broadcasting over IBOC on FM with 95% confidence, and it holds potential for implementation in other digital broadcasting system. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 10 pages, 3 table

An Extension of the Non-Inferior Set Estimation Algorithm for Many Objectives

Authors: Marcos M. Raimundo, Paulo A. V. Ferreira, Fernando J. Von Zuben

Abstract: This work proposes a novel multi-objective optimization approach that globally finds a representative non-inferior set of solutions, also known as Pareto-optimal solutions, by automatically formulating and solving a sequence of weighted sum method scalarization problems. The approach is called MONISE (Many-Objective NISE) because it represents an extension of the well-known non-inferior set estima… ▽ More This work proposes a novel multi-objective optimization approach that globally finds a representative non-inferior set of solutions, also known as Pareto-optimal solutions, by automatically formulating and solving a sequence of weighted sum method scalarization problems. The approach is called MONISE (Many-Objective NISE) because it represents an extension of the well-known non-inferior set estimation (NISE) algorithm, which was originally conceived to deal with two-dimensional objective spaces. The proposal is endowed with the following characteristics: (1) uses a mixed-integer linear programming formulation to operate in two or more dimensions, thus properly supporting many (i.e., three or more) objectives; (2) relies on an external algorithm to solve the weighted sum method scalarization problem to optimality; and (3) creates a faithful representation of the Pareto frontier in the case of convex problems, and a useful approximation of it in the non-convex case. Moreover, when dealing specifically with two objectives, some additional properties are portrayed for the estimated non-inferior set. Experimental results validate the proposal and indicate that MONISE is competitive, in convex and non-convex (combinatorial) problems, both in terms of computational cost and the overall quality of the non-inferior set, measured by the acquired hypervolume. △ Less

Submitted 7 December, 2023; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: This paper is identical to arXiv:1709.00797 but I created a new submission by mistake

Journal ref: European Journal of Operational Research, 284(1), 53-66 (2020)

Retraction methods and fixed point free maps with null minimal displacements on unit ball

Authors: C. S. Barroso, V. Ferreira

Abstract: In this paper we consider the class of Hölder-Lipschitz maps on unit ball $B_X$ of a Banach space $X$, and the question we deal with is whether for any $α\in (0,1)$ and $λ>0$ there exists a fixed-point free map $T\colon B_X\to B_X$ such that $\|Tx - Ty\|\leq λ\|x - y\|^α$ for all $x, y\in B_X$ and $\mathrm{d}(T,B_X)=0$. We show that if $X$ has a spreading Schauder basis then such a map can always… ▽ More In this paper we consider the class of Hölder-Lipschitz maps on unit ball $B_X$ of a Banach space $X$, and the question we deal with is whether for any $α\in (0,1)$ and $λ>0$ there exists a fixed-point free map $T\colon B_X\to B_X$ such that $\|Tx - Ty\|\leq λ\|x - y\|^α$ for all $x, y\in B_X$ and $\mathrm{d}(T,B_X)=0$. We show that if $X$ has a spreading Schauder basis then such a map can always be built, answering a question posed by the first author in \cite{Bar}. In the general case, using a recent approach of R. Medina \cite{M} concerning Hölder retractions of $(r_n)$-flat closed convex sets, we show that for any decreasing null sequence $(r_n)\subset \mathbb{R}$, there exists a fixed-point free map** $T$ on $B_X$ so that $\|T^nx - T^n y\|\leq r_n(\| x - y\|^α+1)$ for all $x, y\in B_X$ and $n\in\mathbb{N}$. New results related to Lipschitz maps are also obtained. △ Less

Submitted 24 July, 2023; originally announced July 2023.

Comments: Comments welcome

Dynamics of magnetization at infinite temperature in a Heisenberg spin chain

Authors: Eliott Rosenberg, Trond Andersen, Rhine Samajdar, Andre Petukhov, Jesse Hoke, Dmitry Abanin, Andreas Bengtsson, Ilya Drozdov, Catherine Erickson, Paul Klimov, Xiao Mi, Alexis Morvan, Matthew Neeley, Charles Neill, Rajeev Acharya, Richard Allen, Kyle Anderson, Markus Ansmann, Frank Arute, Kunal Arya, Abraham Asfaw, Juan Atalaya, Joseph Bardin, A. Bilmes, Gina Bortoli , et al. (156 additional authors not shown)

Abstract: Understanding universal aspects of quantum dynamics is an unresolved problem in statistical mechanics. In particular, the spin dynamics of the 1D Heisenberg model were conjectured to belong to the Kardar-Parisi-Zhang (KPZ) universality class based on the scaling of the infinite-temperature spin-spin correlation function. In a chain of 46 superconducting qubits, we study the probability distributio… ▽ More Understanding universal aspects of quantum dynamics is an unresolved problem in statistical mechanics. In particular, the spin dynamics of the 1D Heisenberg model were conjectured to belong to the Kardar-Parisi-Zhang (KPZ) universality class based on the scaling of the infinite-temperature spin-spin correlation function. In a chain of 46 superconducting qubits, we study the probability distribution, $P(\mathcal{M})$, of the magnetization transferred across the chain's center. The first two moments of $P(\mathcal{M})$ show superdiffusive behavior, a hallmark of KPZ universality. However, the third and fourth moments rule out the KPZ conjecture and allow for evaluating other theories. Our results highlight the importance of studying higher moments in determining dynamic universality classes and provide key insights into universal behavior in quantum systems. △ Less

Submitted 4 April, 2024; v1 submitted 15 June, 2023; originally announced June 2023.

Journal ref: Science 384, 48-53 (2024)

Stable Quantum-Correlated Many Body States through Engineered Dissipation

Authors: X. Mi, A. A. Michailidis, S. Shabani, K. C. Miao, P. V. Klimov, J. Lloyd, E. Rosenberg, R. Acharya, I. Aleiner, T. I. Andersen, M. Ansmann, F. Arute, K. Arya, A. Asfaw, J. Atalaya, J. C. Bardin, A. Bengtsson, G. Bortoli, A. Bourassa, J. Bovaird, L. Brill, M. Broughton, B. B. Buckley, D. A. Buell, T. Burger , et al. (142 additional authors not shown)

Abstract: Engineered dissipative reservoirs have the potential to steer many-body quantum systems toward correlated steady states useful for quantum simulation of high-temperature superconductivity or quantum magnetism. Using up to 49 superconducting qubits, we prepared low-energy states of the transverse-field Ising model through coupling to dissipative auxiliary qubits. In one dimension, we observed long-… ▽ More Engineered dissipative reservoirs have the potential to steer many-body quantum systems toward correlated steady states useful for quantum simulation of high-temperature superconductivity or quantum magnetism. Using up to 49 superconducting qubits, we prepared low-energy states of the transverse-field Ising model through coupling to dissipative auxiliary qubits. In one dimension, we observed long-range quantum correlations and a ground-state fidelity of 0.86 for 18 qubits at the critical point. In two dimensions, we found mutual information that extends beyond nearest neighbors. Lastly, by coupling the system to auxiliaries emulating reservoirs with different chemical potentials, we explored transport in the quantum Heisenberg model. Our results establish engineered dissipation as a scalable alternative to unitary evolution for preparing entangled many-body states on noisy quantum processors. △ Less

Submitted 5 April, 2024; v1 submitted 26 April, 2023; originally announced April 2023.

Journal ref: Science 383, 1332-1337 (2024)

Phase transition in Random Circuit Sampling

Authors: A. Morvan, B. Villalonga, X. Mi, S. Mandrà, A. Bengtsson, P. V. Klimov, Z. Chen, S. Hong, C. Erickson, I. K. Drozdov, J. Chau, G. Laun, R. Movassagh, A. Asfaw, L. T. A. N. Brandão, R. Peralta, D. Abanin, R. Acharya, R. Allen, T. I. Andersen, K. Anderson, M. Ansmann, F. Arute, K. Arya, J. Atalaya , et al. (160 additional authors not shown)

Abstract: Undesired coupling to the surrounding environment destroys long-range correlations on quantum processors and hinders the coherent evolution in the nominally available computational space. This incoherent noise is an outstanding challenge to fully leverage the computation power of near-term quantum processors. It has been shown that benchmarking Random Circuit Sampling (RCS) with Cross-Entropy Benc… ▽ More Undesired coupling to the surrounding environment destroys long-range correlations on quantum processors and hinders the coherent evolution in the nominally available computational space. This incoherent noise is an outstanding challenge to fully leverage the computation power of near-term quantum processors. It has been shown that benchmarking Random Circuit Sampling (RCS) with Cross-Entropy Benchmarking (XEB) can provide a reliable estimate of the effective size of the Hilbert space coherently available. The extent to which the presence of noise can trivialize the outputs of a given quantum algorithm, i.e. making it spoofable by a classical computation, is an unanswered question. Here, by implementing an RCS algorithm we demonstrate experimentally that there are two phase transitions observable with XEB, which we explain theoretically with a statistical model. The first is a dynamical transition as a function of the number of cycles and is the continuation of the anti-concentration point in the noiseless case. The second is a quantum phase transition controlled by the error per cycle; to identify it analytically and experimentally, we create a weak link model which allows varying the strength of noise versus coherent evolution. Furthermore, by presenting an RCS experiment with 67 qubits at 32 cycles, we demonstrate that the computational cost of our experiment is beyond the capabilities of existing classical supercomputers, even when accounting for the inevitable presence of noise. Our experimental and theoretical work establishes the existence of transitions to a stable computationally complex phase that is reachable with current quantum processors. △ Less

Submitted 21 December, 2023; v1 submitted 21 April, 2023; originally announced April 2023.

Measurement-induced entanglement and teleportation on a noisy quantum processor

Authors: Jesse C. Hoke, Matteo Ippoliti, Eliott Rosenberg, Dmitry Abanin, Rajeev Acharya, Trond I. Andersen, Markus Ansmann, Frank Arute, Kunal Arya, Abraham Asfaw, Juan Atalaya, Joseph C. Bardin, Andreas Bengtsson, Gina Bortoli, Alexandre Bourassa, Jenna Bovaird, Leon Brill, Michael Broughton, Bob B. Buckley, David A. Buell, Tim Burger, Brian Burkett, Nicholas Bushnell, Zijun Chen, Ben Chiaro , et al. (138 additional authors not shown)

Abstract: Measurement has a special role in quantum theory: by collapsing the wavefunction it can enable phenomena such as teleportation and thereby alter the "arrow of time" that constrains unitary evolution. When integrated in many-body dynamics, measurements can lead to emergent patterns of quantum information in space-time that go beyond established paradigms for characterizing phases, either in or out… ▽ More Measurement has a special role in quantum theory: by collapsing the wavefunction it can enable phenomena such as teleportation and thereby alter the "arrow of time" that constrains unitary evolution. When integrated in many-body dynamics, measurements can lead to emergent patterns of quantum information in space-time that go beyond established paradigms for characterizing phases, either in or out of equilibrium. On present-day NISQ processors, the experimental realization of this physics is challenging due to noise, hardware limitations, and the stochastic nature of quantum measurement. Here we address each of these experimental challenges and investigate measurement-induced quantum information phases on up to 70 superconducting qubits. By leveraging the interchangeability of space and time, we use a duality map**, to avoid mid-circuit measurement and access different manifestations of the underlying phases -- from entanglement scaling to measurement-induced teleportation -- in a unified way. We obtain finite-size signatures of a phase transition with a decoding protocol that correlates the experimental measurement record with classical simulation data. The phases display sharply different sensitivity to noise, which we exploit to turn an inherent hardware limitation into a useful diagnostic. Our work demonstrates an approach to realize measurement-induced physics at scales that are at the limits of current NISQ processors. △ Less

Submitted 17 October, 2023; v1 submitted 8 March, 2023; originally announced March 2023.

Journal ref: Nature 622, 481-486 (2023)

Credible, Optimal Auctions via Blockchains

Authors: Tarun Chitra, Matheus V. X. Ferreira, Kshitij Kulkarni

Abstract: Akbarpour and Li (2020) formalized credibility as an auction desideratum where the auctioneer cannot benefit by implementing undetectable deviations from the promised auction and showed that, in the plain model, the ascending price auction with reserves is the only credible, strategyproof, revenue-optimal auction. Ferreira and Weinberg (2020) proposed the Deferred Revelation Auction (DRA) as a com… ▽ More Akbarpour and Li (2020) formalized credibility as an auction desideratum where the auctioneer cannot benefit by implementing undetectable deviations from the promised auction and showed that, in the plain model, the ascending price auction with reserves is the only credible, strategyproof, revenue-optimal auction. Ferreira and Weinberg (2020) proposed the Deferred Revelation Auction (DRA) as a communication efficient auction that avoids the uniqueness results from Akbarpour and Li (2020) assuming the existence of cryptographic commitments and as long as bidder valuations are MHR. They also showed DRA is not credible in settings where bidder valuations are $α$-strongly regular unless $α> 1$. In this paper, we ask if blockchains allow us to design a larger class of credible auctions. We answer this question positively, by showing that DRA is credible even for $α$-strongly regular distributions for all $α> 0$ if implemented over a secure and censorship-resistant blockchain. We argue ledgers provide two properties that limit deviations from a self-interested auctioneer. First, the existence of smart contracts allows one to extend the concept of credibility to settings where the auctioneer does not have a reputation -- one of the main limitations for the definition of credibility from Akbarpour and Li (2020). Second, blockchains allow us to implement mechanisms over a public broadcast channel, removing the adaptive undetectable deviations driving the negative results of Ferreira and Weinberg (2020). △ Less

Submitted 29 January, 2023; originally announced January 2023.

Overcoming leakage in scalable quantum error correction

Authors: Kevin C. Miao, Matt McEwen, Juan Atalaya, Dvir Kafri, Leonid P. Pryadko, Andreas Bengtsson, Alex Opremcak, Kevin J. Satzinger, Zijun Chen, Paul V. Klimov, Chris Quintana, Rajeev Acharya, Kyle Anderson, Markus Ansmann, Frank Arute, Kunal Arya, Abraham Asfaw, Joseph C. Bardin, Alexandre Bourassa, Jenna Bovaird, Leon Brill, Bob B. Buckley, David A. Buell, Tim Burger, Brian Burkett , et al. (92 additional authors not shown)

Abstract: Leakage of quantum information out of computational states into higher energy states represents a major challenge in the pursuit of quantum error correction (QEC). In a QEC circuit, leakage builds over time and spreads through multi-qubit interactions. This leads to correlated errors that degrade the exponential suppression of logical error with scale, challenging the feasibility of QEC as a path… ▽ More Leakage of quantum information out of computational states into higher energy states represents a major challenge in the pursuit of quantum error correction (QEC). In a QEC circuit, leakage builds over time and spreads through multi-qubit interactions. This leads to correlated errors that degrade the exponential suppression of logical error with scale, challenging the feasibility of QEC as a path towards fault-tolerant quantum computation. Here, we demonstrate the execution of a distance-3 surface code and distance-21 bit-flip code on a Sycamore quantum processor where leakage is removed from all qubits in each cycle. This shortens the lifetime of leakage and curtails its ability to spread and induce correlated errors. We report a ten-fold reduction in steady-state leakage population on the data qubits encoding the logical state and an average leakage population of less than $1 \times 10^{-3}$ throughout the entire device. The leakage removal process itself efficiently returns leakage population back to the computational basis, and adding it to a code circuit prevents leakage from inducing correlated error across cycles, restoring a fundamental assumption of QEC. With this demonstration that leakage can be contained, we resolve a key challenge for practical QEC at scale. △ Less

Submitted 9 November, 2022; originally announced November 2022.

Comments: Main text: 7 pages, 5 figures

Fractal signature as a rotational modulation and stellar noise classifier based on the active Kepler stars

Authors: Paulo Cleber Farias da Silva Filho, Jose Ribamar Dantas Silveira Junior, Bricio Warney de Freitas Alves, Fernando Jose Silva Lima Filho, Vitor Marcelo Belo Ferreira, Luiz Daniel Alves Rios, Thiago de Melo Santiago, Daniel Brito de Freitas

Abstract: In this study, we report on the analysis of 701 stars in a solar vicinity defined in three categories namely subsolar, solar, and supersolar with rotation periods between 1 and 70 days, based on rotational modulation signatures inferred from time series from the Kepler mission's Public Archives. In our analysis, we performed an initial selection based on the rotation period and position in the per… ▽ More In this study, we report on the analysis of 701 stars in a solar vicinity defined in three categories namely subsolar, solar, and supersolar with rotation periods between 1 and 70 days, based on rotational modulation signatures inferred from time series from the Kepler mission's Public Archives. In our analysis, we performed an initial selection based on the rotation period and position in the period-H diagram, where H denotes the Hurst exponent extracted from fractal analysis. To refine our analysis, we applied a fractal approach known as the R/S method, taking into account the fluctuations of the features associated with photometric modulation at different time intervals and the fractality traces that are present in the time series of our sample. In this sense, we computed the so-called Hurst exponent for the referred stars and found that it can provide a strong discriminant of rotational modulation and background noise behavior, going beyond what can be achieved with solely the rotation period itself. Furthermore, our results emphasize that the rotation period of stars is scaled by the exponent H which increases following the increase in the rotation period. Finally, our approach suggests that the referred exponent may be a powerful rotational modulation and noise classifier. △ Less

Submitted 4 November, 2022; originally announced November 2022.

Comments: 18 pages, 5 figures, submitted to BJD

Purification-based quantum error mitigation of pair-correlated electron simulations

Authors: T. E. O'Brien, G. Anselmetti, F. Gkritsis, V. E. Elfving, S. Polla, W. J. Huggins, O. Oumarou, K. Kechedzhi, D. Abanin, R. Acharya, I. Aleiner, R. Allen, T. I. Andersen, K. Anderson, M. Ansmann, F. Arute, K. Arya, A. Asfaw, J. Atalaya, D. Bacon, J. C. Bardin, A. Bengtsson, S. Boixo, G. Bortoli, A. Bourassa , et al. (151 additional authors not shown)

Abstract: An important measure of the development of quantum computing platforms has been the simulation of increasingly complex physical systems. Prior to fault-tolerant quantum computing, robust error mitigation strategies are necessary to continue this growth. Here, we study physical simulation within the seniority-zero electron pairing subspace, which affords both a computational step** stone to a ful… ▽ More An important measure of the development of quantum computing platforms has been the simulation of increasingly complex physical systems. Prior to fault-tolerant quantum computing, robust error mitigation strategies are necessary to continue this growth. Here, we study physical simulation within the seniority-zero electron pairing subspace, which affords both a computational step** stone to a fully correlated model, and an opportunity to validate recently introduced ``purification-based'' error-mitigation strategies. We compare the performance of error mitigation based on doubling quantum resources in time (echo verification) or in space (virtual distillation), on up to $20$ qubits of a superconducting qubit quantum processor. We observe a reduction of error by one to two orders of magnitude below less sophisticated techniques (e.g. post-selection); the gain from error mitigation is seen to increase with the system size. Employing these error mitigation strategies enables the implementation of the largest variational algorithm for a correlated chemistry system to-date. Extrapolating performance from these results allows us to estimate minimum requirements for a beyond-classical simulation of electronic structure. We find that, despite the impressive gains from purification-based error mitigation, significant hardware improvements will be required for classically intractable variational chemistry simulations. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Comments: 10 pages, 13 page supplementary material, 12 figures. Experimental data available at https://doi.org/10.5281/zenodo.7225821

Journal ref: Nat. Phys. (2023)

Non-Abelian braiding of graph vertices in a superconducting processor

Authors: Trond I. Andersen, Yuri D. Lensky, Kostyantyn Kechedzhi, Ilya Drozdov, Andreas Bengtsson, Sabrina Hong, Alexis Morvan, Xiao Mi, Alex Opremcak, Rajeev Acharya, Richard Allen, Markus Ansmann, Frank Arute, Kunal Arya, Abraham Asfaw, Juan Atalaya, Ryan Babbush, Dave Bacon, Joseph C. Bardin, Gina Bortoli, Alexandre Bourassa, Jenna Bovaird, Leon Brill, Michael Broughton, Bob B. Buckley , et al. (144 additional authors not shown)

Abstract: Indistinguishability of particles is a fundamental principle of quantum mechanics. For all elementary and quasiparticles observed to date - including fermions, bosons, and Abelian anyons - this principle guarantees that the braiding of identical particles leaves the system unchanged. However, in two spatial dimensions, an intriguing possibility exists: braiding of non-Abelian anyons causes rotatio… ▽ More Indistinguishability of particles is a fundamental principle of quantum mechanics. For all elementary and quasiparticles observed to date - including fermions, bosons, and Abelian anyons - this principle guarantees that the braiding of identical particles leaves the system unchanged. However, in two spatial dimensions, an intriguing possibility exists: braiding of non-Abelian anyons causes rotations in a space of topologically degenerate wavefunctions. Hence, it can change the observables of the system without violating the principle of indistinguishability. Despite the well developed mathematical description of non-Abelian anyons and numerous theoretical proposals, the experimental observation of their exchange statistics has remained elusive for decades. Controllable many-body quantum states generated on quantum processors offer another path for exploring these fundamental phenomena. While efforts on conventional solid-state platforms typically involve Hamiltonian dynamics of quasi-particles, superconducting quantum processors allow for directly manipulating the many-body wavefunction via unitary gates. Building on predictions that stabilizer codes can host projective non-Abelian Ising anyons, we implement a generalized stabilizer code and unitary protocol to create and braid them. This allows us to experimentally verify the fusion rules of the anyons and braid them to realize their statistics. We then study the prospect of employing the anyons for quantum computation and utilize braiding to create an entangled state of anyons encoding three logical qubits. Our work provides new insights about non-Abelian braiding and - through the future inclusion of error correction to achieve topological protection - could open a path toward fault-tolerant quantum computing. △ Less

Submitted 31 May, 2023; v1 submitted 18 October, 2022; originally announced October 2022.

Charged Particle Tracking in Real-Time Using a Full-Mesh Data Delivery Architecture and Associative Memory Techniques

Authors: Sudha Ajuha, Ailton Akira Shinoda, Lucas Arruda Ramalho, Guillaume Baulieu, Gaelle Boudoul, Massimo Casarsa, Andre Cascadan, Emyr Clement, Thiago Costa de Paiva, Souvik Das, Suchandra Dutta, Ricardo Eusebi, Giacomo Fedi, Vitor Finotti Ferreira, Kristian Hahn, Zhen Hu, Sergo **dariani, Jacobo Konigsberg, Tiehui Liu, Jia Fu Low, Emily MacDonald, Jamieson Olsen, Fabrizio Palla, Nicola Pozzobon, Denis Rathjens , et al. (11 additional authors not shown)

Abstract: We present a flexible and scalable approach to address the challenges of charged particle track reconstruction in real-time event filters (Level-1 triggers) in collider physics experiments. The method described here is based on a full-mesh architecture for data distribution and relies on the Associative Memory approach to implement a pattern recognition algorithm that quickly identifies and organi… ▽ More We present a flexible and scalable approach to address the challenges of charged particle track reconstruction in real-time event filters (Level-1 triggers) in collider physics experiments. The method described here is based on a full-mesh architecture for data distribution and relies on the Associative Memory approach to implement a pattern recognition algorithm that quickly identifies and organizes hits associated to trajectories of particles originating from particle collisions. We describe a successful implementation of a demonstration system composed of several innovative hardware and algorithmic elements. The implementation of a full-size system relies on the assumption that an Associative Memory device with the sufficient pattern density becomes available in the future, either through a dedicated ASIC or a modern FPGA. We demonstrate excellent performance in terms of track reconstruction efficiency, purity, momentum resolution, and processing time measured with data from a simulated LHC-like tracking detector. △ Less

Submitted 5 October, 2022; originally announced October 2022.

Credible Decentralized Exchange Design via Verifiable Sequencing Rules

Authors: Matheus V. X. Ferreira, David C. Parkes

Abstract: Trading on decentralized exchanges has been one of the primary use cases for permissionless blockchains with daily trading volume exceeding billions of U.S.~dollars. In the status quo, users broadcast transactions and miners are responsible for composing a block of transactions and picking an execution ordering -- the order in which transactions execute in the exchange. Due to the lack of a regula… ▽ More Trading on decentralized exchanges has been one of the primary use cases for permissionless blockchains with daily trading volume exceeding billions of U.S.~dollars. In the status quo, users broadcast transactions and miners are responsible for composing a block of transactions and picking an execution ordering -- the order in which transactions execute in the exchange. Due to the lack of a regulatory framework, it is common to observe miners exploiting their privileged position by front-running transactions and obtaining risk-fee profits. In this work, we propose to modify the interaction between miners and users and initiate the study of {\em verifiable sequencing rules}. As in the status quo, miners can determine the content of a block; however, they commit to respecting a sequencing rule that constrains the execution ordering and is verifiable (there is a polynomial time algorithm that can verify if the execution ordering satisfies such constraints). Thus in the event a miner deviates from the sequencing rule, anyone can generate a proof of non-compliance. We ask if there are sequencing rules that limit price manipulation from miners in a two-token liquidity pool exchange. Our first result is an impossibility theorem: for any sequencing rule, there is an instance of user transactions where the miner can obtain non-zero risk-free profits. In light of this impossibility result, our main result is a verifiable sequencing rule that provides execution price guarantees for users. In particular, for any user transaction A, it ensures that either (1) the execution price of A is at least as good as if A was the only transaction in the block, or (2) the execution price of A is worse than this ``standalone'' price and the miner does not gain (or lose) when including A in the block. △ Less

Submitted 17 April, 2023; v1 submitted 30 September, 2022; originally announced September 2022.

Comments: 34 Pages, 55th ACM Symposium on Theory of Computing (STOC 2023)

Journal ref: STOC 2023: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, 723-736

Influence Optimization in Networks: New Formulations and Valid Inequalities

Authors: Vinicius Ferreira, Artur Pessoa, Thibaut Vidal

Abstract: Influence propagation has been the subject of extensive study due to its important role in social networks, epidemiology, and many other areas. Understanding propagation mechanisms is critical to control the spread of fake news or epidemics. In this work, we study the problem of detecting the smallest group of users whose conversion achieves, through propagation, a certain influence level over the… ▽ More Influence propagation has been the subject of extensive study due to its important role in social networks, epidemiology, and many other areas. Understanding propagation mechanisms is critical to control the spread of fake news or epidemics. In this work, we study the problem of detecting the smallest group of users whose conversion achieves, through propagation, a certain influence level over the network, therefore giving valuable information on the propagation behavior in this network. We develop mixed integer programming algorithms to solve this problem. The core of our algorithm is based on new valid inequalities, cutting planes, and separation algorithms embedded into a branch-and-cut algorithm. We additionally introduce a compact formulation relying on fewer variables. Through extensive computational experiments, we observe that the proposed methods can optimally solve many previously-open benchmark instances, and otherwise achieve small optimality gaps. These experiments also provide various insights into the benefits of different mathematical formulations. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Multifractal charactarization as a function of timescale in the light curves with planetary signal observed by the kepler mission

Authors: F. J. S. Lima Filho, V. M. B. Ferreira, P. C. F. da Silva Filho, F. O. da Silva Gomes, B. W. de Freitas Alves, S. G. A. Barbosa, T. de Melo Santiago, D. B. de Freitas

Abstract: Astrophysical data, in the domains of time, involve a wide range of stellar variability phenomena, among them the magnetic activity of the order of a few hours until the signature of an extra-solar planet which can cover a scale of time of a few days until tens of years. Numerous instruments are being developed to detect Earth-sized exoplanets. Exoplanets with this dimension challenge scientific i… ▽ More Astrophysical data, in the domains of time, involve a wide range of stellar variability phenomena, among them the magnetic activity of the order of a few hours until the signature of an extra-solar planet which can cover a scale of time of a few days until tens of years. Numerous instruments are being developed to detect Earth-sized exoplanets. Exoplanets with this dimension challenge scientific instrumentation and the field of research in the data processing. In this context, our study offers a powerful framework to explain dynamical properties as a function of timescale in light curves with the planetary signal. For that, we selected the stellar target Kepler-30 to test our methods and procedures. In this sense, we investigate the multifractal behavior of the Kepler-30 system composed of a sun-like star with a rotation period of ~16 days and three planets with masses between 2 Earth and 2.5 Jupiter masses. Furthermore, this system has an orbital period varying from 29 to 143 days and orbits almost coplanar. This system is highly interesting because starspots dynamics are strongly affected by the passing of a planet in front of the star. We used about 1600 days of high-precision photometry collected by the Kepler mission to investigate the quasi-periodic variation caused by the rotation of the star and the effect of spot evolution as a function of timescale. We applied indexes extract from multifractal analysis to model the flux rotational modulation induced by active regions. Our results that stellar flux variations in Kepler-30 star caused by rotational modulation can be replicated in detail with just four recent-known multifractal indexes. These indexes will greatly simplify spot modelling of current TESS and future PLATO data. △ Less

Submitted 9 September, 2022; originally announced September 2022.

Comments: 20 pages, 1 table, 5 figures (submitted to BJD)

Dissecting kinetically coupled quintessence: phenomenology and observational tests

Authors: Elsa M. Teixeira, Bruno J. Barros, Vasco M. C. Ferreira, Noemi Frusciante

Abstract: We investigate an interacting dark energy model which allows for the kinetic term of the scalar field to couple to dark matter via a power-law interaction. The model is characterised by scaling solutions at early times, which are of high interest to alleviate the coincidence problem, followed by a period of accelerated expansion. We discuss the phenomenology of the background evolution and of the… ▽ More We investigate an interacting dark energy model which allows for the kinetic term of the scalar field to couple to dark matter via a power-law interaction. The model is characterised by scaling solutions at early times, which are of high interest to alleviate the coincidence problem, followed by a period of accelerated expansion. We discuss the phenomenology of the background evolution and of the linear scalar perturbations and we identify measurable signatures of the coupling in the dark sector on the cosmic microwave background, the lensing potential auto-correlation and the matter power spectra. We also perform a parameter estimation analysis using data of cosmic microwave background temperature, polarisation and lensing, baryonic acoustic oscillations and supernovae. We find that the strength of the coupling between the dark sectors, regulated by the parameter $α$, is constrained to be of order $10^{-4}$. A model selection analysis does not reveal a statistical preference between $Λ$CDM and the Kinetic model. △ Less

Submitted 5 December, 2022; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: V2: minor corrections, 24 pages, 12 figures, 4 tables, matches published version

Journal ref: JCAP 11 (2022) 059

Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake

Authors: Matheus V. X. Ferreira, Ye Lin Sally Hahn, S. Matthew Weinberg, Catherine Yu

Abstract: Cryptographic Self-Selection is a subroutine used to select a leader for modern proof-of-stake consensus protocols, such as Algorand. In cryptographic self-selection, each round $r$ has a seed $Q_r$. In round $r$, each account owner is asked to digitally sign $Q_r$, hash their digital signature to produce a credential, and then broadcast this credential to the entire network. A publicly-known func… ▽ More Cryptographic Self-Selection is a subroutine used to select a leader for modern proof-of-stake consensus protocols, such as Algorand. In cryptographic self-selection, each round $r$ has a seed $Q_r$. In round $r$, each account owner is asked to digitally sign $Q_r$, hash their digital signature to produce a credential, and then broadcast this credential to the entire network. A publicly-known function scores each credential in a manner so that the distribution of the lowest scoring credential is identical to the distribution of stake owned by each account. The user who broadcasts the lowest-scoring credential is the leader for round $r$, and their credential becomes the seed $Q_{r+1}$. Such protocols leave open the possibility of a selfish-mining style attack: a user who owns multiple accounts that each produce low-scoring credentials in round $r$ can selectively choose which ones to broadcast in order to influence the seed for round $r+1$. Indeed, the user can pre-compute their credentials for round $r+1$ for each potential seed, and broadcast only the credential (among those with a low enough score to be the leader) that produces the most favorable seed. We consider an adversary who wishes to maximize the expected fraction of rounds in which an account they own is the leader. We show such an adversary always benefits from deviating from the intended protocol, regardless of the fraction of the stake controlled. We characterize the optimal strategy; first by proving the existence of optimal positive recurrent strategies whenever the adversary owns last than $38\%$ of the stake. Then, we provide a Markov Decision Process formulation to compute the optimal strategy. △ Less

Submitted 16 July, 2022; originally announced July 2022.

Comments: 31 pages, ACM EC 2022

Journal ref: EC '22: Proceedings of the 23rd ACM Conference on Economics and Computation, 2022, 89-114

Deterministic Generation of Multidimensional Photonic Cluster States with a Single Quantum Emitter

Authors: Vinicius S. Ferreira, Gihwan Kim, Andreas Butler, Hannes Pichler, Oskar Painter

Abstract: Multidimensional photonic graph states, such as cluster states, have prospective applications in quantum metrology, secure quantum communication, and measurement-based quantum computation. However, to date, generation of multidimensional cluster states of photonic qubits has relied on probabilistic methods that limit the scalability of typical generation schemes in optical systems. Here we present… ▽ More Multidimensional photonic graph states, such as cluster states, have prospective applications in quantum metrology, secure quantum communication, and measurement-based quantum computation. However, to date, generation of multidimensional cluster states of photonic qubits has relied on probabilistic methods that limit the scalability of typical generation schemes in optical systems. Here we present an experimental implementation in the microwave domain of a resource-efficient scheme for the deterministic generation of 2D photonic cluster states. By utilizing a coupled resonator array as a slow-light waveguide, a single flux-tunable transmon qubit as a quantum emitter, and a second auxiliary transmon as a switchable mirror, we achieve rapid, shaped emission of entangled photon wavepackets, and selective time-delayed feedback of photon wavepackets to the emitter qubit. We leverage these capabilities to generate a 2D cluster state of four photons with 70\% fidelity, as verified by tomographic reconstruction of the quantum state. We discuss how our scheme could be straightforwardly extended to the generation of even larger cluster states, of even higher dimension, thereby expanding the scope and practical utility of such states for quantum information processing tasks. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: 31 pages, 17 figures

Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for all Distributions

Authors: Meryem Essaidi, Matheus V. X. Ferreira, S. Matthew Weinberg

Abstract: We consider a revenue-maximizing seller with a single item for sale to multiple buyers with i.i.d. valuations. Akbarpour and Li (2020) show that the only optimal, credible, strategyproof auction is the ascending price auction with reserves which has unbounded communication complexity. Recent work of Ferreira and Weinberg (2020) circumvents their impossibility result assuming the existence of crypt… ▽ More We consider a revenue-maximizing seller with a single item for sale to multiple buyers with i.i.d. valuations. Akbarpour and Li (2020) show that the only optimal, credible, strategyproof auction is the ascending price auction with reserves which has unbounded communication complexity. Recent work of Ferreira and Weinberg (2020) circumvents their impossibility result assuming the existence of cryptographically secure commitment schemes, and designs a two-round credible, strategyproof, optimal auction. However, their auction is only credible when buyers' valuations are MHR or $α$-strongly regular: they show their auction might not be credible even when there is a single buyer drawn from a non-MHR distribution. In this work, under the same cryptographic assumptions, we identify a new single-item auction that is credible, strategyproof, revenue optimal, and terminates in constant rounds in expectation for all distributions with finite monopoly price. △ Less

Submitted 29 May, 2022; originally announced May 2022.

Comments: 22 Pages

Journal ref: ITCS 2022: 13th Innovations in Theoretical Computer Science Conference, 2022

Proof-of-Stake Mining Games with Perfect Randomness

Authors: Matheus V. X. Ferreira, S. Matthew Weinberg

Abstract: Proof-of-Stake blockchains based on a longest-chain consensus protocol are an attractive energy-friendly alternative to the Proof-of-Work paradigm. However, formal barriers to "getting the incentives right" were recently discovered, driven by the desire to use the blockchain itself as a source of pseudorandomness \cite{brown2019formal}. We consider instead a longest-chain Proof-of-Stake protocol… ▽ More Proof-of-Stake blockchains based on a longest-chain consensus protocol are an attractive energy-friendly alternative to the Proof-of-Work paradigm. However, formal barriers to "getting the incentives right" were recently discovered, driven by the desire to use the blockchain itself as a source of pseudorandomness \cite{brown2019formal}. We consider instead a longest-chain Proof-of-Stake protocol with perfect, trusted, external randomness (e.g. a randomness beacon). We produce two main results. First, we show that a strategic miner can strictly outperform an honest miner with just $32.5\%$ of the total stake. Note that a miner of this size {\em cannot} outperform an honest miner in the Proof-of-Work model. This establishes that even with access to a perfect randomness beacon, incentives in Proof-of-Work and Proof-of-Stake longest-chain protocols are fundamentally different. Second, we prove that a strategic miner cannot outperform an honest miner with $30.8\%$ of the total stake. This means that, while not quite as secure as the Proof-of-Work regime, desirable incentive properties of Proof-of-Work longest-chain protocols can be approximately recovered via Proof-of-Stake with a perfect randomness beacon. The space of possible strategies in a Proof-of-Stake mining game is {\em significantly} richer than in a Proof-of-Work game. Our main technical contribution is a characterization of potentially optimal strategies for a strategic miner, and in particular, a proof that the corresponding infinite-state MDP admits an optimal strategy that is positive recurrent. △ Less

Submitted 14 December, 2021; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 79 Pages, ACM EC 2021

Journal ref: EC 21: Proceedings of the 22nd ACM Conference on Economics and Computation, 2021, 433-453

Dynamic Posted-Price Mechanisms for the Blockchain Transaction Fee Market

Authors: Matheus V. X. Ferreira, Daniel J. Moroz, David C. Parkes, Mitchell Stern

Abstract: In recent years, prominent blockchain systems such as Bitcoin and Ethereum have experienced explosive growth in transaction volume, leading to frequent surges in demand for limited block space and causing transaction fees to fluctuate by orders of magnitude. Existing systems sell space using first-price auctions; however, users find it difficult to estimate how much they need to bid in order to ge… ▽ More In recent years, prominent blockchain systems such as Bitcoin and Ethereum have experienced explosive growth in transaction volume, leading to frequent surges in demand for limited block space and causing transaction fees to fluctuate by orders of magnitude. Existing systems sell space using first-price auctions; however, users find it difficult to estimate how much they need to bid in order to get their transactions accepted onto the chain. If they bid too low, their transactions can have long confirmation times. If they bid too high, they pay larger fees than necessary. In light of these issues, new transaction fee mechanisms have been proposed, most notably EIP-1559, aiming to provide better usability. EIP-1559 is a history-dependent mechanism that relies on block utilization to adjust a base fee. We propose an alternative design -- a {\em dynamic posted-price mechanism} -- which uses not only block utilization but also observable bids from past blocks to compute a posted price for subsequent blocks. We show its potential to reduce price volatility by providing examples for which the prices of EIP-1559 are unstable while the prices of the proposed mechanism are stable. More generally, whenever the demand for the blockchain stabilizes, we ask if our mechanism is able to converge to a stable state. Our main result provides sufficient conditions in a probabilistic setting for which the proposed mechanism is approximately welfare optimal and the prices are stable. Our main technical contribution towards establishing stability is an iterative algorithm that, given oracle access to a Lipschitz continuous and strictly concave function $f$, converges to a fixed point of $f$. △ Less

Submitted 16 November, 2021; v1 submitted 25 March, 2021; originally announced March 2021.

Journal ref: AFT '21: Proceedings of the 3rd ACM Conference on Advances in Financial Technologies, 2021, 86-99

A New Nuclear Model for Neutrinoless $ββ$-Decay and Double Charge-Exchange Resonances

Authors: C. De Conti, V. dos S. Ferreira, A. R. Samana, C. A. Barbero, F. Krmpotić

Abstract: We have recently developed a nuclear model, specially designed to describe double charge exchange (DCE) processes,which is a natural extension of the $pn$-QRPA model for $β$-decay to $ββ$-decay. Ergo, this model, in addition to including the pairing correlations and having the same number of free parameters, brings into play the $ppnn$-quasiparticle excitations and the Pauli Principle, which are e… ▽ More We have recently developed a nuclear model, specially designed to describe double charge exchange (DCE) processes,which is a natural extension of the $pn$-QRPA model for $β$-decay to $ββ$-decay. Ergo, this model, in addition to including the pairing correlations and having the same number of free parameters, brings into play the $ppnn$-quasiparticle excitations and the Pauli Principle, which are essential ingredients to correctly account for the nuclear matrix elements (NMEs) for $ββ$-decays and nuclear reactions to all $0^+$ and $2^+$ final states, including resonances, and not just to the ground state as in $pn$-QRPA. In addition, it allows us to evaluate the $Q_{ββ}$-values, and the excitation energies in final nucleus, and to work with a single-particle space large enough for the DCE sum rules to be satisfied. So far it has been applied to the $2νββ$-decay, and here we extend it to the $0νββ$-decay. The model that comes closest in terms of its advantages is the shell model. We describe here the DCE observables in: i) $^{76}$Se, which have been recently measured in the GERDA and MAJORANA Experiments, and ii) $^{124}$Te, for which has been reported recently the first direct observation of $2ν$ double electron capture with the XENON1T Dark Matter detector. A good agreement with the data is obtained for both the ground state and the excited states. We have found that the reaction and $0νββ$-decay NMEs are of the same order of magnitude even in the region of giant resonances. △ Less

Submitted 22 January, 2023; v1 submitted 7 January, 2021; originally announced January 2021.

Comments: 15 pages,4 figures

Theoretical and experimental comparative study of nonlinear properties of imidazolium cation based ionic liquids

Authors: Vinícius Castro Ferreira, Letícia Zanchet, Wesley Formentin Monteiro, Letícia Guerreiro da Trindade, Michèle Oberson de Souza, Ricardo Rego Bordalo Correia

Abstract: This work describes the experimental and theoretical study of the nonlinear optical properties of the imidazolium cation based ionic liquids and the corresponding thermo-optical parameters. Experimental results of nonlinear optical properties, such as nonlinear refractive index and thermo-optical properties are determined by Z-scan and EZ-scan techniques with a femtosecond laser source. Theoretica… ▽ More This work describes the experimental and theoretical study of the nonlinear optical properties of the imidazolium cation based ionic liquids and the corresponding thermo-optical parameters. Experimental results of nonlinear optical properties, such as nonlinear refractive index and thermo-optical properties are determined by Z-scan and EZ-scan techniques with a femtosecond laser source. Theoretical simulations of linear and nonlinear optical properties performed by density functional theory (DFT) are discussed, in terms of polarizability, the first and second-order of hyperpolarizability. A correlation between the theoretical and experimental results is presented, where the variation of the signals of each ionic liquid can be compared with their nonlinear optical properties. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Comments: 25 pages, 5 figures, 5 tables

Nonlinear and thermo-optical characterization of bare imidazolium ionic liquids

Authors: Vinícius C. Ferreira, Graciane Marin, Jairton Dupont, Ricardo R. B. Correia

Abstract: Nonlinear optical and thermo-optical properties of two pure ionic liquids, BMIOMe.NTf2 and BMIOMe.N(CN)2, were examined here. It was the first nonlinear refractive index determination of a pristine ionic liquid by a standard self-refraction experiment. The nonlinear optical characterizations were performed using Z-scan and EZ-scan techniques in the thermally managed approach with a mode-locked fem… ▽ More Nonlinear optical and thermo-optical properties of two pure ionic liquids, BMIOMe.NTf2 and BMIOMe.N(CN)2, were examined here. It was the first nonlinear refractive index determination of a pristine ionic liquid by a standard self-refraction experiment. The nonlinear optical characterizations were performed using Z-scan and EZ-scan techniques in the thermally managed approach with a mode-locked femtosecond laser source. Thermal properties were analyzed concomitantly and the thermo-optical coefficient, thermal characteristic time, and lens strength were characterized. These results show that BMIOMe.NTf2 is a prominent material to be engineered for photonics applications △ Less

Submitted 31 July, 2020; originally announced July 2020.

Comments: 7 pages, 6 figures

Lagrangian description of cosmic fluids: map** dark energy into unified dark energy

Authors: V. M. C. Ferreira, P. P. Avelino, R. P. L. Azevedo

Abstract: We investigate the appropriateness of the use of different Lagrangians to describe various components of the cosmic energy budget, discussing the degeneracies between them in the absence of nonminimal couplings to gravity or other fields, and clarifying some misconceptions in the literature. We further demonstrate that these degeneracies are generally broken for nonminimal coupled fluids, in which… ▽ More We investigate the appropriateness of the use of different Lagrangians to describe various components of the cosmic energy budget, discussing the degeneracies between them in the absence of nonminimal couplings to gravity or other fields, and clarifying some misconceptions in the literature. We further demonstrate that these degeneracies are generally broken for nonminimal coupled fluids, in which case the identification of the appropriate on-shell Lagrangian may become essential in order characterize the overall dynamics. We then show that models with the same on-shell Lagrangian may have different proper energy densities and use this result to map dark energy models into unified dark energy models in which dark matter and dark energy are described by the same perfect fluid. We determine the correspondence between their equation of state parameters and sound speeds, briefly discussing the linear sound speed problem of unified dark energy models as well as a possible way out associated to the nonlinear dynamics. △ Less

Submitted 22 September, 2020; v1 submitted 15 May, 2020; originally announced May 2020.

Comments: 14 pages. v3: minor corrections. Matches published version

Journal ref: Phys. Rev. D 102, 063525 (2020)

Quantum electrodynamics in a topological waveguide

Authors: Eunjong Kim, Xueyue Zhang, Vinicius S. Ferreira, Jash Banker, Joseph K. Iverson, Alp Sipahigil, Miguel Bello, Alejandro Gonzalez-Tudela, Mohammad Mirhosseini, Oskar Painter

Abstract: While designing the energy-momentum relation of photons is key to many linear, non-linear, and quantum optical phenomena, a new set of light-matter properties may be realized by employing the topology of the photonic bath itself. In this work we investigate the properties of superconducting qubits coupled to a metamaterial waveguide based on a photonic analog of the Su-Schrieffer-Heeger model. We… ▽ More While designing the energy-momentum relation of photons is key to many linear, non-linear, and quantum optical phenomena, a new set of light-matter properties may be realized by employing the topology of the photonic bath itself. In this work we investigate the properties of superconducting qubits coupled to a metamaterial waveguide based on a photonic analog of the Su-Schrieffer-Heeger model. We explore topologically-induced properties of qubits coupled to such a waveguide, ranging from the formation of directional qubit-photon bound states to topology-dependent cooperative radiation effects. Addition of qubits to this waveguide system also enables direct quantum control over topological edge states that form in finite waveguide systems, useful for instance in constructing a topologically protected quantum communication channel. More broadly, our work demonstrates the opportunity that topological waveguide-QED systems offer in the synthesis and study of many-body states with exotic long-range quantum correlations. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: 28 pages 17 figures

Journal ref: Phys. Rev. X 11, 011015 (2021)

Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments

Authors: Matheus V. X. Ferreira, S. Matthew Weinberg

Abstract: We consider the sale of a single item to multiple buyers by a revenue-maximizing seller. Recent work of Akbarpour and Li formalizes \emph{credibility} as an auction desideratum, and prove that the only optimal, credible, strategyproof auction is the ascending price auction with reserves (Akbarpour and Li, 2019). In contrast, when buyers' valuations are MHR, we show that the mild additional assum… ▽ More We consider the sale of a single item to multiple buyers by a revenue-maximizing seller. Recent work of Akbarpour and Li formalizes \emph{credibility} as an auction desideratum, and prove that the only optimal, credible, strategyproof auction is the ascending price auction with reserves (Akbarpour and Li, 2019). In contrast, when buyers' valuations are MHR, we show that the mild additional assumption of a cryptographically secure commitment scheme suffices for a simple \emph{two-round} auction which is optimal, strategyproof, and credible (even when the number of bidders is only known by the auctioneer). We extend our analysis to the case when buyer valuations are $α$-strongly regular for any $α> 0$, up to arbitrary $\varepsilon$ in credibility. Interestingly, we also prove that this construction cannot be extended to regular distributions, nor can the $\varepsilon$ be removed with multiple bidders. △ Less

Submitted 25 May, 2020; v1 submitted 3 April, 2020; originally announced April 2020.

Journal ref: EC '20: Proceedings of the 21st ACM Conference on Economics and Computation, 2020, 683-712

Fractional derivative order determination from harmonic oscillator dam** factor

Authors: Luís Felipe Alves da Silva, Valdiney Rodrigues Pedrozo Júnior, João Vítor Batista Ferreira

Abstract: This article analysis differential equations which represents damped and fractional oscillators. First, it is shown that prior to using physical quantities in fractional calculus, it is imperative that they are turned dimensionless. Afterwards, approximated expressions that relate the two equations parameters for the case that the fractional order is close to an integer number are presented. Follo… ▽ More This article analysis differential equations which represents damped and fractional oscillators. First, it is shown that prior to using physical quantities in fractional calculus, it is imperative that they are turned dimensionless. Afterwards, approximated expressions that relate the two equations parameters for the case that the fractional order is close to an integer number are presented. Following, a numerical regression is made using power series expansion, and, also from fractional calculus, the fact that both equations cannot be equivalent is concluded. In the end, from the numerical regression data, the analytical approximated expressions that relate the two equations' parameters are refined. △ Less

Submitted 6 February, 2020; originally announced February 2020.

Comments: 10 pages, 5 figures

Collapse and Revival of an Artificial Atom Coupled to a Structured Photonic Reservoir

Authors: Vinicius S. Ferreira, Jash Banker, Alp Sipahigil, Matthew H. Matheny, Andrew J. Keller, Eunjong Kim, Mohammad Mirhosseini, Oskar Painter

Abstract: A structured electromagnetic reservoir can result in novel dynamics of quantum emitters. In particular, the reservoir can be tailored to have a memory of past interactions with emitters, in contrast to memory-less Markovian dynamics of typical open systems. In this Article, we investigate the non-Markovian dynamics of a superconducting qubit strongly coupled to a superconducting slow-light wavegui… ▽ More A structured electromagnetic reservoir can result in novel dynamics of quantum emitters. In particular, the reservoir can be tailored to have a memory of past interactions with emitters, in contrast to memory-less Markovian dynamics of typical open systems. In this Article, we investigate the non-Markovian dynamics of a superconducting qubit strongly coupled to a superconducting slow-light waveguide reservoir. Tuning the qubit into the spectral vicinity of the passband of this waveguide, we find non-exponential energy relaxation as well as substantial changes to the qubit emission rate. Further, upon addition of a reflective boundary to one end of the waveguide, we observe revivals in the qubit population on a timescale 30 times longer than the inverse of the qubit's emission rate, corresponding to the round-trip travel time of an emitted photon. By tuning of the qubit-waveguide interaction strength, we probe a crossover between Markovian and non-Markovian qubit emission dynamics. These attributes allow for future studies of multi-qubit circuits coupled to structured reservoirs, in addition to constituting the necessary resources for generation of multiphoton highly entangled states. △ Less

Submitted 9 January, 2020; originally announced January 2020.

Comments: 19 pages, 11 figures with appendices

Weak compactness and fixed point property for affine bi-Lipschitz maps

Authors: Cleon S. Barroso, Valdir Ferreira

Abstract: Let $X$ be a Banach space and let $C$ be a closed convex bounded subset of $X$. It is proved that $C$ is weakly compact if, and only if, $C$ has the {it generic} fixed point property ($\mathcal{G}$-FPP) for the class of $L$-bi-Lipschitz affine map**s for every $L>1$. It is also proved that if $X$ has Pełczyński's property $(u)$, then either $C$ is weakly compact, contains an $\ell_1$-sequence or… ▽ More Let $X$ be a Banach space and let $C$ be a closed convex bounded subset of $X$. It is proved that $C$ is weakly compact if, and only if, $C$ has the {it generic} fixed point property ($\mathcal{G}$-FPP) for the class of $L$-bi-Lipschitz affine map**s for every $L>1$. It is also proved that if $X$ has Pełczyński's property $(u)$, then either $C$ is weakly compact, contains an $\ell_1$-sequence or a $\mathrm{c}_0$-summing basic sequence. In this case, weak compactness of $C$ is equivalent to the $\mathcal{G}$-FPP for the strengthened class of affine map**s that are uniformly bi-Lipschitz. We also introduce a generalized form of property $(u)$, called {it property $(\mathfrak{su})$}, and use it to prove that if $X$ has property $(\mathfrak{su})$ then either $C$ is weakly compact or contains a wide-$(s)$ sequence which is uniformly shift equivalent. In this case, weak compactness in such spaces can also be characterized in terms of the $\mathcal{G}$-FPP for affine uniformly bi-Lipschitz map**s. It is also proved that every Banach space with a spreading basis has property $(\mathfrak{su})$, thus property $(\mathfrak{su})$ is stronger than property $(u)$. These results yield a significant strengthening of an important theorem of Benavides, Japón-Pineda and Prus published in 2004. △ Less

Submitted 28 September, 2020; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: Accepted in JMAA 2020

A Nuclear Structure Model for Double Charge-Exchange Processes

Authors: V. dos S. Ferreira, A. R. Samana, F. Krmpotić, M. Chiapparini

Abstract: A new model, based on the BCS approach, is specially designed to describe nuclear phenomena $(A,Z)\rightarrow (A,Z\pm 2)$ of double-charge exchange (DCE). After being proposed, and applied in the particle-hole limit, by one of the authors (F. Krmpotić [1]), so far it was never been applied within the BCS mean-field framework, nor has its ability to describe DCE processes been thoroughly explored.… ▽ More A new model, based on the BCS approach, is specially designed to describe nuclear phenomena $(A,Z)\rightarrow (A,Z\pm 2)$ of double-charge exchange (DCE). After being proposed, and applied in the particle-hole limit, by one of the authors (F. Krmpotić [1]), so far it was never been applied within the BCS mean-field framework, nor has its ability to describe DCE processes been thoroughly explored. It is a natural extension of the pn-QRPA model, developed by Halbleib and Sorensen [2] to describe the single $β$-decays $(A,Z)\rightarrow (A,Z\pm 1)$, to the DCE processes. As such, it exhibits several advantages over the pn-QRPA model when is used in the evaluation of the double beta decay (DBD) rates. For instance, i) the extreme sensitivity of the nuclear matrix elements (NMEs) on the model parametrization does not occur, ii) it allows to study NMEs, not only for the fundamental state in daughter nuclei, as the pn-QRPA model does, but also for all final $0^+$ and $2^+$ states, accounting at the same time their excitation energies and the corresponding DBD Q-values, iii) together with the DBD-NMEs it provides also the energy spectra of Fermi and Gamow-Teller DCE transition strengths, as well as the locations of the corresponding resonances and their sum rules, iv) the latter are relevant for both the DBD and the DCE reactions, since the involved nuclear structure is the same; this correlation does not exist within the pn-QRPA model. As an example, detailed numerical calculations are presented for the $(A,Z)\rightarrow (A,Z+ 2)$ process in $^{48}$Ca $\rightarrow ^{48}$Ti and the $(A,Z)\rightarrow (A,Z- 2)$ process in $^{96}$Ru $\rightarrow ^{96}$Mo, involving all final $0^+$ states and $2^+$ states. △ Less

Submitted 20 October, 2019; originally announced October 2019.

Comments: 17 pages, 9 figures. To be submitted to Phys. Rev. C

Journal ref: Phys. Rev. C 101, 044314 (2020)

Selling a Single Item with Negative Externalities

Authors: Tithi Chattopadhyay, Nick Feamster, Matheus V. X. Ferreira, Danny Yuxing Huang, S. Matthew Weinberg

Abstract: We consider the problem of regulating products with negative externalities to a third party that is neither the buyer nor the seller, but where both the buyer and seller can take steps to mitigate the externality. The motivating example to have in mind is the sale of Internet-of-Things (IoT) devices, many of which have historically been compromised for DDoS attacks that disrupted Internet-wide ser… ▽ More We consider the problem of regulating products with negative externalities to a third party that is neither the buyer nor the seller, but where both the buyer and seller can take steps to mitigate the externality. The motivating example to have in mind is the sale of Internet-of-Things (IoT) devices, many of which have historically been compromised for DDoS attacks that disrupted Internet-wide services such as Twitter. Neither the buyer (i.e., consumers) nor seller (i.e., IoT manufacturers) was known to suffer from the attack, but both have the power to expend effort to secure their devices. We consider a regulator who regulates payments (via fines if the device is compromised, or market prices directly), or the product directly via mandatory security requirements. Both regulations come at a cost---implementing security requirements increases production costs, and the existence of fines decreases consumers' values---thereby reducing the seller's profits. The focus of this paper is to understand the \emph{efficiency} of various regulatory policies. That is, policy A is more efficient than policy B if A more successfully minimizes negatives externalities, while both A and B reduce seller's profits equally. We develop a simple model to capture the impact of regulatory policies on a buyer's behavior. {In this model, we show that for \textit{homogeneous} markets---where the buyer's ability to follow security practices is always high or always low---the optimal (externality-minimizing for a given profit constraint) regulatory policy need regulate \emph{only} payments \emph{or} production.} In arbitrary markets, by contrast, we show that while the optimal policy may require regulating both aspects, there is always an approximately optimal policy which regulates just one. △ Less

Submitted 26 February, 2019; originally announced February 2019.

Journal ref: WWW '19: The World Wide Web Conference, 2019, 196-206

Extended family of generalized Chaplygin gas models

Authors: V. M. C. Ferreira, P. P. Avelino

Abstract: The generalized Chaplygin gas is usually defined as a barotropic perfect fluid with an equation of state $p=-A ρ^{-α}$, where $ρ$ and $p$ are the proper energy density and pressure, respectively, and $A$ and $α$ are positive real parameters. It has been extensively studied in the literature as a quartessence prototype unifying dark matter and dark energy. Here, we consider an extended family of ge… ▽ More The generalized Chaplygin gas is usually defined as a barotropic perfect fluid with an equation of state $p=-A ρ^{-α}$, where $ρ$ and $p$ are the proper energy density and pressure, respectively, and $A$ and $α$ are positive real parameters. It has been extensively studied in the literature as a quartessence prototype unifying dark matter and dark energy. Here, we consider an extended family of generalized Chaplygin gas models parameterized by three positive real parameters $A$, $α$ and $β$, which, for two specific choices of $β$ [$β=1$ and $β=\left(1+α\right)/(2α)$], is described by two different Lagrangians previously identified in the literature with the generalized Chaplygin gas. We show that, for $β> 1/2$, the linear stability conditions and the maximum value of the sound speed $c_s$ are regulated solely by $β$, with $0 \le c_s \le 1$ if $β\ge 1$. We further demonstrate that in the non-relativistic regime the standard equation of state $p=-A ρ^{-α}$ of the generalized Chaplygin gas is always recovered, while in the relativistic regime this is true only if $β=\left(1+α\right)/(2α)$. We present a regularization of the ($α\rightarrow 0$, $A \rightarrow \infty$) limit of the generalized Chaplygin gas, showing that it leads to a logarithmic Chaplygin gas model with an equation of state of the form $p = {\mathcal A} \ln\left(ρ/ρ_{*}\right)$, where ${\mathcal A}$ is a real parameter and $ρ_*>0$ is an arbitrary energy density. We finally derive its Lagrangian formulation. △ Less

Submitted 11 July, 2018; originally announced July 2018.

Comments: 5 pages

Journal ref: Phys. Rev. D 98, 043515 (2018)

Free symmetric and unitary pairs in the field of fractions of torsion-free nilpotent group algebras

Authors: Vitor O. Ferreira, Jairo Z. Goncalves, Javier Sanchez

Abstract: Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series ring generated by the group algebra of $G$ over $k$. If $\ast$ is an involution on $G$, then it extends to a unique $k$-involution on $k(G)$. We show that $k(G)$ c… ▽ More Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series ring generated by the group algebra of $G$ over $k$. If $\ast$ is an involution on $G$, then it extends to a unique $k$-involution on $k(G)$. We show that $k(G)$ contains pairs of symmetric elements with respect to $\ast$ which generate a free group inside the multiplicative group of $k(G)$. Free unitary pairs also exist if $G$ is torsion-free nilpotent. Finally, we consider the general case of a division ring $D$, with a $k$-involution $\ast$, containing a normal subgroup $N$ in its multiplicative group, such that $G \subseteq N$, with $G$ a nilpotent-by-finite torsion-free subgroup that is not abelian-by-finite, satisfying $G^{*}=G$ and $N^{*}=N$. We prove that $N$ contains a free symmetric pair. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 14 pages

MSC Class: 16K40; 16W10; 16S85; 16W60 (Primary); 20F18; 20F60 (Secondary)

Superconducting metamaterials for waveguide quantum electrodynamics

Authors: Mohammad Mirhosseini, Eunjong Kim, Vinicius S. Ferreira, Mahmoud Kalaee, Alp Sipahigil, Andrew J. Keller, Oskar Painter

Abstract: The embedding of tunable quantum emitters in a photonic bandgap structure enables the control of dissipative and dispersive interactions between emitters and their photonic bath. Operation in the transmission band, outside the gap, allows for studying waveguide quantum electrodynamics in the slow-light regime. Alternatively, tuning the emitter into the bandgap results in finite range emitter-emitt… ▽ More The embedding of tunable quantum emitters in a photonic bandgap structure enables the control of dissipative and dispersive interactions between emitters and their photonic bath. Operation in the transmission band, outside the gap, allows for studying waveguide quantum electrodynamics in the slow-light regime. Alternatively, tuning the emitter into the bandgap results in finite range emitter-emitter interactions via bound photonic states. Here we couple a transmon qubit to a superconducting metamaterial with a deep sub-wavelength lattice constant ($λ/60$). The metamaterial is formed by periodically loading a transmission line with compact, low loss, low disorder lumped element microwave resonators. We probe the coherent and dissipative dynamics of the system by measuring the Lamb shift and the change in the lifetime of the transmon qubit. Tuning the qubit frequency in the vicinity of a band-edge with a group index of $n_g = 450$, we observe an anomalous Lamb shift of 10 MHz accompanied by a 24-fold enhancement in the qubit lifetime. In addition, we demonstrate selective enhancement and inhibition of spontaneous emission of different transmon transitions, which provide simultaneous access to long-lived metastable qubit states and states strongly coupled to propagating waveguide modes. △ Less

Submitted 5 February, 2018; originally announced February 2018.

Comments: 13 pages, 7 figures

Journal ref: Nature Communications (2018)

Partial restoration of spin-isospin SU(4) Symmetry and the One-QRPA method in Double Beta Decay

Authors: V. dos S. Ferreira, F. Krmpotić, C. A. Barbero, A. R. Samana

Abstract: The one-QRPA method is used to describe simultaneously both double decay beta modes, giving special attention to the partial restoration of spin-isospin SU(4) symmetry. To implement this restoration and to fix the model parameters, we resort to the energetics of Gamow-Teller resonances and to the minima of the single $β^+$-decay strengths. This makes the theory predictive regarding the $ββ_{2ν}$-d… ▽ More The one-QRPA method is used to describe simultaneously both double decay beta modes, giving special attention to the partial restoration of spin-isospin SU(4) symmetry. To implement this restoration and to fix the model parameters, we resort to the energetics of Gamow-Teller resonances and to the minima of the single $β^+$-decay strengths. This makes the theory predictive regarding the $ββ_{2ν}$-decay, producing the $2ν$ moments in $^{48}$Ca, $^{76}$Ge, $^{82}$Se, $^{96}$Zr, $^{100}$Mo, $^{128,130}$Te, and $^{150}$Nd, that are of the same order of magnitude as the experimental ones; however, the agreement with $ββ_{2ν}$ data is only modest. To include contributions coming from induced nuclear weak currents, we extend the $ββ_{0ν}$-decay formalism employed previously in C. Barbero et. al, Nuc. Phys. A628, 170 (1998). The numerical results for the $ββ_{0ν}$ moments in the above mentioned nuclei are similar to those obtained in other theoretical studies although smaller on averag by $\sim 40\%$. We attribute this difference basically to the one-QRPA-method, employed here for the first time, instead of the currently used two-QRPA-method. The difference is partially due to the way of carrying out the restoration of the spin-isospin symmetry. It is hard to say which is the best way to make the restoration, since the $ββ_{0ν}$ moments are not experimentally measurable. The numerical uncertainties in the $ββ$ moments, related with i) their strong dependence on the residual interaction in the p-p channel when evaluated within the QRPA, and ii) lack of proper knowledge of single-particle energies, have been quantified. It is concluded that the partial restoration of the SU (4) symmetry is crucial in the description of the $ββ$-decays, regardless of the nuclear model used. △ Less

Submitted 30 September, 2017; originally announced October 2017.

Comments: 18 pages, 4 figures, accepted for publication in Physical Review C

Report number: INT-PUB-17-027

Phantom Domain Walls

Authors: P. P. Avelino, V. M. C. Ferreira, J. Menezes, L. Sousa

Abstract: We consider a model with two real scalar fields which admits phantom domain wall solutions. We investigate the structure and evolution of these phantom domain walls in an expanding homogeneous and isotropic universe. In particular, we show that the increase of the tension of the domain walls with cosmic time, associated to the evolution of the phantom scalar field, is responsible for an additional… ▽ More We consider a model with two real scalar fields which admits phantom domain wall solutions. We investigate the structure and evolution of these phantom domain walls in an expanding homogeneous and isotropic universe. In particular, we show that the increase of the tension of the domain walls with cosmic time, associated to the evolution of the phantom scalar field, is responsible for an additional dam** term in their equations of motion. We describe the macroscopic dynamics of phantom domain walls, showing that extended phantom defects whose tension varies on a cosmological timescale cannot be the dark energy. △ Less

Submitted 28 June, 2017; originally announced June 2017.

Comments: 6 pages

Journal ref: Phys. Rev. D 96, 043506 (2017)

Constraining Logotropic Unified Dark Energy Models

Authors: V. M. C. Ferreira, P. P. Avelino

Abstract: A unification of dark matter and dark energy in terms of a logotropic perfect dark fluid has recently been proposed, where deviations with respect to the standard $Λ{\rm CDM}$ model are dependent on a single parameter $B$. In this paper we show that the requirement that the linear growth of cosmic structures on comoving scales larger than $8 h^{-1} \, {\rm Mpc}$ is not significantly affected with… ▽ More A unification of dark matter and dark energy in terms of a logotropic perfect dark fluid has recently been proposed, where deviations with respect to the standard $Λ{\rm CDM}$ model are dependent on a single parameter $B$. In this paper we show that the requirement that the linear growth of cosmic structures on comoving scales larger than $8 h^{-1} \, {\rm Mpc}$ is not significantly affected with respect to the standard $Λ{\rm CDM}$ result provides the strongest constraint to date on the model ($B <6 \times 10^{-7}$), an improvement of more than three orders of magnitude over previous constraints on the value of $B$. We further show that this constraint rules out the logotropic Unified Dark Energy model as a possible solution to the small scale problems of the $Λ$CDM model, including the cusp problem of Dark Matter halos or the missing satellite problem, as well as the original version of the model where the Planck energy density was taken as one of the two parameters characterizing the logotropic dark fluid. △ Less

Submitted 25 November, 2016; originally announced November 2016.

Comments: 5 pages

Weak Compactness and Fixed Point Property for Affine Bi-Lipschitz Maps

Authors: C. S. Barroso, V. Ferreira

Abstract: In this paper we show that if $(y_n)$ is a seminormalized sequence in a Banach space which does not have any weakly convergent subsequence, then it contains a wide-$(s)$ subsequence $(x_n)$ which admits an equivalent convex basic sequence. This fact is used to characterize weak-compactness of bounded, closed convex sets in terms of the generic fixed point property ($\mathcal{G}$-$FPP$) for the cla… ▽ More In this paper we show that if $(y_n)$ is a seminormalized sequence in a Banach space which does not have any weakly convergent subsequence, then it contains a wide-$(s)$ subsequence $(x_n)$ which admits an equivalent convex basic sequence. This fact is used to characterize weak-compactness of bounded, closed convex sets in terms of the generic fixed point property ($\mathcal{G}$-$FPP$) for the class of affine bi-Lipschitz maps. This result generalizes a theorem by Benavides, Japón Pineda and Prus previously proved for the class of continuous maps. We also introduce a relaxation of this notion ($\mathcal{WG}$-$FPP$) and observe that a closed convex bounded subset of a Banach space is weakly compact iff it has the $\mathcal{WG}$-$FPP$ for affine $1$-Lipschitz maps. Related results are also proved. For example, a complete convex bounded subset $C$ of a Hlcs $X$ is weakly compact iff it has the $\mathcal{G}$-$FPP$ for the class of affine continuous maps $f\colon C\to X$ with weak-approximate fixed point nets. △ Less

Submitted 22 March, 2018; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: 16 pages; this new version brings several improvements including simplifications, few references were added. The abstract results concerning locally convex spaces of the previous version will be incorporated in another paper. A new submission process is on course

Instability of modes in a partially hinged rectangular plate

Authors: Vanderley Ferreira Jr, Filippo Gazzola, Ederson Moreira dos Santos

Abstract: We consider a thin and narrow rectangular plate where the two short edges are hinged whereas the two long edges are free. This plate aims to represent the deck of a bridge, either a footbridge or a suspension bridge. We study a nonlocal evolution equation modeling the deformation of the plate and we prove existence, uniqueness and asymptotic behavior for the solutions for all initial data in suita… ▽ More We consider a thin and narrow rectangular plate where the two short edges are hinged whereas the two long edges are free. This plate aims to represent the deck of a bridge, either a footbridge or a suspension bridge. We study a nonlocal evolution equation modeling the deformation of the plate and we prove existence, uniqueness and asymptotic behavior for the solutions for all initial data in suitable functional spaces. Then we prove results on the stability/instability of simple modes motivated by a phenomenon which is visible in actual bridges and we complement these theorems with some numerical experiments. △ Less

Submitted 25 August, 2016; originally announced August 2016.

Comments: 28 pages, 9 figures

Free algebras in division rings with an involution

Authors: Vitor O. Ferreira, Érica Z. Fornaroli, Jairo Z. Gonçalves

Abstract: Some general criteria to produce explicit free algebras inside the division ring of fractions of skew polynomial rings are presented. These criteria are applied to some special cases of division rings with natural involutions, yielding, for instance, free subalgebras generated by symmetric elements both in the division ring of fractions of the group algebra of a torsion free nilpotent group and in… ▽ More Some general criteria to produce explicit free algebras inside the division ring of fractions of skew polynomial rings are presented. These criteria are applied to some special cases of division rings with natural involutions, yielding, for instance, free subalgebras generated by symmetric elements both in the division ring of fractions of the group algebra of a torsion free nilpotent group and in the division ring of fractions of the first Weyl algebra. △ Less

Submitted 16 May, 2016; originally announced May 2016.

Comments: 11 pages

MSC Class: Primary 16K40; 16S36; 16W10; Secondary 16S10; 16S34

Efficient Simultaneous Calibration of a Magnetometer and an Accelerometer

Authors: Conrado Silva Miranda, Janito Vaqueiro Ferreira

Abstract: This paper describes a calibration algorithm to simultaneously calibrate a magnetometer and an accelerometer without any information besides the sensors readings. Using a linear sensor model and maximum likelihood cost, the algorithm is able to estimate both sensors' biases, gains, and covariances, besides sensor orientations and Earth's fields. Results show errors of less than 0.1 standard deviat… ▽ More This paper describes a calibration algorithm to simultaneously calibrate a magnetometer and an accelerometer without any information besides the sensors readings. Using a linear sensor model and maximum likelihood cost, the algorithm is able to estimate both sensors' biases, gains, and covariances, besides sensor orientations and Earth's fields. Results show errors of less than 0.1 standard deviations in simulation, and high-quality estimates with real sensors even when the algorithm's assumptions are violated. △ Less

Submitted 20 May, 2015; v1 submitted 19 May, 2015; originally announced May 2015.

Constraints on the dark matter sound speed from galactic scales: the cases of the Modified and Extended Chaplygin Gas

Authors: P. P. Avelino, V. M. C. Ferreira

Abstract: We show that the observed rotation curves of spiral galaxies constrain the sound speed of the dark matter to be $c_s < 10^{-4} c$, where $c$ is the speed of light in vacuum. Using the Modified Chaplygin Gas as a representative example of a class of unified dark energy models incorporating an effective dark matter component with a non-zero sound speed, we determine the most stringent constraint to… ▽ More We show that the observed rotation curves of spiral galaxies constrain the sound speed of the dark matter to be $c_s < 10^{-4} c$, where $c$ is the speed of light in vacuum. Using the Modified Chaplygin Gas as a representative example of a class of unified dark energy models incorporating an effective dark matter component with a non-zero sound speed, we determine the most stringent constraint to date on the value of the constant contribution to the equation of state parameter in this class of models. Finally, we explain the reason why previous constraints using the Cosmic Microwave Background and Baryonic Acoustic Oscillations were not as competitive as the one presented in this paper and discuss the limitations of the recently proposed Extended Chaplygin Gas. △ Less

Submitted 26 February, 2015; originally announced February 2015.

Comments: 4 pages

Journal ref: Phys.Rev.D91:083508,2015

On the finite space blow up of the solutions of the Swift-Hohenberg equation

Authors: Vanderley Ferreira Jr, Ederson Moreira dos Santos

Abstract: The aim of this paper is to study the finite space blow up of the solutions for a class of fourth order differential equations. Our results answer a conjecture in [F. Gazzola and R. Pavani. Wide oscillation finite time blow up for solutions to nonlinear fourth order differential equations. Arch. Ration. Mech. Anal., 207(2):717--752, 2013] and they have implications on the nonexistence of beam osci… ▽ More The aim of this paper is to study the finite space blow up of the solutions for a class of fourth order differential equations. Our results answer a conjecture in [F. Gazzola and R. Pavani. Wide oscillation finite time blow up for solutions to nonlinear fourth order differential equations. Arch. Ration. Mech. Anal., 207(2):717--752, 2013] and they have implications on the nonexistence of beam oscillation given by traveling wave profile at low speed propagation. △ Less

Submitted 14 August, 2014; originally announced August 2014.

Comments: 24 pages, 2 figures

MSC Class: 34A12; 34C11; 34C25

Free symmetric algebras in division rings generated by envelo** algebras of Lie algebras

Authors: Vitor O. Ferreira, Jairo Z. Gonçalves, Javier Sánchez

Abstract: For any Lie algebra L over a field, its universal envelo** algebra U(L) can be embedded in a division ring D(L) constructed by Lichtman. If U(L) is an Ore domain, D(L) coincides with its ring of fractions. It is well known that the principal involution of L, $x\mapsto -x$, can be extended to an involution of U(L), and Cimpric has proved that this involution can be extended to one on D(L). For a… ▽ More For any Lie algebra L over a field, its universal envelo** algebra U(L) can be embedded in a division ring D(L) constructed by Lichtman. If U(L) is an Ore domain, D(L) coincides with its ring of fractions. It is well known that the principal involution of L, $x\mapsto -x$, can be extended to an involution of U(L), and Cimpric has proved that this involution can be extended to one on D(L). For a large class of noncommutative Lie algebras L over a field of characteristic zero, we show that D(L) contains noncommutative free algebras generated by symmetric elements with respect to (the extension of) the principal involution. This class contains all noncommutative Lie algebras such that U(L) is an Ore domain. △ Less

Submitted 11 June, 2014; originally announced June 2014.

MSC Class: Primary 16K40; 16S36; 16W10; Secondary 16S10; 16S30