Two 6D origins of 4D SCFTs: Class S and 6D (1, 0) on a torus
Not Available
SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Not Available
Not Available
Not Available
Supersymmetric models with the anomaly-mediated supersymmetry (SUSY) breaking (AMSB) form for soft SUSY breaking terms arise in two different settings: (1) extra-dimensional models where SUSY breaking occurs in a sequestered sector, and (2) 4 − d models with dynamical SUSY breaking in a hidden sector where scalars gain masses of order the gravitino mass m 3 / 2 , but gaugino masses and trilinear soft terms are assumed to be of the AMSB form. Both models run into serious conflicts with (1) LHC sparticle and Higgs mass constraints, (2) constraints from winolike weakly interacting massive particle dark matter searches, and (3) bounds from naturalness. These conflicts may be avoided by introducing minor changes to the underlying phenomenological models consisting of nonuniversal bulk scalar Higgs masses and A terms, providing a setting for natural anomaly mediation (nAMSB). In nAMSB, the wino is still expected to be the lightest of the gauginos, but the Higgsinos are expected to be the lightest electroweakinos (EWinos) in accord with naturalness. We examine what sorts of spectra are expected to emerge when nAMSB arises from a string landscape setting: While model 2 can only be natural for a Higgs mass m h ≲ 123 GeV , model 1 can accommodate naturalness along with m h ∼ 125 GeV while still respecting LHC bounds on sparticle masses. We explore the LHC phenomenology of nAMSB models where we find that for Higgsino pair production, typically larger dilepton mass gaps arise from the soft dilepton-plus-jets signature than in models with gaugino mass unification. For wino-pair production, the higher m 3 / 2 portion of nAMSB parameter space is excluded by recent LHC bounds from gaugino pair production searches. We characterize the dominant LHC signatures arising from the remaining lower m 3 / 2 ∼ 90 – 200 TeV range of parameter space, which should be fully testable at high-luminosity LHC via EWino pair production searches. Published by the American Physical Society 2024
This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.
The production of topological defects, especially cosmic strings, in extended inflation models was considered. In extended inflation, the Universe passes through a first-order phase transition via bubble percolation, which naturally allows defects to form at the end of inflation. The correlation length, which determines the number density of the defects, is related to the mean size of bubbles when they collide. This mechanism allows a natural combination of inflation and large scale structure via cosmic strings.
From the perspective of effective field theory (EFT), Wilson coefficients of the low energy theory are determined by integrating out modes of the full ultraviolet (UV) theory. The spectrum can be in principle resummed if one has access to all available infrared (IR) coefficients at low energies. In this work we show that there exists a general class of consistent massive resonance double-copy (CMRDC) models where UV massive residues are reconstructed through double-copy consistency conditions between the IR Wilson coefficients of the full EFT expansion. Through a color-dual bootstrap, we find surprisingly that double-copy consistency alone introduces the kinematic factors of CMRDC models that soften high energy behavior by exponentiating color-dual contacts. This bootstrap suggests that our massive resonance paradigm is an inevitable consequence of the duality between color and kinematics, thereby providing a path towards emergent UV structure directly from the IR. We then demonstrate how CMRDC models can capture a spectrum of massive modes compatible with general multiplicity, and use Padé extrapolation to solve the inverse problem of identifying massive UV resonance from a small number of IR Wilson coefficients. Published by the American Physical Society 2024
The (2+1)-dimensional continuum Lifshitz theory of a free compact scalar field plays a prominent role in a variety of quantum systems in condensed matter physics and high energy physics. It is known that in compact space, it has an infinite ground-state degeneracy. In order to understand this theory better, we consider two candidate lattice regularizations of it using the modified Villain formalism. We show that these two lattice theories have significantly different global symmetries (including a dipole global symmetry), anomalies, ground-state degeneracies, and dualities. In particular, one of them is self-dual. Given these theories and their global symmetries, we can couple them to corresponding gauge theories. Here, these are two different U(1) tensor gauge theories. The resulting models have excitations with restricted mobility, i.e., fractons. Finally, we give an exact lattice realization of the fracton and lineon-elasticity dualities for the Lifshitz theory, and scalar and vector charge gauge theories.
We continue the exploration of nonstandard continuum field theories related to fractons in 3+1 dimensions. Our theories exhibit exotic global and gauge symmetries, defects with restricted mobility, and interesting dualities. Depending on the model, the defects are the probe limits of either fractonic particles, strings, or strips. One of our models is the continuum limit of the plaquette Ising lattice model, which features an important role in the construction of the X-cube model.
Scattering amplitudes for the simplest theory of colored scalar particles—the Tr ( Φ 3 ) theory—have recently been the subject of active investigations. In this work we describe an unanticipated wider implication of this work: the Tr ( Φ 3 ) theory secretly contains nonlinear sigma model (NLSM) amplitudes to all loop orders. The NLSM amplitudes are obtained from Tr ( Φ 3 ) amplitudes by a unique shift of kinematic variables. We show that this shifted kinematics produces amplitudes for a cubic theory with a linear term in the potential, with extrema spontaneously breaking U ( N ) → U ( N − k ) × U ( k ) . The Goldstone amplitudes for this theory coincide with those of pions in the U ( N ) × U ( N ) → U ( N ) chiral Lagrangian to all orders in the planar limit. We also give a purely on-shell understanding of this correspondence, showing that integrands defined by the kinematic shifts have the correct residues on poles and appropriately produce the Adler zero. Finally, we discuss how similar kinematic shifts produce certain infinite classes of mixed amplitudes of pions and Tr ( Φ 3 ) scalars, most of which are not interpretable from the Lagrangian description. Published by the American Physical Society 2024
The study of conformal boundary conditions for two-dimensional conformal field theories (CFTs) has a long history, ranging from the description of impurities in one-dimensional quantum chains to the formulation of D-branes in string theory. Nevertheless, the landscape of conformal boundaries is largely unknown, including in rational CFTs, where the local operator data is completely determined. We initiate a systematic bootstrap study of conformal boundaries in 2d CFTs by investigating the bootstrap equation that arises from the open-closed consistency condition of the annulus partition function with identical boundaries. We find that this deceivingly simple bootstrap equation, when combined with unitarity, leads to surprisingly strong constraints on admissible boundary states. In particular, we derive universal bounds on the tension (boundary entropy) of stable boundary conditions, which provide a rigorous diagnostic for potential D-brane decays. We also find unique solutions to the bootstrap problem of stable branes in a number of rational CFTs. Along the way, we observe a curious connection between the annulus bootstrap and the sphere packing problem, which is a natural extension of previous work on the modular bootstrap. We also derive bounds on the boundary entropy at large central charge. These potentially have implications for end-of-the-world branes in pure gravity on AdS 3 .
The novel tri-port current-source medium-voltage string inverter (TCS-MVSI) is a promising candidate for large-scale PV-plus-storage (PVS) farms owing to its galvanic isolation, easy storage integration, soft-switching capability across entire load range, controlled low dv/dt and EMI, benign fault tolerance, etc. Due to its low inertia feature, traditional PI-based control cannot manage large transients effectively. Instead, a model-based predictive control (MPC) is proposed to achieve robust and stable operation. As is well known, the control performance of MPC is compromised by the sampling and computational delay during implementation significantly, if not well addressed. This paper analyzed and quantified these delays and then proposes feed-forward compensation (FFC) for the MPC method to compensate the delays and the large parameter variations due to the low-inertia nature. In addition, this method also compensates for the high dc-link ripple within each switching cycle, a unique issue for low-inertia converters. Here, the proposed method requires low computational effort, allowing it to be extended for multiple ports. The effectiveness of the proposed method has been validated in experiments. In 10 kW test, the proposed method decreases the average dc-link current by 17%, leading to ~20% conduction losses and ~0.5% increase in converter efficiency. In addition, the peak dc-link current also decreases by 15%, resulting in reduced transformer size. As a result, an increased power density can be achieved with the proposed method. Similar improvements have been observed across the power range from 2 kW to 10 kW.
The two-dimensional 𝒩 = 4 superconformal algebra has a free field realization with four bosons and four fermions. There is an automorphism of the algebra called spectral flow. Under spectral flow, the four fermions are transformed together. In this paper, we study partial spectral flow where only two of the four fermions are transformed. Partial spectral flow is applied to the D1D5 CFT where a marginal deformation moves the CFT away from the free point. The partial spectral flow is broken by the deformation. We show that this effect can be studied due to a transformation of the deformation which is well-defined under partial spectral flow. As a result in the spectrum, we demonstrate how to compute the second-order energy lift of a D1D5P state through its partial spectral flowed state. We find that D1D5P states related by partial spectral flow do not have the same lift in general.
We study some special features of F 24 , the holomorphic c = 12 superconformal field theory (SCFT) given by 24 chiral free fermions. We construct eight different Lie superalgebras of “physical” states of a chiral superstring compactified on F 24 , and we prove that they all have the structure of Borcherds-Kac-Moody superalgebras. This produces a family of new examples of such superalgebras. The models depend on the choice of an \( \mathcal{N} \) = 1 supercurrent on F 24 , with the admissible choices labeled by the semisimple Lie algebras of dimension 24. We also discuss how F 24 , with any such choice of supercurrent, can be obtained via orbifolding from another distinguished c = 12 holomorphic SCFT, the \( \mathcal{N} \) = 1 supersymmetric version of the chiral CFT based on the E 8 lattice.
The mild form of the Weak Gravity Conjecture states that quantum or higher-derivative corrections should decrease the mass of large extremal charged black holes at fixed charge. This allows extremal black holes to decay, unless protected by a symmetry (such as supersymmetry). We reformulate this conjecture as an integrated condition on the effective stress tensor capturing the effect of quantum or higher-derivative corrections. In addition to charged black holes, we also consider rotating BTZ black holes and show that this condition is satisfied as a consequence of the $\textit{c}$-theorem, proving a spinning version of the Weak Gravity Conjecture. We also apply our results to a five-dimensional boosted black string with higher-derivative corrections. The boosted black string has a BTZ×$S^2$ near-horizon geometry and, after Kaluza-Klein reduction, describes a four-dimensional charged black hole. Combining the spinning and charged Weak Gravity Conjecture we obtain positivity bounds on the five-dimensional Wilson coefficients that are stronger than those obtained from charged black holes alone.
We quantitatively address the following question: for a QFT which is partially compactified, so as to realize an RG flow from a D-dimensional CFT in the UV to a d-dimensional CFT in the IR, how does the entanglement entropy of a small spherical region probing the UV physics evolve as the size of the region grows to increasingly probe IR physics? This entails a generalization of spherical regions to setups without full Lorentz symmetry, and we study the associated entanglement entropies holographically. We find a tight interplay between the topology and geometry of the compact space and the evolution of the entanglement entropy, with universal transitions from ‘cap’ through ‘bridge’ and ‘corner’ phases, whose features reflect the details of the compact space. As concrete examples we discuss twisted compactifications of 4d $\mathcal{N}$ = 4 SYM on T 2 , S 2 and hyperbolic Riemann surfaces.
The formation and evaporation of small AdS black holes in a theory with a holographic dual is governed by the usual rules of quantum mechanics. The eigenstate thermalization hypothesis explains the validity of semiclassical gravity for local bulk observables and can be used to quantify the magnitude of quantum corrections to the semi-classical approximation. The holographic dual produces a basis of black hole states with finite energy width, and observables that are smooth functions on the classical phase space will self-average over a large number of energy eigenstates, exponential in the Bekenstein-Hawking entropyS, leading to results that are consistent with semiclassical gravity up to small corrections of order e –S/2 . As expected, the semiclassical description breaks down for transition amplitudes that reflect the unitary evolution of the holographic theory.
In this work we introduce a method for calculating holographic duals of BCFTs with more than two boundaries. We apply it to calculating the dynamics of entanglement entropy in a 1+1d CFT that is instantaneously split into multiple segments and calculate the entanglement entropy as a function of time for the case of two splits, showing that our approach reproduces earlier results for the double split case. Our manuscript lays the groundwork for future calculations of the entanglement entropy for more than two splits and systems at nonzero temperature.