Related papers: Complexity of the Ackermann fragment with one lead…
We construct the effective field theory of a perfect fluid in the early universe. Focusing on the case where the fluid has the equation of state of radiation, we show that it may lead to corrections to the background dynamics that can…
Under a mild Lipschitz condition we prove a theorem on the existence and uniqueness of global solutions to delay fractional differential equations. Then, we establish a result on the exponential boundedness for these solutions.
We clarify the complexity of answering unions of conjunctive queries over knowledge bases formulated in the description logic $\mathcal S$, the extension of $\mathcal{ALC}$ with transitive roles. Contrary to what existing partial results…
We consider existence and stability of an almost periodic solution of the quasilinear system of differential equations with piecewise constant argument of generalized type. The associated linear homogeneous system satisfies exponential…
We investigate the problem of balanced embedding of a non-compact complex manifold into an infinite-dimensional projective space. In this paper we prove the existence of such an embedding in a model case. The strategy is by using a gradient…
Three dimensional wormholes are global solutions of Einstein-Hilbert action. These space-times which are quotients of a part of global AdS$_{3}$ have multiple asymptotic regions, each with conformal boundary $S^{1}\times\mathbb{R}$, and…
Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known complexity upper bound for the latter problem is made of a tower of…
We show that formulating the quantum time of arrival problem in a segment of the real line suggests rephrasing the quantum time of arrival problem to finding states that evolve to unitarily collapse at a given point at a definite time. For…
We study the initial-boundary value problem for the Fokker-Planck equation in an interval with absorbing boundary conditions. We develop a theory of well-posedness of classical solutions for the problem. We also prove that the resulting…
It is shown that the finite satisfiability problem for two-variable logic over structures with one total preorder relation, its induced successor relation, one linear order relation and some further unary relations is EXPSPACE-complete.…
We prove Asymptotic Completeness of one dimensional NLS with long range nonlinearities. We also prove existence and expansion of asymptotic solutions with large data at infinity.
We investigate existence and uniqueness of bounded solutions of parabolic equations with unbounded coefficients in $M\times \mathbb R_+$, where $M$ is a complete noncompact Riemannian manifold. Under specific assumptions, we establish…
Bisimulation equivalence (or bisimilarity) of first-order grammars is decidable, as follows from the decidability result by Senizergues (1998, 2005) that has been given in an equivalent framework of equational graphs with finite out-degree,…
We prove that it is decidable if a finitely based permutation class contains infinitely many simple permutations, and establish an unavoidable substructure result for simple permutations: every sufficiently long simple permutation contains…
We study the Guarded Fragment with Regular Guards (RGF), which combines the expressive power of the Guarded Fragment (GF) with Propositional Dynamic Logic with Intersection and Converse (ICPDL). Our logic generalizes, in a uniform way, many…
This paper provides an NP procedure that decides whether a linear-exponential system of constraints has an integer solution. Linear-exponential systems extend standard integer linear programs with exponential terms $2^x$ and remainder terms…
We study Two-Variable First-Order Logic, FO2, under semantic constraints that model hierarchically structured data. Our first logic extends FO2 with a linear order < and a chain of increasingly coarser equivalence relations E_1, E_2, ... .…
In this paper, we study the complexity of the chip-firing reachability problem. We show that for Eulerian digraphs, the reachability problem can be decided in strongly polynomial time, even if the digraph has multiple edges. We also show a…
The present work is concerned with existence of positive solutions for a class of fractional equation involving a Kirchhoff term and singular potential.
We consider a time-fractional semilinear parabolic abstract Cauchy problem for a time-dependent sectorial operator $A(t)$ which satisfies the Acquistapace-Terreni conditions. We first prove local existence results for the mild solution of…