FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384302142> ?p ?o ?g. }

• W4384302142 abstract "The Positivity Problem for linear recurrence sequences over a ring R of real algebraic numbers is to determine, given an LRS ${left( {{u_n}} right)_{n in mathbb{N}}}$ over R, whether u <inf xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>n</inf> ≥ 0 for all n. It is known to be Turing-equivalent to the following reachability problem: given a linear dynamical system (M, s) R <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>d×d</sup> ×R <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>d</sup> and a halfspace H ⊆ ℝ <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>d</sup> , determine whether the orbit ${left( {{M^n}s} right)_{n in mathbb{N}}}$ ever enters H. The more general model-checking problem for LDS is to determine, given (M, s) and an ω-regular property φ over semialgebraic predicates T <inf xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>1</inf> ,…, T <inf xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>ℓ</inf> ⊆ ℝ <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>d</sup> , whether the orbit of (M, s) satisfies φ.In this paper, we establish the following1)The Positivity Problem for LRS over real algebraic numbers reduces to the Positivity Problem for LRS over the integers; and2)The model-checking problem for LDS with diagonalisable M is decidable subject to a Positivity oracle for simple LRS over the integers.In other words, the full semialgebraic model-checking problem for diagonalisable linear dynamical systems is no harder than the Positivity Problem for simple integer linear recurrence sequences. This is in sharp contrast with the situation for arbitrary (not necessarily diagonalisable) LDS and arbitrary (not necessarily simple) integer LRS, for which no such correspondence is expected to hold." @default.
• W4384302142 created "2023-07-15" @default.
• W4384302142 creator A5015303339 @default.
• W4384302142 creator A5029487091 @default.
• W4384302142 creator A5045412407 @default.
• W4384302142 creator A5068165188 @default.
• W4384302142 creator A5073041170 @default.
• W4384302142 date "2023-06-26" @default.
• W4384302142 modified "2023-10-17" @default.
• W4384302142 title "The Power of Positivity" @default.
• W4384302142 cites W150877817 @default.
• W4384302142 cites W1797219784 @default.
• W4384302142 cites W1864094877 @default.
• W4384302142 cites W1991004801 @default.
• W4384302142 cites W1996102424 @default.
• W4384302142 cites W2020997970 @default.
• W4384302142 cites W2021112905 @default.
• W4384302142 cites W2031633647 @default.
• W4384302142 cites W2034774429 @default.
• W4384302142 cites W2048475572 @default.
• W4384302142 cites W2055692640 @default.
• W4384302142 cites W2062077910 @default.
• W4384302142 cites W2062651539 @default.
• W4384302142 cites W2209422068 @default.
• W4384302142 cites W2953344520 @default.
• W4384302142 cites W2963416205 @default.
• W4384302142 cites W2963754540 @default.
• W4384302142 cites W3014334551 @default.
• W4384302142 cites W3116230937 @default.
• W4384302142 cites W4205709417 @default.
• W4384302142 cites W4238186068 @default.
• W4384302142 cites W4245390899 @default.
• W4384302142 cites W4247052524 @default.
• W4384302142 cites W4293399521 @default.
• W4384302142 cites W4313229213 @default.
• W4384302142 doi "https://doi.org/10.1109/lics56636.2023.10175758" @default.
• W4384302142 hasPublicationYear "2023" @default.
• W4384302142 type Work @default.
• W4384302142 citedByCount "0" @default.
• W4384302142 crossrefType "proceedings-article" @default.
• W4384302142 hasAuthorship W4384302142A5015303339 @default.
• W4384302142 hasAuthorship W4384302142A5029487091 @default.
• W4384302142 hasAuthorship W4384302142A5045412407 @default.
• W4384302142 hasAuthorship W4384302142A5068165188 @default.
• W4384302142 hasAuthorship W4384302142A5073041170 @default.
• W4384302142 hasConcept C11413529 @default.
• W4384302142 hasConcept C114614502 @default.
• W4384302142 hasConcept C118615104 @default.
• W4384302142 hasConcept C136643341 @default.
• W4384302142 hasConcept C154945302 @default.
• W4384302142 hasConcept C33923547 @default.
• W4384302142 hasConcept C41008148 @default.
• W4384302142 hasConceptScore W4384302142C11413529 @default.
• W4384302142 hasConceptScore W4384302142C114614502 @default.
• W4384302142 hasConceptScore W4384302142C118615104 @default.
• W4384302142 hasConceptScore W4384302142C136643341 @default.
• W4384302142 hasConceptScore W4384302142C154945302 @default.
• W4384302142 hasConceptScore W4384302142C33923547 @default.
• W4384302142 hasConceptScore W4384302142C41008148 @default.
• W4384302142 hasLocation W43843021421 @default.
• W4384302142 hasOpenAccess W4384302142 @default.
• W4384302142 hasPrimaryLocation W43843021421 @default.
• W4384302142 hasRelatedWork W1486100501 @default.
• W4384302142 hasRelatedWork W2047021657 @default.
• W4384302142 hasRelatedWork W2096848550 @default.
• W4384302142 hasRelatedWork W2368796975 @default.
• W4384302142 hasRelatedWork W2386893270 @default.
• W4384302142 hasRelatedWork W2786605369 @default.
• W4384302142 hasRelatedWork W2901128785 @default.
• W4384302142 hasRelatedWork W3006118393 @default.
• W4384302142 hasRelatedWork W3026940864 @default.
• W4384302142 hasRelatedWork W381935118 @default.
• W4384302142 isParatext "false" @default.
• W4384302142 isRetracted "false" @default.
• W4384302142 workType "article" @default.