arXiv subjects

Christian Schilling

Publications and source records attributed to Christian Schilling.

At least 73 records · Page 4Linked to original sources

arXiv2021

Concept of orbital entanglement and correlation in quantum chemistry

A recent development in quantum chemistry has established the quantum mutual information between orbitals as a major descriptor of electronic structure. This has already facilitated remarkable improvements of numerical methods and may lead to a more comprehensive foundation for chemical bonding theory. Building on this promising development, our work provides a refined discussion of quantum information theoretical concepts by introducing the physical correlation and its separation into classical and quantum parts as distinctive quantifiers of electronic structure. In particular, we succeed in quantifying the entanglement. Intriguingly, our results for different molecules reveal that the total correlation between orbitals is mainly classical, raising questions about the general significance of entanglement in chemical bonding. Our work also shows that implementing the fundamental particle number superselection rule, so far not accounted for in quantum chemistry, removes a major part of correlation and entanglement previously seen. In that respect, realizing quantum information processing tasks with molecular systems might be more challenging than anticipated.

quant-ph↗

arXiv2020

Reachability analysis of linear hybrid systems via block decomposition

Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this paper, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional state space. In particular, we improve the continuous-post operator by performing computations in high-dimensional state space only for time intervals relevant for the subsequent application of the discrete-post operator. Furthermore, the new discrete-post operator performs low-dimensional computations by leveraging the structure of the guard and assignment of a considered transition. We illustrate the potential of our approach on a number of challenging benchmarks.

eess.SY↗

arXiv2020

Correlation paradox of the dissociation limit: A quantum information perspective

The interplay between electron interaction and geometry in a molecular system can lead to rather paradoxical situations. The prime example is the dissociation limit of the hydrogen molecule: While a significant increase of the distance $r$ between the two nuclei marginalizes the electron-electron interaction, the exact ground state does, however, not take the form of a single Slater determinant. By first reviewing and then employing concepts from quantum information theory, we resolve this paradox and its generalizations to more complex systems in a quantitative way. To be more specific, we illustrate and prove that thermal noise due to finite, possibly even just infinitesimally low, temperature $T$ will destroy the entanglement beyond a critical separation distance $r_{\mathrm{crit}}$($T$) entirely. Our analysis is comprehensive in the sense that we simultaneously discuss both total correlation and entanglement in the particle picture as well as in the orbital/mode picture. Our results reveal a conceptually new characterization of static and dynamical correlation in ground states by relating them to the (non)robustness of correlation with respect to thermal noise.

quant-ph↗

arXiv2020

Outside the Box: Abstraction-Based Monitoring of Neural Networks

Neural networks have demonstrated unmatched performance in a range of classification tasks. Despite numerous efforts of the research community, novelty detection remains one of the significant limitations of neural networks. The ability to identify previously unseen inputs as novel is crucial for our understanding of the decisions made by neural networks. At runtime, inputs not falling into any of the categories learned during training cannot be classified correctly by the neural network. Existing approaches treat the neural network as a black box and try to detect novel inputs based on the confidence of the output predictions. However, neural networks are not trained to reduce their confidence for novel inputs, which limits the effectiveness of these approaches. We propose a framework to monitor a neural network by observing the hidden layers. We employ a common abstraction from program analysis - boxes - to identify novel behaviors in the monitored layers, i.e., inputs that cause behaviors outside the box. For each neuron, the boxes range over the values seen in training. The framework is efficient and flexible to achieve a desired trade-off between raising false warnings and detecting novel inputs. We illustrate the performance and the robustness to variability in the unknown classes on popular image-classification benchmarks.

cs.LG↗

arXiv2020

Reduced Density Matrix Functional Theory for Bosons

Based on a generalization of Hohenberg-Kohn's theorem, we propose a ground state theory for bosonic quantum systems. Since it involves the one-particle reduced density matrix $γ$ as a natural variable but still recovers quantum correlations in an exact way it is particularly well-suited for the accurate description of Bose-Einstein condensates. As a proof of principle we study the building block of optical lattices. The solution of the underlying $v$-representability problem is found and its peculiar form identifies the constrained search formalism as the ideal starting point for constructing accurate functional approximations: The exact functionals for this $N$-boson Hubbard dimer and general Bogoliubov-approximated systems are determined. The respective gradient forces are found to diverge in the regime of Bose-Einstein condensation, $\nabla_γ \mathcal{F} \propto 1/\sqrt{1-N_{\mathrm{BEC}}/N}$, providing a natural explanation for the absence of complete BEC in nature.

quant-ph↗

arXiv2019

Implications of pinned occupation numbers for natural orbital expansions. II: Rigorous derivation and extension to non-fermionic systems

We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part II, we provide rigorous derivations of the theorems involved therein. This will offer in particular deeper insights into the underlying mathematical structure and will explain why the saturation of generalized Pauli constraints implies a specific simplified structure of the corresponding many-fermion quantum state. Moreover, we extend the results of Part I to non-fermionic multipartite quantum systems, revealing that extremal single-body information has always strong implications for the multipartite quantum state. In that sense, our work also confirms that pinned quantum systems define new physical entities and the presence of pinnings reflect the existence of (possibly hidden) ground state symmetries.

quant-ph↗

arXiv2019

Implications of pinned occupation numbers for natural orbital expansions. I: Generalizing the concept of active spaces

The concept of active spaces simplifies the description of interacting quantum many-body systems by restricting to a neighbourhood of active orbitals around the Fermi level. The respective wavefunction ansatzes which involve all possible electron configurations of active orbitals can be characterized by the saturation of a certain number of Pauli constraints $0 \leq n_i \leq 1$, identifying the occupied core orbitals ($n_i=1$) and the inactive virtual orbitals ($n_j=0$). In Part I, we generalize this crucial concept of active spaces by referring to the generalized Pauli constraints. To be more specific, we explain and illustrate that the saturation of any such constraint on fermionic occupation numbers characterizes a distinctive set of active electron configurations. A converse form of this selection rule establishes the basis for corresponding multiconfigurational wavefunction ansatzes. In Part II, we provide rigorous derivations of those findings. Moroever, we extend our results to non-fermionic multipartite quantum systems, revealing that extremal single-body information has always strong implications for the multipartite quantum state. In that sense, our work also confirms that pinned quantum systems define new physical entities and the presence of pinnings reflect the existence of (possibly hidden) ground state symmetries.

quant-ph↗

arXiv2019

JuliaReach: a Toolbox for Set-Based Reachability

We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets, a standalone library that implements state-of-the-art algorithms for calculus with convex sets. The library offers both concrete and lazy set representations, where the latter stands for the ability to delay set computations until they are needed. The choice of the programming language Julia and the accompanying documentation of our toolbox allow researchers to easily translate set-based algorithms from mathematics to software in a platform-independent way, while achieving runtime performance that is comparable to statically compiled languages. Combining lazy operations in high dimensions and explicit computations in low dimensions, JuliaReach can be applied to solve complex, large-scale problems.

eess.SY↗

arXiv2019

Diverging exchange force and form of the exact density matrix functional

For translationally invariant one-band lattice models, we exploit the ab initio knowledge of the natural orbitals to simplify reduced density matrix functional theory (RDMFT). Striking underlying features are discovered: First, within each symmetry sector, the interaction functional $\mathcal{F}$ depends only on the natural occupation numbers $\bf{n}$. The respective sets $\mathcal{P}^1_N$ and $\mathcal{E}^1_N$ of pure and ensemble $N$-representable one-matrices coincide. Second, and most importantly, the exact functional is strongly shaped by the geometry of the polytope $\mathcal{E}^1_N \equiv \mathcal{P}^1_N $, described by linear constraints $D^{(j)}(\bf{n})\geq 0$. For smaller systems, it follows as $\mathcal{F}[\bf{n}]=\sum_{i,i'} \overline{V}_{i,i'} \sqrt{D^{(i)}(\bf{n})D^{(i')}(\bf{n})}$. This generalizes to systems of arbitrary size by replacing each $D^{(i)}$ by a linear combination of $\{D^{(j)}(\bf{n})\}$ and adding a non-analytical term involving the interaction $\hat{V}$. Third, the gradient $\mathrm{d}\mathcal{F}/\mathrm{d}\bf{n}$ is shown to diverge on the boundary $\partial\mathcal{E}^1_N$, suggesting that the fermionic exchange symmetry manifests itself within RDMFT in the form of an "exchange force". All findings hold for systems with non-fixed particle number as well and $\hat{V}$ can be any $p$-particle interaction. As an illustration, we derive the exact functional for the Hubbard square.

quant-ph↗

arXiv2018

Relating the pure and ensemble density matrix functional

A crucial theorem in Reduced Density Matrix Functional Theory (RDMFT) suggests that the universal pure and ensemble functional coincide on their common domain of pure N-representable one-matrices. We refute this by a comprehensive analysis of the geometric picture underlying Levy's constrained search. Moreover, we then show that the ensemble functional follows instead as the lower convex envelop of the pure functional. It is particularly remarkable that the pure functional determines the ensemble functional even outside its own domain of pure N-representable one-matrices. From a general perspective, this demonstrates that relaxing pure RDMFT to ensemble RDMFT does not necessarily circumvent the complexity of the one-body pure N-representability conditions (generalized Pauli constraints). Instead, the complexity may simply be transferred from the underlying space of pure N-representable one-matrices to the structure of the universal one-matrix functional.

quant-ph↗

arXiv2018

Generalized Pauli constraints in small atoms

The natural occupation numbers of fermionic systems are subject to non-trivial constraints, which include and extend the original Pauli principle. A recent mathematical breakthrough has clarified their mathematical structure and has opened up the possibility of a systematic analysis. Early investigations have found evidence that these constraints are exactly saturated in several physically relevant systems, e.g., in a certain electronic state of the Beryllium atom. It has been suggested that in such cases, the constraints, rather than the details of the Hamiltonian, dictate the system's qualitative behaviour. Here, we revisit this question with state-of-the-art numerical methods for small atoms. We find that the constraints are, in fact, not exactly saturated, but that they lie much closer to the surface defined by the constraints than the geometry of the problem would suggest. While the results seem incompatible with the statement that the generalized Pauli constraints drive the behaviour of these systems, they suggest that the qualitatively correct wave-function expansions can in some systems already be obtained on the basis of a limited number of Slater determinants, which is in line with numerical evidence from quantum chemistry.

quant-ph↗

arXiv2018

Role of the pair potential for the saturation of generalized Pauli constraints

The dependence of the (quasi-)saturation of the generalized Pauli constraints on the pair potential is studied for ground states of few-fermion systems. For this, we consider spinless fermions in one dimension which are harmonically confined and interact by pair potentials of the form $|x_i-x_j|^s$ with $-1 \leq s\leq 5$. We use the Density Matrix Renormalization Group approach and large orbital basis to achieve the convergence on more than ten digits of both the variational energy and the natural occupation numbers. Our results confirm that the conflict between energy minimization and fermionic exchange symmetry results in a universal and non-trivial quasi-saturation of the generalized Pauli constraints (\emph{quasipinning}), implying tremendous structural simplifications of the fermionic ground state for all $s$. Those numerically exact results are complemented by an analytical study based on a self-consistent perturbation theory which we develop for this purpose. The respective results for the weak coupling regime eventually elucidate the singular behaviour found for the specific values $s=2,4,\ldots$, resulting in an extremely strong quasipinning.

quant-ph↗

arXiv2018

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

Approximating the set of reachable states of a dynamical system is an algorithmic yet mathematically rigorous way to reason about its safety. Although progress has been made in the development of efficient algorithms for affine dynamical systems, available algorithms still lack scalability to ensure their wide adoption in the industrial setting. While modern linear algebra packages are efficient for matrices with tens of thousands of dimensions, set-based image computations are limited to a few hundred. We propose to decompose reach set computations such that set operations are performed in low dimensions, while matrix operations like exponentiation are carried out in the full dimension. Our method is applicable both in dense- and discrete-time settings. For a set of standard benchmarks, it shows a speed-up of up to two orders of magnitude compared to the respective state-of-the art tools, with only modest losses in accuracy. For the dense-time case, we show an experiment with more than 10.000 variables, roughly two orders of magnitude higher than possible with previous approaches.

eess.SY↗

arXiv2017

Natural Extension of Hartree-Fock through extremal $1$-fermion information: Overview and application to the lithium atom

Fermionic natural occupation numbers do not only obey Pauli's exclusion principle but are even stronger restricted by so-called generalized Pauli constraints. Whenever given natural occupation numbers lie on the boundary of the allowed region the corresponding $N$-fermion quantum state has a significantly simpler structure. We recall the recently proposed natural extension of the Hartree-Fock ansatz based on this structural simplification. This variational ansatz is tested for the lithium atom. Intriguingly, the underlying mathematical structure yields universal geometrical bounds on the correlation energy reconstructed by this ansatz.

quant-ph↗

arXiv2017

Universal upper bounds on the Bose-Einstein condensate and the Hubbard star

For $N$ hard-core bosons on an arbitrary lattice with $d$ sites and independent of additional interaction terms we prove that the hard-core constraint itself already enforces a universal upper bound on the Bose-Einstein condensate given by $N_{max}=(N/d)(d-N+1)$. This bound can only be attained for one-particle states $|φ\rangle$ with equal amplitudes with respect to the hard-core basis (sites) and when the corresponding $N$-particle state $|Ψ\rangle$ is maximally delocalized. This result is generalized to the maximum condensate possible within a given sublattice. We observe that such maximal local condensation is only possible if the mode entanglement between the sublattice and its complement is minimal. We also show that the maximizing state $|Ψ\rangle$ is related to the ground state of a bosonic `Hubbard star' showing Bose-Einstein condensation.

cond-mat.quant-gas↗

arXiv2017

Minimization of Visibly Pushdown Automata Using Partial Max-SAT

We consider the problem of state-space reduction for nondeterministic weakly-hierarchical visibly pushdown automata (VPA). VPA recognize a robust and algorithmically tractable fragment of context-free languages that is natural for modeling programs. We define an equivalence relation that is sufficient for language-preserving quotienting of VPA. Our definition allows to merge states that have different behavior, as long as they show the same behavior for reachable equivalent stacks. We encode the existence of such a relation as a Boolean partial maximum satisfiability (PMax-SAT) problem and present an algorithm that quickly finds satisfying assignments. These assignments are sub-optimal solutions to the PMax-SAT problem but can still lead to a significant reduction of states. We integrated our method in the automata-based software verifier Ultimate Automizer and show performance improvements on benchmarks from the software verification competition SV-COMP.

cs.FL↗

arXiv2017

Relating correlation measures: the importance of the energy gap

The concept of correlation is central to all approaches that attempt the description of many-body effects in electronic systems. Multipartite correlation is a quantum information theoretical property that is attributed to quantum states independent of the underlying physics. In quantum chemistry, however, the correlation energy (the energy not seized by the Hartree-Fock ansatz) plays a more prominent role. We show that these two different viewpoints on electron correlation are closely related. The key ingredient turns out to be the energy gap within the symmetry-adapted subspace. We then use a few-site Hubbard model and the stretched H$_2$ to illustrate this connection and to show how the corresponding measures of correlation compare.

quant-ph↗

arXiv2017

Reconstructing quantum states from single-party information

The possible compatibility of density matrices for single-party subsystems is described by linear constraints on their respective spectra. Whenever some of those quantum marginal constraints are saturated, the total quantum state has a specific, simplified structure. We prove that these remarkable global implications of extremal local information are stable, i.e. they hold approximately for spectra close to the boundary of the allowed region. Application of this general result to fermionic quantum systems allows us to characterize natural extensions of the Hartree-Fock ansatz and to quantify their accuracy by resorting to one-particle information, only: The fraction of the correlation energy not recovered by such an ansatz can be estimated from above by a simple geometric quantity in the occupation number picture.

quant-ph↗