-
Entanglement entropy in quantum black holes
Authors:
Alessio Belfiglio,
Orlando Luongo,
Stefano Mancini,
Sebastiano Tomasi
Abstract:
We discuss the entanglement entropy for a massive Klein-Gordon field in two Schwarzschild-like quantum black hole spacetimes, also including a nonminimal coupling term with the background scalar curvature. To compute the entanglement entropy, we start from the standard spherical shell discretisation procedure, tracing over the degrees of freedom residing inside an imaginary surface. We estimate th…
▽ More
We discuss the entanglement entropy for a massive Klein-Gordon field in two Schwarzschild-like quantum black hole spacetimes, also including a nonminimal coupling term with the background scalar curvature. To compute the entanglement entropy, we start from the standard spherical shell discretisation procedure, tracing over the degrees of freedom residing inside an imaginary surface. We estimate the free parameters for such quantum metrics through a simple physical argument based on Heisenberg uncertainty principle, along with alternative proposals as asymptotic safety, trace anomaly, and graviton corpuscular scaling. Our findings reveal a significant decrease in entropy compared to the area law near the origin for the quantum metrics. In both scenarios, the entanglement entropy converges to the expected area law sufficiently far from the origin. We then compare these results to the entropy scaling in regular Hayward and corrected-Hayward spacetimes to highlight the main differences with such regular approaches.
△ Less
Submitted 31 March, 2024;
originally announced April 2024.
-
Linear and nonlinear clusterings of Horndeski-inspired dark energy models with fast transition
Authors:
Orlando Luongo,
Francesco Pace,
Sebastiano Tomasi
Abstract:
We analyze time-dependent dark energy equations of state through linear and nonlinear structure formation and their quintessence potentials, characterized by fast, recent transitions, inspired by parameter space studies of Horndeski models. The influence of dark energy on structures comes from modifications to the background expansion rate and from perturbations as well. In order to compute the st…
▽ More
We analyze time-dependent dark energy equations of state through linear and nonlinear structure formation and their quintessence potentials, characterized by fast, recent transitions, inspired by parameter space studies of Horndeski models. The influence of dark energy on structures comes from modifications to the background expansion rate and from perturbations as well. In order to compute the structures growth, we employ a generalization of the \emph{spherical collapse} formalism that includes perturbations of fluids with pressure. We numerically solve the equations of motion for the perturbations and the field. Our analysis suggests that a true Heaviside step transition is a good approximation for most of the considered models, since most of the quantities weakly depend on the transition speed. We find that transitions occurring at redshifts $z_{\rm t}\gtrsim 2$ cannot be distinguished from the $Λ$CDM model if dark energy is freezing, i.e., the corresponding equation of state tends to $-1$. For fast, recent transitions, the redshift at which the properties of dark energy have the most significant effect is $z=0.6\pm 0.2$. We also find that in the freezing regime, the $σ_8$ values can be lowered by about $8\%$, suggesting that those models could relieve the $σ_8$-tension. Additionally, freezing models generally predict faster late-time merging rates but a lower number of massive galaxies at $z=0$. Finally, the matter power spectrum for smooth dark energy shows a low-wavenumber peak which is absent in the clustering case.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Light-harvesting efficiency cannot depend on optical coherence in the absence of orientational order
Authors:
Dominic M Rouse,
Adesh Kushwaha,
Stefano Tomasi,
Brendon W Lovett,
Erik M Gauger,
Ivan Kassal
Abstract:
The coherence of light has been proposed as a quantum-mechanical control for enhancing light-harvesting efficiency. In particular, optical coherence can be manipulated by changing either the polarization state or spectral phase of the light. Here, we show that, in weak light, light-harvesting efficiency cannot be controlled using any form of optical coherence in molecular light-harvesting systems…
▽ More
The coherence of light has been proposed as a quantum-mechanical control for enhancing light-harvesting efficiency. In particular, optical coherence can be manipulated by changing either the polarization state or spectral phase of the light. Here, we show that, in weak light, light-harvesting efficiency cannot be controlled using any form of optical coherence in molecular light-harvesting systems and, more broadly, those comprising orientationally disordered sub-units and operating on longer-than-ultrafast timescales. Under those conditions, optical coherence does not affect light-harvesting efficiency, meaning that it cannot be used for control. Specifically, polarization-state control is lost in disordered samples or when the molecules reorient on the timescales of the light-harvesting, and spectral-phase control is lost when the efficiency is time-averaged for longer than the optical coherence time. In practice, efficiency is always averaged over long times, meaning that coherent optical control is only possible through polarisation in systems with orientational order.
△ Less
Submitted 20 December, 2023; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Environmentally improved coherent light harvesting
Authors:
Stefano Tomasi,
Dominic M. Rouse,
Erik M. Gauger,
Brendon W. Lovett,
Ivan Kassal
Abstract:
Coherence-enhanced light harvesting has not been directly observed experimentally, despite theoretical evidence that coherence can significantly enhance light-harvesting performance. The main experimental obstacle has been the difficulty in isolating the effect of coherence in the presence of confounding variables. Recent proposals for externally controlling coherence by manipulating the light's d…
▽ More
Coherence-enhanced light harvesting has not been directly observed experimentally, despite theoretical evidence that coherence can significantly enhance light-harvesting performance. The main experimental obstacle has been the difficulty in isolating the effect of coherence in the presence of confounding variables. Recent proposals for externally controlling coherence by manipulating the light's degree of polarization showed that coherent efficiency enhancements would be possible, but were restricted to light-harvesting systems weakly coupled to their environment. Here, we show that increases in system-bath coupling strength can amplify coherent efficiency enhancements, rather than suppress them. This result dramatically broadens the range of systems that could be used to conclusively demonstrate coherence-enhanced light harvesting or to engineer coherent effects into artificial light-harvesting devices.
△ Less
Submitted 22 June, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Classification of Coherent Enhancements of Light-Harvesting Processes
Authors:
Stefano Tomasi,
Ivan Kassal
Abstract:
Several kinds of coherence have recently been shown to affect the performance of light-harvesting systems, in some cases significantly improving their efficiency. Here, we classify the possible mechanisms of coherent efficiency enhancements, based on the types of coherence that can characterise a light-harvesting system and the types of processes these coherences can affect. We show that enhanceme…
▽ More
Several kinds of coherence have recently been shown to affect the performance of light-harvesting systems, in some cases significantly improving their efficiency. Here, we classify the possible mechanisms of coherent efficiency enhancements, based on the types of coherence that can characterise a light-harvesting system and the types of processes these coherences can affect. We show that enhancements are possible only when coherences and dissipative effects are best described in different bases of states. Our classification allows us to predict a previously unreported coherent enhancement mechanism, where coherence between delocalised eigenstates can be used to localise excitons away from dissipation, thus reducing recombination and increasing efficiency.
△ Less
Submitted 5 March, 2020; v1 submitted 26 November, 2019;
originally announced November 2019.
-
Coherent and controllable enhancement of light-harvesting efficiency
Authors:
Stefano Tomasi,
Sima Baghbanzadeh,
Saleh Rahimi-Keshari,
Ivan Kassal
Abstract:
Spectroscopic experiments have identified long-lived coherences in several light-harvesting systems, suggesting that coherent effects may be relevant to their performance. However, there is limited experimental evidence of coherence enhancing light-harvesting efficiency, largely due to the difficulty of turning coherences on and off to create an experimental control. Here, we show that coherence c…
▽ More
Spectroscopic experiments have identified long-lived coherences in several light-harvesting systems, suggesting that coherent effects may be relevant to their performance. However, there is limited experimental evidence of coherence enhancing light-harvesting efficiency, largely due to the difficulty of turning coherences on and off to create an experimental control. Here, we show that coherence can indeed enhance light harvesting, and that this effect can be controlled. We construct a model system in which initial coherence can be controlled using the incident light, and which is significantly more efficient under coherent, rather than incoherent, excitation. Our proposal would allow for the first unambiguous demonstration of light harvesting enhanced by intermolecular coherence, as well as demonstrate the potential for coherent control of excitonic energy transfer.
△ Less
Submitted 24 October, 2019; v1 submitted 7 October, 2018;
originally announced October 2018.
-
Optimization Modulo Theories with Linear Rational Costs
Authors:
Roberto Sebastiani,
Silvia Tomasi
Abstract:
In the contexts of automated reasoning (AR) and formal verification (FV), important decision problems are effectively encoded into Satisfiability Modulo Theories (SMT). In the last decade efficient SMT solvers have been developed for several theories of practical interest (e.g., linear arithmetic, arrays, bit-vectors). Surprisingly, little work has been done to extend SMT to deal with optimization…
▽ More
In the contexts of automated reasoning (AR) and formal verification (FV), important decision problems are effectively encoded into Satisfiability Modulo Theories (SMT). In the last decade efficient SMT solvers have been developed for several theories of practical interest (e.g., linear arithmetic, arrays, bit-vectors). Surprisingly, little work has been done to extend SMT to deal with optimization problems; in particular, we are not aware of any previous work on SMT solvers able to produce solutions which minimize cost functions over arithmetical variables. This is unfortunate, since some problems of interest require this functionality.
In the work described in this paper we start filling this gap. We present and discuss two general procedures for leveraging SMT to handle the minimization of linear rational cost functions, combining SMT with standard minimization techniques. We have implemented the procedures within the MathSAT SMT solver. Due to the absence of competitors in the AR, FV and SMT domains, we have experimentally evaluated our implementation against state-of-the-art tools for the domain of linear generalized disjunctive programming (LGDP), which is closest in spirit to our domain, on sets of problems which have been previously proposed as benchmarks for the latter tools. The results show that our tool is very competitive with, and often outperforms, these tools on these problems, clearly demonstrating the potential of the approach.
△ Less
Submitted 22 October, 2014;
originally announced October 2014.
-
Optimization in SMT with LA(Q) Cost Functions
Authors:
Roberto Sebastiani,
Silvia Tomasi
Abstract:
In the contexts of automated reasoning and formal verification, important decision problems are effectively encoded into Satisfiability Modulo Theories (SMT). In the last decade efficient SMT solvers have been developed for several theories of practical interest (e.g., linear arithmetic, arrays, bit-vectors). Surprisingly, very few work has been done to extend SMT to deal with optimization problem…
▽ More
In the contexts of automated reasoning and formal verification, important decision problems are effectively encoded into Satisfiability Modulo Theories (SMT). In the last decade efficient SMT solvers have been developed for several theories of practical interest (e.g., linear arithmetic, arrays, bit-vectors). Surprisingly, very few work has been done to extend SMT to deal with optimization problems; in particular, we are not aware of any work on SMT solvers able to produce solutions which minimize cost functions over arithmetical variables. This is unfortunate, since some problems of interest require this functionality.
In this paper we start filling this gap. We present and discuss two general procedures for leveraging SMT to handle the minimization of LA(Q) cost functions, combining SMT with standard minimization techniques. We have implemented the proposed approach within the MathSAT SMT solver. Due to the lack of competitors in AR and SMT domains, we experimentally evaluated our implementation against state-of-the-art tools for the domain of linear generalized disjunctive programming (LGDP), which is closest in spirit to our domain, on sets of problems which have been previously proposed as benchmarks for the latter tools. The results show that our tool is very competitive with, and often outperforms, these tools on these problems, clearly demonstrating the potential of the approach.
△ Less
Submitted 7 February, 2012;
originally announced February 2012.