Related papers: The strength of the Inner Model Hypothesis
Hypergraph is the most general model for complex networks involving group interactions. Taking the ideas of path homology from Alexander Grigor'yan, Yong Lin, Yuri Muranov and Shing-Tung Yau [18-22], Stephane Bressan, Jingyan Li and the…
We review a minimum set of notions from our previous paper on structural properties of SAT at arXiv:0802.1790 that will allow us to define and discuss the "complete internal independence" of a decision problem. This property is strictly…
In this paper we focus on different -- global, semi-local and local -- versions of Hoffman type inequalities expressed in a variational form. In a first stage our analysis is developed for generic multifunctions between metric spaces and we…
Machines that can replicate human intelligence with type 2 reasoning capabilities should be able to reason at multiple levels of spatio-temporal abstractions and scales using internal world models. Devising formalisms to develop such…
In Appendix A of his article on rational functions, Segal proved homological stability for configuration spaces with a stability slope of 1/2. This was later improved to a slope of 1 by Church and Randal-Williams if one works with rational…
Homological stability for unordered configuration spaces of connected manifolds was discovered by Th. Church and extended by O. Randal-Williams and B. Knudsen: $H_i(C_k(M);\mathbb{Q})$ is constant for $k\geq f(i)$. We characterize the…
Hardy property of means has been extensively studied by P\'ales and Pasteczka since 2016. The core of this research is based on few of their properties: concavity, symmetry, monotonicity, repetition invariance and homogeneity (last axiom…
In [14] Hemmer conjectures that the module of fixed points for the symmetric group $\Sigma_m$ of a Specht module for $\Sigma_n$ (with $n>m$), over a field of positive characteristic $p$, has a Specht series, when viewed as a…
We attempt to reconcile Gabaix and Koijen's (GK) recent Inelastic Market Hypothesis (IMH) with the order-driven view of markets that emerged within the microstructure literature in the past 20 years. We review the most salient empirical…
We argue that robustness of explanations---i.e., that similar inputs should give rise to similar explanations---is a key desideratum for interpretability. We introduce metrics to quantify robustness and demonstrate that current methods do…
Extensively evaluating the capabilities of (large) language models is difficult. Rapid development of state-of-the-art models induce benchmark saturation, while creating more challenging datasets is labor-intensive. Inspired by the recent…
Spurred in part by the ever-growing number of sensors and web-based methods of collecting data, the use of Intensive Longitudinal Data (ILD) is becoming more common in the social and behavioural sciences. The ILD collected in this field are…
We investigate the Monge-Amp\`ere equation subject to zero boundary value and with a positive right-hand side unction assumed to be continuous or essentially bounded. Interior estimates of the solution's first and second derivatives are…
This paper presents finite-time and fixed-time stabilization results for inhomogeneous abstract evolution problems, extending existing theories. We prove well-posedness for strong and weak solutions, and estimate upper bounds for settling…
We consider the question of defining interleaving metrics on generalized persistence modules over arbitrary preordered sets. Our constructions are functorial, which implies a form of stability for these metrics. We describe a large class of…
We consider families of strongly consistent multivariate conditional risk measures. We show that under strong consistency these families admit a decomposition into a conditional aggregation function and a univariate conditional risk measure…
We introduce Holmes, a new benchmark designed to assess language models (LMs) linguistic competence - their unconscious understanding of linguistic phenomena. Specifically, we use classifier-based probing to examine LMs' internal…
We present a new method to analytically prove global stability in ghost-ridden dynamical systems. Our proposal encompasses all prior results and consequentially extends them. In particular, we show that stability can follow from a conserved…
Regularized M-estimators are used in diverse areas of science and engineering to fit high-dimensional models with some low-dimensional structure. Usually the low-dimensional structure is encoded by the presence of the (unknown) parameters…
This study proposes a novel method for estimation and hypothesis testing in high-dimensional single-index models. We address a common scenario where the sample size and the dimension of regression coefficients are large and comparable.…