Most dynamic languages allow users to turn text into code using various functions, often named eval, with language-dependent semantics. The widespread use of these reflective functions hinders static analysis and prevents compilers from performing optimizations. This paper aims to provide a better sense of why programmers use eval. Understanding why eval is used in practice is key to finding ways to mitigate its negative impact. We have reasons to believe that reflective feature usage is language and application domain-specific; we focus on data science code written in R and compare our results to previous work that analyzed web programming in JavaScript. We analyze 49,296,059 calls to eval from 240,327 scripts extracted from 15,401 R packages. We find that eval is indeed in widespread use; R’s eval is more pervasive and arguably dangerous than what was previously reported for JavaScript.
more »
« less
Sequential flows by irrelevant operators
We explore whether one can TT deform a collection of theories that are already TT deformed. This allows us to define classes of irrelevant deformations that know about subsystems. In some basic cases, we explore the spectrum that results from this procedure and we provide numerical evidence in favor of modular invariance. We also study the flow of the classical Lagrangian for free bosons and free fermions under successive deformations. Some of the models found by sequentially flowing are likely to have interesting holographic interpretations.
more »
« less
- Award ID(s):
- 2014195
- PAR ID:
- 10467590
- Publisher / Repository:
- SciPost Physics
- Date Published:
- Journal Name:
- SciPost Physics
- Volume:
- 14
- Issue:
- 5
- ISSN:
- 2542-4653
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Optimization problems with group sparse regularization are ubiquitous in various popular downstream applications, such as feature selection and compression for Deep Neural Networks (DNNs). Nonetheless, the existing methods in the literature do not perform particularly well when such regularization is used in combination with a stochastic loss function. In particular, it is challenging to design a computationally efficient algorithm with a convergence guarantee and can compute group-sparse solutions. Recently, a half-space stochastic projected gradient ({\tt HSPG}) method was proposed that partly addressed these challenges. This paper presents a substantially enhanced version of {\tt HSPG} that we call~{\tt AdaHSPG+} that makes two noticeable advances. First, {\tt AdaHSPG+} is shown to have a stronger convergence result under significantly looser assumptions than those required by {\tt HSPG}. This improvement in convergence is achieved by integrating variance reduction techniques with a new adaptive strategy for iteratively predicting the support of a solution. Second, {\tt AdaHSPG+} requires significantly less parameter tuning compared to {\tt HSPG}, thus making it more practical and user-friendly. This advance is achieved by designing automatic and adaptive strategies for choosing the type of step employed at each iteration and for updating key hyperparameters. The numerical effectiveness of our proposed {\tt AdaHSPG+} algorithm is demonstrated on both convex and non-convex benchmark problems. The source code is available at \url{https://github.com/tianyic/adahspg}.more » « less
-
A bstract We analyze deformations of $$ \mathcal{N} $$ N = 1 Jackiw-Teitelboim (JT) supergravity by adding a gas of defects, equivalent to changing the dilaton potential. We compute the Euclidean partition function in a topological expansion and find that it matches the perturbative expansion of a random matrix model to all orders. The matrix model implements an average over the Hamiltonian of a dual holographic description and provides a stable non-perturbative completion of these theories of $$ \mathcal{N} $$ N = 1 dilaton-supergravity. For some range of deformations, the supergravity spectral density becomes negative, yielding an ill-defined topological expansion. To solve this problem, we use the matrix model description and show the negative spectrum is resolved via a phase transition analogous to the Gross-Witten-Wadia transition. The matrix model contains a rich and novel phase structure that we explore in detail, using both perturbative and non-perturbative techniques.more » « less
-
Abstract The Sco protein fromThermus thermophilushas previously been shown to perform a disulfide bond reduction in the CuAprotein fromT. thermophilus, which is a soluble protein engineered from subunit II of cytochromeba3oxidase that lacks the transmembrane helix. The native cysteines onTtSco andTtCuAwere mutated to serine residues to probe the reactivities of the individual cysteines. Conjugation of TNB to the remaining cysteine inTtCuAand subsequent release upon incubation with the complementaryTtSco protein demonstrated the formation of the mixed disulfide intermediate. The cysteine ofTtSco that attacks the disulfide bond in the targetTtCuAprotein was determined to beTtSco Cysteine 49. This cysteine is likely more reactive than Cysteine 53 due to a higher degree of solvent exposure. Removal of the metal binding histidine, His 139, does not change MDI formation. However, altering the arginine adjacent to the reactive cysteine in Sco (Arginine 48) does alter the formation of the MDI. Binding of Cu2+or Cu+toTtSco prior to reaction withTtCuAwas found to preclude formation of the mixed disulfide intermediate. These results shed light on a mechanism of disulfide bond reduction by theTtSco protein and may point to a possible role of metal binding in regulating the activity. ImportanceThe function of Sco is at the center of many studies. The disulfide bond reduction in CuAby Sco is investigated herein and the effect of metal ions on the ability to reduce and form a mixed disulfide intermediate are also probed.more » « less
-
Abstract Bacteria contain conserved mechanisms to control the intracellular levels of metal ions. Metalloregulatory transcription factors bind metal cations and play a central role in regulating gene expression of metal transporters. Often, these transcription factors regulate transcription by binding to a specific DNA sequence in the promoter region of target genes. Understanding the preferred DNA‐binding sequence for transcriptional regulators can help uncover novel gene targets and provide insight into the biological role of the transcription factor in the host organism. Here, we identify consensus DNA‐binding sequences and subsequent transcription regulatory networks for two metalloregulators from the ferric uptake regulator (FUR) and diphtheria toxin repressor (DtxR) superfamilies inThermus thermophilusHB8. By homology search, we classify the DtxR homolog as a manganese‐specific, MntR (TtMntR), and the FUR homolog as a peroxide‐sensing, PerR (TtPerR). Both transcription factors repress separate ZIP transporter genes in vivo, andTtPerR acts as a bifunctional transcription regulator by activating the expression of ferric and hemin transport systems. We showTtPerR andTtMntR bind DNA in the presence of manganese in vitro and in vivo; however,TtPerR is unable to bind DNA in the presence of iron, likely due to iron‐mediated histidine oxidation. Unlike canonical PerR homologs,TtPerR does not appear to contribute to peroxide detoxification. Instead, theTtPerR regulon and DNA binding sequence are more reminiscent of Fur or Mur homologs. Collectively, these results highlight the similarities and differences between two metalloregulatory superfamilies and underscore the interplay of manganese and iron in transcription factor regulation.more » « less
An official website of the United States government

