English
Related papers

Related papers: Lineability criteria, with applications

200 papers

The Lebesgue property (order-continuity) of a monotone convex function on a solid vector space of measurable functions is characterized in terms of (1) the weak inf-compactness of the conjugate function on the order-continuous dual space,…

Functional Analysis · Mathematics 2014-03-14 Keita Owari

Linearizability is the de facto consistency condition for concurrent objects, widely used in theory and practice. Loosely speaking, linearizability classifies concurrent executions as correct if operations on shared objects appear to take…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-30 Gal Sela , Maurice Herlihy , Erez Petrank

We completely characterize the finite dimensional subsets A of any separable Hilbert space for which the notion of A-hypercyclicity coincides with the notion of hypercyclicity, where an operator T on a topological vector space X is said to…

Functional Analysis · Mathematics 2018-08-17 S. Charpentier , R. Ernst

The two basic equations satisfied by the parameters of a block design define a three-dimensional affine variety $\mathcal{D}$ in $\mathbb{R}^{5}$. A point of $\mathcal{D}$ that is not in some sense trivial lies on four lines lying in…

Combinatorics · Mathematics 2010-02-17 Harold N. Ward

In this paper, the reachability of dimension-bounded linear systems is investigated.Since state dimensions of dimension-bounded linear systems vary with time, the expression of state dimension at each time is provided.A method for judging…

Systems and Control · Electrical Eng. & Systems 2021-09-21 Yiliang Li , Haitao Li , Jun-e Feng , Jinjin Li

This note presents an extension of a result within the concept of [S]-lineability, originally developed in 2019 by L. Bernal-Gonz\'alez, J.A. Conejero, M. Murillo-Arcila, and J.B. Seoane-Sep\'ulveda . Additionally, we provide a…

Functional Analysis · Mathematics 2024-06-04 Geivison Ribeiro

Linearisability is a central notion for verifying concurrent libraries: a given library is proven safe if its operational history can be rearranged into a new sequential one which, in addition, satisfies a given specification.…

Programming Languages · Computer Science 2016-10-26 Andrzej S. Murawski , Nikos Tzevelekos

In this paper, using the tools from the lineability theory, we distinguish certain subsets of $p$-adic differentiable functions. Specifically, we show that the following sets of functions are large enough to contain an infinite dimensional…

Two new applications of a technique for spaceability are given in this paper. For the first time this technique is used in the investigation of the algebraic genericity property of the weak form of Peano's theorem on the existence of…

Functional Analysis · Mathematics 2015-10-02 Cleon Barroso , Geraldo Botelho , Vinícius V. Fávaro , Daniel Pellegrino

This is a detailed study of the infinitesimal variation of the variety of lines through a point of a low degree hypersurface in pro jective space. The motion is governed by a system of partial differential equations which we describe…

Algebraic Geometry · Mathematics 2008-10-09 J. M. Landsberg , C. Robles

In Functional Analysis, certain conclusions apply to sequences, but they cannot be carried over when we consider nets. In fact, some nets, including sequences, can behave unexpectedly. In this paper we are interested in exploring the…

Functional Analysis · Mathematics 2024-01-17 Sheldon Dantas , Daniel L. Rodríguez-Vidanes

Linearizability has become the key correctness criterion for concurrent data structures, ensuring that histories of the concurrent object under consideration are consistent, where consistency is judged with respect to a sequential history…

Logic in Computer Science · Computer Science 2015-02-03 Brijesh Dongol , John Derrick

A statistical functional, such as the mean or the median, is called elicitable if there is a scoring function or loss function such that the correct forecast of the functional is the unique minimizer of the expected score. Such scoring…

Statistics Theory · Mathematics 2016-08-10 Tobias Fissler , Johanna F. Ziegel

In a metric space, such as the real numbers with their standard metric, a set A is open if and only if no sequence with terms outside of A has a limit inside A. Moreover, a metric space is compact if and only if every sequence has a…

General Topology · Mathematics 2010-06-24 Stijn Vermeeren

The recently introduced and characterized scalable frames can be considered as those frames which allow for perfect preconditioning in the sense that the frame vectors can be rescaled to yield a tight frame. In this paper we define…

Numerical Analysis · Mathematics 2014-02-04 Gitta Kutyniok , Kasso A. Okoudjou , Friedrich Philipp

A characteristic-dependent linear rank inequality is a linear inequality that holds by ranks of subspaces of a vector space over a finite field of determined characteristic, and does not in general hold over other characteristics. In this…

Information Theory · Computer Science 2019-04-09 Victor Pena , Humberto Sarria

This paper is concerned with certain generalizations of meagreness and their combinatorial equivalents. The simplest example, and the one which motivated further study in this area, comes about by considering the following definition: a set…

Logic · Mathematics 2016-09-07 Saharon Shelah

New classes of distance-constrained structures are introduced, namely string-node nets and meshes, a mesh being a string-node net for which the nodes are dense in the strings. Various construction schemes are given including the minimal…

Metric Geometry · Mathematics 2016-09-12 S. C. Power , B. Schulze

We study Li-Yorke chaos for sequences of continuous linear operators from an \(F\)-space to a normed space. We introduce the \emph{D-phenomenon} to establish a common dense lineable criterion that encompasses properties such as recurrence,…

Functional Analysis · Mathematics 2025-02-06 Alexander Arbieto , Manuel Saavedra

We study a hypercyclicity property of linear dynamical systems: a bounded linear operator T acting on a separable infinite-dimensional Banach space X is said to be hypercyclic if there exists a vector x in X such that {T^{n}x : n>0} is…

Functional Analysis · Mathematics 2010-09-15 Sophie Grivaux