Search NASASearch

SEARCH · Search NASA

Results for “Quantum computing models”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 181 records · Page 10

2D Quantum Mechanical Study of Nanoscale MOSFETs

With the onset of quantum confinement in the inversion layer in nanoscale MOSFETs, behavior of the resonant level inevitably determines all device characteristics. While most classical device simulators take quantization into account in some simplified manner, the important details of electrostatics are missing. Our work addresses this shortcoming and provides: (a) a framework to quantitatively explore device physics issues such as the source-drain and gate leakage currents, DIBL, and threshold voltage shift due to quantization, and b) a means of benchmarking quantum corrections to semiclassical models (such as density-gradient and quantum-corrected MEDICI). We have developed physical approximations and computer code capable of realistically simulating 2-D nanoscale transistors, using the non-equilibrium Green's function (NEGF) method. This is the most accurate full quantum model yet applied to 2-D device simulation. Open boundary conditions and oxide tunneling are treated on an equal footing. Electrons in the ellipsoids of the conduction band are treated within the anisotropic effective mass approximation. We present the results of our simulations of MIT 25, 50 and 90 nm "well-tempered" MOSFETs and compare them to those of classical and quantum corrected models. The important feature of quantum model is smaller slope of Id-Vg curve and consequently higher threshold voltage. Surprisingly, the self-consistent potential profile shows lower injection barrier in the channel in quantum case. These results are qualitatively consistent with ID Schroedinger-Poisson calculations. The effect of gate length on gate-oxide leakage and subthreshold current has been studied. The shorter gate length device has an order of magnitude smaller current at zero gate bias than the longer gate length device without a significant trade-off in on-current. This should be a device design consideration.

Svizhenko, Alexei

Revised Models of Interstellar Nitrogen Isotopic Fractionation

Nitrogen-bearing molecules in cold molecular clouds exhibit a range of isotopic fractionation ratios and these molecules may be the precursors of 15N enrichments found in comets and meteorites. Chemical model calculations indicate that atom–molecular ion and ion–molecule reactions could account for most of the fractionation patterns observed. However, recent quantum-chemical computations demonstrate that several of the key processes are unlikely to occur in dense clouds. Related model calculations of dense cloud chemistry show that the revised 15N enrichments fail to match observed values. We have investigated the effects of these reaction rate modifications on the chemical model of Wirström et al. (2012) for which there are significant physical and chemical differences with respect to other models. We have included 15N fractionation of CN in neutral–neutral reactions and also updated rate coefficients for key reactions in the nitrogen chemistry. We find that the revised fractionation rates have the effect of suppressing 15N enrichment in ammonia at all times, while the depletion is even more pronounced, reaching 14N/15N ratios of >2000. Taking the updated nitrogen chemistry into account, no significant enrichment occurs in HCN or HNC, contrary to observational evidence in dark clouds and comets, although the 14N/15N ratio can still be below 100 in CN itself. However, such low CN abundances are predicted that the updated model falls short of explaining the bulk 15N enhancements observed in primitive materials. It is clear that alternative fractionating reactions are necessary to reproduce observations, so further laboratory and theoretical studies are urgently needed.

astrochemistry – molecular processes – comets: gen

Revised Models of Interstellar Nitrogen Isotopic Fractionation

Nitrogen-bearing molecules in cold molecular clouds exhibit a range of isotopic fractionation ratios and these molecules may be the precursors of 15N enrichments found in comets and meteorites. Chemical model calculations indicate that atom–molecular ion and ion–molecule reactions could account for most of the fractionation patterns observed. However, recent quantum-chemical computations demonstrate that several of the key processes are unlikely to occur in dense clouds. Related model calculations of dense cloud chemistry show that the revised 15N enrichments fail to match observed values. We have investigated the effects of these reaction rate modifications on the chemical model of Wirström et al. (2012) for which there are significant physical and chemical differences with respect to other models. We have included 15N fractionation of CN in neutral–neutral reactions and also updated rate coefficients for key reactions in the nitrogen chemistry. We find that the revised fractionation rates have the effect of suppressing 15N enrichment in ammonia at all times, while the depletion is even more pronounced, reaching 14N/15N ratios of >2000. Taking the updated nitrogen chemistry into account, no significant enrichment occurs in HCN or HNC, contrary to observational evidence in dark clouds and comets, although the 14N/15N ratio can still be below 100 in CN itself. However, such low CN abundances are predicted that the updated model falls short of explaining the bulk 15N enhancements observed in primitive materials. It is clear that alternative fractionating reactions are necessary to reproduce observations, so further laboratory and theoretical studies are urgently needed.

astrochemistry – molecular processes – comets: gen

HZE reactions and data-base development

The primary cosmic rays are dispersed over a large range of linear energy transfer (LET) values and their distribution over LET is a determinant of biological response. This LET distribution is modified by radiation shielding thickness and shield material composition. The current uncertainties in nuclear cross sections will not allow the composition of the shield material to be distinguished in order to minimize biological risk. An overview of the development of quantum mechanical models of heavy ion reactions will be given and computational results compared with experiments. A second approach is the development of phenomenological models from semi-classical considerations. These models provide the current data base in high charge and energy (HZE) shielding studies. They will be compared with available experimental data. The background material for this lecture will be available as a review document of over 30 years of research at Langley but will include new results obtained over the last year.

Townsend, Lawrence W.

Computational modelling of Er(3+): Garnet laser materials

The Er(3+) ion has attracted a lot of interest for four reasons: (1) Its (4)I(sub 13/2) yields (4)I(sub 15/2) transition lases in the eyesafe region near 1.5 micron; (2) the (4)I(sub 13/2) transition lases near 2.8 micron, an important wavelength for surgical purposes; (3) it displays surprisingly efficient upconversion with lasing observed at 1.7, 1.2, 0.85, 0.56, 0.55, and 0.47 micron following 1.5 micron pumping; and (4) it has absorption bands at 0.96 and 0.81 micron and thus can be diode pumped. However, properties desirable for upconversion reduce the efficiency of 1.5 and 3 micron laser operation and vice versa. Since all of the processes are influenced by the host via the crystal field induced stark splittings in the Er levels, this project undertook modelling of the host influence on the Er lasinng behavior. While growth and measurement of all ten Er(3+) doped garnets is the surest way of identifying hosts which maximize upconversion (or conversly, 1.5 and 3 micron performance), it is also expensive - costing approximately $10,000/material or approximately $100,000 for the materials computationally investigated here. The calculations were performed using a quantum mechanical point charge model developed by Clyde Morrison at Harry Diamond Laboratories. The programs were used to fit the Er:YAG experimental energy levels so that the crystal field parameters, B(sub nm) could be extracted. From these radial factors, rho (sub n) were determined for Er(3+) in garnets. These, in combination with crystal field components, Anm, available from X-ray data, were used to predict energy levels for Er in the other nine garnet hosts. The levels in Er:YAG were fit with an rms error of 12.2/cm over a 22,000/cm range. Predicted levels for two other garnets for which literature values were available had rms errors of less than 17/cm , showing the calculations to be reliable. Based on resonances between pairs of calculated stark levels, the model predicts GSGG as the best host for 1.5 micron laser operation, GSGG or YSAG as the best host for a 2.8 micron operation, and LuGG as the best host for an upconversion material.

Spangler, Lee H.

Quantum-classical embedding via ghost Gutzwiller approximation for enhanced simulations of correlated electron systems

Simulating correlated materials on present-day quantum hardware remains challenging due to limited quantum resources. Quantum embedding methods offer a promising route by reducing computational complexity through the mapping of bulk systems onto effective impurity models, allowing more feasible simulations on pre- and early-fault-tolerant quantum devices. Here, this work develops a quantum-classical embedding framework based on the ghost Gutzwiller approximation to enable quantum-enhanced simulations of ground-state properties and spectral functions of correlated electron systems. Circuit complexity is analyzed using an adaptive variational quantum algorithm on a statevector simulator, applied to the infinite-dimensional Hubbard model with increasing ghost mode numbers from 3 to 5, resulting in circuit depths growing from 16 to 104. Noise effects are examined using a realistic error model, revealing significant impact on the spectral weight of the Hubbard bands. To mitigate these effects, the Iceberg quantum error detection code is employed, achieving up to 40% error reduction in simulations. Finally, the accuracy of the density matrix estimation and the derived spectral function is benchmarked on IBM and Quantinuum quantum hardware, featuring distinct qubit-connectivity and employing multiple levels of error mitigation techniques.

Chen, I-Chi [Ames Laboratory (AMES), Ames, IA (Uni

Para-particle oscillator simulations on a trapped-ion quantum computer

Deformed oscillators allow for a generalization of the standard fermions and bosons, namely, for the description of para-particles. Such particles remain hypothetical and unobserved in nature; yet, they can model physical phenomena, such as topological phases of matter. Here, we report the digital quantum simulation of para-particle oscillators by mapping para-particle states to the state of a qubit register, which allows us to identify the para-particle oscillator Hamiltonian as an XY model and further digitize the system onto a universal set of gates. In both instances, the gate depth grows polynomially with the number of qubits used. To establish the validity of our results, we experimentally simulate the dynamics of para-fermions and para-bosons, demonstrating full control of para-particle oscillators on a quantum computer. Furthermore, we compare the overall performance of the digital simulation of dynamics of the driven para-Fermi oscillator to a recent analog quantum simulation result.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC

Revised Models of Interstellar Nitrogen Isotopic Fractionation

Nitrogen-bearing molecules in cold molecular clouds exhibit a range of isotopic fractionation ratios and these molecules may be the precursors of 15N enrichments found in comets and meteorites. Chemical model calculations indicate that atom-molecular ion and ion-molecule reactions could account for most of the fractionation patterns observed. However, recent quantum-chemical computations demonstrate that several of the key processes are unlikely to occur in dense clouds. Related model calculations of dense cloud chemistry show that the revised 15N enrichments fail to match observed values. We have investigated the effects of these reaction rate modifications on the chemical model of Wirstrom et al. (2012) for which there are significant physical and chemical differences with respect to other models. We have included 15N fractionation of CN in neutral-neutral reactions and also updated rate coefficients for key reactions in the nitrogen chemistry. We find that the revised fractionation rates have the effect of suppressing 15N enrichment in ammonia at all times, while the depletion is even more pronounced, reaching 14N/15N ratios of >2000. Taking the updated nitrogen chemistry into account, no significant enrichment occurs in HCN or HNC, contrary to observational evidence in dark clouds and comets, although the 14N/15N ratio can still be below 100 in CN itself. However, such low CN abundances are predicted that the updated model falls short of explaining the bulk 15N enhancements observed in primitive materials. It is clear that alternative fractionating reactions are necessary to reproduce observations, so further laboratory and theoretical studies are urgently needed.

Wirstrom, E. S.

Revised Models of Interstellar Nitrogen Isotopic Fractionation

Nitrogen-bearing molecules in cold molecular clouds exhibit a range of isotopic fractionation ratios and these molecules may be the precursors of (15)N enrichments found in comets and meteorites. Chemical model calculations indicate that atom-molecular ion and ion-molecule reactions could account for most of the fractionation patterns observed. However, recent quantum-chemical computations demonstrate that several of the key processes are unlikely to occur in dense clouds. Related model calculations of dense loud chemistry show that the revised (15)N enrichments fail to match observed values. We have investigated the effects of these reaction rate modifications on the chemical model of Wirstrom et al. (2012) for which there are significant physical and chemical differences with respect to other models. We have included (15)N fractionation of CN in neutral-neutral reactions and also updated rate coefficients for key reactions in the nitrogen chemistry. We find that the revised fractionation rates have the effect of suppressing (15)N enrichment in ammonia at all times, while the depletion is even more pronounced, reaching (14)N/(15)N ratios of > 2000. Taking the updated nitrogen chemistry into account, no sigificant enrichment occurs in HCN or HNC, contrary to observational evidence in dark clouds and comets, although the (14)N/(15)N ratio can still be below 100 in CN itself. However, such low CN abundances are predicted that the updated model falls short of explaining the bulk (15)N enhancements observed in primitive materials. It is clear that alternative fractionating reactions are necessary to reproduce observations, so further laboratory and theoretical studies are urgently needed.

Astrochemistry

Revised Models of Interstellar Nitrogen Isotopic Fractionation

Nitrogen-bearing molecules in cold molecular clouds exhibit a range of isotopic fractionation ratios and these molecules may be the precursors of 15N enrichments found in comets and meteorites. Chemical model calculations indicate that atom-molecular ion and ion-molecule reactions could account for most of the fractionation patterns observed. However, recent quantum-chemical computations demonstrate that several of the key processes are unlikely to occur in dense clouds. Related model calculations of dense cloud chemistry show that the revised 15N enrichments fail to match observed values. We have investigated the effects of these reaction rate modfications on the chemical model of Wirstrom et al. (2012) for which there are significant physical and chemical differences with respect to other models. We have included 15N fractionation of CN in neutral-neutral reactions and also updated rate coefficients for key reactions in the nitrogen chemistry. We find that the revised fractionation rates have the effect of suppressing 15N enrichment in ammonia at all times, while the depletion is even more pronounced, reaching 14N/15N ratios of > 2000. Taking the updated nitrogen chemistry into account, no significant enrichment occurs in HCN or HNC, contrary to observational evidence in dark clouds and comets, although the 14N/15N ratio can still be below 100 in CN itself. However, such low CN abundances are predicted that the updated model falls short of explaining the bulk 15N enhancements observed in primitive materials. It is clear that alternative fractionating reactions are necessary to reproduce observations, so further laboratory and theoretical studies are urgently needed.

astrochemistry – molecular processes – comets: gen

Anatomy of information scrambling and decoherence in the integrable Sachdev-Ye-Kitaev model

The growth of information scrambling, captured by out-of-time-order correlation functions (OTOCs), is a central indicator of the nature of many-body quantum dynamics. Here, we compute analytically the complete time dependence of the OTOC for an integrable Sachdev-Ye-Kitaev (SYK) model, 𝑁 Majoranas with random two-body interactions of infinite range, coupled to a Markovian bath at finite temperature. In the limit of no coupling to the bath, the time evolution of scrambling experiences different stages. For 𝑡≲√𝑁, after an initial polynomial growth, the OTOC approaches saturation in a power-law fashion with oscillations superimposed. At 𝑡∼√𝑁, the OTOC reverses trend and starts to decrease linearly in time. The reason for this linear decrease is that, despite being a subleading 1/𝑁 effect, the OTOC in this region is governed by the spectral form factor of the antisymmetric couplings of the SYK model. The linear decrease stops at 𝑡∼2⁢𝑁, the Heisenberg time, where saturation occurs. The effect of the environment is an overall exponential decay of the OTOC for times longer than the inverse of the coupling strength to the bath. Here, the oscillations at 𝑡≲√𝑁 indicate lack of thermalization—a desired feature for better performance of quantum information devices.

Open quantum systems & decoherence

Virtual Antiparticle Pairs, the Unit of Charge Epsilon and the QCD Coupling Alpha(sub s)

New semi-classical models of virtual antiparticle pairs are used to compute the pair lifetimes, and good agreement with the Heisenberg lifetimes from quantum field theory (QFT) is found. When the results of the new models and QFT are combined, formulae for e and alpha(sub s)(q) are derived in terms of only h and c. The modeling method applies to both the electromagnetic and color forces. Evaluation of the action integral of potential field fluctuation for each interaction potential yields approx. = h/2 for both electromagnetic and color fluctuations, in agreement with QFT. Thus each model is a quantized semiclassical representation for such virtual antiparticle pairs, to good approximation. This work reduces the number of arbitrary parameters of the Standard Model by two from 18 to 16. These are remarkable, unexpected results from a basically classical method.

Batchelor, David

Creating and Interfacing Designer Chemical Qubits (Final Technical Report)

The Final Technical Report describes a multi‑institution effort to develop programmable molecular qubits as precision quantum sensors for probing quantum materials. The team created chemically tunable qubits with optical addressability and practical coherence, integrated them into thin films and frameworks while preserving functionality, and established new magnetic and electric sensing methods suited to two‑dimensional magnets, ferroelectrics, and multiferroics. They also built computational models and spectroscopic tools that connect molecular design to material behavior, enabling access to quantum phenomena that previously could not be measured. The project produced more than 40 publications and trained a large cohort of graduate students and postdocs, strengthening the workforce and infrastructure needed for DOE's quantum information science mission.

2D Quantum Materials

Wildfire Segmentation From Remotely Sensed Data Using Quantum-Compatible Conditional Vector Quantized-Variational Autoencoders

Wildfires represent a critical environmental hazard with multifaceted implications for ecosystems, communities, and public health [1]. The escalating frequency and intensity of wildfires globally have intensified the urgency for robust segmentation methodologies to facilitate effective mitigation, response, and recovery strategies [2]. Accurate wildfire segmentation is pivotal for delineating fire boundaries, assessing progression patterns, and prioritizing resource allocation during emergency scenarios. Furthermore, precise segmentation enables stakeholders, including policymakers, environmental scientists, and emergency responders, to formulate evidence-based strategies, thereby minimizing socio-economic disruptions and ecological degradation. Consequently, advancing wildfire segmentation techniques through innovative technological interventions remains a paramount research imperative. Although foundational in wildfire segmentation, traditional deterministic models exhibit inherent limitations that compromise their efficacy in dynamic and uncertain environments. These models often operate on rigid algorithms prioritizing deterministic classifications, thereby overlooking the inherent complexities and uncertainties associated with wildfire behavior and satellite data variability. Such deterministic frameworks tend to produce oversimplified representations that fail to capture the intricate nuances of evolving fire dynamics, spatial heterogeneity, and environmental interactions [1]. Consequently, the deterministic approach’s propensity for uncertainty collapsing [1, 3] hampers the accuracy, reliability, and applicability of segmentation outcomes in real-world scenarios. Contrastingly, stochastic models offer a more nuanced and adaptable framework for wildfire segmentation. By integrating probabilistic elements into the modeling paradigm, stochastic approaches, particularly probabilistic approaches such as variational auto encoders (VAEs) [4], facilitate comprehensive uncertainty assessment, enabling researchers to quantify and incorporate uncertainties into segmentation outcomes effectively. This probabilistic nature empowers stochastic models to encapsulate variability, account for data inconsistencies, and adapt to evolving environmental conditions, enhancing segmentation accuracy, reliability, and robustness. Embracing stochastic methodologies thus catalyzes advancements in wildfire science by fostering a more holistic, adaptive, and resilient segmentation framework. Despite VAEs demonstrating significant promise in various applications, they come with inherent limitations that have garnered attention within the machine learning community. One of the primary drawbacks lies in their reliance on static priors, which essentially assume a fixed distribution for latent variables, thereby limiting the model’s flexibility to capture complex data structures effectively [5]. This static nature leads to suboptimal representations, especially when dealing with complex and high-dimensional data. Additionally, VAEs often struggle with generating sharp and realistic samples, a phenomenon commonly referred to as mode collapse [5, 7, 6]. Furthermore, the optimization process in VAEs, which involves balancing the reconstruction loss and the regularization term, can sometimes be challenging to fine-tune [7]. In recent efforts to address these shortcomings, alternative approaches like Vector Quantized Variational Auto encoders(VQ-VAEs) [7], address the challenges by incorporating discrete latent variables and leveraging techniques that enhance the quality and diversity of generated samples while maintaining efficient training dynamics. VQ-VAEs propose a dynamic prior distribution generation mechanism that diverges from the static priors commonly associated with traditional VAEs. This dynamic approach allows for more adaptive and context-aware latent variable representations, thereby potentially capturing complex data structures more effectively. Unlike autoregressive prior models such as PixelCNN, which, despite their ability to model dependencies across data dimensions, suffer from significant computational inefficiencies and lack flexibility in handling diverse datasets. In our work, we propose to use a generative quantum-compatible approach to help alleviate the shortcomings of autoregressive prior model in VQ-VAEs. Restricted Boltzmann Machines (RBMs) are a viable alternative prior model that can learn prior distributions in a faster and more flexible manner. In this research endeavor, we meticulously curate a state-of-the-art dataset leveraging satellite MODIS data in conjunction with VIIRS fire masks, derived from Fire Radiative Power (FRP), thereby encapsulating diverse wildfire scenarios and environmental contexts. We developed a conditional VQ-VAE architecture with the RBM prior model that is trained in a supervised manner for segmenting wildfire masks. This innovative approach synergistically harnesses deep learning capabilities, enabling the generation of segmentation maps characterized by heightened precision, granularity, and contextual relevance. Furthermore, replacing the autoregressive prior learning method proposed by the original VQ-VAE with a prior density approximation via quantum-compatible RBM facilitates expedited inference processes, augments flexibility in prior sampling, optimizes computational efficiency and establishes a groundbreaking benchmark in wildfire segmentation methodologies.

quantum machine learning

Quantum Chemical Density Matrix Renormalization Group Method Boosted by Machine Learning

The use of machine learning (ML) to refine low-level theoretical calculations to achieve higher accuracy is a promising and actively evolving approach known as Δ-ML. The density matrix renormalization group (DMRG) is a powerful variational approach widely used for studying strongly correlated quantum systems. High computational efficiency can be achieved without compromising accuracy. Here, we demonstrate the potential of a simple ML model to significantly enhance the performance of the quantum chemical DMRG method.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH

Digital quantum simulation of cavity quantum electrodynamics: insights from superconducting and trapped ion quantum testbeds

We explore the potential for hybrid development of quantum hardware where currently available quantum computers simulate open cavity quantum electrodynamical (CQED) systems for applications in optical quantum communication, simulation and computing. Our simulations make use of a recent quantum algorithm that maps the dynamics of a singly excited open Tavis–Cummings model containing N atoms coupled to a lossy cavity. We report the results of executing this algorithm on two noisy intermediate-scale quantum computers: a superconducting processor and a trapped ion processor, to simulate the population dynamics of an open CQED system featuring N = 3 atoms. By applying technology-specific transpilation and error mitigation techniques, we minimize the impact of gate errors, noise, and decoherence in each hardware platform, obtaining results which agree closely with the exact solution of the system. These results can be used as a recipe for efficient and platform-specific quantum simulation of cavity–emitter systems on contemporary and future quantum computers.

cavity QED

Next-generation tunnel FETs: exploring material perspectives and areal tunneling configurations

The end of Dennard scaling, which facilitated proportional increases in computing power without added energy costs until the mid-2000s, has underscored the urgent need for innovative semiconductor devices that can enhance energy efficiency. Tunnel field-effect transistors (TFETs) have emerged as promising candidates to surpass the energy efficiency of conventional metal oxide semiconductor field-effect transistors (MOSFETs). Unlike MOSFETs, which rely on thermionic emission to overcome the source-channel potential barrier, TFETs operate through quantum tunneling, potentially enabling sub-60 mV dec −1 subthreshold swing (SS) for low-voltage operation. However, lateral TFETs have faced challenges in achieving adequate on-state current (I ON ) and a broad SS operation window, limiting their practical utility. This review article advocates for areal TFETs, which utilize face-to-face tunnel junctions that ideally offer step-function current turn-on characteristics and allow I ON to scale with device area rather than width. We highlight recent advancements in integrating 2D materials into tunneling structures, which could facilitate efficient band-to-band tunneling through atomically thin layers, while addressing challenges of gate field screening. We then discuss the nearer-term prospects of epitaxial areal TFETs comprising III–V compound semiconductors and group-IV semiconductors based on recent experimental progress. The review examines both quantum mechanical and semiclassical modeling approaches for TFETs, including techniques to reduce the computational complexity. The article delves into ongoing challenges in material synthesis, interface engineering, device fabrication, and integration pathways, concluding with recommendations for future research directions to overcome the fundamental power density limitations of conventional transistor technology.

2D materials

Adiabatic quantum support vector machines

Adiabatic quantum computers can solve difficult optimization problems (e.g., the quadratic unconstrained binary optimization problem), and they seem well suited to train machine learning models. In this paper, we describe an adiabatic quantum approach for training support vector machines. We show that the time complexity of our quantum approach is an order of magnitude better than the classical approach. Next, we compare the test accuracy of our quantum approach against a classical approach that uses the Scikit-learn library in Python across five benchmark datasets (Iris, Wisconsin Breast Cancer (WBC), Wine, Digits, and Lambeq). We show that our quantum approach obtains accuracies on par with the classical approach. Finally, we perform a scalability study in which we compute the total training times of the quantum approach and the classical approach with an increasing number of features and an increasing number of data points in the training dataset. In conclusion, our scalability results show that the quantum approach obtains a 3.5–4.5x speedup over the classical approach on datasets with many (millions of) features.

Computational Complexity