English
Related papers

Related papers: Generating Compatibility Conditions in Mathematica…

200 papers

The construction of frames for a Hilbert space H can be equated to the decomposition of the frame operator as a sum of positive operators having rank one. This realization provides a different approach to questions regarding frames with…

Functional Analysis · Mathematics 2010-07-07 Keri Kornelson , David Larson

Compositional generalization is a crucial property in artificial intelligence, enabling models to handle novel combinations of known components. While most deep learning models lack this capability, certain models succeed in specific tasks,…

Machine Learning · Computer Science 2025-05-06 Yuanpeng Li

We conduct the first detailed analysis in quantum information of recently derived operator relations from the study of quantum one-way local operations and classical communications (LOCC). We show how operator structures such as operator…

Quantum Physics · Physics 2017-10-11 David Kribs , Comfort Mintah , Michael Nathanson , Rajesh Pereira

Coherence is an essential property of well-written texts, that refers to the way textual units relate to one another. In the era of generative AI, coherence assessment is essential for many NLP tasks; summarization, generation, long-form…

Computation and Language · Computer Science 2024-08-14 Aviya Maimon , Reut Tsarfaty

The problem of matching a query string to a directed graph, whose vertices are labeled by strings, has application in different fields, from data mining to computational biology. Several variants of the problem have been considered,…

Data Structures and Algorithms · Computer Science 2020-01-08 Riccardo Dondi , Giancarlo Mauri , Italo Zoppis

Quantum coherence has received significant attention in recent years, but its study is mostly conducted in single party settings. In this paper, we generalize important results in multipartite entanglement theory to their counterparts in…

Quantum Physics · Physics 2019-04-10 Yu Luo , Yongming Li , Min-Hsiu Hsieh

We explore higher-dimensional conformal field theories (CFTs) in the presence of a conformal defect that itself hosts another sub-dimensional defect. We refer to this new kind of conformal defect as the composite defect. We elaborate on the…

High Energy Physics - Theory · Physics 2024-04-26 Soichiro Shimamori

Conformal field theories with correlation functions which have logarithmic singularities are considered. It is shown that those singularities imply the existence of additional operators in the theory which together with ordinary primary…

High Energy Physics - Theory · Physics 2009-10-22 V. Gurarie

We consider the issue of vacuum misalignment induced by four-Fermi couplings in a generic strongly coupled four-dimensional gauge theory. After briefly reviewing the general formalism, we focus on the case of partial compositness-like…

High Energy Physics - Phenomenology · Physics 2023-05-17 Avik Banerjee , Gabriele Ferretti

We study intrinsic simulations between cellular automata and introduce a new necessary condition for a CA to simulate another one. Although expressed for general CA, this condition is targeted towards surjective CA and especially linear…

Discrete Mathematics · Computer Science 2011-12-09 Vincent Nesme , Guillaume Theyssier

Perfect phylogeny consisting of determining the compatibility of a set of characters is known to be NP-complete. We propose in this article a conjecture on the necessary and sufficient conditions of compatibility: Given a set $\mathcal{C}$…

Data Structures and Algorithms · Computer Science 2011-05-06 Michel Habib , Thu-Hien To

We study the behavior of infinite systems of coupled harmonic oscillators as t->infinity, and generalize the Central Limit Theorem (CLT) to show that their reduced Wigner distributions become Gaussian under quite general conditions. This…

General Relativity and Quantum Cosmology · Physics 2009-10-22 Max Tegmark , Harold S. Shapiro

We consider the equivalence problem of four-dimensional semi-Riemannian metrics with the $2$-dimensional Abelian Killing algebra. In the generic case we determine a semi-invariant frame and a fundamental set of first-order scalar…

Differential Geometry · Mathematics 2024-03-21 D. Catalano Ferraioli , M. Marvan

We construct explicit generators for the higher scissors congruence K-theory of the line. We use this to derive an explicit generating set for the homology of the group of interval exchange transformations. Our proof makes use of an…

K-Theory and Homology · Mathematics 2025-07-08 Ezekiel Lemann

In the classical synthesis problem, we are given an LTL formula \psi over sets of input and output signals, and we synthesize a system T that realizes \psi: with every input sequences x, the system associates an output sequence T(x) such…

Formal Languages and Automata Theory · Computer Science 2021-09-09 Shaull Almagor , Orna Kupferman

We consider Galerkin approximations of holomorphic Fredholm operator eigenvalue problems for which the operator values don't have the structure "coercive+compact". In this case the regularity (in sense of [O. Karma, Numer. Funct. Anal.…

Numerical Analysis · Mathematics 2019-08-15 Martin Halla

Operator learning has emerged as a new paradigm for the data-driven approximation of nonlinear operators. Despite its empirical success, the theoretical underpinnings governing the conditions for efficient operator learning remain…

Machine Learning · Computer Science 2024-10-21 Nikola B. Kovachki , Samuel Lanthaler , Hrushikesh Mhaskar

Using first principles from inference, we design a set of functionals for the purposes of \textit{ranking} joint probability distributions with respect to their correlations. Starting with a general functional, we impose its desired…

Information Theory · Computer Science 2020-03-23 Nicholas Carrara , Kevin Vanslette

For iterative learning control (ILC), one of the basic problems left to address is how to solve the contradiction between convergence conditions for the output tracking error and for the input signal (or error). This problem is considered…

Systems and Control · Electrical Eng. & Systems 2019-10-24 Deyuan Meng , Jingyao Zhang

Neural sequence-to-sequence models are currently the predominant choice for language generation tasks. Yet, on word-level tasks, exact inference of these models reveals the empty string is often the global optimum. Prior works have…

Computation and Language · Computer Science 2021-02-18 Martina Forster , Clara Meister , Ryan Cotterell
‹ Prev 1 4 5 6 7 8 10 Next ›