Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

Computer Aided Verification

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic

Emergent descriptions at large charge: A foray into the structure of conformal field theories and beyond

Conformal Field Theories (CFT)s play a central role in the study of Quantum Field Theory (QFT). They represent the fixed point of the Wilsonian Renormalization Group (RG) flow and any QFT is in principle describable as a relevant deformation of the associated nearby Conformal Field Theory (CFT). This thesis aims to explore the structure of CFTs with global internal symmetries and beyond via the Large-Charge Expansion (LCE), a semi-classical expansion applicable for states with large global quantum numbers. In the first part of this thesis we study CFT and Spontaneous Symmetry Breaking (SSB). We discuss the symmetry-constraints imposed by conformal invariance on the quantum theory, introduce the concept of CFT data and the Operator–Product Expansion (OPE). Concerning SSB, we discuss the existence of Nambu–Goldstone (NG) modes, the general counting rule for the number of NG modes under the spontaneous breaking of global internal symmetries and a generalization of the Goldstone theorem at finite density. In the second part of this thesis we discuss the current state-of-the-art understanding of the LCE and systematically study CFTs with a global O(2) symmetry in the context of the LCE. We present the LCE in the broader context of the different methods available for accessing CFT data. Particularly, we discuss its relation to large-spin expansions in CFTs and the description of operators with both large spin and large charge. We discuss the emergence of effective condensed-matter descriptions, in particular superfluids, in correlators involving states with large global quantum numbers. Finally, we use the superfluid Effective Field Theory (EFT) description to systematically study two-, three- and four-point functions for CFTs with a global O(2) symmetry. Using the EFT approach we derive universal results for the spectrum of scaling dimensions and three-point coefficients at large charge. In the last part of this thesis we study CFTs in the double-scaling limit of large charge and large N. We discuss the D = 3Wilson–Fisher (WF) fixed point at large N and derive the leading order asymptotics at large charge Q in the double scaling limit Q/N fixed, where scaling dimensions can be studied analytically in the limit Q/2N ≫1, where we recover the superfluid EFT structure, and Q/2N ≪1, where we recover the free mean-field limit. These limits can be connected by resurgent analysis. We also study the spectrum of fluctuations to confirm EFT predictions. Next, we use a fixed-charge approach to gain access to the leading order effective potential for the ϕ4 theory, which we then study for spacetime dimensions 2 <D < 6. In D = 3, we reproduce and extend old results originally found by re-summing Feynman diagrams. In D = 5, under the assumption of unitarity the ϕ4-model does not appear to be Ultra–Violet (UV) complete. Finally, we discuss the interacting fixed points of three-dimensional fermionic CFTs in the double-scaling limit of large charge and large N. While the Gross–Neveu (GN)model exhibits a Fermi-sphere description at large charge, whose fate at finite N is yet to be determined, for the Nambu–Jona–Lasinio (NJL)-type models we find a Bose–Einstein Condensate (BEC). The large-charge sector of these models is therefore captured by the superfluid EFT approach

The Fifteenth Marcel Grossmann Meeting

The three volumes of the proceedings of MG15 give a broad view of all aspects of gravitational physics and astrophysics, from mathematical issues to recent observations and experiments. The scientific program of the meeting included 40 morning plenary talks over 6 days, 5 evening popular talks and nearly 100 parallel sessions on 71 topics spread over 4 afternoons. These proceedings are a representative sample of the very many oral and poster presentations made at the meeting.Part A contains plenary and review articles and the contributions from some parallel sessions, while Parts B and C consist of those from the remaining parallel sessions. The contents range from the mathematical foundations of classical and quantum gravitational theories including recent developments in string theory, to precision tests of general relativity including progress towards the detection of gravitational waves, and from supernova cosmology to relativistic astrophysics, including topics such as gamma ray bursts, black hole physics both in our galaxy and in active galactic nuclei in other galaxies, and neutron star, pulsar and white dwarf astrophysics. Parallel sessions touch on dark matter, neutrinos, X-ray sources, astrophysical black holes, neutron stars, white dwarfs, binary systems, radiative transfer, accretion disks, quasars, gamma ray bursts, supernovas, alternative gravitational theories, perturbations of collapsed objects, analog models, black hole thermodynamics, numerical relativity, gravitational lensing, large scale structure, observational cosmology, early universe models and cosmic microwave background anisotropies, inhomogeneous cosmology, inflation, global structure, singularities, chaos, Einstein-Maxwell systems, wormholes, exact solutions of Einstein's equations, gravitational waves, gravitational wave detectors and data analysis, precision gravitational measurements, quantum gravity and loop quantum gravity, quantum cosmology, strings and branes, self-gravitating systems, gamma ray astronomy, cosmic rays and the history of general relativity

The Fifteenth Marcel Grossmann Meeting

The three volumes of the proceedings of MG15 give a broad view of all aspects of gravitational physics and astrophysics, from mathematical issues to recent observations and experiments. The scientific program of the meeting included 40 morning plenary talks over 6 days, 5 evening popular talks and nearly 100 parallel sessions on 71 topics spread over 4 afternoons. These proceedings are a representative sample of the very many oral and poster presentations made at the meeting.Part A contains plenary and review articles and the contributions from some parallel sessions, while Parts B and C consist of those from the remaining parallel sessions. The contents range from the mathematical foundations of classical and quantum gravitational theories including recent developments in string theory, to precision tests of general relativity including progress towards the detection of gravitational waves, and from supernova cosmology to relativistic astrophysics, including topics such as gamma ray bursts, black hole physics both in our galaxy and in active galactic nuclei in other galaxies, and neutron star, pulsar and white dwarf astrophysics. Parallel sessions touch on dark matter, neutrinos, X-ray sources, astrophysical black holes, neutron stars, white dwarfs, binary systems, radiative transfer, accretion disks, quasars, gamma ray bursts, supernovas, alternative gravitational theories, perturbations of collapsed objects, analog models, black hole thermodynamics, numerical relativity, gravitational lensing, large scale structure, observational cosmology, early universe models and cosmic microwave background anisotropies, inhomogeneous cosmology, inflation, global structure, singularities, chaos, Einstein-Maxwell systems, wormholes, exact solutions of Einstein's equations, gravitational waves, gravitational wave detectors and data analysis, precision gravitational measurements, quantum gravity and loop quantum gravity, quantum cosmology, strings and branes, self-gravitating systems, gamma ray astronomy, cosmic rays and the history of general relativity