Related papers: Nash problem for a toric pair and the minimal log-…
We prove the existence of small amplitude, time-quasi-periodic solutions (invariant tori) for the incompressible Navier-Stokes equation on the $d$-dimensional torus $\T^d$, with a small, quasi-periodic in time external force. We also show…
We consider the \emph{approximate minimum selection} problem in presence of \emph{independent random comparison faults}. This problem asks to select one of the smallest $k$ elements in a linearly-ordered collection of $n$ elements by only…
In program semantics and verification, reasoning about loops is complicated by the need to produce two separate mathematical arguments: an invariant, for functional properties (ignoring termination); and a variant, for termination (ignoring…
In this work we consider the generalized Navier-Stoke equations with the presence of a damping term in the momentum equation. % The problem studied here derives from the set of equations which govern the isothermal flow of incompressible,…
Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…
In this work we introduce and analyse a new low-order method for the variable-density incompressible Navier-Stokes equations. The main novelty of the proposed method lies in the support of general meshes, possibly including polygonal or…
We prove the convergence of an incremental projection numerical scheme for the time-dependent incompressible Navier--Stokes equations, without any regularity assumption on the weak solution. The velocity and the pressure are discretised in…
We answer the following question of R. L. Graham: What is the discrepancy of the lexicographically-least binary de Bruijn sequence? Here, "discrepancy" refers to the maximum (absolute) difference between the number of ones and the number of…
The aim of this note is to prove a new discrepancy principle. The advantage of the new discrepancy principle compared with the known one consists of solving a minimization problem approximately, rather than exactly, and in the proof of a…
In this work, the Dirac-type integro di{\S}erential system with one classical boundary condition and another nonlocal integral boundary condition is considered. We obtain the asymptotic formulae for the solutions, eigenvalues and nodal…
The Tarski number of a group $G$ is the minimal number of the pieces of paradoxical decompositions of that group. Using configurations along with a matrix combinatorial property we construct paradoxical decompositions. We also compute an…
We consider a deterministic system with two conserved quantities and infinity many invariant measures. However the systems possess a unique invariant measure when enough stochastic forcing and balancing dissipation are added. We then show…
We present a procedure for computing the log-canonical threshold of an arbitrary ideal generated by binomials and monomials. The computation of the log canonical threshold is reduced to the problem of computing the minimum of a function,…
Toric codes are error-correcting codes that are derived from toric varieties, which hold a unique correspondence to integral convex polytopes. In this paper, we focus on integral convex polytopes $P \subseteq \mathbb{R}^2$ and the toric…
As the main theorem, it is proved that a collection of minimal $PI$-flows with a common phase group and satisfying a certain algebraic condition is multiply disjoint if and only if the collection of the associated maximal equicontinuous…
Given a set system (V,S), V={1,...,n} and S={S1,...,Sm}, the minimum discrepancy problem is to find a 2-coloring of V, such that each set is colored as evenly as possible. In this paper we give the first polynomial time algorithms for…
We consider the Dirichlet problem for second-order linear elliptic equations in divergence form \begin{equation*} -\mathrm{div }(A\nabla u)+\mathbf{b} \cdot \nabla u+\lambda u=f+\mathrm{div } \mathbf{F}\quad \text{in }…
We introduce and study the \emph{Lattice Distortion Problem} (LDP). LDP asks how "similar" two lattices are. I.e., what is the minimal distortion of a linear bijection between the two lattices? LDP generalizes the Lattice Isomorphism…
The Lipschitz differential equation, $\dot x=f(x)$, in spaces $X \in C^n$ and $X \in R^n$ is considered. The minimal period problem is to find the exact lower bound for peri-ods of non-constant solutions, expressed in the Lipschitz constant…
It is shown that the discrepancy function for point distributions on a torus is expressed by an explicit formula in terms of its mean values on sub-tori. As an application of this formula, a simple proof of a theorem of Lev on the…