Our Work

For any positive integer weights mρ, the Riemann hypothesis is equivalent to the vanishing of AZ = Σρ mρ(Re ρ − ½)2 over the nontrivial zeros. A companion paper proves a duality-confinement theorem: f…

For any positive integer weights mρ, the Riemann hypothesis is equivalent to the vanishing of AZ = Σρ mρ(Re ρ − ½)2 over the nontrivial zeros. A companion paper proves a duality-confinement theorem: for a strongly measurable observable with values in a real Hilbert space that intertwines an involution with a linear isometric involution and has square-integrable odd part, the Gram operator of the odd part vanishes whenever it is dominated by positive trace-class operators of vanishing trace. This paper applies the theorem to the reflection s ↦ 1 − s̄ in the critical line and measures what the application is worth. A named hypothesis ΓSDTCSelberg on a shell of represented zeros, supplying domination records and a bridge to the zeros' coordinates, implies that every represented zero has coordinate ½; together with a map from coordinates to the reals that sends ½ to ½ and carries the represented zeros onto the real parts of all nontrivial zeros, it implies the Riemann hypothesis. Conversely, the hypothesis holds exactly when every represented zero has coordinate ½, so on the bare shell of all nontrivial zeros with their real parts it is equivalent to the Riemann hypothesis; so is the concrete version on finite windows of actual zeros that are closed under s ↦ 1 − s̄, carry unit weights and eventually contain every zero. The conditional theorem is therefore a reformulation, not evidence. By elementary linear algebra we also show that, for windows closed under s ↦ 1 − s with symmetric positive weights that eventually contain every zero, several natural bounds for the window sums are again equivalent to the Riemann hypothesis, and that on a nonempty window operator-level transport bounds for the identity target cannot tend to zero. No arithmetic estimate is supplied, and no unconditional result is claimed. The mathematical statements are formalized in Lean 4 with Mathlib, using its statement of the Riemann hypothesis; Appendix A gives the scope.

The synthetic population for the state of Virginia is constructed to be statistically indistinguishable from the real population at the spatial resolution of a US block group as measured by the US Cen…

The synthetic population for the state of Virginia is constructed to be statistically indistinguishable from the real population at the spatial resolution of a US block group as measured by the US Census on selected demographic variables, which in this case are age (AGEP), household income (HINCP), household size (NP), race (RAC1P) and hispanic (HISP). The population includes people and households with demographic characteristics along with residential locations and general activity locations at parcel-level resolution and accuracy. All individuals are assigned activity sequences and activity locations through statistical matching methods. Finally, a contact network is constructed. The precise way in which this is done depends on the intended scenario. Here the target application is epidemic spread of influenza-like diseases, and the construction of the network is done at each location through a modified Erdos-Renyi random graph. About this Zenodo mirror: this record mirrors the synthetic population for Virginia originally deposited in the UVA Dataverse. It is republished here to provide a stable, programmatically accessible source for the PhyloGeographic Analysis Similars (PhyloGAS) benchmarking framework, which consumes these files as its digital twin layer. The data are unmodified.

This technical case study presents a retrospective public-data historical back-test of the Integrated Project Controls and Risk Forecasting Framework (IPCRF), Version 1.2, using Federal Transit Admini…

This technical case study presents a retrospective public-data historical back-test of the Integrated Project Controls and Risk Forecasting Framework (IPCRF), Version 1.2, using Federal Transit Administration Project Management Oversight Contractor (FTA PMOC), Washington Metropolitan Area Transit Authority (WMATA), and Metropolitan Washington Airports Authority (MWAA) records for the Dulles Corridor Metrorail Project Phase 2, extending from Wiehle-Reston East to Ashburn. The analysis applies the frozen IPCRF Version 1.2 methodology to contemporaneous historical project records without changing thresholds, weights, formulas, or action bands after the project outcome became known. Unlike Case Study 1, which primarily tested a single schedule indicator, Case Study 2 provides partial multi-domain evidence across cost, schedule, change, and contractor-performance measures. The historical record shows a significant cross-domain divergence. Project-level cost indicators remained comparatively stable at selected 2019 reporting points, while schedule, change, and contractor-performance signals were materially stressed. The schedule domain produced materially elevated results, change exposure remained significant, and missed contractual milestone performance generated a Critical contractor-performance signal. Revenue service ultimately began on November 15, 2022, substantially later than the accepted March 31, 2020 baseline revenue-service date used in the back-test. The case therefore provides empirical support for a central IPCRF proposition: project-delivery risk can emerge across multiple control domains even when top-line cost metrics remain comparatively stable. It also demonstrates the importance of integrating cost, schedule, change, and contractor-performance information rather than interpreting these controls in isolation. This case does not establish full six-domain predictive validity, universal calibration, false-positive or false-negative rates, causation, or prospective operational suitability. Risk and constructability/sequencing domains could not be reconstructed to IPCRF Version 1.2 standards from the available public records without inventing or inferring unavailable inputs. Accordingly, no full six-domain Project Delivery Risk Score (PDRS) is claimed. The repository package includes the technical case-study report, reproducibility workbook, machine-readable analysis dataset, source-provenance register, and README documentation. Only publicly available historical records are used, and unavailable variables are retained as unavailable rather than fabricated. No FTA, WMATA, MWAA, transit-agency, or governmental participation, sponsorship, review, or endorsement is implied.

Data, code, and figures for Cost Viability and Cointegration Are Anti-Correlated in Liquid US ETF Pairs (M. M. Ross, 2026) and Triangular FX Residuals on a Retail Feed Are Real, Measurable, and a Four…

Data, code, and figures for Cost Viability and Cointegration Are Anti-Correlated in Liquid US ETF Pairs (M. M. Ross, 2026) and Triangular FX Residuals on a Retail Feed Are Real, Measurable, and a Fourteenth of Their Cost (M. M. Ross, 2026).

These movies are supplemental material for "An extraordinary Campephilus flight maneuver that may be diagnostic for principalis." 

Tasks in progress: calculation of optical constants of minerals relevant to the lunar surface, implementation and testing of Hapke and Shkuratov radative transfer models on laboratory samples from the…

Tasks in progress: calculation of optical constants of minerals relevant to the lunar surface, implementation and testing of Hapke and Shkuratov radative transfer models on laboratory samples from the C-TAPE and RELAB spectral libraries of binary and ternary mixtures of mineral powders.