Related papers: Robust Satisfiability of Systems of Equations

The extended L\"uroth's Theorem says that if the transcendence degree of $\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)/\KK$ is 1 then there exists $f \in \KK(\underline{X})$ such that $\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)$ is equal to $\KK(f)$. In…

In this paper we give a conditional improvement to the Elekes-Szab\'{o} problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for $F\in \mathbb{Q}[x,y,z]$ belonging to a particular family of…

In this paper, we associate to each positive number k a new class of endomorphisms of the sheaf of germs of holomorphic functions on [-1,1] and prove the solvability in the Gevrey class G_k([-1,1]) of some linear functional equations…

We prove that the most natural low-degree test for polynomials over finite fields is ``robust'' in the high-error regime for linear-sized fields. Specifically we consider the ``local'' agreement of a function $f: \mathbb{F}_q^m \to…

In this paper, we study semilinear elliptic systems with critical nonlinearity of the form \begin{equation}\label{sys01} \Delta u=Q(x, u, \nabla u), \end{equation} for $u: \mathbb{R}^n\rightarrow \mathbb{R}^K$, $Q$ has quadratic growth in…

We study the regularity of weak solutions for two elliptic systems involving the $n$-Laplacian and a critical nonlinearity in the right hand side: $H$-systems and $n$-harmonic maps into compact Riemannian manifolds. Under the assumptions…

We study decidability and complexity questions related to a continuous analogue of the Skolem-Pisot problem concerning the zeros and nonnegativity of a linear recurrent sequence. In particular, we show that the continuous version of the…

Quasi-exactly solvable Rabi model is investigated within the framework of the Bargmann Hilbert space of analytic functions ${\cal B}$. On applying the theory of orthogonal polynomials, the eigenvalue equation and eigenfunctions are shown to…

Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the…

Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from…

Finite-time stability (FTS) of a differential equation guarantees that solutions reach a given equilibrium point in finite time, where the time of convergence depends on the initial state of the system. For traditional stability notions…

Let $(M,g^{TM})$ be a noncompact complete Riemannian manifold of dimension $n$, and let $F\subseteq TM$ be an integrable subbundle of $TM$. Let $g^F=g^{TM}|_{F}$ be the restricted metric on $F$ and let $k^F$ be the associated leafwise…

We provide the structure of regular/singular fast/slow decay radially symmetric solutions for a class of superlinear elliptic equations with an in- definite weight on the nonlinearity f (u, r). In particular we are interested in the case…

Inf-sup stable FEM applied to time-dependent incompressible Navier-Stokes flows are considered. The focus lies on robust estimates for the kinetic and dissipation energies in a twofold sense. Firstly, pressure-robustness ensures the…

We study several decision problems for counter systems with guards defined by convex polyhedra and updates defined by affine transformations. In general, the reachability problem is undecidable for such systems. Decidability can be achieved…

We consider reachability decision problems for linear dynamical systems: Given a linear map on $\mathbb{R}^d$ , together with source and target sets, determine whether there is a point in the source set whose orbit, obtained by repeatedly…

In this paper, we focus on the problem of existence and computing of small and large stable models. We show that for every fixed integer k, there is a linear-time algorithm to decide the problem LSM (large stable models problem): does a…

We examine the elliptic system given by \begin{eqnarray*} \qquad \left\{ \begin{array}{lcl} -\Delta u =\lambda f(v) \quad \mbox{ in } \Omega -\Delta v =\gamma f(u) \quad \mbox{ in } \Omega, u=v =0, \quad \mbox{ on } \pOm \end{array}\right.…

We study nonlinear stability of pulled fronts in scalar parabolic equations on the real line of arbitrary order, under conceptual assumptions on existence and spectral stability of fronts. In this general setting, we establish sharp…

We show that the emptiness (unsatisfiability) problem is undecidable and $\mathrm{\Pi}^{0}_{1}$-complete for deterministic propositional while programs with (graph) loop. To this end, we introduce a hypothesis elimination using loops. Using…