Non-optimality of conical parts for Newton’s problem of minimal resistance in the class of convex bodies and the limiting case of infinite height

We consider Newton’s problem of minimal resistance, in particular we address the problem arising in the limit if the height goes to infinity. We establish existence of solutions and lack radial symmetry of solutions. Moreover, we show that certain conical parts contained in the boundary of a convex body inhibit the optimality in the classical Newton’s problem with finite height. This result is applied to certain bodies considered in the literature, which are conjectured to be optimal for the classical Newton’s problem, and we show that they are not.

On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices

We study the computational complexity of the satisfiability problem and the complement of the equivalence problem for complemented (orthocomplemented) modular lattices L and classes thereof. Concerning a simple L of finite height, $$\mathcal {NP}$$ NP -hardness is shown for both problems. Moreover, both problems are shown to be polynomial-time equivalent to the same feasibility problem over the division ring D whenever L is the subspace lattice of a D-vector space of finite dimension at least 3. Considering the class of all finite dimensional Hilbert spaces, the equivalence problem for the class of subspace ortholattices is shown to be polynomial-time equivalent to that for the class of endomorphism $$*$$ ∗ -rings with pseudo-inversion; moreover, we derive completeness for the complement of the Boolean part of the nondeterministic Blum-Shub-Smale model of real computation without constants. This result extends to the additive category of finite dimensional Hilbert spaces, enriched by adjunction and pseudo-inversion.

Global well-posedness for the three-dimensional incompressible viscous non-resistive MHD equations in an infinite slab

In this paper, we investigate the global well-posedness of the system of incompressible viscous non-resistive MHD fluids in a three-dimensional horizontally infinite slab with finite height. We reformulate our analysis to Lagrangian coordinates, and then develop a new mathematical approach to establish global well-posedness of the MHD system, which requires no nonlinear compatibility conditions on the initial data.

Experiments and Simulations of Free-Surface Flow behind a Finite Height Rigid Vertical Cylinder

We present the results of a combined experimental and numerical study of the free-surface flow behind a finite height rigid vertical cylinder. The experiments measure the drag and the wake angle on cylinders of different diameters for a range of velocities corresponding to 30,000 <Re< 200,000 and 0.2<Fr<2 where the Reynolds and Froude numbers are based on the diameter. The three-dimensional large eddy simulations use a conservative level-set method for the air-water interface, thus predicting the pressure, the vorticity, the free-surface elevation and the onset of air entrainment. The deep flow looks like single phase turbulent flow past a cylinder, but close to the free-surface, the interaction between the wall, the free-surface and the flow is taking place, leading to a reduced cylinder drag and the appearance of V-shaped surface wave patterns. For large velocities, vortex shedding is suppressed in a layer region behind the cylinder below the free surface. The wave patterns mostly follow the capillary-gravity theory, which predicts the crest lines cusps. Interestingly, it also indicates the regions of strong elevation fluctuations and the location of air entrainment observed in the experiments. Overall, these new simulation results, drag, wake angle and onset of air entrainment, compare quantitatively with experiments.

CM liftings of surfaces over finite fields and their applications to the Tate conjecture

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of $K3$ surfaces over finite fields. We prove that every $K3$ surface of finite height over a finite field admits a characteristic $0$ lifting whose generic fibre is a $K3$ surface with complex multiplication. Combined with the results of Mukai and Buskin, we prove the Tate conjecture for the square of a $K3$ surface over a finite field. To obtain these results, we construct an analogue of Kisin’s algebraic group for a $K3$ surface of finite height and construct characteristic $0$ liftings of the $K3$ surface preserving the action of tori in the algebraic group. We obtain these results for $K3$ surfaces over finite fields of any characteristics, including those of characteristic $2$ or $3$ .