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.
Proposes a new model for testing causal structural priors and synthesizing data.
problem Testing and synthesizing causal structural priors using nonparametric knowledge and neural networks.
method Causal Structural Hypothesis Testing (C-SHT) and Causal Structural Variational Hypothesis Testing (C-SVHT) using deep neural networks.
result Demonstrates out-of-distribution generalization error as a proxy for causal structural prior hypothesis testing.
The paper uses RL to verify hypotheses, overcoming existing limitations.
problem Verifying hypotheses using reinforcement learning.
method Formulated hypothesis verification as an RL problem, exploiting hypothesis structure.
result RL agents can successfully verify hypotheses, even those not factorizable.
The paper refutes the manifold hypothesis for image data and proposes the union of manifolds hypothesis.
problem The manifold hypothesis fails to capture the structure of image data.
method Empirical verification of the union of manifolds hypothesis on image datasets.
result Image data lies on a disconnected set with varying intrinsic dimensions.
Generative models improve CECT template matching reliability.
problem Insufficient template matching for accurate CECT structure assessment.
method Image-derived generative adversarial network for pseudo-macromolecular structures.
result Statistical credibility of CECT template matching significantly improved.
The Greenberg-Shalom hypothesis connects subgroup properties to lattice structures in Lie groups.
problem Understanding subgroup properties in Lie groups and their implications.
method Analyzing infinite discrete subgroups of semisimple Lie groups and their commensurators.
result An infinite discrete subgroup of a semisimple Lie group with a dense commensurator is a lattice in a product of some factors.
New method controls false discoveries in structured hypothesis spaces.
problem Controlling false discoveries in large-scale, interconnected hypothesis spaces.
method Reproducing Kernel Hilbert Space (RKHS) optimization for structured FDR control.
result Unified framework for continuous domains, graphs, and hierarchies.
A test for sparsity in Bayesian networks helps choose algorithms.
problem Selecting appropriate structure discovery algorithms for Bayesian networks.
method Developed a hypothesis test using the largest eigenvalue of the normalized inverse covariance matrix.
result The hypothesis test can determine if a BN has max in-degree greater than 1.
s-RBFN integrates multiple hypotheses for efficient and diverse prediction.
problem Integrating multiple hypotheses into learning models for regression.
method Structured Radial Basis Function Network (s-RBFN) using Voronoi tessellations and least-squares training.
result s-RBFN achieves superior generalization and efficiency compared to other models.
This letter presents a novel Block Bayesian Hypothesis Testing Algorithm (Block-BHTA) for reconstructing block sparse signals with unknown block structures. The Block-BHTA comprises the detection and recovery of the supports, and the estimation of the amplitudes of the block sparse signal. The support detection and rec…
Improved algorithm for selecting a hypothesis locally privately with fewer queries.
problem Locally private hypothesis selection with minimal privacy-preserving queries.
method Introduces a Scheffé graph to reduce query complexity for hypothesis selection.
result Algorithm performs O~(k3/2) queries, improving on previous methods. This paper proves the manifold hypothesis for lower embedding dimensions using osculating hyperspheres.
problem The dataset lies on a low-dimensional submanifold in high-dimensional space.
method Constructing osculating hyperspheres and applying surgery theory to embed the hypersurface.
result The manifold hypothesis holds for embedding dimensionalities up to d−1. Imputation method respects manifold structure for missing data.
problem Missing data imputation in high-dimensional data.
method Model-based imputation using mixture variational autoencoders and sampling-importance-resampling (SIR).
result Competitive performance and uncertainty quantification in imputations.
Unified framework for large-scale hypothesis testing with confounders.
problem Bias in large-scale hypothesis testing due to unmeasured confounders.
method Unified statistical estimation and inference framework that disentangles confounding effects and jointly estimates latent and primary effects.
result Effective Type-I error control and power in hypothesis testing.
Paper relaxes assumptions for non-parametric estimation in pairwise learning.
problem Generalization performance of non-parametric estimation for pairwise learning.
method Significantly relaxes restrictive assumptions, constructs structured deep ReLU neural network, and designs targeted hypothesis space.
result Establishes a sharp oracle inequality for empirical minimizer with general hypothesis space for Lipschitz continuous pairwise losses.
Simple model explains manifold structure in high-dimensional data.
problem Understanding manifold structure in high-dimensional data.
method Latent Metric Model with latent variables, correlation, and stationarity.
result Establishes statistical explanation for manifold hypothesis.
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.
Scientific discovery is limited by hypothesis redundancy, and hybrid methods can exploit non-local exploration.
problem Limitation of scientific discovery due to hypothesis redundancy.
method Hybrid discovery systems combining structured local search with LLM-generated non-local proposals.
result Hybrid methods can exploit non-local exploration when three geometric conditions co-occur.
The possibility that the collective dynamics of a set of stocks could lead to a specific basket violating the efficient market hypothesis is investigated. Precisely, we show that it is systematically possible to form a basket with a non-trivial autocorrelation structure when the examined time scales are at the order of…
New estimate for stability eigenvalues of singular minimal hypersurfaces in spheres.
problem Estimating the first stability eigenvalue of singular minimal hypersurfaces in spheres.
method Extending an estimate by J. Simons to the singular setting.
result Any singular minimal hypersurface in Sn+1 has a first stability eigenvalue at most -2n. Optimal private tests for simple hypotheses are characterized.
problem Private testing of simple hypotheses under differential privacy constraints.
method Characterization of sample complexity and optimal tests using log-likelihood ratio tests.
result Optimal sample complexity achieved by a specific randomized and clamped variant of the log-likelihood ratio test.
Develops a new robust hypothesis testing framework using Wasserstein uncertainty sets.
problem Improving robustness in hypothesis testing under uncertainty.
method Data-driven uncertainty sets based on Wasserstein metric, convex safe approximation, and tractable reformulation.
result Demonstrates nearly-optimal performance in hypothesis testing.
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.
Paper investigates hardness of learning neural networks under manifold hypothesis.
problem Hardness of learning neural networks under the manifold hypothesis.
method Extending proofs of hardness in the SQ and cryptographic settings to the geometric setting.
result Learning is hard under input manifolds of bounded curvature but learnable with additional assumptions on manifold volume.
Extends linear representation hypothesis to categorical and hierarchical concepts in LLMs.
problem Representing concepts without natural contrasts in large language models.
method Formalizes linear representation hypothesis for categorical and hierarchical concepts, proving relationships between concept hierarchy and representation geometry.
result Validated theoretical results on large language models, estimating representations for 900+ concepts.
We find faster-converging sub-networks that significantly reduce adversarial training time.
problem Finding optimal sub-networks for adversarial training is costly and time-consuming.
method We identify a subset of sub-networks that converge faster during training.
result Sub-networks can reduce adversarial training time by up to 49%.
Network Lasso improves semi-supervised regression on network data.
problem Improving regression accuracy on network data with limited labeled examples.
method Applying network Lasso to semi-supervised regression problems, leveraging message passing over an empirical graph.
result Network Lasso's accuracy is linked to the existence of large network flows over the empirical graph.
Classifies 3D manifolds with specific structures and automorphisms.
problem Classifying compact 3D manifolds with path structures and large automorphism groups.
method Uses Cartan connections and constant curvature analysis.
result Curvature of Cartan connections is constant for these manifolds.
A framework for hypothesis testing on attributed graphs using sampling.
problem Statistical testing on graph data, especially large attributed graphs.
method Sampling-based framework with PHASE and PHASEopt for accurate and efficient hypothesis testing.
result PHASE and PHASEopt improve accuracy and efficiency of hypothesis testing in attributed graphs.
Estimates curvature of network manifolds to understand community structure.
problem Understanding the geometry of network models to infer community structure.
method Develops hypothesis tests to determine manifold type, dimension, and curvature from noisy distance matrices.
result Consistently estimates manifold type, dimension, and curvature from Riemannian manifolds of constant curvature.
Unified framework for portfolio optimization using multiple hypotheses.
problem Risk diversification in portfolio allocation.
method Structured ensemble learning approach with diversity control.
result Structured ensembles link predictor diversity to risk diversification.
The paper proves that most metrics satisfy a strong version of Arnold's conjecture for Laplace eigenvalues.
problem Understanding metrics that satisfy a strong version of Arnold's conjecture for Laplace eigenvalues.
method Using geometric characterizations and perturbation theory, the paper proves the conjecture for most metrics.
result The Strong Arnold Hypothesis is satisfied for all metrics except for a set of infinite codimension.
Proves existence of regular Lagrangians via Weinstein Lefschetz fibrations.
problem Existence of regular Lagrangians.
method Weinstein Lefschetz fibrations with a hypothesis.
result Existence of regular Lagrangians can be characterized by Lefschetz fibrations.
Study on generalization for data-dependent hypothesis sets.
problem Understanding generalization in hypothesis sets dependent on data.
method Learning guarantee based on transductive Rademacher complexity and hypothesis set stability.
result Generalization bound for data-dependent hypothesis sets.
Optimal transport bounds improve generalization in learning algorithms.
problem Understanding and improving generalization in machine learning.
method Using algorithmic transport cost and Wasserstein distance to derive upper bounds on generalization error.
result Generalization error decreases exponentially with the number of layers in deep neural networks.
In this paper, we introduce the notion of modular class of a Lie algebroid A equipped with a Nambu structure satisfying some suitable hypothesis. We also introduce cohomology and homology theories for such Lie algebroids and prove that these theories are connected by a duality isomorphism when the modular class is nu…
Proves a conjecture about factorization homology leading to the cobordism hypothesis.
problem Proving a conjecture about factorization homology.
method Assuming a conjecture about factorization homology with adjoints.
result Proves the cobordism hypothesis.
Proposes MSS to identify causal structure from heterogeneous environments.
problem Distribution shifts between environments violate i.i.d. data assumption.
method Sparse mechanism shift hypothesis, score-based approach.
result Identifies entire causal structure with high probability.
Deep-learning method improves hypothesis testing for independence.
problem Improving hypothesis testing for independence using deep learning.
method Proposes deep-testing, a novel procedure that uses a deep neural network to distinguish between data generated under and outside a given statistical model.
result Deep-testing achieves the highest overall power against nineteen competing methods across various dependence structures.
VAELLS learns latent manifold structure to improve VAE model accuracy.
problem VAEs struggle with mismatched latent structure and global structure.
method Integrates learnable manifold model into latent space of VAE.
result Improves model accuracy by matching prior to data manifold structure.
Paper optimizes hypothesis verification in sequential experiments.
problem Maximizing confidence in a verified hypothesis after exploration.
method Formulated as a confidence maximization problem in a POMDP, characterized optimal solutions, and proposed a heuristic.
result Heuristic performs better than existing methods in some scenarios.
Classifies two-dimensional extended homotopy field theories with aspherical targets.
problem Classifying two-dimensional extended homotopy field theories with aspherical targets.
method Defining and classifying E-HFTs with specific properties and using Frobenius algebras.
result Classifying E-HFTs taking values in symmetric monoidal bicategories of algebras and bimodules.
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.
While statistical learning methods have proved powerful tools for predictive modeling, the black-box nature of the models they produce can severely limit their interpretability and the ability to conduct formal inference. However, the natural structure of ensemble learners like bagged trees and random forests has been …
New framework tests general high-dimensional hypotheses.
problem Testing general and complex hypotheses in high-dimensional models.
method Hypothesis adaptive projection pursuit framework.
result Asymptotically exact and powerful inference method for general functionals.
Diffusion models adapt to data geometry through log-domain smoothing.
problem Understanding why diffusion models generalize well across diverse domains.
method Investigating the role of score matching and log-domain smoothing in diffusion models.
result Log-domain smoothing adapts the diffusion model to the data manifold.
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.
A new Gaussian process regression method infers implicit manifold structure from data.
problem Scaling Gaussian process regression to high-dimensional data.
method Proposes a fully differentiable Gaussian process regression technique that infers implicit manifold structure from data.
result Improves predictive performance and calibration of standard Gaussian process regression in high-dimensional settings.