Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Incorporation of silica nanoparticles and polyurethane into hybrid composites for increase of char residue

Journal of Thermal Analysis and Calorimetry - Effect of different chain extenders, silica nanoparticle loading, and using sol–gel method on the thermal properties of polyurethane (PU) hybrid...     

An investigation on the influence of the shape of the vortex generator on fluid flow and turbulent heat transfer of hybrid nanofluid in a channel

Journal of Thermal Analysis and Calorimetry - The purpose of this study is to numerically investigate flow field and turbulent heat transfer of hybrid nanofluid, water–DWCNT–TiO2 in a...     

Novel model of FM-noise conversion in a UMZI using RF external phase modulation of lasers: Theoretical and experimental results

In this paper, we propose and demonstrate a new and original model for theoretical calculation and experimental measurement of the noise power spectral density (NPSD) in phase-modulated optical links. The phase modulation is operated in the RF frequency range by an external phase modulator. The NPSD is derived for the first time in interferometric systems, by considering all effects such as the 1/f FM noise of the laser and white noise applied to light from a 1550 nm DFB laser, with phase modulation. The results show for the first time the influence of the phase modulation index, modulation frequency and interferometric delay in the phase-to-intensity noise conversion. The experimental and simulation results of conversion of FM-noise to intensity noise in an optical link by considering the external RF phase modulation are shown with good agreement.     

Duality and the cosmological constant

A dynamical theory is studied in which a scalar field ϕ in Einstein-Minkowski space is coupled to the four-velocityN _μ of a preferred inertial observer in that space. As a consistent requirement on this coupling we study a principle of duality invariance of the dynamical mass term of ϕ at some universal length in the small-distance regime. In the large-distance regime duality breaking can be introduced by giving a background value to ϕ and a background direction toN _μ. It is shown that, in an appropriate approximation, duality breaking can be related to the emergence of a characteristic phase in which the condensation of the ground state allows massive excitations with a characteristic scale of squared mass which agrees with the present observational bound for the cosmological constant.     

Conformal Invariance and Gravitational Coupling in Quantum Field Theory

We study the quantum constraints of a conformalinvariant action for a scalar field. For this purpose webriefly present a reformulation of the duality principleadvanced earlier in the context of generally covariant quantum field theory, and apply it toexamine the finite structure of the quantum constraints.This structure is shown to admit a dimensional coupling(a coupling mediated by a dimensional coupling parameter) of states to gravity. Invariancebreaking is introduced by defining a preferredconfiguration of dynamical variables in terms of thelargescale characteristics of the universe. In thisconfiguration a close relationship between the quantumconstraints and the Einstein equations isestablished.