arXiv subjects
Publications and source records attributed to Markus Lange.
Neural activation coverage (NAC) is a recently-proposed technique for out-of-distribution detection and generalization. We build upon this promising foundation and extend the method to work as an uncertainty estimation technique for already-trained artificial neural networks in the domain of regression. Our experiments confirm NAC uncertainty scores to be more meaningful than other techniques, e.g. Monte-Carlo Dropout.
This paper takes a closer look at Git Re-Basin, an interesting new approach to merge trained models. We propose a hierarchical model merging scheme that significantly outperforms the standard MergeMany algorithm. With our new algorithm, we find that Re-Basin induces adversarial and perturbation robustness into the merged models, with the effect becoming stronger the more models participate in the hierarchical merging scheme. However, in our experiments Re-Basin induces a much bigger performance drop than reported by the original authors.
We consider atoms or molecules coupled to the quantized electromagnetic radiation field in a dipole approximation. We show the existence of ground states and resonance states in situations where the eigenvalues are degenerate and protected by a symmetry group. We show that ground states and resonance states as well as their energies depend analytically on the coupling constant. Our results are an application of the result in [20], which in turn is obtained using operator theoretic renormalization.
The Forward-Forward algorithm has evolved in machine learning research, tackling more complex tasks that mimic real-life applications. In the last years, it has been improved by several techniques to perform better than its original version, handling a challenging dataset like CIFAR10 without losing its flexibility and low memory usage. We have shown in our results that improvements are achieved through a combination of convolutional channel grouping, learning rate schedules, and independent block structures during training that lead to a 20\% decrease in test error percentage. Additionally, to approach further implementations on low-capacity hardware projects, we have presented a series of lighter models that achieve low test error percentages within (21$\pm$3)\% and number of trainable parameters between 164,706 and 754,386. This serves as a basis for our future study on complete verification and validation of these kinds of neural networks.
We define symmetries in non-relativistic quantum electrodynamics, which have the physical interpretation of rotation, parity and time reversal symmetry. We collect transformation properties related to these symmetries in Fock space representation as well as in the Schr\"odinger representation. As an application, we generalize and improve theorems about Kramer's degeneracy in non-relativistic quantum electrodynamics.
We consider finite-range, many-body fermionic lattice models and we study the evolution of their thermal equilibrium state after introducing a weak and slowly varying time-dependent perturbation. Under suitable assumptions on the external driving, we derive a representation for the average of the evolution of local observables via a convergent expansion in the perturbation, for small enough temperatures. Convergence holds for a range of parameters that is uniform in the size of the system. Under a spectral gap assumption on the unperturbed Hamiltonian, convergence is also uniform in temperature. As an application, our expansion allows us to prove closeness of the time-evolved state to the instantaneous Gibbs state of the perturbed system, in the sense of expectation of local observables, at zero and at small temperatures. As a corollary, we also establish the validity of linear response. Our strategy is based on a rigorous version of the Wick rotation, which allows us to represent the Duhamel expansion for the real-time dynamics in terms of Euclidean correlation functions, for which precise decay estimates are proved using fermionic cluster expansion.
We consider Hamiltonians of models describing non-relativistic quantum mechanical matter coupled to a relativistic field of bosons. If the free Hamiltonian has an eigenvalue, we show that this eigenvalue persists also for nonzero coupling. The eigenvalue of the free Hamiltonian may be degenerate provided there exists a symmetry group acting irreducibly on the eigenspace. Furthermore, if the Hamiltonian depends analytically on external parameters then so does the eigenvalue and eigenvector. Our result applies to the ground state as well as resonance states. For our results we assume a mild infrared condition. The proof is based on operator theoretic renormalization. It generalizes the method used in [15] to non-degenerate situations, where the degeneracy is protected by a symmetry group, and utilizes Schur's lemma from representation theory.
We present a method to calculate the asymptotic behavior of eigenfunctions of Schr\"odinger operators that also works at the threshold of the essential spectrum. It can be viewed as a higher order correction to the well-known WKB method which does need a safety distance to the essential spectrum. We illustrate its usefulness on examples of quantum particles in a potential well with a long-range repulsive term outside the well.
We consider the dynamics $t\mapstoτ_t$ of an infinite quantum lattice system that is generated by a local interaction. If the interaction decomposes into a finite number of terms that are themselves local interactions, we show that $τ_t$ can be efficiently approximated by a product of $n$ automorphisms, each of them being an alternating product generated by the individual terms. For any integer $m$, we construct a product formula (in the spirit of Trotter) such that the approximation error scales as $n^{-m}$. Our bounds hold in norm, pointwise for algebra elements that are sufficiently well approximated by finite volume observables.
One of the crucial properties of a quantum system is the existence of bound states. While the existence of eigenvalues below zero, i.e., below the essential spectrum, is well understood, the situation of zero energy bound states at the edge of the essential spectrum is far less understood. We present necessary and sufficient conditions for Schr\"odinger operators to have a zero energy bound state. Our sharp criteria show that the existence and non-existence of zero energy ground states depends strongly on the dimension and the asymptotic behavior of the potential. There is a spectral phase transition with dimension four being critical.
We give a rigorous argument that long--range repulsion stabilizes quantum systems; ground states of such quantum systems exist even when the ground state energy is precisely at the ionization threshold. For atomic systems at the critical nuclear charge, our bounds show that the ground state falls off like $\exp(-c\sqrt{|x|})$ for large $|x|$. This is much slower than what the WKB method predicts for bound states with energies strictly below the ionization threshold. For helium type systems at critical nuclear charge, we show that our upper bounds are sharp. This rigorously confirms predictions by quantum chemists.
In general, linear response theory expresses the relation between a driving and a physical system's response only to first order in perturbation theory. In the context of charge transport, this is the linear relation between current and electromotive force expressed in Ohm's law. We show here that, in the case of the quantum Hall effect, all higher order corrections vanish. We prove this in a fully interacting setting and without flux averaging.
It is well known that $N$-electron atoms undergoes unbinding for a critical charge of the nucleus $Z_c$, i.e. the atom has eigenstates for the case $Z> Z_c$ and it has no bound states for $Z<Z_c$. In the present paper we derive upper bound for the bound state for the case $Z=Z_c$ under the assumption $Z_c<N-K$ where $K$ is the number of electrons to be removed for atom to be stable for $Z=Z_c$ without any change in the ground state energy. We show that the eigenvector decays faster as $\exp\left(-C\sum\sqrt{|x|_{k}}\right)$ where we sum K largest values of $|x_j|$, $j\in\{1,\ldots,N\}$. Our method do not require Born-Oppenheimer approximation.
In the present paper we study two challenging problems for helium-type systems. Existence of eigenvalues at thresholds and the asymptotic behavior of the corresponding eigenfunctions. Since the usual methods for addressing these problems need a safety distance to the essential spectrum, they cannot be applied in critical cases, when an eigenvalue enters the continuum. We develop a method to address both problems and derive sharp upper and lower bounds for the asymptotic behavior of the ground state of critical helium-type systems at the threshold of the essential spectrum. This is the first proof of the precise asymptotic behavior of the ground state for this benchmark problem in quantum chemistry. Moreover, our bounds describe precisely how the asymptotic decay of the ground state changes, when the system becomes critical. In addition, we show the existence of a ground state of this quantum critical system with a finite nuclear mass. Previously this had been known only in the Born-Oppenheimer approximation of infinite nuclear mass.
We consider expansions of eigenvalues and eigenvectors of models of quantum field theory. For a class of models known as generalized spin boson model we prove the existence of asymptotic expansions of the ground state and the ground state energy to arbitrary order. We need a mild but very natural infrared assumption, which is weaker than the assumption usually needed for other methods such as operator theoretic renormalization to be applicable. The result complements previously shown analyticity properties.
We consider a Hamilton operator which describes a finite dimensional quantum mechanical system with degenerate eigenvalues coupled to a field of relativistic bosons. We show that the ground state projection and the ground state energy are analytic functions of the coupling constant in a cone with apex at the origin, provided a mild infrared assumption holds. To show the result operator theoretic renormalization is used and extended to degenerate situations.