English
Related papers

Related papers: The Polynomial Complexity of Vector Addition Syste…

200 papers

An emerging insight is that ground states of symmetry-protected topological orders (SPTO's) possess latent computational complexity in terms of their many-body entanglement. By introducing a fractional symmetry of SPTO, which requires the…

Quantum Physics · Physics 2018-05-02 Jacob Miller , Akimasa Miyake

Weighted counting problems are a natural generalization of counting problems where a weight is associated with every computational path of polynomial-time non-deterministic Turing machines and the goal is to compute the sum of the weights…

Computational Complexity · Computer Science 2019-01-11 Cassio P. de Campos , Georgios Stamoulis , Dennis Weyland

A Variable Parameter (VP) analysis, that we introduce here, aims to give a precise algorithm time complexity expression in which an exponent appears solely in terms of a variable parameter. A variable parameter is the number of objects with…

Data Structures and Algorithms · Computer Science 2025-07-08 Nodari Vakhania

For a finite set $A$ of size $n$, an ordering is an injection from $\{1,2,\ldots,n\}$ to $A$. We present results concerning the asymptotic properties of the length $L_n$ of the longest arithmetic subsequence in a random ordering of an…

Combinatorics · Mathematics 2021-09-30 Marcel K. Goh , Rosie Y. Zhao

A vertex set $S$ of a graph $G$ is geodetic if every vertex of $G$ lies on a shortest path between two vertices in $S$. Given a graph $G$ and $k \in \mathbb N$, the NP-hard Geodetic Set problem asks whether there is a geodetic set of size…

Data Structures and Algorithms · Computer Science 2020-10-01 Leon Kellerhals , Tomohiro Koana

The halting problem for Turing machines is decidable on a set of asymptotic probability one. Specifically, there is a set B of Turing machine programs such that (i) B has asymptotic probability one, so that as the number of states n…

Logic · Mathematics 2007-05-23 Joel David Hamkins , Alexei Miasnikov

The paper discusses a simple method of using the parametric continuation method to designate complex diagrams of steady states. The main advantage of the discussed approach is the fact that it does not require the installation of huge…

General Mathematics · Mathematics 2026-02-10 Marek Berezowski

Classically, the time complexity of a first-order method is estimated by its number of gradient computations. In this paper, we study a more refined complexity by taking into account the `lingering' of gradients: once a gradient is computed…

Optimization and Control · Mathematics 2019-05-29 Zeyuan Allen-Zhu , David Simchi-Levi , Xinshang Wang

A roadmap for an algebraic set $V$ defined by polynomials with coefficients in the field $\mathbb{Q}$ of rational numbers is an algebraic curve contained in $V$ whose intersection with all connected components of $V\cap\mathbb{R}^{n}$ is…

Symbolic Computation · Computer Science 2025-11-20 Rémi Prébet , Mohab Safey El Din , Éric Schost

The quantum-computational cost of determining ground state energies through quantum phase estimation depends on the overlap between an easily preparable initial state and the targeted ground state. The Van Vleck orthogonality catastrophe…

The normalized substring complexity $\delta$ of a string is defined as $\max_k \{c[k]/k\}$, where $c[k]$ is the number of \textit{distinct} substrings of length $k$. This simply defined measure has recently attracted attention due to its…

Data Structures and Algorithms · Computer Science 2026-02-17 Gregory Kucherov , Yakov Nekrich

Let $A$ be an expanding $2 \times 2$ matrix with rational entries and $\mathbb{Z}^2[A]$ be the smallest $A$-invariant $\mathbb{Z}$-module containing $\mathbb{Z}^2$. Let $\mathcal{D}$ be a finite subset of $\mathbb{Z}^2[A]$ which is a…

Number Theory · Mathematics 2025-07-09 Anjelo Gabriel R. Cruz , Manuel Joseph C. Loquias , Jörg M. Thuswaldner

We introduce a family of block-additive automatic sequences, that are obtained by allocating a weight to each couple of digits, and defining the $n$th term of the sequence as being the total weight of the integer $n$ written in base $k$.…

Combinatorics · Mathematics 2020-06-24 Irène Marcovici , Thomas Stoll , Pierre-Adrien Tahay

The Qutrit state density matrix is of order 3 and depends on 8 parameters in general case. Visualization of this 8-dimensional state space is practically impossible using 8-dimensional vectors commonly used. Recently a 3-dimensional vector…

Quantum Physics · Physics 2019-10-10 Vinod K. Mishra

We study the complexity of the reachability problem for Vector Addition Systems with States (VASSes) in fixed dimensions. We provide four lower bounds improving the currently known state-of-the-art: 1) \np-hardness for unary flat $4$-VASSes…

Formal Languages and Automata Theory · Computer Science 2022-03-09 Wojciech Czerwiński , Łukasz Orlikowski

Scoring systems are an extremely important class of election systems. A length-$m$ (so-called) scoring vector applies only to $m$-candidate elections. To handle general elections, one must use a family of vectors, one per length. The most…

Computer Science and Game Theory · Computer Science 2014-04-18 Edith Hemaspaandra , Lane A. Hemaspaandra , Henning Schnoor

Continuous-variable cluster states offer a potentially promising method of implementing a quantum computer. This paper extends and further refines theoretical foundations and protocols for experimental implementation. We give a…

Quantum Physics · Physics 2015-05-13 Mile Gu , Christian Weedbrook , Nicolas C. Menicucci , Timothy C. Ralph , Peter van Loock

For chaotic quantum dynamics modeled by random unitary circuits, we study the complexity of reduced density matrices of subsystems as a function of evolution time where the initial global state is a product pure state. The state complexity…

Quantum Physics · Physics 2026-04-30 Jeongwan Haah , Douglas Stanford

In multivariate regression estimation, the rate of convergence depends on the dimension of the regressor. This fact, known as the curse of the dimensionality, motivated several works. The additive model, introduced by Stone (10), offers an…

Statistics Theory · Mathematics 2008-02-26 Mohammed Debbarh , Bertrand Maillot

We investigate higher-order Voronoi diagrams in the city metric. This metric is induced by quickest paths in the L1 metric in the presence of an accelerating transportation network of axis-parallel line segments. For the structural…

Computational Geometry · Computer Science 2012-04-20 Andreas Gemsa , D. T. Lee , Chih-Hung Liu , Dorothea Wagner
‹ Prev 1 8 9 10 Next ›