Related papers: Decidability of the HD0L ultimate periodicity prob…
We prove linearly repetitive Delone systems have finitely many Delone system factors up to conjugacy. This result is also applicable to linearly repetitive tiling systems.
This paper considers a family of second-order periodic parabolic equations with highly oscillating potentials, which have been considered many times for the time-varying potentials in stochastic homogenization. Following a standard…
In this note a general result is proved that can be used to evaluate exactly a class of highly oscillatory integrals.
In this paper we prove the existence of non-stationary periodic solutions of delay Lotka-Volterra equations. In the proofs we use the degree for $S^1$-equivariant maps.
We study the decidability of the Skolem Problem, the Positivity Problem, and the Ultimate Positivity Problem for linear recurrences with real number initial values and real number coefficients in the bit-model of real computation. We show…
We consider two decision problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem} (are all but finitely many terms of a…
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized by arithmetic variables. The satisfiability problem is shown…
Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are HyperLTL and HyperCTL*, which generalise LTL and CTL* by…
In this paper we solve the polarization problem for real Hilbert spaces, a long-standing conjecture that had remained open for nearly three decades. We also confirm that the only extremal configurations are orthonormal sets. These are…
We prove the Complete nontrivial cycle-intersection theorem for systems of permutations.
In this paper we survey some finiteness results of the deformation classes of hyperk\"ahler Lagrangian fibrations, and we prove finiteness for stable Lagrangian fibrations with a given discriminant divisor.
In this letter, we revisit the {\em orbit problem}, which was studied in \cite{HAR69,SHA79,KL86}. In \cite{KL86}, Kannan and Lipton proved that this problem is decidable in polynomial time. In this paper, we study the {\em approximate orbit…
Existing and extremal property of periodic perfect spline, which interpolates given function in the mean were proved.
In this paper, we prove that the general problem of tiling the hyperbolic plane with \`a la Wang tiles is undecidable.
We study the optimal convergence rate for homogenization problem of convex Hamilton-Jacobi equations when the Hamitonian is periodic with respect to spatial and time variables, and notably time-dependent. We prove a result similar to that…
We prove general necessary optimality conditions for delta-nabla isoperimetric problems of the calculus of variations.
We show that the higher order linear differential equation possesses all solutions of infinite order under certain conditions by extending the work of authors about second order differential equation \cite{dsm2}.
This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class…
We study semi-dynamical systems associated to delay differential equations. We give a simple criteria to obtain weak and strong persistence and provide sufficient conditions to guarantee uniform persistence. Moreover, we show the existence…
This paper applies a recent result determining periodic orbits on the basis of first integrals, for Li\'enard systems. By solving a first order ODE with singularities, a crucial result is proved to locate intervals of single and isolated…