arXiv subjects

Matthew Green

Publications and source records attributed to Matthew Green.

At least 19 recordsLinked to original sources

arXiv2026

V407 Vul: a triple star system with an AM CVn detectable by gravitational wave observatories

The AM CVn class includes mass transferring, ultra-compact double white dwarf binaries with orbital periods on the timescale of minutes. A long-standing puzzle is that none of the roughly fifty ultra-compact, "verification binaries" which are easily detectable in the millihertz gravitational wave regime reside in a triple star configuration. Much evidence has hinted at V407 Vul being an inspiraling, double white dwarf AM CVn with an orbital period of 569s. Yet, a decisive confirmation has proved challenging since a main sequence star dominates its visible spectrum. We present a clear confirmation of the triple star nature of the source by detecting a significant astrometric wobble of the photocentre on the 569s orbital period of the binary. The AM CVn and the main sequence components are gravitationally bound with a spatial separation of roughly 0.03-0.04'', equating to an orbital separation of approximately 120AU. A total of 23 years of orbital timing constrained the orbital decay of the AM CVn as being precise to the 1% level, critical in understanding if this class of binary survives through a period minimum or coalesce. New Hubble Space Telescope ultra-violet imaging and spectroscopic data allowed the isolated detection of the AM CVn at shorter wavelengths, revealing an approximately 58000 K accretor white dwarf, while placing a firm distance constraint of 3510+140-110 pc. At this distance, we predict that the Laser Interferometer Space Antenna (LISA) will detect V407 Vul with a 28.4+-9.2 signal-to-noise ratio in a 4yr mission time, making it the first verification binary with an outer tertiary, or "verification triple", detectable for millihertz gravitational wave observatories.

astro-ph.SR↗

arXiv2025

Towards AI-Assisted Generation of Military Training Scenarios

Achieving expert-level performance in simulation-based training relies on the creation of complex, adaptable scenarios, a traditionally laborious and resource intensive process. Although prior research explored scenario generation for military training, pre-LLM AI tools struggled to generate sufficiently complex or adaptable scenarios. This paper introduces a multi-agent, multi-modal reasoning framework that leverages Large Language Models (LLMs) to generate critical training artifacts, such as Operations Orders (OPORDs). We structure our framework by decomposing scenario generation into a hierarchy of subproblems, and for each one, defining the role of the AI tool: (1) generating options for a human author to select from, (2) producing a candidate product for human approval or modification, or (3) generating textual artifacts fully automatically. Our framework employs specialized LLM-based agents to address distinct subproblems. Each agent receives input from preceding subproblem agents, integrating both text-based scenario details and visual information (e.g., map features, unit positions and applies specialized reasoning to produce appropriate outputs. Subsequent agents process these outputs sequentially, preserving logical consistency and ensuring accurate document generation. This multi-agent strategy overcomes the limitations of basic prompting or single-agent approaches when tackling such highly complex tasks. We validate our framework through a proof-of-concept that generates the scheme of maneuver and movement section of an OPORD while estimating map positions and movements as a precursor demonstrating its feasibility and accuracy. Our results demonstrate the potential of LLM-driven multi-agent systems to generate coherent, nuanced documents and adapt dynamically to changing conditions, advancing automation in scenario generation for military training.

cs.AI↗

arXiv2025

zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements

Digital transactions currently exceed trillions of dollars annually, yet traditional paper-based agreements remain a bottleneck for automation, enforceability, and dispute resolution. Natural language contracts introduce ambiguity, require manual processing, and lack computational verifiability, all of which hinder efficient digital commerce. Computable legal contracts, expressed in machine-readable formats, offer a potential solution by enabling automated execution and verification. Blockchain-based smart contracts further strengthen enforceability and accelerate dispute resolution; however, current implementations risk exposing sensitive agreement terms on public ledgers, raising serious privacy and competitive intelligence concerns that limit enterprise adoption. We introduce zk-agreements, a protocol designed to transition from paper-based trust to cryptographic trust while preserving confidentiality. Our design combines zero-knowledge proofs to protect private agreement terms, secure two-party computation to enable private compliance evaluation, and smart contracts to guarantee automated enforcement. Together, these components achieve both privacy preservation and computational enforceability, resolving the fundamental tension between transparency and confidentiality in blockchain-based agreements.

cs.CR↗

arXiv2025

Dormant black hole candidates from Gaia DR3 summary diagnostics

We present a rigorous identification of candidates for dormant black holes (BHs) and neutron stars (NSs) in binaries using summary statistics from Gaia DR3, rather than full orbital solutions. Although Gaia astrometric orbits have already revealed a small sample of compact object binaries, many systems remain undetected due to stringent quality cuts imposed on the published orbits. Using a forward-modelling framework that simulates Gaia observables, in particular the re-normalised unit weight error (ruwe) and radial velocity (RV) scatter, we infer posterior distributions for companion mass and orbital period via MCMC sampling, marginalising over nuisance orbital parameters. We validate our approach by comparing the predicted masses and periods against full orbit solutions from DR3, and by successfully recovering known compact object binaries as promising candidates. The method is best suited for systems with red giant primaries, which have more reliable Gaia RV scatter and a light centroid more likely dominated by one component, compared to main-sequence stars, and they are less likely to be triples with short-period inner binaries, which produce confounding signatures. We applied the method to three million giants and identify 389 systems with best-fit companion masses $\gtrsim 3\,M_\odot$. Recovery simulations suggest our selection method is substantially more sensitive than the DR3 non-single-star catalogue, particularly for binaries with periods below 1 year and above $\sim 6$ years. These candidates represent promising targets for spectroscopic follow-up and Gaia DR4 analysis to confirm the presence of compact objects. Candidate main-sequence stars with massive companions face a larger set of confounding effects. Therefore, we present an analogous catalogue of 279 additional main-sequence candidates only as an appendix.

astro-ph.SR↗

arXiv2025

Moisture-driven CO2 direct air capture and delivery for cultivating cyanobacteria

A moisture-driven air capture system was developed and demonstrated for cultivating cyanobacteria and microalgae at the flask (50 mL), bench (12 L) and small pilot (840 L) scale. Purolite A501 anion exchange resin beads were found to be biocompatible and rapidly deliver air-captured CO2 when immersed directly in an alkaline cultivation medium containing cyanobacteria or microalgae. Flask-scale cultivation trials showed A501 could sustain rapid growth (190 mg/L/d) of the cyanobacterium Synechocystis sp. PCC 6803 strain engineered to produce laurate. A bench-scale system installed in a laminar flow hood was able to deliver 2 g CO2/d into abiotic alkaline cultivation medium and 0.5 g/d in the presence of Synechocystis to support vigorous growth (39 mg/L/d) limited by the CO2 delivered by the sorbent. A small pilot-scale system installed in a 4.2 m2 outdoor raceway pond in Mesa, Arizona was able to deliver 100 g CO2/d into abiotic alkaline cultivation medium. Exopolysaccharides and other products excreted by Synechocystis 6803 covered the sorbent beads, reducing their capacity to 25%, which could be partially restored to 70% capacity using a wash protocol, but the CO2 delivery kinetics remained 3-4 fold slower. Analysis of the sorbent beads used as part of four separate outdoor cultivation trials with over 300 days of outdoor wet and dry cycling over four seasons showed significant mechanical fracturing. Infrared spectroscopy and thermogravimetric analysis showed a significant loss of NR4+ functional groups necessary for CO2 capture correlated with extended use. Under the assumption that abiotic performance eventually can be retained by delivering CO2 into the media recycle stream in a way that avoids biofouling, technoeconomic and life cycle analyses show the viability of a small first-of-a-kind biorefinery producing 500 barrels per day of biofuel.

cond-mat.soft↗

arXiv2025

Mirror Mirror on the Wall, Have I Forgotten it All? A New Framework for Evaluating Machine Unlearning

Machine unlearning methods take a model trained on a dataset and a forget set, then attempt to produce a model as if it had only been trained on the examples not in the forget set. We empirically show that an adversary is able to distinguish between a mirror model (a control model produced by retraining without the data to forget) and a model produced by an unlearning method across representative unlearning methods from the literature. We build distinguishing algorithms based on evaluation scores in the literature (i.e. membership inference scores) and Kullback-Leibler divergence. We propose a strong formal definition for machine unlearning called computational unlearning. Computational unlearning is defined as the inability for an adversary to distinguish between a mirror model and a model produced by an unlearning method. If the adversary cannot guess better than random (except with negligible probability), then we say that an unlearning method achieves computational unlearning. Our computational unlearning definition provides theoretical structure to prove unlearning feasibility results. For example, our computational unlearning definition immediately implies that there are no deterministic computational unlearning methods for entropic learning algorithms. We also explore the relationship between differential privacy (DP)-based unlearning methods and computational unlearning, showing that DP-based approaches can satisfy computational unlearning at the cost of an extreme utility collapse. These results demonstrate that current methodology in the literature fundamentally falls short of achieving computational unlearning. We conclude by identifying several open questions for future work.

cs.LG↗

arXiv2025

V498 Hya, a new candidate for a period bouncer Cataclysmic Variable

V498 Hya (SDSS J084555.07+033929.2) was identified as a short-period cataclysmic variable (CV) by the Catalina Real-Time Transient Survey (CRTS) in 2008. The superhump period was measured during the detected single superoutburst of V498 Hya. The quiescent spectrum subsequently taken by the \SDSSV\ Milky Way Mapper survey suggested that the CV donor may be a brown dwarf. We present time-resolved follow-up spectroscopy of V498 Hya in quiescence, obtained with the GTC OSIRIS spectrograph, from which we derived the 86.053 min spectroscopic period, systemic radial velocity, and the gravitational redshift of the Mg II line. We also modeled the spectral energy distribution to constrain the system parameters, including the > 0.82 Ms mass of the white dwarf and the best-fit value 0.043 +/- 0.004 Ms of the donor star mass. This combination of parameters implies that V498 Hya has evolved past the period minimum and is a relatively rare ``period bouncer''.

astro-ph.SR↗

arXiv2024

Unconventional domain tessellations in moir\'e-of-moir\'e lattices

Imposing incommensurable periodicity on the periodic atomic lattice can lead to complex structural phases consisting of locally periodic structure bounded by topological defects. Twisted trilayer graphene (TTG) is an ideal material platform to study the interplay between different atomic periodicities, which can be tuned by twist angles between the layers, leading to moir\'e-of-moir\'e lattices. Interlayer and intralayer interactions between two interfaces in TTG transform this moir\'e-of-moir\'e lattice into an intricate network of domain structures at small twist angles, which can harbor exotic electronic behaviors. Here we report a complete structural phase diagram of TTG with atomic scale lattice reconstruction. Using transmission electron microscopy combined with a new interatomic potential simulation, we show several large-scale moir\'e lattices, including triangular, kagome, and a corner-shared hexagram-shaped domain pattern. Each domain is bounded by a two-dimensional network of domain wall lattices. In the limit of small twist angles, two competing structural orders-rhombohedral and Bernal stackings-with a slight energy difference, cause unconventional lattice reconstruction with spontaneous symmetry breaking and nematic instability, highlighting the importance of long-range interlayer interactions across entire van der Waals layers. The diverse tessellation of distinct domains, whose topological network can be tuned by the adjustment of the twist angles, establishes TTG as a platform for exploring the interplay between emerging quantum properties and controllable nontrivial lattices.

cond-mat.mtrl-sci↗

arXiv2023

McFIL: Model Counting Functionality-Inherent Leakage

Protecting the confidentiality of private data and using it for useful collaboration have long been at odds. Modern cryptography is bridging this gap through rapid growth in secure protocols such as multi-party computation, fully-homomorphic encryption, and zero-knowledge proofs. However, even with provable indistinguishability or zero-knowledgeness, confidentiality loss from leakage inherent to the functionality may partially or even completely compromise secret values without ever falsifying proofs of security. In this work, we describe McFIL, an algorithmic approach and accompanying software implementation which automatically quantifies intrinsic leakage for a given functionality. Extending and generalizing the Chosen-Ciphertext attack framework of Beck et al. with a practical heuristic, our approach not only quantifies but maximizes functionality-inherent leakage using Maximum Model Counting within a SAT solver. As a result, McFIL automatically derives approximately-optimal adversary inputs that, when used in secure protocols, maximize information leakage of private values.

cs.CR↗

arXiv2022

Two decades of optical timing of the shortest-period binary star system HM Cancri

The shortest-period binary star system known to date, RX J0806.3+1527 (HM Cancri), has now been observed in the optical for more than two decades. Although it is thought to be a double degenerate binary undergoing mass transfer, an early surprise was that its orbital frequency, $f_0$, is currently increasing as the result of gravitational wave radiation. This is unusual since it was expected that the mass donor was degenerate and would expand on mass loss, leading to a decreasing $f_0$. We exploit two decades of high-speed photometry to precisely quantify the trajectory of HM Cancri, allowing us to find that $\ddot f_0$ is negative, where $\ddot f_0~=~(-5.38\pm2.10)\times10^{-27}$ Hz s$^{-2}$. Coupled with our positive frequency derivative, we show that mass transfer is counteracting gravitational-wave dominated orbital decay and that HM Cancri will turn around within $2100\pm800\,$yrs from now. We present Hubble Space Telescope ultra-violet spectra which display Lyman-$\alpha$ absorption, indicative of the presence of hydrogen accreted from the donor star. We use these pieces of information to explore a grid of permitted donor and accretor masses with the Modules for Experiments in Stellar Astrophysics suite, finding models in good accordance with many of the observed properties for a cool and initially hydrogen-rich extremely-low-mass white dwarf ($\approx0.17\,$M$_\odot$) coupled with a high accretor mass white dwarf ($\approx 1.0\,$M$_\odot$). Our measurements and models affirm that HM~Cancri is still one of the brightest verification binaries for the Laser Interferometer Space Antenna spacecraft.

astro-ph.SR↗

arXiv2022

Probable Dormant Neutron Star in a Short-Period Binary System

We have identified 2XMM J125556.57+565846.4, at a distance of 600 pc, as a binary system consisting of a normal star and a probable dormant neutron star. Optical spectra exhibit a slightly evolved F-type single star, displaying periodic Doppler shifts with a 2.76-day Keplerian circular orbit, with no indication of light from a secondary component. Optical and UV photometry reveal ellipsoidal variations with half the orbital period, due to the tidal deformation of the F star. The mass of the unseen companion is constrained to the range $1.1$--$2.1\,M_{\odot}$ at $3\sigma$ confidence, with the median of the mass distribution at $1.4\,M_{\odot}$, the typical mass of known neutron stars. A main-sequence star cannot masquerade as the dark companion. The distribution of possible companion masses still allows for the possibility of a very massive white dwarf. The companion itself could also be a close pair consisting of a white dwarf and an M star, or two white dwarfs, although the binary evolution that would lead to such a close triple system is unlikely. Similar ambiguities regarding the certain identification of a dormant neutron star are bound to affect most future discoveries of this type of non-interacting system. If the system indeed contains a dormant neutron star, it will become, in the future, a bright X-ray source and afterwards might even host a millisecond pulsar.

astro-ph.SR↗

arXiv2021

SoK: Cryptographic Confidentiality of Data on Mobile Devices

Mobile devices have become an indispensable component of modern life. Their high storage capacity gives these devices the capability to store vast amounts of sensitive personal data, which makes them a high-value target: these devices are routinely stolen by criminals for data theft, and are increasingly viewed by law enforcement agencies as a valuable source of forensic data. Over the past several years, providers have deployed a number of advanced cryptographic features intended to protect data on mobile devices, even in the strong setting where an attacker has physical access to a device. Many of these techniques draw from the research literature, but have been adapted to this entirely new problem setting. This involves a number of novel challenges, which are incompletely addressed in the literature. In this work, we outline those challenges, and systematize the known approaches to securing user data against extraction attacks. Our work proposes a methodology that researchers can use to analyze cryptographic data confidentiality for mobile devices. We evaluate the existing literature for securing devices against data extraction adversaries with powerful capabilities including access to devices and to the cloud services they rely on. We then analyze existing mobile device confidentiality measures to identify research areas that have not received proper attention from the community and represent opportunities for future research.

cs.CR↗

arXiv2021

Data Security on Mobile Devices: Current State of the Art, Open Problems, and Proposed Solutions

In this work we present definitive evidence, analysis, and (where needed) speculation to answer the questions, (1) Which concrete security measures in mobile devices meaningfully prevent unauthorized access to user data? (2) In what ways are modern mobile devices accessed by unauthorized parties? (3) How can we improve modern mobile devices to prevent unauthorized access? We examine the two major platforms in the mobile space, iOS and Android, and for each we provide a thorough investigation of existing and historical security features, evidence-based discussion of known security bypass techniques, and concrete recommendations for remediation. We then aggregate and analyze public records, documentation, articles, and blog postings to categorize and discuss unauthorized bypass of security features by hackers and law enforcement alike. We provide in-depth analysis of the data potentially accessed via law enforcement methodologies from both mobile devices and associated cloud services. Our fact-gathering and analysis allow us to make a number of recommendations for improving data security on these devices. The mitigations we propose can be largely summarized as increasing coverage of sensitive data via strong encryption, but we detail various challenges and approaches towards this goal and others. It is our hope that this work stimulates mobile device development and research towards security and privacy, provides a unique reference of information, and acts as an evidence-based argument for the importance of reliable encryption to privacy, which we believe is both a human right and integral to a functioning democracy.

cs.CR↗

arXiv2019

Guidelines for reporting single-cell RNA-Seq experiments

Single-cell RNA-Sequencing (scRNA-Seq) has undergone major technological advances in recent years, enabling the conception of various organism-level cell atlassing projects. With increasing numbers of datasets being deposited in public archives, there is a need to address the challenges of enabling the reproducibility of such data sets. Here, we describe guidelines for a minimum set of metadata to sufficiently describe scRNA-Seq experiments, ensuring reproducibility of data analyses.

q-bio.GN↗

arXiv2019

KeyForge: Mitigating Email Breaches with Forward-Forgeable Signatures

Email breaches are commonplace, and they expose a wealth of personal, business, and political data that may have devastating consequences. The current email system allows any attacker who gains access to your email to prove the authenticity of the stolen messages to third parties -- a property arising from a necessary anti-spam / anti-spoofing protocol called DKIM. This exacerbates the problem of email breaches by greatly increasing the potential for attackers to damage the users' reputation, blackmail them, or sell the stolen information to third parties. In this paper, we introduce "non-attributable email", which guarantees that a wide class of adversaries are unable to convince any third party of the authenticity of stolen emails. We formally define non-attributability, and present two practical system proposals -- KeyForge and TimeForge -- that provably achieve non-attributability while maintaining the important protection against spam and spoofing that is currently provided by DKIM. Moreover, we implement KeyForge and demonstrate that that scheme is practical, achieving competitive verification and signing speed while also requiring 42% less bandwidth per email than RSA2048.

cs.CR↗

arXiv2019

Astro2020 Science White Paper: Understanding the evolution of close white dwarf binaries

Interacting binaries containing white dwarfs can lead to a variety of outcomes that range from powerful thermonuclear explosions, which are important in the chemical evolution of galaxies and as cosmological distance estimators, to strong sources of low frequency gravitational wave radiation, which makes them ideal calibrators for the gravitational low-frequency wave detector LISA mission. However, current theoretical evolution models still fail to explain the observed properties of the known populations of white dwarfs in both interacting and detached binaries. Major limitations are that the existing population models have generally been developed to explain the properties of sub-samples of these systems, occupying small volumes of the vast parameter space, and that the observed samples are severely biased. The overarching goal for the next decade is to assemble a large and homogeneous sample of white dwarf binaries that spans the entire range of evolutionary states, to obtain precise measurements of their physical properties, and to further develop the theory to satisfactorily reproduce the properties of the entire population. While ongoing and future all-sky high- and low-resolution optical spectroscopic surveys allow us to enlarge the sample of these systems, high-resolution ultraviolet spectroscopy is absolutely essential for the characterization of the white dwarfs in these binaries. The Hubble Space Telescope is currently the only facility that provides ultraviolet spectroscopy, and with its foreseeable demise, planning the next ultraviolet mission is of utmost urgency.

astro-ph.SR↗

arXiv2017

Verified Correctness and Security of mbedTLS HMAC-DRBG

We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-based proof. We have also proved that the mbedTLS implementation (C program) correctly implements this functional specification. That proof composes with an existing C compiler correctness proof to guarantee, end-to-end, that the machine language program gives strong pseudorandomness. All proofs (hybrid games, C program verification, compiler, and their composition) are machine-checked in the Coq proof assistant. Our proofs are modular: the hybrid game proof holds on any implementation of HMAC-DRBG that satisfies our functional specification. Therefore, our functional specification can serve as a high-assurance reference.

cs.CR↗

arXiv2016

PTF1 J082340.04+081936.5: A hot subdwarf B star with a low mass white dwarf companion in an 87 minute orbit

We present the discovery of the hot subdwarf B star (sdB) binary PTF1 J082340.04+081936.5. The system has an orbital period P$_{\rm orb}=87.49668(1)$ min (0.060761584(10) days), making it the second-most compact sdB binary known. The lightcurve shows ellipsoidal variations. Under the assumption that the sdB primary is synchronized with the orbit, we find a mass $M_{\rm sdB}=0.45^{+0.09}_{-0.07}$ M$_\odot$, a companion white dwarf mass $M_{\rm WD}=0.46^{+0.12}_{-0.09}$ M$_\odot$ and a mass ratio $q = \frac{M_{\rm WD}}{M_{\rm sdB}}=1.03^{+0.10}_{-0.08}$. The future evolution was calculated using the MESA stellar evolution code. Adopting a canonical sdB mass of $M_{\rm sdB}=0.47$ M$_\odot$, we find that the sdB still burns helium at the time it will fill its Roche lobe if the orbital period was less than 106 min at the exit from the last common envelope phase. For longer common envelope exit periods the sdB will have stopped burning helium and turned into a C/O white dwarf at the time of contact. Comparing the spectroscopically derived log(g) and $T_{\rm eff}$ with our MESA models, we find that an sdB model with a hydrogen envelope mass of $5\times10^{-4} M_\odot$ matches the measurements at a post-common envelope age of 94 Myr, corresponding to a post-common envelope orbital period of 109 min which is close to the limit to start accretion while the sdB is still burning helium.

astro-ph.SR↗