The interplay of localization and interactions in quantum many-body systems

Disorder and interactions both play crucial roles in quantum transport. Decades ago, Mott showed that electron-electron interactions can lead to insulating behavior in materials that conventional band theory predicts to be conducting. Soon thereafter, Anderson demonstrated that disorder can localize a quantum particle through the wave interference phenomenon of Anderson localization. Although interactions and disorder both separately induce insulating behavior, the interplay of these two ingredients is subtle and often leads to surprising behavior at the periphery of our current understanding. Modern experiments probe these phenomena in a variety of contexts (e.g. disordered superconductors, cold atoms, photonic waveguides, etc.); thus, theoretical and numerical advancements are urgently needed. In this thesis, we report progress on understanding two contexts in which the interplay of disorder and interactions is especially important.

The first is the so-called “dirty” or random boson problem. In the past decade, a strong-disorder renormalization group (SDRG) treatment by Altman, Kafri, Polkovnikov, and Refael has raised the possibility of a new unstable fixed point governing the superfluid-insulator transition in the one-dimensional dirty boson problem. This new critical behavior may take over from the weak-disorder criticality of Giamarchi and Schulz when disorder is sufficiently strong. We analytically determine the scaling of the superfluid susceptibility at the strong-disorder fixed point and connect our analysis to recent Monte Carlo simulations by Hrahsheh and Vojta. We then shift our attention to two dimensions and use a numerical implementation of the SDRG to locate the fixed point governing the superfluid-insulator transition there. We identify several universal properties of this transition, which are fully independent of the microscopic features of the disorder.

The second focus of this thesis is the interplay of localization and interactions in systems with high energy density (i.e., far from the usual low energy limit of condensed matter physics). Recent theoretical and numerical work indicates that localization can survive in this regime, provided that interactions are sufficiently weak. Stronger interactions can destroy localization, leading to a so-called many-body localization transition. This dynamical phase transition is relevant to questions of thermalization in isolated quantum systems: it separates a many-body localized phase, in which localization prevents transport and thermalization, from a conducting (“ergodic”) phase in which the usual assumptions of quantum statistical mechanics hold. Here, we present evidence that many-body localization also occurs in quasiperiodic systems that lack true disorder.

Branes and supersymmetric quantum field theories

Since the discovery of D-branes as non-perturbative, dynamic objects in string theory, various configurations of branes in type IIA/B string theory and M-theory have been considered to study their low-energy dynamics described by supersymmetric quantum field theories.

One example of such a construction is based on the description of Seiberg-Witten curves of four-dimensional N = 2 supersymmetric gauge theories as branes in type IIA string theory and M-theory. This enables us to study the gauge theories in strongly-coupled regimes. Spectral networks are another tool for utilizing branes to study non-perturbative regimes of two- and four-dimensional supersymmetric theories. Using spectral networks of a Seiberg-Witten theory we can find its BPS spectrum, which is protected from quantum corrections by supersymmetry, and also the BPS spectrum of a related two-dimensional N = (2,2) theory whose (twisted) superpotential is determined by the Seiberg-Witten curve. When we don’t know the perturbative description of such a theory, its spectrum obtained via spectral networks is a useful piece of information. In this thesis we illustrate these ideas with examples of the use of Seiberg-Witten curves and spectral networks to understand various two- and four-dimensional supersymmetric theories.

First, we examine how the geometry of a Seiberg-Witten curve serves as a useful tool for identifying various limits of the parameters of the Seiberg-Witten theory, including Argyres-Seiberg duality and Argyres-Douglas fixed points. Next, we consider the low-energy limit of a two-dimensional N = (2, 2) supersymmetric theory from an M-theory brane configuration whose (twisted) superpotential is determined by the geometry of the branes. We show that, when the two-dimensional theory flows to its infra-red fixed point, particular cases realize Kazama-Suzuki coset models. We also study the BPS spectrum of an Argyres-Douglas type superconformal field theory on the Coulomb branch by using its spectral networks. We provide strong evidence of the equivalence of superconformal field theories from different string-theoretic constructions by comparing their BPS spectra.

Random propagation in complex systems : nonlinear matrix recursions and epidemic spread

This dissertation studies long-term behavior of random Riccati recursions and mathematical epidemic model. Riccati recursions are derived from Kalman filtering. The error covariance matrix of Kalman filtering satisfies Riccati recursions. Convergence condition of time-invariant Riccati recursions are well-studied by researchers. We focus on time-varying case, and assume that regressor matrix is random and identical and independently distributed according to given distribution whose probability distribution function is continuous, supported on whole space, and decaying faster than any polynomial. We study the geometric convergence of the probability distribution. We also study the global dynamics of the epidemic spread over complex networks for various models. For instance, in the discrete-time Markov chain model, each node is either healthy or infected at any given time. In this setting, the number of the state increases exponentially as the size of the network increases. The Markov chain has a unique stationary distribution where all the nodes are healthy with probability 1. Since the probability distribution of Markov chain defined on finite state converges to the stationary distribution, this Markov chain model concludes that epidemic disease dies out after long enough time. To analyze the Markov chain model, we study nonlinear epidemic model whose state at any given time is the vector obtained from the marginal probability of infection of each node in the network at that time. Convergence to the origin in the epidemic map implies the extinction of epidemics. The nonlinear model is upper-bounded by linearizing the model at the origin. As a result, the origin is the globally stable unique fixed point of the nonlinear model if the linear upper bound is stable. The nonlinear model has a second fixed point when the linear upper bound is unstable. We work on stability analysis of the second fixed point for both discrete-time and continuous-time models. Returning back to the Markov chain model, we claim that the stability of linear upper bound for nonlinear model is strongly related with the extinction time of the Markov chain. We show that stable linear upper bound is sufficient condition of fast extinction and the probability of survival is bounded by nonlinear epidemic map.

Range of validity of the method of averaging

Sufficient conditions are derived for the validity of approximate periodic solutions of a class of second order ordinary nonlinear differential equations. An approximate solution is defined to be valid if an exact solution exists in a neighborhood of the approximation.

Two classes of validity criteria are developed. Existence is obtained using the contraction mapping principle in one case, and the Schauder-Leray fixed point theorem in the other. Both classes of validity criteria make use of symmetry properties of periodic functions, and both classes yield an upper bound on a norm of the difference between the approximate and exact solution. This bound is used in a procedure which establishes sufficient stability conditions for the approximated solution.

Application to a system with piecewise linear restoring force (bilinear system) reveals that the approximate solution obtained by the method of averaging is valid away from regions where the response exhibits vertical tangents. A narrow instability region is obtained near one-half the natural frequency of the equivalent linear system. Sufficient conditions for the validity of resonant solutions are also derived, and two term harmonic balance approximate solutions which exhibit ultraharmonic and subharmonic resonances are studied.

Properties of convergence of a class of iterative processes generated by sequences of self-mappings with applications to switched dynamic systems

This article investigates the convergence properties of iterative processes involving sequences of self-mappings of metric or Banach spaces. Such sequences are built from a set of primary self-mappings which are either expansive or non-expansive self-mappings and some of the non-expansive ones can be contractive including the case of strict contractions. The sequences are built subject to switching laws which select each active self-mapping on a certain activation interval in such a way that essential properties of boundedness and convergence of distances and iterated sequences are guaranteed. Applications to the important problem of stability of dynamic switched systems are also given.

Results on proximal and generalized weak proximal contractions including the case of iteration-dependent range sets

This paper presents some further results on proximal and asymptotic proximal contractions and on a class of generalized weak proximal contractions in metric spaces. The generalizations are stated for non-self-mappings of the forms for and , or , subject to and , such that converges uniformly to T, and the distances are iteration-dependent, where , , and are non-empty subsets of X, for , where is a metric space, provided that the set-theoretic limit of the sequences of closed sets and exist as and that the countable infinite unions of the closed sets are closed. The convergence of the sequences in the domain and the image sets of the non-self-mapping, as well as the existence and uniqueness of the best proximity points, are also investigated if the metric space is complete. Two application examples are also given, being concerned, respectively, with the solutions through pseudo-inverses of both compatible and incompatible linear algebraic systems and with the parametrical

Self-formation of quasiperiodic void structure in CaF2 induced by femtosecond laser irradiation

We report the self-formation of quasiperiodic void structure with the length of several hundred micrometers inside the CaF2 crystal. The quasiperiodical voids along the propagation direction of the laser beam were formed spontaneously after the irradiation of a single femtosecond laser beam which was focused at a fixed point inside the crystal sample. The length of the void array varied with the focal depth beneath the sample surface. The possible mechanism of the self-formed void structure was discussed. (c) 2007 American Institute of Physics.

单束飞秒激光在氧化铝晶体中诱导自组装微米点阵

报道了单束飞秒激光在氧化铝晶体中诱导自组装微米点阵的有关研究进展。当单束飞秒激光被透镜聚焦到氧化铝晶体的内部某固定点， 微米点阵就在聚焦点的下方自动生成。我们发现能否产生自组装点阵和光束的聚焦点距离样品表面的深度有关。通过比较在氧化铝晶体和氟化钙晶体中能够产生点阵的深度，我们发现在氧化铝中较浅的位置即能诱导出点阵，而在氟化钙中则要求深度较深。具体的机理在文中进行了讨论。

Self-organized microvoid array perpendicular to the femtosecond laser beam in CaF2 crystals

Microvoid arrays were self-organized when femtosecond laser beam was tightly focused at a fixed point inside CaF2 crystal sample. Except void array grown below the focal point which had been reported before, we found another void array grown vertical to the laser propagation direction. This result has potential application in the fabrication of integrated micro-optic elements and photonic crystals. The possible mechanism of the phenomenon was proposed and verified experimentally.

Review of NRA tracking projects on salmon, Salmo salar L., and sea trout, Salmo trutta L

The report briefly outlines the programme of the National Rivers Authority (NRA), placing the Fisheries programme in the context of the work of the NRA as a whole, and viewing the tracking work against the broader requirements of the NRA Fisheries research programme. All regions of England and Wales are considered. Two techniques currently exist for studying the detailed timing and extent of movements of adult salmon: tracking of individually identifiable fish, and counting the numbers of fish moving past a fixed point in the river. The development of tracking techniques and the integrated use of tracking and fish counters is briefly reviewed in Section 3. Further details of these techniques are given in Appendices. Section 4 summarises and assesses completed and current NRA tracking studies. Section 5 discusses the scientific content of these studies in relation to similar work carried out elsewhere in the UK. The NRA programme of tracking studies is evaluated in Section 6. Section 7 discusses future fisheries projects and Section 8 details the future development of tracking techniques. Finally, recommendations arising out of this review are summarised in Section 9.

Description of NRA tracking studies: tracking techniques and fish counter technology

The study began on the 7th January 1991 and was completed in June 1991. Two reports have been produced. This report published as R&D Note 33 describes NRA tracking studies, tracking techniques and fish counter technology. The second report published as R&D Note 34 evaluates NRA tracking studies and recommends future research. The latter will be used solely for NRA management purposes. This report briefly outlines the programme of the NRA, placing the Fisheries programme in the context of the work of the NRA as a whole, and viewing the tracking work against the broader requirements of the NRA Fisheries research programme. Two techniques currently exist for studying the detailed timing and extent of movements of adult salmon: tracking of individually identifiable fish, and counting the numbers of fish moving past a fixed point in the river. Further details of these techniques and their development are given in Sections 2 and 3. Section 4 summarises and assesses completed and current NRA tracking Studies. Complete project descriptions for the studies are contained in Appendix A. Section 5 discusses the scientific content of these studies in relation to similar work carried out elsewhere in the UK. Section 6 details the future development of tracking techniques. Tracking work on migratory salmonids has tended to concentrate largely upon the movements of adult salmon. Much of this report will therefore be concerned with salmon tracking studies. NRA studies involving sea trout are referred to where appropriate. The methodological problems of sea trout tracking studies are summarised in Section 2.1.3.

Remodelação alveolar e perfil bacteriano em implantes instalados em diferentes níveis relacionados à crista óssea

A substituição clínica de dentes naturais perdidos por implantes osteointegrados tem representado uma das primeiras opções terapêuticas para a reabilitação de pacientes total ou parcialmente edêntulos. Apesar dos excelentes índices de sucesso demonstrados pelas restaurações implanto-suportadas, alguns fatores permanecem não esclarecidos, principalmente no que diz respeito à remodelação óssea ao redor dos implantes osteointegrados. Desta forma, o objetivo deste estudo foi avaliar a relação do nível de instalação dos implantes dentários com os parâmetros clínicos, com a remodelação óssea peri-implantar e com a colonização bacteriana, em implantes de plataforma regular, submetidos à carga imediata. Implantes de plataforma regular foram instalados em dois diferentes níveis em relação à crista óssea ao nível ósseo e supra ósseo (1 mm). No total, trinta e cinco implantes em 9 pacientes (idade média de 62,4 11,2 anos) foram avaliados radiograficamente no momento da instalação dos implantes (T1) e 6 meses após (T2), momento no qual também foram feitas análises clínicas e coleta de amostras para o teste microbiológico. Nos exames radiográficos foram analisadas a perda óssea, a partir de mensurações lineares da distância entre um ponto fixo do componente protético e o ponto mais coronário do contato osso-implante, e a densidade óptica alveolar obtida a partir de regiões ósseas de interesse (ROIs). As análises clínicas consistiram na avaliação da profundidade de sondagem e na mensuração do volume do fluido gengival peri-implantar. O perfil bacteriano dos sítios avaliados foi caracterizado por meio do método de análise de checkerboard DNA-DNA hybridization. Os testes estatísticos realizados mostraram não haver relação entre o nível de instalação dos implantes em relação à crista óssea e a remodelação óssea alveolar, tanto com relação à perda óssea (p = 0,725), como com relação à densidade óptica alveolar (p = 0,975). Também não foi possível estabelecer uma correlação entre a remodelação óssea e parâmetros clínicos como profundidade de sondagem e volume do fluido gengival peri-implantar. Com relação ao perfil bacteriano, não foram encontradas diferenças estatisticamente significativas entre os grupos avaliados para nenhuma das 40 bactérias analisadas.

Trace theory

The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.

The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。