English
Related papers

Related papers: Proximity Induced by Order Relations

200 papers

In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation operators offer a fresh perspective to existing concepts and results in domain theory, but also…

Logic in Computer Science · Computer Science 2023-06-22 Zhiwei Zou , Qingguo Li , Weng Kin Ho

We develop a metric and probabilistic theory for the Ostrogradsky representation of real numbers, i.e., the expansion of a real number $x$ in the following form: \begin{align*} x&= \sum_n\frac{(-1)^{n-1}}{q_1q_2... q_n}=…

Number Theory · Mathematics 2015-06-26 S. Albeverio , O. Baranovskyi , M. Pratsiovytyi , G. Torbin

We study the translational invariance of the relative-locality framework proposed in arXiv:1101.0931, which had been previously established only for the case of a single interaction. We provide an explicit example of boundary conditions at…

High Energy Physics - Theory · Physics 2015-03-19 Giovanni Amelino-Camelia , Michele Arzano , Jerzy Kowalski-Glikman , Giacomo Rosati , Gabriele Trevisan

We give a closed expression for the Minkowski (1+1)-dimensional metric in the radar coordinates of an arbitrary non-inertial observer O in terms of O's proper acceleration. Knowledge of the metric allows the non-inertial observer to perform…

Classical Physics · Physics 2007-05-23 E. Minguzzi

Ordinal embedding aims at finding a low dimensional representation of objects from a set of constraints of the form "item $j$ is closer to item $i$ than item $k$". Typically, each object is mapped onto a point vector in a low dimensional…

Machine Learning · Computer Science 2021-05-26 Aïssatou Diallo , Johannes Fürnkranz

In 2001, K\'arolyi, Pach and T\'oth introduced a family of point sets to solve an Erd\H{o}s-Szekeres type problem; which have been used to solve several other Ed\H{o}s-Szekeres type problems. In this paper we refer to these sets as nested…

Computational Geometry · Computer Science 2016-06-09 Frank Duque , Ruy Fabila-Monroy , Carlos Hidalgo-Toscano , Pablo Pérez-Lantero

The estimation for the region of attraction (ROA) of an asymptotically stable equilibrium point is crucial in the analysis of nonlinear systems. There has been a recent surge of interest in estimating the solution to Zubov's equation, whose…

Dynamical Systems · Mathematics 2024-06-28 Yiming Meng , Ruikun Zhou , Jun Liu

Yu. I. Merzljakov developed a method of splittable coordinates which helps to verify the linearity of some groups, he established some fundamental results using this method. In this paper we use the method of splittable coordinates and find…

Group Theory · Mathematics 2007-05-23 V. G. Bardakov , O. V. Bryukhanov

The concept of proximate order is widely used in the theories of entire, meromorphic, subharmonic and plurisubharmonic functions. We give a general interpretation of this concept as a proximate growth function relative to a model growth…

Complex Variables · Mathematics 2019-12-03 Bulat N. Khabibullin

In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general…

Logic in Computer Science · Computer Science 2020-04-28 Mani A , Sandor Radeleczki

A causal set is a partially ordered set on a countably infinite ground-set such that each element is above finitely many others. A natural extension of a causal set is an enumeration of its elements which respects the order. We bring…

Probability · Mathematics 2011-09-22 Graham Brightwell , Malwina Luczak

Set representations are the foundation of various set-based approaches in state estimation, reachability analysis and fault diagnosis. In this paper, we investigate spectrahedral shadows, a class of nonlinear geometric objects previously…

Systems and Control · Electrical Eng. & Systems 2025-04-15 Chengrui Wang , Haohao Qiu , Sibo Yao , James Lam

The "maximum similarity correlation" definition introduced in this study is motivated by the seminal work of Szekely et al on "distance covariance" (Ann. Statist. 2007, 35: 2769-2794; Ann. Appl. Stat. 2009, 3: 1236-1265). Instead of using…

Any discrete approach to quantum gravity must provide some prescription as to how to deduce continuum properties from the discrete substructure. In the causal set approach it is straightforward to deduce timelike distances, but surprisingly…

General Relativity and Quantum Cosmology · Physics 2009-07-22 David Rideout , Petros Wallden

We propose a new approach to compute an interval over-approximation of the finite time reachable set for a large class of nonlinear systems. This approach relies on the notions of sensitivity matrices, which are the partial derivatives…

Systems and Control · Electrical Eng. & Systems 2021-04-19 Pierre-Jean Meyer , Murat Arcak

Let $X$ be an ordered vector space. The net $\{x_\alpha\}\subseteq X$ is semi unbounded order convergent to $x$ (in symbol $x_\alpha\xrightarrow{suo}x$), if there is a net $\{y_\beta\}$, possibly over a different index set, such that…

Functional Analysis · Mathematics 2022-01-03 Masoumeh Ebrahimzadeh , Kazem Haghnejad Azar

We study algorithms for approximating the permanent of a random matrix when the entries are slightly biased away from zero. This question is motivated by the goal of understanding the classical complexity of linear optics and \emph{boson…

Data Structures and Algorithms · Computer Science 2026-04-03 Frederic Koehler , Pui Kuen Leung

Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a…

Combinatorics · Mathematics 2025-04-15 Christoph Minz

In this paper, we propose a data-driven reachability analysis approach for unknown system dynamics. Reachability analysis is an essential tool for guaranteeing safety properties. However, most current reachability analysis heavily relies on…

Systems and Control · Electrical Eng. & Systems 2021-09-14 Amr Alanwar , Anne Koch , Frank Allgöwer , Karl Henrik Johansson

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

Logic · Mathematics 2025-05-06 Martina Iannella , Alberto Marcone , Luca Motto Ros , Vadim Weinstein