English
Related papers

Related papers: Long low iterations

200 papers

We study multitask learning for stochastic and partially observed control systems, focusing on the linear quadratic Gaussian (LQG) problem. Our goal is to learn a common stabilizing controller that generalizes across a distribution of…

Optimization and Control · Mathematics 2026-04-21 Leonardo F. Toso , Kasra Fallah , Charis Stamouli , George J. Pappas , James Anderson

We give some general criteria, when kappa-complete forcing preserves largeness properties -- like kappa-presaturation of normal ideals on lambda (even when they concentrate on small cofinalities). Then we quite accurately obtain the…

Logic · Mathematics 2016-09-06 Moti Gitik , Saharon Shelah

We introduce a framework for ordinal notation systems, present a family of strong yet simple systems, and give many examples of ordinals in these systems. While much of the material is conjectural, we include systems with conjectured…

Logic · Mathematics 2019-01-01 Dmytro Taranovsky

We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity,…

Logic · Mathematics 2023-02-03 Peter Holy , Philipp Schlicht , Christopher Turner , Philip Welch

We analyze the relation between the concept of auxiliary variables and the Inverse problem of the calculus of variations to construct a Lagrangian from a given set of equations of motion. The problem of the construction of a consistent…

High Energy Physics - Theory · Physics 2007-05-23 Ignacio Cortese , J. Antonio Garcia

Computer algebra systems are really good at factoring polynomials, i.e. writing f as a product of irreducible factors. It is relatively easy to verify that we have a factorisation, but verifying that these factors are irreducible is a much…

Symbolic Computation · Computer Science 2024-09-17 James H. Davenport

We introduce two families of inequalities. Large ensemble decoupling is connected to the continuous restriction phenomenon. Tight decoupling is connected to the discrete Restriction conjecture for the sphere. Our investigation opens new…

Classical Analysis and ODEs · Mathematics 2024-02-08 Ciprian Demeter

For statistical modeling wherein the data regime is unfavorable in terms of dimensionality relative to the sample size, finding hidden sparsity in the ground truth can be critical in formulating an accurate statistical model. The so-called…

Optimization and Control · Mathematics 2025-08-04 Matteo Bergamaschi , Andrea Cristofari , Vyacheslav Kungurtsev , Francesco Rinaldi

Some particular examples of classical and quantum systems on the lattice are solved with the help of orthogonal polynomials and its connection to continuous models are explored.

Mathematical Physics · Physics 2007-05-23 M. Lorente

I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…

Logic · Mathematics 2024-05-17 Ben Goodman

A fixed set of vertices in the plane may have multiple planar straight-line triangulations in which the degree of each vertex is the same. As such, the degree information does not completely determine the triangulation. We show that even if…

Computational Complexity · Computer Science 2025-10-07 Erin Chambers , Tim Ophelders , Anna Schenfisch , Julia Sollberger

This paper focuses on two-sided matching where one side (a hospital or firm) is matched to the other side (a doctor or worker) so as to maximize a cardinal objective under general feasibility constraints. In a standard model, even though…

Computer Science and Game Theory · Computer Science 2019-07-10 Yasushi Kawase , Atsushi Iwasaki

We study constrained clustering, where constraints guide the clustering process. In existing works, two categories of constraints have been widely explored, namely pairwise and cardinality constraints. Pairwise constraints enforce the…

Machine Learning · Computer Science 2023-01-30 Adel Bibi , Ali Alqahtani , Bernard Ghanem

We make several remarks concerning properties of functions in parabolic De Giorgi classes of order $p$. There are new perspectives including a novel mechanism of propagating positivity in measure, the reservation of membership under convex…

Analysis of PDEs · Mathematics 2020-04-30 Naian Liao

We succeed to say something on the identities of (mu^+, mu) when mu>theta>cf(mu), mu strong limit theta--compact. This hopefully will help to prove the consistency of ``some pair (mu^+,mu) is not compact'', however, this has not been…

Logic · Mathematics 2007-05-23 Saharon Shelah

We study control problems in the context of matching under preferences: We examine how a central authority, called the controller, can manipulate an instance of the Stable Marriage or Stable Roommates problems in order to achieve certain…

Computer Science and Game Theory · Computer Science 2025-02-04 Jiehua Chen , Ildikó Schlotter

We develop a linear-algebraic framework for dimensional analysis in systems with constraints, particularly when variables are numerous or related by implicit relations so that direct elimination is impractical. By expressing both…

Mathematical Physics · Physics 2026-03-31 Umpei Miyamoto

Much recent work in cardinal characteristics has focused on generalizing results about $\omega$ to uncountable cardinals by studying analogues of classical cardinal characteristics on the generalized Baire and Cantor spaces $\kappa^\kappa$…

Logic · Mathematics 2021-09-01 Corey Bacal Switzer

This work presents higher order Lagrangian dynamics possessing locally conformal character. More concretely, locally conformal higher order Euler-Lagrange equations are written with particular focus on the second- and the third-order cases.

Mathematical Physics · Physics 2024-11-27 Serdar Çite , Oğul Esen

A thorough investigation of the foundations of paraconsistent logics. Relations between logical principles are formally studied, a novel notion of consistency is introduced, the logics of formal inconsistency, and the subclasses of…

Logic · Mathematics 2007-05-23 W. A. Carnielli , J. Marcos