English
Related papers

Related papers: Rapid screening of high-throughput ground state pr…

200 papers

The precise description of quantum nuclear fluctuations in atomistic modelling is possible by employing path integral techniques, which involve a considerable computational overhead due to the need of simulating multiple replicas of the…

Chemical Physics · Physics 2017-03-23 Venkat Kapil , Jörg Behler , Michele Ceriotti

We investigate the feasibility of extracting infinite volume scattering phase shift on quantum computers in a simple one-dimensional quantum mechanical model, using the formalism established in Ref.~\cite{Guo:2023ecc} that relates the…

Quantum Physics · Physics 2026-03-09 Peng Guo , Paul LeVan , Frank X. Lee , Yong Zhao

X-ray near field holography has proven to be a powerful 2D and 3D imaging technique with applications ranging from biomedical research to material sciences. To reconstruct meaningful and quantitative images from the measurement intensities,…

Image and Video Processing · Electrical Eng. & Systems 2024-03-04 Jens Lucht , Leon M. Lohse , Thorsten Hohage , Tim Salditt

We propose a new method for simulating QCD at finite density, where interesting phases such as the color superconductivity phase is conjectured to appear. The method is based on a general factorization property of distribution functions of…

High Energy Physics - Lattice · Physics 2017-08-23 Jun Nishimura

Phase diagrams chart material properties with respect to one or more external or internal parameters such as pressure or magnetisation; as such, they play a fundamental role in many theoretical and applied fields of science. In this work,…

Quantum Physics · Physics 2021-05-28 James D. Watson , Johannes Bausch

The Derivative-free nonlinear Kalman Filter is proposed for state estimation and fault diagnosis in distributed parameter systems and particularly in dynamical systems described by partial differential equations of the nonlinear wave type.…

Systems and Control · Computer Science 2013-11-05 Gerasimos G. Rigatos

In this paper we argue that one-way quantum computation can be seen as a form of phase transition with the available information about the solution of the computation being the order parameter. We draw a number of striking analogies between…

Quantum Physics · Physics 2009-11-13 Janet Anders , Damian Markham , Vlatko Vedral , Michal Hajdušek

We demonstrate an efficient and accurate, general-purpose first-principles blueprint for calculating anharmonic vibrational free energy and predicting structural phase transition temperatures of solids. Thermodynamic integration is…

Materials Science · Physics 2024-03-14 Junsoo Park , Zhigang Wu , John W. Lawson

This work proposes an extension of phase change and latent heat models for the simulation of metal powder bed fusion additive manufacturing processes on the macroscale and compares different models with respect to accuracy and numerical…

Computational Engineering, Finance, and Science · Computer Science 2021-09-07 Sebastian D. Proell , Wolfgang A. Wall , Christoph Meier

We study the quantum fidelity approach to characterize thermal phase transitions. Specifically, we focus on the mixed-state fidelity induced by a perturbation in temperature. We consider the behavior of fidelity in two types of second-order…

Quantum Physics · Physics 2009-04-22 H. T. Quan , F. M. Cucchietti

Phonon-based approaches and molecular dynamics are widely established methods for gaining access to a temperature-dependent description of material properties. However, when a compound's phase space is vast, density-functional-theory-backed…

Characterizing quantum phases-of-matter at finite-temperature is essential for understanding complex materials and large-scale thermodynamic phenomena. Here, we develop algorithmic protocols for simulating quantum thermodynamics on quantum…

We present a new phase-field model of solidification which allows efficient computations in the regime when interface kinetic effects dominate over capillary effects. The asymptotic analysis required to relate the parameters in the…

Condensed Matter · Physics 2007-05-23 Kalin Vetsigian , Nigel Goldenfeld

In this work we study the phase sensitivity of generic linear interferometric schemes using Gaussian resources and measurements. Our formalism is based on the Fisher information. This allows us to separate the contributions of the…

Quantum Physics · Physics 2021-03-25 Antonio A. Valido , Juan José García-Ripoll

As an important set of thermodynamic quantities, knowledge of the equation of state over a broad range of temperatures and chemical potentials in the QCD phase diagram is crucial for our understanding of strongly-interacting matter. There…

High Energy Physics - Phenomenology · Physics 2024-03-01 Jamie M. Karthein

Machine learning offers an unprecedented perspective for the problem of classifying phases in condensed matter physics. We employ neural-network machine learning techniques to distinguish finite-temperature phases of the strongly correlated…

Strongly Correlated Electrons · Physics 2017-09-12 Kelvin Ch'ng , Juan Carrasquilla , Roger G. Melko , Ehsan Khatami

The experimental realisation of large scale many-body systems has seen immense progress in recent years, rendering full tomography tools for state identification inefficient, especially for continuous systems. In order to work with these…

This paper proposes and tests the first-ever reduced basis warm-start iterative method for the parametrized linear systems, exemplified by those discretizing the parametric partial differential equations. Traditional iterative methods are…

Numerical Analysis · Mathematics 2024-01-08 Shijin Hou , Yanlai Chen , Yinhua Xia

Machine learning (ML) methods are becoming integral to scientific inquiry in numerous disciplines, such as material sciences. In this manuscript, we demonstrate how ML can be used to predict several properties in solid-state chemistry, in…

Materials Science · Physics 2020-11-24 Jean-Claude Crivello , Nataliya Sokolovska , Jean-Marc Joubert

Infinite-state systems such as distributed protocols are challenging to verify using interactive theorem provers or automatic verification tools. Of these techniques, deductive verification is highly expressive but requires the user to…

Programming Languages · Computer Science 2019-05-21 Yotam M. Y. Feldman , James R. Wilcox , Sharon Shoham , Mooly Sagiv