Related papers: Review of AdS/CFT Integrability: An Overview
We review the spectral curve for the classical string in AdS5xS5. Classical integrability of the AdS5xS5 string implies the existence of a flat connection, whose monodromies generate an infinite set of conserved charges. The spectral curve…
A concrete model of extracting the physics from the bulk of a gravitational universe is important to the study of quantum gravity and its possible relationship with experiments. Such a model can be constructed in the AdS/CFT correspondence…
This paper presents composable attestation as a generalized cryptographic framework for Continuous and Incremental Trust in Distributed Systems,such as Artificial Intelligence (AI) computation, and Open Source Software (OSS) supply chain…
This chapter presents perspectives for challenges and future development in building reliable AI systems, particularly, agentic AI systems. Several open research problems related to mitigating the risks of cascading failures are discussed.…
Conversational search (CS) has recently become a significant focus of the information retrieval (IR) research community. Multiple studies have been conducted which explore the concept of conversational search. Understanding and advancing…
We present direct arguments for non-commutativity of spheres in the AdS/CFT correspondence. The discussion is based on results for the $S_N$ orbifold SCFT. Concentrating on three point correlations (at finite $N$) we exhibit a comparison…
We briefly review one of the current applications of the AdS/CFT correspondence known as AdS/QCD and discuss about the calculation of four-point quark-flavour current correlation functions and their applications to the calculation of…
We develop a robust version of the MSSM from a $Z_{12}$ orbifolded AdS/CFT, with natural low scale unification and briefly discuss cosmology in this testable model.
Computability logic is a formal theory of (interactive) computability in the same sense as classical logic is a formal theory of truth. This approach was initiated very recently in "Introduction to computability logic" (Annals of Pure and…
Readability criteria have been addressed as a measurement of the quality of graph visualizations. In this paper, we argue that readability criteria are necessary but not sufficient. We propose a new kind of criteria, namely faithfulness, to…
This short note presents a summary of the articles arXiv:1408.5357, arXiv:1412.5939, arXiv:1603.06796, arXiv:1606.01018, arXiv:1606.08148 that were done in collaboration with N. CRAMPE, M. EVANS, C. FINN, K. MALLICK and M. VANICAT. It…
Software reliability analysis is performed at various stages during the process of engineering software as an attempt to evaluate if the software reliability requirements have been (or might be) met. In this report, I present a summary of…
This is a summary talk covering recent progress in perturbative methods for gauge theories and gravity, applications of AdS/CFT duality, vacuum energy, and string theory models of particle physics and cosmology.
We review recent progress in understanding the anti-de Sitter/conformal field theory correspondence in the context of two-dimensional dilaton gravity theory.
General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is considered. A rationale for control code…
The work presents the brief exposition of the proof (in ZF) of inaccessible cardinals nonexistence. To this end in view there is used the apparatus of subinaccessible cardinals and its basic tools -- reduced formula spectra and matrices and…
The Internet of Things (IoT) has revolutionized the way devices communicate and interact with each other, but it has also created new challenges in terms of security. In this context, intrusion detection has become a crucial mechanism to…
Apps and devices (mobile devices, web browsers, IoT, VR, voice assistants, etc.) routinely collect user data, and send them to first- and third-party servers through the network. Recently, there is a lot of interest in (1) auditing the…
Attribute-based Credential Systems (ACS) have been long proposed as privacy-preserving means of attribute-based authentication, yet neither been considered particularly usable nor found wide-spread adoption, to date. To establish what…
Inclusion and accessibility in visualization research have gained increasing attention in recent years. However, many challenges still remain to be solved on the road toward a more inclusive, shared-experience-driven visualization design…