English
Related papers

Related papers: Complexity of weakly null sequences

200 papers

Consider the generalized absolute value function defined by \[ a(t) = \vert t \vert t^{n-1}, \qquad t \in \mathbb{R}, n \in \mathbb{N}_{\geq 1}. \] Further, consider the $n$-th order divided difference function $a^{[n]}: \mathbb{R}^{n+1}…

Functional Analysis · Mathematics 2020-10-21 Martijn Caspers , Fedor Sukochev , Dmitriy Zanin

We initiate the combinatorial study of the poset $\mathrm{wIndex}_{\mathcal{T}}$ of weak $\mathcal{T}$-indexing systems, consisting of composable collections of arities for $\mathcal{T}$-equivariant algebraic structures, where $\mathcal{T}$…

Category Theory · Mathematics 2025-05-23 Natalie Stewart

We consider the constructive ordinal notation system for the ordinal ${\epsilon_0}$ that were introduced by L.D. Beklemishev. There are fragments of this system that are ordinal notation systems for the smaller ordinals ${\omega_n}$ (towers…

Logic · Mathematics 2013-12-12 Fedor Pakhomov

Let $\mathcal{B}$ denote a nonempty translation invariant collection of intervals in $\mathbb{R}^n$ (which we regard as a rare basis), and define the associated geometric maximal operator $M_\mathcal{B}$ by $$M_\mathcal{B}f(x) = \sup_{x \in…

Classical Analysis and ODEs · Mathematics 2022-04-28 Paul Hagelstein , Giorgi Oniani , Alex Stokolos

Suppose that (F_n)_{n=0}^{\infty} is a sequence of regular families of finite subsets of N such that F_0 contains all singletons, and (\theta _n)_{n=1}^{\infty} is a nonincreasing null sequence in (0,1). In this paper, we compute the…

Functional Analysis · Mathematics 2007-05-23 Denny H. Leung , Wee-Kee Tang

The weakly relational domain of Octagons offers a decent compromise between precision and efficiency for numerical properties. Here, we are concerned with the construction of non-numerical relational domains. We provide a general…

Logic in Computer Science · Computer Science 2024-01-11 Helmut Seidl , Julian Erhard , Sarah Tilscher , Michael Schwarz

Let $\Omega$ be a function of homogeneous of degree zero and vanish on the unit sphere $\mathbb {S}^n$. In this paper, we investigate the limiting weak-type behavior for singular integral operator $T_\Omega$ associated with rough kernel…

Classical Analysis and ODEs · Mathematics 2021-06-29 Moyan Qin , Huoxiong Wu , Qingying Xue

Batanin defines a weak $\omega$-category as an algebra for a certain operad. Leinster refines this idea and defines the weak $\omega$-category operad as the initial object of a category of "operads with contraction". We demonstrate how a…

Category Theory · Mathematics 2017-11-22 Kyle Raftogianis

Fixed point iterations are a fundamental tool in numerical analysis and scientific computing for the approximation of solutions to nonlinear problems. Their convergence is often established via the Banach fixed point theorem, provided that…

Numerical Analysis · Mathematics 2026-04-29 Thomas P. Wihler

A uniformly continuously integrable sequence of real-valued measurable functions, defined on some probability space, is relatively compact in the $\sigma(L^1,L^\infty)$ topology. In this paper, we link such a result to weak convergence…

Functional Analysis · Mathematics 2021-08-10 Gane Samb Lo , Aladji Babacar Niang

We give a new proof of sequential weak* lower semicontinuity in $\BV(\Omega;\R^m)$ for integral functionals with a quasiconvex Carath\'{e}odory integrand with linear growth at infinity and such that the recession function $f^\infty$ exists…

Analysis of PDEs · Mathematics 2011-03-22 Filip Rindler

In this paper, the concept of weakly uniform perfectness is considered. As an analogue of the theory of uniform perfectness, we obtain the relationships between weakly uniform perfectness and Bergman kernel, Poincar\'e metric and Hausdorff…

Complex Variables · Mathematics 2025-09-01 Zhiyuan Zheng

This paper explores the well known approximation approach to decide weak bisimilarity of Basic Parallel Processes. We look into how different refinement functions can be used to prove weak bisimilarity decidable for certain subclasses. We…

Formal Languages and Automata Theory · Computer Science 2012-08-15 Piotr Hofman , Patrick Totzke

Using the notion of $S_\xi$-strictly singular operator introduced by Androulakis, Dodos, Sirotkin and Troitsky, we define an ordinal index on the subspace of strictly singular operators between two separable Banach spaces. In our main…

Functional Analysis · Mathematics 2009-08-11 Kevin Beanland

We obtain weak type (1,1) estimates for the inverses of truncated discrete rough Hilbert transform. We include an ex- ample showing that our result is sharp. One of the ingredients of the proof are regularity estimates for convolution of…

Functional Analysis · Mathematics 2017-11-09 Maciej Paluszynski , Jacek Zienkiewicz

Borger's theory of $\Lambda$-spaces imbues algebraic spaces, which include schemes, with an additional structure defined by an extension of the Witt vector functor. Motivated by $\mathbb{F}_1$-geometry, we prove the existence of a weak…

Algebraic Geometry · Mathematics 2025-05-08 Kai Machida

A famous conjecture of Graham asserts that every set $A \subseteq \mathbb{Z}_p \setminus \{0\}$ can be ordered so that all partial sums are distinct. Although this conjecture was recently proved for sufficiently large primes by Pham and…

Combinatorics · Mathematics 2026-02-24 Simone Costa , Stefano Della Fiore

The conditional distribution of the next outcome given the infinite past of a stationary process can be inferred from finite but growing segments of the past. Several schemes are known for constructing pointwise consistent estimates, but…

Statistics Theory · Mathematics 2016-11-17 G. Morvai , S. Yakowitz , P. Algoet

In a \emph{weighted sequence}, for every position of the sequence and every letter of the alphabet a probability of occurrence of this letter at this position is specified. Weighted sequences are commonly used to represent imprecise or…

Data Structures and Algorithms · Computer Science 2017-08-28 Carl Barton , Tomasz Kociumaka , Chang Liu , Solon P. Pissis , Jakub Radoszewski

We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on parametrized saturation categories, i.e. categories whose…

Logic in Computer Science · Computer Science 2015-09-29 Tomasz Brengos , Marino Miculan , Marco Peressotti