Latest papers
We connect modal set theory with Boolean-valued models by developing an \emph{internal} Kripke semantics for modal formulas whose atomic propositions are set-theoretic sentences. Given a complete Boolean algebra $B$, we view its elements as…
We have previously given a factorization of a symplectic column under the action of the parity involution which enabled to explicitly have written the inverse of the reduction map in the quantum Littlewood-Richardson bijection. Watanabe has…
Scientific research involving code has long rested on the assumption that at least one person understands why the code exists. As scientists adopt coding agents, this assumption is breaking down. Drawing on an ongoing contextual inquiry of…
Observed standardized test scores are the result of an endogenous process: students strategically allocate effort across multiple retake attempts to improve their outcomes. Because students differ in their ability to make these investments,…
We prove that $k$-coloring on $n$-vertex graphs has a randomized algorithm running in time $(2-\varepsilon_k)^n$, where $\varepsilon_k>0$ for every fixed $k$. Previously, only the cases $k\leq 6$ were known to have faster solutions than the…
Algebraic concordance of knots can be understood from the perspective of Seifert matrices, Blanchfield forms, and homology surgery. We initiate a systematic study of algebraic concordance for links from each of these viewpoints. The present…
Dynamic 3D Gaussian Splatting (GS) enables high quality real-time rendering for immersive media, but its large representation size and frame-wise redundancy create significant challenges for adaptive streaming. This paper presents…
RL for code correctness is now established: have the model generate a program, run it against hidden test cases, and reward solutions that pass. Extending this to code optimization seems straightforward: just add execution time to the…
Influence matrices encode the action exerted on local subsystems by the rest of an extended quantum many-body system during their evolution. Thus, knowledge of the influence matrix facilitates computationally efficient simulations of local…
EEG-based community sensing programs are emerging globally as a tool to leverage aggregated brain data to gain insights into attentiveness of students and employees. But these programs raise privacy concerns because EEG signals contain…
Singular Value Decomposition (SVD) underlies matrix factorisation tasks across computational imaging, with medical applications increasingly demanding real-time processing. Yet SVD algorithms are inherently sequential, constraining…
The Milky Way hosts astrophysical objects that accelerate cosmic rays to energies beyond the reach of terrestrial particle accelerators. It remains a longstanding goal to locate the sites of these powerful Galactic engines and understand…
Whilst Large Language Models (LLMs) have a weak to moderate ability to score published journal articles for research quality, they have not been compared with individual expert reviewers. It is also unknown whether quality scores from…
Radio emissions at $\sim$ GHz frequencies of ultra-cool dwarf and brown dwarf stars suggest the presence of radiation belts not unlike Jupiter's. We investigate the possibility the inferred magnetospheric plasma at the primary star is…
Control of interlayer photocarrier dynamics is central to optoelectronic applications of van der Waals heterostructures, yet deterministic and spatially uniform tuning strategies remain limited. Here we show that stacking polarity provides…
Recent generative models can produce images with few obvious visual artifacts, weakening detectors and explanations that rely only on surface appearance. We present LaP-Forensics, a multimodal framework that augments RGB semantics with…
Ambivalence and hesitancy (A/H) are conflicting affective states that precede the delay or abandonment of health behaviour change. Recognition of A/H at the video level is difficult, since the signal arises from disagreement across and…
We prove a series of new results in Hamiltonian dynamics on a general closed symplectic manifold $(M, \omega)$, including: 1. If $M$ admits a Hamiltonian diffeomorphism which is either a pseudo-rotation or has finite order, then $M$ is…
Wikipedia and Wikidata are widely used for information access, LLM pre-training, and retrieval-augmented generation. Their knowledge is deeply connected but scattered across text, tables, and knowledge graphs. This raises a practical…
We prove P\'olya's conjectured lower bound for the Neumann counting function of every Euclidean ball. If $d\ge2$, $R>0$, and $E\ge0$, then \begin{equation*} N_{B_R^d}^{<}(E) \ge \frac{\omega_d}{(2\pi)^d}|B_R^d|E^{d/2} = \frac{(R\sqrt…