中文
相关论文

相关论文: A Non-commutative Monotone Selection Principle

200 篇论文

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…

概率论 · 数学 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…

算子代数 · 数学 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…

算子代数 · 数学 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…

人工智能 · 计算机科学 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…

泛函分析 · 数学 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…

数据结构与算法 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

最优化与控制 · 数学 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.…

泛函分析 · 数学 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…

数值分析 · 数学 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…

量子物理 · 物理学 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…

组合数学 · 数学 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…

人工智能 · 计算机科学 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,…

概率论 · 数学 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…

最优化与控制 · 数学 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,…

数值分析 · 数学 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…

数论 · 数学 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…

交换代数 · 数学 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…

计算机科学与博弈论 · 计算机科学 2026-03-18 Jay Chooi , Paul Gölz , Ariel D. Procaccia , Benjamin Schiffer , Shirley Zhang