5,960 research outputs found
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
Word equations are a crucial element in the theoretical foundation of
constraint solving over strings, which have received a lot of attention in
recent years. A word equation relates two words over string variables and
constants. Its solution amounts to a function mapping variables to constant
strings that equate the left and right hand sides of the equation. While the
problem of solving word equations is decidable, the decidability of the problem
of solving a word equation with a length constraint (i.e., a constraint
relating the lengths of words in the word equation) has remained a
long-standing open problem. In this paper, we focus on the subclass of
quadratic word equations, i.e., in which each variable occurs at most twice. We
first show that the length abstractions of solutions to quadratic word
equations are in general not Presburger-definable. We then describe a class of
counter systems with Presburger transition relations which capture the length
abstraction of a quadratic word equation with regular constraints. We provide
an encoding of the effect of a simple loop of the counter systems in the theory
of existential Presburger Arithmetic with divisibility (PAD). Since PAD is
decidable, we get a decision procedure for quadratic words equations with
length constraints for which the associated counter system is \emph{flat}
(i.e., all nodes belong to at most one cycle). We show a decidability result
(in fact, also an NP algorithm with a PAD oracle) for a recently proposed
NP-complete fragment of word equations called regular-oriented word equations,
together with length constraints. Decidability holds when the constraints are
additionally extended with regular constraints with a 1-weak control structure.Comment: 18 page
Primitive divisors on twists of the Fermat cubic
We show that for an elliptic divisibility sequence on a twist of the Fermat cubic, u3+v3=m, with m cube-free, all the terms beyond the first have a primive divisor
Branching processes, the max-plus algebra and network calculus
Branching processes can describe the dynamics of various queueing systems, peer-to-peer systems, delay tolerant networks, etc. In this paper we study the basic stochastic recursion of multitype branching processes, but in two non-standard contexts. First, we consider this recursion in the max-plus algebra where branching corresponds to finding the maximal offspring of the current generation. Secondly, we consider network-calculus-type deterministic bounds as introduced by Cruz, which we extend to handle branching-type processes. The paper provides both qualitative and quantitative results and introduces various applications of (max-plus) branching processes in queueing theory
Concepts of quantum non-Markovianity: a hierarchy
Markovian approximation is a widely-employed idea in descriptions of the
dynamics of open quantum systems (OQSs). Although it is usually claimed to be a
concept inspired by classical Markovianity, the term quantum Markovianity is
used inconsistently and often unrigorously in the literature. In this report we
compare the descriptions of classical stochastic processes and quantum
stochastic processes (as arising in OQSs), and show that there are inherent
differences that lead to the non-trivial problem of characterizing quantum
non-Markovianity. Rather than proposing a single definition of quantum
Markovianity, we study a host of Markov-related concepts in the quantum regime.
Some of these concepts have long been used in quantum theory, such as quantum
white noise, factorization approximation, divisibility, Lindblad master
equation, etc.. Others are first proposed in this report, including those we
call past-future independence, no (quantum) information backflow, and
composability. All of these concepts are defined under a unified framework,
which allows us to rigorously build hierarchy relations among them. With
various examples, we argue that the current most often used definitions of
quantum Markovianity in the literature do not fully capture the memoryless
property of OQSs. In fact, quantum non-Markovianity is highly
context-dependent. The results in this report, summarized as a hierarchy
figure, bring clarity to the nature of quantum non-Markovianity.Comment: Clarifications and references added; discussion of the related
classical hierarchy significantly improved. To appear in Physics Report
- …