An algebraic formulation of the graph reconstruction conjecture

The graph reconstruction conjecture asserts that every finite simple graph on at least three vertices can be reconstructed up to isomorphism from its deck - the collection of its vertex-deleted subgraphs. Kocay's Lemma is an important tool in graph reconstruction. Roughly speaking, given the deck of a graph $G$ and any finite sequence of graphs, it gives a linear constraint that every reconstruction of $G$ must satisfy. Let $\psi(n)$ be the number of distinct (mutually non-isomorphic) graphs on $n$ vertices, and let $d(n)$ be the number of distinct decks that can be constructed from these graphs. Then the difference $\psi(n) - d(n)$ measures how many graphs cannot be reconstructed from their decks. In particular, the graph reconstruction conjecture is true for $n$-vertex graphs if and only if $\psi(n) = d(n)$. We give a framework based on Kocay's lemma to study this discrepancy. We prove that if $M$ is a matrix of covering numbers of graphs by sequences of graphs, then $d(n) \geq \mathsf{rank}_\mathbb{R}(M)$. In particular, all $n$-vertex graphs are reconstructible if one such matrix has rank $\psi(n)$. To complement this result, we prove that it is possible to choose a family of sequences of graphs such that the corresponding matrix $M$ of covering numbers satisfies $d(n) = \mathsf{rank}_\mathbb{R}(M)$.Comment: 12 pages, 2 figure

Localization of two-dimensional massless Dirac fermions in a magnetic quantum dot

We consider a two-dimensional massless Dirac operator $H$ in the presence of a perturbed homogeneous magnetic field $B=B_0+b$ and a scalar electric potential $V$. For $V\in L_{\rm loc}^p(\R^2)$, $p\in(2,\infty]$, and $b\in L_{\rm loc}^q(\R^2)$, $q\in(1,\infty]$, both decaying at infinity, we show that states in the discrete spectrum of $H$ are superexponentially localized. We establish the existence of such states between the zeroth and the first Landau level assuming that V=0. In addition, under the condition that $b$ is rotationally symmetric and that $V$ satisfies certain analyticity condition on the angular variable, we show that states belonging to the discrete spectrum of $H$ are Gaussian-like localized

On the convergence of eigenfunctions to threshold energy states

We prove the convergence in certain weighted spaces in momentum space of eigenfunctions of H = T-lambda*V as the energy goes to an energy threshold. We do this for three choices of kinetic energy T, namely the non-relativistic Schr"odinger operator, the pseudorelativistc operator sqrt{-\Delta+m^2}-m, and the Dirac operator.Comment: 15 pages; references and comments added (e.g., Remark 3