相关论文: A local version of Gotzmann's Persistence
This work addresses the problem of (global) maximal regularity for quasilinear evolution equations with sublinear gradient growth and right-hand side in Lebesgue spaces, complemented with Neumann boundary conditions. The proof relies on a…
A coordinate-free proof of the Maximum Principle is provided in the specific case of an optimal control problem with fixed time. Our treatment heavily relies on a special notion of variation of curves that consist of a concatenation of…
We study the speed of growth of iterates of outer automorphisms of virtually special groups, in the Haglund-Wise sense. We show that each automorphism grows either polynomially or exponentially, and that its stretch factor is an algebraic…
We consider a non homogeneous Gompertz diffusion process whose parameters are modified by generally time-dependent exogenous factors included in the infinitesimal moments. The proposed model is able to describe tumor dynamics under the…
Goodman's theorem (1976) states that intuitionistic finite-type arithmetic plus the axiom of choice plus the axiom of relativized dependent choice is conservative over Heyting arithmetic. The same result applies to the extensional variant.…
Verhulst logistic curve either grows OR decays, depending on the {\it growth rate} parameter value. A similar situation is found in the Gompertz law about human mortality. However, growth can neither be infinite nor reach a finite steady…
This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.
Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…
This is an exposition of our joint work with Kakde, Silliman, and Wang, in which we prove a version of Ribet's Lemma for $\mathrm{GL}_2$ in the residually indistinguishable case. We suppose we are given a Galois representation taking values…
The global boundness, existence and uniqueness are presented for the kind of Rosseland equation with a small parameter. This problem comes from conduction-radiation coupled heat transfer in the composites; it's with coefficients of high…
The sequence $(\operatorname{Ass}(R/I^n))_{n\in\mathbb{N}}$ of associated primes of powers of a monomial ideal $I$ in a polynomial ring $R$ eventually stabilizes by a known result by Markus Brodmann. L\^e Tu\^an Hoa gives an upper bound for…
The algebraic stability theorem for $\mathbb{R}$-persistence modules is a fundamental result in topological data analysis. We present a stability theorem for $n$-dimensional rectangle decomposable persistence modules up to a constant…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
Motivated by the theory of domination for types, we introduce a notion of domination for Keisler measures called extension domination. We argue that this variant of domination behaves similarly to its type setting counterpart. We prove that…
Let $n$ be a positive integer. We provide an explicit geometrically motivated $1$-Lipschitz map from the space of persistence diagrams on $n$ points (equipped with the Bottleneck distance) into the Hilbert space $\ell^2$. Such maps are a…
The numerical approximation of an inverse problem subject to the convection--diffusion equation when diffusion dominates is studied. We derive Carleman estimates that are on a form suitable for use in numerical analysis and with explicit…
We present some existence results for three-dimensional quasistatic morphoelasticity. The state of the growing body is described by its deformation and the underlying growth tensor and is ruled by the interplay of hyperelastic energy…
Many natural and artificial systems whose range of interaction is long enough are known to exhibit (quasi)stationary states that defy the standard, Boltzmann-Gibbs statistical mechanical prescriptions. For handling such anomalous systems…
Lattice Boltzmann schemes rely on the enlargement of the size of the target problem in order to solve PDEs in a highly parallelizable and efficient kinetic-like fashion, split into a collision and a stream phase. This structure, despite the…
We describe the universal Groebner basis of the ideal of maximal minors and the ideal of $2$-minors of a multigraded matrix of linear forms. Our results imply that the ideals are radical and provide bounds on the regularity. In particular,…