相关论文: CMBFAST for spatially closed universes
In this paper we introduce a new public Einstein-Boltzmann solver, \texttt{MGCLASS II}, built as a modification to the publicly available \texttt{CLASS} code, that allows to obtain cosmological observables for Modified Gravity theories. It…
The following open problems, which concern a fundamental limit on coding properties of quantum codes with realistic physical constraints, are analyzed and partially answered here: (a) the upper bound on code distances of quantum…
Conformal field theories (CFTs) with cubic global symmetry in 3D are relevant in a variety of condensed matter systems and have been studied extensively with the use of perturbative methods like the $\varepsilon$ expansion. In an earlier…
Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by…
We use current cosmic microwave background data to constrain cosmological parameters. The results are presented as confidence regions in the ($\Omega$--$H_o$) -- plane for both open and flat geometries, and are based on a $\chi^2$…
We find new, simple cosmological solutions with flat, open, and closed spatial geometries, contrary to the previous wisdom that only the open model is allowed. The metric and the St\"{u}ckelberg fields are given explicitly, showing…
We derive fundamental bounds for general quantum metrological models involving both temporal or spatial correlations (mathematically described by quantum combs), which may be effectively computed in the limit of a large number of probes or…
We consider the problem of safely exploring a static and unknown environment while learning valid control barrier functions (CBFs) from sensor data. Existing works either assume known environments, target specific dynamics models, or use…
This paper introduces the notion of Constrained Locating Arrays (CLAs), mathematical objects which can be used for fault localization in software testing. CLAs extend ordinary locating arrays to make them applicable to testing of systems…
This article introduces a new physics-guided Machine Learning framework, with which we solve the generally non-invertible, ill-conditioned problems through an analytical approach and constrain the solution to the approximate inverse with…
Boundary conformal field theory (BCFT) is simply the study of conformal field theory (CFT) in domains with a boundary. It gains its significance because, in some ways, it is mathematically simpler: the algebraic and geometric structures of…
We improve the algorithm of Kosowsky, Milosavljevic, and Jimenez (2002) for computing power spectra of the cosmic microwave background. The present algorithm computes not only the temperature power spectrum but also the E-mode polarization…
Voyage 2050 White Paper highlighting the unique science opportunities using spectral distortions of the cosmic microwave background (CMB). CMB spectral distortions probe many processes throughout the history of the Universe. Precision…
The package CosmoLib is a combination of a cosmological Boltzmann code and a simulation toolkit to forecast the constraints on cosmological parameters from future observations. In this paper we describe the released linear-order part of the…
We study the effect of global topology of the spatial geometry on the cosmic microwave background (CMB) for closed flat and closed hyperbolic models in which the spatial hypersurface is multiply connected. If the CMB temperature…
In this paper we present a new semidefinite programming hierarchy for covering problems in compact metric spaces. Over the last years, these kind of hierarchies were developed primarily for geometric packing and for energy minimization…
A new criterion for inextendibility of expanding cosmological models with symmetry is presented. It is applied to derive a number of new results and to simplify the proofs of existing ones. In particular it shows that the solutions of the…
Cosmological Boltzmann codes are often used by researchers for calculating the CMB angular power spectra from different theoretical models, for cosmological parameter estimation, etc. Therefore, the accuracy of a Boltzmann code is of utmost…
This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of…
We present CLTLB(D), an extension of PLTLB (PLTL with both past and future operators) augmented with atomic formulae built over a constraint system D. Even for decidable constraint systems, satisfiability and Model Checking problem of such…