English
Related papers

Related papers: Holant clones and the approximability of conservat…

200 papers

The definition of conservative-irreversible functions is extended to smooth manifolds. The local representation of these functions is studied and reveals that not each conservative-irreversible function is given by the weighted product of…

Mathematical Physics · Physics 2024-04-09 Dan Goreac , Jonas Kirchhoff , Bernhard Maschke

We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…

Logic in Computer Science · Computer Science 2015-07-01 Martin Escardo

Universal kernels, whose Reproducing Kernel Hilbert Space is dense in the space of continuous functions are of great practical and theoretical interest. In this paper, we introduce an explicit construction of universal kernels on compact…

Functional Analysis · Mathematics 2025-10-09 Eloi Tanguy

The connection between constraint languages and clone theory has been a fruitful line of research on the complexity of constraint satisfaction problems. In a recent result, Cohen et al. [SICOMP'13] have characterised a Galois connection…

Computational Complexity · Computer Science 2015-12-23 Johan Thapper , Stanislav Zivny

We prove that conformable ``fractional" differentiability of a function $f:[0,\infty[\,\longrightarrow \mathbb{R}$ is nothing else than the classical differentiability. More precisely, the conformable $\alpha$-derivative of $f$ at some…

Classical Analysis and ODEs · Mathematics 2024-02-12 Ahmed A. Abdelhakim , José A. Tenreiro Machado

Recent work has demonstrated the existence of universal Hamiltonians - simple spin lattice models that can simulate any other quantum many body system to any desired level of accuracy. Until now proofs of universality have relied on…

Quantum Physics · Physics 2022-03-18 Tamara Kohler , Stephen Piddock , Johannes Bausch , Toby Cubitt

Can a deep neural network be approximated by a small decision tree based on simple features? This question and its variants are behind the growing demand for machine learning models that are *interpretable* by humans. In this work we study…

Machine Learning · Computer Science 2024-06-18 Marco Bressan , Nicolò Cesa-Bianchi , Emmanuel Esposito , Yishay Mansour , Shay Moran , Maximilian Thiessen

Many patterns in nature exhibit self-similarity: they can be compactly described via self-referential transformations. Said patterns commonly appear in natural and artificial objects, such as molecules, shorelines, galaxies and even images.…

Machine Learning · Computer Science 2022-04-19 Michael Poli , Winnie Xu , Stefano Massaroli , Chenlin Meng , Kuno Kim , Stefano Ermon

Optimization is a key task in a number of applications. When the set of feasible solutions under consideration is of combinatorial nature and described in an implicit way as a set of constraints, optimization is typically NP-hard.…

Artificial Intelligence · Computer Science 2014-10-27 Daniel Le Berre , Emmanuel Lonca , Pierre Marquis

We develop a general framework of Euclidean patterns and pattern spaces of translational finite local complexity (FLC), analogues of translational tiling spaces. The notion of a self affine substitution of tilings is extended to both…

Dynamical Systems · Mathematics 2026-05-29 James J. Walton

Approximations of functions with finite data often do not respect certain "structural" properties of the functions. For example, if a given function is non-negative, a polynomial approximation of the function is not necessarily also…

Numerical Analysis · Mathematics 2020-08-20 Vidhi Zala , Robert M. Kirby , Akil Narayan

We study the lattice of all Borel clones on $2 = \{0,1\}$: classes of Borel functions $f : 2^n \to 2$, $n \le \omega$, which are closed under composition and include all projections. This is a natural extension to countable arities of…

Logic · Mathematics 2024-07-10 Ruiyuan Chen , Ilir Ziba

We study the problem of explainability-first clustering where explainability becomes a first-class citizen for clustering. Previous clustering approaches use decision trees for explanation, but only after the clustering is completed. In…

Machine Learning · Computer Science 2022-12-13 Hyunseung Hwang , Steven Euijong Whang

Given a set of vectors $\F=\{f_1,\dots,f_m\}$ in a Hilbert space $\HH$, and given a family $\CC$ of closed subspaces of $\HH$, the {\it subspace clustering problem} consists in finding a union of subspaces in $\CC$ that best approximates…

Functional Analysis · Mathematics 2010-08-31 Akram Aldroubi , Romain Tessera

We detail a simple procedure (easily convertible to an algorithm) for constructing from quasi-uniform samples of $f$ a sequence of linear spline functions converging to the monotone rearrangement of $f$, in the case where $f$ is an almost…

Numerical Analysis · Mathematics 2021-12-03 Giovanni Barbarino , Davide Bianchi , Carlo Garoni

$\operatorname{Holant}^*(f)$ denotes a class of counting problems specified by a constraint function $f$. We prove complexity dichotomy theorems for $\operatorname{Holant}^*(f)$ in two settings: (1) $f$ is any arity-3 real-valued function…

Computational Complexity · Computer Science 2023-08-01 Yin Liu , Austen Z. Fan , Jin-Yi Cai

This work studies the problem of constructing a representative workload from a given input analytical query workload where the former serves as an approximation with guarantees of the latter. We discuss our work in the context of workload…

Databases · Computer Science 2021-02-04 Shaleen Deep , Anja Gruenheid , Paraschos Koutris , Jeffrey Naughton , Stratis Viglas

This paper studies the probabilistic function approximation problem over reproducing kernel Hilbert spaces. We show the existence and uniqueness of the optimizer under mild assumptions. Furthermore, we generalize the celebrated representer…

Functional Analysis · Mathematics 2025-07-16 Dongwei Chen , Kai-Hsiang Wang

This paper argues that the requirement of applicableness of quantum linearity to any physical level from molecules and atoms to the level of macroscopic extensional world, which leads to a main foundational problem in quantum theory…

Quantum Physics · Physics 2014-06-25 Arkady Bolotin

Let $\mathbb F$ be a finite field and let $\mathcal A$ and $\mathcal B$ be vector spaces of $\mathbb F$-valued continuous functions defined on locally compact spaces $X$ and $Y$, respectively. We look at the representation of linear…

Functional Analysis · Mathematics 2015-02-10 Marita Ferrer , Margarita Gary , Salvador Hernandez