Related papers: A Characterization of Quasi-Decreasingness
To extend the context length of Transformer-based large language models (LLMs) and improve comprehension capabilities, we often face limitations due to computational resources and bounded memory storage capacity. This work introduces a…
We show that if a theory R defined by a rewrite system is super-consistent, the classical sequent calculus modulo R enjoys the cut elimination property, which was an open question. For such theories it was already known that proofs strongly…
This article is the introductory part of authors PhD thesis. The article presents a new coordinate invariant definition of quasiregular and quasiconformal mappings on Riemannian manifolds that generalizes the definition of quasiregular…
Techniques for dense semantic correspondence have provided limited ability to deal with the geometric variations that commonly exist between semantically similar images. While variations due to scale and rotation have been examined, there…
Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus of Communicating Systems (CCS). In its original formulation, each CCS process is equipped…
We examine distinct measures of fermionic entanglement in the exact ground state of a finite superconducting system. It is first shown that global measures such as the one-body entanglement entropy, which represents the minimum relative…
We consider the problem of recovering a single or multiple frequency-sparse signals, which share the same frequency components, from a subset of regularly spaced samples. The problem is referred to as continuous compressed sensing (CCS) in…
Most of the modern literature on robust mean estimation focuses on designing estimators which obtain optimal sub-Gaussian concentration bounds under minimal moment assumptions and sometimes also assuming contamination. This work looks at…
We consider the Chern-Simons-Schr\"odinger model in 1+2 dimensions, and prove scattering for small solutions of the Cauchy problem in the Coulomb gauge. This model is a gauge covariant Schr\"odinger equation, with a potential decaying like…
We discuss a large class of classical field theories with continuous translation symmetry. In the quantum theory, a new anomaly explicitly breaks this translation symmetry to a discrete symmetry. Furthermore, this discrete translation…
There are many evaluation strategies for term rewrite systems, but proving termination automatically is usually easiest for innermost rewriting. Several syntactic criteria exist when innermost termination implies full termination. We adapt…
This article presents novel results concerning the recovery of signals from undersampled data in the common situation where such signals are not sparse in an orthonormal basis or incoherent dictionary, but in a truly redundant dictionary.…
We present a unified theoretical and computational framework that bridges mathematical quasiperiodicity with classical crystallographic models. Based on a rigorous cut-and-projection construction, the proposed proximal coincidence point set…
Previous work has shown that the macroscopic structure of the theory of quantum gravity defined by causal dynamical triangulations (CDT) is compatible with that of a de Sitter universe. After emphasizing the strictly nonperturbative nature…
Within the framework of modified gravity (MG), the quasi-static (QS) and sub-horizon (SH) approximations are widely used in analyses aiming to identify departures from the concordance model at late-times. In general, it is assumed that time…
The Data Clustering (DC) problem is of central importance for the area of Machine Learning (ML), given its usefulness to represent data structural similarities from input spaces. Differently from Supervised Machine Learning (SML), which…
We give several applications of a lemma on completeness used by Osserman to show the meromorphicity of Weierstrass data for complete minimal surfaces with finite total curvature. Completeness and weak completeness are defined for several…
We generalize the notions of the St\"ackel transform and the coupling constant metamorphosis to quasi-exactly solvable systems. We discover that for a variety of one-dimensional and separable multidimensional quasi-exactly solvable systems,…
Wu and Verd\'u developed a theory of almost lossless analog compression, where one imposes various regularity conditions on the compressor and the decompressor with the input signal being modelled by a (typically infinite-entropy)…
Measuring the similarity of short written contexts is a fundamental problem in Natural Language Processing. This article provides a unifying framework by which short context problems can be categorized both by their intended application and…