BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Christian Schilling

Christian Schilling contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
quant-phSystems and ControlLogic in Computer ScienceArtificial Intelligencecond-mat.str-eleess.SYMachine Learningmath.DSphysics.chem-phcond-mat.quant-gasmath-phmath.MPmath.NANumerical Analysismath.OC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
15topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2026arXiv

A Geometric Approach to Strongly Correlated Bosons: From $N$-Representability to the Generalized BEC Force

Building on recent advances in reduced density matrix theory, we develop a geometric framework for describing strongly correlated lattice bosons. We first establish that translational symmetry, together with a fixed pair interaction, enables an exact functional formulation expressed solely in terms of momentum occupation numbers. Employing the constrained-search formalism and exploiting a geometric correspondence between $N$-boson configuration states and their one-particle reduced density matrices, we derive the general form of the ground-state functional. Its structure highlights the omnipresent significance of one-body $N$-representability: (i) the domain is exactly determined by the $N$-representability conditions; (ii) at its boundary, the gradient of the functional diverges repulsively, thereby generalizing the recently discovered Bose-Einstein condensate (BEC) force; and (iii) an explicit expression for this boundary force follows directly from geometric arguments. These key results are demonstrated analytically for few-site lattice systems, and we illustrate the broader significance of our functional form in defining a systematic hierarchy of functional approximations.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Implementations of two Algorithms for the Threshold Synthesis Problem

A linear pseudo-Boolean constraint (LPB) is an expression of the form $a_1 \cdot \ell_1 + \dots + a_m \cdot \ell_m \geq d$, where each $\ell_i$ is a literal (it assumes the value 1 or 0 depending on whether a propositional variable $x_i$ is true or false) and $a_1, \dots, a_m, d$ are natural numbers. An LPB represents a Boolean function, and those Boolean functions that can be represented by exactly one LPB are called threshold functions. The problem of finding an LPB representation of a Boolean function if possible is called threshold recognition problem or threshold synthesis problem. The problem has an $O(m^7 t^5)$ algorithm using linear programming, where $m$ is the dimension and $t$ the number of terms in the DNF input. It has been an open question whether one can recognise threshold functions through an entirely combinatorial procedure. Smaus has developed such a procedure for doing this, which works by decomposing the DNF and "counting" the variable occurrences in it. We have implemented both algorithms as a thesis project. We report here on this experience. The most important insight was that the algorithm by Smaus is, unfortunately, incomplete.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Comment on "Self-Consistent-Field Method for Correlated Many-Electron Systems with an Entropic Cumulant Energy"

In [Phys. Rev. Lett. 128, 013001 (2022)] a novel ground state method was proposed. It has been suggested that this $i$-DMFT would be a method within one-particle reduced density matrix functional theory (DMFT), capable of describing accurately molecules at various geometries with an information-theoretical nature. We reassess this work and its suggestions from a conceptual and practical point of view, leading to the following conclusions: i) A method which assigns to each molecule $\mathcal{M}$ its own functional $\mathcal{F}_{\!\mathcal{M}}$ is not a functional theory (striking violation of "universality") ii) even for the simplest systems $i$-DMFT yields incorrect one-particle reduced density matrices and iii) the use of an information-theoretical concept to describe molecular dissociation limits was not essential. The latter insight may help to fix the deficiency of $i$-DMFT to not reproduce correctly the smaller occupation numbers and thus to not recover the important dynamic correlations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Conservative Time Discretization: A Comparative Study

We present the first review of methods to overapproximate the set of reachable states of linear time-invariant systems subject to uncertain initial states and input signals for short time horizons. These methods are fundamental to state-of-the-art reachability algorithms for long time horizons, which proceed in two steps: First they use such a method to discretize the system for a short time horizon, and then they efficiently obtain a solution of the new discrete system for the long time horizon. Traditionally, both qualitative and quantitative comparison between different reachability algorithms has only considered the combination of both steps. In this paper we study the first step in isolation. We perform a variety of numerical experiments for six fundamental discretization methods from the literature. As we show, these methods have different trade-offs regarding accuracy and computational cost and, depending on the characteristics of the system, some methods may be preferred over others. We also discuss preprocessing steps to improve the results and efficient implementation strategies.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

Efficiently handling time-triggered and possibly nondeterministic switches for hybrid systems reachability is a challenging task. In this paper we present an approach based on conservative set-based enclosure of the dynamics that can handle systems with uncertain parameters and inputs, where the uncertainties are bound to given intervals. The method is evaluated on the plant model of an experimental electro-mechanical braking system with periodic controller. In this model, the fast-switching controller dynamics requires simulation time scales of the order of nanoseconds. Accurate set-based computations for relatively large time horizons are known to be expensive. However, by appropriately decoupling the time variable with respect to the spatial variables, and enclosing the uncertain parameters using interval matrix maps acting on zonotopes, we show that the computation time can be lowered to 5000 times faster with respect to previous works. This is a step forward in formal verification of hybrid systems because reduced run-times allow engineers to introduce more expressiveness in their models with a relatively inexpensive computational cost.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Excitations of Quantum Many-Body Systems via Purified Ensembles: A Unitary-Coupled-Cluster-based Approach

State-average calculations based on mixture of states are increasingly being exploited across chemistry and physics as versatile procedures for addressing excitations of quantum many-body systems. If not too many states should need to be addressed, calculations performed on individual states is also a common option. Here we show how the two approaches can be merged into one method, dealing with a generalized yet single pure state. Implications in electronic structure calculations are discussed and for quantum computations are pointed out.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Foundation of one-particle reduced density matrix functional theory for excited states

In [Phys. Rev. Lett. 127, 023001 (2021)] a reduced density matrix functional theory (RDMFT) has been proposed for calculating energies of selected eigenstates of interacting many-fermion systems. Here, we develop a solid foundation for this so-called $\boldsymbol{w}$-RDMFT and present the details of various derivations. First, we explain how a generalization of the Ritz variational principle to ensemble states with fixed weights $\boldsymbol{w}$ in combination with the constrained search would lead to a universal functional of the one-particle reduced density matrix. To turn this into a viable functional theory, however, we also need to implement an exact convex relaxation. This general procedure includes Valone's pioneering work on ground state RDMFT as the special case $\boldsymbol{w}=(1,0,\ldots)$. Then, we work out in a comprehensive manner a methodology for deriving a compact description of the functional's domain. This leads to a hierarchy of generalized exclusion principle constraints which we illustrate in great detail. By anticipating their future pivotal role in functional theories and to keep our work self-contained, several required concepts from convex analysis are introduced and discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quantifying Electron Entanglement Faithfully

Entanglement is one of the most fascinating concepts of modern physics. In striking contrast to its abstract, mathematical foundation, its practical side is, however, remarkably underdeveloped. Even for systems of just two orbitals or sites no faithful entanglement measure is known yet. By exploiting the spin symmetries of realistic many-electron systems, we succeed in deriving a closed formula for the relative entropy of entanglement between electron orbitals. Its broad applicability in the quantum sciences is demonstrated: (i) in light of the second quantum revolution, it quantifies the true physical entanglement by incorporating the crucial fermionic superselection rule (ii) an analytic description of the long-distance entanglement in free electron chains is found, refining Kohn's locality principle (iii) the bond-order wave phase in the extended Hubbard model can be confirmed, and (iv) the quantum complexity of common molecular bonding structures could be marginalized through orbital transformations, thus rationalizing zero-seniority wave function ansatzes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

Deep neural networks (DNNs) are increasingly applied in safety-critical domains, such as self-driving cars, unmanned aircraft, and medical diagnosis. It is of fundamental importance to certify the safety of these DNNs, i.e. that they comply with a formal safety specification. While safety certification tools exactly answer this question, they are of no help in debugging unsafe DNNs, requiring the developer to iteratively verify and modify the DNN until safety is eventually achieved. Hence, a repair technique needs to be developed that can produce a safe DNN automatically. To address this need, we present SpecRepair, a tool that efficiently eliminates counter-examples from a DNN and produces a provably safe DNN without harming its classification accuracy. SpecRepair combines specification-based counter-example search and resumes training of the DNN, penalizing counter-examples and certifying the resulting DNN. We evaluate SpecRepair's effectiveness on the ACAS Xu benchmark, a DNN-based controller for unmanned aircraft, and two image classification benchmarks. The results show that SpecRepair is more successful in producing safe DNNs than comparable methods, has a shorter runtime, and produces safe DNNs while preserving their classification accuracy.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS). This problem is commonly reduced to computing the set of reachable states. When considering dynamical systems and neural networks in isolation, there exist precise approaches for that task based on set representations respectively called Taylor models and zonotopes. However, the combination of these approaches to NNCS is non-trivial because, when converting between the set representations, dependency information gets lost in each control cycle and the accumulated approximation error quickly renders the result useless. We present an algorithm to chain approaches based on Taylor models and zonotopes, yielding a precise reachability algorithm for NNCS. Because the algorithm only acts at the interface of the isolated approaches, it is applicable to general dynamical systems and neural networks and can benefit from future advances in these areas. Our implementation delivers state-of-the-art performance and is the first to successfully analyze all benchmark problems of an annual reachability competition for NNCS.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

How creating one additional well can generate Bose-Einstein condensation

The realization of Bose-Einstein condensation in ultracold trapped gases has led to a revival of interest in that fascinating quantum phenomenon. This experimental achievement necessitated both extremely low temperatures and sufficiently weak interactions. Particularly in reduced spatial dimensionality even an infinitesimal interaction immediately leads to a departure to quasi-condensation. We propose a system of strongly interacting bosons which overcomes those obstacles by exhibiting a number of intriguing related features: (i) The tuning of just a single control parameter drives a transition from quasi-condensation to complete condensation, (ii) the destructive influence of strong interactions is compensated by the respective increased mobility, (iii) topology plays a crucial role since a crossover from one- to `infinite'-dimensionality is simulated, (iv) a ground state gap opens which makes the condensation robust to thermal noise. Remarkably, all these features can be derived by analytical and exact numerical means despite the non-perturbative character of the system.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Into the Unknown: Active Monitoring of Neural Networks

Neural-network classifiers achieve high accuracy when predicting the class of an input that they were trained to identify. Maintaining this accuracy in dynamic environments, where inputs frequently fall outside the fixed set of initially known classes, remains a challenge. The typical approach is to detect inputs from novel classes and retrain the classifier on an augmented dataset. However, not only the classifier but also the detection mechanism needs to adapt in order to distinguish between newly learned and yet unknown input classes. To address this challenge, we introduce an algorithmic framework for active monitoring of a neural network. A monitor wrapped in our framework operates in parallel with the neural network and interacts with a human user via a series of interpretable labeling queries for incremental adaptation. In addition, we propose an adaptive quantitative monitor to improve precision. An experimental evaluation on a diverse set of benchmarks with varying numbers of classes confirms the benefits of our active monitoring framework in dynamic scenarios.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data

Formal design of embedded and cyber-physical systems relies on mathematical modeling. In this paper, we consider the model class of hybrid automata whose dynamics are defined by affine differential equations. Given a set of time-series data, we present an algorithmic approach to synthesize a hybrid automaton exhibiting behavior that is close to the data, up to a specified precision, and changes in synchrony with the data. A fundamental problem in our synthesis algorithm is to check membership of a time series in a hybrid automaton. Our solution integrates reachability and optimization techniques for affine dynamical systems to obtain both a sufficient and a necessary condition for membership, combined in a refinement framework. The algorithm processes one time series at a time and hence can be interrupted, provide an intermediate result, and be resumed. We report experimental results demonstrating the applicability of our synthesis approach.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

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.

0 citations0 reviewsNo code linkedOpen access