Related papers: A robust implementation for solving the $S$-unit e…

Let $(M,g)$ be a closed Riemannian manifold of dimension at least $3$. Let $S$ be the union of the focal submanifolds of an isoparametric function on $(M,g)$. In this article we address the existence of solutions of the Hardy-Sobolev type…

Let $M$ be a set. A set-theoretical solution of the pentagon equation on $M$ is a map $s:M\times M\longrightarrow M\times M$ such that \begin{equation*} s_{23}\, s_{13}\, s_{12}=s_{12}\, s_{23}, \end{equation*} where $s_{12}=s\times id_M$,…

The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based. Previous work on the…

In this paper, we provide details on the proofs of the quantum polynomial time algorithm of Biasse and Song (SODA 16) for computing the $S$-unit group of a number field. This algorithm directly implies polynomial time methods to calculate…

We suppose the existence of an oracle which solves any semidefinite programming (SDP) problem satisfying Slater's condition simultaneously at its primal and dual sides. We note that such an oracle might not be able to directly solve general…

We give an overview of invariants of algebraic singularities over perfect fields. We then show how they lead to a synthetic proof of embedded resolution of singularities of 2-dimensional schemes.

In this paper we consider a generalized Kuramoto-Sivashinsky equation. The equivalence group of the class under consideration has been constructed. This group allows us to perform a comprehensive study and a clear and concise formulation of…

Let $\mathbb{F}_q$ be a finite field. Given two irreducible polynomials $f,g$ over $\mathbb{F}_q$, with $\mathrm{deg} f$ dividing $\mathrm{deg} g$, the finite field embedding problem asks to compute an explicit description of a field…

SMT solvers use sophisticated techniques for polynomial (linear or non-linear) integer arithmetic. In contrast, non-polynomial integer arithmetic has mostly been neglected so far. However, in the context of program verification, polynomials…

This paper presents a finite difference method combined with the Crank--Nicolson scheme of the Kuramoto--Sivashinsky equation defined on an expanding circle (\cite{KUY}), and the existence, uniqueness, and second-order error estimate of the…

We introduce an iterative scheme to prove the Yamabe problem $ - a\Delta_{g} u + S u = \lambda u^{p-1} $, firstly on open domain $ (\Omega, g) $ with Dirichlet boundary conditions, and then on closed manifolds $ (M, g) $ by local argument.…

We study elliptic and parabolic problems governed by the singular elliptic operators \begin{equation*} \mathcal L =y^{\alpha_1}\Delta_{x} +y^{\alpha_2}\left(D_{yy}+\frac{c}{y}D_y -\frac{b}{y^2}\right), \qquad\alpha_1, \alpha_2 \in\mathbb R…

Let $K$ be a number field with algebraic closure $\bar{K}$, let $S$ be a finite set of places of $K$ containing the archimedean places, and let $\varphi$ be Chebyshev polynomial. In this paper we prove uniformity results on the number of…

To each non totally real cubic extension $K$ of $\Q$ and to each generator $\alpha$ of the cubic field $K$, we attach a family of cubic Thue equations, indexed by the units of $K$, and we prove that this family of cubic Thue equations has…

A finite element approach for approximating the solution of a mathematical model for the response of a penetrable, bounded object (obstacle) to the excitation by an external electromagnetic field is presented and investigated. The model…

We study one-parameter families of S-unit equations of the form f(t)u+g(t)v=h(t), where f, g, and h are univariate polynomials over a number field, t is an S-integer, and u and v are S-units. For many possible choices of f, g, and h, we are…

Set packing is a fundamental problem that generalises some well-known combinatorial optimization problems and knows a lot of applications. It is equivalent to hypergraph matching and it is strongly related to the maximum independent set…

We investigate the characters of some finite-dimensional representations of the quantum affine algebras $U_q(\hat{g})$ using the action of the copy of $U_q(g)$ embedded in it. First, we present an efficient algorithm for computing the…

Handling an infinite number of inequality constraints in infinite-dimensional spaces occurs in many fields, from global optimization to optimal transport. These problems have been tackled individually in several previous articles through…

In this paper, we propose an efficient exponential integrator finite element method for solving a class of semilinear parabolic equations in rectangular domains. The proposed method first performs the spatial discretization of the model…