English
Related papers

Related papers: A Non-commutative Monotone Selection Principle

200 papers

We say that a convergence law holds for a sequence of random combinatorial objects if, for any first-order sentence $\varphi$, the proportion of objects satisfying $\varphi$ converges to a limiting value as the size of the objects tends to…

Probability · Mathematics 2026-03-20 Alperen Özdemir

The order topology $\tau_o(P)$ (resp. the sequential order topology $\tau_{os}(P)$) on a poset $P$ is the topology that has as its closed sets those that contain the order limits of all their order convergent nets (resp. sequences). For a…

Operator Algebras · Mathematics 2014-11-10 Emmanuel Chetcuti , Jan Hamhalter , Hans Weber

The Furstenberg recurrence theorem (or equivalently, Szemer\'edi's theorem) can be formulated in the language of von Neumann algebras as follows: given an integer $k \geq 2$, an abelian finite von Neumann algebra $(\M,\tau)$ with an…

Operator Algebras · Mathematics 2010-07-21 Tim Austin , Tanja Eisner , Terence Tao

Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may…

Artificial Intelligence · Computer Science 2007-05-23 Daniel Lehmann

In general, some of the well known results of measure theory dealing with the convergence of sequences of functions such as the Dominated Convergence Theorem or the Monotone Convergence Theorem are not true when we consider arbitrary nets…

Functional Analysis · Mathematics 2023-07-19 Daniel L. Rodríguez-Vidanes

A permutation $\pi$ contains a permutation $\sigma$ as a pattern if it contains a subsequence of length $|\sigma|$ whose elements are in the same relative order as in the permutation $\sigma$. This notion plays a major role in enumerative…

Data Structures and Algorithms · Computer Science 2015-01-13 Ivan Bliznets , Marek Cygan , Pawel Komosa , Lukas Mach

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

Logic in Computer Science · Computer Science 2007-05-23 Viktor Kuncak , Martin Rinard

We provide a new global small-gain theorem for feedback interconnections of monotone input-output systems with multi-valued input-state characteristics. This extends a recent small-gain theorem of Angeli and Sontag for monotone systems with…

Optimization and Control · Mathematics 2007-05-23 Michael Malisoff , Patrick de Leenheer

New sets (typically found by computer search) with Sidon constant equal to the square root of their cardinalities are given. For each integer $N$ there are only a finite number of groups of prime order containing $N$-element extreme sets.…

Functional Analysis · Mathematics 2019-10-03 Colin C. Graham

In this paper, we investigate whether Variational Principles can be associated with the Helmholtz equation subject to impedance (absorbing) boundary conditions. This model has been extensively studied in the literature from both…

Numerical Analysis · Mathematics 2025-11-18 G. Makrakis , C. Makridakis , D. Mitsoudis , M. Plexousakis , T. Pryer

We prove a lemma which allows one to extend results about the additivity of the minimal output entropy from highly symmetric channels to a much larger class. A similar result holds for the maximal output $p$-norm. Examples are given showing…

Quantum Physics · Physics 2009-11-11 Motohisa Fukuda

We treat an inverse electrical conductivity problem which deals with the reconstruction of nonlinear electrical conductivity starting from boundary measurements in steady currents operations. In this framework, a key role is played by the…

We use the cluster method to enumerate permutations avoiding consecutive patterns. We reprove and generalize in a unified way several known results and obtain new ones, including some patterns of length 4 and 5, as well as some infinite…

Combinatorics · Mathematics 2012-10-24 Sergi Elizalde , Marc Noy

We start by defining an approach to non-monotonic probabilistic reasoning in terms of non-monotonic categorical (true-false) reasoning. We identify a type of non-monotonic probabilistic reasoning, akin to default inheritance, that is…

Artificial Intelligence · Computer Science 2013-04-12 Benjamin N. Grosof

We consider independent long-range percolation models on locally finite vertex-transitive graphs. Using coupling ideas we prove strict monotonicity of the critical points with respect to local perturbations in the connection function,…

Probability · Mathematics 2025-10-31 Stein Andreas Bethuelsen , Christian Mönch

Composite optimization problems, where the sum of a smooth and a merely lower semicontinuous function has to be minimized, are often tackled numerically by means of proximal gradient methods as soon as the lower semicontinuous part of the…

Optimization and Control · Mathematics 2022-07-05 Christian Kanzow , Patrick Mehlitz

We prove first-order convergence of semi-discrete monotone finite difference schemes for Hamilton--Jacobi equations on the Wasserstein space over a finite graph. A central challenge is the boundary degeneracy of the Wasserstein simplex,…

Numerical Analysis · Mathematics 2026-05-22 Jianbo Cui , Tonghe Dang

We prove that if $A$ is any set of prime numbers satisfying \[ \sum_{a\in A}\frac{1}{a}=\infty, \] then $A$ must contain a $3$-term arithmetic progression. This is accomplished by combining the transference principle with a density…

Number Theory · Mathematics 2015-06-12 Eric Naslund

The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary…

Commutative Algebra · Mathematics 2020-08-13 Ezra Miller

We study the problem of selecting a statement that finds common ground across diverse population preferences. Generative AI is uniquely suited for this task because it can access a practically infinite set of statements, but AI systems like…

Computer Science and Game Theory · Computer Science 2026-03-18 Jay Chooi , Paul Gölz , Ariel D. Procaccia , Benjamin Schiffer , Shirley Zhang