相关论文: The Simplest Exact Solutions in the LTB Model
In this work, we present a linear uncertainty (LU) propagation treatment of measurement and model uncertainties in multiline thru-reflect-line (TRL) calibration. The proposed method is in accordance with the ISO Guide to the Expression of…
We consider a multidimensional extremal problem formulated in terms of tropical mathematics. The problem is to minimize a nonlinear objective function, which is defined on a finite-dimensional semimodule over an idempotent semifield,…
Linear Temporal Logic (LTL) is widely used for defining conditions on the execution paths of dynamic systems. In the case of dynamic systems that allow for nondeterministic evolutions, one has to specify, along with an LTL formula f, which…
This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation, for nonhierarchical object-oriented Real-Time Maude…
By way of a complete integration of the Friedmann equations, in terms of observables, it is shown that for the cosmological constant $\Lambda > 0$ there exist non-flat FLRW models for which the total density parameter $\Omega$ remains $\sim…
We obtain uniform in time $L^\infty$-bounds for the solutions to a class of thermo-diffusive systems. The nonlinearity is assumed to be at most sub-exponentially growing at infinity and have a linear behavior near zero.
This paper provides some statistics for the coefficients of Russell- Type modular equations for the modular function, {\lambda}({\tau}). The results hold uniformly for all odd primes. They do not rely on any numerical evaluations of…
We develop a new general method to prove various non-doubling local Tb theorems. The method combines the non-homogeneous good lambda method of Tolsa, the big pieces Tb theorem of Nazarov-Treil-Volberg and a new change of measure argument…
An important open question in cosmology is the degree to which the Friedmann-Lemaitre-Robertson-Walker (FLRW) solutions of Einstein's equations are able to model the large-scale behaviour of the locally inhomogeneous observable universe. We…
The saturation properties of neutron-rich matter are investigated in a relativistic mean-field formalism using two accurately calibrated models: NL3 and FSUGold. The saturation properties - density, binding energy per nucleon, and…
This paper deals with model checking problems with respect to LTL properties under fairness assumptions. We first present an efficient algorithm to deal with a fragment of fairness assumptions and then extend the algorithm to handle…
Exact relations are derived for the Fermi Hubbard spectral weight function for infinite U at zero temperature in the thermodynamic limit for any dimension,any lattice structure and general hopping matrix. These relations involve moments of…
Large language model (LLM) evaluations often assume there is a single correct response -- a gold label -- for each item in the evaluation corpus. However, some tasks can be ambiguous -- i.e., they provide insufficient information to…
We derive finite time error bounds for estimating general linear time-invariant (LTI) systems from a single observed trajectory using the method of least squares. We provide the first analysis of the general case when eigenvalues of the LTI…
Based on the theory of continuous time random walks (CTRW), we build the models of characterizing the transitions among anomalous diffusions with different diffusion exponents, often observed in natural world. In the CTRW framework, we take…
The dissipative dynamics of an expanding massless gas with constant cross section in a spatially flat Friedmann-Lema\^itre-Robertson-Walker (FLRW) universe is studied. The mathematical problem of solving the full nonlinear relativistic…
The thermal history of a large class of running vacuum models in which the effective cosmological term is described by a truncated power series of the Hubble rate, whose dominant term is $\Lambda (H) \propto H^{n+2}$, is discussed in…
A Lagrange multiplier theorem is derived for the case of an imprecise objective function and a precise constraint. The proof uses methods of analysis which deal in a direct, algebraic way with imprecisions. They include imprecise…
Modifications in Friedmann-Lemaitre-Robertson-Walker (FLRW) Hubble diagrams caused by mass density inhomogeneities are used to illustrate possible effects on a determination of the mass parameter $\Omega_m$ and the cosmological constant…
This paper deals with the space-homogenous Landau equation with very soft potentials, including the Coulomb case. This nonlinear equation is of parabolic type with diffusion matrix given by the convolution product of the solution with the…