English
Related papers

Related papers: Cascading Variants of Internal Approachability

200 papers

We give a modification of Mitchell's technique for adding objects of size $\omega_2$ with conditions with finite working parts in which the collections of models used as side conditions are very highly structured, arguably making them more…

Logic · Mathematics 2014-11-25 Charles Morgan

We introduce a new variational approach to the stationary state of kinetic Ising-like models. The approach is based on the cluster expansion of the entropy term appearing in a functional which is minimized by the system history. We rederive…

Statistical Mechanics · Physics 2013-07-26 Alessandro Pelizzola

By exact computer enumeration and combinatorial methods, we have calculated the designability of proteins in a simple lattice H-P model for the protein folding problem. We show that if the strength of the non-additive part of the…

Soft Condensed Matter · Physics 2009-10-30 M. R. Ejtehadi , N. Hamedani , H. Seyed-Allaei , V. Shahrezaei , M. Yahyanejad

We present a survey of results concerning the use of inductive constructions to study the rigidity of frameworks. By inductive constructions we mean simple graph moves which can be shown to preserve the rigidity of the corresponding…

Metric Geometry · Mathematics 2013-06-18 Anthony Nixon , Elissa Ross

A unitarily invariant projective framework is introduced to analyze the complexity of path-following methods for the eigenvalue problem. A condition number, and its relation to the distance to ill-posedness, is given. A Newton map…

Numerical Analysis · Mathematics 2013-05-27 Diego Armentano

Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…

Logic · Mathematics 2016-10-06 Darío García , Frank Olaf Wagner

We use characteristic functions to construct alpha(x)-multistable measures and integrals, where the measures behave locally like alpha-stable measures, but with the stability index alpha(x) varying with time x. This enables us to construct…

Probability · Mathematics 2010-07-29 Kenneth Falconer , Lining Liu

Suitable reachability conditions can make two different fixed point semantics of a transition system coincide. For instance, the total and partial expected reward semantics on Markov chains (MCs) coincide whenever the MC at hand is almost…

Logic in Computer Science · Computer Science 2025-09-08 Mayuko Kori , Kazuki Watanabe , Jurriaan Rot

Image-text multimodal representation learning aligns data across modalities and enables important medical applications, e.g., image classification, visual grounding, and cross-modal retrieval. In this work, we establish a connection between…

Computer Vision and Pattern Recognition · Computer Science 2023-06-14 Peiqi Wang , William M. Wells , Seth Berkowitz , Steven Horng , Polina Golland

In this short note, we shall prove some observations regarding the connection between indestructible $\omega_1$-guessing models and the $\omega_1$-approximation property of forcing notions.

Logic · Mathematics 2022-02-18 Rahman Mohammadpour

Are there qualitative and quantitative traits of system design that contribute to the ability of people to further innovate? We propose that extrinsic adaptability, the ability given to secondary parties to change a system to match new…

Computers and Society · Computer Science 2013-06-25 Raphael 'kena' Poss

A variety of models for the membrane-mediated interaction of particles in lipid membranes, mostly well-established in theoretical physics, is reviewed from a mathematical perspective. We provide mathematically consistent formulations in a…

Analysis of PDEs · Mathematics 2016-06-29 Charles M. Elliott , Carsten Gräser , Graham Hobbs , Ralf Kornhuber , Maren-Wanda Wolf

Local unitary invariants allow one to test whether multipartite states are equivalent up to local basis changes. Equivalently, they specify the geometry of the "orbit space" obtained by factoring out local unitary action from the state…

Quantum Physics · Physics 2012-12-27 Graeme Mitchison

We study the statistical and dynamical aspects of a translation-invariant Hamiltonian, without quench disorder, as an example of the manifestation of the phenomenon of many-body localization. This is characterized by the breakdown of…

Strongly Correlated Electrons · Physics 2017-08-03 Rubem Mondaini , Zi Cai

It has become increasingly common nowadays to collect observations of feature and response pairs from different environments. As a consequence, one has to apply learned predictors to data with a different distribution due to distribution…

Methodology · Statistics 2023-10-31 Kang Du , Yu Xiang

Motivated by the study of the metastable stochastic Ising model at subcritical temperature and in the limit of a vanishing magnetic field, we extend the notion of ($\kappa$, $\lambda$)-capacities between sets, as well as the associated…

Probability · Mathematics 2020-05-13 Alexandre Gaudilliere , A. Bianchi , P Milanesi

We review old and new uses of exchangeability, emphasizing the general theme of exchangeable representations of complex random structures. Illustrations of this theme include processes of stochastic coalescence and fragmentation; continuum…

Probability · Mathematics 2010-02-22 David J. Aldous

We consider the notion of herdability, a set-based reachability condition, which asks whether the state of a system can be controlled to be element-wise larger than a non-negative threshold. First a number of foundational results on…

Systems and Control · Computer Science 2019-04-19 Sebastian F Ruf , Magnus Egerstedt , Jeff S. Shamma

Hierarchical models represent a challenging setting for inference algorithms. MCMC methods struggle to scale to large models with many local variables and observations, and variational inference (VI) may fail to provide accurate…

Machine Learning · Computer Science 2022-07-27 Tomas Geffner , Justin Domke

We prove the equivalence of the frame property and the closedness for a weighted shift-invariant space. We also construct a sequence $\Phi^{2k+1}$ and the sequence of spaces $V^p_\mu(\Phi^{2k+1})$, $k\in{\mathbb{N}}$, on $\mathbb{R},$ with…

Functional Analysis · Mathematics 2011-06-01 Stevan Pilipovic , Suzana Simic