English
Related papers

Related papers: $T$-convex valued fields with tempered exponentiat…

200 papers

We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical theory $\mathsf{VTC^0}$ are recursively saturated in a rich language with predicates expressing the integers, rationals, and logarithmically…

Logic · Mathematics 2023-08-15 Emil Jeřábek

We present a simple yet novel parameterized form of linear mapping to achieves remarkable network compression performance: a pseudo SVD called Ternary SVD (TSVD). Unlike vanilla SVD, TSVD limits the $U$ and $V$ matrices in SVD to ternary…

Machine Learning · Computer Science 2023-08-16 Boyu Chen , Hanxuan Chen , Jiao He , Fengyu Sun , Shangling Jui

We propose a new type of regularization functional for images called oscillation total generalized variation (TGV) which can represent structured textures with oscillatory character in a specified direction and scale. The infimal…

Numerical Analysis · Mathematics 2018-09-17 Yiming Gao , Kristian Bredies

The Theory of Functional Connections (TFC) is a functional interpolation framework founded upon the so-called constrained expression: a functional that expresses the family of all possible functions that satisfy some user-specified, linear…

Analysis of PDEs · Mathematics 2021-10-25 Carl Leake

At long distances, a gapped phase of matter is described by a topological quantum field theory (TQFT). We conjecture a tight and concrete relationship between the genuine $(d+1)$-partite entanglement -- labelled by a $d$-dimensional…

High Energy Physics - Theory · Physics 2026-02-20 Michele Del Zotto , Abhijit Gadde , Pavel Putrov

This article is concerned with obtaining the standard tau function descriptions of integrable equations (in particular, here the KdV and Ernst equations are considered) from the geometry of their twistor correspondences. In particular, we…

Mathematical Physics · Physics 2009-11-07 L. J. Mason , M. A. Singer , N. M. J. Woodhouse

We show how extended topological quantum field theories (TQFTs) can be used to obtain a kinematical setup for quantum gravity, i.e. a kinematical Hilbert space together with a representation of the observable algebra including operators of…

High Energy Physics - Theory · Physics 2017-01-10 Bianca Dittrich , Marc Geiller

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…

Differential Geometry · Mathematics 2013-07-02 Yuliy Baryshnikov , Robert Ghrist , Matthew Wright

This paper introduces the functional tensor singular value decomposition (FTSVD), a novel dimension reduction framework for tensors with one functional mode and several tabular modes. The problem is motivated by high-order longitudinal data…

Methodology · Statistics 2023-10-27 Rungang Han , Pixu Shi , Anru R. Zhang

This PhD Thesis is devoted to the study of Hodge structures on a special type of complex algebraic varieties, the so-called character varieties. For this purpose, we propose to use a powerful algebro-geometric tool coming from theoretical…

Algebraic Geometry · Mathematics 2019-01-01 Ángel González-Prieto

This paper gives a definition of an extended topological quantum field theory (TQFT) as a weak 2-functor Z: nCob_2 -> 2Vect, by analogy with the description of a TQFT as a functor Z: nCob -> Vect. We also show how to obtain such a theory…

Quantum Algebra · Mathematics 2007-10-02 Jeffrey Morton

We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic.…

Logic · Mathematics 2014-10-28 Jonathan Kirby , Boris Zilber

Given a TQFT in dimension d+1, and an infinite cyclic covering of a closed (d+1)-dimensional manifold M, we define an invariant taking values in a strong shift equivalence class of matrices. The notion of strong shift equivalence originated…

Geometric Topology · Mathematics 2015-12-22 Patrick M. Gilmer

We study definable sets, groups, and fields in the theory $T_\infty$ of infinite-dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an…

Logic · Mathematics 2023-11-14 Jan Dobrowolski

We study the cohomology of $G$-representation varieties and $G$-character stacks by means of a topological quantum field theory (TQFT). This TQFT is constructed as the composite of a so-called field theory and the 6-functor formalism of…

Algebraic Geometry · Mathematics 2024-07-01 Jesse Vogel

A complete classification of continuous, dually epi-translation invariant, and rotation equivariant valuations on convex functions is established. This characterizes the recently introduced functional Minkowski vectors, which naturally…

Metric Geometry · Mathematics 2025-04-24 Mohamed A. Mouamine , Fabian Mussnig

When $k$ is a finite field, Becker-Denef-Lipschitz (1979) observed that the total residue map $\text{res}:k(\!(t)\!)\to k$, which picks out the constant term of the Laurent series, is definable in the language of rings with a parameter for…

Logic · Mathematics 2023-07-12 Konstantinos Kartas

As a generalization of the ring spectrum of topological modular forms, we construct a graded ring spectrum of topological Jacobi forms, $\operatorname{TJF}_*$. This is constructed as the global sections of a sheaf of $E_\infty$-ring spectra…

Algebraic Topology · Mathematics 2025-08-12 Tilman Bauer , Lennart Meier

A shaped triangulation is a finite triangulation of an oriented pseudo three manifold where each tetrahedron carries dihedral angles of an ideal hyberbolic tetrahedron. To each shaped triangulation, we associate a quantum partition function…

Quantum Algebra · Mathematics 2012-11-01 Rinat Kashaev , Feng Luo , Grigory Vartanov

In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacetimes. In fact, it has been proved that the Lie algebra of…

Mathematical Physics · Physics 2007-05-23 Josef Janyška , Marco Modugno