Publications

2009

• The Aharonov-Bohm effect and Tonomura experiments: Rigorous results
  
  • Ballesteros Miguel
  • Weder Ricardo
  Journal of Mathematical Physics, American Institute of Physics (AIP), 2009, 50 (12), pp.122108. The Aharonov-Bohm effect is a fundamental issue in physics. It describes the physically important electromagnetic quantities in quantum mechanics. Its experimental verification constitutes a test of the theory of quantum mechanics itself. The remarkable experiments of Tonomura ["Observation of Aharonov-Bohm effect by electron holography," Phys. Rev. Lett 48, 1443 (1982) and "Evidence for Aharonov-Bohm effect with magnetic field completely shielded from electron wave," Phys. Rev. Lett 56, 792 (1986)] are widely considered as the only experimental evidence of the physical existence of the Aharonov-Bohm effect. Here we give the first rigorous proof that the classical ansatz of Aharonov and Bohm of 1959 ["Significance of electromagnetic potentials in the quantum theory," Phys. Rev. 115, 485 (1959)], that was tested by Tonomura, is a good approximation to the exact solution to the Schrödinger equation. This also proves that the electron, that is, represented by the exact solution, is not accelerated, in agreement with the recent experiment of Caprez in 2007 ["Macroscopic test of the Aharonov-Bohm effect," Phys. Rev. Lett. 99, 210401 (2007)], that shows that the results of the Tonomura experiments can not be explained by the action of a force. Under the assumption that the incoming free electron is a Gaussian wave packet, we estimate the exact solution to the Schrödinger equation for all times. We provide a rigorous, quantitative error bound for the difference in norm between the exact solution and the Aharonov-Bohm Ansatz. Our bound is uniform in time. We also prove that on the Gaussian asymptotic state the scattering operator is given by a constant phase shift, up to a quantitative error bound that we provide. Our results show that for intermediate size electron wave packets, smaller than the ones used in the Tonomura experiments, quantum mechanics predicts the results observed by Tonomura with an error bound smaller than 10-99. It would be quite interesting to perform experiments with electron wave packets of intermediate size. Furthermore, we provide a physical interpretation of our error bound. © 2009 American Institute of Physics. (10.1063/1.3266176)
  DOI : 10.1063/1.3266176
• Degree-constrained edge partitioning in graphs arising from discrete tomography
  
  • Bentz Cédric
  • Costa Marie-Christine
  • Picouleau Christophe
  • Ries Bernard
  • de Werra Dominique
  Journal of Graph Algorithms and Applications, Brown University, 2009, 13 (2), pp.99-118. Starting from the basic problem of reconstructing a 2-dimensional im- age given by its projections on two axes, one associates a model of edge coloring in a complete bipartite graph. The complexity of the case with k = 3 colors is open. Variations and special cases are considered for the case k = 3 colors where the graph corresponding to the union of some color classes (for instance colors 1 and 2) has a given structure (tree, vertex- disjoint chains, 2-factor, etc.). We also study special cases corresponding to the search of 2 edge-disjoint chains or cycles going through specified vertices. A variation where the graph is oriented is also presented. In addition we explore similar problems for the case where the under- lying graph is a complete graph (instead of a complete bipartite graph). (10.7155/jgaa.00178)
  DOI : 10.7155/jgaa.00178
• High-velocity estimates for the scattering operator and Aharanov-Bohm effect in tree dimensions
  
  • Ballesteros Miguel
  • Weder Ricardo
  Communications in Mathematical Physics, Springer Verlag, 2009, 285 (1), pp.345-398. We obtain high-velocity estimates with error bounds for the scattering operator of the Schr�dinger equation in three dimensions with electromagnetic potentials in the exterior of bounded obstacles that are handlebodies. A particular case is a finite number of tori. We prove our results with time-dependent methods. We consider high-velocity estimates where the direction of the velocity of the incoming electrons is kept fixed as its absolute value goes to infinity. In the case of one torus our results give a rigorous proof that quantum mechanics predicts the interference patterns observed in the fundamental experiments of Tonomura et al. that gave conclusive evidence of the existence of the Aharonov-Bohm effect using a toroidal magnet. We give a method for the reconstruction of the flux of the magnetic field over a cross-section of the torus modulo 2p. Equivalently, we determine modulo 2p the difference in phase for two electrons that travel to infinity, when one goes inside the hole and the other outside it. For this purpose we only need the high-velocity limit of the scattering operator for one direction of the velocity of the incoming electrons. When there are several tori-or more generally handlebodies-the information that we obtain in the fluxes, and on the difference of phases, depends on the relative position of the tori and on the direction of the velocities when we take the high-velocity limit of the incoming electrons. For some locations of the tori we can determine all the fluxes modulo 2p by taking the high-velocity limit in only one direction. We also give a method for the unique reconstruction of the electric potential and the magnetic field outside the handlebodies from the high-velocity limit of the scattering operator.
• Minimum time control problems for non autonomous differential equations
  
  • Bokanowski Olivier
  • Briani Ariela
  • Zidani Hasnaa
  Systems and Control Letters, Elsevier, 2009, 58 (10-11), pp.742-746. In this paper, we investigate a minimum time problem for controlled non-autonomous differential systems, with dynamics depending on the final time. The minimal time function associated to this problem does not satisfy the dynamic programming principle. However, we will prove that it is related to a standard front propagation problem via the reachability function. Two simple numerical examples are given to illustrate our approach. (10.1016/j.sysconle.2009.08.003)
  DOI : 10.1016/j.sysconle.2009.08.003