arXiv subjects
Publications and source records attributed to Ilyas Khan.
This paper proves the short-time existence of $G_2$-Laplacian flow for closed, asymptotically conical $G_2$-structures on a complete manifold, shows that this solution is unique among closed solutions, and gives a lower bound for the existence time depending on the initial geometry.
We are at the dawn of the second quantum revolution, where our ability to create and control individual quantum systems is poised to drive transformative advancements in basic science, computation, and everyday life. However, quantum theory has long been conceived as notoriously hard to learn, creating a significant barrier to workforce development, informed decision-making by stakeholders and policymakers, and broader public understanding. This paper is concerned with Quantum Picturalism, a novel visual mathematical language for quantum physics. Originally developed over two decades ago to explore the foundational structure of quantum theory, this rigorous diagrammatic framework has since been adopted in both academia and industry as a powerful tool for quantum computing research and software development. Here, we demonstrate its potential as a transformative educational methodology. We report the findings from a pilot study involving 54 UK high school students, randomly selected from a pool of 734 volunteers across the UK. Despite the absence of advanced mathematical prerequisites, these students demonstrated a strong conceptual grasp of key quantum principles and operations. On an assessment comprising university graduate-level exam questions, participants achieved an 82% pass rate, with 48% obtaining a distinction-level grade. These results pave the way for making quantum more inclusive, lowering traditional cognitive and demographic barriers to quantum learning. This approach has the potential to broaden participation in the field and provide a promising new entry point for stakeholders, future experts, and the general public.
The educational value of a fully diagrammatic approach in a scientific field has never been explored. We present Quantum Picturalism (QPic), an entirely diagrammatic formalism for all of qubit quantum mechanics. This framework is particularly advantageous for young learners as a novel way to teach key concepts such as entanglement, measurement, and mixed-state quantum mechanics in a math-intensive subject. This eliminates traditional obstacles without compromising mathematical correctness - removing the need for matrices, vectors, tensors, complex numbers, and trigonometry as prerequisites to learning. Its significance lies in that a field as complex as Quantum Information Science and Technology (QIST), for which educational opportunities are typically exclusive to the university level and higher, can be introduced at high school level. In this study, we tested this hypothesis, examining whether QPic reduces cognitive load by lowering complex mathematical barriers while enhancing mental computation and conceptual understanding. The data was collected from an experiment conducted in 2023, whereby 54 high school students (aged 16-18) underwent 16 hours of training spread over eight weeks. The post-assessments illustrated promising outcomes in all three specific areas of focus: (1) whether QPic can alleviate technical barriers in learning QIST, (2) ensures that the content and teaching method are age appropriate, (3) increases confidence and motivation in science and STEM fields. There was a notable success rate in terms of teaching outcomes, with 82% of participants successfully passing an end-of-training exam and 48% achieving a distinction, indicating a high level of performance. The unique testing and training regime effectively reduced the technical barriers typically associated with traditional approaches, as hypothesized.
Artificial intelligence (AI) is currently based largely on black-box machine learning models which lack interpretability. The field of eXplainable AI (XAI) strives to address this major concern, being critical in high-stakes areas such as the finance, legal and health sectors. We present an approach to defining AI models and their interpretability based on category theory. For this we employ the notion of a compositional model, which sees a model in terms of formal string diagrams which capture its abstract structure together with its concrete implementation. This comprehensive view incorporates deterministic, probabilistic and quantum models. We compare a wide range of AI models as compositional models, including linear and rule-based models, (recurrent) neural networks, transformers, VAEs, and causal and DisCoCirc models. Next we give a definition of interpretation of a model in terms of its compositional structure, demonstrating how to analyse the interpretability of a model, and using this to clarify common themes in XAI. We find that what makes the standard 'intrinsically interpretable' models so transparent is brought out most clearly diagrammatically. This leads us to the more general notion of compositionally-interpretable (CI) models, which additionally include, for instance, causal, conceptual space, and DisCoCirc models. We next demonstrate the explainability benefits of CI models. Firstly, their compositional structure may allow the computation of other quantities of interest, and may facilitate inference from the model to the modelled phenomenon by matching its structure. Secondly, they allow for diagrammatic explanations for their behaviour, based on influence constraints, diagram surgery and rewrite explanations. Finally, we discuss many future directions for the approach, raising the question of how to learn such meaningfully structured models in practice.
Let $C$ be an $m$-dimensional cone immersed in $\mathbb{R}^{n+m}$. In this paper, we show that if $F:M^m \rightarrow \mathbb{R}^{n+m}$ is a properly immersed mean curvature flow self-shrinker which is smoothly asymptotic to $C$, then it is unique and converges to $C$ with unit multiplicity. Furthermore, if $F_1$ and $F_2$ are self-expanders that both converge to $C$ smoothly asymptotically and their separation decreases faster than $ρ^{-m-1}e^{-ρ^2/4}$ in the Hausdorff metric, then the images of $F_1$ and $F_2$ coincide.
We construct an ancient solution to planar curve shortening. The solution is at all times compact and embedded. For $t\ll0$ it is approximated by the rotating Yin-Yang soliton, truncated at a finite angle $α(t) = -t$, and closed off by a small copy of the Grim Reaper translating soliton.
We prove a uniqueness result for asymptotically conical (AC) gradient shrinking solitons for the Laplacian flow of closed G_2-structures: If two gradient shrinking solitons to Laplacian flow are asymptotic to the same closed G_2-cone, then their G_2-structures are equivalent, and in particular, the two solitons are isometric. The proof extends Kotschwar and Wang's argument for uniqueness of AC gradient shrinking Ricci solitons. We additionally show that the symmetries of the G_2-structure of an AC shrinker end are inherited from its asymptotic cone; under a mild assumption on the fundamental group, the symmetries of the asymptotic cone extend to global symmetries.
In this paper, we prove that any mean curvature flow translator $Σ^2 \subset \mathbb{R}^3$ with finite total curvature and one end must be a plane. We also prove that if the translator $Σ$ has multiple ends, they are asymptotic to a plane $Π$ containing the direction of translation and can be written as graphs over $Π$. Finally, we determine that the ends of $Σ$ are strongly asymptotic to $Π$ and obtain quantitative estimates for their asymptotic behavior.
Scientific studies of consciousness rely on objects whose existence is assumed to be independent of any consciousness. On the contrary, we assume consciousness to be fundamental, and that one of the main features of consciousness is characterized as being other-dependent. We set up a framework which naturally subsumes this feature by defining a compact closed category where morphisms represent conscious processes. These morphisms are a composition of a set of generators, each being specified by their relations with other generators, and therefore co-dependent. The framework is general enough and fits well into a compositional model of consciousness. Interestingly, we also show how our proposal may become a step towards avoiding the hard problem of consciousness, and thereby address the combination problem of conscious experiences.
In this paper, we introduce a dyadic structure on convex domains of finite type via the so-called dyadic flow tents. This dyadic structure allows us to establish weighted norm estimates for the Bergman projection $P$ on such domains with respect to Muckenhoupt weights. In particular, this result gives an alternative proof of the $L^p$ boundedness of $P$. Moreover, using extrapolation, we are also able to derive weighted vector-valued estimates and weighted modular inequalities for the Bergman projection.
This article investigates the Euler-Maruyama approximation procedure for stochastic differential equations in the framework of G-Browinian motion with non-linear growth and non-Lipschitz conditions. Subject to non-linear growth condition, it is revealed that the Euler-Maruyama approximate solutions are bounded in M^2_G.In view ofnon-linear growth and non-uniform Lipschitz conditions,we give estimates for the difference between the exact solution Z(t) and approximate solutions Zq(t) of SDEs in the framework of G-Brownia nmotion.
This article is proposed to investigate the impacts of heat and mass transfer in magnetohydrodynamic casson fluid embedded in porous medium. The generalized solutions have been traced out for the temperature distribution, mass concentration and velocity profiles under the existence and non-existence of transverse magnetic field, permeability and porosity. The corresponding solutions of temperature distribution and mass concentration, velocity profiles are expressed in terms of newly defined generalized Robotnov-Hartley function, wright function and Mittage-Leffler function respectively. All the corresponding solutions fulfill necessary conditions (initial, natural and boundary conditions) as well. Caputo Fractionalized solutions have been converted for ordinary solutions by substituting ζ=1. Some similar solutions for the temperature distribution, mass concentration and velocity profiles have been particularized form generalized solutions. Owing to the rheology of problem, graphical illustrations of distinct parameters are discussed in detail by depicting figures using Mathcad software (15).
Conway and Kochen's Free Will Theory is examined as an important foundational element in a new area of activity in computer science - developing protocols for quantum computing