SearcharxivSearch

arXiv subjects

David Brown

Publications and source records attributed to David Brown.

At least 19 recordsLinked to original sources

BettiSplit: Topology-Guided Privacy-Aware Split Learning Against Feature Inversion and Gradient Leakage

Split learning enables collaborative model training by partitioning neural networks across clients and servers. However, improper split placement can lead to severe privacy leakage through intermediate representations. In this work, we propose a topology-guided framework for privacy-aware split learning based on the persistent Betti complexity of smashed activations. Through comprehensive layer-wise analysis, we show that privacy risk in split learning is highly non-uniform across layers and exhibits sharp transition regions that are not captured by architectural depth alone. In particular, feature inversion fidelity increases from negligible reconstruction to as high as 0.98 SSIM at deeper, privacy-critical split points. We further demonstrate that Betti complexity consistently identifies representation regimes associated with elevated feature-space privacy leakage across architectures and datasets. Leveraging this observation, we introduce BettiSafe, a topology-guided split selection strategy that identifies privacy-sensitive layers without requiring explicit attack execution. BettiSafe improves resistance to feature inversion by 2 to 5 times compared to depth-based heuristics while preserving classification accuracy. In addition, Betti-based regularisation increases inversion difficulty by nearly 5 x without degrading model utility, enabling a favourable privacy utility tradeoff. Overall, our results highlight topological complexity as a promising structural descriptor for secure, adaptive, and representation-aware split learning in real-world collaborative systems

cs.LG

Fast-reactor neutron sources in evaluated nuclear data library validation

Two different neutron sources, based on $^{235}$U-fission neutrons with different average energies, provide integral benchmark data for validation of $\gamma$-ray production data in the evaluated nuclear data libraries corresponding to fast-neutron-induced inelastic-neutron scattering reactions. Firstly, we consider the IRT-M Research Reactor, formerly located at the Nuclear Research Institute just outside of Baghdad, Iraq, to demonstrate the validation methodology using the associated $\gamma$-ray data in the Evaluated Nuclear Data File, version VIII.0 (ENDF/B-VIII.0), for several $\gamma$-ray transitions over a wide range of nuclides including $^{28}$Si, $^{32}$S, $^{56}$Fe, and $^{186}$W. Using the characterized neutron flux of the Baghdad IRT-M Reactor, we find flux-weighted cross-sections deduced using the ENDF/B-VIII.0 $\gamma$-ray data to be in good agreement with the integral measurements performed at the Baghdad Research Reactor in addition to the corresponding results of different reaction-model calculations, {\tt CoH$_{3}$} and {\tt EMPIRE}. Given the excitation thresholds for the $\gamma$-ray transitions involved in this investigation, these observations lend further support to the characterization of the IRT-M flux in the fast-neutron energy region $0.862 \leq E_{n} \leq 5.0$ MeV. The additional detail devoted to the IRT-M source reflects the broader scope of the validation work carried out at that facility. A second neutron source considered for this validation work is the Forschungsreaktor M{\"u}nich (FRM-II), Garching, Germany. Again, the flux-weighted $\gamma$-ray data from ENDF/B-VIII.0 for $^{56}$Fe compare well to the integral FRM-II measurement and reaction-model calculations.

nucl-th

Nuclear Reaction Data for Fission Products Off Stability

Neutron cross sections on fission products are relevant to a wide range of applications, including nuclear nonproliferation and forensics, spent-fuel assay, reactor burnup and design, as well as astrophysics. Evaluated nuclear data libraries generally fulfill application needs for isotopes on or near stability, however, for unstable fission products, theoretical descriptions of neutron-induced reactions often constitute the only available source of information. These models often make use of simplified assumptions, leading to unquantified impacts on predicted cross sections. In this work, we discuss possible approaches to addressing these issues, particularly by leveraging machine-learning methods, improved predictive reaction modeling, and experimental data to better constrain model parameters. Our goal is to eventually produce evaluated files for the most-produced nuclei off stability in the fission process of $^{235}$U and submit them to the ENDF/B for consideration in the future ENDF/B-IX.0 release. Here we present the methodology and discuss preliminary results comparing usual simplified approaches with a more realistic one accounting for nuclear deformation.

nucl-th

The PLATO Science Calibration and Validation Plan: Targets for the First Long-pointing Field

In order to meet the science goals of the PLATO space mission, an extensive science calibration and validation plan has been designed. This paper describes this plan, as well as the methodology adopted to select the science calibration and validation stars that have entered its input catalogue. This is the so-called {\tt scvPIC}, which is part of the general PLATO Input Catalogue (PIC) for the first selected long pointing field in the Southern Hemisphere known as LOPS2. While many of PLATO's science requirements needed dedicated stars as calibrators as discussed here, its most stringent requirement is the delivery of the age of the host stars of exoplanetary systems with an accuracy better than 10\% for a G0V star of {\it V} = 10 mag, i.e. a nearby Sun-like star. This is presently not within reach for large populations of dwarfs and subgiants in the Milky Way as it requires the models of their stellar interiors to be improved. We discuss how this ambitious age requirement led to the selection of tens of thousands of red giants, and of thousands of main-sequence early F-type gravity-mode pulsators in order to deduce their internal rotation profile across stellar evolution. This asteroseismic observable will then be imported as key information into improved models of dwarfs and subgiants in the Milky Way as optimal modelling tools for ever better age-dating of the exoplanet hosts as the PLATO mission moves along. Additional calibrators and validators included in the {\tt scvPIC} are a few thousands of binaries, a few hundreds of legacy and benchmark stars, a few hundred photometrically stable stars, and six transiting brown dwarfs.

astro-ph.SR

Proscenium: Exploring Design Spaces of Layered Information Experience on a Large Dual-Layer Transparent Display

Layering information spaces is a promising strategy to design intuitive and engaging interactive experiences. Although multi-layer displays enable promising interaction techniques through limited depth perception - achieved via slight separation between layers - it remains unclear how to fully design experiences that leverage the unique affordances of layered information. To address this, we introduce Proscenium, a dual-layer, large transparent display workspace setup with an adjustable separation between the layers. We demonstrate our preliminary design space focusing on how rendered information can be transitioned and linked across displays, and showcase 14 speculative experience prototypes across six categories.

cs.HC

A finite-difference summation-by-parts, conditionally stable partitioned algorithm for conjugate heat transfer problems

In this work, we design and analyze a novel, provably conditionally stable, weakly coupled partitioned scheme to solve the conjugate heat transfer (CHT) problem. We consider a model CHT problem consisting of linear advection-diffusion and heat equations, coupled at an interface through continuity of temperature and heat flux. We employ high-order summation-by-parts finite-difference operators in conjunction with simultaneous-approximation-terms (SATs) in curvilinear coordinates for spatial derivatives, combined with first- and second-order time discretizations and temporal extrapolation at the interface. Energy stability is maintained by carefully selecting SAT parameters at the interface. A range of coupling parameters are explored to identify those that yield a stable scheme, and a stepwise approach for choosing SAT parameters that ensure stability is given. The effectiveness of the method is demonstrated through numerical experiments in a two-dimensional model problem on a rectangular domain with curvilinear grids. The proposed approach enables the development of high-order, conditionally stable partitioned solvers suitable for general geometries.

math.NA

HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class

Large language models (LLMs) have shown remarkable progress in mathematical problem-solving, but evaluation has largely focused on problems that have exact analytical solutions or involve formal proofs, often overlooking approximation-based problems ubiquitous in applied science and engineering. To fill this gap, we build on prior work and present HARDMath2, a dataset of 211 original problems covering the core topics in an introductory graduate applied math class, including boundary-layer analysis, WKB methods, asymptotic solutions of nonlinear partial differential equations, and the asymptotics of oscillatory integrals. This dataset was designed and verified by the students and instructors of a core graduate applied mathematics course at Harvard. We build the dataset through a novel collaborative environment that challenges students to write and refine difficult problems consistent with the class syllabus, peer-validate solutions, test different models, and automatically check LLM-generated solutions against their own answers and numerical ground truths. Evaluation results show that leading frontier models still struggle with many of the problems in the dataset, highlighting a gap in the mathematical reasoning skills of current LLMs. Importantly, students identified strategies to create increasingly difficult problems by interacting with the models and exploiting common failure modes. This back-and-forth with the models not only resulted in a richer and more challenging benchmark but also led to qualitative improvements in the students' understanding of the course material, which is increasingly important as we enter an age where state-of-the-art language models can solve many challenging problems across a wide domain of fields.

cs.LG

Intent Tagging: Exploring Micro-Prompting Interactions for Supporting Granular Human-GenAI Co-Creation Workflows

Despite Generative AI (GenAI) systems' potential for enhancing content creation, users often struggle to effectively integrate GenAI into their creative workflows. Core challenges include misalignment of AI-generated content with user intentions (intent elicitation and alignment), user uncertainty around how to best communicate their intents to the AI system (prompt formulation), and insufficient flexibility of AI systems to support diverse creative workflows (workflow flexibility). Motivated by these challenges, we created IntentTagger: a system for slide creation based on the notion of Intent Tags - small, atomic conceptual units that encapsulate user intent - for exploring granular and non-linear micro-prompting interactions for Human-GenAI co-creation workflows. Our user study with 12 participants provides insights into the value of flexibly expressing intent across varying levels of ambiguity, meta-intent elicitation, and the benefits and challenges of intent tag-driven workflows. We conclude by discussing the broader implications of our findings and design considerations for GenAI-supported content creation workflows.

cs.HC

AI-Instruments: Embodying Prompts as Instruments to Abstract & Reflect Graphical Interface Commands as General-Purpose Tools

Chat-based prompts respond with verbose linear-sequential texts, making it difficult to explore and refine ambiguous intents, back up and reinterpret, or shift directions in creative AI-assisted design work. AI-Instruments instead embody "prompts" as interface objects via three key principles: (1) Reification of user-intent as reusable direct-manipulation instruments; (2) Reflection of multiple interpretations of ambiguous user-intents (Reflection-in-intent) as well as the range of AI-model responses (Reflection-in-response) to inform design "moves" towards a desired result; and (3) Grounding to instantiate an instrument from an example, result, or extrapolation directly from another instrument. Further, AI-Instruments leverage LLM's to suggest, vary, and refine new instruments, enabling a system that goes beyond hard-coded functionality by generating its own instrumental controls from content. We demonstrate four technology probes, applied to image generation, and qualitative insights from twelve participants, showing how AI-Instruments address challenges of intent formulation, steering via direct manipulation, and non-linear iterative workflows to reflect and resolve ambiguous intents.

cs.HC

Iterative Refinement of Arbitrary Micro-Optical Surfaces

We introduce an adaptive optical refinement method enabling ultra-precise micro-milling of arbitrary surfaces. Through repeated iteration, our method reduces surface error without requiring significant specific surface engineering. This remediates the long sample preparation times and lack of refinement capability that previously reported methods suffer from. The iterative refinement milling method was used to produce spherical mirrors with small radii of curvature and low surface roughness for use in micro Fabry-Perot cavities. We demonstrate the use of this adaptive process to produce a variety of arbitrary surface geometries on both optical fiber tips as well as optical flats. We additionally discuss our capability to apply iterative refinement milling adaptively to various materials, including to construct GRIN lenses.

physics.optics

TreeMatch: A Fully Unsupervised WSD System Using Dependency Knowledge on a Specific Domain

Word sense disambiguation (WSD) is one of the main challenges in Computational Linguistics. TreeMatch is a WSD system originally developed using data from SemEval 2007 Task 7 (Coarse-grained English All-words Task) that has been adapted for use in SemEval 2010 Task 17 (All-words Word Sense Disambiguation on a Specific Domain). The system is based on a fully unsupervised method using dependency knowledge drawn from a domain specific knowledge base that was built for this task. When evaluated on the task, the system precision performs above the Most Frequent Selection baseline.

cs.CL

Dot Product Representations of Graphs Using Tropical Arithmetic

A dot-product representation of a graph is a mapping of its vertices to vectors of length $k$ so that vertices are adjacent if and only if the inner product (a.k.a. dot product) of their corresponding vertices exceeds some threshold. Minimizing dimension of the vector space into which the vectors must be mapped is a typical focus. We investigate this and structural characterizations of graphs whose dot product representations are mappings into the tropical semi-rings of min-plus and max-plus. We also observe that the minimum dimension required to represent a graph using a \emph{tropical representation} is equal to the better-known threshold dimension of the graph; that is, the minimum number of subgraphs that are threshold graphs whose union is the graph being represented.

math.CO

SLAC Microresonator RF (SMuRF) Electronics: A tone-tracking readout system for superconducting microwave resonator arrays

We describe the newest generation of the SLAC Microresonator RF (SMuRF) electronics, a warm digital control and readout system for microwave-frequency resonator-based cryogenic detector and multiplexer systems such as microwave SQUID multiplexers ($\mu$mux) or microwave kinetic inductance detectors (MKIDs). Ultra-sensitive measurements in particle physics and astronomy increasingly rely on large arrays of cryogenic sensors, which in turn necessitate highly multiplexed readout and accompanying room-temperature electronics. Microwave-frequency resonators are a popular tool for cryogenic multiplexing, with the potential to multiplex thousands of detector channels on one readout line. The SMuRF system provides the capability for reading out up to 3328 channels across a 4-8 GHz bandwidth. Notably, the SMuRF system is unique in its implementation of a closed-loop tone-tracking algorithm that minimizes RF power transmitted to the cold amplifier, substantially relaxing system linearity requirements and effective noise from intermodulation products. Here we present a description of the hardware, firmware, and software systems of the SMuRF electronics, comparing achieved performance with science-driven design requirements. We focus in particular on the case of large channel count, low bandwidth applications, but the system has been easily reconfigured for high bandwidth applications. The system described here has been successfully deployed in lab settings and field sites around the world and is baselined for use on upcoming large-scale observatories.

physics.ins-det

Nuclear data evaluation with Bayesian networks

Bayesian networks are graphical models to represent the probabilistic relationships between variables in the Bayesian framework. The knowledge of all variables can be updated using new information about some of the variables. We show that relying on the Bayesian network interpretation enables large scale inference and gives flexibility in incorporating prior assumptions and constraints into the nuclear data evaluation process, such as sum rules and the non-negativity of cross sections. The latter constraint is accounted for by a non-linear transformation and therefore we also discuss inference in Bayesian networks with non-linear relationships. Using Bayesian networks, the evaluation process yields detailed information, such as posterior estimates and uncertainties of all statistical and systematic errors. We also elaborate on a sparse Gaussian process construction compatible with the Bayesian network framework that can for instance be used as prior on energy-dependent model parameters, model deficiencies and energy-dependent systematic errors of experiments. We present three proof-of-concept examples that emerged in the context of the neutron data standards project and in the ongoing international evaluation efforts of $^{56}$Fe. In the first example we demonstrate the modelization and explicit estimation of relative energy-dependent error components of experimental datasets. Then we show an example evaluation using the outlined Gaussian process construction in an evaluation of $^{56}$Fe in the energy range between one and two MeV, where R-Matrix and nuclear model fits are difficult. Finally, we present a model-based evaluation of $^{56}$Fe between 5 MeV and 30 MeV with a sound treatment of model deficiencies. The R scripts to reproduce the Bayesian network examples and the nucdataBaynet package for Bayesian network modeling and inference have been made publicly available.

physics.data-an

Cordiality of Digraphs

A $(0,1)$-labelling of a set is said to be {\em friendly} if approximately one half the elements of the set are labelled 0 and one half labelled 1. Let $g$ be a labelling of the edge set of a graph that is induced by a labelling $f$ of the vertex set. If both $g$ and $f$ are friendly then $g$ is said to be a {\em cordial} labelling of the graph. We extend this concept to directed graphs and investigate the cordiality of sets of directed graphs. We investigate a specific type of cordiality on digraphs, a restriction of quasigroup-cordiality called $(2,3)$-cordiality. A directed graph is $(2,3)$-cordial if there is a friendly labelling $f$ of the vertex set which induces a $(1,-1,0)$-labelling of the arc set $g$ such that about one third of the arcs are labelled 1, about one third labelled -1 and about one third labelled 0. In particular we determine which tournaments are $(2,3)$-cordial, which orientations of the $n$-wheel are $(2,3)$-cordial, and which orientations of the $n -$fan are $(2,3)$-cordial.

math.CO

Using Machine Learning to Select High-Quality Measurements

We describe the use of machine learning algorithms to select high-quality measurements for the Mu2e experiment. This technique is important for experiments with backgrounds that arise due to measurement errors. The algorithms use multiple pieces of ancillary information that are sensitive to measurement quality to separate high-quality and low-quality measurements.

physics.data-an

(2,3) Cordial Trees and Paths

Recently L. B. Beasley introduced $(2,3)$-cordial labelings of directed graphs in [1]. He made two conjectures which we resolve in this article. He conjectured that every orientation of a path of length at least five is $(2,3)$ cordial, and that every tree of max degree $n =3$ has a cordial orientation. We show these two conjectures to be false. We also discuss the $(2,3)$ cordiality of orientations of the Petersen graph, and establish an upper bound for the number of edges a graph can have and still be $(2,3)$ cordial. An application of $(2,3)$ cordial labelings is also presented.

math.CO

Microwave multiplexing on the Keck Array

We describe an on-sky demonstration of a microwave-multiplexing readout system in one of the receivers of the Keck Array, a polarimetry experiment observing the cosmic microwave background at the South Pole. During the austral summer of 2018-2019, we replaced the time-division multiplexing readout system with microwave-multiplexing components including superconducting microwave resonators coupled to radio-frequency superconducting quantum interference devices at the sub-Kelvin focal plane, coaxial-cable plumbing and amplification between room temperature and the cold stages, and a SLAC Microresonator Radio Frequency system for the warm electronics. In the range 5-6 GHz, a single coaxial cable reads out 528 channels. The readout system is coupled to transition-edge sensors, which are in turn coupled to 150-GHz slot-dipole phased-array antennas. Observations began in April 2019, and we report here on an initial characterization of the system performance.

astro-ph.IM