A non-degeneracy theorem for interacting fermions in one dimension
Extracted source text · arXiv 2503.18440
\DeclareSymbolFont{AMSb}{U}{msb}{m}{n}
\documentclass[reqno,centertags,10pt,a4paper,noamsfonts]{amsart}
\pdfoutput=1
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{packages}
\input{commands}
\input{theorems}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[pagebackref=false]{hyperref}
\hypersetup{
linktoc=all,
bookmarksdepth=3,
colorlinks=true,
linkcolor=Green,citecolor=Orange,urlcolor=DarkBlue,
pdftitle={non-degeneracy theorem for interacting electrons in one-dimension},
pdfauthor={Thiago Carvalho Corso},
pdfsubject={},
pdfkeywords={}}
%%%%%%%%%%%%%%%%%%%%%%%%%%% Alternative for references (needs to go after hyperref)
%\usepackage[initials,nobysame,alphabetic,msc-links]{amsrefs}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\usepackage{refcheck}%To check unused references. Comment before submission
\begin{document}
\numberwithin{table}{section}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\title[Non-degeneracy theorem for interacting electrons in one-dimension]{A non-degeneracy theorem for interacting electrons in one dimension}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\author[T.~Carvalho~Corso]{Thiago Carvalho Corso}
\address[T.~Carvalho Corso]{Institute of Applied Analysis and Numerical Simulation, University of Stuttgart, Pfaffenwaldring 57, 70569 Stuttgart, Germany}
\email{thiago.carvalho-corso@mathematik.uni-stuttgart.de}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\keywords{Spectral theory of Schr\"odinger operators, eigenvalue inequalities, distributional potentials, many-body quantum systems, electronic systems, Density functional theory, unique continuation}
\subjclass[2020]{Primary: 81Q10 Secondary: 35J10, 81V74}
\date{\today}
\thanks{\emph{Funding information}: DFG -- Project-ID 442047500 -- SFB 1481. \\[1ex]
\textcopyright 2025 by the authors. Faithful reproduction of this article, in its entirety, by any means is permitted for noncommercial purposes.}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\dedicatory{}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{abstract}
In this paper, we show that the ground-state of many-body Schr\"odinger operators for electrons in one dimension is non-degenerate. More precisely, we consider Schr\"odinger operators of the form
\begin{align*}
H_N(v,w) = -\Delta + \sum_{i\neq j}^N w(x_i,x_j) + \sum_{j=1}^N v(x_i) \quad \mbox{acting on $\bigwedge^N \mL^2([0,1])$,}
\end{align*}
where the external and interaction potentials $v$ and $w$ belong to a large class of distributions. In this setting, we show that the ground-state of the system with Fermi statistics and local boundary conditions is non-degenerate and does not vanish on a set of positive measure. In the case of periodic and anti-periodic (or more general non-local) boundary conditions, we show that the same result holds whenever the number of particles is odd and even, respectively. This non-degeneracy result seems to be new even for regular potentials $v$ and $w$. As an immediate application of this result, we prove eigenvalue inequalities and the strong unique continuation property for eigenfunctions of the single-particle one-dimensional operators $h(v) = -\Delta +v$. In addition, we prove strict inequalities between the lowest eigenvalues of different self-adjoint realizations of $H_N(v,w)$.
\end{abstract}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setcounter{tocdepth}{1}
\maketitle
\tableofcontents
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setcounter{secnumdepth}{2}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{content}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\addtocontents{toc}{\protect\setcounter{tocdepth}{1}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\addtocontents{toc}{\protect\setcounter{tocdepth}{-1}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section*{Acknowledgements}
The author thanks Chokri Manai, Timo Weidl, Robert van Leeuwen, and Markus Penz for fruitful discussions and helpful comments on this article. The author is also grateful to Rafael Antonio Lainez Reyes for pointing out the references on Sobolev spaces.
T.C.~Corso acknowledges funding by the \emph{Deutsche Forschungsgemeinschaft} (DFG, German Research Foundation) - Project number 442047500 through the Collaborative Research Center "Sparsity and Singular Structures" (SFB 1481).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\addtocontents{toc}{\protect\setcounter{tocdepth}{1}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \appendix
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\section*{Disclosure statement}
%The author reports that there are no competing interests to declare.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\appendix
\input{auxiliary.tex}
\input{bibliography}
\bigskip
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{document}
\usepackage[svgnames]{xcolor}
\usepackage{graphicx}
\def\BabelCaseHack{}%MikTex problems
\usepackage[english]{babel}
\usepackage[babel=true,expansion=alltext,protrusion=alltext-nott,final]{microtype}
\usepackage[margin={3cm},marginparwidth={2.5cm}]{geometry}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[utf8]{inputenc}
\usepackage{textcomp}
\usepackage[sb]{libertine}
\usepackage[libertine,bigdelims,vvarbb]{newtxmath}
\useosf
\usepackage[varqu,varl]{inconsolata}
\usepackage[supsfam=LibertinusSerif-Sup,%
supscaled=1.2,%
raised=-.13em]{superiors}
\usepackage{mathtools}
\usepackage[T1]{fontenc}
\usepackage{textcomp}
\usepackage{amsthm}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[inline]{enumitem}
\numberwithin{equation}{section}
%\usepackage{showkeys}
\usepackage[normalem]{ulem}
\usepackage{float}
\usepackage{caption}
\usepackage{subcaption}
\usepackage{xspace}
\usepackage[scientific-notation=true]{siunitx}
\usepackage{pstricks}
%\usepackage{hyperref}
%\usepackage[all]{hypcap}
\usepackage{tikz}
\usetikzlibrary{positioning}
\usetikzlibrary{calc}
\usepackage{pgfplots}
\pgfplotsset{width=10cm,compat=1.9}
\usepackage{bm}
%\usepackage[capbesideposition=outside,capbesidesep=quad]{floatrow}
\usepackage{sidecap}
\usepackage{graphicx,color}
%\usepackage{mathabx}
\usepackage{amsmath}
\DeclareFontFamily{U}{mathx}{}
\DeclareFontShape{U}{mathx}{m}{n}{<-> mathx10}{}
\DeclareSymbolFont{mathx}{U}{mathx}{m}{n}
\DeclareMathAccent{\widehat}{0}{mathx}{"70}
\DeclareMathAccent{\widecheck}{0}{mathx}{"71}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Bibliography links
\providecommand{\mr}[1]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{MR~#1}}
\providecommand{\zbl}[1]{\href{https://zbmath.org/?q=an:#1}{Zbl~#1}}
\providecommand{\arxiv}[1]{\href{https://arxiv.org/abs/#1}{arXiv:#1}}
\providecommand{\doi}[2]{\href{https://doi.org/#1}{#2}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Definitions
\newcommand{\RR}{\mathbb{R}}
\newcommand{\CC}{\mathbb{C}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\QQ}{\mathbb{Q}}
\newcommand{\EE}{\mathcal{E}}
\newcommand{\HH}{\mathcal{H}}
\newcommand{\TT}{\mathbb{T}}
\renewcommand{\SS}{\mathbb{S}}
\newcommand{\LL}{\mathcal{L}}
\newcommand{\GG}{\mathcal{G}}
\newcommand{\C}{\mathcal{C}}
\newcommand{\1}{\mathbf{1}}
\newcommand{\ii}{\imath}
\newcommand{\dd}{\mathrm{d}}
\renewcommand{\qedsymbol}{$\blacksquare$}
\renewcommand{\Re}{\mathrm{Re}\,}
\renewcommand{\Im}{\mathrm{Im}\,}
\newcommand{\cor}{\mathrm{cor}}
\newcommand{\lng}{\langle}
\newcommand{\rng}{\rangle}
\newcommand{\e}{\mathbf{e}}
\newcommand{\E}{\mathbf{E}}
\newcommand{\m}{\mathbf{m}}
\newcommand{\M}{\mathbf{M}}
\newcommand{\h}{\mathbf{h}}
\newcommand{\todo}[1]{\typeout{[ToDo] #1}{\color{orange}[ToDo: #1]}}
\newcommand{\comment}[2]{\typeout{[Comment] #1: #2}{\color{purple}[#1: #2]}}
%Colors
%new color
\definecolor{light_gray}{gray}{0.75}
\definecolor{lighter_gray}{gray}{0.5}
\colorlet{light_blue}{blue!20}
\definecolor{dark_green}{rgb}{0.0, 0.6, 0.0}
\definecolor{royal_blue}{rgb}{0.0, 0.22, 0.66}
\definecolor{salmon}{rgb}{1.0, 0.55, 0.41}
\definecolor{gold}{rgb}{0.8, 0.63, 0.21}
\definecolor{navy_blue}{rgb}{0.0, 0.0, 0.5}
\definecolor{crimson}{rgb}{0.79, 0.0, 0.09}
\definecolor{amethyst}{rgb}{0.6, 0.4, 0.8}
\definecolor{alizarin}{rgb}{0.82, 0.1, 0.26}
\definecolor{amaranth}{rgb}{0.9, 0.17, 0.31}
\definecolor{azure}{rgb}{0.0, 0.5, 1.0}
\definecolor{canaryyellow}{rgb}{0.82, 0.41, 0.12}
\definecolor{carrotorange}{rgb}{0.8, 0.33, 0.0}
\definecolor{cadmiumgreen}{rgb}{0.0, 0.42, 0.24}
\definecolor{copper}{rgb}{0.72, 0.45, 0.2}
\definecolor{aqua}{rgb}{0.5, 1.0, 0.83}
\definecolor{awesome}{rgb}{1.0, 0.13, 0.32}
\definecolor{candyapplered}{rgb}{1.0, 0.03, 0.0}
\definecolor{caribbeangreen}{rgb}{0.0, 0.8, 0.6}
\definecolor{indigo}{rgb}{0.0, 0.25, 0.42}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\redremark}[1]{\texttt{\color{red} #1}}
\newcommand{\greenremark}[1]{\texttt{\color{green} #1}}
%\newcommand{\red}[1]{{\color{red}#1}}
\newcommand{\cancel}[1]{{\color{orange}\sout{#1}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\DeclareMathOperator{\weaklystar}{\rightharpoonup\kern-2.2ex ^* \, \,}
\DeclareMathOperator{\sgn}{sign}
\DeclareMathOperator{\argmin}{argmin}
\DeclareMathOperator{\rel}{rel}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\Qlt}{Q_{\ell,t}}
\newcommand{\Glt}{\Gamma_{\ell,t}}
\newcommand{\ltheta}{\ell_{\theta}}
\newcommand{\ttheta}{t_{\theta}}
\newcommand{\ttau}{t_{\tau}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\Xint#1{\mathchoice
{\XXint\displaystyle\textstyle{#1}}%
{\XXint\textstyle\scriptstyle{#1}}%
{\XXint\scriptstyle\scriptscriptstyle{#1}}%
{\XXint\scriptscriptstyle\scriptscriptstyle{#1}}%
\!\int}
\def\XXint#1#2#3{{\setbox0=\hbox{$#1{#2#3}{\int}$ }
\vcenter{\hbox{$#2#3$ }}\kern-.6\wd0}}
\def\dashint{\;\, \Xint-}
\DeclareMathOperator{\diver}{div}
\DeclareMathOperator{\curl}{curl}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% Thiago
\newcommand{\psh}[2]{\langle #1 \, , #2 \rangle}
\newcommand{\pssob}[3]{\langle #1,#2\rangle_{#3}}
\newcommand{\sumlim}[2]{\sum\limits_{#1}^{#2}}
\newcommand{\itg}[4]{\int_{#1}^{#2} #3 \, \mathrm{d}#4}
\newcommand{\di}{\mathrm{d}}
\newcommand{\rmL}{\mathrm L}
\newcommand{\rmH}{\mathrm H}
\newcommand{\R}{\mathbb R}
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\renewcommand{\C}{\mathbb C}
\newcommand{\K}{\mathbb K}
\newcommand{\Pn}{\mathbb R_n[X]}
\newcommand{\bv}{{\bf v}}
\newcommand{\bu}{{\bf u}}
\newcommand{\bw}{{\bf w}}
\newcommand{\bdb}{{\bf b}}
\newcommand{\bx}{{\bf x}}
\newcommand{\by}{{\bf y}}
\newcommand{\br}{{\bf r}}
\newcommand{\cM}{{\mathcal M}}
\newcommand{\cI}{{\mathcal I}}
\newcommand{\cJ}{{\mathcal J}}
\newcommand{\cK}{{\mathcal K}}
\newcommand{\cL}{{\mathcal L}}
\newcommand{\cB}{{\mathcal B}}
\newcommand{\cO}{{\mathcal O}}
\newcommand{\cS}{{\mathcal S}}
\newcommand{\cE}{{\mathcal E}}
\newcommand{\cR}{{\mathcal R}}
\newcommand{\cF}{{\mathcal F}}
\newcommand{\cBs}{{\mathcal B}_{\rm{sym}}}
\newcommand{\cQ}{{\mathcal Q}}
\newcommand{\bS}{{\bar S}}
\newcommand{\bU}{{\bar U}}
\newcommand{\tu}{{\widetilde u}}
\newcommand{\tU}{{\widetilde U}}
\newcommand\norm[1]{\lVert #1 \rVert}
\newcommand\bignorm[1]{\big\lVert #1 \big\rVert}
\newcommand\bbignorm[1]{\bigg\lVert #1 \bigg\rVert}
%\newcommand{\blue}[1]{{\color{blue}#1}}
\newcommand{\hP}{{{\hat{P}}}}
\newcommand{\hE}{{{\hat{E}}}}
\newcommand{\chE}{{\mathcal{\hat{E}}}}
\newcommand{\chP}{{\mathcal{\hat{P}}}}
\newcommand\inner[1]{\langle #1 \rangle}
\newcommand{\rhobar}{ \overline{\rho}} % {\rm {det}}}
\newcommand{\deter}{ \det} % {\rm {det}}}
\newcommand{\ide}{{\rm {id}}}
\newcommand{\ds}{\displaystyle}
\newcommand{\tr}{{\rm {tr}\,}}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator*{\esssup}{ess\,sup}
\newcommand{\gradi}{{\rm {grad}}}
\newcommand{\spanv}{{\rm {Vect}}}
\newcommand{\dime}{{\dim{}}}
\newcommand{\im}{{\rm{Im}}}
\newcommand{\Ker}{\ker{}}
\DeclareMathOperator{\ran}{ran}
\newcommand{\condi}{{\rm{cond}}}
\newcommand{\diago}{{\rm{Diag}}}
\newcommand{\bdiago}{{\rm{Block-Diag}}}
\newcommand{\dista}{{\rm{dist}}}
\newcommand\scpr{\boldsymbol{\cdot}}
\DeclareMathOperator{\Tr}{Tr}
%\renewenvironment{proof}[1][\proofname]{{ \textit{\textbf{ #1. }}}}{\qed}
\newcommand{\ra}{\rightarrow}
\newcommand{\wc}{\rightharpoonup}
\newcommand{\supp}{\mathrm{supp}}
\newcommand{\mL}{\mathrm{L}}
\newcommand{\re}{\mathrm{Re}\,}
\renewcommand{\phi}{\varphi}
\newcommand{\dom}{\mathrm{dom}\,}
\newcommand{\signum}{\mathrm{sign}\,}
\newcommand{\ext}{\mathrm{ext}}
\newcommand{\inte}{\mathrm{int}}
\newcommand{\mH}{\mathrm{H}}
\newcommand{\mW}{\mathrm{W}}
\newcommand{\mD}{\mathrm{D}}
\newcommand{\T}{\mathbb{T}}
\newcommand{\bold}[1]{{\bf #1}}
\newcommand{\ee}{\mathrm{e}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Theorems
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{assumption}[theorem]{Assumption}
\newtheorem*{theorem*}{Theorem}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem*{remark*}{Remark}
\section{Introduction}
The primary goal of this paper is to study the spectral properties of Schr\"odinger operators of the form
\begin{align*}
H_N(v,w) = -\Delta + \sum_{i \neq j}^N w(x_i,x_j) + \sum_{j=1}^N v(x_j)
\end{align*}
acting on the space of antisymmetric wave-functions $\wedge^N \mL^2(I)$, where $I = (0,1)$ (or $\R$), and $v$ and $w$ belongs to suitable class of distributions. Such operators are used to describe interacting electrons living in one-dimensional space and are therefore ubiquitous in quantum mechanics.
In the mathematical literature, Schr\"odinger operators with distributional potentials have been extensively studied. Early contributions include \cite{RS72,AGHK84,Bra85,AGHH88,Her89}, while more recent works can be found in \cite{AK00,EGNT15,LR15,EP16,BFK+17}. In particular, special attention has been devoted to the case of one-dimensional Sturm-Liouville operators \cite{Kur97,SS99,AHM08,Dav13,EGNT13a,EGNT13b,MK14,Gul19}. However, most (if not all) of these works focus on the case of what could be called "single-particle electronic systems", i.e., where $H = - \Delta + V$ acts on $\mL^2(\Omega)$ for some $\Omega \subset \R^d$ instead of the antisymmetric $\mL^2$-space. Of course, the spectral properties of the many-particle non-interacting Hamiltonian $H_N(v,0)$ acting on $\wedge^N L^2(I)$ are determined be the spectral properties of the single-particle operator $h(v) = -\Delta +v$ acting on $\mL^2(I)$. Unfortunately, this is no longer true for interacting systems, which is arguably the most interesting case in applications.
In fact, our main motivation for studying the interacting operator $H_N(v,w)$ stems from recent advances \cite{SPR+24,Cor25} towards establishing a mathematically rigorous formulation of Kohn-Sham Density Functional Theory (DFT), a highly successful and widely used approach to study the electronic structure of materials. More precisely, the class of distributional potentials studied here appeared in recent developments \cite{SPR+24} concerning the $v$-representability problem, which, roughly speaking, consists in characterizing the set of all possible single-particle ground state densities of operators of the form $H_N(v,w)$ for a given class of potentials $v$. While a detailed discussion on the foundation of DFT and the $v$-representability problem goes beyond the scope of the current paper, we emphasize that the results obtained here will be used to provide a completely rigorous formulation of Kohn-Sham DFT for electrons in one-dimension in a follow-up article.
In this work, we focus instead on the ground-state properties of $H_N(v,w)$. More precisely, our main contributions can be stated as follows:
\begin{enumerate}[label=(\roman*)]
\item We prove that the ground-state of self-adjoint realizations of $H_N(v,w)$ with local boundary conditions (BCs) is non-degenerate and almost everywhere non-vanishing. In particular, this applies to the Dirichlet and Neumann realizations of $H_N(v,w)$. \item In the case of non-local boundary conditions such as periodic and anti-periodic BCs, we prove that the ground-state is non-degenerate and almost everywhere non-vanshing whenever the number of particles $N$ is odd and even, respectively.
\item As an application of these non-degeneracy results, we obtain eigenvalue inequalities and prove the strong unique continuation property for eigenfunctions of the one-dimensional single-particle operator $h(v) = -\Delta +v$.
\item In addition, we obtain strict inequalities between the lowest eigenvalues (or ground-state energies) of different self-adjoint realizations of $H_N(v,w)$. \end{enumerate}
\section{Main Results}
In this section, we state our main results precisely. We then outline the key steps in the proofs and how these steps are organized throughout the paper.
\subsection{Notation} We start with some notation. Throughout this paper, we let $I=(0,1)$ be the open unit interval and set $I_N \coloneqq (0,1)^N$ for any $N\in \N$.
We denote by $\mH^1(I)$ the Sobolev space of functions $f\in\mL^2(I)$ with weak derivative $\partial_x f \in \mL^2(I)$. More generally, for $1\leq p \leq \infty$ and open $\Omega \subset \R^d$, we denote by $\mW^{1,p}(\Omega)$ the usual Sobolev spaces of functions in $\mL^p(\Omega)$ with weak gradient in $\mL^p(\Omega)$, and by $\mW^{-1,q}(\Omega)$, where $1/q+1/p = 1$, the dual space of $\mW^{1,p}(\Omega)$. In addition, we denote by $\mH^{1/2}(\partial \Omega)$ the standard $1/2$-Sobolev (or Besov) space along the boundary $\partial \Omega$.
For a given closed subspace $L\subset \mH^{1/2}(\partial \Omega)$, we denote by $H^1_L(\Omega)$ the Sobolev spaces of functions with trace on $L$, i.e.,
\begin{align*}
\mH^1_L(\Omega) \coloneqq \{ f\in \mH^1(\Omega) : \gamma f \in L\},
\end{align*}
where $\gamma : \mH^1(\Omega) \rightarrow \mH^{1/2}(\partial \Omega)$ is the Dirichlet (boundary) trace operator.
Next, we define $\mathcal{V}$ as the following space of generalized external potentials:
\begin{align*}
\mathcal{V} \coloneqq \{ v \in \mH^{-1}(I) : v(\phi) \in \R \quad\mbox{for any real-valued $\phi\in \mH^1(I)$}\}.
\end{align*}
Similarly, we define $\mathcal{W}$ as the following space of generalized interaction potentials:
\begin{align*}
\mathcal{W} \coloneqq \{w \in \mW^{-1,q}(I_2): \mbox{for some } q>2\quad \mbox{and}\quad w(\phi) \in \R \quad \mbox{for any real-valued $\phi \in \mW^{1,p}(I_2)$}\}.
\end{align*}
For $N\in \N$, we denote by $\mathcal{H}_N$ the usual space of electronic wave-functions, i.e., the antisymmetric $N$-fold tensor product
\begin{align*}
\mathcal{H}_N = \bigwedge^N \mL^2(I).
\end{align*}
For $v\in \mathcal{V}$, $w\in \mathcal{W}$, and $L\subset \mH^{1/2}(\partial I_N)$ as above, we denote by $H_N^L(v,w)$ the $N$-particle Hamiltonian
\begin{align*}
H_N^L(v,w) = -\Delta + \sum_{i\neq j}^N w(x_i,x_j) + \sum_{j=1}^Nv(x_i) \quad \mbox{acting on $\mathcal{H}_N$ with boundary conditions in $L$.}
\end{align*}
More precisely, $H_N^L(v,w)$ is the unique self-adjoint operator associated to the sesquilinear form
\begin{align}
a_{v,w}(\Psi,\Phi) \coloneqq \int_{I_N} \overline{\nabla \Psi(x_1,...,x_N)} \scpr \nabla \Phi(x_1,...,x_N) \mathrm{d}x_1...\mathrm{d} x_N + v\left(\rho_{\Psi,\Phi}\right) + w(\rho_{2,\Psi,\Phi}) \label{eq:quadratic form0}
\end{align}
with form domain
\begin{align*}
Q_N^L \coloneqq \mathcal{H}_N \cap \mH^1_L(I_N),
\end{align*}
where $\rho_{\Psi,\Phi}$ is the overlapping single-particle density
\begin{align}
\rho_{\Psi,\Phi}(x) \coloneqq N \int_{I_{N-1}} \overline{\Psi(x,x_2,...,x_N)} \Phi(x,x_2,...,x_N) \mathrm{d} x_2...\mathrm{d} x_N , \label{eq:density def}
\end{align}
and $\rho_{2,\Psi,\Phi}$ is the overlapping pair density
\begin{align}
\rho_{2,\Psi,\Phi}(x,y) \coloneqq N(N-1) \int_{I_{N-2}}\overline{\Psi(x,y,x_3,...,x_N)} \Phi(x,y,x_3,...,x_N) \mathrm{d}x_3...\mathrm{d}x_N. \label{eq:pair density def}
\end{align}
\subsection{Main results}
As a first result, we show that the ground-state of self-adjoint realizations of $H_N(v,w)$ with local boundary conditions is non-degenerate. Precisely, let $\Gamma \subset \partial \Omega$ and define
\begin{align*}
\mH^1(I_N;\Gamma) = \{ \Psi \in \mH^1(I_N) : (\gamma \Psi)\rvert_\Gamma = 0\}.
\end{align*}
Then the following holds.
\begin{theorem}[Non-degeneracy theorem with local BCs] \label{thm:main} Let $v\in \mathcal{V}$, $w\in \mathcal{W}$, $N\in \N$ and $\Gamma \subset \partial \Omega$.
Then the operator $H_{N}(v,w;\Gamma)$ defined as the self-adjoint realization of~\eqref{eq:quadratic form0} with form domain $\mH^1(I_N;\Gamma) \cap \mathcal{H}_N$ has a unique ground-state $\Psi$ and $\Psi \neq 0$ almost everywhere.
\end{theorem}
\begin{remark}[Unique continuation] The fact that $\Psi$ does not vanish on a set of positive Lebesgue measure is known as the strong unique continuation property or principle (UCP). While the UCP is known to hold for distributional solutions of the Schr\"odinger equation with a large class of multiplicative potentials, see, e.g. \cite{JK85,Sog90,Wol93,KT01,Hor07,Gar18}, the author is not aware of similar results for many-body Schr\"odinger operators with distributional potentials. In fact, many of the difficulties encountered throughout our proofs can be traced back to this lack of unique continuation results. Interestingly though, Theorem~\ref{thm:main} allow us to establish a unique continuation result for the single-particle operator $h(v) = -\Delta +v$; see Theorem~\ref{thm:non-interacting}.
\end{remark}
The next result shows that Theorem~\ref{thm:main} can be extended to the case of periodic and anti-periodic boundary conditions. In this case, however, we need an additional assumption on the number of particles $N\in \N$. To state this result precisely, let us define, for any $\alpha \in \R\setminus \{0\}$ the space
\begin{align*}
\mH^1_{\alpha}(I_N) \coloneqq \left\{ \Psi \in \mH^1(I_N) : (\gamma\Psi)\rvert_{I_{k-1}\times\{0\} \times I_{N-k}} - \alpha (\gamma \Psi)\rvert_{I_{k-1} \times \{1\} \times I_{N-k}}= 0\quad \mbox{for any $1\leq k \leq N$} \right\}.
\end{align*}
We say that these spaces have non-local boundary conditions as the boundary values along any face of $\partial I_N$ depend on the values along the opposite face\footnote{We exclude the case $\alpha =0$ for two reasons. First, this case corresponds to local boundary conditions and are therefore covered by Theorem~\ref{thm:main}. Second, the notation $\mH^1_0(I_N)$ is reserved to the case of Dirichlet boundary conditions along the whole boundary.}. Note that $\alpha = 1$ corresponds to periodic BCs and $\alpha = -1$ to antiperiodic BCs. For such spaces, the following result holds.
\begin{theorem}[Non-degeneracy theorem with non-local BCs] \label{thm:non-local} Let $\alpha \in \R\setminus \{0\}$ and suppose that
\begin{align}
\alpha (-1)^{N-1} > 0. \label{eq:parity condition}
\end{align}
Then the self-adjoint realization $H_N^\alpha(v,w)$ of~\eqref{eq:quadratic form0} with form domain $\mH^1_\alpha(I_N)\cap \mathcal{H}_N$ has a unique ground state $\Psi$ and $\Psi \neq 0$ almost everywhere.
\end{theorem}
\begin{remark}[On the condition on the number of particles] Theorem~\ref{thm:non-local} shows that periodic systems are non-degenerate for an odd number of particles, while anti-periodic systems are non-degenerate for an even number of particles. This result is optimal in the sense that there are explicit examples where the ground-state is non-degenerate if and only if condition~\eqref{eq:parity condition} holds. For instance, the simplest example is the free periodic and anti-periodic Laplacians, where the ground-state is non-degenerate if and only if $N$ is odd respectively even. Moreover, one can also construct examples of periodic systems where the ground-state is non-degenerate for any given number of particles $N$; thus an improvement of the form "the system is at least two-fold degenerate for even/odd number of particles" is also not possible. %However, it would be interesting to prove (or disprove) that the ground-state is at most two-fold degenerate.
\end{remark}
\begin{remark}[Further extensions]
Theorem~\ref{thm:main} can also be extended in the following directions:
\begin{enumerate}[label=(\arabic*)]
\item (Real line) Theorem~\ref{thm:main} can be extended to the whole real line $I=\R$ (or half-line). In this case, the existence of a ground-state is not guaranteed and the statement should be changed to "if a ground-state exists" then all of the conclusions of Theorem~\ref{thm:main} holds.
\item (Many-body interactions) We can allow a larger class of distributional interaction potentials $w$. In fact, Theorem~\ref{thm:main} holds for $M$-body interactions $w_M$ with arbitrary $M\in \N$, provided that $w_M$ lies in suitable dual Sobolev spaces (see Section~\ref{sec:examples}). Notably, the case of two-body 3D Coulomb interactions, which could be seen as a "six-body" interaction of the form
\begin{align*}
w_6(x_1,x_2,x_3,y_1,y_2,y_3) = \left(\sum_{j=1}^3 (x_j-y_j)^2\right)^{-\frac12},
\end{align*}
is also admissible. In particular, one can show that the ground-state of the 3D many-particle system with Coulomb interaction, restricted to maximally antisymmetric wave-functions, i.e., wave-functions that are antisymmetric with respect to the exchange of all possible one-dimensional coordinates, is also non-degenerate.
\item (Elliptic operators) Theorems~\ref{thm:main} and~\ref{thm:non-local} also hold with the Laplacian replaced by more general elliptic operators
\begin{align*}
\mathcal{L}_a \Psi \coloneqq \sum_{i,j=1}^N \partial_{x_i} \left(a_{ij}(x) \partial_{x_j} \Psi\right), \quad \mbox{with $a_{ij}(x) \in \mL^\infty(I_N;\R)$.}
\end{align*}
The only condition needed for our proof is that weak subsolutions $\mathcal{L}_a u \leq 0$ satisfy the strong maximum principle.
\item (More general boundary conditions) We can further extend Theorem~\ref{thm:main} to a larger class of self-adjoint realizations of $H_N(v,w)$. Roughly speaking, the maximal class of spaces for which our proof works is given by all $\mH^1_L(I_N)$ where the restricted space
\begin{align*}
\{\Psi \rvert_{S_N} : \Psi \in \mH^1_L(I_N) \cap \mathcal{H}_N \} \quad \mbox{where} \quad S_N = \{(x_1,...,x_N) \in I_N : x_1<x_2... <x_N\}
\end{align*}
is invariant under taking the real and positive part, see Theorem~\ref{thm:PFFermi}. In particular, Theorem~\ref{thm:non-local} still holds with the following mixed space of non-local and local boundary conditions
\begin{align}
\mH^1_{\alpha}(I_N;\Gamma) = \mH^1_{\alpha}(I_N) \cap \mH^1(I_N;\Gamma), \label{eq:mixed}
\end{align}
for $\alpha \in \R\setminus \{0\}$ satisfying~\eqref{eq:parity condition}.
\end{enumerate}
\end{remark}
Interestingly, Theorems~\ref{thm:main} and~\ref{thm:non-local} can be applied to obtain information on the whole spectrum of single-particle operators. More precisely, let $v\in \mathcal{V}$, $L \subset \C^2$ be a (closed) subspace, and denote by $h_L(v) = -\Delta_L + v$ the self-adjoint operator associated to the form
\begin{align}
a_v(\psi, \psi) = \int_I |\nabla \psi(x)|^2 \mathrm{d} x + v(|\psi|^2) \quad \mbox{with form domain $\mH^1_L(I) = \{\psi \in \mH^1(I) : (\psi(0), \psi(1)) \in L\}$.} \label{eq:single-particle form}
\end{align}
Then by applying Theorems~\ref{thm:main} and~\ref{thm:non-local} to self-adjoint realizations of the non-interacting operator $H_N(v,0)$, we obtain the following result.
\begin{theorem}[Single-particle operators] \label{thm:non-interacting} Let $v\in \mathcal{V}$ and $L= \{ \beta =(\beta_0,\beta_1) \in \C^2 : \beta_0 - \alpha \beta_1 = 0\}$ for some $\alpha \in \R\setminus \{0\}$. Then $h_L(v)$ has discrete spectrum, all eigenfunctions are almost everywhere non-vanishing, and the eigenvalues $\{\lambda_k\}_{k \in \N}$ ordered in non-decreasing order and counting multiplicity satisfy
\begin{align}
\begin{dcases} \lambda_{2k-1} < \lambda_{2k}, \quad \mbox{if $\alpha \geq 0$, }\\
\lambda_{2k} < \lambda_{2k+1}, \quad \mbox{if $\alpha \leq 0$,} \end{dcases}, \quad \mbox{for any $k\in \N$.} \label{eq:single eigenvalue}
\end{align}
Moreover, in the case where $L$ is one of the following sets
\begin{align}
\{0\} \times \C, \quad \C \times \{0\}, \quad \{(0,0)\}, \quad \mbox{or} \quad \C^2, \label{eq:separable}
\end{align}
the same holds but all the eigenvalues are simple.
\end{theorem}
\begin{remark*}[Self-adjont realizations] We remark that all local self-adjoint realizations of~\eqref{eq:single-particle form} on $C_c^\infty(I)$ are of the form $h_L(v)$ for some closed subspace $L\subset \C^2$ (see Propostion~\ref{prop:closed subspaces}). Hence, Theorem~\ref{thm:non-interacting} provides information on the spectrum of all self-adjoint extensions of $h_L(v)$ in $C_c^\infty(I)$ whose form domain is closed under complex conjugation.
\end{remark*}
\begin{remark*}[Sturm-Liouville theory] The result from Theorem~\ref{thm:non-interacting} in the case of local boundary conditions~\eqref{eq:separable} is, at least for regular potentials $v$, well-known in the theory of Sturm-Liouville operators, see, e.g., \cite[Theorem 1.9.2]{Zet21}. Nevertheless, the approach presented here seems to be completely different from previous proofs and has the important advantage that it works in the interacting case. \end{remark*}
Next, we present a monotonicity result for the ground-state energy of $H_N(v,w)$. This result shows that the ground-state energy is strictly monotone with respect to enlarging the Dirichlet set of the form domain of $H_N(v,w)$. Precisely, let us denote by $\Gamma_N$ the symmetrization of the set $\Gamma \subset \partial I_N$, i.e.,
\begin{align*}
\Gamma_N \coloneqq \cup_{\sigma \in \mathcal{P}_N} \sigma(\Gamma) \quad \mbox{where} \quad \sigma(x_1,...,x_N) = (x_{\sigma(1)}, ..., x_{\sigma(N)} ),
\end{align*}
and $\mathcal{P}_N$ is the set of permutations of $\{1,...,N\}$. Then we have the following result.
\begin{theorem}[Monotonicity with respect to the Dirichlet set] \label{thm:eigenvalues}
Let $\Gamma \subset \Gamma' \subset \partial I_N$ be such that $\Gamma_N' \setminus \Gamma_N$ has non-empty (relative) interior in $\partial I_N$. Let $\lambda_1(\Gamma)$ and $\lambda_1(\Gamma')$ be respectively the lowest eigenvalues of $H_N(v,w;\Gamma)$ and $H_N(v,w;\Gamma')$. Then
\begin{align*}
\lambda_1(\Gamma)< \lambda_1(\Gamma').
\end{align*}
Moreover, if $\alpha \in \R\setminus \{0\}$ satisfies~\eqref{eq:parity condition} and $\lambda_1(\Gamma)$ and $\lambda_1(\Gamma')$ denote respectively the lowest eigenvalues of the self-adjoint realizations with form domain $\mH^1_\alpha(I_N;\Gamma)\cap \mathcal{H}_N$ and $\mH^1_\alpha(I_N;\Gamma')\cap \mathcal{H}_N$, then the same result holds.
\end{theorem}
\begin{remark*}[Strict inequality]\label{rem:strict}
The important point in Theorem~\ref{thm:eigenvalues} is the strict inequality, since the weaker inequality $\leq$ trivially follows from the variational principle.
\end{remark*}
\begin{remark*}[Topological assumption]
Our main tool to establish Theorem~\ref{thm:eigenvalues} is a weak unique continuation result along the boundary, namely Theorem~\ref{thm:UCP boundary}. As this result applies only to relatively open subsets of the boundary, the assumption that $\Gamma_N'\setminus \Gamma_N$ has non-empty interior is crucial for our proof. Lifting this assumption seems like a challenging problem.
\end{remark*}
\subsection{Outline of the proofs}
We now discuss the key steps and main challenges in the proofs of our main results.
The proof of Theorems~\ref{thm:main} and~\ref{thm:non-local} is carried out in Section~\ref{sec:main proof} and relies on two main steps. The first step consists in proving a Perron-Frobenius (PF) theorem for Schr\"odinger operators of the form $-\Delta +V$ for a large class of distributional potentials $V$ (see Theorem~\ref{thm:PF}). In other words, we show that the ground-state of such operators is non-degenerate and strictly positive almost everywhere. This step relies on well-known semigroup techniques and a perturbative argument borrowed from Reed and Simon \cite{RS78}[Section XII.12] (see also \cite{GJ70, FS75,Ges84} for similar arguments). Combining this result with a density result for dual Sobolev spaces (Lemma~\ref{lem:density result}), we can then establish a PF theorem for Schr\"odinger operators of the form $H_N(v,w) = -\Delta + \sum_{j} v_j + \sum_{j\neq i} w_{i,j}$ under a suitable positivity assumption on their form domain. Unfortunately, these results only apply to the operator without Fermi statistics, i.e., without antisymmetry restrictions on the wave-function. Indeed, whenever antisymmetry is present the wave-function must have both positive and negative values and can not be almost everywhere strictly positive. In particular, as warned in \cite[page 207]{RS78}, PF results cannot be applied to electronic systems.
It turns out, however, that this is not entirely true for the case of systems with antisymmetry with respect to exchange of one-dimensional coordinates. Indeed, in the second and key step of our proof, we show that the operator $H_N(v,w)$, acting on antisymmetric functions in $I_N$, is unitarily equivalent to a reduced Schr\"odinger operator acting on functions on the simplex $S_N \coloneqq \{(x_1,...,x_N) \in (0,1)^N : x_1< x_2... < x_N\}$, but without symmetry constraints. This reduction is based on the rather simple but surprisingly useful observation that the box $I_N$ can be tilled by reflections of the simplex $S_N$. This reduction then allow us to apply the aforementioned PF theorem to establish the non-degeneracy and the strong unique continuation property of the ground-state for the electronic Hamiltonian $H_N(v,w)$. At this step, condition~\eqref{eq:parity condition} can be shown to be equivalent to positivity of the form domain of the reduced operator and is therefore crucial for our proof. This step is carried out in Section~\ref{sec:simplex reduction}.
In Section~\ref{sec:non-interacting} we present the proof of Theorem~\ref{thm:non-interacting}. This result is an immediate application of Theorems~\ref{thm:main} and~\ref{thm:non-local}, and a technical lemma that connects the boundary conditions of the non-interacting operator $H_N(v,0)$ to the boundary conditions of the single-particle operator $h(v) = -\Delta +v$.
The proof of Theorem~\ref{thm:eigenvalues} is inspired by ideas from previous works on similar eigenvalue inequalities \cite{Fil05,GM09,BRS18,Roh21}. More precisely, the core idea of the proof is to apply the beautiful domain extension argument of Filonov \cite{Fil05} to establish a unique continuation result along the boundary (cf. Theorem~\ref{thm:UCP boundary}). Here, however, we face two fundamental problems when trying to apply this argument. First, it relies on unique continuation results which are not available in the case of distributional potentials. Second, and perhaps more critical, is the fact that the non-local boundary conditions are such that, roughly speaking, the faces of $I_N$ are "glued" to each other, and therefore, no extension argument is possible.
The first problem can be overcome by using the unique continuation property of the ground-state guaranteed by the PF theorem. Note that this property is only proven for the ground-state, which explains why we can only obtain inequalities for the lowest eigenvalue of $H_N(v,w)$. To deal with the second difficulty, we rely on a distributional definition of the Neumann trace (or normal derivative). While this definition is the same as in previous works, e.g., \cite{GM09} where the Laplacian with non-local (Robin) boundary conditions is considered, we emphasize that the situation here is more delicate for two reasons. First, the non-local boundary conditions here are imposed directly in the form domain of the operator, as opposed to adding a non-local form along the boundary as done in \cite{GM09}. Second, an eigenfunction $\Psi$ of $H_N(v,w)$ has, in general, no more regularity than $\mH^1$. In particular, its Laplacian has no more regularity than $\mH^{-1}$, and therefore, the usual definition of the weak Neumann trace, which requires $\Delta \Psi$ to be at least in $\mH^{s}$ for $s > -1/2$, see \cite[(3.17)]{GM09}, is not meaningful.
Fortunately, we can still show that, despite this lack of regularity, a meaningful sense can be given to the Neumann trace of eigenfunctions along any open subset of the boundary where they vanish; this result crucially relies on the locality of the operator $H_N(v,w)$, a property that indirectly underlies many of the arguments used here. We then obtain an explicitly formula for this weak Neumann trace that could be new and of independent interest; see Lemma~\ref{lem:Ntrace formula}. By combining this formula with a positivity property of the boundary conditions, which is inherited by the ground-state (see Theorem~\ref{thm:PFFermi}), we can show that the Neumann trace of the ground-state vanishes whenever its Dirichlet trace vanishes. This allows us to extend the form domain of $H_N(v,w)$ and carry out the extension argument of Filonov to complete the proof of the unique continuation along the boundary in Theorem~\ref{thm:UCP boundary}. Theorem~\ref{thm:eigenvalues} then follows from standard arguments.
\section{Background on Sobolev Spaces}
\label{sec:background}
In this section we present some well-known results about Sobolev spaces that will be useful throughout our proofs.
\subsection{Definitions and basic properties} Let us start by recalling the precise definition of Sobolev spaces and setting-up some notation.
Throughout this section $\Omega \subset \R^d$ will be a bounded, open, and connected subset of $\R^d$ with Lipschitz boundary. This means that, for any $x\in \partial \Omega$, there exists a neighborhood $x\in U \subset \R^d$ such that, up to a rigid motion (i.e., translation and rotation), $U \cap \partial \Omega$ is the graph of a Lipschitz function. On such domains, the Sobolev spaces can be defined as follows.
\begin{definition}[Sobolev spaces]\label{def:Sobolev} For $1\leq p \leq \infty$, we denote by $\mW^{1,p}(\Omega)$, the space of (complex-valued) functions $f\in \mL^p(\Omega)$ with weak gradient $\nabla f \in \mL^p(\Omega;\C^n)$ endowed with the norm
\begin{align}
\norm{f}_{1,p}^p \coloneqq\norm{f}_{\mL^p}^p + \norm{\nabla f}_{\mL^p}^p.
\end{align}
Moreover, we denote by $\mW^{1,p}_0(\Omega)$ the closure of the space $C^\infty_c(\Omega)$ with respect to the $\mW^{1,p}$-norm.
\end{definition}
\begin{definition}[Dual Sobolev spaces] \label{def:dualSobolev} For $1\leq p \leq \infty$, we denote by $\mW^{-1,p}(\Omega)$, the dual space of $\mW^{1,q}(\Omega)$, where $q$ is the H\"older conjugate of $p$ (i.e., $1/p+1/q = 1$). More precisely,
\begin{align*}
\mW^{-1,p}(\Omega) \coloneqq \{ T: \mW^{1,q}(\Omega) \rightarrow \C \quad \mbox{linear and continuous}\}
\end{align*}
endowed with the norm
\begin{align*}
\norm{T}_{-1,p} = \sup_{f\in \mW^{1,q} \setminus\{0\}} \frac{|T(f)|}{\norm{f}_{1,q}}.
\end{align*}
Similarly, we denote by $\mW^{-1,p}_0(\Omega)$ respectively $\mW^{-1,p}_L(\Omega)$ the dual spaces of $\mW^{1,q}_0(\Omega)$ respectively $\mW^{1,q}_L(\Omega)$.
\end{definition}
\begin{remark}[Notation] For $p=2$, we use the standard notation $H^1(\Omega)$ instead of $\mW^{1,2}(\Omega)$. Moreover, whenever clear from the context, we shall omit the domain $\Omega$ and simply write $\mH^1$, $\mW^{1,p}$, $\mW^{1,p}_0$ and so on.
\end{remark}
For later reference, let us recall the celebrated Gagliardo-Nirenberg-Sobolev (GNS) inequality. We refer, e.g., to \cite[Theorem 12.83]{Leo17} for a proof of the general $1\leq p,q \leq \infty$ case, and to \cite{BM18} for precise conditions on the validity of GNS for Sobolev spaces of fractional order.
\begin{lemma}[GNS interpolation inequality]\label{lem:GNS} Let $\Omega \subset \R^d$ be a bounded open and connected domain with Lipschitz boundary. Then for any $f\in \mW^{1,p}(\Omega)$ with $2\leq p <\infty$ we have
\begin{align}
%\norm{f}_{\mL^p} \lesssim \norm{f}_{\mW^{1,p_0}}^{1-\theta} \norm{f}_{\mL^{p_1}}^\theta. \quad
\norm{f}_{\mL^p} \lesssim \norm{f}_{\mH^1}^{1-\theta} \norm{f}_{\mL^2}^{\theta} \quad\mbox{where}\quad \theta = \frac{d}{2} - \frac{d}{p}.\label{eq:GNS}
\end{align}
For $d=1$, the case $p =\infty$ is also allowed.
\end{lemma}
Another fundamental property of Sobolev functions on Lipschitz domains is the existence of a trace along the boundary. Let us recall this fact here as well. For a proof, see \cite[Section 18.4]{Leo17}.
\begin{theorem}[Trace of Sobolev functions]\label{thm:trace} For any open, bounded, and Lipschitz $\Omega \subset \R^d$ with $d\geq 2$, there exists a unique continuous trace operator $\gamma : \mH^1(\Omega) \rightarrow \mH^{\frac12}(\partial \Omega)$ satisfying $\gamma f = f \rvert_{\partial \Omega}$ for $f\in \mH^1(\Omega) \cap C(\overline{\Omega})$. Moreover, the trace operator is surjective and there exists (infinitely many) right inverses, i.e., continuous maps $J:\mH^{\frac12}(\partial \Omega) \rightarrow \mH^1(\Omega)$ such that $\gamma Jf = f$ for any $f\in \mH^{\frac12}(\partial \Omega)$.
\end{theorem}
\begin{remark}[Fractional Sobolev space on the boundary] Although the precise definition of $\mH^{\frac12}(\partial \Omega)$ will not be relevant to us here, let us state it at least once. We say that a function $f:\partial \Omega \rightarrow \C$ belongs to $\mH^{1/2}(\partial \Omega)$ if $f$ is measurable with respect to the $\mathscr{H}^{d-1}$ Hausdorff measure and satisfies
\begin{align*}
\norm{f}_{\mH^{1/2}(\partial \Omega)}^2 = \int_{\partial \Omega} |f(x)|^2 \mathscr{H}^{d-1}(\mathrm{d}x) + \int_{\partial \Omega \times \partial \Omega} \frac{|f(x)-f(y)|^2}{|x-y|^d} \mathscr{H}^{d-1}(\mathrm{d}x) \mathscr{H}^{d-1}(\mathrm{d}y) < \infty.
\end{align*}
Alternatively, $\mH^{1/2}(\partial \Omega)$ can be defined via localization and the Fourier transform, see \cite[Chapter 3]{McL00}.
\end{remark}
\begin{remark}[One dimensional case] For $\Omega = I = (0,1)$, any function in $\mH^1(I)$ is continuous up to the boundary. In this case, we set $\mH^{1/2}(\partial I) = \C^2$ and the trace operator reduces to $(\gamma f) = (f(0),f(1))\in \C^2$.
\end{remark}
Using the trace operator, we can define the following subspaces of $\mH^1(\Omega)$.
\begin{definition}[Trace-restricted Sobolev spaces]\label{def:traceSobolev} For any closed subspace $L\subset \mH^{\frac12}(\partial \Omega)$, we denote by $\mH^1_L(\Omega)$ the space of Sobolev functions with trace in $L$, i.e.,
\begin{align*}
\mH^1_L(\Omega) = \{ f\in \mH^1(\Omega) : \gamma f \in L\},
\end{align*}
where $\gamma$ is the trace operator of Theorem~\ref{thm:trace}.
\end{definition}
From the continuity of the trace operator, it is easy to see that $\mH^1_L(\Omega)$ is a closed subspace of $\mH^1(\Omega)$. Moreover, any right inverse $J: \mH^{\frac12}(\partial \Omega) \rightarrow \mH^1(\Omega)$ of the trace operator defines an isomorphism $\mH^1(\Omega) \cong \mH^1_0(\Omega)\oplus \mH^{1/2}(\partial \Omega)$ via the map
\begin{align*}
G: \mH^1(\Omega) \rightarrow \mH^1_0(\Omega) \oplus \mH^{1/2}(\partial \Omega), \quad G(f) = (f- J\gamma (f), \gamma (f)).
\end{align*}
From this decomposition, one can show that any closed subspace of $\mH^1(\Omega)$ containing $C^\infty_c(\Omega)$ is given by $\mH^1_L(\Omega)$ for a unique $L\subset \mH^{\frac12}(\partial \Omega)$. More precisely, the following holds.
\begin{proposition}[Characterization of intermediate spaces of $\mH^1$] \label{prop:closed subspaces} Let $X\subset \mH^1(\Omega)$ be a closed subspace such that $C^\infty_c(\Omega) \subset X$, then there exists a unique closed subspace $L\subset \mH^{1/2}(\partial \Omega)$ such that $X = \mH^1_L(\Omega)$.
\end{proposition}
\subsection{Representation and density on dual Sobolev spaces} The following lemma gives a simple but useful representation of the dual Sobolev spaces.
\begin{lemma}[Representation of dual Sobolev space] \label{lem:dual rep} Let $1<p \leq \infty$, then for any $T\in \mW^{-1,p}(\Omega)$, there exists $\alpha \in \C$ and $V \in \mL^p(\Omega;\C^n)$ such that
\begin{align}
T(f) = \overline{\alpha} \int_\Omega f(x)\mathrm{d} x + \int_\Omega \overline{V}(x) \scpr \nabla f(x) \mathrm{d} x. \label{eq:dual rep}
\end{align}
\end{lemma}
\begin{proof} First, we note that the map
\begin{align*}
i:\mW^{1,q}(\Omega) \rightarrow \C \times \mL^q(\Omega;\C^n) \quad i(f) = \left(\int_\Omega f\mathrm{d} x, \nabla f\right)
\end{align*}
is a continuous immersion, i.e., $i$ is continuous, injective and has closed range. Indeed, the continuity is immediate from the definition of $\mW^{1,p}$ and the injectivity follows from the simple fact that
\begin{align*}
\nabla f - \nabla g = 0 \quad \mbox{implies} \quad f-g=\mathrm{constant} \quad \mbox{for any distributions $f,g\in \mathcal{D}'(\Omega)$},
\end{align*}
To see that $i$ has closed range, note that if $\{(\int f_n, \nabla f_n)\}_{n\in \N}$ is a Cauchy sequence in $\C \times \mL^q(\Omega;\C^d)$, then by Poincare's inequality
\begin{align*}
\lim_{n\ra \infty} \norm{f_n - f_m - \frac{1}{|\Omega|}\int (f_n-f_m)}_{\mL^q} = 0.
\end{align*}
Thus $f_n$ is a Cauchy in $\mW^{1,q}(\Omega)$; in particular, the limit of this sequence exists and belongs to $f\in \mW^{1,q}$ by completeness. Hence $i(f) = (\int f, \nabla f) = \lim_{n\rightarrow \infty} (\int f_n , \nabla f_n)$.
Now let $T\in \mW^{-1,p}(\Omega)$. As the inverse of $i$ is continuous from $\mathrm{ran}(i)$ to $\mW^{1,q}$ by the closed graph theorem, the functional $T\circ i^{-1}$ belongs to the dual of $\mathrm{ran}(i)$. Since $\mathrm{ran}(i)$ is a closed subspace of $\C \times \mL^q(\Omega;\C^d)$, by the Hahn-Banach theorem there exists a continuous extension of $T\circ i^{-1}$ to $\C \times \mL^q(\Omega;\C^d)$, denoted here by $T'$. Thus, by the Riesz representation theorem in $\mL^q$ spaces (recall that $1\leq q <\infty$ since $1< p\leq \infty$), there exists $\beta \in \C$ and $V \in \mL^p(\Omega; \C^d)$ such that
\begin{align*}
T'(\beta, W) = \overline{\alpha} \beta + \int_\Omega \overline{V}(x) \scpr W(x) \mathrm{d} x, \quad \mbox{for any $\beta\in \C$ and $W\in \mL^q(\Omega;\R^d)$.}
\end{align*}
In particular, for $(\beta,W) = (\int f, \nabla f)$, equation~\eqref{eq:dual rep} holds and the proof is complete.
\end{proof}
An important consequence of the above representation is the following density result.
\begin{lemma}[Density of smooth functions]\label{lem:density result} Let $T \in \mW^{-1,p}(\Omega)$ with $1< p <\infty$, then the space of functions $ \{g+\alpha : g\in C^\infty_c(\Omega), \alpha\in \C\}\subset C^\infty(\overline{\Omega})$ is dense in $\mW^{-1,p}(\Omega)$.
\end{lemma}
\begin{proof} Let $(\alpha, V) \in \C\times \mL^p(\Omega; \C^d)$ be given by Lemma~\ref{lem:dual rep}. As $C^\infty_c(\Omega)$ is dense in $\mL^p(\Omega)$ for any $1\leq p <\infty$, there exists a sequence of vector fields $V_n \in C_c^\infty(\Omega;\C^d)$ such that $\norm{V_n - V}_{\mL^p} \rightarrow 0$ as $n \rightarrow \infty$. In particular, the sequence $g_n \coloneqq \alpha - \mathrm{div}\, V_n \in C^\infty_c(\Omega)+ \C$ satisfies
\begin{align*}
\left|T(f) - \int_\Omega \overline{g_n(x)} f(x) \mathrm{d} x \right| &= \left|\int_\Omega \overline{V(x)} \scpr \nabla f(x) \mathrm{d} x + \int_\Omega \mathrm{div}\, \overline{V_n}(x) f(x) \mathrm{d} x \right| = \left| \int_\Omega \overline{(V-V_n)}(x) \scpr \nabla f(x) \mathrm{d} x\right| \\
&\leq \norm{V - V_n}_{\mL^p} \norm{f}_{1,q}, \quad \mbox{for any $f\in \mW^{1,q}$.}
\end{align*}
Hence, $g_n \rightarrow T$ in $\mW^{-1,p}$, which completes the proof.
\end{proof}
\begin{remark}[Dual representation on restricted Sobolev spaces] Since $\mW^{1,q}_L(\Omega)$ is a closed subspace of $\mW^{1,q}(\Omega)$, any functional in $\mW^{-1,p}_L(\Omega)$ can be continuously extended to a functional in $\mW^{-1,p}(\Omega)$ by the Hahn-Banach theorem. In particular, the representation and density results in Lemmas~\ref{lem:dual rep} and~\ref{lem:density result} hold for $\mW^{-1,p}_L(\Omega)$ and $\mW^{-1,p}_0(\Omega)$ as well.
\end{remark}
\subsection{Regularity of reduced densities} We now present a regularity result for reduced densities of wave-functions with finite kinetic energy. This result is a simple application of the GNS, H\"older's, and Minkowiski integral inequalities.
\begin{lemma}[Regularity of reduced densities] \label{lem:regularity reduced densities} Let $\Psi,\Phi \in \mH^1(\Omega \times \Omega')$ where $\Omega \subset \R^d$ and $\Omega' \subset \R^{d'}$ are bounded Lipschitz domains. Let $\rho_{\Psi,\Phi}$ denote the overlapping density
\begin{align}
\rho_{\Psi,\Phi}(x) \coloneqq \int_{\Omega'} \overline{\Psi(x,y)} \Phi(x,y) \mathrm{d} y. \label{eq:general density}
\end{align}
Then we have
\begin{align}
\norm{\rho_{\Psi,\Phi}}_{1,p} \lesssim \norm{\Psi}_{\mH^1} \norm{\Phi}_{\mH^1}^{1-\frac{d}{p}} \norm{\Phi}_{\mL^2}^{\frac{d}{p}} + \norm{\Phi}_{\mH^1} \norm{\Psi}_{\mH^1}^{1-\frac{d}{p}} \norm{\Psi}_{\mL^2}^{\frac{d}{p}}, \quad \mbox{for any}\quad\begin{cases} 1\leq p \leq 2, \quad \mbox{if $d=1$,} \\
1\leq p < 2, \quad \mbox{if $d=2$,} \\
1 \leq p \leq \frac{d}{d-1}, \quad \mbox{if $d\geq 3$,} \label{eq:reduced Sobolev}
\end{cases}
\end{align}
where the implicit constant depends on $p$, $\Omega$, and $\Omega'$, but is independent of $\Psi$ and $\Phi$.
\end{lemma}
\begin{proof} First, observe that
\begin{align*}
\nabla_x \rho_{\Psi,\Phi}(x) = \int_{\Omega'} \overline{\nabla_x \Psi(x,y)} \Phi(x,y) + \overline{\Psi(x,y)} \nabla_x \Phi(x,y) \mathrm{d} y
\end{align*}
for any smooth $\Psi, \Phi$. Then we can apply Minkowiski integral inequality, H\"older's inequality, and the GNS inequality~\eqref{eq:GNS} to find that
\begin{align*}
\norm{\nabla_x \rho_{\Psi,\Phi}}_{\mL^p} &= \left(\int_\Omega \left| \int_{\Omega'} (\overline{\nabla_x \Psi} \Phi + \overline{\Psi} \nabla_x \Phi) \mathrm{d} y \right|^p \mathrm{d}x \right)^{\frac{1}{p}} \leq \int_{\Omega'} \left( \int_\Omega (|\nabla_x \Phi \Psi| + |\Phi \nabla_x \Psi|)^p \mathrm{d} x\right)^{\frac{1}{p}} \mathrm{d} y\\
&\leq \int_{\Omega'} \left(\int_\Omega |\nabla_x \Psi|^2 \mathrm{d} x \right)^{\frac{1}{2}} \left(\int_\Omega |\Phi|^{\frac{2p}{2-p}} \mathrm{d} x \right)^{\frac{2-p}{2p}} \mathrm{d} y + \int_{\Omega'} \left(\int_\Omega |\nabla_x \Phi|^2 \mathrm{d} x \right)^{\frac{1}{2}} \left(\int_\Omega |\Psi|^{\frac{2p}{2-p}} \mathrm{d} x \right)^{\frac{2-p}{2p}} \mathrm{d} y \\
&\lesssim \int_{\Omega'} \norm{\nabla_x \Psi}_{\mL^2_x} \norm{\Phi}_{\mH^1_x}^{1-\theta} \norm{\Phi}_{\mL^2_x}^\theta + \norm{\nabla_x \Phi}_{\mL^2_x} \norm{\Psi}_{\mH^1_x}^{1-\theta} \norm{\Psi}_{\mL^2_x}^\theta \mathrm{d} y \\
&\lesssim \norm{\Psi}_{\mH^1} \norm{\Phi}_{\mH^1}^{1-\theta} \norm{\Phi}_{\mL^2}^\theta + \norm{\Phi}_{\mH^1} \norm{\Psi}_{\mH^1}^{1-\theta} \norm{\Psi}_{\mL^2}^\theta,
\end{align*}
where $\theta = d(\frac{1}{2} - \frac{p-2}{2p}) = \frac{d}{p}$. As this holds for any smooth $\Psi, \Phi$, the result follows by an approximation argument. The restriction $p<2$ for $d=2$ is necessary in~\eqref{eq:reduced Sobolev} because the GNS inequality~\eqref{eq:GNS} is not valid in the end point case $(p,d) = (\infty,2)$. On the other hand, the case $(p,d)=(\infty,1)$ is allowed in~\eqref{eq:GNS} and therefore $p=2$ in~\eqref{eq:reduced Sobolev} is allowed for $d=1$.
\end{proof}
An important feature of inequality~\eqref{eq:reduced Sobolev} is that only the dimension of the set $\Omega$ is relevant for the regularity of the reduced densities. Moreover, in the case where $d'=0$, i.e., we consider only $\Psi,\Phi \in \mH^1(\Omega)$ and $\rho_{\Psi,\Phi} = \overline{\Psi} \Phi$, estimate~\eqref{eq:reduced Sobolev} reduces to the standard (Sobolev) regularity expected by the product of two $\mH^1$ functions in $
\R^d$. In particular, it implies that the set $\mH^1(\Omega)$ for an interval $\Omega = (a,b)
\subset \R$ is an algebra of functions. This property was crucial in \cite{Cor25,SPR+24} but will play no special role here.
\section{Schr\"odinger operators with distributional potentials}
In this section, we present the construction of self-adjoint realizations of $H_N(v,w)$ in detail. We also present some important examples of distributional potentials for which this construction holds. For convenience of the reader, we recall the basic results on the theory of quadratic forms and self-adjoint extensions in Appendix~\ref{app:quadratic}.
\subsection{Self-adjoint realizations} \label{sec:self-adjoint} The estimate in Lemma~\ref{lem:regularity reduced densities} allows us to define self-adjoint Schr\"odinger operators with external and interaction potentials in a large class of distributions. Indeed, from estimate~\eqref{eq:reduced Sobolev} and Young's inequality, we find that any $v\in \mathcal{V}$ and $w\in \mathcal{W}$ satisfy
\begin{align}
|v(\rho_{\Psi,\Psi}) + w(\rho_{2,\Psi,\Psi})| \leq \epsilon \norm{\Psi}_{\mH^1}^2 + \frac{C}{\epsilon}\norm{\Psi}_{\mL^2}^2, \quad \mbox{for any $\Psi \in \mH^1(I_N)$,} \label{eq:KLMNest}
\end{align}
and any $\epsilon>0$ for some constant $C = C(v,w)>0$. Hence, from the celebrated KLMN theorem (cf. Theorem~\ref{thm:KLMN}), for any closed subspace $L \subset \mH^{1/2}(\partial \Omega)$, we can construct a unique self-adjoint operator associated to the sesquilinear form
\begin{align}
a_{v,w}(\Psi,\Phi) = \int_{I_N} \overline{\nabla \Psi(x)} \scpr \nabla \Phi(x) \mathrm{d} x + v(\rho_{\Psi,\Phi}) + w(\rho_{2,\Psi,\Phi}), \quad \mbox{for $\Psi,\Phi \in \mH^1_L(I_N)\cap \mathcal{H}_N$.} \label{eq:quadratic form}
\end{align}
Precisely, the following holds.
\begin{lemma}[Schr\"odinger operators with distributional potentials] \label{lem:operator def} Let $N\in \N$, $v\in \mathcal{V}$, and $w\in \mathcal{W}$. Moreover, let $L\subset \mH^{1/2}(\partial I_N)$ be a closed subspace and $\mH^1_L(I_N)$ the trace-restricted Sobolev space introduced in Definition~\ref{def:traceSobolev}. Then the quadratic form in~\eqref{eq:quadratic form} is closed, symmetric and semibounded. In particular, there exists a unique self-adjoint operator $H_N^L(v,w)$ associated to this form. Moreover, $H_N^L(v,w)$ is semibounded and has purely discrete spectrum.
\end{lemma}
\begin{remark}[Notation]
For the rest of the paper, we shall denote by $H_N(v,w;\Gamma)$ the self-adjoint realization of $a_{v,w}$ with form domain $\mH^1(I_N;\Gamma) \cap \mathcal{H}_N$ and by $H^\alpha_N(v;w;\Gamma)$ the realization with form domain $\mH^1_\alpha(I_N;\Gamma)\cap \mathcal{H}_N$.
\end{remark}
\subsection{From single-particle to many-particle boundary conditions} Formally, the non-interacting operator $H_N(v,0)$ can be written as the sum
\begin{align*}
H_N(v,0) = \sum_{j=1}^N 1\otimes... \otimes \overbrace{h(v)}^{\mathclap{j^{th} position}} \otimes ... \otimes 1,
\end{align*}
where $1$ is the identity operator and $h(v)= -\Delta +v$ is the single-particle operator acting on $\mL^2(I)$. This allow us to reduce the study of non-interacting (electronic) operators to the case of single-particle ones. However, to make this observation precise, we need to impose appropriate boundary conditions on the form domains of $H_N(v,0)$ and $h(v)$. In this section, our goal is to clarify this point.
To this end, we start with the following lemma.
\begin{lemma}[Many-particle form domain]\label{lem:density single-to-many} Let $\alpha \in \R$ and $\mH^1_\alpha(I)$ be the space introduced in~\eqref{eq:reduced Sobolev}. Then for any $N\in \N$, the span of Slater determinants
\begin{align*}
\Phi = \phi_1 \wedge... \wedge \phi_N, \quad \phi_j \in \mH^1_\alpha(I)
\end{align*}
is dense in $\mH^1_\alpha(I_N)\cap \mathcal{H}_N$.
\end{lemma}
\begin{proof} We first observe that the projection on the antisymmetric space, explictly given by
\begin{align*}
\Phi \mapsto (P_N \Phi)(x) = \frac{1}{N!} \sum_{\sigma \in \mathcal{P}_N} \sgn(\sigma) \Phi(\sigma x)
\end{align*}
is continuous with respect to the $\mH^1$ topology and maps $N$-fold tensor products to $N$-fold Slater determinants. Therefore, it suffices to show that the space
\begin{align*}
Y \coloneqq \mathrm{span}\{ \phi_1 \otimes... \otimes \phi_N : \phi_j \in \mH^1_\alpha(I) \}
\end{align*}
is dense in $\mH^1_\alpha(I_N)$. For this, let $\{\phi_j\}_{j \in \N}$ be an orthonormal basis of eigenfunctions of the one-dimensional Laplacian in $\mH^1_\alpha(I)$, i.e., $\phi_j$ satisfies
\begin{align*}
\int_I \overline{\partial_x \phi_j(x)} \partial_x \psi(x) \mathrm{d} x = \lambda_j \int_I \overline{\phi_j(x)} \psi(x) \mathrm{d} x , \quad \mbox{for any $\psi \in \mH^1_\alpha(I)$.}
\end{align*}
Then, it is not hard to see that $\phi_j \in C^\infty(\overline{I})$ and
\begin{align*}
\alpha \partial_x \phi_j(0) -\partial_x \phi_j(1) = 0.
\end{align*}
Consequently, by integration by parts, for any $\Psi \in \mH^1_\alpha(I_N)$ and $(j_1,...,j_N) \in \N^N$ we have
\begin{align*}
\inner{\Psi, \phi_{j_1}\otimes... \otimes \phi_{j_N}}_{\mH^1} &= \sum_{k=1}^N \inner{\partial_{x_k} \Psi, \partial_{x_k} \phi_{j_1} \otimes... \phi_{j_N}}_{\mL^2} + \inner{\Psi, \phi_{j_1}\otimes ... \phi_{j_N}}_{\mL^2}\\
&= \sum_{k=1}^N \lambda_{j_k} \inner{\Psi, \phi_{j_1} \otimes ... \otimes \phi_{j_k}}_{\mL^2} + \inner{\Psi, \phi_{j_1} \otimes... \otimes \phi_{j_N}}_{\mL^2}\\
&= \left(1+\sum_{k=1}^N \lambda_{j_k}\right) \inner{\Psi, \phi_{j_1} \otimes... \otimes \phi_{j_N}}.
\end{align*}
Thus, if $\Psi$ is $\mH^1$-orthogonal to $Y$, then $\Psi$ is $\mL^2$-orthogonal to all $\{\phi_{j_1} \otimes... \otimes \phi_{j_N}\}_{(j_1,...,j_N) \in \N^N}$. As this set is an orthogonal basis of $\mL^2(I_N)$, we must have $\Psi = 0$. Hence, the intersection of $\mH^1_\alpha(I_N)$ with the $\mH^1$-orthogonal complement of $Y$ is trivial, which implies that $Y$ is dense in $\mH^1_\alpha(I_N)$.
\end{proof}
As a consequence of the previous lemma, we have the following relation between the single-particle operator $h_\alpha(v)= -\Delta_\alpha + v$ and the $N$-particle operator $H_N^\alpha(v,0)$ associated to the form
\begin{align*}
a_{v}(\Psi,\Psi) = \int_{I_N} |\nabla \Psi(x)|^2 \mathrm{d} x + v(\rho_{\Psi}), \quad \Psi \in \mH^1_\alpha(I_N) \cap \mathcal{H}_N.
\end{align*}
\begin{lemma}[From single-particle to non-interacting many-particle systems] \label{lem:single-to-many} Let $v\in \mathcal{V}$, $\alpha \in \C^2$, and $N \in \N$. Let $\{\psi_j\}_{j \in \N}$ be an orthogonal basis of eigenfunctions of $h_\alpha(v) = -\Delta_\alpha + v$ with corresponding eigenvalues $\{\lambda_j\}_{j\in \N}$ ordered in non-decreasing order. Then the Slater determinants
\begin{align}
\{ \Psi_J = \psi_{j_1} \wedge... \wedge \psi_{j_N} : J = \{j_1,...,j_N\} \in \N^N \quad \mbox{such that} \quad 1\leq j_1 < j_2 ... <j_N\} \label{eq:Slater}
\end{align}
forms an $\mathcal{H}_N$-orthogonal basis of eigenfunctions of $H^\alpha_N(v,0)$ with eigenvalues $\lambda_J = \sum_{k=1}^N \lambda_{j_k}$. In particular, the ground-state of $H_N^\alpha(v,0)$ is non-degenerate if and only if $\lambda_N$ satisfies the closed shell condition $\lambda_N < \lambda_{N+1}$.
\end{lemma}
\begin{proof} From a long but straightforward calculation we find that
\begin{align*}
a_v(\Psi_J, \phi_1 \wedge... \wedge \phi_N)= \lambda_J \inner{\Psi_J, \phi_1 \wedge... \wedge \phi_N}_{\mL^2}, \quad \mbox{for any $\{\phi_j\}_{j=1}^N \subset \mH^1_\alpha(I)$,}
\end{align*}
where $\Psi_J = \psi_{j_1} \wedge... \wedge \psi_{j_N}$ and $\lambda_J = \sum_{k=1}^N \lambda_{j_k}$. Thus by Lemma~\ref{lem:density single-to-many} and approximation we have
\begin{align*}
a_v(\Psi_J, \Phi) = \lambda_J \inner{\Psi_J,\Phi} \quad \mbox{for any $\Phi \in \mH^1_\alpha(I_N)\cap \mathcal{H}_N$.}
\end{align*}
Therefore $\Psi_J$ is an eigenfunction of $H_N^\alpha(v,0)$ with eigenvalue $\lambda_J$. The fact that the $\Psi_J$'s form an $\mathcal{H}_N$-orthogonal basis follows from the fact that $\{\psi_j\}_{j \in \N}$ is an $\mL^2$-orthogonal basis of $\mL^2(I)$.
\end{proof}
\subsection{Examples of distributional potentials}\label{sec:examples} To illustrate how large the class of admissible external and interaction potentials in Lemma~\ref{lem:operator def} is, let us present a few important examples.
\begin{enumerate}[label=(\arabic*)]
\item The Dirac's delta potential $\delta_{x_0}$ with $x_0 \in I$ belongs to $\mathcal{V}$ by the continuous embedding $\mH^1(I) \subset C(\overline{I})$. Note that $x_0 \in \partial I = \{0,1\}$ is also allowed.
\item The $\delta$-interaction potential $w = \delta(x-y)$, defined via
\begin{align*}
w_\delta(\rho_{2,\Psi,\Phi}) = \int_I \rho_{2,\Psi,\Phi}(x,x) \mathrm{d} x.
\end{align*}
This follows from the fact that the trace operator $\gamma: \mW^{1,p}(I_2) \rightarrow \mL^p(D)$ sending $\rho_2$ to its restriction along the diagonal set $D =\{(x,x) \in I_2:x\in I\}$ is a continuous operator.
\item Multiplicative potentials $v\in \mL^1(I)$ and $w\in \mL^1(2I)$, whose actions are defined via
\begin{align*}
v(\rho) = \int_I v(x) \rho(x) \mathrm{d} x \quad \mbox{and}\quad w(\rho_2) = \int_{I_2} w(x-y) \rho_2(x,y) \mathrm{d} x \mathrm{d}y,
\end{align*}
are also allowed. The first one is clear from H\"older's inequality. For the second one, note that
\begin{align*}
f(u) \coloneqq \int_{|u|}^{1-|u|}\rho_2\left(\frac{u+v}{2},\frac{u-v}{2}\right)\mathrm{d} v
\end{align*}
belongs to $\mL^\infty(I)$ for any $\rho_2 \in \mW^{1,p}(I_2)$ with $1\leq p \leq \infty$. Hence, the map
\begin{align*}
\rho_2 \mapsto \int_{I_2} w(x-y) \rho_2(x,y) \mathrm{d}x \mathrm{d} y = \frac{1}{2} \int_{-1}^1 w(u) f(u) \mathrm{d} u
\end{align*}
belongs to $\mW^{-1,q}(I_2)$.
\item Lemma~\ref{lem:operator def} can also be extended to the case of $k^{th}$-body distributional potentials for $k \geq 3$. To be precise, for any $w_k\in \mW^{-1,q}(I_k)$ with $q>k$, one can use Lemma~\ref{lem:regularity reduced densities} and Young's inequality to show that the form $(\Psi,\Phi) \mapsto w_k(\rho_{k,\Psi,\Phi})$, where
\begin{align*}
\rho_{k,\Psi,\Phi}(x_1,..,x_k) = \frac{N!}{(N-k)! k!} \int_{I_{N-k}} \overline{\Psi(x_1,...,x_N)} \Phi(x_1,...,x_N)\mathrm{d}x_{k+1} ... \mathrm{d} x_N,
\end{align*}
is $\Delta$-bounded with relative bound $0$. Therefore, any Schr\"odinger operator of the form
\begin{align*}
H_N(w_1,w_2,...,w_N) = -\Delta + \sum_{k=1}^N \sum_{j_1\neq ... \neq j_k}^N w_k(x_{j_1},x_{j_2},...,x_{j_k}),
\end{align*}
with real-valued $w_k \in \mW^{-1,q_k}(I_k)$, where $q_k >k$ for $k\geq 2$ and $w_1 \in \mathcal{V}$, defines a self-adjoint operator with discrete spectrum. In particular, the case of 3D Coulomb interactions
\begin{align*}
w(x_1,...,x_6) = \left(\sum_{j=1}^3 (x_j-x_{j+3})^2\right)^{-\frac12}
\end{align*}
is also included for $N \geq 6$.
\end{enumerate}
\section{Non-degeneracy of the ground-state}\label{sec:main proof}
Our goal in this section is to prove Theorem~\ref{thm:main}.
\subsection{Perron-Frobenius theorem} We start with a Perron-Frobenius theorem for the free Laplacian without particle statistics. To properly state this result, we introduce the following definition.
\begin{definition}(Positivity and reality preserving) Let $L\subset \mH^{\frac12}(\partial \Omega)$ be a closed subspace and $\mH^1_L(\Omega)$ the space introduced in Definition~\ref{def:traceSobolev}. Then we say that
\begin{enumerate}[label=(\roman*)]
\item $\mH^1_L(\Omega)$ is reality preserving if $\mathrm{Re}\, \Psi \in \mH^1_L(\Omega)$ for any $\Psi\in \mH^1_L(\Omega)$.
\item $\mH^1_L(\Omega)$ is positivity preserving if $\Psi_+ = \max\{\Psi,0\} \in \mH^1_L(\Omega)$ for any real-valued $\Psi\in \mH^1_L(\Omega)$.
\end{enumerate}
\end{definition}
\begin{lemma}[Perron-Frobenius for the free Laplacian] \label{lem:PF laplace} Let $\Omega \subset \R^d$ be open, connected, and bounded subset with Lipschitz boundary, and let $\mH^1_L(\Omega)$ be positivity and reality preserving. Then the Laplacian $-\Delta_L$, defined as the unique self-adjoint operator associated to the quadratic form
\begin{align*}
a_0:\mH^1_L(\Omega) \times \mH^1_L(\Omega) \rightarrow \C, \quad a_0(\Psi,\Phi) \coloneqq \int_\Omega \overline{\nabla \Psi(x)} \scpr \nabla \Phi(x) \mathrm{d} x,
\end{align*}
has a non-degenerate ground-state and the unique (up to a global phase) normalized ground-state wave-function is strictly positive everywhere in $\Omega$.
\end{lemma}
\begin{proof}
The proof is based on the variational principle and the strong maximum principle. So first, we note that $-\Delta_L$ has discrete spectrum and therefore a ground-state $\Psi$ exists. Next, we claim that the ground-state can be taken real-valued. To see this, note that $\overline{\Phi} \in \mH^1_L(\Omega)$ for any $\Phi \in \mH^1_L(\Omega)$ by the reality preserving property. In particular
\begin{align*}
a_0(\overline{\Psi}, \Phi) = \int_\Omega \nabla \Psi(x) \scpr \nabla \Phi(x) \mathrm{d} x = a_0(\overline{\Phi},\Psi) = \lambda \inner{\overline{\Phi},\Psi} = \lambda \inner{\overline{\Psi},\Phi}, \quad \mbox{for any $\Phi \in \mH^1_L(\Omega)$,}
\end{align*}
where $\lambda\geq 0$ is the ground-state energy. Consequently, $\overline{\Psi}$ is also a ground-state of $-\Delta_L$, and therefore $2\mathrm{Re} \Psi = \Psi + \overline{\Psi}$ is a ground-state as well.
Thus, assuming that the ground-state is real-valued, we can define $\Psi_+ = \max\{0,\Psi\}$ and $\Psi_- = (-\Psi)_+$. Since $\mH^1_L(\Omega)$ is positivity preserving by assumption, both $\Psi_+$ and $\Psi_-$ belong to $\mH^1_L(\Omega)$. Moreover, since they have disjoint support and $\Psi = \Psi_+-\Psi_-$, we have
\begin{align*}
a_0(\Psi_+,\Psi_+) = \int_\Omega \overline{\nabla \Psi_+(x)} \scpr \nabla \Psi_+(x) \mathrm{d}x = \int_\Omega \overline{\nabla \Psi(x)} \scpr \nabla \Psi_+(x) \mathrm{d} x = \lambda \inner{\Psi,\Psi_+} = \lambda \norm{\Psi_+}_{\mL^2}^2.
\end{align*}
Hence, it follows from the variational principle that
\begin{align*}
\lambda = \min_{\Psi \in \mH^1_L\setminus \{0\}} \frac{a_0(\Psi,\Psi)}{\norm{\Psi}_{\mL^2}^2} = \frac{a_0(\Psi_+,\Psi_+)}{\norm{\Psi_+}_{\mL^2}^2}.
\end{align*}
As a consequence, $\Psi_+$ satisfies the Euler-Lagrange (eigenfunction) equation
\begin{align*}
a_0(\Phi,\Psi_+) = \int_\Omega \overline{\nabla \Phi(x)} \scpr \nabla \Psi(x) = \lambda \inner{\Phi,\Psi_+}, \quad \mbox{for any $\Phi\in C_c^\infty(\Omega)$,}
\end{align*}
or equivalently, $(-\Delta -\lambda)\Psi_+ = 0$ in the distributional sense. From standard elliptic regularity (cf. \cite[Section 6.3]{Eva10}), it follows that $\Psi_+ \in C^\infty(\Omega)$. As $\Psi_+\geq 0$ and $\lambda \geq 0$ , $\Psi_+$ is a subsolution of Laplace equation,
\begin{align*}
-\Delta \Psi_{+} \geq 0.
\end{align*}
Therefore, we can apply the strong maximum principle \cite[Theorem 3 in Section 6.4.2]{Eva10} to conclude that either $\Psi_+(x) >0$ for any $x\in \Omega$ or $\Psi_+ = 0$. Hence, either $\Psi_+ = 0$ or $\Psi_- = 0$, which implies $\Psi(x)$ has constant sign everywhere in $\Omega$. Thus any real-valued ground-state of $-\Delta_L$ is strictly positive (up to multiplication by a constant). Therefore, the ground-state is non-degenerate as there cannot be two strictly positive functions that are mutually orthogonal.
\end{proof}
We can now combine the previous result with the perturbative approach in Reed and Simon \cite[Section XIII.12]{RS78} to prove the following Perron-Frobenius theorem for generalized Schr\"odinger operators. This result will play a key role throughout this paper.
\begin{theorem}[Perron-Frobenius for Schr\"odinger operators with distributional potentials]\label{thm:PF} Let $\Omega \subset \R^d$ and $\mH^1_L(\Omega)$ be as in Lemma~\ref{lem:PF laplace}. Let $V:\mH^1_L(\Omega) \times \mH^1_L(\Omega) \rightarrow \C$ be a sesquilinear form and suppose that there exists a sequence $\{V_n\}_{n \in \N} \subset \mL^\infty(\Omega)$ of real-valued functions such that
\begin{align*}
\lim_{n \ra \infty} \norm{V-V_n}_{\mH^1 \rightarrow \mH^{-1}} = \lim_{n\rightarrow \infty} \sup_{\Psi,\Phi \in \mH^1_L(\Omega)\setminus \{0\}} \frac{\left|V(\Psi,\Phi) - \int_\Omega V_n(x) \overline{\Psi(x)} \Phi(x) \mathrm{d} x\right|}{\norm{\Psi}_{\mH^1} \norm{\Phi}_{\mH^1}} =0.
\end{align*}
Then there exists a unique self-adjoint operator $H(V) = - \Delta_L +V$ with quadratic form
\begin{align}
a_V(\Psi,\Phi) = \int_\Omega \overline{\nabla \Psi(x)} \scpr \nabla \Phi(x) \mathrm{d} x + V(\Psi, \Phi), \quad \mbox{for $\Phi,\Psi \in \mH^1_L(\Omega)$.} \label{eq:H(V) form}
\end{align}
Moreover, the ground-state of $H(V)$ is non-degenerate and the unique (up to a global phase) ground-state wave-function can be chosen strictly positive almost everywhere in $\Omega$.
\end{theorem}
\begin{proof}
We first show that $V$ is symmetric and $\Delta$-bounded with relative bound $0$. For this, note that, for any $\epsilon>0$ there exists $n \in \N$ such that $\norm{V - V_n}_{\mH^1\rightarrow \mH^{-1}} \leq \epsilon$. Hence,
\begin{align*}
\left|V(\Psi,\Phi) - \int_{\Omega} V_n(x) \overline{\Psi(x)} \Phi(x)\mathrm{d}x \right| \leq \epsilon \norm{\Psi}_{\mH^1} \norm{\Psi}_{\mH^1} + \norm{V_n}_{\mL^\infty} \norm{\Psi}_{\mL^2} \norm{\Phi}_{\mL^2}, \quad \mbox{for any $\Psi, \Phi \in \mH^1_L(\Omega)$,}
\end{align*}
and
\begin{align*}
|V(\Psi,\Phi) - \overline{V(\Phi,\Psi)}| &= \left|\left(V(\Psi,\Phi) - \int_{\Omega} V_n(x) \overline{\Psi}(x) \Phi(x) \mathrm{d} x\right) + \left(\overline{V(\Phi,\Psi)} - \int_\Omega \overline{V_n(x) \overline{\Phi(x)} \Psi(x)} \mathrm{d} x\right) \right|\\
&\leq 2\epsilon \norm{\Psi}_{\mH^1} \norm{\Phi}_{\mH^1}.
\end{align*}
As $\epsilon>0$ can be taken arbitrarily small, we conclude that $V$ is symmetric and $\Delta$-bounded with relative bound $0$. Hence, by the KLMN theorem (cf. Theorem~\ref{thm:KLMN}), there exists a unique self-adjoint operator with quadratic form~\eqref{eq:H(V) form}. Moreover, as the quadratic form domain of $H(V)$ is $\mH^1_L(\Omega)$, which is compactly embedded in $\mL^2(\Omega)$, the operator $H(V)$ has compact resolvent and therefore purely discrete spectrum. In particular, there exists at least one ground-state.
To show that the ground-state is non-degenerate and strictly positive almost everywhere, we shall use the following lemma, which is a reformulation of results extracted from Reed and Simon \cite[Theorem XIII.43 and Theorem XIII.45]{RS78}. For the proof of this lemma, we refer to their book.
\begin{lemma}[Perron-Frobenius invariance under strong resolvent convergence via multiplicative potentials] \label{lem:RS} Let $H$ and $H_0$ be self-adjoint operators on $\mL^2(\Omega)$ and suppose that there exists $\{V_n\}_{n\in \N} \subset \mL^\infty(\Omega)$ such that $H_0 + V_n$ converges in the strong resolvent sense to $H$. Suppose also that $\ee^{-tH_0}$ is positivity preserving (i.e., sends non-negative functions to non-negative functions). Then the following holds: if $H_0$ has a non-degenerate and almost everywhere strictly positive ground-state, then so does $H$ (provided that a ground-state exists).
\end{lemma}
We now observe that, by Lemma~\ref{lem:PF laplace}, the operator $H_0 = - \Delta_L$ has a non-degenerate and strictly positive ground-state. Moreover, $\ee^{-tH_0}$ is positivity preserving because, from the standard formula
\begin{align*}
\nabla |\Psi| = \nabla \Psi \mathbb{1}_{\{\Psi >0\}} - \nabla \Psi \mathbb{1}_{\{\Psi<0\}}, \quad \mbox{where $\mathbb{1}_A$ is the indicator function on $A$,}
\end{align*}
for real-valued $\Psi$, we see that $H_0$ satisfies the Beurling-Deny criterion (cf. \cite[Theorem XIII.50]{RS78}):
\begin{align*}
\inner{|\Psi|, H_0 |\Psi|} = \int_{\Omega} |\nabla |\Psi|(x)|^2 \mathrm{d} x = \int_\Omega |\nabla \Psi(x)|^2 \mathrm{d} x = \inner{
\Psi, H \Psi}, \quad \mbox{for any $\Psi \in \mH^1_L(\Omega)$.}
\end{align*}
To conclude, we now note that, since $V_n \rightarrow V$ in $\mathcal{B}(\mH^1;\mH^{-1})$, the operators $H_0 + V_n$ converge to $H(V)$ in the strong (in fact norm) resolvent sense. Indeed, this follows from the resolvent formula
\begin{multline*}
(z-H(V))^{-1} - (z- H_0-V_n)^{-1} \\
= (z-H(V))^{-1/2} \left(I - \left(I+(z-H(V))^{-1/2}(V-V_n) (z-H(V))^{-1/2}\right)^{-1}\right)(z-H(V))^{-1/2}.
\end{multline*}
(See \cite[Theorem VIII.25.(c)]{RS80} for the detailed argument.) We can thus apply Lemma~\ref{lem:RS} to complete the proof.
\end{proof}
\subsection{Unitary reduction to the simplex} \label{sec:simplex reduction} Throughout this section, we denote by $S_N$ the open simplex
\begin{align*}
S_N \coloneqq \{(x_1,...,x_N) \in I_N : 0< x_1 < x_2<... <x_N <1\}.
\end{align*}
The key observation that allow us to apply Theorem~\ref{thm:PF} to the operator $H_N^L(v,w)$ is that the hypercube $I_N$ can be decomposed in a disjoint union of reflections of the simplex $S_N$. To make this precise, let us introduce some additional notation.
\begin{figure}[ht!]
\centering
\includegraphics[scale=0.2]{simplex_figures.jpg}
\caption{Simplex $S_N$ in the case $N=2$ (left) and $N=3$ (right) with edges of $\partial I_N$ (dashed lines) and interior boundary $\Gamma_{\rm int} \subset \partial S_N$ (in red).}
\label{fig:simplex}
\end{figure}
First, we denote by $\mathcal{P}_N$ the set of all permutations of $\{1,...,N\}$, i.e.,
\begin{align*}
\mathcal{P}_N=\{\sigma: \{1,...,N\} \rightarrow \{1,...,N\} \mbox{ bijective}\}.
\end{align*}
With some abuse of notation, we also denote by $\sigma$ the linear map of permutation of coordinates
\begin{align}
\sigma:\R^N \rightarrow \R^N, \quad \sigma(x_1,...,x_N) = (x_{\sigma(1)},...,x_{\sigma(N)}). \label{eq:permutation}
\end{align}
Recall that the sign of the permutation $\sigma$ is defined as $\mathrm{sgn}(\sigma) = \det \sigma \in \{-1,1\}$. Moreover, we denote by $\{F_j\}_{j=0}^N$ the faces of the boundary of the simplex $S_N$, i..e,
\begin{align}
F_j \coloneqq \{ (x_1,...,x_N) \in \overline{S_N} : x_j= x_{j+1} \}, \label{eq:faces def}
\end{align}
with the convention $x_0 =0$ and $x_{N+1} =1$. We can now define the interior part of the boundary of $S_N$ as
\begin{align}
%\Gamma^{\rm ext} \coloneqq F_0 \cup F_N \quad \mbox{and}\quad
\Gamma_{\rm int} \coloneqq \partial S_N \setminus (F_0 \cup F_N) = \{(x_1,..,x_N) \in \overline{S_N} : x_j = x_{j+1} \quad \mbox{for some $j$ and} \quad 0<x_1\leq x_N < 1 \}. \label{eq:interior exterior boundary}
\end{align}
For a visual illustration of $S_N$ and the interior boundary $\Gamma_{\rm int}$, see Figure~\ref{fig:simplex}.
Let us also define the pushforward map $\sigma_\#$ as
\begin{align*}
\sigma_\#: \mH^1(S_N) \rightarrow \mH^1(\sigma(S_N)), \quad (\sigma_\#\Psi)(x_1,...,x_N) = \Psi\left(\sigma^{-1}(x_1,...,x_N)\right) = \Psi\left(x_{\sigma^{-1}(1)},...,x_{\sigma^{-1}(N)}\right).
\end{align*}
Finally, let us define the reduced trace-restricted space on $S_N$ as
\begin{align}
\mH^1_L(S_N) \coloneqq \{\Psi\rvert_{S_N} : \Psi \in \mH^1_L(I_N) \cap \mathcal{H}_N\}. \label{eq:reduced form space}
\end{align}
We then have the following key decomposition of $\mathcal{H}_N \cap \mH^1_L(I_N)$.
\begin{lemma}[Unitary reduction to the simplex] \label{lem:simplex reduction} The map $T : \mH^1_{L}(S_N) \rightarrow \mH^1_L(I_N)\cap \mathcal{H}_N $ defined via
\begin{align}
T(\Psi) = \frac{1}{\sqrt{N!}} \sum_{\sigma \in \mathcal{P}_N} \mathrm{sgn}(\sigma) \sigma_\#(\Psi) \label{eq:extension map}
\end{align}
is an isometric isomorphism.
\end{lemma}
\begin{proof} The key observations here are the following:
\begin{enumerate}[label=(\roman*)]
\item(Tessellating cover)\label{it:tesselate} The sets $\sigma(\overline{S_N})$ with $\sigma \in \mathcal{P}_N$ tessellate $I_N$, i.e.,
\begin{align} I_N \subset \cup_{\sigma \in \mathcal{P}_N} \sigma(\overline{S_N})\quad \mbox{and}\quad \sigma(S_N) \cap \tau(S_N) = \emptyset \quad \mbox{ for any $\sigma\neq \tau \in \mathcal{P}_N$.} \label{eq:disjoint property}
\end{align}
\item(Interior boundary)
\label{it:boundary} The interior boundary $\Gamma_{\rm int}$ defined in~\eqref{eq:interior exterior boundary} satisfies $\Gamma_{\rm int} = \partial S_N \cap I_N$.
\end{enumerate}
The fact that $\sigma(\overline{S_N})$ covers $I_N$ is clear. Indeed, for any $(x_1,...,x_N) \in I_N$ there exists $\sigma \in \mathcal{P}_N$ such that $0\leq x_{\sigma(1)}\leq x_{\sigma(2)} ... \leq x_{\sigma(N)} \leq 1$ and therefore $(x_1,...,x_N) \in \sigma^{-1}(\overline{S_N})$.
To prove the disjoint property, we first note that, since any $\sigma \in \mathcal{P}_N$ is a homeomorphism in $\R^N$,
\begin{align*}
\sigma(S_N) \cap \tau(S_N) = \emptyset \quad \mbox{if and only if} \quad (\tau^{-1}\circ \sigma)(S_N) \cap S_N = \emptyset.
\end{align*}
Hence, it suffices to show~\eqref{eq:disjoint property} for $\sigma \in \mathcal{P}_N$ and $\tau = I$ (identity map). For this, we define
\begin{align*}
m(\sigma) \coloneqq \max \{j: \sigma^{-1}(k) \leq k \quad \mbox{for any $k\leq j$} \}\cup\{0\}.
\end{align*}
Then, if $\sigma \neq I$ we must have $0\leq m(\sigma)<N$. In particular $\sigma^{-1}(m(\sigma)+1) > m(\sigma)+1 = \sigma^{-1}(m(\sigma)+k)$ for some $k\geq 2$. Then, on the one hand, any $(x_1,...,x_N) \in \sigma(S_N)$ satisfies $x_{\sigma^{-1}(j)} < x_{\sigma^{-1}(j+1)}$ for any $j$ and, in particular, $x_{\sigma^{-1}(m(\sigma)+1)}<x_{\sigma^{-1}(m(\sigma)+k)} = x_{m(\sigma)+1}$. On the other hand, any $(x_1,...,x_N) \in S_N$ satisfies $x_j < x_{j+1}$ for any $j$. Since $\sigma^{-1}(m(\sigma)+1) > m(\sigma)+1$, this implies, in particular, that $ x_{m(\sigma)+1}<x_{\sigma^{-1}(m(\sigma)+1)}$. Therefore, we can not have $(x_1,...,x_N)\in S_N\cap \sigma(S_N)$, which completes the proof of~\ref{it:tesselate}.
We now turn to~\ref{it:boundary}. First, it is clear from the definition~\eqref{eq:faces def} that $F_0\cup F_N \subset \partial I_N$ and therefore $(F_0 \cup F_N )\cap I_N = \emptyset$. Hence, $\partial S_N \cap I_N \subset \Gamma_{\rm int}$. On the other hand, if $(x_1,..,x_N) \in \Gamma_{\rm int} = \partial S_N \setminus (F_0 \cup F_N)$ we must have $0<x_0 \leq x_1 ... \leq x_N < 1$. As every element in the boundary of $I_N$ must have at least one coordinate with value $0$ or $1$, we must have $(x_1,...,x_N) \in I_N$ and therefore item~\ref{it:boundary} holds.
We now show that $T$ is an isometry from $\mH^1_L(S_N)$ to $\mH^1(I_N) \cap \mathcal{H}_N$. To this end, first note that, since $\Psi$ is the restriction of an antisymmetric function, it follows from the definition of $\Gamma_{\rm int}$ (see~\eqref{eq:interior exterior boundary}) that $\gamma \Psi \rvert_{\Gamma_{\rm int}} =0$. Consequently, from property~\ref{it:boundary}, the extension of $\Psi$ to $I_N$ by zero on $I_N\setminus S_N$ belongs to $\mH^1(I_N)$. Hence $T\Psi \in \mH^1(I_N)$. Moreover, if we denote the permutation of $x_j$ and $x_{j+1}$ by $\sigma_j$, then by construction we have
\begin{align*}
(\sigma_j)_\#(T\Psi) = \frac{1}{\sqrt{N!}} \sum_{\sigma \in \mathcal{P}_N} \sgn(\sigma) (\sigma_j \circ \sigma)_\# (\Psi) = -\frac{1}{\sqrt{N!}} \sum_{\sigma_j \circ \sigma \in \mathcal{P}_N} \mathrm{sgn}(\sigma_j\circ\sigma) (\sigma_j\circ\sigma)_\#(\Psi) = - T\Psi.
\end{align*}
Therefore, $T\Psi \in \mathcal{H}_N \cap \mH^1(I_N)$. Furthermore, since each $\sigma(S_N)$ is disjoint and $\sigma$ an isometry, we have
\begin{align*}
\norm{T\Psi}_{\mL^2(\Omega)}^2 + \norm{\nabla T\Psi}_{\mL^2(\Omega)}^2 = \frac{1}{N!} \sum_{\sigma \in \mathcal{P}_N} \int_{\sigma(S_N)} |\Psi(\sigma^{-1} x)|^2 +|\nabla \Psi(\sigma^{-1} x)|^2 \mathrm{d} x = \norm{\Psi}_{\mH^1(S_N)}^2,
\end{align*}
and therefore $T$ is an isometry. Moreover, a similar calculation shows that the restriction map $\Psi \mapsto T^{-1}\Psi = \sqrt{N!} \Psi\rvert_{S_N}$ is an isometry from $\mH^1(I_N) \cap \mathcal{H}_N$ to $\mH^1(S_N;\Gamma_{\rm int})$. As $T^{-1}$ maps $\mH^1_L(I_N) \cap \mathcal{H}_N$ to $\mH^1_L(S_N)$ by definition, it follows that $T:\mH^1_L(S_N) \rightarrow \mH^1_L(I_N) \cap \mathcal{H}_N$ is surjective, which completes the proof.
\end{proof}
As the operator $T$ in~\eqref{eq:extension map} is an isometry from $\mH^1_L(S_N)$ to $\mH^1_L(I_N)$ and from $\mL^2(S_N)$ to $\mL^2(I_N)$, by Lemma~\ref{lem:pullback}, the form
\begin{align}
\widetilde{a}_{v,w}(\Psi,\Phi) &\coloneqq (T^\#a_{v,w})(\Psi,\Phi) = a_{v,w}(T\Psi, T\Phi) =\int_{I_N} \overline{\nabla (T\Psi)(x)} \scpr \nabla (T\Phi)(x) \mathrm{d} x + v(\rho_{T\Psi,T\Phi}) + w(\rho_{2,T\Phi,T\Phi}), \nonumber \\
&= \int_{S_N} \overline{\nabla \Psi(x)} \scpr \nabla \Phi(x) \mathrm{d} x + v(\rho_{T\Psi,T\Phi}) + w(\rho_{2,T\Phi,T\Phi}), \quad \mbox{for $\Psi,\Phi\in \mH^1_{L}(S_N)$,}\label{eq:reduced quadratic form}
\end{align}
where the density and pair density are defined as in~\eqref{eq:density def} and~\eqref{eq:pair density def}, is a semibounded closed form on $\mL^2(S_N)$. Hence, we can define the operator
\begin{align}
\widetilde{H}^L_N(v,w) \coloneqq T^\#H_N^L(v,s) \label{eq:reduced H}
\end{align}
as the unique self-adjoint operator associated to the form $\widetilde{a}_{v,w}$ with form domain $\mH^1_L(S_N)$. Moreover, since $T$ is an isometric isomorphism between $\mH^1_L(S_N)$ and $\mH^1_L(I_N) \cap \mathcal{H}_N$, the operator $H_N^L(v,w)$ is unitarily equivalent to $\widetilde{H}_N^L(v,w)$. In particular, we can now apply Theorem~\ref{thm:PF} to obtain the following result.
\begin{theorem}[Perron-Frobenius with Fermi statistics] \label{thm:PFFermi} Let $v\in \mathcal{V}$, $w\in \mathcal{W}$, and $L\subset \mH^{1/2}(\partial I_N)$ be a closed subspace such that
\begin{align*}
\mH^1_L(S_N) = \{ \Psi \rvert_{S_N} : \Psi \in \mH^1_L(I_N) \cap \mathcal{H}_N \}
\end{align*}
is reality and positivity preserving. Then the self-adjoint operator $H_N^L(v,w)$ defined in Lemma~\ref{lem:operator def} has a non-degenerate ground-state and the unique (up to a global phase) ground-state wave-function $\Psi$ satisfies $\Psi(x) >0$ for a.e. $x\in S_N$.
\end{theorem}
\begin{proof} As $T$ is an isometry, the ground-state of the reduced operator $\widetilde{H}^L_N(v,w)$ defined in~\eqref{eq:reduced H} is mapped to the ground-state of $H^L_N(v,w)$ via the map $\Psi \mapsto T\Psi$. Hence, it suffices to show that $H_N^L(v,w)$ has a non-degenerate and strictly positive ground-state. In particular, it suffices to show that $\widetilde{H}^L_N(v,w)$ satisfy the assumptions from Theorem~\ref{thm:PF}.
To this end, we first use Lemma~\ref{lem:density result} to obtain a sequence of bounded (actually smooth) functions $v_n \in \mL^\infty(I)$ and $w_n \in \mL^\infty(I_2)$ such that $\lim_{n \rightarrow \infty} \norm{v_n -v}_{\mH^{-1}} \rightarrow 0$ and $\lim_{n \rightarrow \infty} \norm{w_n - w}_{\mW^{-1,p}}=0$. Then, by estimate~\eqref{eq:reduced Sobolev} we have
\begin{align*}
\lim_{n \rightarrow \infty} \sup_{\Psi,\Phi \in \mH^1(I^N)\setminus\{0\}} \frac{|v_n(\rho_{\Psi,\Phi}) + w_n(\rho_{2,\Psi,\Phi}) - v(\rho_{\Psi,\Phi}) - w(\rho_{2,\Psi,\Phi})|}{\norm{\Psi}_{\mH^1} \norm{\Phi}_{\mH^1}} \leq \lim_{n \rightarrow \infty} \norm{v_n-v}_{-1,2} + \norm{w_n-w}_{-1,p} = 0.
\end{align*}
As $T: \mH^1_L(S_N) \rightarrow \mH^1_L(I_N)\cap \mathcal{H}_N$ is continuous, the forms $T^\# v_n$ and $T^\# w_n$, defined as
\begin{align*}
(T^\# v_n)(\Psi, \Phi) = v_n(\rho_{T\Psi, T\Phi}) \quad \mbox{and}\quad (T^\# w_n)(\Psi,\Phi) = w_n(\rho_{2,T\Psi,T\Phi}),
\end{align*}
also converge to the forms $T^\#v$ and $T^\#w$ (defined analogously) in the $\mH^1$-form norm, i.e.,
\begin{align}
\lim_{n \rightarrow \infty} \sup_{\Psi,\Phi \in \mH^1_L(S_N)\setminus\{0\}} \frac{|(T^\#v_n + T^\# w_n - T^\#v - T^\#w)(\Psi,\Phi)|}{\norm{\Psi}_{\mH^1} \norm{\Phi}_{\mH^1}} = 0. \label{eq:approx property}
\end{align}
Moreover, it follows from the definition of $T$ and the tessellating property~\eqref{eq:disjoint property} that, for any $V \in \mL^\infty(I_N)$,
\begin{align*}
(T^\# V)(\Psi,\Phi) &= V(T\Psi, T\Phi) = \int_{I_N} V(x) \overline{T\Psi(x)} T\Phi(x) \mathrm{d} x = \frac{1}{N!} \sum_{\sigma,\tau \in \mathcal{P}_N} \int_{\sigma(S_N)\cap \tau(S_N)} V(x) \overline{\Psi(\sigma^{-1} x)} \Phi(\tau^{-1} x) \mathrm{d} x,\\
&= \frac{1}{N!} \sum_{\sigma \in \mathcal{P}_N} \int_{S_N} V(\sigma x) \overline{\Psi(x)} \Phi(x) \mathrm{d} x = \int_{S_N} \widetilde{V}(x) \overline{\Psi(x)} \Phi(x) \mathrm{d}x .
\end{align*}
In particular, this implies that the pull-back of any form on $I_N$ generated by a bounded multiplicative potential is a form in $S_N$ generated by a bounded multiplicative potential. As the forms $v_n$ and $w_n$ are generated by the multiplicative potentials
\begin{align*}
V_n(x_1,...,x_N) = \sum_{j=1}^N v_n(x_j) \quad \mbox{and}\quad W_n(x_1,...,x_N) = \sum_{i\neq j} w_n(x_i,x_j),
\end{align*}
the forms $T^\#(v_n + w_n)$ are also generated by multiplicative potentials. Thus, by estimate~\eqref{eq:approx property}, we have found a sequence of multiplicative potentials approximating $T^\#v + T^\#w$. We can therefore apply Theorem~\ref{thm:PF} to complete the proof.
\end{proof}
\subsection{Proofs of Theorems~\ref{thm:main} and~\ref{thm:non-local}} We now prove the following result, which together with Theorem~\ref{thm:PFFermi} completes the proof of Theorems~\ref{thm:main} and~\ref{thm:non-local}.
\begin{lemma}[Positivity preserving spaces]\label{lem:positivespaces} Let $N \in \N$ and $\Gamma \subset \partial I_N$, then the space
\begin{align}
\{\Psi \rvert_{S_N} : \Psi \in
\mH^1(I_N;\Gamma)\cap \mathcal{H}_N\} \subset \mH^1(S_N) \label{eq:space1}
\end{align}
is reality and positivity preserving. Moreover, if $\alpha \in \R\setminus \{0\}$ satisfies~\eqref{eq:parity condition}, then the space
\begin{align}
\{\Psi \rvert_{S_N} : \Psi \in \mH^1_\alpha(I_N;\Gamma) \cap \mathcal{H}_N\} \subset \mH^1(S_N) \label{eq:space2}
\end{align}
is also reality and positivity preserving.
\end{lemma}
\begin{proof} That both spaces are reality preserving is clear since $\mH^1_\alpha(I_N;\Gamma)$ with $\alpha \in \R$ and $\mathcal{H}_N$ are both reality preserving. For the positivity preserving part, we first deal with the space in~\eqref{eq:space1}.
In this case, the proof follows from two observations. First, by antisymmetry, the boundary trace of any function $\Psi$ in $\mH^1(I_N;\Gamma) \cap \mathcal{H}_N$ must actually vanish on the (possibly larger) symmetrized set $\Gamma_N = \cup_{\sigma \in \mathcal{P}_N} \sigma(\Gamma)$. In particular, the restriction $\Psi \rvert_{S_N}$ vanishes on the intersection $\Gamma_N \cap \partial S_N$. The second observation is that $(\gamma \Psi)_+ = \gamma (\Psi_+)$ because this holds for continuous functions and taking the positive part is (e.g., by \cite[Theorem 1]{MM79}) a continuous operation in $\mH^1$. Therefore, $(\Psi\rvert_{S_N})_+ \in \mH^1(S_N;\Gamma_N \cap \partial I_N)$. In particular, the boundary trace of the extension $T(\Psi_+ \rvert_{S_N})$ vanishes on the symmetrized set $\Gamma_N$ and therefore on $\Gamma$. Thus $T(\Psi_+ \rvert_{S_N})$ belongs to $\mH^1(I_N;\Gamma) \cap\mathcal{H}_N$ and satisfies $T(\Psi_+\rvert_{S_N}) \rvert_{S_N} = \frac{1}{\sqrt{N!}} \Psi_+ \rvert_{S_N}$. This shows that $\Psi_+$ belongs to the space in~\eqref{eq:space1} and therefore this space is positivity preserving.
For the second statement, it suffices to show that
\begin{align*}
Y \coloneqq \{ \Psi \rvert_{S_N} : \Psi\in \mH^1_\alpha(I_N) \cap \mathcal{H}_N \}
\end{align*}
is positivity preserving. Indeed, if $Y$ is positivity preserving, then the result follows because the intersection of two positivity preserving spaces is positivity preserving, and
\begin{align*}
\{ \Psi\rvert_{S_N} : \Psi \in \mH^1_\alpha(I_N;\Gamma) \cap \mathcal{H}_N\} = Y \cap \mH^1(S_N;\Gamma_N\cap \partial S_N).
\end{align*}
To prove that $Y$ is positivity preserving, we first claim that
\begin{align}
Y = \{\Psi \in \mH^1(S_N;\Gamma_{\rm int}) : \Psi(0,x') - \alpha (-1)^{N-1}\Psi(x',1) = 0 \quad \mbox{for a.e. $x'\in S_{N-1}$}\}. \label{eq:claim}
\end{align}
Assuming this claim for the moment, the result follows from the following observation. Since $\alpha (-1)^{N-1} \geq 0$ and $\Psi(0,x') =(-1)^{N-1} \alpha \Psi(x',1)$ for (a.e.) $x'\in S_{N-1}$, we have
\begin{align*}
\Psi(0,x')_+ &= \max\{ \Psi(0,x'), 0 \} = \max\{ \alpha(-1)^{N-1} \Psi(x',1),0\} = (-1)^{N-1} \alpha \Psi(x',1)_+
\end{align*}
and therefore $Y$ is positivity preserving.
To prove the claim, we first note that, by the definition of $\mH^1_{\alpha}(I_N)$ and antisymmetry, any $\Psi \in \mH^1_{\alpha}(I_N)\cap \mathcal{H}_N$ satisfies
\begin{align*}
\Psi(0,x_1,...,x_{N-1}) = \alpha \Psi(1,x_1,...,x_{N-1}) = -\alpha \Psi(x_1,1,x_2,...,x_{N-1}) = (-1)^{N-1} \alpha \Psi(x_1,...,x_{N-1},1)
\end{align*}
for any $x' = (x_1,...,x_{N-1}) \in I_{N-1}$; therefore the inclusion $\subset$ in~\eqref{eq:claim} holds. To prove the opposite inclusion, we observe that for any $\Psi \in \mH^1(S_N;\Gamma_{\rm int})$ satisfying $\Psi(0,x') = (-1)^{N-1} \alpha \Psi(x',1)$ for a.e. $x'\in S_{N-1}$, we have
\begin{align}
(T\Psi) (0,\sigma x') &= \sgn(\sigma) \Psi(0,x') = \sgn(\sigma) (-1)^{N-1}\alpha \Psi(x',1) = (-1)^{N-1} \alpha (T\Psi)(\sigma x', 1) \nonumber \\
&= \alpha (T\Psi)(1,\sigma x') \label{eq:bc condition}
\end{align}
for any $\sigma \in \mathcal{P}_{N-1}$ and a.e. $x'\in S_{N-1}$. As $\{\sigma(S_{N-1})\}_{\sigma \in \mathcal{P}_{N-1}}$ covers $I_{N-1}$ up to finitely many hyperplanes of dimension $N-2$, equation~\eqref{eq:bc condition} holds for almost every $x'\in I_{N-1}$. Thus $T\Psi \in \mH^1_\alpha(I_N)$ and satisfies $(T\Psi)\rvert_{S_N} = \frac{1}{\sqrt{N!}} \Psi$, which proves the inclusion $\supset$ in~\eqref{eq:claim} and completes the proof.
\end{proof}
\subsection{Proof of Theorem~\ref{thm:non-interacting}} \label{sec:non-interacting}
We now prove Theorem~\ref{thm:non-interacting}.
\begin{proof}[Proof of Theorem~\ref{thm:non-interacting}] Let $\alpha \in \R\setminus \{0\}$ and $v\in \mathcal{V}$, then by Lemma~\ref{lem:single-to-many}, the eigenfunctions of the operator $H_N^\alpha(v,0)$ are given by linear combination of Slater determinants of the eigenfunctions of $h_\alpha(v) = -\Delta_\alpha + v$. In particular, if we denote by $\{\psi_j\}_{j \in \N}$ and $\{\lambda_j\}_{j\in \N}$ the eigenfunctions and eigenvalues of $h_\alpha(v)$ ordered in non-decreasing order, then $H_N(v,0)$ has a non-degenerate ground-state if and only if $\lambda_N < \lambda_{N+1}$. Thus by Theorem~\ref{thm:non-local}, we have $\lambda_N < \lambda_{N+1}$ for any $N\in\N$ satisfying \eqref{eq:parity condition}, in particular, for $N=2k-1$ if $\alpha \geq 0$ and $N=2k$ for $\alpha \leq 0$. This proves~\eqref{eq:single eigenvalue}. The cases of local (or separable) boundary conditions in~\eqref{eq:separable} follows from the same argument.
To see that the eigenfunctions are almost everywhere non-vanishing, let $E \coloneqq \{\psi_j = 0\}$ and pick $N > j$ satisfying~\eqref{eq:parity condition}. Then the unique ground-state of $H_N^\alpha(v,0)$ is given by
\begin{align*}
\Psi(x_1,...,x_N) = \frac{1}{\sqrt{N!}} \sum_{\sigma \in \mathcal{P}} \mathrm{sgn}(\sigma) \psi_1(x_{\sigma(1)}) .... \psi_j(x_{\sigma(j)}) ... \psi_N(x_{\sigma(N)}).
\end{align*}
In particular, for $x \in E^N$ we have $x_{\sigma(j)} \in E$ for any $\sigma \in \mathcal{P}_N$, and therefore $\Psi$ vanishes on the set $E^N$. By the strong UCP in Theorems~\ref{thm:main} and \ref{thm:non-local}, this implies that $|E^N| = |E|^N = 0$, which completes the proof.
\end{proof}
\section{Eigenvalue inequalities}
In this section, our goal is to prove Theorem~\ref{thm:eigenvalues}.
\subsection{Unique continuation along the boundary} \label{sec:UCPboundary} The key ingredient in the proof of Theorem~\ref{thm:eigenvalues} is the following (weak) unique continuation result along the boundary.
\begin{theorem}[Weak unique continuation along the boundary] \label{thm:UCP boundary} Let $\Gamma \subset \partial I_N$, and let $\Psi$ be the unique ground-state of the self-adjoint realization of $a_{v,w}$ with form domain $\mH^1(I_N;\Gamma)\cap \mathcal{H}_N$. Then $\gamma\Psi$ can not vanish identically on a relatively open set
\begin{align*}
U\subset \partial I_N\setminus \Gamma_N, \quad\mbox{where}\quad \Gamma_N = \cup_{\sigma \in \mathcal{P}_N} \sigma(\Gamma).
\end{align*}
Moreover, if $\alpha \in \R\setminus \{0\}$ satisfies~\eqref{eq:parity condition}, then the same holds for the ground-state of the self-adjoint realization with form domain $\mH^1_\alpha(I_N;\Gamma)\cap \mathcal{H}_N$.
\end{theorem}
\begin{proof}[Proof of Theorem~\ref{thm:UCP boundary} in the case of local BCs] To simplify the notation, we set
\begin{align*}
\Gamma_S \coloneqq \Gamma_{\rm int} \cup (\Gamma_N \cap \partial S_N),
\end{align*}
where $\Gamma_{\rm int}$ is the interior boundary of the simplex $S_N$ (see~\eqref{eq:interior exterior boundary}).
Then, we recall that the ground-state of $H_N(v,w;\Gamma)$ is given by $T\widetilde{\Psi}$, where $T$ is given by~\eqref{eq:extension map} and $\widetilde{\Psi}$ is the ground-state of the reduced operator $\widetilde{H}_N(v,w;\Gamma)$ defined via~\eqref{eq:reduced quadratic form} with form domain~\eqref{eq:space1}. Hence, it suffices to show that $\widetilde{\Psi}$ can not vanish on a relatively open subset of $\partial S_N\setminus \Gamma_S$. To prove this, we shall assume that $\widetilde{\Psi}$ vanishes on a relatively open set $U\subset \partial S_N \setminus \Gamma_N$ and argue by contradiction.
First, since $U \subset \partial S_N$ is relatively open, we can find an open ball $B\subset\R^N$ such that $B\cap \partial S_N$ is contained in the intersection of $U$ with the interior of one of the exterior faces of $S_N$. So without loss of generality, let us assume that $B \cap \partial S_N \subset U \cap F_0$, where we recall that $F_0 = \{(x_1,...,x_N) \in \partial S_N : x_1 = 0\}$. Next, we define $\Omega\coloneqq S_N \cup B$. Then note that $S_N \subset \Omega \subset \R^N$, $\Gamma_S \subset \partial \Omega$, and $\Omega$ is an open bounded and connected subset of $\R^N$ with Lipschitz boundary (see Figure~\ref{fig:simplex_ball}). In particular, the restriction map
\begin{align*}
R: \mH^1(\Omega;\Gamma_S) \rightarrow \mH^1(S_N;\Gamma_S), \quad \Phi \mapsto R \Phi = \Phi \rvert_{S_N},
\end{align*}
is continuous. We can thus define the extended self-adjoint operator $H_\Omega$ via the sesquilinear form
\begin{align}
\widetilde{a}_{v,w,\Omega}(\Psi,\Phi) &\coloneqq \int_{\Omega\setminus S_N} \overline{\nabla \Psi(x)} \scpr \nabla \Phi(x) \mathrm{d} x + \widetilde{a}_{v,w}(R\Psi,R\Phi) \nonumber \\
&=\int_{\Omega} \overline{\nabla \Psi(x)} \scpr \nabla \Phi(x) \mathrm{d} x + (T^\#v)(R\Psi,R\Phi) + (T^\# w)(R\Psi, R\Phi), \quad \Psi,\Phi \in \mH^1(\Omega;\Gamma_S).\label{eq:form Omega}
\end{align}
Since $(\gamma \widetilde{\Psi}) \rvert_{\Omega \cap \partial s_N} = 0$, the extension by zero of $\widetilde{\Psi}$ to $\Omega$, denoted also by $\widetilde{\Psi}$, belongs to $\mH^1(\Omega;\Gamma_S)$ and satisfies
\begin{align*}
\widetilde{a}_{v,w,\Omega}(\widetilde{\Psi}, \Phi) = \int_{\Omega} \overline{\nabla \widetilde{\Psi}}\scpr \nabla \Phi \mathrm{d} x + (T^\# (v + w))(R\widetilde{\Psi}, R\Phi) =\widetilde{a}_{v,w}(\widetilde{\Psi}, R \Phi) = \lambda \inner{\widetilde{\Psi}, R\Phi} = \lambda \inner{\widetilde{\Psi}, \Phi},
\end{align*}
where $\lambda$ is the ground-state energy of $\widetilde{H}_N(v,w;\Gamma)$. In particular, $\widetilde{\Psi}$ is an eigenfunction of $H_\Omega$.
Next, notice that the pullback $R^\# V$ of any bounded multiplicative function $V \in \mL^\infty(S_N)$ is simply the extension of $V$ by zero to $\Omega$, so in particular, a bounded function in $\mL^\infty(\Omega)$. Consequently, the pullback via $R$ of any sequence of bounded functions in $S_N$ approximating the quadratic form $T^\#(v+w)$ in $\mH^1$ (as in~\eqref{eq:approx property}) yields a sequence of bounded functions approximating $R^\# T^\#(v+w)$. In particular, the operator $H_\Omega$ defined via~\eqref{eq:form Omega} satisfies the assumptions of Theorem~\ref{thm:PF}, and therefore, has a unique and a.e. strictly positive ground-state $\Psi_\Omega$.
This now yields a contradiction for the following reason. As we have shown that $\widetilde{\Psi}$ is an eigenfunction of $H_\Omega$, it must be either orthogonal or proportional to $\Psi_\Omega$. However, $\widetilde{\Psi}$ cannot be orthogonal to $\Psi_\Omega$ as they are both non-negative (up to a global phase), and $\widetilde{\Psi}$ cannot be parallel to $\Psi_\Omega$ as the former vanishes on $\Omega \setminus S_N$ while the later is (a.e.) strictly positive in $\Omega$. This completes the proof.
\end{proof}
\begin{figure}[ht!]
\centering
\includegraphics[scale=0.2]{simplex_with_bump.jpg}
\caption{Example of extended set $\Omega$ in the case $N=2$ (left) and $N=3$ (right) with interior boundary $\Gamma_{\rm int}$ (in red), exterior boundary $\partial \Omega \setminus \Gamma_{\rm int}$ (in blue), and $B\cap \partial S_N \subset F_N$ (in yellow).}
\label{fig:simplex_ball}
\end{figure}
In the case of non-local boundary conditions, the proof is more involved. The reason is that the exterior faces $F_0$ and $F_N$ of the simplex are not independent but "glued" to each other in the sense that the boundary conditions along one exterior face must match (up to a constant) the boundary condition along the other exterior face. Hence, we cannot immediately use the extension argument from the previous proof.
To overcome this issue, the first step is to show that, whenever an eigenfunction vanishes on an open subset of the boundary, a meaningful sense can be given to its normal derivative along this set. For this, let us introduce the following definition.
\begin{definition}[Weak Neumann trace] Let $\alpha \in \R\setminus \{0\}$ and $\Psi \in \mH^1_\alpha(I_N;\Gamma)\cap \mathcal{H}_N$ be an eigenfunction of $H_N^\alpha(v,w;\Gamma)$ with eigenvalue $\lambda$. Then for any $f\in \mH^{1/2}(\partial I_N)$, we define the Neumann trace $\partial_\nu \Psi$ as
\begin{align}
(\partial_\nu \Psi)(f) = \int_{I_N} \overline{\nabla \Psi(x)} \scpr \nabla F(x) + v(\rho_{\Psi, P_N F}) + w(\rho_{2,\Psi, P_N F}) - \lambda \inner{\Psi,F} \label{eq:Ntrace}
\end{align}
for any $F\in \mH^1(I_N)$ satisfying $\gamma F = f$, where $\gamma$ is the standard (Dirichlet) trace and $P_N: \mL^2(I_N) \rightarrow \mathcal{H}_N$ is the projection on the antisymmetric space,
\begin{align*}
(P_N F)(x) = \frac{1}{N!}\sum_{\sigma \in \mathcal{P}_N}\mathrm{sgn}(\sigma) F(\sigma x).
\end{align*}
\end{definition}
It is not hard to see that $\partial_\nu \Psi(f)$ is independent of the extension of $f$. Indeed, if we have two $\mH^1$-extensions $F$ and $F'$, then $F-F' \in \mH^1_0(I_N)$, and therefore $P_N (F-F') \in \mH^1_0(I_N) \cap\mathcal{H}_N$; in particular, $P_N(F-F')$ belongs to the form domain $\mH^1_\alpha(I_N;\Gamma) \cap \mathcal{H}_N$, and consequently,
\begin{align*}
&\int_{I_N} \overline{\nabla \Psi(x)} \scpr \nabla(F-F')(x) + v(\rho_{\Psi, P_N(F-F')}) + w(\rho_{2,\Psi,P_N(F-F')}) - \lambda \inner{\Psi, F-F'} \\
&= \int_{I_N} \frac{1}{N!}\sum_{\sigma \in \mathcal{P}_N}\mathrm{sgn}(\sigma)\overline{\nabla (\sigma_\#\Psi)(x)} \scpr \nabla (F-F')(x) \mathrm{d} x + v(\rho_{\Psi, P_N(F-F')}) + w(\rho_{2,\Psi,P_N(F-F')}) - \lambda \inner{\Psi, P_N(F-F')}\\
&= a_{v,w}(\Psi,P_N(F-F')) - \lambda\inner{\Psi,P_N(F-F')} = 0,
\end{align*}
where the first equality hold because $P_N\Psi = \Psi$ and the second equality because $\Psi$ is an eigenfunction of $H_N^\alpha(v,w;\Gamma)$ with eigenvalue $\lambda$. Moreover, the Neumann trace $f \in \mH^{1/2}(\partial I_N)\rightarrow (\partial_\nu \Psi)(f)$ is continuous since we can pick $F = Jf$ for any right inverse $J : \mH^{1/2}(\partial I_N) \rightarrow \mH^1(I_N)$ of the Dirichlet trace operator $\gamma$. However, it should be noted that this is a completely adhoc definition of the Neumann trace as, a priori, there is no connection between $\partial_\nu \Psi$ and the normal derivative of $\Psi$ along the boundary.
Fortunately, it turns out that this definition is meaningful along the vanishing set of $\Psi$ on the boundary. To make this statement precise, we shall use the following lemma.
\begin{lemma}[Interior approximation] \label{lem:H10 approx} Let $\Psi \in \mH^1(I_N)$ satisfy $(\gamma \Psi)\rvert_U = 0$ for some relatively open subset $U \subset \partial I_N$. Let $V \subset \subset U$ and define
\begin{align*}
\eta_\epsilon(x) \coloneqq \eta(d_V(x)/\epsilon), \quad \mbox{where}\quad d_V(x) \coloneqq \inf_{y \in V} ||x-y||,
\end{align*}
for some $\eta \in \mathrm{Lip}(\R,\R)$ satisfying $0 \leq \eta \leq 1$, $\eta(x) = 1$ for $|x| \leq 1/2$, and $\eta(x) = 0$ for $|x|\geq 1$. Then the function $\Psi_\epsilon = \Psi (1-\eta_\epsilon) \in \mH^1(I_N;U)$ satisfies
\begin{align*}
\lim_{\epsilon \downarrow 0} \norm{\Psi - \Psi_\epsilon}_{\mH^1} = \lim_{\epsilon \downarrow 0^+} \norm{\eta_\epsilon \Psi}_{\mH^1} = 0.
\end{align*}
\end{lemma}
\begin{proof}
Since $\eta_\epsilon(x) \rightarrow 0$ as $\epsilon \downarrow 0$ for every $x\in I_N$, by dominated convergence we have
\begin{align*}
\norm{\Psi-\Psi_\epsilon}_{\mL^2}^2 = \int_{I_N} |\Psi(x)|^2 |\eta_\epsilon(x)|^2 \mathrm{d} x \rightarrow 0 \quad \mbox{as}\quad \epsilon \downarrow 0.
\end{align*}
Next, notice that the map $x\mapsto d_V(x)$ is globally Lipschitz with Lipschitz constant smaller than $1$. Thus from Rademacher's theorem, the function $d_V(x)$ has a bounded weak gradient, and therefore,
\begin{align*}
\norm{\nabla(\Psi-\Psi_\epsilon)}_{\mL^2}^2 &\leq 2 \int_{I_N} |\nabla \Psi(x)|^2 |\eta_\epsilon(x)|^2 + |\Psi(x)|^2 \frac{|\dot{\eta}(d_V(x)/\epsilon) |\nabla d_V(x)|^2}{\epsilon^2} \mathrm{d} x \\
&\lesssim \int_{I_N} |\nabla \Psi(x)|^2 |\eta_\epsilon(x)|^2 \mathrm{d} x + \frac{1}{\epsilon^2} \int_{V_\epsilon \cap I_N} |\Psi(x)|^2 \mathrm{d} x,
\end{align*}
where $V_\epsilon \coloneqq \{x: d_V(x) \leq 2\epsilon\}$. The first term converges to zero again by dominated convergence. For the second term, we can assume, via a partition of the unity argument, that $V_\epsilon \cap I_N$ is the hypergraph of a Lipschitz function, i.e., up to a rotation and translation, there exists $\kappa:\R^{N-1}\rightarrow \R$ Lipschitz such that $\partial I_N \cap V_\epsilon = \{(x',\kappa(x')): x' \in W_\epsilon\}$ for some open bounded set $W_\epsilon \subset \R^{N-1}$ and $V_\epsilon \cap I_N = \{(x',x_N) : x' \in W_\epsilon, \quad \kappa(x') < x_N < y(x',\epsilon)\}$, where $y(x',\epsilon)-\kappa(x')\lesssim \epsilon$. Since $V_\epsilon \cap \partial I_N \subset U$ for $\epsilon>0$ small enough, we have $\Psi(x',\kappa(x')) = 0$, and therefore
\begin{align*}
\frac{1}{\epsilon^2} \int_{V_\epsilon} |\Psi(x)|^2 \mathrm{d} x = \frac{1}{\epsilon^2} \int_{W_\epsilon} \mathrm{d} x' \int_{\kappa(x')}^{y(x',\epsilon)} |\Psi(x',x_N)|^2 \mathrm{d} x_N = \frac{1}{\epsilon^2} \int_{W_\epsilon} \int_{\kappa(x')}^{y(x',\epsilon)} \left|\int_{\kappa(x')}^{x_N} \partial_{x_N} \Psi(x',t)\mathrm{d} t\right|^2 \mathrm{d} x.
\end{align*}
If we now apply Cauchy-Schwarz, use the change of variables $z = (x_N-\kappa(x'))/\epsilon$, and use the estimate $y(x',\epsilon)-\kappa(x') \leq C\epsilon$, we find
\begin{align*}
\frac{1}{\epsilon^2} \int_{W_\epsilon} \int_{\kappa(x')}^{y(x',\epsilon)} \left|\int_{\kappa(x')}^{x_N} \partial_{x_N} \Psi(x',t) \mathrm{d} t\right|^2 \mathrm{d} x&\leq \int_{W_\epsilon} \int_{\kappa(x')}^{y(x',\epsilon)} \left(\int_{\kappa(x')}^{x_N} |\partial_{x_N} \Psi(x',t)|^2 \mathrm{d} t \right) \frac{x_N-\kappa(x')}{\epsilon^2} \mathrm{d} x_N \mathrm{d} x' \\
&\lesssim \int_{W_\epsilon} \int_0^{C} \int_{\kappa(x')}^{\kappa(x')+\epsilon z} |\partial_{x_N} \Psi(x',t)|^2 \mathrm{d} t \mathrm{d} z \mathrm{d} x'\\
&\lesssim \int_{V_\epsilon\cap I_N} |\partial_{x_N} \Psi(x',t)|^2 \mathrm{d} x'\mathrm{d} t.
\end{align*}
Hence, by dominated convergence, the limit $\epsilon \downarrow 0^+$ goes to zero, which completes the proof.
\end{proof}
We now show that the Neumann trace is meaningful along any open subset of the boundary where $\Psi$ vanishes. The key to prove this is the locality of the form associated to $H_N(v,w)$.
\begin{lemma}[Neumann trace formula] \label{lem:Ntrace formula} Let $U\subset \partial I_N$ be a relatively open subset of $I_N$ and suppose that $U$ is compactly contained in the interior of a face of $\partial I_N$. Let $\Psi$ be an eigenfunction of $H_N^\alpha(v,w;\Gamma)$ such that $(\gamma\Psi) \rvert_U = 0$. Then for any $f \in C^\infty_c(U)$, we have
\begin{align}
(\partial_\nu \Psi)(f) = -\lim_{\epsilon \downarrow 0^+} \frac{\inner{\gamma_\epsilon \Psi,f}_{L^2(U)}}{\epsilon} , \label{eq:trace formula}
\end{align}
where the above limit exists and $\gamma_\epsilon \Psi$ denotes the Dirichlet trace of $\Psi$ along the hyperplane parallel and at distance $\epsilon$ of the face containing $U$.
\end{lemma}
\begin{proof} Without loss of generality, let us assume that $U\subset \subset E_0 \coloneqq \{ x =(x_1,x')\in \partial I_N : x_1 = 0, \quad x' \in I_{N-1}\}$. Then, we let $\beta \in C^\infty_c(\R;\R)$ be a standard mollifier, i.e., $0\leq \beta \leq 1$, $\mathrm{supp}(\beta) \subset [-1,1]$ and $\beta = 1$ on a neighborhood of $0$, and define the function $F$ as
\begin{align*}
F(x_1,x') \coloneqq \beta(x_1) f(x')\quad \mbox{for $(x_1,x') \in I_N$.}
\end{align*}
Clearly, $F$ is an $\mH^1$-extension of $f$, i.e., $F\in \mH^1(I_N)$ and $\gamma F = f$.
Next, let $V\subset \partial I_N$ be such that $\mathrm{supp}(f) \subset \subset V \subset \subset U$ and define $\eta_\epsilon$ as in Lemma~\ref{lem:H10 approx}. Then $F_\epsilon \coloneqq (1-\eta_\epsilon) F \in \mH^1_0(I_N)$ and therefore
\begin{align}
0 = a_{v,w}(\Psi, P_N F_\epsilon)- \lambda \inner{\Psi, P_N F_\epsilon} =&\int_{I_N} \left(1-\eta_\epsilon\right) \overline{\nabla \Psi} \scpr \nabla F \mathrm{d} x + v(\rho_{\Psi, P_N F_\epsilon}) + w(\rho_{2,\Psi, P_N F_\epsilon}) - \lambda\inner{\Psi,F_\epsilon} \label{eq:middleeq} \\
&- \int_{I_N} F(x) \overline{\nabla \Psi(x)} \scpr \nabla \eta_\epsilon(x) \mathrm{d} x, \label{eq:lasteq}
\end{align}
where the first equality follows because $\Psi$ is an eigenfunction of $H_N^\alpha(v,w;\Gamma)$ with eigenvalue $\lambda$.
The key observation now is the following: since
\begin{align*}
\overline{\Psi(x)} (P_NF_\epsilon)(x) = \frac{1}{N!} \sum_{\sigma \in \mathcal{P}_N} \mathrm{sgn}(\sigma) \overline{\Psi(x) \left(1-\eta_\epsilon(\sigma x)\right)} F(\sigma x),
\end{align*}
and $\gamma\Psi$ vanishes on $\sigma^{-1}(U)$ for any $\sigma \in \mathcal{P}_N$ (by antisymmetry), from Lemma~\ref{lem:H10 approx} we have
\begin{align*}
\lim_{\epsilon \downarrow 0^+} \norm{\Psi(1-\sigma_\#\eta_\epsilon) - \Psi}_{\mH^1} = 0 \quad \mbox{for any $\sigma \in \mathcal{P}_N$.}
\end{align*}
Consequently, by Lemma~\ref{lem:regularity reduced densities},
\begin{align*}
\lim_{\epsilon \downarrow 0^+} \rho_{\Psi,P_NF_\epsilon} = \rho_{\Psi, P_N F} \quad \mbox{in $\mH^1(I)$} \quad \mbox{and}\quad \lim_{\epsilon \downarrow 0^+} \rho_{2,\Psi, P_N F_\epsilon} = \rho_{2,\Psi, P_N F} \quad \mbox{in $\mW^{-1,p}(I_2)$.}
\end{align*}
Using these convergence results and dominated convergence for the kinetic term, we see that equation~\eqref{eq:middleeq} converges to $\partial_\nu \Psi(f)$ as $\epsilon\downarrow 0^+$. In particular,
\begin{align*}
\partial_\nu \Psi(f) = \lim_{\epsilon \downarrow 0^+} \int_{I_N} F(x) \overline{\nabla \Psi(x)} \scpr \nabla \eta_\epsilon(x) \mathrm{d} x,
\end{align*}
where the limit exists. To compute this limit, let us take
\begin{align*}
\eta(x) = \begin{dcases} 1, \quad \mbox{for $x\leq 1/2$,}\\
2-2x, \quad \mbox{for $\frac12 \leq x \leq 1$,}\\
0, \quad \mbox{otherwise.}
\end{dcases}
\end{align*}
Since $\mathrm{supp}(F) \subset [0,1] \times V$, we have $d_V(x)= x_1$ for any $x =(x_1,x') \in \mathrm{supp}(F)$. In particular, $\eta_\epsilon(x) = \eta(x_1/\epsilon)$ for $x\in \mathrm{supp}(F)$. Moreover, for $\epsilon>0$ small enough, we have $\beta(x_1) = 1$ on $\mathrm{supp}(\eta_\epsilon(x))$. Therefore
\begin{align}
\partial_\nu \Psi(f) &= \lim_{\epsilon\downarrow 0^+} \int_{I_N} F(x) \overline{\nabla \Psi(x)} \scpr \nabla \eta_\epsilon(x) \mathrm{d} x \nonumber \\
&= \lim_{\epsilon \downarrow 0^+} \int_{ [\epsilon/2,\epsilon] \times V} f(x') \overline{\partial_{x_1} \Psi(x_1,x')} \left(\frac{-2}{\epsilon}\right)\mathrm{d} x_1 \mathrm{d} x'\nonumber \\
&= \lim_{\epsilon \downarrow 0^+} \frac{\inner{\gamma_{\epsilon/2}\Psi,f} - \inner{\gamma_{\epsilon} \Psi,f}}{\epsilon/2} \label{eq:limit}
\end{align}
To complete the proof, we now write
\begin{align*}
\inner{\gamma_{2^{-n}\epsilon}\Psi,f} - \inner{\gamma_\epsilon \Psi, f} - (\epsilon-2^{-n} \epsilon) \partial_\nu \Psi(f) = \sum_{k=1}^{n} \left(\inner{\gamma_{2^{-k} \epsilon} \Psi,f} - \inner{\gamma_{2^{-k+1}\epsilon} f} - 2^{-k}\epsilon \partial_\nu \Psi\right)
\end{align*}
Thus, by~\eqref{eq:limit}, for any $\delta>0$ we can take $\epsilon>0$ so small that the right hand side is controlled by $\delta \epsilon$. Taking the limit $n \ra \infty$ and using that $\gamma \Psi = 0$ on $U$, we conclude that
\begin{align*}
|\epsilon \partial_\nu \Psi(f) + \inner{\gamma_\epsilon \Psi,f}| \lesssim \delta \epsilon.
\end{align*}
Diving this expression by $\epsilon$ and taking the limits $\epsilon \downarrow 0^+$ and $\delta \downarrow 0^+$ completes the proof.
\end{proof}
We now show that the ground-state $\Psi$ of $H_N^\alpha(v,w;\Gamma)$ satisfies $\partial_\nu \Psi = 0$ along any open set $U\subset \partial S_N$ such that $\gamma \Psi \rvert_U = 0$. To prove this, the key observation is that $\Psi$ is non-negative in $S_N$ by the Perron-Frobenius theorem.
\begin{lemma}[Vanishing of normal derivative] \label{lem:trace zero} Let $\alpha \in \R\setminus \{0\}$ satisfy~\eqref{eq:parity condition} and let $\Psi$ be the ground-state of $H_N^{\alpha}(v,w;\Gamma)$. Suppose that $(\gamma \Psi)\rvert_U = 0$ for some (relatively) open set $U\subset \subset \mathrm{int}\, F_0 \setminus \Gamma_N$, where $F_0 =\{ (x_1,x_2,...,x_N) \in \partial S_N : x_1 = 0\}$. Then
\begin{align}
\partial_\nu \Psi(f)= 0\quad \mbox{for any $f\in \mH^{1/2}(\partial \Omega)$ with $\mathrm{supp}(f) \subset U$.} \label{eq:zero trace}
\end{align}
\end{lemma}
\begin{proof} Since any function $f\in \mH^{1/2}(\partial I_N)$ with $\mathrm{supp}(f) \subset U$ can be approximated by functions in $C_c^\infty(U)$ it suffices to prove~\eqref{eq:zero trace} for $f\in C^\infty_c(U)$. To this end, we first claim that
\begin{align}
\partial_\nu \Psi(f) \leq 0. \quad \mbox{for any $f\in C^\infty_c(U)$ such that $f \geq 0$.} \label{eq:negativity}
\end{align}
Indeed, since $\Psi \geq 0$ almost everywhere in $S_N$ (by Theorem~\ref{thm:PFFermi}), this claim follows from the formula in Lemma~\ref{lem:Ntrace formula}.
Next, we recall that, by the definition of $\mH^1_\alpha(I_N)$ and antisymmetry, $\Psi$ satisfies
\begin{align*}
(\gamma \Psi)(0,x') - (-1)^{N-1} \alpha (\gamma \Psi)(x',1) = 0 \quad\mbox{for a.e. $x' \in I_{N-1}$.}
\end{align*}
Therefore $\gamma \Psi$ also vanishes on the set $U' \coloneqq \{(x',1) : (0,x') \in U\} \subset F_N$. Consequently,~\eqref{eq:negativity} also holds for $f\in \mH^{1/2}(\partial I_N)$ with $\mathrm{supp}(f) \subset U'$. Now let $f\in C^\infty_c(U)$ and define
\begin{align*}
f'(x) \coloneqq \begin{cases} (-1)^{N-1}\alpha f(0,x') \quad &\mbox{for $x=(x',1) \in U'$,}\\
0, \quad &\mbox{for $x\in \partial I_N \setminus U'$.} \end{cases}
\end{align*}
Let $Jf$ and $Jf'$ be extensions of $f$ and $f'$ in $\mH^1(I_N)$. Then, recalling the proof of Lemma~\ref{lem:positivespaces}, we see that $P_N(Jf+Jf') \in \mH^1_\alpha(I_N;\Gamma) \cap \mathcal{H}_N$. Therefore, by the definition of the Neumann trace, we have
\begin{align*}
\partial_\nu \Psi(f) + \partial_\nu \Psi(f') &= \partial_\nu \Psi(f+f') = a_{v,w}\left(\Psi,P_N(Jf+Jf')\right) - \lambda \inner{\Psi, P_N(Jf+Jf')} = 0 .
\end{align*}
Thus if $f\geq 0$, then $f'\geq 0$ by~\eqref{eq:parity condition}, and therefore $\partial_\nu \Psi(f) = \partial_\nu \Psi(f') = 0$ by~\eqref{eq:negativity}. This concludes the proof.
\end{proof}
We can now complete the proof of Theorem~\ref{thm:UCP boundary}.
\begin{proof}[Proof of Theorem~\ref{thm:UCP boundary} in the case of non-local BCs] Let $U\subset \partial I_N \setminus \Gamma_N$ be relatively open. We shall assume that $\Psi \rvert_U = 0$ and obtain a contradiction. To this end, first note that, by the antisymmetry of $\Psi$, the Dirichlet trace $\gamma \Psi$ vanishes on the symmetrized set $U_N = \cup_{\sigma} \sigma(U)$. Moreover, after possibly shrinking $U_N$, we can assume that $U_N \cap \partial S_N$ is compactly contained on the interior of an exterior face of $\partial S_N$. So without loss of generality, we assume that $U \subset F_0 =\{(x_1,...,x_N)\in \partial S_N : x_1 =0\}$. Hence, if we denote by $\widetilde{\Psi} = T^{-1} \Psi = \sqrt{N!} \Psi\rvert_{S_N}$ the ground-state of the reduced operator $\widetilde{H}_N^\alpha(v,w;\Gamma)$, Lemma~\ref{lem:trace zero} implies that
\begin{align*}
\partial_\nu \widetilde{\Psi}(f) &\coloneqq \widetilde{a}_{v,w}(\widetilde{\Psi},Jf) - \lambda \inner{\widetilde{\Psi},Jf} = a_{v,w}(T\widetilde{\Psi}, T Jf) - \lambda \inner{T \widetilde{\Psi}, TJf} = \sqrt{N!} \partial_\nu \Psi(f) = 0,
\end{align*}
for any $f \in \mH^{1/2}(\partial S_N)$ such that $\mathrm{supp}(f) \subset U$, where $J: \mH^{1/2}(\partial S_N) \rightarrow \mH^1(S_N)$ is any right inverse of the Dirichlet boundary trace on $S_N$.
We now claim that this is equivalent to
\begin{align}
\widetilde{a}_{v,w}(\widetilde{\Psi}, \Phi) - \lambda\inner{\widetilde{\Psi}, \Phi} = 0, \quad \mbox{for any $\Phi \in Q_\alpha(W)$,} \label{eq:claim2}
\end{align}
where
\begin{align*}
Q_\alpha(W) \coloneqq \{ \Phi \in \mH^1(S_N;\Gamma_N \cup \Gamma_{\rm int}): (\gamma \Phi)(0,x') - (-1)^{N-1}\alpha (\gamma \Phi)(x',1)\quad \mbox{for $(0,x') \in F_0 \setminus W$} \},
\end{align*}
for any neighborhood $W\subset U \subset F_0$. Indeed, if $\Phi \in Q_\alpha(W)$, then $\Phi$ can be written as the sum of a function in the form domain of the reduced operator $\widetilde{H}^\alpha_N(v,w;\Gamma)$
and a function with trace supported in $\overline{W} \subset U$. To be precise, for any $\Phi \in Q_\alpha(W)$, we can define
\begin{align*}
f_{\Phi} (x) \coloneqq \begin{dcases} (-1)^{N-1}\frac{1}{\alpha} (\gamma \Phi)(x',1), \quad &\mbox{if $x=(0,x')$ for $x' \in S_{N-1}$},\\
(\gamma \Phi)(x',1),\quad &\mbox{if $x=(x',1)$ with $x'\in S_{N-1}$,}\\
0,\quad &\mbox{otherwise,}\end{dcases}
\end{align*}
and note that $f_{\Phi}\in \mH^{1/2}(\partial S_N)$ because $f_{\Phi}$ is locally equal to $\gamma \Phi$ or a rigid motion of $\gamma \Phi$. Moreover, by the definition of $Q_\alpha(W)$, we have $\mathrm{supp}(\gamma \Phi - f_\Phi) \subset \overline{W}$. Thus, since $J f_\Phi$ belongs to the form domain of $\widetilde{H}_N^\alpha(v,w;\Gamma)$ (namely~\eqref{eq:claim} intersected with $\mH^1(S_N;\Gamma_N\cap \partial S_N)$), we have the desired decomposition $\Phi = (\Phi - Jf_\Phi) + Jf_\Phi$, which proves the claim in~\eqref{eq:claim2}.
Next, notice that~\eqref{eq:claim2} is equivalent to saying that $\widetilde{\Psi}$ is an eigenfunction of the operator associated to the form $\widetilde{a}_{v,w}$ but with the larger form domain $Q_\alpha(W)$. The important observation now is that the trace of functions in $Q_\alpha(W)$ have no restriction inside $W$. Therefore, we can repeat the extension argument in the proof of the case of local BCs. More precisely, we extend $S_N$ to $\Omega$ by adding an open ball whose intersection with $\partial S_N$ is compactly contained in $W$. Then $\widetilde{\Psi}$ extended by zero is also an eigenfunction of the extended operator $H_\Omega$ associated to~\eqref{eq:form Omega} but this time with form domain
\begin{align*}
Q_\Omega \coloneqq \{ \Psi \in \mH^1(\Omega;\Gamma) : \Psi\rvert_{U\cap \partial \Omega} = 0 \quad \mbox{and}\quad (\gamma \Phi)(0,x') - (-1)^{N-1}\alpha(\gamma \Phi)(x',1)\quad \mbox{for $(0,x') \in F_0 \setminus W$} \}.
\end{align*}
Thus, recalling assumption~\eqref{eq:parity condition}, one can repeat the arguments in the proof of Lemma~\ref{lem:positivespaces} to show that $Q_\Omega$ is positivity and reality preserving. In particular, Theorem~\ref{thm:PF} applies to $H_\Omega$ and therefore its ground-state $\Psi_\Omega$ is non-degenerate and almost everywhere strictly positive in $\Omega$. This in turn implies that $\Psi_\Omega$ is either orthogonal or parallel to $\widetilde{\Psi}$. However, neither of these options are possible because both functions are strictly positive in $S_N$ but $\widetilde{\Psi}$ vanishes identically in $\Omega \setminus S_N$ while $\Psi_\Omega$ does not. This yields the desired contradiction and completes the proof.
\end{proof}
\subsection{Proof of Theorems~\ref{thm:eigenvalues}}
We can now complete the proof of Theorem~\ref{thm:eigenvalues}.
\begin{proof}[Proof of Theorem~\ref{thm:eigenvalues}]
As mentioned in Remark~\ref{rem:strict}, the inequality $\lambda_1(\Gamma)\leq \lambda_1(\Gamma')$ is immediate from the variational principle. Hence, it suffices to show that equality cannot hold. For this, note that, if $\lambda_1(\Gamma) = \lambda_1(\Gamma')$, then by the variational principle and the non-degeneracy theorem, the ground-state of $H^{\alpha}_N(v,w;\Gamma)$ and $H_N^\alpha(v,w;\Gamma')$ are the same. Hence the ground-state $\Psi$ of $H_N^\alpha(v,w;\Gamma)$ vanishes on $\Gamma'$. As $\Psi$ is antisymmetric, it must also vanish in the symmetrized set $\Gamma_N'$. Hence, $\Psi$ vanishes on $\Gamma_N'\setminus \Gamma_N$. As this set contains a relatively open subset of the boundary by assumption, this is not possible by Theorem~\ref{thm:UCP boundary}. We thus have a contradiction, which concludes the proof.
\end{proof}
\section{Quadratic forms and self-adjoint extensions}
\label{app:quadratic}
In this section we recall the basic theory of self-adjoint extensions via quadratic forms. The results presented here are standard and can be found in several classical references \cite{RS75,RS78,AGHH88,Tes14}. We shall therefore omit the proofs, with an exception for part~\ref{sec:pull-back} for which we have no reference.
\subsection{Basic definitions} First, let us recall the definition of sesquilinear forms and self-adjoint operators.
\begin{definition}[Quadratic forms] We say that $a:Q\times Q \rightarrow \C$ is a (densely defined) sesquilinear form in a Hilbert space $\mathcal{H}$ if $Q$ is a dense vector subspace of $\mathcal{H}$ and $a$ is antilinear in the first argument and linear in the second one. In this case, we call $Q$ the form domain of $a$. Moreover, we say that
\begin{enumerate}[label=(\roman*)]
\item $a$ is symmetric if $a(\Psi,\Phi) = \overline{a(\Phi,\Psi)}$ for any $\Phi,\Psi \in Q$.
\item $a$ is semi-bounded on $\mathcal{H}$ if $a(\Psi,\Psi) \in \R$ and
\begin{align*}
a(\Psi,\Psi) \geq C \norm{\Psi}_{\mathcal{H}}^2 ,\quad \mbox{for any $\Psi \in Q$ and some $C\in \R$.}
\end{align*}
\item $a$ is closed in $\mathcal{H}$ if for any sequence $\{\Psi_n\}_{n\in \N} \subset Q$ satisfying
\begin{align*}
\lim_{n\ra\infty} \Psi_n = \Psi \quad \mbox{in $\mathcal{H}$ and}
\quad \lim_{\max\{m,n\} \rightarrow \infty} a(\Psi_n - \Psi_m, \Psi_n - \Psi_m) = 0,
\end{align*}
it holds that $\Psi \in Q$ and $\lim_{n\ra \infty} a(\Psi - \Psi_n, \Psi-\Psi_n) = 0$.
\end{enumerate}
\end{definition}
\begin{remark*}[Semibounded implies symmetry] By definition any semibounded form satisfies $a(\Psi,\Psi) \in \R$ for $\Psi \in Q$. In particular, from the polarization identity, any semibounded form is automatically symmetric.
\end{remark*}
\begin{remark*}[Closed and semibounded] If $a$ is semibounded on $\mathcal{H}$ with lower bound $C$, then $a$ is closed if and only if $Q$ is a (complete) Hilbert space with respect to the norm
\begin{align}
\norm{\Psi}_a = a(\Psi,\Psi) + (C+1)\norm{\Psi}_{\mathcal{H}}^2. \label{eq:inducednorm}
\end{align}
\end{remark*}
\begin{definition}[Self-adjoint] We say that a linear operator $A: D(A) \subset \mathcal{H} \rightarrow \mathcal{H}$ is a semibounded self-adjoint operator if it satisfies the following conditions:
\begin{enumerate}[label=(\roman*)]
\item (Densely defined) $D(A) \subset \mathcal{H}$ is dense.
\item (Symmetric) $\inner{\Psi, A \Phi}_{\mathcal{H}} = \inner{A \Psi, \Phi}_{\mathcal{H}}$, for any $\Psi, \Phi \in D(A)$.
\item (Semibounded) there exists $C>0$ such that
\begin{align*}
\inner{\Psi, A\Psi}_{\mathcal{H}} \geq C \norm{\Psi}_{\mathcal{H}}^2, \quad \mbox{for any $\Psi \in D(A)$.}
\end{align*}
\item (Self-adjoint) $D(A^\ast) = D(A)$, where
\begin{align*}
D(A^\ast) \coloneqq \{\Psi \in \mathcal{H} \quad \mbox{such that the linear map}\quad \Phi\in D(A) \mapsto \inner{\Psi, A\Phi}_{\mathcal{H}} \quad \mbox{is bounded in $\mathcal{H}$}\}.
\end{align*}
\end{enumerate}
\end{definition}
\subsection{Quadratic forms and self-adjoint operators} The main result on the theory of self-adjoint extensions via quadratic forms is the following. For a proof, see \cite{RS75}.
\begin{theorem}[Equivalence between quadratic forms and self-adjoint operators] \label{thm:form} Let $A$ be a positive self-adjoint operator on a Hilbert space $\mathcal{H}$, then the domain $D((A+1)^{\frac12}) \subset \mathcal{H}$ is dense and the sesquilinear form
\begin{align*}
a_A(\Psi,\Phi) = \inner{(A+1)^{\frac12} \Psi, (A+1)^{\frac12} \Phi} - \inner{\Psi, \Phi}
\end{align*}
is a densely defined, symmetric, positive, and closed quadratic form on $\mathcal{H}$. Conversely, for any densely defined, positive, symmetric and closed quadratic form $a$, there exists a unique self-adjoint positive operator $A$ such that $a_A = a$.
\end{theorem}
\begin{remark*}[Associated quadratic form] We call $a_A$ the associated form of $A$.
\end{remark*}
\begin{remark*}[The shifting trick]
The above construction works for any semibounded operator $H$ by first shifting $H$ by a large enough constant such that $A = H+C$ is positive, taking the associated form of $A$, and then shifting it back to $a_H = a_A - C \inner{\cdot,\cdot}_\mathcal{H}$. In particular, Theorem~\ref{thm:form} a one-to-one correspondence between semibounded self-adjoint operators and semibounded closed forms.
\end{remark*}
We now state the celebrated KLMN theorem \cite[Theorem X.17]{RS75}. For this, we recall the following definition.
\begin{definition}[Relatively bounded] Let $a$ be a closed semibounded form on a Hilbert space $\mathcal{H}$ with form domain $Q$. Then we say that a symmetric sesquilinear form $b:Q\times Q \rightarrow \C$ is $a$-bounded if there exists $c,C>0$ such that
\begin{align}
|b(\Psi, \Psi)| \leq c a(\Psi, \Psi) + C\norm{\Psi}_{\mathcal{H}}^2, \quad \mbox{for any $\Psi \in Q$.} \label{eq:relative bound}
\end{align}
The infimum over all $c>0$ for which~\eqref{eq:relative bound} holds is called the $a$-bound of $b$. Moreover, if this infimum is zero, then we say that $b$ is infinitesimally $a$-bounded.
\end{definition}
\begin{theorem}[KLMN]\label{thm:KLMN} Let $a$ be a closed semibounded form on a Hilbert space $\mathcal{H}$ and suppose that $b$ is a relatively $a$-bounded with relative bound $<1$. Then the form $a+b$ is closed and semibounded, and therefore, there exists a unique self-adjoint operator associated to this form. Moreover, the norm in~\eqref{eq:inducednorm} induced by $a+b$ is equivalent to the norm induced by $a$.
\end{theorem}
\begin{remark}[Discrete spectrum and form domain] \label{rem:form domain} A simple but useful consequence of the KLMN theorem is that, if the form domain of $a$ is compactly embedded in $\mathcal{H}$, then the self-adjoint operator associated to $a+b$ has purely discrete spectrum. In particular, this operator has an $\mathcal{H}$-orthonormal basis of eigenfunctions.
\end{remark}
\subsection{Pull-back} \label{sec:pull-back} We now introduce the notion of the pull-back of a form via a linear transformation. We then collect some elementary properties of the pull-back map.
\begin{definition}[Pull-back] Let $T:Q \rightarrow Q'$ be a linear bounded operator between Hilbert spaces $Q$ and $Q'$. Then for any quadratic form $a$ with form domain $Q'$, we define the pull-back of $a$ via $T$ as the form
\begin{align*}
T^\#a: Q\times Q \rightarrow \C \quad (T^\#a)(\Psi,\Phi) = a(T\Psi, T\Phi).
\end{align*}
\end{definition}
It is immediate to verify that the pull-back preserves symmetry. The next lemma gives sufficient condition on $T$ for the pull-back to also preserve semiboundeness and closedness.
\begin{lemma}[Pull-back properties]\label{lem:pullback} Let $T:\mathcal{H} \rightarrow \mathcal{H}'$ be a bounded linear operator such that $T(Q') \subset Q$ for some dense subspaces $Q\subset \mathcal{H}$ and $Q'\subset \mathcal{H}'$. Then the pull-back of any semibounded form in $\mathcal{H}'$ with form domain $Q'$ is a semibounded form in $\mathcal{H}$ with form domain $Q$. Moreover, if $T$ is bijective and $T(Q) = Q'$, then the pull-back of any closed form with form domain $Q'$ is a closed form with form domain $Q$.
\end{lemma}
\begin{proof} For the first part note that if $a$ is semibounded in $\mathcal{H}'$ and $T$ bounded from $\mathcal{H}$ to $\mathcal{H}'$, then
\begin{align*}
(T^\#a)(\Psi, \Psi) = a(T\Psi, T\Psi) \geq C \norm{T\Psi}_{\mathcal{H}'}^2 \geq \min\{0,C\} \norm{T}_{\mathcal{H}\rightarrow \mathcal{H}'} \norm{\Psi}_{\mathcal{H}}^2.
\end{align*}
Thus $T^\# a$ is semibounded in $\mathcal{H}$. For the second part, let $\Psi_n \subset Q$ be a sequence such that $\Psi_n \rightarrow \Psi$ in $\mathcal{H}$ and
\begin{align*}
\norm{\Psi_n - \Psi_m}_{T^\#a} = (T^\#a)(\Psi_n-\Psi_m, \Psi_n - \Psi_m) \rightarrow 0 \quad \mbox{as}\quad \max\{m,n\} \rightarrow \infty.
\end{align*}
Then, $T\Psi_n \rightarrow T\Psi$ in $\mathcal{H}'$ and $a(T\Psi_n - T\Psi_m, T\Psi_n - T\Psi_m) \rightarrow 0$ as $m,n \rightarrow \infty$. As $a$ is closed, this implies that $T \Psi \in Q$ and $a(T\Psi - T\Psi_n, T\Psi - T\Psi_n) \rightarrow 0$. Since $T$ is bijective and $T(Q) = Q'$, we have $\Psi = T^{-1} T \Psi \in Q'$ and therefore $(T^\#a)$ is closed.
\end{proof}
\begin{thebibliography}{EFGHW21}
\bibitem[AGHK84]{AGHK84}
\textsc{S.~Albeverior}, \textsc{F.~Gesztesy}, \textsc{R.~Høegh-Krohn}, and \textsc{W.~Kirsch},
\newblock On point interactions in one dimension.
\newblock \emph{Journal of Operator Theory} \textbf{12} (1984), no.1:101–26.
\newblock \mr{757115}.
\newblock \zbl{0561.35023}.
\hfill
\bibitem[AGHH88]{AGHH88}
\textsc{S.~Albeverio}, \textsc{F.~Gesztesy}, \textsc{R.~Høegh-Krohn}, and \textsc{H.~Holden},
\newblock \doi{10.1007/978-3-642-88201-2}{\emph{Solvable Models in Quantum Mechanics}}, Springer-Verlag, (1988).
\newblock \mr{958850}
\newblock \zbl{0679.46057}.
\hfill
\bibitem[AHM08]{AHM08}
\textsc{S.~Albeverio}, \textsc{A.~Hryniv}, and \textsc{R.~Mykytyuk},
\newblock On spectra of non-self-adjoint Sturm–Liouville operators.
\doi{10.1007/s00029-008-0051-2}{\emph{Selecta Mathematica. New Series}} \textbf{13} (2008), no.4, pp. 571--599.
\newblock \mr{2403304}.
\newblock \zbl{1149.34003}.
\hfill
\bibitem[AK00]{AK00}
\textsc{S.~Albeverio} and
\textsc{P.~Kurasov},
\newblock \doi{10.1017/CBO9780511758904}{\emph{Singular perturbations of differential operators}}, Cambridge University Press, (2000).
\newblock \mr{1752110}.
\newblock \zbl{0945.47015}.
\hfill
%\bibitem[AS88]{AS88}
% \textsc{F.~Aryasetiawan} and \textsc{J.~M.~Stott},
% \newblock Effective potentials in density-functional theory,
% \newblock \doi{10.1103/PhysRevB.38.2974}{\emph{Physical Review B}} \textbf{38} (1988), no.5, pp. 2974--2987.
% \hfill
%\bibitem[BC75]{BC75}
%\textsc{M.~L.~Baeteman} and \textsc{K.~Chadan},
%\newblock The Inverse Scattering Problem for Singular Oscillating Potentials
%\newblock \doi{10.1016/0375-9474(75)90145-1}{\emph{Nuclear Physics A}} \textbf{255} (1975), no.1, pp. 35–44.
%\mr{395544}.
%\hfill
\bibitem[BFK+17]{BFK+17}
\textsc{J.~Behrndt}, \textsc{R.~L.~Frank}, \textsc{C.~K\"uhn}, \textsc{V.~Lotoreichik}, and \textsc{J.~Rohleder},
\newblock Spectral theory for Schrödinger operators with $\delta$-interactions supported on curves in $\mathbb {R}^3$
\newblock \doi{10.1007/s00023-016-0532-3}{\emph{Annales Henri Poincaré}} \textbf{18}, no.4, pp. 1305–47.
\mr{3626305}.
\zbl{1378.81026}.
\hfill
%\bibitem[BLLR17]{BLLR17}
% \textsc{J.~Behrndt}, \textsc{M.~Langer}, \textsc{V.~Lotoreichik}, and \textsc{J.~Rohleder},
% \newblock Quasi boundary triples and semi-bounded self-adjoint extensions,
% \newblock \doi{10.1017/S0308210516000421}{\emph{Proceedings of the Royal Society of Edinburgh Section A: Mathematics}} \textbf{147} (2017), no.5, pp. 895–916.
% \newblock \mr{3705312}.
% \newblock \zbl{1386.35290}.
\bibitem[BM18]{BM18}
\textsc{H.~Brezis} and \textsc{P.~Mironescu},
\newblock Gagliardo-{N}irenberg inequalities and non-inequalities: the full story,
\newblock \doi{10.1016/j.anihpc.2017.11.007}{\emph{Annales de l'Institut Henri Poincar\'{e} C. Analyse Non Lin\'{e}aire}} \textbf{35} (2018), no.5, pp. 1355--1376.
\newblock \mr{3813967}.
\newblock \zbl{1401.46022}.
\hfill
\bibitem[Bra85]{Bra85}
\textsc{J.~Brasche},
\newblock Perturbation of Schrödinger Hamiltonians by measures—Self‐adjointness and lower semiboundedness,
\newblock \doi{10.1063/1.526598}{\emph{Journal of Mathematical Physics}} \textbf{26} (1985), no.4, pp. 621–26.
\newblock \mr{785672}.
\newblock \zbl{0589.35031}.
\bibitem[BRS18]{BRS18}
\textsc{J.~Behrndt},
\textsc{J.~Rohleder}, and \textsc{S.~Stadler},
\newblock Eigenvalue inequalities for {S}chr\"{o}dinger operators on unbounded {L}ipschitz domains,
\newblock \doi{10.4171/JST/203}{\emph{Journal of Spectral Theory}} \textbf{8} (2018), no. 2, pp. 493--508.
\newblock \mr{3812805}.
\zbl{1423.35087}.
\hfill
%\bibitem[Bur12]{Bur12}
% \textsc{K.~Burke},
% \newblock Perspective on density functional theory,
% \newblock \doi{10.1063/1.4704546}{\emph{The Journal of Chemical Physics}} \textbf{15} (2012).
% \hfill
%\bibitem[CCR85]{CCR85}
% \textsc{J.~T.~Chayes}, \textsc{L.~Chayes}, and \textsc{M.~B.~Ruskai},
% \newblock Density functional approach to quantum lattice systems,
% \newblock \doi{10.1007/BF01010474}{\emph{Journal of Statistical Physics}} \textbf{38} (1985), no.3--4, pp. 497--518.
% \newblock \mr{788430}.
% \newblock \zbl{0632.46072}.
% \hfill
\iffalse
\bibitem[CF23]{CF23}
\textsc{E.~Cancès} and \textsc{G.~Friesecke},
\doi{10.1007/978-3-031-22340-2}{\emph{Density Functional Theory: Modeling, Mathematical Analysis,Computational Methods, and Applications}}, Springer (2023).
\newblock \zbl{1530.81154}.
\bibitem[CH89]{CH89}
\textsc{R.~Courant} and \textsc{D.~Hilbert},
\newblock \doi{10.1002/9783527617210}{\emph{Methods of mathematical physics. {V}olume {I}}}, John Wiley \& Sons, (1989).
\mr{65391}.
\zbl{0729.00007}.
%\bibitem[Com80]{Com80}
% \textsc{M.~Combescure},
% \newblock Spectral and scattering theory for a class of strongly Oscillating potentials,
% \newblock \doi{10.1007/BF01942693}{\emph{Communications in Mathematical Physics}} \textbf{73} (1980), no. 1, pp. 43–62.
% \newblock \mr{573612}.
% \newblock \zbl{0434.35072}.
\fi
\bibitem[Cor25]{Cor25}
\textsc{T.~C.~Corso},
\newblock v-representability and Hohenberg-Kohn theorem for non-interacting Schrödinger operators with distributional potentials in the one-dimensional torus,
\newblock \doi{10.1088/1751-8121/adc04c}{\emph{Journal of Physics A: Mathematical and Theoretical}} \textbf{58} (2025), pp. 125203.
\iffalse
\bibitem[Cou23]{Cou23}
\textsc{R.~Courant},
\newblock Ein allgemeiner Satzt zur Theorie der Eigenfunktionen selbsadjungierter Differentialausdrücke,
\newblock \emph{Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse} (1923), pp. 81-84.
\fi
%\bibitem[Cor24a]{Cor24a}
% \textsc{T.C.~Corso},
% \newblock A mathematical analysis of the adiabatic Dyson equation from time-dependent density functional theory.
% \newblock \doi{10.1088/1361-6544/ad3a50}{\emph{Nonlinearity}} \textbf{37} (2024), 065003.
% \newblock \mr{4736020}.
% \newblock \zbl{7844486}.
% \hfill
%\bibitem[CS91]{CS91}
% \textsc{J.~Chen} and \textsc{M.~J.~Stott},
% \newblock v-representability for systems with low degeneracy,
% \newblock \doi{10.1103/PhysRevA.44.2816}{\emph{Physical Review A}} \textbf{44}, no. 5, pp. 2816--2822.
% \hfill
%\bibitem[CS93]{CS93}
% \textsc{J.~Chen} and \textsc{M.~J.~Stott},
% \newblock v-representability for noninteracting systems,
% \newblock \doi{10.1103/PhysRevA.47.153}{\emph{Physical Review A}} \textbf{47} (1993), no. 1, pp. 153--160.
\bibitem[Dav13]{Dav13}
\textsc{E.~B.~Davies},
\newblock Singular Schr\"odinger operators in one dimension,
\newblock \doi{10.1112/S0025579312000071}{\emph{Mathematika. A Journal of Pure and Applied Mathematics}} \textbf{59} (2013), no.1, pp. 141--159.
\newblock \mr{3028176}.
\newblock \zbl{1282.34087}.
\hfill
\iffalse
\bibitem[dFG92]{dFG92}
\textsc{D.~G.~de Figueiredo} and \textsc{J.~Gossez},
\newblock Strict monotonicity of eigenvalues and unique continuation,
\newblock \doi{10.1080/03605309208820844}{\emph{Communications in Partial Differential Equations}} \textbf{17} (1992), no.1-2, pp. 339--346.
\newblock \mr{1151266}.
\zbl{0777.35042}.
\hfill
\bibitem[ED11]{ED11}
\textsc{E.~Engel} and \textsc{R.~M.~Dreizler},
\newblock \doi{10.1007/978-3-642-14090-7}{\emph{Density functional theory}} An advanced course, Springer Heidelberg (2011).
\newblock \mr{2743724}.
\newblock \zbl{1216.81004}.
\hfill
%\bibitem[EE83]{EE83}
% \textsc{H.~Englisch} and \textsc{R.~Englisch},
% \newblock Hohenberg-{K}ohn theorem and non-{$V$}-representable densities
% \newblock \doi{10.1016/0378-4371(83)90254-6}{\emph{Physica A}} \textbf{121} (1983), no. 1-2, pp. 253--268.
% \newblock \mr{720965}.
% \newblock \zbl{}.
% \hfill
\bibitem[EG15]{EG15}
\textsc{L.~Evans} and \textsc{R.~F.~Gariepy},
\newblock \doi{10.1201/b18333}{\emph{Measure theory and fine properties of functions}}, Textbooks in Mathematics, CRC Press (2015).
\newblock \mr{3409135}.
\newblock \zbl{1310.28001}.
\hfill
\fi
\bibitem[EGNT13a]{EGNT13a}
\textsc{J.~Eckhardt}, \textsc{F.~Gesztesy}, \textsc{R.~Nichols} and \textsc{G.~Teschl},
\newblock Inverse spectral theory for Sturm–Liouville operators with distributional potentials,
\newblock \doi{10.1112/jlms/jdt041}{\emph{Journal of the London Mathematical Society}} \textbf{88} (2013), pp. 801–828.
\newblock \mr{3106738}.
\newblock \zbl{1282.34087}.
\bibitem[EGNT13b]{EGNT13b}
\textsc{J.~Eckhardt}, \textsc{F.~Gesztesy}, \textsc{R.~Nichols}, and \textsc{G.~Teschl},
\newblock Weyl-Titchmarsh theory for Sturm-Liouville operators with distributional potentials,
\newblock \doi{10.7494/OpMath.2013.33.3.467}{\emph{Opuscula Mathematica}} \textbf{33} (2013), pp. 467–563.
\newblock \mr{3105767}.
\newblock \zbl{1282.34088}.
\bibitem[EGNT15]{EGNT15}
\textsc{J.~Eckhardt}, \textsc{F.~Gesztesy},
\textsc{R.~Nichols}, and \textsc{G.~Teschl},
\newblock Supersymmetry and Schrödinger-type operators with distributional matrix-Valued potentials,
\newblock \doi{10.4171/jst/84}{\emph{Journal of Spectral Theory}} \textbf{4} (2015), no.4, pp. 715–68.
\newblock \mr{3299812}.
\newblock \zbl{1320.34116}.
\bibitem[EP16]{EP16}
\textsc{P.~Exner} and \textsc{J.~Rohleder},
\newblock Generalized interactions supported on hypersurfaces,
\newblock \doi{10.1063/1.4947181}{\emph{Journal of Mathematical Physics}} \textbf{57}, no.4, 041507.
\newblock \mr{3490341}.
\newblock \zbl{1339.81038}.
%\bibitem[ET99]{ET99}
% \textsc{I.~Ekeland} and \textsc{R.~T\'{e}mam},
% \newblock \doi{10.1137/1.9781611971088}{\emph{Convex analysis and variational problems}}, Classics in Applied Mathematics Volume 28, Society for Industrial and Applied Mathematics (SIAM), Philadelphia (1999).
% \newblock \mr{1727362}.
% \newblock \zbl{0939.49002}.
% \hfill
\bibitem[Eva10]{Eva10}
\textsc{L.~C.~Evans},
\newblock \doi{10.1090/gsm/019}{\emph{Partial differential equations}}, American Mathematical Society (2010).
\newblock \mr{2597943}.
\newblock \zbl{1194.35001}.
\hfill
\bibitem[FS75]{FS75}
\textsc{W.~Faris} and \textsc{B.~Simon},
\newblock Degenerate and non-degenerate ground states for {S}chr\"{o}dinger operators,
\newblock \doi{10.1215/S0012-7094-75-04251-9}{\emph{Duke Mathematical Journal}} \textbf{42} (1975), no.3, pp. 559--56.
\newblock \mr{381571}.
\newblock \zbl{0339.35033}.
\bibitem[Fil05]{Fil05}
\textsc{N.~Filonov},
\newblock On an inequality between Dirichlet and Neumann eigenvalues for the Laplace operator,
\newblock \doi{10.1090/S1061-0022-05-00857-5}{\emph{St. Petersburg Mathematical Journal}} \textbf{16} (2005), no. 2, pp. 413--416.
\newblock \zbl{1078.35081}.\hfill
\bibitem[Gar18]{Gar18}
\textsc{L.~Garrigue},
\newblock Unique continuation for many body {S}chr\"{o}dinger operators and the {H}ohenberg-{K}ohn theorem, \newblock\doi{10.1007/s11040-018-9287-z}{\emph{Mathematical Physics, Analysis and Geometry}} \textbf{21} (2018), no.3, Paper No. 27, 11.
\newblock \mr{3854406}.
\newblock \zbl{1400.81217}.
\hfill
%\bibitem[Gar19]{Gar19}
% \textsc{L.~Garrigue},
% \newblock Hohenberg-{K}ohn theorems for interactions, spin and temperature,
% \newblock \doi{10.1007/s10955-019-02365-6}{\emph{Journal of Statistical Physics}} \textbf{177} (2019), no.3, pp. 415--437.
% \newblock \mr{4026653}.
% \newblock \zbl{1429.81057}.
% \hfill
%\bibitem[Geo79]{Geo79}
% \textsc{V.~Georgescu},
% \newblock On the unique continuation property for {S}chr\"{o}dinger {H}amiltonians,
% \newblock \emph{Helvetica Physica Acta} \textbf{52} (1979), no,5-6, pp. 655--670.
% \newblock \mr{576454}.
% \hfill
\bibitem[Ges84]{Ges84}
\textsc{F. Gesztesy},
\newblock Non-degenerate ground state for Schr\"odinger operators,
\newblock \doi{10.1016/0034-4877(84)90075-2}{\emph{Reports on Mathematical Physics}} \textbf{20} (1984), no.1, pp. 93--109.
\newblock \zbl{0567.35075}.
\bibitem[GJ70]{GJ70}
\textsc{J.~Glimm} and \textsc{A.~Jaffe},
\newblock The {$\lambda (\Pi \sp{4})\sb{2}$} quantum field theory without cutoffs. {II}. {T}he field operators and the approximate vacuum,
\newblock \doi{10.2307/1970582}{\emph{Annals of Mathematics}} \textbf{91} (1970), pp. 362--401.
\newblock \mr{256677}.
\newblock \zbl{0191.27005}.
\bibitem[GM09]{GM09}
\textsc{F.~Gesztesy} and \textsc{M.~Mitrea},
\newblock Nonlocal {R}obin {L}aplacians and some remarks on a paper by {F}ilonov on eigenvalue inequalities,
\newblock \doi{10.1016/j.jde.2009.07.007}{\emph{Journal of Differential Equations}} \textbf{247} (2009), no. 10, pp. 2871--2896.
\newblock \mr{2568160}.
\newblock \zbl{1181.35155}.
\hfill
\bibitem[Gul19]{Gul19}
\textsc{N.~J.~Guliyev},
\newblock Schrödinger operators with distributional potentials and boundary conditions dependent on the eigenvalue parameter,
\newblock \doi{10.1063/1.5048692}{\emph{Journal of Mathematical Physics}} \textbf{60} (2019), 063501.
\newblock \mr{3945700}.
\newblock \zbl{1415.34083}.
\bibitem[Her89]{Her89}
\textsc{J.~Herczy\'nski, Jan},
\newblock On {S}chr\"{o}dinger operators with distributional potentials,
\newblock \doi{}{\emph{Journal of Operator Theory}} \textbf{21} (1989), no.2, pp. 273--295.
\newblock \mr{1023316}.
\hfill
\iffalse
\bibitem[HK64]{HK64}
\textsc{P.~Hohenberg} and \textsc{W.~Kohn},
\newblock Inhomogeneous electron gas, \doi{10.1103/PhysRev.136.B864}{\emph{Physical Review. Series II}} \textbf{136} (1964), B864--B871.
\newblock \mr{180312}.
\newblock \zbl{}.
\hfill
\fi
\bibitem[Hor07]{Hor07}
\textsc{L.~H\"ormander},
\newblock \doi{10.1007/978-3-540-49938-1}{\emph{The analysis of linear partial differential operators {III}}}, Springer (2007).
\newblock \mr{2304165}.
\zbl{1115.35005}.
\hfill
\bibitem[JK85]{JK85}
\textsc{D.~Jerison} and \textsc{C.~E.~Kenig},
\newblock Unique continuation and absence of positive eigenvalues for {S}chr\"{o}dinger operators,
\newblock \doi{10.2307/1971205}{\emph{Annals of Mathematics}} \textbf{121} (1985), no.3, pp. 463--494.
\newblock \mr{794370}.
\newblock \zbl{0593.35119}.
\hfill
%\bibitem[Jon15]{Jon15}
% \textsc{R.~O.~Jones},
% \newblock Density functional theory: its origins, rise to prominence, and future,
% \newblock \doi{10.1103/RevModPhys.87.897}{\emph{Reviews of Modern Physics}} \textbf{87} (2015), no. 3, pp. 897--923.
% \newblock \mr{3406039}.
% \hfill
\iffalse
\bibitem[KBP96]{KBP96}
\textsc{W.~Kohn}, \textsc{A.~D.~Becke}, and \textsc{R.~G.~Parr},
\newblock Density Functional Theory of Electronic Structure,
\newblock \doi{10.1021/jp960669l}{\emph{The Journal of Physical Chemistry}} \textbf{100} (1996), pp. 12974-12980.
\hfill
%\bibitem[Koh83]{Koh83}
% \textsc{W.~Kohn},
% \newblock $v$-Representability and Density Functional Theory,
% \newblock \doi{10.1103/PhysRevLett.51.1596}{\emph{Physical Review Letters}} \textbf{51} (1983), no. 51, pp. 1596--1598.
% \hfill
\bibitem[KS65]{KS65}
\textsc{W.~Kohn} and \textsc{L.~J.~Sham},
\newblock Self-consistent equations including exchange and correlation effects,
\newblock \doi{10.1103/PhysRev.140.A1133}{\emph{Physical Review. Series II}} \textbf{140} (1965), A1133--A1138.
\newblock \mr{189732}.
\hfill
\fi
\bibitem[KT01]{KT01}
\textsc{H.~Koch} and \textsc{D.~Tartaru},
\newblock Carleman estimates and unique continuation for second-order elliptic equations with nonsmooth coefficients,
\newblock \doi{10.1002/1097-0312(200103)54:3<339::AID-CPA3>3.0.CO;2-D}{\emph{Communications on Pure and Applied Mathematics}} \textbf{54} (2001), no. 3, pp. 339--360.
\newblock \mr{1809741}.
\newblock \zbl{1033.35025}.
\hfill
\iffalse
\bibitem[Kur96]{Kur96}
\textsc{P.~Kurasov},
\newblock Distribution Theory for Discontinuous Test Functions and Differential Operators with Generalized Coefficients,
\newblock \doi{10.1006/jmaa.1996.0256}{\emph{Journal of Mathematical Analysis and Applications}} \textbf{201} (1996), pp. 297–323.
\newblock \mr{1389825}.
\newblock \zbl{0855.46036}.
\fi
\bibitem[Kur97]{Kur97}
\textsc{K.~Kurata},
\newblock A unique continuation theorem for the {S}chr\"{o}dinger equation with singular magnetic field,
\newblock \doi{10.1090/S0002-9939-97-03672-1}{\emph{Proceedings of the American Mathematical Society}} \textbf{125} (1997), no.3, pp. 853--860.
\newblock \mr{1363173}.
\newblock \zbl{0887.35026}
\hfill
\iffalse
\bibitem[Lam18]{Lam18}
\textsc{P.~E.~Lammert},
\newblock In search of the {H}ohenberg-{K}ohn theorem,
\newblock \doi{10.1063/1.5034215}{\emph{Journal of Mathematical Physics}} \textbf{59} (2018), no.4, pp.042110, 19.
\newblock \mr{3789875}.
\zbl{1386.81157}.
\hfill
\fi
%\bibitem[LBP20]{LBP20}
%\textsc{A.~Laestadius}, \textsc{M.~Benedicks}, and \textsc{M.~Penz},
%\newblock Unique continuation for the magnetic Schrödinger equation,
%\newblock \doi{10.1002/qua.26149}{\emph{International Journal of Quantum Chemistry}} \textbf{120} (2020).
\bibitem[Leo17]{Leo17}
\textsc{G.~Leoni},
\newblock \doi{10.1090/gsm/181}{\emph{A first course in {S}obolev spaces}}, Graduate Studies in Mathematics Volume 181, American Mathematical Society (2017).
\newblock \mr{3726909}.
\newblock \zbl{1382.46001}.
\hfill
\iffalse
\bibitem[Lev79]{Lev79}
\textsc{M.~Levy},
\newblock Universal variational functionals of electron densities, first-order density matrices, and natural spin-orbitals and solution of the {$v$}-representability problem,
\newblock \doi{10.1073/pnas.76.12.6062}{\emph{Proceedings of the National Academy of Sciences of the United States of America}} \textbf{76} (1979), no. 12, pp. 6062--6065.
\newblock \mr{554891}.
\hfill
\bibitem[Lie83]{Lie83}
\textsc{E.~H.~Lieb},
\newblock Density functionals for Coulomb systems,
\newblock \doi{10.1002/qua.560240302}{\emph{International Journal of Quantum Chemistry}} \textbf{24} (1983), pp. 243–277.
\hfill
\fi
\bibitem[McL00]{McL00}
\textsc{W.~McLean},
\newblock \doi{10.2307/3621632}{\emph{Strongly elliptic systems and boundary integral equations}}, Cambridge University Press (2000).
\newblock \mr{1742312}.
\newblock \zbl{0948.35001}.
\hfill
\bibitem[MK14]{MK14}
\textsc{K.~A.~Mirzoev, N.~N.~Konechnaya},
\newblock Singular Sturm–Liouville Operators with Distribution Potentials,
\newblock \doi{10.1007/s10958-014-1907-y}{\emph{Journal of Mathematical Sciences}} \textbf{200} (2014), pp. 96–105.
\newblock \mr{3272038}.
\newblock \zbl{1309.34061}.
%\bibitem[PL21]{PL21}
% \textsc{M.~Penz}, and \textsc{R.~v.~Leeuwen},
% \newblock Density-functional theory on graphs,
% \newblock \doi{10.1063/5.0074249}{\emph{The Journal of Chemical Physics}} \textbf{155} (2021), no. 24, pp. 244111.
% \hfill
\bibitem[MM79]{MM79}
\textsc{M.~Moshe} and \textsc{V.~J.~Mizel},
\newblock Every superposition operator mapping one {S}obolev space into another is continuous,
\newblock \doi{10.1016/0022-1236(79)90113-7}{\emph{Journal of Functional Analysis}} \textbf{33} (1979), no.2, pp. 217--229.
\newblock \mr{546508},
\newblock \zbl{0418.46024}
\hfill
\bibitem[LR15]{LR15}
\textsc{V.~Lotoreichik} and \textsc{J.~Rohleder},
\newblock An eigenvalue inequality for Schrödinger operators with $\delta$- and $\delta'$-interactions supported on hypersurfaces,
\newblock \doi{10.1007/978-3-319-18182-0_10}{\emph{In Operator Algebras and Mathematical Physics}}, edited by Tirthankar Bhattacharyya and Michael A. Dritschel, 173–84. Cham: Springer International Publishing.
\newblock \mr{3408721}.
\newblock \zbl{1346.35135}.
\hfill
\iffalse
\bibitem[PTC+23]{PTC+23}
\textsc{M.~Penz}, \textsc{E.~I.~Tellgren}, \textsc{M.~A.~Csirik}, \textsc{M.~Ruggenthaler},
and \textsc{A.~Laestadius},
\newblock The Structure of Density-Potential Mapping. Part I: Standard Density-Functional Theory,
\newblock \doi{10.1021/acsphyschemau.2c00069}{\emph{American Chemical Society}} (2023), 3(4), 334-347.
\hfill
\fi
\bibitem[RS72]{RS72}
\textsc{J.~F.~Reading} and \textsc{J.~L.~Sigel},
\newblock Exact solution of the one-dimensional Schr\"odinger equation with $\ensuremath{\delta}$-function potentials of arbitrary position and strength
\newblock \doi{10.1103/PhysRevB.5.556}{\emph{Physical Review B}} \textbf{5} (1972), no.2, pp. 556–65.
\newblock \mr{391777}.
\hfill.
\iffalse
\bibitem[Reg01]{Reg01}
\textsc{R.~Regbaoui},
\newblock Unique continuation from sets of positive measure,
\newblock \doi{10.1007/978-1-4612-0203-5_13}{\emph{In: Carleman estimates and applications to uniqueness and control
theory}} \textbf{46} (2001), 179--190.
\newblock \mr{1839175}
\newblock \zbl{1165.35332}.
\hfill
\fi
\bibitem[Roh21]{Roh21}
\textsc{J.~Rohleder},
\newblock Inequalities between {N}eumann and {D}irichlet eigenvalues of {S}chr\"{o}dinger operators,
\newblock \doi{10.4171/jst/361}{\emph{Journal of Spectral Theory}} \textbf{11} (2021), no. 3, pp. 915--933.
\newblock \mr{4322026}.
\newblock \zbl{1484.35303}.
\hfill
\bibitem[RS75]{RS75}
\textsc{M.~Reed} and \textsc{B.~Simon},
\newblock \emph{Methods of modern mathematical physics. {II}. {F}ourier analysis, self-adjointness}, Academic Press (1975).
\newblock \mr{493420}.
\hfill
\bibitem[RS78]{RS78}
\textsc{M.~Reed} and \textsc{B.~Simon},
\newblock \emph{Methods of modern mathematical physics. {IV}. {A}nalysis of operators}, Academic Press (1978).
\newblock \mr{493421}.
\hfill
\bibitem[RS80]{RS80}
\textsc{M.~Reed} and \textsc{B.~Simon},
\newblock \emph{Methods of modern mathematical physics. {I}. Functional Analysis}, Academic Press (1980).
\newblock \mr{751959}
\hfill
\bibitem[SS99]{SS99}
\textsc{A.~M.~Savchuk, A.~A.~Shkalikov},
\newblock Sturm-Liouville operators with singular potentials,
\newblock \doi{10.1007/BF02674332}{\emph{Mathematical Notes}} \textbf{66} (1999), pp. 741–753.
\newblock \mr{1746481}.
\newblock \zbl{0962.34067}.
\bibitem[Sog90]{Sog90}
\textsc{C.~D.~Sogge},
\newblock Strong uniqueness theorems for second order elliptic differential equations,
\newblock \doi{0734.35012}{\emph{American Journal of Mathematics}} \textbf{112} (1990), no. 6, pp. 943--984.
\newblock \mr{1081811}.
\newblock \zbl{0734.35012}.
\hfill
\bibitem[SPR+24]{SPR+24}
\textsc{S.~M.~Sutter}, \textsc{M.~Penz}, \textsc{M.~Ruggenthaler}, \textsc{R.~van Leuween}, and \textsc{K.~J.~H.~Giesbertz},
\newblock Solution of the {$v$}-representability problem on a one-dimensional torus,
\newblock \doi{10.1088/1751-8121/ad8a2a}{\emph{Journal of Physics A: Mathematical and Theoretical}} \textbf{57} (2024), no 47.
\newblock \mr{4840211}.
\newblock \zbl{07945786}.
\hfill
\iffalse
\bibitem[SS80]{SS80}
\textsc{M.~Schechter} and \textsc{B.~Simon},
\newblock Unique continuation for {S}chr\"{o}dinger operators with unbounded potentials,
\newblock \doi{10.1016/0022-247X(80)90242-5}{\emph{Journal of Mathematical Analysis and Applications}} \textbf{77} (1980), no.2, pp. 482--492.
\newblock \mr{593229}.
\newblock \zbl{0458.35024}.
\hfill
\fi
\bibitem[Tes14]{Tes14}
\textsc{G.~Teschl},
\newblock \doi{10.1090/gsm/157}{\emph{Mathematical methods in quantum mechanics: with applications to Schr\"odinger operators}},
\newblock American Mathematical Society, Graduate Studies in Mathematics \textbf{157} (2014).
\newblock \mr{3243083}.
\newblock \zbl{1342.81003}.
\iffalse
\bibitem[THS+22]{THS+22}
\textsc{A.~M.~Teale},
\textsc{T.~Helgaker}, \textsc{A.~Savin}, \textsc{C.~Adamo}, \textsc{B.~Aradi}, \textsc{et al},
\newblock DFT exchange: sharing perspectives on the workhorse of quantum chemistry and materials science
\newblock \doi{10.1039/D2CP02827A}{\emph{Physical chemistry chemical physics}} \textbf{24} (2022), no. 47, pp. 28700-28781.
\hfill
\fi
%\bibitem[WAR+23]{WAR+23}
% \textsc{J.~Wrighton}, \textsc{A.~Albavera-Mata}, \textsc{H.~F.~Rodr\'iguez}, \textsc{T.~S.~Tan}, \textsc{A.~C.~Cancio}, \textsc{J.~W.~Dufty}, and \textsc{S.~B.~Trickey},
% \newblock Some problems in density functional theory,
% \newblock \doi{10.1007/s11005-023-01649-z}{\emph{Letters in Mathematical Physics}} \textbf{113} (2023), no.2.
% \mr{4572242}.
% \zbl{1515.81243}.
% \hfill
\bibitem[Wol93]{Wol93}
\textsc{T.~H.~Wolff},
\newblock Recent work on sharp estimates in second-order elliptic unique continuation problems,
\newblock \doi{10.1007/BF02921325}{\emph{The Journal of Geometric Analysis}} \textbf{3} (1993), no. 6, pp. 621--650.
\newblock \mr{1248088}.
\newblock \zbl{0787.35017}.
\hfill
\bibitem[Zet21]{Zet21}
\textsc{A.~Zettl},
\newblock \doi{10.1515/9783110719000}{\emph{Recent developments in {S}turm-{L}iouville theory}} De Gruyter Studies in Mathematics, \textbf{76} (2021).
\mr{4510393}.
\zbl{1479.34004}.
\hfill
%\bibitem[Zho12]{Zho12}
% \textsc{A.~Zhou},
% \newblock Hohenberg-{K}ohn theorem for {C}oulomb type systems and its generalization,
% \newblock \doi{10.1007/s10910-012-0061-3}{\emph{Journal of Mathematical Chemistry}} \textbf{50} (2012), no.10, pp. 2746--2754.
% \newblock \mr{2989094}.
% \newblock \zbl{1308.81197}.
% \hfill
\end{thebibliography}