Filtration with Multiple Species of Particles

Transport in Porous Media - Membrane filtration of feed containing multiple species of particles is a common process in the industrial setting. In this work, we propose a model for filtration of a...     

Embedded exponential-type low-regularity integrators for KdV equation under rough data

BIT Numerical Mathematics - In this paper, we introduce a novel class of embedded exponential-type low-regularity integrators (ELRIs) for solving the KdV equation and establish their optimal...     

Characterizations of modalities and lex modalities

A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of ∞-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse L: (1) the associated subuniverse $L^{\prime }$ of L-separated types is a modality; (2) L is a modality; (3) L is a lex modality; and (4) L is a cotopological modality. In each case, we give several necessary and sufficient conditions. Our characterizations involve various families of maps associated to L, such as the L-étale maps, the L-equivalences, the L-local maps, the L-connected maps, the unit maps ${\eta }_X$, and their left and/or right orthogonal complements. More generally, our main theorem gives an overview of how all of these classes related to each other. We also give examples that show that all of the inclusions we describe between these classes of maps can be strict.     

Rates of superlinear convergence for classical quasi-Newton methods

Mathematical Programming - We study the local convergence of classical quasi-Newton methods for nonlinear optimization. Although it was well established a long time ago that asymptotically these...     

The noncommutative values of quantum observables

We discuss the notion of representing the values of physical quantities by the real numbers, and its limits to describe the nature to be understood in the relation to our appreciation that the quantum theory is a better theory of natural phenomena than its classical analog. Getting from the algebra of physical observables to their values for a fixed state is, at least for classical physics, really a homomorphic map from the algebra into the real number algebra. The limitation of the latter to represent the values of quantum observables with noncommutative algebraic relation is obvious. We introduce and discuss the idea of the noncommutative values of quantum observables and its feasibility, arguing that at least in terms of the representation of such a value as an infinite set of complex numbers, the idea makes reasonable sense theoretically as well as practically.     

Bouncing universe models in an extended gravity theory

Some bouncing models are investigated in the framework of an extended theory of gravity. The extended gravity model is a simple extension of the General Relativity where an additional matter geometry coupling is introduced to account for the late time cosmic speed up phenomena. The dynamics of the models are discussed in the background of a flat FRW universe. Some viable models are reconstructed for specifically assumed bouncing scale factors. The behavior of the models are found to be decided mostly by the parameters of the respective models. The extended gravity based minimal matter-geometry coupling parameter has a role to remove the omega singularity occurring at the bouncing epoch. It is noted that the constructed models violate the energy conditions, however, in some cases this violation leads to the evolution of the models in phantom phase. The stability of the models are analyzed under linear homogeneous perturbations and it is found that, near the bounce, the models show instability but the perturbations decay out smoothly to provide stable models at late times.     

A multigrid method for the ground state solution of Bose–Einstein condensates based on Newton iteration

BIT Numerical Mathematics - In this paper, a new kind of multigrid method is proposed for the ground state solution of Bose–Einstein condensates based on Newton iteration scheme. Instead of...