共找到 20 条结果
Kullback-Leibler (KL) divergence is a fundamental concept in information theory that quantifies the discrepancy between two probability distributions. In the context of Variational Autoencoders (VAEs), it serves as a central regularization term, imposing structure on the latent space and thereby enabling the model to exhibit generative capabilities. In this work, we present a detailed derivation of the closed-form expression for the KL divergence between Gaussian distributions, a case of particular importance in practical VAE implementations. Starting from the general definition for continuous random variables, we derive the expression for the univariate case and extend it to the multivariate setting under the assumption of diagonal covariance. Finally, we discuss the interpretation of each term in the resulting expression and its impact on the training dynamics of the model.
We provide a functional characterization of isometries between non-reversible Finsler manifolds, in the form of a generalization of the Myers-Nakai Theorem for Riemannian manifolds. We show that, since non-reversible Finsler manifolds are a fundamentally asymmetric object, such a result can not be obtained by means of a symmetric function space, and we define the appropriate asymmetric structure needed to describe all possible isometries between this class of manifolds. The result is based on the ideas used in a previous generalization for reversible Finsler manifolds proved in \cite{GJR-13}, in which the normed algebra of $C^1$-smooth Lipschitz functions is used. To reflect the quasi-metric structure of non-reversible Finsler manifolds, this normed algebra had to be modified to include the cone of smooth semi-Lipschitz functions, resulting in a partial loss of the normed space and algebra structures. In order to achieve the desired result, we define new algebraic/quasi-metric structures to model the behavior of the aforementioned function space.
Human spoken language has long been the subject of scientific investigation, particularly with regard to the mechanisms underpinning speech production. Likewise, the study of animal communications has a substantial literature, with many studies focusing on vocalisation. More recently, there has been growing interest in comparing animal communications and human speech. However, it is proposed here that such a comparison necessitates the appraisal of a minimum set of critical phenomena: i) the number of degrees-of-freedom of the vocal apparatus, ii) the ability to control those degrees-of-freedom independently, iii) the properties of the acoustic environment in which communication takes place, iv) the perceptual salience of the generated sounds, v) the degree to which sounds are contrastive, vi) the presence/absence of compositionality, and vii) the information rate(s) of the resulting communications.
A short phenomenological account of the genesis and evolution of the universe is presented with emphasis on the primordial phases as well as its physical composition, i.e. dark matter and dark energy. We discuss Einstein's theory of General Relativity and its consequences for the birth of modern relativistic astrophysics. We introduce the Big-Bang theory of Mons. Lemaitre as well as the competing theory of the Steady State Universe of Fred Hoyle. Since Big-Bang theory appeared quite in agreement with Christian doctrine of creation, Pope Pius XII delivered a message to the pontifical Academy of Sciences in 1951 claiming a certain agreement between the creation account in the book of Genesis and the Big-Bang theory (a concordist view), a position which he did not repeat later. On the other hand, Lemaitre always kept separate the scientific and theological planes as two parallel "lines" never intersecting, i.e., as two complementary "magisteria". Similar kind of tensions, between science and theology, emerge also today with the Hartle-Hawking solution to the Wheeler-DeWitt equation in quantum cosmology and its related speculations. To avoid some sort of confusion between theological a
At the last few years, multimedia communication has been developed and improved rapidly in order to enable users to communicate between each other over the internet. Generally, multimedia communication consists of audio and video communication. However, this research concentrates on audio conferencing only. The audio translation between protocols is a very critical issue, because it solves the communication problems between any two protocols. So, it enables people around the world to talk with each other even they use different protocols. In this research, a real time audio translation module between two protocols has been done. These two protocols are: InterAsterisk eXchange Protocol (IAX) and Real-Time Switching Control Protocol (RSW), which they are widely used to provide two ways audio transfer feature. The solution here is to provide inter-working between the two protocols which they have different media transports, audio codecs, header formats and different transport protocols for the audio transmission. This translation will help bridging the gap between the two protocols by providing inter-working capability between the two audio streams of IAX and RSW. Some related works h
Two of the fundamental no-go theorems of quantum information are the no-cloning theorem (that it is impossible to make copies of general quantum states) and the no-teleportation theorem (the prohibition on telegraphing, or sending quantum states over classical channels without pre-shared entanglement). They are known to be equivalent, in the sense that a collection of quantum states is telegraphable if and only if it is clonable. Our main result suggests that this is not the case when computational efficiency is considered. We give a collection of quantum states and quantum oracles relative to which these states are efficiently clonable but not efficiently telegraphable. Given that the opposite scenario is impossible (states that can be telegraphed can always trivially be cloned), this gives the most complete quantum oracle separation possible between these two important no-go properties. We additionally study the complexity class clonableQMA, a subset of QMA whose witnesses are efficiently clonable. As a consequence of our main result, we give a quantum oracle separation between clonableQMA and the class QCMA, whose witnesses are restricted to classical strings. We also propose a
Automated program analysis is a pivotal research domain in many areas of Computer Science -- Formal Methods and Artificial Intelligence, in particular. Due to the undecidability of the problem of program equivalence, comparing two programs is highly challenging. Typically, in order to compare two programs, a relation between both programs' sets of variables is required. Thus, mapping variables between two programs is useful for a panoply of tasks such as program equivalence, program analysis, program repair, and clone detection. In this work, we propose using graph neural networks (GNNs) to map the set of variables between two programs based on both programs' abstract syntax trees (ASTs). To demonstrate the strength of variable mappings, we present three use-cases of these mappings on the task of program repair to fix well-studied and recurrent bugs among novice programmers in introductory programming assignments (IPAs). Experimental results on a dataset of 4166 pairs of incorrect/correct programs show that our approach correctly maps 83% of the evaluation dataset. Moreover, our experiments show that the current state-of-the-art on program repair, greatly dependent on the programs'
In 2017, Igusa and Todorov gave a bijection between signed exceptional sequences and ordered partial clusters. In this paper, we show that every term in an exceptional sequence is either relatively projective or relatively injective or both and we refine this bijection to one between projectively signed exceptional sequences and ordered partial positive clusters. We also give a characterization of relatively projective/injective objects in terms of supports of the objects in the exceptional sequence.
What is the optimal way to deform a projective hypersurface into another one? In this paper we will answer this question adopting the point of view of measure theory, introducing the optimal transport problem between complex algebraic projective hypersurfaces. First, a natural topological embedding of the space of hypersurfaces of a given degree into the space of measures on the projective space is constructed. Then, the optimal transport problem between hypersurfaces is defined through a constrained dynamical formulation, minimizing the energy of absolutely continuous curves which lie on the image of this embedding. In this way an inner Wasserstein distance on the projective space of homogeneous polynomials is introduced. This distance is finer than the Fubini-Study one. The innner Wasserstein distance is complete and geodesic: geodesics corresponds to optimal deformations of one algebraic hypersurface into another one. Outside the discriminant this distance is induced by a smooth Riemannian metric, which is the real part of an explicit Hermitian structure. Moreover, this Hermitian structure is Kähler and the corresponding metric is of Weil-Petersson type. To prove these results w
We present a statistical approach for the discovery of relationships between mathematical entities that is based on linear regression and deep learning with fully connected artificial neural networks. The strategy is applied to computational knot data and empirical connections between combinatorial and hyperbolic knot invariants are revealed.
This paper presents two new theories and a new current representation to explain the magnetic force between two filamentary current elements as a result of electric force interactions between current charges. The first theory states that a current has an electric charge relative to its moving observer. The second theory states that the magnetic force is an electric force in origin. The new current representation characterizes a current as equal amounts of positive and negative point charges moving in opposite directions at the speed of light. Previous work regarded electricity and magnetism as different aspects of the same subject. One effort was made by Johnson to unify the origin of electricity and magnetism, but this effort yielded a formula that is unequal to the well-known magnetic force law. The explanation provided for the magnetic force depends on three factors: 1) representing the electric current as charges moving at the speed of light, 2) considering the relative velocity between moving charges, and 3) analyzing the electric field spreading in the space due to the movement of charges inside current elements. The electric origin of the magnetic force is proved by deriving
We prove that a PQ-symmetric homeomorphism between two complete metric spaces can be extended to a quasi-isometry between their hyperbolic approximations. This result is used to prove that two visual Gromov hyperbolic spaces are quasi-isometric if and only if there is a PQ-symmetric homeomorphism between their boundaries.
We present a model that takes into account the coupling between evolutionary game dynamics and social influence. Importantly, social influence and game dynamics take place in different domains, which we model as different layers of a multiplex network. We show that the coupling between these dynamical processes can lead to cooperation in scenarios where the pure game dynamics predicts defection. In addition, we show that the structure of the network layers and the relation between them can further increase cooperation. Remarkably, if the layers are related in a certain way, the system can reach a polarized metastable state.These findings could explain the prevalence of polarization observed in many social dilemmas.
In this paper, research on AI based modeling technique to optimize development of new alloys with necessitated improvements in properties and chemical mixture over existing alloys as per functional requirements of product is done. The current research work novels AI in lieu of predictions to establish association between material and product customary. Advanced computational simulation techniques like CFD, FEA interrogations are made viable to authenticate product dynamics in context to experimental investigations. Accordingly, the current research is focused towards binding relationships between material design and product design domains. The input to feed forward back propagation prediction network model constitutes of material design features. Parameters relevant to product design strategies are furnished as target outputs. The outcomes of ANN shows good sign of correlation between material and product design domains. The study enriches a new path to illustrate material factors at the time of new product development.
Compensating changes between a subjects' training and testing session in Brain Computer Interfacing (BCI) is challenging but of great importance for a robust BCI operation. We show that such changes are very similar between subjects, thus can be reliably estimated using data from other users and utilized to construct an invariant feature space. This novel approach to learning from other subjects aims to reduce the adverse effects of common non-stationarities, but does not transfer discriminative information. This is an important conceptual difference to standard multi-subject methods that e.g. improve the covariance matrix estimation by shrinking it towards the average of other users or construct a global feature space. These methods do not reduces the shift between training and test data and may produce poor results when subjects have very different signal characteristics. In this paper we compare our approach to two state-of-the-art multi-subject methods on toy data and two data sets of EEG recordings from subjects performing motor imagery. We show that it can not only achieve a significant increase in performance, but also that the extracted change patterns allow for a neurophys
Near-field force and energy exchange between two objects due to quantum electrodynamic fluctuations give rise to interesting phenomena such as Casimir and van der Waals forces, and thermal radiative transfer exceeding Planck's theory of blackbody radiation. Although significant progress has been made in the past on the precise measurement of Casimir force related to zero-point energy, experimental demonstration of near-field enhancement of radiative heat transfer is difficult. In this work, we present a sensitive technique of measuring near-field radiative transfer between a microsphere and a substrate using a bi-material atomic force microscope (AFM) cantilever, resulting in "heat transfer-distance" curves. Measurements of radiative transfer between a sphere and a flat substrate show the presence of strong near-field effects resulting in enhancement of heat transfer over the predictions of the Planck blackbody radiation theory.
Editorial board members, who are considered the gatekeepers of scientific journals, play an important role in academia, and may directly or indirectly affect the scientific output of a university. In this article, we used the quantile regression method among a sample of 1,387 university in chemistry to characterize the correlation between the number of editorial board members and the scientific output of their universities. Furthermore, we used time-series data and the Granger causality test to explore the causal relationship between the number of editorial board members and the number of articles of some top universities. Our results suggest that the number of editorial board members is positively and significantly related to the scientific output (as measured by the number of articles, total number of citations, citations per paper, and h index) of their universities. However, the Granger causality test results suggest that the causal relationship between the number of editorial board members and the number of articles of some top universities is not obvious. Combining these findings with the results of qualitative interviews with editorial board members, we discuss the causal re
Bulk-edge correspondence is one of the most distinct properties of topological insulators. In particular, the 1D winding number $ $ has a one-to-one correspondence to the number of edge states in a chain of topological insulators with boundaries. By properly choosing the unit cells, we carry out numerical calculation to show explicitly in the extended SSH model that the winding numbers corresponding to the left and right unit cells may be used to predict the numbers of edge states on the two boundaries in a finite chain. Moreover, by drawing analogy between the SSH model and QWZ model, we show that the extended SSH model may be generalized to the extended QWZ model. By integrating the ``magnetic field'' over the momentum strip $0\le p_2 \le π, 0\le p_1 2π$ in the Brillouin zone, we show a identity relating the 2D Chern number and the difference between the 1D winding numbers at $p_2=0 $ and $p_2 =π$.
In this paper are studied the harmonic maps between two generalized Lagrange spaces. At the same time, it is proved that the solutions of $C^2$ class of certain ODEs or PDEs are harmonic maps between certain convenient generalized Lagrange spaces.
In this work, the plasmon coupling effect between two gold nanospheres on a gold slab is investigated. At plasmon resonance frequencies, electrons on the surface of the slab are absorbed into spheres and contribute to plasmon oscillation. This effect can help enhance the local electric field and optical coupling force between the two spheres.