-
Hydrogen-induced degradation dynamics in silicon heterojunction solar cells via machine learning
Authors:
Andrew Diggs,
Zitong Zhao,
Reza Vatan,
Davis Unruh,
Salman Manzoor,
Mariana Bertoni,
Stephen Goodnick,
Gergely Zimanyi
Abstract:
Among silicon-based solar cells, heterojunction cells hold the world efficiency record. However, their market acceptance is hindered by an initial 0.5\% per year degradation of their open circuit voltage which doubles the overall cell degradation rate. Here, we study the performance degradation of crystalline-Si/amorphous-Si:H heterojunction stacks. First, we experimentally measure the interface d…
▽ More
Among silicon-based solar cells, heterojunction cells hold the world efficiency record. However, their market acceptance is hindered by an initial 0.5\% per year degradation of their open circuit voltage which doubles the overall cell degradation rate. Here, we study the performance degradation of crystalline-Si/amorphous-Si:H heterojunction stacks. First, we experimentally measure the interface defect density over a year, the primary driver of the degradation. Second, we develop SolDeg, a multiscale, hierarchical simulator to analyze this degradation by combining Machine Learning, Molecular Dynamics, Density Functional Theory, and Nudged Elastic Band methods with analytical modeling. We discover that the chemical potential for mobile hydrogen develops a gradient, forcing the hydrogen to drift from the interface, leaving behind recombination-active defects. We find quantitative correspondence between the calculated and experimentally determined defect generation dynamics. Finally, we propose a reversed Si-density gradient architecture for the amorphous-Si:H layer that promises to reduce the initial open circuit voltage degradation from 0.5\% per year to 0.1\% per year.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
A Gaussian Approximation Potential for Amorphous Si:H
Authors:
Davis Unruh,
Reza Vatan Meidanshahi,
Stephen M. Goodnick,
Gábor Csányi,
Gergely T. Zimányi
Abstract:
Hydrogenation of amorphous silicon (a-Si:H) is critical for reducing defect densities, passivating mid-gap states and surfaces, and improving photoconductivity in silicon-based electro-optical devices. Modelling the atomic scale structure of this material is critical to understanding these processes, which in turn is needed to describe c-Si/a-Si:H heterjunctions that are at the heart of the modern…
▽ More
Hydrogenation of amorphous silicon (a-Si:H) is critical for reducing defect densities, passivating mid-gap states and surfaces, and improving photoconductivity in silicon-based electro-optical devices. Modelling the atomic scale structure of this material is critical to understanding these processes, which in turn is needed to describe c-Si/a-Si:H heterjunctions that are at the heart of the modern solar cells with world record efficiency. Density functional theory (DFT) studies achieve the required high accuracy but are limited to moderate system sizes a hundred atoms or so by their high computational cost. Simulations of amorphous materials in particular have been hindered by this high cost because large structural models are required to capture the medium range order that is characteristic of such materials. Empirical potential models are much faster, but their accuracy is not sufficient to correctly describe the frustrated local structure. Data driven, "machine learned" interatomic potentials have broken this impasse, and have been highly successful in describing a variety of amorphous materials in their elemental phase. Here we extend the Gaussian approximation potential (GAP) for silicon by incorporating the interaction with hydrogen, thereby significantly improving the degree of realism with which amorphous silicon can be modelled. We show that our Si:H GAP enables the simulation of hydrogenated silicon with an accuracy very close to DFT, but with computational expense and run times reduced by several orders of magnitude for large structures. We demonstrate the capabilities of the Si:H GAP by creating models of hydrogenated liquid and amorphous silicon, and showing that their energies, forces and stresses are in excellent agreement with DFT results, and their structure as captured by bond and angle distributions, with both DFT and experiments.
△ Less
Submitted 5 January, 2022; v1 submitted 5 June, 2021;
originally announced June 2021.
-
Quantum references
Authors:
Dominique Unruh
Abstract:
We present a theory of "quantum references", similar to lenses in classical functional programming, that allow to point to a subsystem of a larger quantum system, and to mutate/measure that part. Mutable classical variables, quantum registers, and wires in quantum circuits are examples of this, but also references to parts of larger quantum datastructures. Quantum references in our setting can als…
▽ More
We present a theory of "quantum references", similar to lenses in classical functional programming, that allow to point to a subsystem of a larger quantum system, and to mutate/measure that part. Mutable classical variables, quantum registers, and wires in quantum circuits are examples of this, but also references to parts of larger quantum datastructures. Quantum references in our setting can also refer to subparts of other references, or combinations of parts from different references, or quantum references seen in a different basis, etc. Our modeling is intended to be well suited for formalization in theorem provers and as a foundation for modeling variables in quantum programs. We study quantum references in greater detail and cover the infinite-dimensional case as well, but also provide a more general treatment not specific to the quantum case. We implemented a large part of our results (including a small quantum Hoare logic and an analysis of quantum teleportation) in the Isabelle/HOL theorem prover.
△ Less
Submitted 4 July, 2024; v1 submitted 23 May, 2021;
originally announced May 2021.
-
From Femtoseconds to Gigaseconds: The SolDeg Platform for the Performance Degradation Analysis of Silicon Heterojunction Solar Cells
Authors:
Davis Unruh,
Reza Vatan Meidanshahi,
Chase Hansen,
Salman Manzoor,
Stephen M. Goodnick,
Mariana I. Bertoni,
Gergely T. Zimanyi
Abstract:
Heterojunction Si solar cells exhibit notable performance degradation. We developed the SolDeg platform to model this degradation as electronic defects getting generated by thermal activation across energy barriers over time. First, molecular dynamics simulations were performed to create a-Si/c-Si stacks, using a machine-learning-based Gaussian approximation potential. Second, we created shocked c…
▽ More
Heterojunction Si solar cells exhibit notable performance degradation. We developed the SolDeg platform to model this degradation as electronic defects getting generated by thermal activation across energy barriers over time. First, molecular dynamics simulations were performed to create a-Si/c-Si stacks, using a machine-learning-based Gaussian approximation potential. Second, we created shocked clusters by a cluster blaster. Third, the shocked clusters were analyzed to identify which of them supported electronic defects. Fourth, the distribution of energy barriers that control the generation of these electronic defects was determined. Fifth, an accelerated Monte Carlo method was developed to simulate the thermally activated time dependent defect generation across the barriers. Our main conclusions are as follows. (1) The degradation of a-Si/c-Si stacks via defect generation is controlled by a broad distribution of energy barriers. (2) We developed the SolDeg platform to track the microscopic dynamics of defect generation across this wide barrier distribution, and determined the time dependent defect density $N(t)$ from femtoseconds to gigaseconds, over 24 orders of magnitude in time. (3) We have shown that a stretched exponential analytical form can successfully describe the defect generation $N(t)$. (4) We found that in relative terms $V_\mathrm{oc}$ degrades at a rate of 0.2%/year over the first year, slowing with advancing time. (5) We developed the Time Correspondence Curve to calibrate and validate the accelerated testing of solar cells. We found a compellingly simple scaling relationship between accelerated and normal times $t_\mathrm{accelerated} \propto t_\mathrm{normal}^{0.85}$. (6) We ourselves carried out experimental studies of defect generation in a-Si:H/c-Si stacks. We found a relatively high degradation rate at early times, that slowed considerably at longer time scales.
△ Less
Submitted 9 March, 2021; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Percolative Charge Transport In Binary Nanocrystal Solids
Authors:
Luman Qu,
Davis Unruh,
Gergely T. Zimanyi
Abstract:
We simulated electron transport across a binary nanocrystal solid (BNS) of PbSe NCs with diameters of 6.5nm and 5.1nm. We used our Hierarchical Nanoparticle Transport Simulator HINTS to model the transport in these BNSs. The mobility exhibits a minimum at a Large-NC-fraction f_LNC=0.25. The mobility minimum is deep at T=80K and partially smoothed at T=300K. We explain this minimum as follows. As t…
▽ More
We simulated electron transport across a binary nanocrystal solid (BNS) of PbSe NCs with diameters of 6.5nm and 5.1nm. We used our Hierarchical Nanoparticle Transport Simulator HINTS to model the transport in these BNSs. The mobility exhibits a minimum at a Large-NC-fraction f_LNC=0.25. The mobility minimum is deep at T=80K and partially smoothed at T=300K. We explain this minimum as follows. As the LNC fraction f_LNC starts growing from zero, the few LNCs act as traps for the electrons traversing the BNS because their relevant energy level is lower. Therefore, increasing the f_LNC concentration of these traps decreases the mobility. As increasing f_LNC reaches the percolation threshold f_LNC=f_p, the LNCs form sample-spanning networks that enable electrons to traverse the entire BNS via these percolating LNC networks. Transport through the growing percolating LNC networks drives the rapid growth of the mobility as f_LNC grows past f_p. Therefore, the electron mobility exhibits a pronounced minimum as a function of f_LNC, centered at f_LNC=f_p. The position of the mobility minimum shifts to larger LNC fractions as the electron density increases. We have studied the trends of this mobility minimum with temperature, electron density, charging energy, ligand length, and disorder. We account for the trends by a "renormalized trap model", in which capturing an electron renormalizes a deep LNC trap into a shallow trap or a kinetic obstacle, depending on the charging energy. We verified this physical picture by constructing and analyzing heat maps of the mobile electrons in the BNS.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
Describing transport in defected nanoparticle solids using a new, hierarchical, simulation tool, TRIDENS
Authors:
Chase Hansen,
Davis Unruh,
Miguel Alba,
Caroline Qian,
Alex Abelson,
Matt Law,
Gergely T. Zimanyi
Abstract:
The efficiency of nanoparticle (NP) solar cells has grown impressively in recent years, exceeding 16%. However, the carrier mobility in NP solar cells, and in other optoelectronic applications remains low, thus critically limiting their performance. Therefore, carrier transport in NP solids needs to be better understood to further improve the overall efficiency of NP solar cell technology. However…
▽ More
The efficiency of nanoparticle (NP) solar cells has grown impressively in recent years, exceeding 16%. However, the carrier mobility in NP solar cells, and in other optoelectronic applications remains low, thus critically limiting their performance. Therefore, carrier transport in NP solids needs to be better understood to further improve the overall efficiency of NP solar cell technology. However, it is technically challenging to simulate experimental scale samples, as physical processes from atomic to mesoscopic scales all crucially impact transport. To rise to this challenge, here we report the development of TRIDENS: the Transport in Defected Nanoparticle Solids Simulator, that adds three more hierarchical layers to our previously developed HINTS code for nanoparticle solar cells. In TRIDENS, we first introduced planar defects, such as twin planes and grain boundaries into individual NP SLs that comprised the order of 10^3 NPs. Then we used HINTS to simulate the transport across tens of thousands of defected NP SLs, and constructed the distribution of the NP SL mobilities with planar defects. Second, the defected NP SLs were assembled into a resistor network with more than 10^4 NP SLs, thus representing about 10^7 individual NPs. Finally, the TRIDENS results were analyzed by finite size scaling to explore whether the percolation transition, separating the phase where the low mobility defected NP SLs percolate, from the phase where the high mobility undefected NP SLs percolate drives a low-mobility-to-high-mobility transport crossover that can be extrapolated to macroscopic length scales. For the theoretical description, we adapted the Efros-Shklovskii bimodal mobility distribution percolation model. We demonstrated that the ES bimodal theory's two-variable scaling function is an effective tool to quantitatively characterize this low-mobility-to-high-mobility transport crossover.
△ Less
Submitted 9 March, 2021; v1 submitted 2 September, 2020;
originally announced September 2020.
-
Local Variables and Quantum Relational Hoare Logic
Authors:
Dominique Unruh
Abstract:
We add local variables to quantum relational Hoare logic (Unruh, POPL 2019). We derive reasoning rules for supporting local variables (including an improved "adversary rule"). We extended the qrhl-tool for computer-aided verification of qRHL to support local variables and our new reasoning rules.
We add local variables to quantum relational Hoare logic (Unruh, POPL 2019). We derive reasoning rules for supporting local variables (including an improved "adversary rule"). We extended the qrhl-tool for computer-aided verification of qRHL to support local variables and our new reasoning rules.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Disordered Mott-Hubbard Physics in Nanoparticle Solids: Persistent Gap Across the Disorder-localized-to-Mott-localized Transition
Authors:
Davis Unruh,
Alberto Camjayi,
Chase Hansen,
Joel Bobadilla,
Marcelo J. Rozenberg,
Gergely T. Zimanyi
Abstract:
We show that Nanoparticle (NP) solids are an exciting platform to seek new insights into the disordered Mott-Hubbard physics. We developed a "Hierarchical Nanoparticle Transport Simulator" (HINTS), which builds from localized states to describe the Disorder-localized and Mott-localized phases, and the transitions out of these localized phases. We also studied the interplay between correlations and…
▽ More
We show that Nanoparticle (NP) solids are an exciting platform to seek new insights into the disordered Mott-Hubbard physics. We developed a "Hierarchical Nanoparticle Transport Simulator" (HINTS), which builds from localized states to describe the Disorder-localized and Mott-localized phases, and the transitions out of these localized phases. We also studied the interplay between correlations and disorder in the corresponding multi-orbital Hubbard model at and away from integer filling by Dynamical Mean Field Theory. This approach is complementary to HINTS, as it builds from the metallic phase of the NP solid. The mobility scenarios and phase diagrams produced by the two methods are strikingly similar, and account for the mobilities measured in NP solids.
△ Less
Submitted 30 July, 2020; v1 submitted 25 March, 2019;
originally announced March 2019.
-
Quantum Relational Hoare Logic with Expectations
Authors:
Yangjia Li,
Dominique Unruh
Abstract:
We present a variant of the quantum relational Hoare logic from (Unruh, POPL 2019) that allows us to use "expectations" in pre- and postconditions. That is, when reasoning about pairs of programs, our logic allows us to quantitatively reason about how much certain pre-/postconditions are satisfied that refer to the relationship between the programs inputs/outputs.
We present a variant of the quantum relational Hoare logic from (Unruh, POPL 2019) that allows us to use "expectations" in pre- and postconditions. That is, when reasoning about pairs of programs, our logic allows us to quantitatively reason about how much certain pre-/postconditions are satisfied that refer to the relationship between the programs inputs/outputs.
△ Less
Submitted 12 July, 2021; v1 submitted 20 March, 2019;
originally announced March 2019.
-
Quantum Hoare Logic with Ghost Variables
Authors:
Dominique Unruh
Abstract:
Quantum Hoare logic allows us to reason about quantum programs. We present an extension of quantum Hoare logic that introduces "ghost variables" to extend the expressive power of pre-/postconditions. Ghost variables are variables that do not actually occur in the program and are allowed to have arbitrary quantum states (in a sense, they are existentially quantified), and be entangled with program…
▽ More
Quantum Hoare logic allows us to reason about quantum programs. We present an extension of quantum Hoare logic that introduces "ghost variables" to extend the expressive power of pre-/postconditions. Ghost variables are variables that do not actually occur in the program and are allowed to have arbitrary quantum states (in a sense, they are existentially quantified), and be entangled with program variables. Ghost variables allow us to express properties such as the distribution of a program variable or the fact that a variable has classical content. And as a case study, we show how quantum Hoare logic with ghost variables can be used to prove the security of the quantum one-time pad.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Coupling between dynamic magnetic and charge-order correlations in the cuprate superconductor Nd$_{2-x}$Ce$_{x}$CuO$_4$
Authors:
E. H. da Silva Neto,
M. Minola,
B. Yu,
W. Tabis,
M. Bluschke,
D. Unruh,
H. Suzuki,
Y. Li,
G. Yu,
D. Betto,
K. Kummer,
F. Yakhou,
N. B. Brookes,
M. Le Tacon,
M. Greven,
B. Keimer,
A. Damascelli
Abstract:
Charge order has now been observed in several cuprate high-temperature superconductors. We report a resonant inelastic x-ray scattering experiment on the electron-doped cuprate Nd$_{2-x}$Ce$_{x}$CuO$_4$ that demonstrates the existence of dynamic correlations at the charge order wave vector. Upon cooling we observe a softening in the electronic response, which has been predicted to occur for a d-wa…
▽ More
Charge order has now been observed in several cuprate high-temperature superconductors. We report a resonant inelastic x-ray scattering experiment on the electron-doped cuprate Nd$_{2-x}$Ce$_{x}$CuO$_4$ that demonstrates the existence of dynamic correlations at the charge order wave vector. Upon cooling we observe a softening in the electronic response, which has been predicted to occur for a d-wave charge order in electron-doped cuprates. At low temperatures, the energy range of these excitations coincides with that of the dispersive magnetic modes known as paramagnons. Furthermore, measurements where the polarization of the scattered photon is resolved indicate that the dynamic response at the charge order wave vector primarily involves spin-flip excitations. Overall, our findings indicate a coupling between dynamic magnetic and charge-order correlations in the cuprates.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Quantum Relational Hoare Logic
Authors:
Dominique Unruh
Abstract:
We present a logic for reasoning about pairs of interactive quantum programs - quantum relational Hoare logic (qRHL). This logic follows the spirit of probabilistic relational Hoare logic (Barthe et al. 2009) and allows us to formulate how the outputs of two quantum programs relate given the relationship of their inputs. Probabilistic RHL was used extensively for computer-verified security proofs…
▽ More
We present a logic for reasoning about pairs of interactive quantum programs - quantum relational Hoare logic (qRHL). This logic follows the spirit of probabilistic relational Hoare logic (Barthe et al. 2009) and allows us to formulate how the outputs of two quantum programs relate given the relationship of their inputs. Probabilistic RHL was used extensively for computer-verified security proofs of classical cryptographic protocols. Since pRHL is not suitable for analyzing quantum cryptography, we present qRHL as a replacement, suitable for the security analysis of post-quantum cryptography and quantum protocols. The design of qRHL poses some challenges unique to the quantum setting, e.g., the definition of equality on quantum registers. Finally, we implemented a tool for verifying proofs in qRHL and developed several example security proofs in it.
△ Less
Submitted 14 January, 2019; v1 submitted 9 February, 2018;
originally announced February 2018.
-
Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding
Authors:
Andris Ambainis,
Ansis Rosmanis,
Dominique Unruh
Abstract:
Quantum zero-knowledge proofs and quantum proofs of knowledge are inherently difficult to analyze because their security analysis uses rewinding. Certain cases of quantum rewinding are handled by the results by Watrous (SIAM J Comput, 2009) and Unruh (Eurocrypt 2012), yet in general the problem remains elusive. We show that this is not only due to a lack of proof techniques: relative to an oracle,…
▽ More
Quantum zero-knowledge proofs and quantum proofs of knowledge are inherently difficult to analyze because their security analysis uses rewinding. Certain cases of quantum rewinding are handled by the results by Watrous (SIAM J Comput, 2009) and Unruh (Eurocrypt 2012), yet in general the problem remains elusive. We show that this is not only due to a lack of proof techniques: relative to an oracle, we show that classically secure proofs and proofs of knowledge are insecure in the quantum setting.
More specifically, sigma-protocols, the Fiat-Shamir construction, and Fischlin's proof system are quantum insecure under assumptions that are sufficient for classical security. Additionally, we show that for similar reasons, computationally binding commitments provide almost no security guarantees in a quantum setting.
To show these results, we develop the "pick-one trick", a general technique that allows an adversary to find one value satisfying a given predicate, but not two.
△ Less
Submitted 19 October, 2014; v1 submitted 28 April, 2014;
originally announced April 2014.
-
An adaptive attack on Wiesner's quantum money
Authors:
Aharon Brodutch,
Daniel Nagaj,
Or Sattath,
Dominique Unruh
Abstract:
Unlike classical money, which is hard to forge for practical reasons (e.g. producing paper with a certain property), quantum money is attractive because its security might be based on the no-cloning theorem. The first quantum money scheme was introduced by Wiesner circa 1970. Although more sophisticated quantum money schemes were proposed, Wiesner's scheme remained appealing because it is both con…
▽ More
Unlike classical money, which is hard to forge for practical reasons (e.g. producing paper with a certain property), quantum money is attractive because its security might be based on the no-cloning theorem. The first quantum money scheme was introduced by Wiesner circa 1970. Although more sophisticated quantum money schemes were proposed, Wiesner's scheme remained appealing because it is both conceptually clean and relatively easy to implement.
We show efficient adaptive attacks on Wiesner's quantum money scheme [Wie83] (and its variant by Bennett et al. [BBBW83]), when valid money is accepted and passed on, while invalid money is destroyed. We propose two attacks, the first is inspired by the Elitzur-Vaidman bomb testing problem [EV93, KWH+95], while the second is based on the idea of protective measurements [AAV93]. It allows us to break Wiesner's scheme with 4 possible states per qubit, and generalizations which use more than 4 states per qubit.
△ Less
Submitted 10 May, 2016; v1 submitted 5 April, 2014;
originally announced April 2014.
-
Universally Composable Quantum Multi-Party Computation
Authors:
Dominique Unruh
Abstract:
The Universal Composability model (UC) by Canetti (FOCS 2001) allows for secure composition of arbitrary protocols. We present a quantum version of the UC model which enjoys the same compositionality guarantees. We prove that in this model statistically secure oblivious transfer protocols can be constructed from commitments. Furthermore, we show that every statistically classically UC secure pro…
▽ More
The Universal Composability model (UC) by Canetti (FOCS 2001) allows for secure composition of arbitrary protocols. We present a quantum version of the UC model which enjoys the same compositionality guarantees. We prove that in this model statistically secure oblivious transfer protocols can be constructed from commitments. Furthermore, we show that every statistically classically UC secure protocol is also statistically quantum UC secure. Such implications are not known for other quantum security definitions. As a corollary, we get that quantum UC secure protocols for general multi-party computation can be constructed from commitments.
△ Less
Submitted 15 October, 2009;
originally announced October 2009.
-
Simulatable security for quantum protocols
Authors:
Dominique Unruh
Abstract:
The notion of simulatable security (reactive simulatability, universal composability) is a powerful tool for allowing the modular design of cryptographic protocols (composition of protocols) and showing the security of a given protocol embedded in a larger one. Recently, these methods have received much attention in the quantum cryptographic community.
We give a short introduction to simulatab…
▽ More
The notion of simulatable security (reactive simulatability, universal composability) is a powerful tool for allowing the modular design of cryptographic protocols (composition of protocols) and showing the security of a given protocol embedded in a larger one. Recently, these methods have received much attention in the quantum cryptographic community.
We give a short introduction to simulatable security in general and proceed by sketching the many different definitional choices together with their advantages and disadvantages.
Based on the reactive simulatability modelling of Backes, Pfitzmann and Waidner we then develop a quantum security model. By following the BPW modelling as closely as possible, we show that composable quantum security definitions for quantum protocols can strongly profit from their classical counterparts, since most of the definitional choices in the modelling are independent of the underlying machine model.
In particular, we give a proof for the simple composition theorem in our framework.
△ Less
Submitted 17 November, 2004; v1 submitted 18 September, 2004;
originally announced September 2004.