Source author record

Andrei Sipos

Andrei Sipos appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

Hilbert space representation of binary operations on a power-multiplying oscillator

In this study, the properties of an oscillating system composed of a pendulum connected to a seesaw and placed on a moving platform with a certain slope are analyzed. Using complex numbers to collect the information contained in the system proves to be crucial in order to observe the properties described by both cross and dot products. The representation of physical quantities in complex numbers reveals that for certain angles, precisely those where the oscillation translates into a displacement, the properties of the system are expressed in the real plane.

preprint2021arXiv

Revisiting jointly firmly nonexpansive families of mappings

Recently, the author, together with L. Leustean and A. Nicolae, introduced the notion of jointly firmly nonexpansive families of mappings in order to investigate in an abstract manner the convergence of proximal methods. Here, we further the study of this concept, by giving a characterization in terms of the classical resolvent identity, by improving on the rate of convergence previously obtained for the uniform case, and by giving a treatment of the asymptotic behaviour at infinity of such families.

preprint2020arXiv

The finitary content of sunny nonexpansive retractions

We use techniques of proof mining to extract a uniform rate of metastability (in the sense of Tao) for the strong convergence of approximants to fixed points of uniformly continuous pseudocontractive mappings in Banach spaces which are uniformly convex and uniformly smooth, i.e. a slightly restricted form of the classical result of Reich. This is made possible by the existence of a modulus of uniqueness specific to uniformly convex Banach spaces and by the arithmetization of the use of the limit superior. The metastable convergence can thus be proved in a system which has the same provably total functions as first-order arithmetic and therefore one may interpret the resulting proof in Gödel's system $T$ of higher-type functionals. The witness so obtained is then majorized (in the sense of Howard) in order to produce the final bound, which is shown to be definable in the subsystem $T_1$. This piece of information is further used to obtain rates of metastability to results which were previously only analyzed from the point of view of proof mining in the context of Hilbert spaces, i.e. the convergence of the iterative schemas of Halpern and Bruck.

preprint2016arXiv

A note on the Mann iteration for $k$-strict pseudocontractions in Banach spaces

We show that a variant of a function defined by Cholamjiak and Suantai can be used to characterize 2-uniform smoothness. We then obtain greatly simplified proofs of a convergence theorem of Marino and Xu and of one of Zhou using a generalization of a lemma of Browder and Petryshyn and the aforementioned characterization. We also obtain more easily rates of asymptotic regularity corresponding to the studied iterations. Finally, we derive a way to relate two constants which are characteristic to 2-uniformly smooth spaces.

preprint2016arXiv

Codensity and Stone spaces

We present a detailed computation of two codensity monads associated to two canonical functors -- the inclusion functor of FinSet into Top and the inclusion functor of the category of the powers of the Sierpinski space into Top. We show that the essential images of the two monads are the categories of Stone spaces and of sober spaces, respectively. A new motivation for defining these classes of spaces is therefore obtained.

preprint2016arXiv

Effective results on a fixed point algorithm for families of nonlinear mappings

We use proof mining techniques to obtain a uniform rate of asymptotic regularity for the instance of the parallel algorithm used by López-Acedo and Xu to find common fixed points of finite families of $k$-strict pseudocontractive self-mappings of convex subsets of Hilbert spaces. We show that these results are guaranteed by a number of logical metatheorems for classical and semi-intuitionistic systems.

preprint2016arXiv

Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions

We compute uniform rates of metastability for the Ishikawa iteration of a Lipschitz pseudo-contractive self-mapping of a compact convex subset of a Hilbert space. This extraction is an instance of the proof mining program that aims to apply tools from mathematical logic in order to extract the hidden quantitative content of mathematical proofs. We prove our main result by applying methods developed by Kohlenbach, the first author and Nicolae for obtaining quantitative versions of strong convergence results for generalized Fejér monotone sequences in compact subsets of metric spaces.