English
Related papers

Related papers: Reachability in Vector Addition System with States…

200 papers

The concept of dimension is essential to grasp the complexity of data. A naive approach to determine the dimension of a dataset is based on the number of attributes. More sophisticated methods derive a notion of intrinsic dimension (ID)…

Machine Learning · Computer Science 2023-04-18 Maximilian Stubbemann , Tom Hanika , Friedrich Martin Schneider

Quantum states defined over a parameter space form a Grassmann manifold. To capture the geometry of the associated gauge structure, gauge-invariant quantities are essential. We employ the projector of a multilevel system to quantify the…

Mesoscale and Nanoscale Physics · Physics 2025-10-30 Shin-Ming Huang , Dimitrios Giataganas

The theoretical models providing mathematical abstractions for several significant optimization problems in machine learning, combinatorial optimization, computer vision and statistical physics have intrinsic similarities. We propose a…

Data Structures and Algorithms · Computer Science 2018-04-18 Yi-Kai Wang

Metric mean dimension is a metric-depedent quantity to characterize the topological complexity of systems with infinite topological entropy. In this paper, we investigate metric mean dimension of factor maps. (1) We introduce three types of…

Dynamical Systems · Mathematics 2026-05-19 Rui Yang

Let $D$ be an $n \times n$ Euclidean distance matrix (EDM) with embedding dimension $r$; and let $d \in R^n$ be a given vector. In this note, we consider the problem of finding a vector $y \in R^n$, that is closest to d in Euclidean norm,…

Metric Geometry · Mathematics 2025-07-08 A. Y. Alfakih

Exponential vector space [shortly \emph{evs}] is an algebraic order extension of vector space in the sense that every evs contains a vector space and conversely every vector space can be embedded into such a structure. This evs structure…

Algebraic Geometry · Mathematics 2020-06-12 Jayeeta Saha , Sandip Jana

The metric dimension of non-component graph, associated to a finite vector space, is determined. It is proved that the exchange property holds for resolving sets of the graph, except a special case. Some results are also related to an…

Combinatorics · Mathematics 2016-03-22 Usman Ali , Syed Ahtisham Bokhary , Khola Wahid

Graphs are widely used to model data in many application domains. Thanks to the wide spread use of GPS-enabled devices, many applications assign a spatial attribute to graph vertices (e.g., geo-tagged social media). Users may issue a…

Databases · Computer Science 2016-03-18 Yuhan Sun , Mohamed Sarwat

Consider the following toy problem. There are $m$ rectangles and $n$ points on the plane. Each rectangle $R$ is a consumer with budget $B_R$, who is interested in purchasing the cheapest item (point) inside R, given that she has enough…

Computer Science and Game Theory · Computer Science 2012-07-25 Parinya Chalermsook , Khaled Elbassioni , Danupon Nanongkai , He Sun

Piecewise affine maps (PAMs) are frequently used as a reference model to show the openness of the reachability questions in other systems. The reachability problem for one-dimentional PAM is still open even if we define it with only two…

Numerical Analysis · Computer Science 2015-10-15 Oleksiy Kurganskyy , Igor Potapov

The notion of resolving sets in a graph was introduced by Slater (1975) and Harary and Melter (1976) as a way of uniquely identifying every vertex in a graph. A set of vertices in a graph is a resolving set if for any pair of vertices x and…

Data Structures and Algorithms · Computer Science 2016-02-09 Rémy Belmonte , Fedor V. Fomin , Petr A. Golovach , M. S. Ramanujan

The Shatters relation and the VC dimension have been investigated since the early seventies. These concepts have found numerous applications in statistics, combinatorics, learning theory and computational geometry. Shattering extremal…

Combinatorics · Mathematics 2012-11-14 Shay Moran

This paper is partly an exposition, and partly an extension of our work [1] to the multiparameter case. We consider certain classes of parametrized dynamically defined measures. These are push-forwards, under the natural projection, of…

Dynamical Systems · Mathematics 2024-05-13 Balázs Bárány , Károly Simon , Boris Solomyak , Adam Śpiewak

The Vapnik-Chervonenkis dimension provides a notion of complexity for systems of sets. If the VC dimension is small, then knowing this can drastically simplify fundamental computational tasks such as classification, range counting, and…

Computational Geometry · Computer Science 2019-11-18 Anne Driemel , André Nusser , Jeff M. Phillips , Ioannis Psarros

Consider an agent traversing a graph of "gadgets", each with local state that changes with each traversal by the agent. We characterize the complexity of universal traversal, where the goal is to traverse every gadget at least once, for DAG…

Computational Complexity · Computer Science 2023-11-16 Hayashi Ani , Erik Demaine , Jenny Diomidova , Dylan Hendrickson , Jayson Lynch

Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many reachability analysis methods are restricted to systems with…

Systems and Control · Electrical Eng. & Systems 2020-07-14 Alex Devonport , Mahmoud Khaled , Murat Arcak , Majid Zamani

Volumetric parameterization problem refers to parameterization of both the interior and boundary of a 3D model. It is a much harder problem compared to surface parameterization where a parametric representation is worked out only for the…

Computational Geometry · Computer Science 2013-10-28 Vikash Gupta , Hari K. Voruganti , Bhaskar Dasgupta

We introduce the problem Partial VC Dimension that asks, given a hypergraph $H=(X,E)$ and integers $k$ and $\ell$, whether one can select a set $C\subseteq X$ of $k$ vertices of $H$ such that the set $\{e\cap C, e\in E\}$ of distinct…

Data Structures and Algorithms · Computer Science 2019-05-29 Cristina Bazgan , Florent Foucaud , Florian Sikora

The NP-hard Metric Dimension problem is to decide for a given graph G and a positive integer k whether there is a vertex subset of size at most k that separates all vertex pairs in G. Herein, a vertex v separates a pair {u,w} if the…

Computational Complexity · Computer Science 2012-11-08 Sepp Hartung , André Nichterlein

We analyze the recurrence-time statistics (RTS) in three-dimensional non-Hamiltonian volume preserving systems (VPS): an extended standard map, and a fluid model. The extended map is a standard map weakly coupled to an extra-dimension which…

Chaotic Dynamics · Physics 2015-10-13 Rafael M. da Silva , Marcus W. Beims , Cesar Manchein