BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Eliahu Levy

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

ResearcherUnclaimed source record
math.FAmath.HOmath.LOmath.OAmath.OCmath.RAComputational Geometrymath.COmath.CTmath.GNmath.MGmath.SPphysics.hist-phquant-ph

Catalog footprint

What is connected

11works
14topics
3close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

11 published item(s)

preprint2022arXiv

Limits of eventual families of sets with application to algorithms for the common fixed point problem

We present an abstract framework for asymptotic analysis of convergence based on the notions of eventual families of sets that we define. A family of subsets of a given set is called here an "eventual family" if it is upper hereditary with respect to inclusion. We define accumulation points of eventual families in a Hausdorff Topological space and define the "image family" of an eventual family. Focusing on eventual families in the set of the integers enables us to talk about sequences of points. We expand our work to the notion of a "multiset" which is a modification of the concept of a set that allows for multiple instances of its elements and enable the development of "multifamilies" which are either "increasing" or "decreasing". The abstract structure created here is motivated by, and feeds back to, our look at the convergence analysis of an iterative process for asymptotically finding a common fixed point of a family of operators.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Let the Mathematics of Quantum Speak: Allowed and Unallowed Logic

Some notes about quantum physics, an interpretation if one wishes, are put forward, insisting on `closely following the mathematics/formalism, the `nuts and bolts of what quantum physics says'. These, basically well-known, issues seem to highlight some rather bold points about the `logic' aspect in quantum physics, necessarily restricting when and which logic may be admissible. And one may understand why that path is hardly followed in the literature. The mathematics/formalism of quantum, compared with classical, physics, may be fairly basically characterized by non-commutative algebras replacing commutative. These classically appearing, in fact, in dealing with systems of possibilities (say, all possible planetary motions under gravity of which one is the actual one). In particular, contrary to too common usage, the quantum non-commutativity should make it impossible to simply `transcend' the `system of possibilities' aspect into a `yes-no' logic essential for an `actual world'. One may have the latter only in a `haven' of approximately commutative algebras of `quasi-classical macroscopic observables', and moreover that `yes-no actual world' would plainly be an `extra ingredient' to the base quantum theory itself.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

(Positive) Totally Ordered Noncommutative Monoids -- How Noncommutative Can They Be?

Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition. In this note we attempt an introductory investigation of totally (also partially) ordered monoids, not assumed commutative (still writing them additively), and taking them as positive, i.e.\ every element is greater than the unit element. That, in the usual commutative cases, allows the ordering to be defined via the algebraic structure, namely, as divisibility (in our additive sense): $a\le b$ defined as $\exists\,c\,\,(b=a+c)$. The noncommutative case offers several ways to generalize that. First we try to follow the divisibility definition (on the right or on the left). Then, alternatively, we insist on the ordering being compatible with the operation both on the left and on the right, but strict inequality may not carry over -- again refer to the ordinals example. We try to see what axiom(s) such requirements impose on the monoid structure, and some facts are established. Focusing especially on the totally ordered case, one finds that necessarily the noncommutativity is somewhat limited. One may partly emulate here the commutative case, speaking about infinitely grater vs.\ Archimedean to each other elements, and in the Archimedean case even emulate Euclid's Elements' theory of `ratios' -- all that imposing some partial commutativity.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Accumulated Random Distances in High Dimensions -- Ways of Calculation

In this note we refine and improve some of the calculations in our 2019 article with Yair Censor (Applied Mathematics and Optimization, accepted for publication) where an analysis of the superiorization method is made via the principle of concentration of measure. Some paragraphs there are repeated here for the sake of completeness. Yet, for the case of accumulating 'steps' on the sphere, reference to distances as done there is replaced by reference to the angles, which makes simpler expressions. The treatment here of the action of a random transformation is also rather 'cleaner'. For some standard deviations, precise inequalities are here obtained rather then just O-expressions. Some further settings are mentioned, of no direct interest as per the latter article, showing results that similar calculations yield.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Non Standard Analysis as a Functor, as Local, as Iterated

This note has several aims. Firstly, it portrays a non-standard analysis as a functor, namely a functor * that maps any set A to the set *A of its non-standard elements. That functor, from the category of sets to itself, is postulated to be an equivalence on the full subcategory of finite sets onto itself and to preserve finite projective limits (equivalently, to preserve finite products and equalizers). Secondly, "Local" non-standard analysis is introduced as a structure which I call lim-rim, in particular exact lim-rims. The interplay between these, and ultrafilters and ultrapowers, and also cardinality relations and notions depending on a cardinality such as saturation and what I call "confinement" and "exactness", are investigated. In particular, one constructs non-standard analyses, with "good" kinds of lim-rims. In these one may say that *A - "the adjunction of all possible limits from A" - plays a role analogous to that of the algebraic closure of a field - "the adjunction of all roots of polynomials". Then in the same spirit as with the latter, one has uniqueness up to isomorphism, and also universality and homogeneity, provided one has enough General Continuum Hypothesis. The cardinality of *A will be something like $2^{2^{|A|}}$, and one has a high degree of saturation. Also, one notes that the functor * can be applied again to *A, giving **A, ***A, and so forth. In particular, I focus on the two different embeddings of *A into **A and prove some of their properties, with some applications.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Inflated Cauchy Filters - A Way to Construct the Completion of a General Uniform Space

Treatises about General Topology that emphasize the notion of uniformity and uniform space find, of course, no difficulty in defining the notion of a complete uniform space and in constructing the completion of a metric space, via its Cauchy sequences. In contrast, constructing the completion of a general uniform space, especially without recourse to pseudometrics, presents itself as somewhat awkward. In this note the notion of an inflated Cauchy filter is proposed as a way to accomplish that. As the author learned later, all that was actually expounded in Bourbaki, Topologie Generale, 1966 edition (where the filters are referred to as minimal Cauchy rather than inflated Cauchy), hence this note was withdrawn by the author.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Ockham's Razor, Probability and Quantum Physics as Logic

This is a philosophy-intense physics article, or, if you wish, a physics-intense philosophy article. Also, being a mathematician, I tend to view the physics, in particular the essence of quantum physics, in emphasizing the mathematical structure that serves as its language. However, I do express views on typically philosophical/epistemological matters. Since these points of view do not seem to me too widely expressed in the literature, while I find them quite compelling, I think this note has some interest.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Dilation theory in finite dimensions: the possible, the impossible and the unknown

This expository essay discusses a finite dimensional approach to dilation theory. How much of dilation theory can be worked out within the realm of linear algebra? It turns out that some interesting and simple results can be obtained. These results can be used to give very elementary proofs of sharpened versions of some von Neumann type inequalities, as well as some other striking consequences about polynomials and matrices. Exploring the limits of the finite dimensional approach sheds light on the difference between those techniques and phenomena in operator theory that are inherently infinite dimensional, and those that are not.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

No O(N) queries for checking if N intervals cover everything or for piercing N pairs of intervals. An O(N log N)-steps algorithm for piercing

The complexity of two related geometrical (indeed, combinatorial) problems is considered, measured by the number of queries needed to determine the solution. It is proved that one cannot check in a linear in N number of queries whether N intervals cover a whole interval, or whether for N pairs of intervals on two lines there is a pair of points intersecting each of these pairs of intervals ("piercing all pairs of intervals"). The proofs are related to examples which show that there is no "Helly property" here - the whole set of N may cover the whole interval (resp. may have no pair of points piercing all pairs of intervals) while any proper subset does not. Also, for the piercing problem we outline an algorithm, taking O(N log N) steps, to check whether there is a pair of points piercing all pairs of intervals and if there is, to find it.

0 citations0 reviewsNo code linkedOpen access