English
Related papers

Related papers: Long low iterations

200 papers

Answering a question of Usuba, we show that an extendible cardinal can be preserved by a set forcing that is not a small forcing.

Logic · Mathematics 2021-08-17 Gabriel Goldberg

The control of bilinear systems has attracted considerable attention in the field of systems and control for decades, owing to their prevalence in diverse applications across science and engineering disciplines. Although much work has been…

Optimization and Control · Mathematics 2020-09-09 Gong Cheng , Wei Zhang , Jr-Shin Li

We propose to identify directions invariant to a given classifier so that these directions can be controlled in tasks such as style transfer. While orthogonal decomposition is directly identifiable when the given classifier is linear, we…

Machine Learning · Computer Science 2022-01-28 Yilun Xu , Hao He , Tianxiao Shen , Tommi Jaakkola

In this paper, we discuss the controllability of a family of linear time-invariant (LTI) networks defined on a signed graph. In this direction, we introduce the notion of positive and negative signed zero forcing sets for the…

Optimization and Control · Mathematics 2020-05-25 Shima Sadat Mousavi , Mohammad Haeri , Mehran Mesbahi

We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain conditions, preservation of cardinals and adding Cohen reals. We find rough forcings that…

Logic · Mathematics 2021-02-12 Giorgio Laguzzi , Heike Mildenberger , Brendan Stuber-Rousselle

Let $\mathfrak{i}$ denote the minimal cardinality of a maximal independent family and let $\mathfrak{a}_T$ denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of $2^{<\omega}$. Using a countable support…

Logic · Mathematics 2019-12-24 Vera Fischer

The notion of strong structural controllability (s-controllability) allows for determining controllability properties of large linear time-invariant systems even when numerical values of the system parameters are not known a priori. The…

Optimization and Control · Mathematics 2019-02-01 Kumar Yashashwi , Shana Moothedath , Prasanna Chaporkar

For any regular cardinal $\kappa$ and ordinal $\eta<\kappa^{++}$ it is consistent that $2^{\kappa}$ is as large as you wish, and every function $f:\eta \to [\kappa,2^{\kappa}]\cap Card$ with $f(\alpha)=\kappa$ for $cf(\alpha)<\kappa$ is the…

Logic · Mathematics 2019-02-19 Juan Carlos Martinez , Lajos Soukup

The paper analyzes a Lagrangian system which is controlled by directly assigning some of the coordinates as functions of time, by means of frictionless constraints. In a natural system of coordinates, the equations of motions contain terms…

Optimization and Control · Mathematics 2015-05-13 A. Bressan , F. Rampazzo

We develop a unified framework for the study of properties involving diagonalizations of dense families in topological spaces. We provide complete classification of these properties. Our classification draws upon a large number of methods…

General Topology · Mathematics 2012-07-31 Maddalena Bonanzinga , Filippo Cammaroto , Bruno Antonio Pansera , Boaz Tsaban

It is well known to generalize the meagre ideal replacing aleph_0 by a (regular) cardinal lambda > aleph_0 and requiring the ideal to be lambda^+-complete. But can we generalize the null ideal? In terms of forcing, this means finding a…

Logic · Mathematics 2017-01-20 Saharon Shelah

Let L^1(G) and M(G) be group algebra and measure algebra of a locally compact group G, respectively and D:L^1(G)-->M(G) be a continuous linear map. We consider D behaving like derivation or anti-derivation at orthogonal elements for several…

Functional Analysis · Mathematics 2020-01-27 Hoger Ghahramani

Over the past two decades the notion of a strong monad has found wide applicability in computing. Arising out of a need to interpret products in computational and semantic settings, different approaches to this concept have arisen. In this…

Programming Languages · Computer Science 2013-09-23 Philip Mulry

This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering…

Logic · Mathematics 2007-05-23 Matteo Viale

The contour of a family of filters along a filter is a set-theoretic lower limit. Topologicity and regularity of convergences can be characterized with the aid of the contour operation. Contour inversion is studied, in particular, for…

General Topology · Mathematics 2019-01-31 Szymon Dolecki , Andrzej Starosolski

The naive application of Reinforcement Learning algorithms to continuous control problems -- such as locomotion and manipulation -- often results in policies which rely on high-amplitude, high-frequency control signals, known colloquially…

Robotics · Computer Science 2019-02-14 Steven Bohez , Abbas Abdolmaleki , Michael Neunert , Jonas Buchli , Nicolas Heess , Raia Hadsell

Juggling patterns can be described by a sequence of cards which keep track of the relative order of the balls at each step. This interpretation has many algebraic and combinatorial properties, with connections to Stirling numbers, Dyck…

Combinatorics · Mathematics 2015-04-08 Steve Butler , Fan Chung , Jay Cummings , Ron Graham

Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…

Logic · Mathematics 2022-01-28 Gabriel Goldberg

We list some open problems, concerning the polarized partition relation. We solve a couple of them by showing that for every singular cardinal $\mu$ one can force the strong polarized relation with respect to the pair $\mu^+,\mu$.

Logic · Mathematics 2016-07-13 Shimon Garti , Saharon Shelah

We force $2^\lambda$ to be large and for many pairs in the interval $(\lambda,2^\lambda)$ a stronger version of the polarized partition relations hold. We apply this toproblem in general topology

Logic · Mathematics 2023-08-24 Saharon Shelah