Improved sequential tests detect anomalies faster in multi-stream auditing.
problem Efficiently auditing machine learning systems across multiple data streams.
method Developed new sequential tests using merging martingales and averaging/products rules.
result Balanced tests achieve optimal stopping times in sparse and dense alternatives.
Survey of methods for classifier comparison using precision.
problem Lack of methods for classifier comparison using precision.
method Statistical methods for precision comparison, accounting for inter-precision correlation.
result Methods to test global null hypothesis of model comparison using precision.
A new method for visualizing group dissimilarity using Likelihood Ratio Test.
problem Explaining group differences when null hypothesis is rejected.
method The Merging Path Plot and factorMerger package.
result Visualization of group dissimilarity using Likelihood Ratio Test.
The paper sets thresholds for testing correlation in hypergraphs, distinguishing between independent and correlated states.
problem Testing correlation between two hypergraphs under different models.
method Derives sharp information-theoretic thresholds for distinguishing between null and alternative hypotheses.
result The testing threshold decreases as the hypergraph's uniformity (m) increases, making correlation testing easier for higher uniformity.
Transforms any test into anytime-valid with sample savings.
problem Sequential data invalidates classical test guarantees.
method Predicts test outcomes to create anytime-valid stopping rules.
result Ensures Type-I error control and near-optimal power.
Finite resources limit false discovery rate control in structured hypothesis spaces.
problem Controlling false discovery rate in hypothesis testing with finite data and structured hypothesis spaces.
method Framework for exact FDR control and adaptive power maximization.
result Exact FDR control and adaptive power maximization.
New framework for valid hypothesis testing in complex data settings.
problem Challenges in classical hypothesis testing frameworks.
method Add and subtract external noise to partition data, orthogonalize, and test hypotheses.
result Valid hypothesis tests can be conducted under minimal assumptions.
Proves globally hyperbolic spacetimes via null distance completeness.
problem No Hopf-Rinow Theorem in Lorentzian Geometry.
method Observation of null distances and their behavior with time functions.
result Proves globally hyperbolic spacetimes via null distance completeness.
This paper resolves the test for Markov regime switching models' regime number.
problem Testing the number of regimes in Markov regime switching models.
method Derives the asymptotic distribution of the likelihood ratio test statistic.
result Establishes the asymptotic validity of the parametric bootstrap.
Unified Bayesian framework improves clinical trial hypothesis testing.
problem Lack of transparency and inability to quantify evidence in traditional P-values.
method Interval null hypothesis framework combined with Bayes factor-based tests.
result Bayesian interval hypothesis testing ensures frequentist error control and interpretability.
Detects anomalies without training data using deep learning.
problem Detect anomalies in data without labeled training data.
method Inverse Generative Adversarial Network (GAN) for semi-supervised learning.
result Successfully detects anomalies in data without labeled training data.
Null geodesics spaces can be embedded into globally hyperbolic spacetimes.
problem Obstructing conformal embeddings of causally simple spacetimes.
method Analyzing null geodesics and conformal embeddings.
result Causally simple spacetimes can be non-conformally embeddable into globally hyperbolic ones.
Unique global solutions found for specific initial data.
problem Einstein-scalar-field equations with specific initial conditions.
method Spherically symmetric analysis of small, slowly decaying data.
result Unique global solutions exist for the equations.
In many practical applications of multiple hypothesis testing using the False Discovery Rate (FDR), the given hypotheses can be naturally partitioned into groups, and one may not only want to control the number of false discoveries (wrongly rejected null hypotheses), but also the number of falsely discovered groups of …
The null splitting theorem (proved in math.DG/9909158) is discussed. As an application, a uniqueness theorem for Minkowski space and for de Sitter space associated with the occurrence of null lines (inextendible globally achronal null geodesics) is presented.
Study shows no C0 extensions across null boundaries in expanding singularities.
problem Existence of C0-extensions across null boundaries in expanding singularities. method Analysis of globally hyperbolic space-times with expanding singularities.
result No C0-extensions across compact boundaries exist, while the boundary must be null. Study on hypothesis testing for densities and multinomials, showing local minimax rates and critical radii.
problem Testing goodness-of-fit for distributions with varying number of categories or unbounded support.
method Developed novel tests for both discrete and continuous cases, considering local minimax rates and critical radii.
result Characterized the dependence of critical radii on the null hypothesis and provided adaptive tests.
We propose to investigate test statistics for testing homogeneity in reproducing kernel Hilbert spaces. Asymptotic null distributions under null hypothesis are derived, and consistency against fixed and local alternatives is assessed. Finally, experimental evidence of the performance of the proposed approach on both ar…
Global existence and geometry of constant mass aspect function foliation in perturbed Schwarzschild spacetime studied.
problem Null Penrose inequality on a null hypersurface.
method Global existence of constant mass aspect function foliation on a nearly spherically symmetric incoming null hypersurface in a vacuum perturbed Schwarzschild spacetime.
result Geometry of the constant mass aspect function foliation compared to the spherically symmetric foliation in the Schwarzschild spacetime.
Proves global existence and uniqueness of solutions for Einstein-scalar-field equations.
problem Global existence and uniqueness of solutions for specific Einstein-scalar-field equations.
method Proves global existence and uniqueness of classical solutions with small initial data and wake-like decaying null infinity.
result Global existence and uniqueness of solutions for the equations with wake-like decaying null infinity.
Research shows curves in Walker 3-manifolds can lie in flat cylinders.
problem Understanding curves in Walker 3-manifolds.
method Showed curves lie in flat cylinders, constructed an example.
result Curves in Walker 3-manifolds can be contained in flat cylinders.
Adaptive auditing improves AI robustness testing with anytime-valid guarantees.
problem Cost and time of annotation limit rigorous AI failure mode characterization.
method Introduces hypothesis testing framework for adaptive audits using SAVI.
result Proves anytime-valid type-I error control and robustness certification.
Proves global existence for quasilinear wave equations with weak null condition.
problem Global existence for quasilinear wave equations with weak null condition.
method p-weighted energy method, hierarchical structure in semilinear terms, robust methods.
result Proves global existence for a larger class of quasilinear wave equations.
New method tests linear hypotheses in high-dimensional models without sparsity assumptions.
problem Testing linear hypotheses in high-dimensional models without restrictive assumptions.
method Proposes a test based on restructured regression with transformed and augmented features.
result Asymptotically exact control on Type I error without sparsity assumptions.
Unique solutions found for wave-like decaying null infinity equations.
problem Wave-like decaying null infinity equations with spherically symmetric Einstein-scalar-field.
method Local and global unique solutions for small initial data.
result Sharp decaying condition for unique solutions.
Testing-by-betting strategies almost surely go bankrupt under null hypotheses.
problem Understanding the behavior of betting strategies under null hypotheses.
method Analyzed the asymptotics of betting strategies under null distributions, focusing on the almost sure divergence of sums.
result Testing-by-betting strategies go bankrupt with probability one under any non-degenerate null distribution.
Detecting edge correlation between two graphs sharpens a threshold based on densest subgraph.
problem Detecting edge correlation between two Erdős-Rényi graphs.
method Formulated as a hypothesis testing problem, connecting to densest subgraph detection.
result Sharp information-theoretic threshold established for edge correlation detection.
A new flow on null manifolds yields gradient estimates.
problem Understanding geometric properties of globally null manifolds.
method Introducing a degenerate Ricci-type flow in a Riemannian leaf of the manifold.
result Proved several new gradient estimates for the flow.
New theorem removes uniform finite upper bound for shrinkability of null decompositions.
problem Shrinkability of null decompositions with non-singleton elements.
method Defining squeezable and squashable subsets, proving their equivalence, and applying these definitions to null decompositions.
result Any null decomposition of a compact metric space whose non-singleton elements are recursively squeezable is shrinkable.
In this article, the long-term behavior of the stock market index of the New York Stock Exchange is studied, for the period 1950 to 2013. Specifically, the CRSP Value-Weighted and CRSP Equal-Weighted index are analyzed in terms of market efficiency, using the standard ratio variance test, considering over 1600 one week…
Framework for online hypothesis testing across various data types.
problem Testing various nonparametric hypotheses in data streams.
method Unified framework using operators on data distributions, leveraging ML models.
result Efficient, adaptive, and error-controlled sequential tests.
This work examines the effects of allowing borrowing in betting-based hypothesis testing.
problem The impact of allowing borrowing in betting-based hypothesis testing.
method Examined the consequences of allowing borrowing in each round, adjusting the rejection threshold accordingly.
result There is no extra price to pay for the possibility of borrowing if a path-dependent threshold is used.
Multiple hypothesis testing is a core problem in statistical inference and arises in almost every scientific field. Given a set of null hypotheses H(n)=(H1,…,Hn), Benjamini and Hochberg introduced the false discovery rate (FDR), which is the expected proportion of false positives among rejected nu…
We propose procedures for testing whether stock price processes are martingales based on limit order type betting strategies. We first show that the null hypothesis of martingale property of a stock price process can be tested based on the capital process of a betting strategy. In particular with high frequency Markov …
Paper studies apparent horizon dynamics and introduces a null comparison principle.
problem Global dynamics of apparent horizon and local achronality.
method Constructing apparent horizon by solving MOTS along null hypersurfaces, using Klainerman-Szeftel estimates and null comparison principle.
result Smooth, asymptotically null, and converging apparent horizon proven.
The paper develops a robust test for nonlinear effects using Gaussian processes.
problem Detecting nonlinear interactions between continuous features.
method Hypothesis test based on Gaussian processes, robust to kernel mis-specification, and using ensemble estimators.
result Demonstrates interesting connections between machine learning and statistical inference.
Study shows contact structure on null geodesic space for specific spacetimes.
problem Understanding contact structures on null geodesic spaces of spacetimes.
method Contactomorphism and embedding techniques in spherical cotangent bundles.
result Space of null geodesics contactomorphic to canonical structure in spherical cotangent bundle.
Note: Causality can be encoded without strict time function choice.
problem Global encoding of causality under natural conditions.
method Observation of weakening causality assumptions in existing results.
result Causality can be encoded without strict time function choice.
New findings on null measurability in symmetrization interface of VC learning.
problem Null measurability issues in symmetrization interface of VC learning.
method Formalized in Lean 4, using Choquet capacitability and patching properties.
result Null-measurable bad event not Borel measurable, separating regularity levels.
A family of maximum mean discrepancy (MMD) kernel two-sample tests is introduced. Members of the test family are called Block-tests or B-tests, since the test statistic is an average over MMDs computed on subsets of the samples. The choice of block size allows control over the tradeoff between test power and computatio…
The paper studies hyperbolic equations in a spacetime foliation, proving existence and uniqueness.
problem Existence and uniqueness of solutions for first-order linear hyperbolic systems in a double null foliation.
method Proves global existence and uniqueness for first-order linear hyperbolic systems with initial data on a past null hypersurface.
result Derives a novel algebraic constraint for tensorfields satisfying the linearized Bianchi equations.
We consider the problem of uncertainty assessment for low dimensional components in high dimensional models. Specifically, we propose a decorrelated score function to handle the impact of high dimensional nuisance parameters. We consider both hypothesis tests and confidence regions for generic penalized M-estimators. U…
All inextendible null geodesics in four dimensional de Sitter space dS^4 are complete and globally achronal. This achronality is related to the fact that all observer horizons in dS^4 are eternal, i.e. extend from future infinity scri^+ all the way back to past infinity scri^-. We show that the property of having a nul…
Study on continuous sequence classification with distribution uncertainty.
problem Classifying continuous sequences with varying distribution uncertainty.
method Proposes distribution-free tests for three test designs: fixed-length, sequential, and two-phase tests.
result Error probabilities decay exponentially fast for all test designs.
Proves limit curve theorem for incomplete metric spaces, applies to null distance in Lorentzian manifolds.
problem Control of Lorentzian lengths of limit curves in incomplete metric spaces.
method Proves limit curve theorem for incomplete metric spaces and applies to null distance.
result Strong control on Lorentzian lengths of limit curves in Sormani and Vegas' null distance.
The study finds regular null hypersurfaces in a perturbed Schwarzschild black hole exterior.
problem Existence of regular null hypersurfaces in a perturbed Schwarzschild black hole.
method Proof of existence for null hypersurfaces in a perturbed Schwarzschild spacetime.
result Existence of many foliations by regular null hypersurfaces in the exterior region of a perturbed Schwarzschild black hole.
The paper describes and analyzes maximal Lorentzian surfaces with a Killing field, proving completeness criteria.
problem Characterizing and understanding completeness of Lorentzian surfaces with a Killing field.
method Global description and analysis of surfaces, completeness criteria involving topology and geometry.
result Completeness of surfaces is equivalent to null completeness under bounded curvature hypothesis.
Develops a test for strict stationarity in stochastic processes.
problem Testing strict stationarity of discrete time stochastic processes.
method Window averaged sample estimate of second order cumulant spectrum, asymptotic complex standard normal distribution test.
result Test statistic derived and demonstrated with 137Cs gamma ray decay data.