English
Related papers

Related papers: On Model Theory of Valued Vector Spaces

200 papers

As post-training processes utilize increasingly large datasets and base models continue to grow in size, the computational demands and implementation challenges of existing algorithms are escalating significantly. In this paper, we propose…

Machine Learning · Computer Science 2025-06-16 Xinyu Lu , Xueru Wen , Yaojie Lu , Bowen Yu , Hongyu Lin , Haiyang Yu , Le Sun , Xianpei Han , Yongbin Li

We usually define an algebraic structure by a set, some operations defined on this set and some propositions that the algebraic structure must validate. In some cases, we can replace these propositions by an algorithm on terms constructed…

Logic in Computer Science · Computer Science 2009-11-23 Pablo Arrighi , Gilles Dowek

Embedding spaces contain interpretable dimensions indicating gender, formality in style, or even object properties. This has been observed multiple times. Such interpretable dimensions are becoming valuable tools in different areas of…

Computation and Language · Computer Science 2024-04-04 Katrin Erk , Marianna Apidianaki

We prove implicit function theorems for mappings on topological vector spaces over valued fields. In the real and complex cases, we obtain implicit function theorems for mappings from arbitrary (not necessarily locally convex) topological…

General Mathematics · Mathematics 2007-05-23 Helge Glockner

We provide an up-to-date review of the recent constructive program for field theories of the vector, matrix and tensor type, focusing not on the models themselves but on the mathematical tools used.

Mathematical Physics · Physics 2016-08-23 Vincent Rivasseau

The theorems of vector analysis (divergence theorem, etc.) are typically first applied in the undergraduate physics curriculum in the context of the electromagnetic field and the differential forms of Maxwell's equations. However, these…

Physics Education · Physics 2014-07-30 Galen T. Pickett

This paper aims at setting out the basics of $\mathbb{Z}$-graded manifolds theory. We introduce $\mathbb{Z}$-graded manifolds from local models and give some of their properties. The requirement to work with a completed graded symmetric…

Differential Geometry · Mathematics 2018-03-29 Maxime Fairon

A general theory of vector-valued modular functions, holomorphic in the upper half-plane, is presented for finite dimensional representations of the modular group. This also provides a description of vector-valued modular forms of arbitrary…

Number Theory · Mathematics 2007-05-23 P. Bantay , T. Gannon

In the present paper, a notion of M-basis and multi dimension of a multi vector space is introduced and some of its properties are studied.

General Mathematics · Mathematics 2017-06-09 Moumita Chiney , S. K. Samanta

Vector spaces over finite fields and Anzahl formulas of subspaces were studied by Wan (Geometry of Classical Groups over Finite Fields, Science Press, 2002). As a generalization, we study vector spaces and singular linear spaces over…

Combinatorics · Mathematics 2025-03-28 Jun Guo , Junli Liu , Qiuli Xu

Effective field theory provides a way of parameterizing strong-field deviations from General Relativity that might be observable in the gravitational waves emitted in a black hole merger. To perform numerical simulations of mergers in such…

General Relativity and Quantum Cosmology · Physics 2020-07-01 Aron D. Kovacs , Harvey S. Reall

Identifying the trade-offs between model-based and model-free methods is a central question in reinforcement learning. Value-based methods offer substantial computational advantages and are sometimes just as statistically efficient as…

Machine Learning · Computer Science 2024-03-13 David Cheikhi , Daniel Russo

Word embeddings are rich word representations, which in combination with deep neural networks, lead to large performance gains for many NLP tasks. However, word embeddings are represented by dense, real-valued vectors and they are therefore…

Computation and Language · Computer Science 2019-12-24 Andreas Hanselowski , Iryna Gurevych

We construct a space of vector fields that are normal to differentiable curves in the plane. Its basis functions are defined via saddle point variational problems in reproducing kernel Hilbert spaces (RKHSs). First, we study the properties…

Optimization and Control · Mathematics 2018-07-04 Alberto Paganini , Kevin Sturm

We obtain new general results on the structure of the space of translation invariant continuous valuations on convex sets (a version of the hard Lefschetz theorem). Using these and our previous results we obtain explicit characterization of…

Metric Geometry · Mathematics 2007-05-23 Semyon Alesker

We proposed a gravitation theory based on an analogy with electrodynamics on the basis of a vector field. For the first time, to calculate the basic gravitational effects in the framework of a vector theory of gravity, we use a Lagrangian…

General Relativity and Quantum Cosmology · Physics 2011-04-20 V. N. Borodikhin

The tools, ideas, and insights from linear algebra, abstract algebra, and functional analysis can be extremely useful to signal processing and system theory in various areas of engineering, science, and social science including…

Signal Processing · Electrical Eng. & Systems 2019-09-12 C. Sidney Burrus

This note proposes a new notion of a gradient-like vector field and discusses its implications for the theory of Stein and Weinstein structures.

Symplectic Geometry · Mathematics 2024-06-06 Kai Cieliebak

We classify, up to a natural equivalence relation, vector fields of the plane which belong to the kernel of a 1--form. This form can be closed, in which case the vector fields are integrable, or not, in which case the differential of the…

Dynamical Systems · Mathematics 2024-11-13 Stavros Anastassiou

We study groups, exponential groups and ordered groups equipped with valuations. We investigate algebraic and topological features of such valued structures, and apply our findings in order to solve regular equations over groups using…

Group Theory · Mathematics 2025-08-13 Vincent Bagayoko