English
Related papers

Related papers: An analysis of the logic of Riesz Spaces with stro…

200 papers

In this article, the authors completely answer an open question, presented in [Banach J. Math. Anal. 15 (2021), no. 1, 20], via showing that the Riesz--Morrey space is truly a new space larger than a particular Lebesgue space with critical…

Functional Analysis · Mathematics 2021-05-17 Zongze Zeng , Der-Chen Chang , Tao , Dachun Yang

Sequences of unit vectors for which the Kaczmarz algorithm always converges in Hilbert space can be characterized in frame theory by tight frames with constant 1. We generalize this result to the context of frames and bases. In particular,…

Information Theory · Computer Science 2014-10-01 Wojciech Czaja , James Tanis

A multivariable version of the strong maximal function is introduced and a sharp distributional estimate for this operator in the spirit of the Jessen, Marcinkiewicz, and Zygmund theorem is obtained. Conditions that characterize the…

Classical Analysis and ODEs · Mathematics 2011-03-10 Loukas Grafakos , Liguang Liu , Carlos Perez , Rodolfo H. Torres

For human cognitive process, spatial reasoning and perception are closely entangled, yet the nature of this interplay remains underexplored in the evaluation of multimodal large language models (MLLMs). While recent MLLM advancements show…

Computation and Language · Computer Science 2025-08-28 Chengzu Li , Wenshan Wu , Huanyu Zhang , Qingtao Li , Zeyu Gao , Yan Xia , José Hernández-Orallo , Ivan Vulić , Furu Wei

Visual thinking plays an important role in scientific reasoning. Based on the research in automating diverse reasoning tasks about dynamical systems, nonlinear controllers, kinematic mechanisms, and fluid motion, we have identified a style…

Artificial Intelligence · Computer Science 2009-09-25 K. Yip , F. Zhao

Given a Hilbert space and the generator of a strongly continuous group on this Hilbert space. If the eigenvalues of the generator have a uniform gap, and if the span of the corresponding eigenvectors is dense, then these eigenvectors form a…

Functional Analysis · Mathematics 2009-07-14 Hans Zwart

Although algebraic structures are frequently analyzed using unary and binary operations, they can also be effectively defined and unified through ternary operations. In this context, we introduce structures that contain two constants and a…

Rings and Algebras · Mathematics 2024-10-31 Jorge Fatelo , Nelson Martins-Ferreira

We develop a new approach to RG flows and show that one-loop flows in multiscalar theories can be described by commutative but non-associative algebras. As an example related to $D$-brane field theories and tensor models, we study the…

High Energy Physics - Theory · Physics 2024-05-09 Nadia Flodgren , Bo Sundborg

We develop aspects of functional analysis in an abstract axiomatic setting, through monoidal and enriched category theory. We work in a given closed category, whose objects we call spaces, and we study R-module objects therein (or algebras…

Functional Analysis · Mathematics 2013-07-31 Rory B. B. Lucyshyn-Wright

We present the quadratic algebra of the generalized MICZ-Kepler system in three-dimensional Euclidean space $E_{3}$ and its dual the four dimensional singular oscillator in four-dimensional Euclidean space $E_{4}$. We present their…

Mathematical Physics · Physics 2011-04-07 Ian Marquette

Visual Language Models (VLMs) are essential for various tasks, particularly visual reasoning tasks, due to their robust multi-modal information integration, visual reasoning capabilities, and contextual awareness. However, existing \VLMs{}'…

Computation and Language · Computer Science 2024-09-13 Zaiqiao Meng , Hao Zhou , Yifang Chen

Higher-rank Minkowski valuations are efficient means for describing the geometry and connectivity of spatial patterns. We show how to extend the framework of the scalar Minkowski valuations to vector- and tensor-valued measures. The…

Data Analysis, Statistics and Probability · Physics 2007-05-23 Claus Beisbart , Robert Dahlke , Klaus Mecke , Herbert Wagner

Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $\langle M, X \rangle$ where $M$ varies among structures of the first sort, while $X$ is fixed in the second sort, and it is…

It is well known that we can use structural proof theory to refine, or generalize, existing paradigmatic computational primitives, or to discover new ones. Under such a point of view we keep developing a programme whose goal is establishing…

Logic in Computer Science · Computer Science 2012-12-20 Luca Roversi

Reinforcement learning (RL) has been applied to improve large language model (LLM) reasoning, yet the systematic study of how training scales with task difficulty has been hampered by the lack of controlled, scalable environments. Observed…

Artificial Intelligence · Computer Science 2026-05-19 Tianle Wang , Zhaoyang Wang , Guangchen Lan , Xinpeng Wei , Sipeng Zhang , Guanwen Qiu , Abulhair Saparov

We prove some properties of positive polynomial mappings between Riesz spaces, using finite difference calculus. We establish the polynomial analogue of the classical result that positive, additive mappings are linear. And we prove a…

Functional Analysis · Mathematics 2016-07-22 James Cruickshank , John Loane , Raymond A. Ryan

Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialgebraic structure is essentially an algebraic structure but…

Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral semantics for the basic modal language has already been well…

Logic in Computer Science · Computer Science 2024-06-25 Nick Bezhanishvili , Laura Bussi , Vincenzo Ciancia , David Fernández-Duque , David Gabelaia

We study unimodular measures on the space $\mathcal M^d$ of all pointed Riemannian $d$-manifolds. Examples can be constructed from finite volume manifolds, from measured foliations with Riemannian leaves, and from invariant random subgroups…

Geometric Topology · Mathematics 2022-12-21 Miklos Abert , Ian Biringer

The application of reinforcement learning (RL) to enhance the reasoning capabilities of Multimodal Large Language Models (MLLMs) constitutes a rapidly advancing research area. While MLLMs extend Large Language Models (LLMs) to handle…

Artificial Intelligence · Computer Science 2025-05-22 Guanghao Zhou , Panjia Qiu , Cen Chen , Jie Wang , Zheming Yang , Jian Xu , Minghui Qiu