English
Related papers

Related papers: Boolean-valued models as a foundation for locally …

200 papers

We prove conditions for the existence of a continuous linear right inverse for a surjective convolution operator in spaces of germs of analytic functions on convex subsets of the complex plane. Considered convex sets have a countable…

Functional Analysis · Mathematics 2018-10-22 S. N. Melikhov , L. V. Khanina

Local conditions for the direct summands of a persistence module to belong to a certain class of indecomposables have been proposed in the 2-parameter setting, notably for the class of indecomposables called block modules, which plays a…

Representation Theory · Mathematics 2024-12-12 Vadim Lebovici , Jan-Paul Lerch , Steve Oudot

Regularization plays a key role in a variety of optimization formulations of inverse problems. A recurring theme in regularization approaches is the selection of regularization parameters, and their effect on the solution and on the optimal…

Optimization and Control · Mathematics 2018-08-23 Aleksandr Y. Aravkin , James V. Burke , Michael P. Friedlander

One of the central problems studied in the theory of machine learning is the question of whether, for a given class of hypotheses, it is possible to efficiently find a {consistent} hypothesis, i.e., which has zero training error. While…

Machine Learning · Computer Science 2024-03-21 Eike Stadtländer , Tamás Horváth , Stefan Wrobel

This is a survey of some recent applications of Boolean valued analysis to operator theory and harmonic analysis. Under consideration are pseudoembedding operators, the noncommutative Wickstead problem, the Radon-Nikodym Theorem for…

Functional Analysis · Mathematics 2015-02-18 A. G. Kusraev , S. S. Kutateladze

In this contribution we present a survey of concepts in localized model order reduction methods for parameterized partial differential equations. The key concept of localized model order reduction is to construct local reduced spaces that…

Numerical Analysis · Mathematics 2019-10-29 Andreas Buhr , Laura Iapichino , Mario Ohlberger , Stephan Rave , Felix Schindler , Kathrin Smetana

Bayesian inference provides a natural way of incorporating prior beliefs and assigning a probability measure to the space of hypotheses. Current solutions rely on iterative routines like Markov Chain Monte Carlo (MCMC) sampling and…

Machine Learning · Computer Science 2025-02-11 Sarthak Mittal , Niels Leif Bracher , Guillaume Lajoie , Priyank Jaini , Marcus Brubaker

Scaled Boolean algebras are a category of mathematical objects that arose from attempts to understand why the conventional rules of probability should hold when probabilities are construed, not as frequencies or proportions or the like, but…

Probability · Mathematics 2009-09-29 Michael Hardy

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

In order to estimate the specific intrinsic volumes of a planar Boolean model from a binary image, we consider local digital algorithms based on weighted sums of $2\times 2$ configuration counts. For Boolean models with balls as grains,…

Statistics Theory · Mathematics 2016-02-24 Anne Marie Svane

This paper extends the Kadison duality between compact convex sets and function systems to the setting of partial convexity. A partially convex set is a set that is convex in a designated set of convex variables when the others are held…

Functional Analysis · Mathematics 2026-05-06 Tea Štrekelj

We introduce the concept of locally homogeneous space, and prove in this context L^p and Holder estimates for singular and fractional integrals, as well as L^p estimates on the commutator of a singular or fractional integral with a BMO or…

Functional Analysis · Mathematics 2011-01-31 Marco Bramanti , Maochun Zhu

In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras, integrability of Lie subalgebras to Lie…

Representation Theory · Mathematics 2015-01-27 Karl-Hermann Neeb

Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip…

Logic in Computer Science · Computer Science 2021-08-05 Carmen Constantin , Nuiok Dicaire , Chris Heunen

We consider the concept of a local set of inference rules. A local rule set can be automatically transformed into a rule set for which bottom-up evaluation terminates in polynomial time. The local-rule-set transformation gives…

Logic in Computer Science · Computer Science 2007-05-23 Robert Givan , David McAllester

The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are…

Metric Geometry · Mathematics 2020-05-15 A. Colesanti , M. Ludwig , F. Mussnig

For valuations on convex bodies in Euclidean spaces, there is by now a long series of characterization and classification theorems. The classical template is Hadwiger's theorem, saying that every rigid motion invariant, continuous,…

Metric Geometry · Mathematics 2016-09-02 Daniel Hug , Rolf Schneider

Convolution of valuations was introduced by the first named author and Fu for linear spaces, and later by Alesker and the first named author for compact Lie groups. In this paper we study the convolution of invariant valuations on Lie…

Differential Geometry · Mathematics 2025-12-02 Andreas Bernig , Dmitry Faifman , Jan Kotrbatý

This paper proposes a general duality framework for the problem of minimizing a convex integral functional over a space of stochastic processes adapted to a given filtration. The framework unifies many well-known duality frameworks from…

Computational Finance · Quantitative Finance 2010-06-28 Teemu Pennanen

In the logical framework introduced by Grohe and Tur\'an (TOCS 2004) for Boolean classification problems, the instances to classify are tuples from a logical structure, and Boolean classifiers are described by parametric models based on…

Logic in Computer Science · Computer Science 2024-11-07 Steffen van Bergerem , Nicole Schweikardt