<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Quantum-Enhanced Causal Inference for High-Dimensional Astronomical Data - Extended Abstract</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Gabriele Gianini</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Michele Banfi</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Corrado Mio</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alberto Leporati</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Mario Pasquato</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Istituto di Astrofisica Spaziale e Fisica cosmica (IASF)/INAF</institution>
          ,
          <addr-line>Via Bassini 15, 20133, Milan</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Khalifa University of Science and Technology, Hadbat Al Zaafran</institution>
          ,
          <addr-line>127788, Abu Dhabi, UAE</addr-line>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Università degli Studi di Milano-Bicocca</institution>
          ,
          <addr-line>DISCo, viale Sarca 336, 20126, Milan</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2025</year>
      </pub-date>
      <abstract>
        <p>We propose an approach based on the Fixed-Point Grover search in combinatorial spaces to eficiently identify acyclic causal structures compatible with the PC and FCI causal discovery algorithm's output, paving the way for scalable statistical studies of causal structures in large astrophysical datasets. Causal Discovery provides a principled framework for uncovering causal relationships from observational data - an especially valuable feature in domains like astrophysics, where direct interventions are often impossible. Although its applications in astronomy remain limited, initial results - such as studies of supermassive black hole and host galaxy coevolution - highlight its promise. Existing algorithms, such as the Peter-Clark (PC) and Fast Causal Inference (FCI) methods, along with their emerging quantum counterparts, can infer partial causal structures from data but frequently return graphs with undirected edges due to ambiguities inherent in the underlying statistical dependencies. Among the many graphs compatible with these partial structures, only those that are acyclic (i.e. Directed Causal Graphs, DAGs) are valid causal candidates, making the selection of a suitable graph a non-trivial task. This challenge escalates with dataset dimensionality, as the number of DAGs consistent with observed conditional independencies can grow superexponentially. So far, the application of causal discovery in astrophysics has been made possible only by severely constraining the dimensionality of the problem. However, as the field moves toward higher-dimensional latent representations - such as those extracted from images or spectra - classical approaches may become computationally infeasible. In this context, quantum algorithms ofer a promising alternative. We propose a quantum-accelerated approach to structure learning that addresses this problem. Specifically, we explore a variant of Grover's algorithm the fixed-point Grover search - to eficiently explore the constrained space of acyclic directed graphs compatible with the output of the PC algorithm. To this purpose, we map the PC and FCI constraints into a Boolean satisfiability (SAT) problem and construct a SAT oracle, followed by an acyclicity oracle that either exploits Kahn's algorithm (which relies on the existence of a topological ordering in DAGs) or a frontier-propagation method (that tracks the return to a source node). The two methods ofer diferent trade-ofs between circuit width and depth. Within this large combinatorial space, the proposed framework can be used to sample from the set of DAGs consistent with the PC/FCI results, thus enabling the statistical characterization of multiple causal solutions compatible with the observational data.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Causal Discovery</kwd>
        <kwd>Constraint-based methods</kwd>
        <kwd>PC algorithm</kwd>
        <kwd>Boolean Satisfiability (SAT)</kwd>
        <kwd>Quantum search</kwd>
        <kwd>FixedPoint Grover algorithm</kwd>
        <kwd>Astronomical applications</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Summary</title>
      <p>The design of this quantum-enhanced causal discovery scheme is intended for future applicability to
large-scale astrophysical datasets, contingent on the availability of suitable quantum hardware.</p>
    </sec>
    <sec id="sec-2">
      <title>Declaration on Generative AI</title>
      <p>The author(s) have not employed any Generative AI tools.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>