English
Related papers

Related papers: Turing universality of the incompressible Euler eq…

200 papers

A global solution of the Einstein equations is given, consisting of a perfect fluid interior and a vacuum exterior. The rigidly rotating and incompressible perfect fluid is matched along the hypersurface of vanishing pressure with the…

General Relativity and Quantum Cosmology · Physics 2007-05-23 László Á. Gergely , Zoltán Perjés , Gyula Fodor

We present a class of curved-spacetime vacuum solutions which develope closed timelike curves at some particular moment. We then use these vacuum solutions to construct a time-machine model. The causality violation occurs inside an empty…

General Relativity and Quantum Cosmology · Physics 2009-11-11 Amos Ori

We study the 1-d isentropic Euler equations with time-decayed damping \begin{equation} \left\{ \begin{aligned} &\partial_t \rho+\partial_x(\rho u)=0, \\ &\partial_t(\rho u)+ \partial_x(\rho u^2)+\partial_xp(\rho)=-\frac{\mu}{1+t}\rho u,\\…

Analysis of PDEs · Mathematics 2022-08-08 Xinghong Pan

Let $(X,g)$ be a compact $n$-dimensional smooth Riemannian manifold with a lower bound on the average of the lowest $n-p$ eigenvalues of the curvature operator and the diameter of $X$ is bounded above by $D>0$. In this article, we…

Differential Geometry · Mathematics 2025-07-31 Huang Teng , Tan Qiang

In this paper, we introduce the Fourier-restricted Euler and hypodissipative Navier--Stokes equations. These equations are analogous to the Euler and hypodissipative Navier--Stokes equations respectively, but with the Helmholtz projection…

Analysis of PDEs · Mathematics 2025-09-01 Evan Miller

Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These…

Logic · Mathematics 2020-06-23 Sam Sanders

Let $(M,g)$ be a compact smooth connected Riemannian manifold (without boundary) of dimension $N\ge7$. Assume $M$ is symmetric with respect to a point $\xi_0$ with non-vanishing Weyl's tensor. We consider the linear perturbation of the…

Analysis of PDEs · Mathematics 2016-03-07 Filippo Morabito , Angela Pistoia , Giusi Vaira

In this paper, vacuum and singularity formation are considered for compressible Euler equations with time-dependent damping. For $1<\gamma\leq 3$, by constructing some new control functions ingeniously, we obtain the lower bounds estimates…

Analysis of PDEs · Mathematics 2022-01-21 Ying Sui , Weiqiang Wang , Huimin Yu

We extend Turaev's theory of Euler structures and torsion invariants on 3-manifolds to the case of vector fields having generic behavior on the boundary. This allows to easily define gluings of Euler structures and to develop a completely…

Geometric Topology · Mathematics 2018-05-08 Stefano Borghini

Thurston's circle packing approximation of the Riemann Mapping (proven to give the Riemann Mapping in the limit by Rodin-Sullivan) is largely based on the theorem that any topological disk with a circle packing metric can be deformed into a…

Geometric Topology · Mathematics 2017-06-21 David Glickenstein

We show here how, using Euler's integration method and an associated function bounding the error in function of time, one can generate structures closely surrounding the invariant tori of dynamical systems. Such structures are constructed…

Systems and Control · Electrical Eng. & Systems 2021-06-09 Jawher Jerray , Laurent Fribourg

We construct non-vanishing steady solutions to the Euler equations (for some metric) with analytic Bernoulli function in each three-manifold where they can exist: graph manifolds. Using the theory of integrable systems, any admissible…

Dynamical Systems · Mathematics 2022-04-07 Robert Cardona

We investigate the relaxation problem and the diffusion phenomenon for the compressible Euler system with a time-dependent damping coefficient of the form $\tfrac{\mu}{(1+t)^{\lambda}}$ in $\mathbb{R}^d$ $(d \geq 1)$. We establish uniform…

Analysis of PDEs · Mathematics 2025-12-09 Timothée Crin-Barat , Xinghong Pan , Ling-Yun Shou , Qimeng Zhu

Beginning with Turing's seminal work in 1950, artificial intelligence proposes that consciousness can be simulated by a Turing machine. This implies a potential theory of everything where the universe is a simulation on a computer, which…

Computational Complexity · Computer Science 2022-06-15 Blake Wilson , Ethan Dickey , Vaishnavi Iyer , Sabre Kais

The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm…

Quantum Physics · Physics 2010-10-18 Gorjan Alagic , Stephen P. Jordan , Robert Koenig , Ben W. Reichardt

In this survey article we will consider universal lower bounds on the volume of a Riemannian manifold, given in terms of the volume of lower dimensional objects (primarily the lengths of geodesics). By `universal' we mean without curvature…

Differential Geometry · Mathematics 2007-05-23 Christopher B. Croke , Mikhail G. Katz

In this paper we study the finite time blow-up problem for the axisymmetric 3D incompressible Euler equations with swirl. The evolution equations for the deformation tensor and the vorticity are reduced considerably in this case. Under the…

Analysis of PDEs · Mathematics 2009-11-13 Dongho Chae

Up to dimension five, we can prove that given any closed Riemannian manifold with nonnegative scalar curvature, of which the universal covering has vanishing homology group $H_k$ for all $k\geq 3$, either it is flat or it has Gauss-Bonnet…

Differential Geometry · Mathematics 2022-08-30 Jintian Zhu

For the physical vacuum free boundary problem with the sound speed being $C^{{1}/{2}}$-H$\ddot{\rm o}$lder continuous near vacuum boundaries of the one-dimensional compressible Euler equations with damping, the global existence of the…

Analysis of PDEs · Mathematics 2014-08-01 Tao Luo , Huihui Zeng

As an example of the concept of rulial space, we explore the case of simple Turing machines. We construct the rulial multiway graph which represents the behavior of all possible Turing machines with a certain class of rules. This graph…

Discrete Mathematics · Computer Science 2021-01-27 Stephen Wolfram