English
Related papers

Related papers: KF, PKF, and Reinhardt's Program

200 papers

The main purpose of our paper is a new approach to design of algorithms of Kaczmarz type in the framework of operators in Hilbert space. Our applications include a diverse list of optimization problems, new Karhunen-Lo\`eve transforms, and…

Functional Analysis · Mathematics 2021-04-27 Palle E. T. Jorgensen , Myung-Sin Song , James Tian

We define an almost periodic extension of the Wiener algebras in the quaternionic setting and prove a Wiener-Levy type theorem for it, as well as extending the theorem to the matrix-valued case. We prove a Wiener-Hopf factorization theorem…

Complex Variables · Mathematics 2016-12-23 Yonatan Shelah

We formally define a "mathematical object" and "set". We then argue that expressions such as "(Ax)F(x)", and "(Ex)F(x)", in an interpretation M of a formal theory P, may be taken to mean "F(x) is true for all x in M", and "F(x) is true for…

General Mathematics · Mathematics 2007-05-23 Bhupinder Singh Anand

Complexity theory offers a variety of concise computational models for computing boolean functions - branching programs, circuits, decision trees and ordered binary decision diagrams to name a few. A natural question that arises in this…

Computational Complexity · Computer Science 2013-06-18 Netanel Raviv

Putnam and Finkelstein can be read as providing an answer to Kripke's skeptical argument by appealing to the way mathematics is commonly pursued. Nowadays, the debate surrounding pluralism has questioned the postulation of a unique way of…

History and Overview · Mathematics 2023-04-20 M. Muñoz Pérez

Hilbert's program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to "dispose of the foundational questions in mathematics once and for all, "Hilbert proposed a two-pronged approach in…

Logic · Mathematics 2015-04-21 Richard Zach

In this article we study the field of Hilbertian metrics and positive definit (pd) kernels on probability measures, they have a real interest in kernel methods. Firstly we will make a study based on the Alpha-Beta-divergence to have a…

Methodology · Statistics 2018-09-18 Mactar Ndaw , Macoumba Ndour , Papa Ngom

In this paper, we develop an approach to exploiting kernel methods with manifold-valued data. In many computer vision problems, the data can be naturally represented as points on a Riemannian manifold. Due to the non-Euclidean geometry of…

Computer Vision and Pattern Recognition · Computer Science 2015-03-18 Sadeep Jayasumana , Richard Hartley , Mathieu Salzmann , Hongdong Li , Mehrtash Harandi

Counterfactual reasoning has emerged as a crucial technique for generalizing the reasoning capabilities of large language models (LLMs). By generating and analyzing counterfactual scenarios, researchers can assess the adaptability and…

Artificial Intelligence · Computer Science 2026-02-17 Shuai Yang , Qi Yang , Luoxi Tang , Yuqiao Meng , Nancy Guo , Jeremy Blackburn , Zhaohan Xi

In this manuscript we define the right fractional derivative and its corresponding right fractional integral with exponential kernel. Then, we provide the integration by parts formula and we use $Q-$operator to confirm our results. The…

Dynamical Systems · Mathematics 2017-09-13 Thabet Abdeljawad , Dumitru Baleanu

Unlike the conventional kernel adaptive filtering (KAF) approach of using a fixed kernel to define the Reproducing Kernel Hilbert Space (RKHS), this paper embeds the statistics of the input data in the kernel definition, obtaining a…

Signal Processing · Electrical Eng. & Systems 2025-10-21 Benjamin Colburn , Luis G. Sanchez Giraldo , Kan Li , Jose C. Principe

We investigate the Friedman--Goldfarb--Harrington theorem from two perspectives. Firstly, in the frameworks of classical and modal propositional logics, we study the forms of sentences whose existence is guaranteed by the FGH theorem.…

Logic · Mathematics 2023-04-11 Taishi Kurahashi

We present a cohomological interpretation of the middle convolution functor MC and find an explicit Riemann-Hilbert correspondence for MC_\lambda. This leads to an algorithm for the construction of Fuchsian systems which correspond to…

Algebraic Geometry · Mathematics 2007-05-23 Michael Dettweiler , Stefan Reiter

Quantum Field Theory with fields as Operator Valued Distributions with adequate test functions, -the basis of Epstein-Glaser approach known now as Causal Perturbation Theory-, is recalled. Its recent revival is due to new developments in…

Mathematical Physics · Physics 2007-05-23 Pierre Ca Grange , Ernst Werner

Uncertainty quantification in Large Language Models (LLMs) is crucial for applications where safety and reliability are important. In particular, uncertainty can be used to improve the trustworthiness of LLMs by detecting factually…

Machine Learning · Computer Science 2024-05-31 Alexander Nikitin , Jannik Kossen , Yarin Gal , Pekka Marttinen

Language models are increasingly being used in important decision pipelines, so ensuring the correctness of their outputs is crucial. Recent work has proposed evaluating the "factuality" of claims decomposed from a language model generation…

Computation and Language · Computer Science 2025-05-26 Maxon Rubin-Toles , Maya Gambhir , Keshav Ramji , Aaron Roth , Surbhi Goel

I comment on the interpretation of a recent experiment showing quantum interference in time. It is pointed out that the standard nonrelativistic quantum theory, used by the authors in their analysis, cannot account for the results found,…

Quantum Physics · Physics 2009-11-11 Lawrence P. Horwitz

Recent research in inverse cognition with cognitive radar has led to the development of inverse stochastic filters that are employed by the target to infer the information the cognitive radar may have learned. Prior works addressed this…

Optimization and Control · Mathematics 2024-04-22 Himali Singh , Kumar Vijay Mishra , Arpan Chattopadhyay

The purpose of this paper is to make an introduction to univalent function theory for readers of any level, assuming only foundational knowledge in real and complex analysis. In particular, we state and proof (with details) important…

Complex Variables · Mathematics 2024-11-13 Jiakai Qu

In 1984, Kurt Mahler posed the following fundamental question: How well can irrationals in the Cantor set be approximated by rationals in the Cantor set? Towards development of such a theory, we prove a Dirichlet-type theorem for this…

Number Theory · Mathematics 2011-11-21 Ryan Broderick , Lior Fishman , Asaf Reich