Latest papers
On spin manifolds, we give a proof of Brendle and Wang's refined positive mass theorem using the Dirac operator method. In the course of this proof, we discuss the origin of the special coefficient appearing in Brendle and Wang's spectral…
In this paper we use multilevel modeling of 10 introductory courses from four STEM disciplines to quantify associations of Learning Assistants (LAs) with the student-level outcomes, pass-rates, and retention. Overall we find that having an…
Universal relations provide a particularly useful way to extract physical information from neutron star observables in the presence of various uncertainties by reducing the dependence on uncertain model parameters and microphysical inputs.…
Given a graph $G=(V,E)$, a (proper) $k$-coloring for $G$ is a vertex coloring with $k$ colors such that every two adjacent vertices receive different colors. Suppose that the vertex set $V$ is partitioned into some groups, a proper coloring…
We describe an implementation in Scratchpad II of linear ordinary differential operators over a differential ring, acting on a module equipped with a compatible derivation. The abstract data type facilities of the system allow such…
Recent advancements in Large Language Models (LLMs) have significantly enhanced sequential recommendation by encoding rich item textual information into semantic representations. However, existing methods typically rely on the final-layer…
Under the collisionless cold dark matter (CDM) paradigm, galaxies with stellar masses below 10**(5-6) Msun are expected to preserve primordial cuspy dark matter (DM) profiles. Because baryonic feedback should be too weak to transform cusps…
Optimization in non-convex neural network models is strongly influenced by the geometry of the solution space: sparse, isolated, point-like clusters are typically algorithmically inaccessible, whereas wide and flat regions can be found…
Conditioning on both past and future assigns intermediate-time properties a causal observer does not; these time-symmetric assignments obey exact symmetry theorems and are measurable from trajectories. We use two-state generator extended…
Large language model (LLM) agents automate penetration testing through an observation-action loop, selecting actions based on observations returned by tools. This dependence allows defenders to inject deceptive observations that can mislead…
We study estimating the size of the union of sets $S_1,\dots,S_M$, where each $S_i\subseteq\Omega$ is presented implicitly and arrives in a stream. We introduce Delphic sets, a class of streaming problems in which membership, sampling, and…
We consider the necessary and sufficient conditions for the smooth matching of an expanding McVittie spacetime and a spatially flat Friedmann-Lema\^{\i}tre-Robertson-Walker (FLRW) spacetime across a general hypersurface - that is, a…
This work presents a digital twin framework for output-feedback stabilization and parameter identification in uncertain dynamical systems. A virtual model evolves in parallel with the physical process, assimilating measurement data in real…
In this paper, we propose Probabilistic Denoising ISAC (PDISAC), a framework built on a multi-bit slot-partitioned ISAC waveform: by partitioning each maximal-length sequence into alternating pilot and data slots, we embed multiple bits per…
Face presentation attack detection (PAD) remains challenging under cross-dataset evaluation, where domain shift degrades models trained on a single dataset. The scarcity of large-scale labeled data motivates adapting pretrained vision…
Although dense sphere packings serve as the initial state for simulations in powder metallurgy, additive manufacturing and granular physics, the choice of a packing generator is rarely guided by a systematic benchmark. A representative…
Despite the impressive visuomotor capabilities enabled by Vision-Language-Action (VLA) models, their performance often degrades on challenging and out-of-domain tasks. Recent test-time steering and scaling methods improve performance…
Pressure-induced superconductivity in bilayer nickelates provides a platform for investigating intertwined roles of charge/spin orders and electric transport in unconventional superconductivity. However, important quantitative information…
We remove the torsion-free hypothesis from a positivity theorem of Casalaina-Martin and Zhjeqi, answering a question of them. The main result of this paper was obtained using generative AI, particularly ChatGPT 5.5 Pro and the Danus system.
What types of decision problems can a causally masked, finite-precision transformer solve for inputs of arbitrary length? Existing answers often rely on idealized arithmetic, but under finite precision, rounding and evaluation order can…