Low-dissipation model of three-terminal refrigerator: Performance bounds and comparative analyses

In the present paper, a general non-combined model of three-terminal refrigerator is established based on the low-dissipation assumption. The relation between the optimized cooling power and the corresponding coefficient of performance (COP) is analytically derived, according to which the COP at maximum cooling power (CMP) can be further determined. At two dissipation asymmetry limits, upper and lower bounds of CMP are obtained and found to be in good agreement with experimental and simulated results. Additionally, comparison of the obtained bounds with previous combined model is presented. In particular it is found that the upper bounds are the same, whereas the lower bounds are quite different. This feature indicates that the claimed universal equivalence for the combined and non-combined models under endoreversible assumption is invalid within the frame of low-dissipation assumption. Then, the equivalence between various finite-time thermodynamic models needs to be reevaluated regarding multi-terminal systems. Moreover, the correlation between the combined and non-combined models is further revealed by the derivation of the equivalent condition according to which the identical upper bounds and distinct lower bounds are theoretically shown. Finally, the proposed non-combined model is proved to be the appropriate model for describing various types of thermally driven refrigerator. This work may provide some instructive information for the further establishments and performance analyses of multi-terminal low-dissipation models.

An Equivalent Condition and Some Properties of Strong J-Symmetric Ring

Let J R denote the Jacobson radical of a ring R . We say that ring R is strong J-symmetric if, for any a , b , c ∈ R , a b c ∈ J R implies b a c ∈ J R . If ring R is strong J-symmetric, then it is proved that R x / x n is strong J-symmetric for any n ≥ 2 . If R and S are rings and W S R is a R , S -bimodule, E = T R , S , W = R W 0 S = r w 0 s | r ∈ R , w ∈ W , s ∈ S , then it is proved that R and S are J-symmetric if and only if E is J-symmetric. It is also proved that R and S are strong J-symmetric if and only if E is strong J-symmetric.

The Wold-Type Decomposition for m-Isometries

The aim of this paper is to study the Wold-type decomposition in the class of m-isometries. One of our main results establishes an equivalent condition for an analytic m-isometry to admit the Wold-type decomposition for $$m\ge 2$$ m ≥ 2 . In particular, we introduce the k-kernel condition which we use to characterize analytic m-isometric operators which are unitarily equivalent to unilateral operator valued weighted shifts for $$m\ge 2$$ m ≥ 2 . As a result, we also show that m-isometric composition operators on directed graphs with one circuit containing only one element are not unitarily equivalent to unilateral weighted shifts. We also provide a characterization of m-isometric unilateral operator valued weighted shifts with positive and commuting weights.

A Generalization of Strassen’s Theorem on Preordered Semirings

Given a commutative semiring with a compatible preorder satisfying a version of the Archimedean property, the asymptotic spectrum, as introduced by Strassen (J. reine angew. Math. 1988), is an essentially unique compact Hausdorff space together with a map from the semiring to the ring of continuous functions. Strassen’s theorem characterizes an asymptotic relaxation of the preorder that asymptotically compares large powers of the elements up to a subexponential factor as the pointwise partial order of the corresponding functions, realizing the asymptotic spectrum as the space of monotone semiring homomorphisms to the nonnegative real numbers. Such preordered semirings have found applications in complexity theory and information theory. We prove a generalization of this theorem to preordered semirings that satisfy a weaker polynomial growth condition. This weaker hypothesis does not ensure in itself that nonnegative real-valued monotone homomorphisms characterize the (appropriate modification of the) asymptotic preorder. We find a sufficient condition as well as an equivalent condition for this to hold. Under these conditions the asymptotic spectrum is a locally compact Hausdorff space satisfying a similar universal property as in Strassen’s work.

(Non-)Distributivity of the product for $$\sigma $$-algebras with respect to the intersection

We study the validity of the distributivity equation $$\begin{aligned} ({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}}) ={\mathcal {A}}\otimes \left( {\mathcal {F}}\cap {\mathcal {G}}\right) , \end{aligned}$$ ( A ⊗ F ) ∩ ( A ⊗ G ) = A ⊗ F ∩ G , where $${\mathcal {A}}$$ A is a $$\sigma $$ σ -algebra on a set X, and $${\mathcal {F}}, {\mathcal {G}}$$ F , G are $$\sigma $$ σ -algebras on a set U. We present a counterexample for the general case and in the case of countably generated subspaces of analytic measurable spaces, we give an equivalent condition in terms of the $$\sigma $$ σ -algebras’ atoms. Using this, we give a sufficient condition under which distributivity holds.

On the Reconstruction of the Center of a Projection by Distances and Incidence Relations

Up to an orientation-preserving symmetry, photographic images are produced by a central projection of a restricted area in the space into the image plane. To obtain reliable information about physical objects and the environment through the process of recording is the basic problem of photogrammetry. We present a reconstruction process based on distances from the center of projection and incidence relations among the points to be projected. For any triplet of collinear points in the space, we construct a surface of revolution containing the center of the projection. It is a generalized conic that can be represented as an algebraic surface. The rotational symmetry allows us to restrict the investigations to the defining polynomial of the profile curve in the image plane. An equivalent condition for the boundedness is given in terms of the input parameters, and it is shown that the defining polynomial of the profile curve is irreducible.

Information and disturbance in operational probabilistic theories

Any measurement is intended to provide information on a system, namely knowledge about its state. However, we learn from quantum theory that it is generally impossible to extract information without disturbing the state of the system or its correlations with other systems. In this paper we address the issue of the interplay between information and disturbance for a general operational probabilistic theory. The traditional notion of disturbance considers the fate of the system state after the measurement. However, the fact that the system state is left untouched ensures that also correlations are preserved only in the presence of local discriminability. Here we provide the definition of disturbance that is appropriate for a general theory. Moreover, since in a theory without causality information can be gathered also on the effect, we generalise the notion of no-information test. We then prove an equivalent condition for no-information without disturbance---atomicity of the identity---namely the impossibility of achieving the trivial evolution---the identity---as the coarse-graining of a set of non trivial ones. We prove a general theorem showing that information that can be retrieved without disturbance corresponds to perfectly repeatable and discriminating tests. Based on this, we prove a structure theorem for operational probabilistic theories, showing that the set of states of any system decomposes as a direct sum of perfectly discriminable sets, and such decomposition is preserved under system composition. As a consequence, a theory is such that any information can be extracted without disturbance only if all its systems are classical. Finally, we show via concrete examples that no-information without disturbance is independent of both local discriminability and purification.

Some results on weakly inward mapping in geodesic metric spaces

Geodesic spaces are convex nonlinear spaces. Convexity is a significant tool to generalize some properties of Banach spaces. In this paper, the characterization of weakly inward was extended to CAT(0) spaces and give equivalent condition for the existence of fixed point for multivalued mapping

Generalized Cesàro Operators: Geometry of Spectra and Quasi-Nilpotency

For the class of Hardy spaces and standard weighted Bergman spaces of the unit disk, we prove that the spectrum of a generalized Cesàro operator $T_g$ is unchanged if the symbol $g$ is perturbed to $g+h$ by an analytic function $h$ inducing a quasi-nilpotent operator $T_h$, that is, spectrum of $T_h$ equals $\{0\}$. We also show that any $T_g$ operator that can be approximated in the operator norm by an operator $T_h$ with bounded symbol $h$ is quasi-nilpotent. In the converse direction, we establish an equivalent condition for the function $g \in \textbf{BMOA}$ to be in the $\textbf{BMOA}$ norm closure of $H^{\infty }$. This condition turns out to be equivalent to quasi-nilpotency of the operator $T_g$ on the Hardy spaces. This raises the question whether similar statement is true in the context of Bergman spaces and the Bloch space. Furthermore, we provide some general geometric properties of the spectrum of $T_{g}$ operators.

Defining amplituhedra and Grassmann polytopes

International audience The totally nonnegative Grassmannian Gr≥0 k,n is the set of k-dimensional subspaces V of Rn whose nonzero Plucker coordinates all have the same sign. In their study of scattering amplitudes in N = 4 supersym- metric Yang-Mills theory, Arkani-Hamed and Trnka (2013) considered the image (called an amplituhedron) of Gr≥0 k,n under a linear map Z : Rn → Rr, where k ≤ r and the r × r minors of Z are all positive. One reason they required this positivity condition is to ensure that the map Gr≥0 k,n → Grk,r induced by Z is well defined, i.e. it takes everynelement of Gr≥0 k,n to a k-dimensional subspace of Rr. Lam (2015) gave a sufficient condition for the induced map Gr≥0 k,n → Grk,r to be well defined, in which case he called the image a Grassmann polytope. (In the case k = 1, Grassmann polytopes are just polytopes, and amplituhedra are cyclic polytopes.) We give a necessary and sufficient condition for the induced map Gr≥0 k,n → Grk,r to be well defined, in terms of sign variation. Using previous work we presented at FPSAC 2015, we obtain an equivalent condition in terms of the r × r minors of Z (assuming Z has rank r).