GAAVI offers anytime-valid tests for CMF global null and contrasts.
problem Inference on the conditional mean function for high confidence decisions.
method Asymptotic anytime-valid tests for CMF global null and contrasts.
result Achieves asymptotic type-I error guarantees, power one, and optimal sample complexity.
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.
Unified algorithm for incorporating various prior knowledge in multiple testing.
problem Improving power and precision in multiple testing procedures with prior knowledge.
method p-filter algorithm that incorporates four types of prior knowledge: null hypotheses, penalties, groups, and independence.
result Unified framework allows for recovery of various known algorithms.
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.
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.
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.
Unified framework for global and local two-sample conditional distribution testing.
problem Testing equality of two conditional distributions.
method Distance and kernel methods, conditional U-statistics, local bootstrap.
result Developed reliable global and local tests.
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.
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 tests GMVP weights in high-dimensional settings, comparing sample and shrinkage estimators.
problem Testing GMVP weights in high-dimensional settings with varying sample size and asset count.
method Developed two tests based on sample and shrinkage estimators of GMVP weights.
result Shrinkage estimator test performs well even for high asset counts.
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.
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.
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.
Proposes DR-ME test for interpretable distributional treatment effects.
problem Detects invisible differences in treatment effects on distributional outcomes.
method Semiparametrically efficient finite-location test using kernel witnesses and orthogonal features.
result DR-ME reveals causal-discrepancy coordinates and has noncentral chi-square local power.
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.
Optimal tests for composite nulls achieve the KL inf lower bound.
problem Designing optimal tests for composite null hypotheses.
method Constructive schemes based on universal e-processes.
result Optimal tests match the KL inf lower bound as α → 0.
Extends knockoff filter for composite null hypotheses in variable selection.
problem Handling composite null hypotheses in variable selection.
method Developed two methods for composite inference with knockoffs: S-OLS and FRPP.
result Proposed heuristic variants of S-OLS outperforming BH procedure for composite nulls.
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.
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.
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…
New proposed models are often compared to state-of-the-art using statistical significance testing. Literature is scarce for classifier comparison using metrics other than accuracy. We present a survey of statistical methods that can be used for classifier comparison using precision, accounting for inter-precision corre…
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.
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.
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…
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.
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…
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.
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.
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.
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 …
New method tests causal association using noise contrastive backdoor adjustment.
problem Testing causal association in complex settings with many confounders.
method Backdoor-HSIC (bd-HSIC) using HSIC for independence testing.
result Calibrated and powerful for binary and continuous treatments with many confounders.
Study of mean curvature flow on null hypersurfaces leading to MOTS.
problem Detecting marginally outer trapped surfaces (MOTS) in null hypersurfaces.
method Analysis of mean curvature flow on null hypersurfaces with mild conditions.
result Existence and convergence of mean curvature flow to MOTS.
Computes quasi-local mass at null infinity using Bondi-Sachs coordinates.
problem Global properties of quasi-local mass at null infinity.
method Evaluation of Wang-Yau quasi-local mass on unit spheres in Bondi-Sachs coordinates.
result Quasi-local mass is related to the news function in Bondi-Sachs coordinates.
Paper proposes a chi-square test for distance correlation.
problem Testing distance correlation is computationally expensive.
method Proposes a chi-square test for distance correlation, non-parametric, fast, applicable to various metrics.
result Chi-square test exhibits similar power to permutation test and can be valid and universally consistent for testing independence.
Study proves global existence and decay for complex wave equations.
problem Global existence and decay for quasilinear wave equations with weak-null condition.
method Novel decoupling of higher order energy estimates, focusing on tangential components.
result Established global existence and decay for solutions with small data.
Null distance metric studies spacetime convergence.
problem Investigate convergence in spacetime geometry.
method Introduced null distance metric for Lorentzian manifolds, proving convergence results.
result Null distance metric leads to distinct limiting behavior under non-uniform convergence of warping functions.
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.
ADDIS improves power in online FDR control for conservative nulls.
problem Lack of power in adaptive FDR control algorithms for conservative nulls.
method ADDIS: adaptive discarding algorithm for online FDR control.
result ADDIS achieves best of both worlds: high power for conservative nulls and no loss for uniformly distributed nulls.
Sequential tests for nonparametric hypotheses using supermartingales.
problem Designing valid sequential tests for nonparametric null hypotheses.
method Using elicitable and identifiable functionals, nonnegative supermartingales, and Online Convex Optimization.
result Rigorous guarantees on asymptotic power for a wide range of alternative hypotheses.
Study rigidity in Penrose's singularity theorem with weakly trapped surfaces.
problem Understand the global structure of spacetimes with weakly trapped surfaces.
method Show foliation of MOTS generating totally geodesic null hypersurfaces.
result Obtain local or global rigidity results based on assumptions.
A new test for conditional independence adapts to nonlinear dependencies efficiently.
problem Testing conditional independence in nonlinear and high-dimensional data.
method Nearest-neighbor estimator of conditional mutual information combined with local permutation scheme.
result The test reliably simulates null distribution and is better calibrated for non-smooth densities.
New theorem shows singularities in high-density cosmologies without global assumptions.
problem Proving singularities in cosmological models without global topological constraints.
method Past null focusing condition and Einstein field equations.
result All timelike geodesics are past incomplete in high-density scenarios.