English
Related papers

Related papers: Constructive Reverse Mathematics

200 papers

In this note, we present an algorithm that yields many new methods for constructing doubly stochastic and symmetric doubly stochastic matrices for the inverse eigenvalue problem. In addition, we introduce new open problems in this area that…

Spectral Theory · Mathematics 2012-02-15 Bassam Mourad , Hassan Abbas , Ayman Mourad , Ahmad Ghaddar , Issam Kaddoura

Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…

Category Theory · Mathematics 2009-05-13 Daniel Litt , Zachary Abel , Scott D. Kominers

We study the dynamical response of a circularly-driven rigid body, focusing on the description of intrinsic rotational behavior (reverse rotations). The model system we address is integrable but nontrivial, allowing for qualitative and…

Classical Physics · Physics 2009-11-13 Fernando Parisio

Some formulas and speculations are presented relative to integrable systems and quantum mechanics.

High Energy Physics - Theory · Physics 2007-05-23 Robert Carroll

This is a survey of the inverse spectral problem on (mainly compact) Riemannian manifolds, with or without boundary. The emphasis is on wave invariants: on how wave invariants have been calculated and how they have been applied to concrete…

Spectral Theory · Mathematics 2011-11-10 Steve Zelditch

The reverse derivative is a fundamental operation in machine learning and automatic differentiation. This paper gives a direct axiomatization of a category with a reverse derivative operation, in a similar style to that given by Cartesian…

Logic in Computer Science · Computer Science 2019-10-17 Robin Cockett , Geoffrey Cruttwell , Jonathan Gallagher , Jean-Simon Pacaud Lemay , Benjamin MacAdam , Gordon Plotkin , Dorette Pronk

A review of Finite Gap Jacobi Matrices.

Spectral Theory · Mathematics 2013-01-24 Jacob S. Christiansen , Barry Simon , Maxim Zinchenko

This is a write up on some sections of convex geometry, functional analysis, optimization, and nonstandard models that attract the author.

History and Overview · Mathematics 2015-02-24 S. S. Kutateladze

We discuss a structural approach to subset-sum problems in additive combinatorics. The core of this approach are Freiman-type structural theorems, many of which will be presented through the paper. These results have applications in various…

Combinatorics · Mathematics 2008-04-22 Van Vu

It is understood now that all projective (and conformal) invariants of Riemannian metrics can be found by a transparent construction based on representation theory. So this article with a partial and quite cumbersome construction of…

Differential Geometry · Mathematics 2008-06-17 P. I. Katsylo

This is a supplement to the article "Markov Chain Monte Carlo Based on Deterministic Transformations" available at http://arxiv.org/abs/1106.5850

Computation · Statistics 2013-07-01 Somak Dutta , Sourabh Bhattacharya

This is a survey of results on partially commutative groups and partially commutative algebras.

Group Theory · Mathematics 2020-11-24 Evgeny Poroshenko , Evgeny Timoshenko

The so-called inverse problem of dynamics is about constructing a potential for a given family of curves. We observe that there is a more general way of posing the problem by making use of ideas of another inverse problem, namely the…

Mathematical Physics · Physics 2014-02-07 W. Sarlet , T. Mestdag , G. Prince

The Integration Theory of Linear Ordinary Differential Equation.

General Mathematics · Mathematics 2014-02-17 T. G. Nezbailo

Basic problems of complex systems are outlined with an emphasis on irreducibility and dynamic many-to-many correspondences. We discuss the importance of a constructive approach to artificial reality and the significance of an internal…

adap-org · Physics 2009-10-22 Kunihiko Kaneko , Ichiro Tsuda

Some additive reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in Hilbert spaces are given. Applications for complex-valued functions are provided as well.

Functional Analysis · Mathematics 2007-05-23 Sever Silvestru Dragomir

We propose a new definition of actual causes, using structural equations to model counterfactuals.We show that the definitions yield a plausible and elegant account ofcausation that handles well examples which have caused problems forother…

Artificial Intelligence · Computer Science 2013-01-14 Joseph Y. Halpern , Judea Pearl

A new type of sectional curvature is introduced. The notion is purely algebraic and can be located in linear algebra as well as in differential geometry.

Differential Geometry · Mathematics 2015-04-07 Barbara Opozda

The role of differential equations in the process of calculating Feynman integrals is reviewed. An example of a diagram is given for which the method of differential equations was introduced, the properties of the inverse-mass-expansion…

High Energy Physics - Phenomenology · Physics 2021-07-23 A. V. Kotikov

We point out that the recursive formula that appears in Erickson's presentation "Fusible Numbers" is incorrect, and pose an alternate conjecture about the structure of fusible numbers. Although we are unable to solve the conjecture, we…

Combinatorics · Mathematics 2012-02-28 Junyan Xu