English
Related papers

Related papers: A Non-commutative Monotone Selection Principle

200 papers

We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is…

Dynamical Systems · Mathematics 2016-04-08 Vitaly Bergelson , Cory Christopherson , Donald Robertson , Pavel Zorin-Kranich

Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalent criterion for Dedekind completeness of ordered fields:…

General Topology · Mathematics 2007-05-23 Mojtaba Moniri , Jafar S. Eivazloo

We consider strong combinatorial principles for sigma-directed families of countable sets in the ordering by inclusion modulo finite, e.g. P-ideals of countable sets. We try for principles as strong as possible while remaining compatible…

Logic · Mathematics 2008-05-05 James Hirschorn

In a pre-selected Hilbert space of quantum states the unitarity of the evolution is usually guaranteed via a pre-selection of the generator (i.e., of the Hamiltonian operator) in self-adjoint form. In fact, the simultaneous use of both of…

Quantum Physics · Physics 2013-11-26 Miloslav Znojil

For a set-valued stochastic sequence $(G_n)_{n=0}^N$ with relatively open convex values $G_n(\omega)$ we give a criterion for the existence of an adapted sequence $(x_n)_{n=0}^N$ of selectors, admitting an equivalent martingale measure.…

Probability · Mathematics 2007-05-23 Dmitry B. Rokhlin

We report an approach to obtaining complex networks with diverse topology, here called syntonets, taking into account the consonances and dissonances between notes as defined by scale temperaments. Though the fundamental frequency is…

Sound · Computer Science 2020-12-09 Luciano da Fontoura Costa , Henrique Ferraz de Arruda

We prove that norm continuous derivations from a von Neumann algebra into the algebra of operators affiliated with its tensor square are automatically continuous for both the strong operator topology and the measure topology. Furthermore,…

Operator Algebras · Mathematics 2018-03-05 Vadim Alekseev , David Kyed

Sequences diverge either because they head off to infinity or because they oscillate. Part 1 constructs a non-Archimedean framework of infinite numbers that is large enough to contain asymptotic limit points for non-oscillating sequences…

General Mathematics · Mathematics 2011-08-26 David Alan Paterson

We obtain non-symmetric upper and lower bounds on the rate of convergence of general monotone approximation/numerical schemes for parabolic Hamilton Jacobi Bellman Equations by introducing a new notion of consistency. We apply our general…

Analysis of PDEs · Mathematics 2009-11-11 Guy Barles , Espen R. Jakobsen

This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical structures for reasoning about partial information without a predefined syntax/logic. This structure is called…

Logic in Computer Science · Computer Science 2007-05-23 Guo-Qiang Zhang

We show that for every sufficiently large $n$, the number of monotone subsequences of length four in a permutation on $n$ points is at least $\binom{\lfloor n/3 \rfloor}{4} + \binom{\lfloor(n+1)/3\rfloor}{4} + \binom{\lfloor…

Combinatorics · Mathematics 2015-06-03 József Balogh , Ping Hu , Bernard Lidický , Oleg Pikhurko , Balázs Udvari , Jan Volec

We develop techniques to deal with monotonicity of sequences z_{n+1}/z_n and \sqrt[n]{z_n}. A series of conjectures of Zhi-Wei Sun and of Amdeberhan et al. are verified in certain unified approaches.

Combinatorics · Mathematics 2015-06-15 Yi Wang , Bao-Xuan Zhu

We construct new algorithms from scratch, which use the fourth order cumulant of stochastic variables for the cost function. The multiplicative updating rule here constructed is natural from the homogeneous nature of the Lie group and has…

Machine Learning · Computer Science 2015-06-25 Toshinao Akuzawa , Noboru Murata

In the paper we introduce a weak set theory $\mathsf{H}_{<\omega}$ . A formalization of arithmetic on finite von Neumann ordinals gives an embedding of arithmetical language into this theory. We show that $\mathsf{H}_{<\omega}$ proves a…

Logic · Mathematics 2019-08-29 Fedor Pakhomov

An "entropy increasing to the maximum" result analogous to the entropic central limit theorem (Barron 1986; Artstein et al. 2004) is obtained in the discrete setting. This involves the thinning operation and a Poisson limit. Monotonic…

Information Theory · Computer Science 2009-11-18 Yaming Yu

Based on an idea of Y. P\'eresse and some results of Maltcev, Mitchell and Ru\v{s}kuc, we present sufficient conditions under which the endomorphism monoid of a countably infinite ultrahomogeneous first-order structure has the Bergman…

Group Theory · Mathematics 2014-03-10 Igor Dolinka

We establish, for a generically big Hermitian line bundle, the convergence of truncated Harder-Narasimhan polygons and the uniform continuity of the limit. As applications, we prove a conjecture of Moriwaki asserting that the arithmetic…

Algebraic Geometry · Mathematics 2008-12-18 Huayi Chen

Some monotone increasing sequences of the lower bounds for the minimum eigenvalue of $M$-matrices are given. It is proved that these sequences are convergent and improve some existing results. Numerical examples show that these sequences…

Numerical Analysis · Mathematics 2017-04-19 Jianxing Zhao , Caili Sang

We present a new approach to the problem of enumerating permutations of length n that avoid a fixed consecutive pattern of length m. We use this idea to give explicit upper and lower bounds on the number of permutations avoiding a pattern…

Combinatorics · Mathematics 2012-08-29 Guillem Perarnau

We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.

Logic · Mathematics 2018-04-18 Lars Kristiansen , Juvenal Murwanashyaka