Modern electronic devices and novel materials often derive their extraordinary properties from the intriguing, complex behavior of large numbers of electrons forming what is known as an electron ...liquid. This book provides an in-depth introduction to the physics of the interacting electron liquid in a broad variety of systems, including metals, semiconductors, artificial nano-structures, atoms and molecules. One, two and three dimensional systems are treated separately and in parallel. Different phases of the electron liquid, from the Landau Fermi liquid to the Wigner crystal, from the Luttinger liquid to the quantum Hall liquid are extensively discussed. Both static and time-dependent density functional theory are presented in detail. Although the emphasis is on the development of the basic physical ideas and on a critical discussion of the most useful approximations, the formal derivation of the results is highly detailed and based on the simplest, most direct methods.
A
bstract
Nonrelativistic string theory in flat spacetime is described by a two-dimensional quantum field theory with a nonrelativistic global symmetry acting on the worldsheet fields. ...Nonrelativistic string theory is unitary, ultraviolet complete and has a string spectrum and spacetime S-matrix enjoying nonrelativistic symmetry. The worldsheet theory of nonrelativistic string theory is coupled to a curved spacetime background and to a Kalb-Ramond two-form and dilaton field. The appropriate spacetime geometry for nonrelativistic string theory is dubbed string Newton-Cartan geometry, which is distinct from Riemannian geometry. This defines the sigma model of nonrelativistic string theory describing strings propagating and interacting in curved background fields. We also implement T-duality transformations in the path integral of this sigma model and uncover the spacetime interpretation of T-duality. We show that T-duality along the longitudinal direction of the string Newton-Cartan geometry describes relativistic string theory on a Lorentzian geometry with a compact lightlike isometry, which is otherwise only defined by a subtle infinite boost limit. This relation provides a first principles definition of string theory in the discrete light cone quantization (DLCQ) in an arbitrary background, a quantization that appears in nonperturbative approaches to quantum field theory and string/M-theory, such as in Matrix theory. T-duality along a transverse direction of the string Newton-Cartan geometry equates nonrelativistic string theory in two distinct, T-dual backgrounds.
Higher topos theory Lurie, Jacob; Lurie, Jacob
2009., 20090706, 2009, 2009-07-06, Volume:
170
eBook
Higher category theory is generally regarded as technical and forbidding, but part of it is considerably more tractable: the theory of infinity-categories, higher categories in which all higher ...morphisms are assumed to be invertible. In Higher Topos Theory, Jacob Lurie presents the foundations of this theory, using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language. The result is a powerful theory with applications in many areas of mathematics.
This open access book gives a systematic introduction into the spectral theory of differential operators on metric graphs. Main focus is on the fundamental relations between the spectrum and the ...geometry of the underlying graph. The book has two central themes: the trace formula and inverse problems. The trace formula is relating the spectrum to the set of periodic orbits and is comparable to the celebrated Selberg and Chazarain-Duistermaat-Guillemin-Melrose trace formulas. Unexpectedly this formula allows one to construct non-trivial crystalline measures and Fourier quasicrystals solving one of the long-standing problems in Fourier analysis. The remarkable story of this mathematical odyssey is presented in the first part of the book. To solve the inverse problem for Schrödinger operators on metric graphs the magnetic boundary control method is introduced. Spectral data depending on the magnetic flux allow one to solve the inverse problem in full generality, this means to reconstruct not only the potential on a given graph, but also the underlying graph itself and the vertex conditions. The book provides an excellent example of recent studies where the interplay between different fields like operator theory, algebraic geometry and number theory, leads to unexpected and sound mathematical results. The book is thought as a graduate course book where every chapter is suitable for a separate lecture and includes problems for home studies. Numerous illuminating examples make it easier to understand new concepts and develop the necessary intuition for further studies. ; Self-contained introduction to the theory of quantum graphs First time treatment of inverse problems in detail Numerous examples from physics included Open questions at the end of several chapters
Positive first-order logic on words Kuperberg, Denis
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
06/2021
Conference Proceeding
Open access
We study FO+, a fragment of first-order logic on finite words, where monadic predicates can only appear positively. We show that there is an FO-definable language that is monotone in monadic ...predicates but not definable in FO+. This provides a simple proof that Lyndon's preservation theorem fails on finite structures. We additionally show that given a regular language, it is undecidable whether it is definable in FO+.
A
bstract
Light scalars in inflationary spacetimes suffer from logarithmic infrared divergences at every order in perturbation theory. This corresponds to the scalar field values in different Hubble ...patches undergoing a random walk of quantum fluctuations, leading to a simple toy “landscape” on superhorizon scales, in which we can explore questions relevant to eternal inflation. However, for a sufficiently long period of inflation, the infrared divergences appear to spoil computability. Some form of renormalization group approach is thus motivated to resum the log divergences of conformal time. Such a resummation may provide insight into De Sitter holography. We present here a novel diagrammatic analysis of these infrared divergences and their resummation. Basic graph theory observations and momen- tum power counting for the in-in propagators allow a simple and insightful determination of the leading-log contributions. One thus sees diagrammatically how the superhorizon sector consists of a semiclassical theory with quantum noise evolved by a first-order, interacting classical equation of motion. This rigorously leads to the “Stochastic Inflation” ansatz developed by Starobinsky to cure the scalar infrared pathology nonperturbatively. Our approach is a controlled approximation of the underlying quantum field theory and is systematically improvable.
A
bstract
We study a sector of the 5d maximally supersymmetric Yang-Mills theory on
S
5
consisting of 1
/
8-BPS Wilson loop operators contained within a great
S
3
inside
S
5
. We conjecture that ...these observables are described by a 3d Chern Simons theory on
S
3
, analytically continued to a pure imaginary Chern-Simons level. Therefore, the expectation values of these 5d Wilson loops compute knot invariants. We verify this conjecture in the weakly-coupled regime from explicit Feynman diagram computations. At strong coupling, these Wilson loop operators lift to 1
/
8-BPS surface operators in the 6d (2
,
0) theory on
S
1
×
S
5
. Using AdS/CFT, we show that these surface operators are dual to M2-branes subject to certain calibration conditions required in order to preserve supersymmetry. We compute the renormalized action of a large class of calibrated M2-branes and obtain a perfect match with the field theory prediction. Finally, we present a derivation of the 3d Chern-Simons theory from 5d super-Yang-Mills theory using supersymmetric localization, modulo a subtle issue that we discuss.
A
bstract
As a refinement of the Swampland Distance Conjecture, we propose that a quantum gravitational theory in an infinite distance limit of its moduli space either decompactifies, or reduces to ...an asymptotically tensionless, weakly coupled string theory. We support our claim by classifying, as special cases, the behaviour of M-Theory and Type IIA string theory compactifications on Calabi-Yau three-folds at infinite distances in Kähler moduli space.
The analysis comprises three parts: we first classify the possible infinite distance limits in the classical Kähler moduli space of a Calabi-Yau three-fold. Each such limit at finite volume is characterized by a universal fibration structure, for which the generic fiber shrinking in the limit is either an elliptic curve, a K3 surface, or an Abelian surface.
In the second part we focus on M-Theory and investigate the nature of the towers of asymptotically massless states that arise from branes wrapped on the shrinking fibers. Depending on which of the three classes of fibrations are considered, we obtain decompactification to F-Theory, or a theory with a unique asymptotically tensionless, weakly coupled heterotic or Type II string, respectively. The latter probes a dual D-manifold which is in general non-geometric. In addition to the intrinsic string excitations, towers of states from M2-branes along non-contractible curves become light and correspond to further wrapping and winding modes of the tensionless heterotic or Type II string.
In the third part of the analysis, we consider Type IIA string theory on Calabi-Yau three-folds and show that quantum effects obstruct taking finite volume infinite distance limits in the Kähler moduli space. The only possible infinite distance limit which is not a decompactification limit involves K3-fibrations with string scale fiber volume and gives rise to an emergent tensionless heterotic string.
Energy efficiency, real-time response, and data transmission reliability are important objectives during networked systems design. This paper aims to develop an efficient task mapping scheme to ...balance these important but conflicting objectives. To achieve this goal, tasks are triplicated to enhance reliability and mapped on the wireless nodes of the networked systems with Dynamic Voltage and Frequency Scaling (DVFS) capabilities to reduce energy consumption while still meeting real-time constraints. Our contributions include the mathematical formulation of this task mapping problem as mixed-integer programming that balances node energy consumption, enhancing data reliability, under real-time and energy constraints. Compared with the State-of-the-Art (SoA), a joint-design problem is considered in this paper, where DVFS, task triplication, task allocation, and task scheduling are optimized concurrently. To find the optimal solution, the original problem is linearized, and a decomposition-based method is proposed. The optimality of the proposed method is proved rigorously. Furthermore, a heuristic based on the greedy algorithm is designed to reduce the computation time. The proposed methods are evaluated and compared through a series of simulations. The results show that the proposed triplication-based task mapping method on average achieves 24.84% runtime reduction and 28.62% energy saving compared to the SoA methods.
Profinite Groups Ribes, Luis
2010, 20100213, 2014-07-30, Volume:
40
eBook
This updated book serves both as an introduction to profinite groups and as a reference for specialists in some areas of the theory. This revised edition contains new results, improved proofs, ...typographical corrections, and an enlarged bibliography.