Related papers: A Weakness Measure for GR(1) Formulae
In estimating the complexity of objects, in particular of graphs, it is common practice to rely on graph- and information-theoretic measures. Here, using integer sequences with properties such as Borel normality, we explain how these…
The goal of compressed sensing is to estimate a vector from an underdetermined system of noisy linear measurements, by making use of prior knowledge on the structure of vectors in the relevant domain. For almost all results in this…
The problem of defining and studying complexity of a time series has interested people for years. In the context of dynamical systems, Grassberger has suggested that a slow approach of the entropy to its extensive asymptotic limit is a sign…
Soft set theory is an important and emerging area within soft computing, owing to its attribute-oriented mathematical framework and its wide applicability in diverse domains, including science and social sciences. The theoretical…
Let $G$ be a sofic group, and let $\Sigma = (\sigma_n)_{n\geq 1}$ be a sofic approximation to it. For a probability-preserving $G$-system, a variant of the sofic entropy relative to $\Sigma$ has recently been defined in terms of sequences…
Aligning powerful AI models on tasks that surpass human evaluation capabilities is the central problem of \textbf{superalignment}. To address this problem, weak-to-strong generalization aims to elicit the capabilities of strong models…
Local versions of measurability have been around for a long time. Roughly, one splits the notion of $\mu $-completeness into pieces, and asks for a uniform ultrafilter over $\mu $ satisfying just some piece of $\mu $-completeness. Analogue…
This paper presents an approach for constrained Gaussian Process (GP) regression where we assume that a set of linear transformations of the process are bounded. It is motivated by machine learning applications for high-consequence…
The increasing precision of cosmological data provides us with an opportunity to test general relativity (GR) on the largest accessible scales. Parameterizing modified gravity models facilitates the systematic testing of the predictions of…
Traditional uncertainty relations dictate a minimal amount of noise in incompatible projective quantum measurements. However, not all measurements are projective. Weak measurements are minimally invasive methods for obtaining partial state…
This paper provides some extended results on estimating parameter matrix of several regression models when the covariate or response possesses weaker moment condition. We study the $M$-estimator of Fan et al. (Ann Stat 49(3):1239--1266,…
The accurate forecasting of complex, high-dimensional dynamical systems from observational data is a fundamental task across numerous scientific and engineering disciplines. A significant challenge arises from noise-corrupted measurements,…
Recent alignment work on Large Language Models (LLMs) suggests preference optimization can improve reasoning by shifting probability mass toward better solutions. We test this claim in a resource-constrained setting by applying GRPO with…
Weak gravitational lensing, resulting from the bending of light due to the presence of matter along the line of sight, is a potent tool for exploring large-scale structures, particularly in quantifying non-Gaussianities. It stands as a…
In this paper, we consider a new weak norm, iterated weak norm in Lebesgue spaces with mixed norms. We study properties of the mixed weak norm and the iterated weak norm and present the relationship between the two weak norms. Even for the…
Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this workshop paper we present and evaluate a list of heuristics to potentially reduce running times for GR(1) synthesis and related…
In this paper, we investigate a model describing induction hardening of steel. The related system consists of an energy balance, an ODE for the different phases of steel, and Maxwell's equations in a potential formulation. The existence of…
A large fraction of cosmological information on dark energy and gravity is encoded in the nonlinear regime. Precision cosmology thus requires precision modeling of nonlinearities in general dark energy and modified gravity models. We modify…
In the property testing model, the task is to distinguish objects possessing some property from the objects that are far from it. One of such properties is monotonicity, when the objects are functions from one poset to another. This is an…
For any Calder\'on-Zygmund operator $ T$, any weight $ w$, and $ \alpha >1$, the operator $ T$ is bounded as a map from $ L ^{1} (M _{ L \log\log L (\log\log\log L) ^{\alpha } } w )$ into weak-$L^1(w)$. The interest in questions of this…