arXiv subjects

Jessica Liu

Publications and source records attributed to Jessica Liu.

9 recordsLinked to original sources

arXiv2026

Predictive Modeling in AUV Navigation: A Perspective from Kalman Filtering

We present a safety-oriented framework for autonomous underwater vehicles (AUVs) that improves localization accuracy, enhances trajectory prediction, and supports efficient search operations during communication loss. Acoustic signals emitted by the AUV are detected by a network of fixed buoys, which compute Time-Difference-of-Arrival (TDOA) range-difference measurements serving as position observations. These observations are subsequently fused with a Kalman-based prediction model to obtain continuous, noise-robust state estimates. The combined method achieves significantly better localization precision and trajectory stability than TDOA-only baselines. Beyond real-time tracking, our framework offers targeted search-and-recovery capability by predicting post-disconnection motion and explicitly modeling uncertainty growth. The search module differentiates between continued navigation and propulsion failure, allowing search resources to be deployed toward the most probable recovery region. Our framework fuses multi-buoy acoustic data with Kalman filtering and uncertainty propagation to maintain navigation accuracy and yield robust search-region definitions during communication loss.

cs.RO↗

arXiv2025

Goldman-Turaev formality from the Kontsevich integral

We present a new solution to the formality problem for the framed Goldman--Turaev Lie bialgebra, constructing Goldman-Turaev homomorphic expansions (formality isomorphisms) from the Kontsevich integral. Our proof uses a three dimensional derivation of the Goldman-Turaev Lie biaglebra arising from a low-degree Vassiliev quotient -- the {\em emergent} quotient -- of tangles in a thickened punctured disk, modulo a Conway skein relation. This is in contrast to Massuyeau's 2018 proof using braids. A feature of our approach is a general conceptual framework which is applied to prove the compatibility of the homomorphic expansion with both the Goldman bracket and the technically challenging Turaev cobracket.

math.QA↗

arXiv2024

Unified Deep Learning Framework for Many-Body Quantum Chemistry via Green's Functions

Quantum many-body methods provide a systematic route to computing electronic properties of molecules and materials, but high computational costs restrict their use in large-scale applications. Due to the complexity in many-electron wavefunctions, machine learning models capable of capturing fundamental many-body physics remain limited. Here, we present a deep learning framework targeting the many-body Green's function, which unifies predictions of electronic properties in ground and excited states, while offering physical insights into many-electron correlation effects. By learning the $GW$ or coupled-cluster self-energy from mean-field features, our graph neural network achieves competitive performance in predicting one- and two-particle excitations and quantities derivable from one-particle density matrix. We demonstrate its high data efficiency and good transferability across chemical species, system sizes, molecular conformations, and correlation strengths in bond breaking, through multiple molecular and nanomaterial benchmarks. This work opens up opportunities for utilizing machine learning to solve many-electron problems.

physics.chem-ph↗

arXiv2024

A diagrammatic computation of abelian link invariants

We show how the multivariable signature and Alexander polynomial of a colored link can be computed from a single symmetric matrix naturally defined from a colored link diagram. In the case of a single variable, it coincides with the matrix introduced by Kashaev in [arXiv:1801.04632], which was recently proven to compute the Levine-Tristram signature and the Alexander polynomial of oriented links [arXiv:2311.01923, arXiv:2310.16729]. As a corollary, we obtain a multivariable extension of Kauffman's determinantal model of the Alexander polynomial, recovering a result of Zibrowius [arXiv:1601.04915v1].

math.GT↗

arXiv2023

FairCompass: Operationalising Fairness in Machine Learning

As artificial intelligence (AI) increasingly becomes an integral part of our societal and individual activities, there is a growing imperative to develop responsible AI solutions. Despite a diverse assortment of machine learning fairness solutions is proposed in the literature, there is reportedly a lack of practical implementation of these tools in real-world applications. Industry experts have participated in thorough discussions on the challenges associated with operationalising fairness in the development of machine learning-empowered solutions, in which a shift toward human-centred approaches is promptly advocated to mitigate the limitations of existing techniques. In this work, we propose a human-in-the-loop approach for fairness auditing, presenting a mixed visual analytical system (hereafter referred to as 'FairCompass'), which integrates both subgroup discovery technique and the decision tree-based schema for end users. Moreover, we innovatively integrate an Exploration, Guidance and Informed Analysis loop, to facilitate the use of the Knowledge Generation Model for Visual Analytics in FairCompass. We evaluate the effectiveness of FairCompass for fairness auditing in a real-world scenario, and the findings demonstrate the system's potential for real-world deployability. We anticipate this work will address the current gaps in research for fairness and facilitate the operationalisation of fairness in machine learning systems.

cs.LG↗

arXiv2023

Convergence of Time-Average along Uniformly Behaved in ${\mathbb N}$ Sequences on Every Point

We define a uniformly behaved in ${\mathbb N}$ arithmetic sequence ${\bf a}$ and an ${\bf a}$-mean Lyapunov stable dynamical system $f$. We consider the time-average of a continuous function $\phi$ along the ${\bf a}$-orbit of $f$ up to $N$. The main result we prove in the paper is that this partial time-average converges for every point in the space if ${\bf a}$ is uniformly behaved in ${\mathbb N}$ and $f$ is minimal and uniquely ergodic and ${\bf a}$-mean Lyapunov stable. In addition, if ${\bf a}$ is also completely additive, we then prove that the time-average of a continuous function $\phi$ along the square-free ${\bf a}$-orbit of $f$ up to $N$ converges for every point in the space as well. All equicontinuous dynamical systems are ${\bf a}$-mean Lyapunov stable for any sequence ${\bf a}$. When ${\bf a}$ is a subsequence of ${\mathbb N}$ with positive lower density, we give two non-trivial examples of ${\bf a}$-mean Lyapunov stable dynamical systems. We give several examples of uniformly behaved in $\mathbb{N}$ sequences, including the counting function of the prime factors in natural numbers, the subsequence of natural numbers indexed by the Thue-Morse (or Rudin-Shapiro) sequence, and the sequence of even (or odd) prime factor natural numbers. We also show that the sequence of square-free natural numbers (or even (or odd) prime factor square-free natural numbers) is rotationally distributed in ${\mathbb N}$ but not uniformly distributed in ${\mathbb Z}$, thus not uniformly behaved in ${\mathbb N}$. We derive other consequences from the main result relevant to number theory and ergodic theory/dynamical systems.

math.NT↗

arXiv2023

A Proof of the Kashaev Signature Conjecture

In 2018 Kashaev introduced a diagrammatic link invariant conjectured to be twice the Levine-Tristram signature. If true, the conjecture would provide a simple way of computing the Levine-Tristram signature of a link by taking the signature of a real symmetric matrix associated with a corresponding link diagram. This paper establishes the conjecture using the Seifert surface definition of the Levine-Tristram signature on the disjoint union of an oriented link and its reverse. The proof also reveals yet another formula for the Alexander polynomial.

math.GT↗

arXiv2021

Quantifying patient and neighborhood risks for stillbirth and preterm birth in Philadelphia with a Bayesian spatial model

Stillbirth and preterm birth are major public health challenges. Using a Bayesian spatial model, we quantified patient-specific and neighborhood risks of stillbirth and preterm birth in the city of Philadelphia. We linked birth data from electronic health records at Penn Medicine hospitals from 2010 to 2017 with census-tract-level data from the United States Census Bureau. We found that both patient-level characteristics (e.g. self-identified race/ethnicity) and neighborhood-level characteristics (e.g. violent crime) were significantly associated with patients' risk of stillbirth or preterm birth. Our neighborhood analysis found that higher-risk census tracts had 2.68 times the average risk of stillbirth and 2.01 times the average risk of preterm birth compared to lower-risk census tracts. Higher neighborhood rates of women in poverty or on public assistance were significantly associated with greater neighborhood risk for these outcomes, whereas higher neighborhood rates of college-educated women or women in the labor force were significantly associated with lower risk. Several of these neighborhood associations were missed by the patient-level analysis. These results suggest that neighborhood-level analyses of adverse pregnancy outcomes can reveal nuanced relationships and, thus, should be considered by epidemiologists. Our findings can potentially guide place-based public health interventions to reduce stillbirth and preterm birth rates.

stat.AP↗

arXiv2018

Gröbner Bases of Neural Ideals

The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. Every neural ideal has a particular generating set, called the canonical form, that directly encodes a minimal description of the receptive field structure intrinsic to the neural code. On the other hand, for a given monomial order, any polynomial ideal is also generated by its unique (reduced) Gröbner basis with respect to that monomial order. How are these two types of generating sets -- canonical forms and Gröbner bases -- related? Our main result states that if the canonical form of a neural ideal is a Gröbner basis, then it is the universal Gröbner basis (that is, the union of all reduced Gröbner bases). Furthermore, we prove that this situation -- when the canonical form is a Gröbner basis -- occurs precisely when the universal Gröbner basis contains only pseudo-monomials (certain generalizations of monomials). Our results motivate two questions: (1)~When is the canonical form a Gröbner basis? (2)~When the universal Gröbner basis of a neural ideal is {\em not} a canonical form, what can the non-pseudo-monomial elements in the basis tell us about the receptive fields of the code? We give partial answers to both questions. Along the way, we develop a representation of pseudo-monomials as hypercubes in a Boolean lattice.

q-bio.NC↗