Rigidity theorem for Willmore surfaces in a sphere
Indian Academy of Sciences (India)
(Math. Sci.) Vol. 126, No. 2, May 2016, pp. 253–260. c Indian Academy of Sciences. Rigidity theorem for Willmore surfaces in a sphere. HONGWEI XU1 and DENGYUN YANG2,∗. 1Center of Mathematical Sciences, Zhejiang University, Hangzhou 310027,. People's Republic of China. 2College of Mathematics and ...
Modified intuitionistic fuzzy metric spaces and some fixed point theorems
International Nuclear Information System (INIS)
Saadati, R.; Sedghi, S.; Shobe, N.
2008-01-01
Since the intuitionistic fuzzy metric space has extra conditions (see [Gregori V, Romaguera S, Veereamani P. A note on intuitionistic fuzzy metric spaces. Chaos, Solitons and Fractals 2006;28:902-5]). In this paper, we consider modified intuitionistic fuzzy metric spaces and prove some fixed point theorems in these spaces. All the results presented in this paper are new
Metrical theorems on systems of small inhomogeneous linear forms
DEFF Research Database (Denmark)
Hussain, Mumtaz; Kristensen, Simon
In this paper we establish complete Khintchine-Groshev and Schmidt type theorems for inhomogeneous small linear forms in the so-called doubly metric case, in which the inhomogeneous parameter is not fixed.......In this paper we establish complete Khintchine-Groshev and Schmidt type theorems for inhomogeneous small linear forms in the so-called doubly metric case, in which the inhomogeneous parameter is not fixed....
Contraction theorems in fuzzy metric space
International Nuclear Information System (INIS)
Farnoosh, R.; Aghajani, A.; Azhdari, P.
2009-01-01
In this paper, the results on fuzzy contractive mapping proposed by Dorel Mihet will be proved for B-contraction and C-contraction in the case of George and Veeramani fuzzy metric space. The existence of fixed point with weaker conditions will be proved; that is, instead of the convergence of subsequence, p-convergence of subsequence is used.
Some Nonunique Fixed Point Theorems of Ćirić Type on Cone Metric Spaces
Directory of Open Access Journals (Sweden)
Erdal Karapınar
2010-01-01
Full Text Available Some results of (Ćirić, 1974 on a nonunique fixed point theorem on the class of metric spaces are extended to the class of cone metric spaces. Namely, nonunique fixed point theorem is proved in orbitally complete cone metric spaces under the assumption that the cone is strongly minihedral. Regarding the scalar weight of cone metric, we are able to remove the assumption of strongly minihedral.
Rigidity theorem for Willmore surfaces in a sphere
Indian Academy of Sciences (India)
Home; Journals; Proceedings – Mathematical Sciences; Volume 126; Issue 2. Rigidity ... Center of Mathematical Sciences, Zhejiang University, Hangzhou 310027, People's Republic of China; College of Mathematics and Information Science, Jiangxi Normal University, Nanchang 330022, People's Republic of China ...
Two fixed point theorems on quasi-metric spaces via mw- distances
Energy Technology Data Exchange (ETDEWEB)
Alegre, C.
2017-07-01
In this paper we prove a Banach-type fixed point theorem and a Kannan-type theorem in the setting of quasi-metric spaces using the notion of mw-distance. These theorems generalize some results that have recently appeared in the literature. (Author)
Directory of Open Access Journals (Sweden)
Badridatt Pant
2014-02-01
Full Text Available In this paper, we prove a common fixed point theorem for finite number of self mappings in Menger probabilistic quasi metric space. Our result improves and extends the results of Rezaiyan et al. [A common fixed point theorem in Menger probabilistic quasi-metric spaces, Chaos, Solitons and Fractals 37 (2008 1153-1157.], Miheţ [A note on a fixed point theorem in Menger probabilistic quasi-metric spaces, Chaos, Solitons and Fractals 40 (2009 2349-2352], Pant and Chauhan [Fixed points theorems in Menger probabilistic quasi metric spaces using weak compatibility, Internat. Math. Forum 5 (6 (2010 283-290] and Sastry et al. [A fixed point theorem in Menger PQM-spaces using weak compatibility, Internat. Math. Forum 5 (52 (2010 2563-2568
Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces
Directory of Open Access Journals (Sweden)
Sunny Chauhan
2013-05-01
Full Text Available The aim of this paper is to prove a common fixed point theorem for a pair of weakly compatible mappings in fuzzy metric space by using the (CLRg property. An example is also furnished which demonstrates the validity of our main result. As an application to our main result, we present a fixed point theorem for two finite families of self mappings in fuzzy metric space by using the notion of pairwise commuting. Our results improve the results of Sedghi, Shobe and Aliouche [A common fixed point theorem for weakly compatible mappings in fuzzy metric spaces, Gen. Math. 18(3 (2010, 3-12 MR2735558].
A comparison theorem of the Kobayashi metric and the Bergman metric on a class of Reinhardt domains
International Nuclear Information System (INIS)
Weiping Yin.
1990-03-01
A comparison theorem for the Kobayashi and Bergman metric is given on a class of Reinhardt domains in C n . In the meantime, we obtain a class of complete invariant Kaehler metrics for these domains of the special cases. (author). 5 refs
Partial rectangular metric spaces and fixed point theorems.
Shukla, Satish
2014-01-01
The purpose of this paper is to introduce the concept of partial rectangular metric spaces as a generalization of rectangular metric and partial metric spaces. Some properties of partial rectangular metric spaces and some fixed point results for quasitype contraction in partial rectangular metric spaces are proved. Some examples are given to illustrate the observed results.
Some common random fixed point theorems for contractive type conditions in cone random metric spaces
Directory of Open Access Journals (Sweden)
Saluja Gurucharan S.
2016-08-01
Full Text Available In this paper, we establish some common random fixed point theorems for contractive type conditions in the setting of cone random metric spaces. Our results unify, extend and generalize many known results from the current existing literature.
Extension and reconstruction theorems for the Urysohn universal metric space
Czech Academy of Sciences Publication Activity Database
Kubiś, Wieslaw; Rubin, M.
2010-01-01
Roč. 60, č. 1 (2010), s. 1-29 ISSN 0011-4642 R&D Projects: GA AV ČR IAA100190901 Institutional research plan: CEZ:AV0Z10190503 Keywords : Urysohn space * bilipschitz homeomorphism * modulus of continuity * reconstruction theorem * extension theorem Subject RIV: BA - General Mathematics Impact factor: 0.265, year: 2010 http://dml.cz/handle/10338.dmlcz/140544
Generalized fixed point theorems for compatible mappings with some types in fuzzy metric spaces
International Nuclear Information System (INIS)
Cho, Yeol Je; Sedghi, Shaban; Shobe, Nabi
2009-01-01
In this paper, we give some new definitions of compatible mappings of types (I) and (II) in fuzzy metric spaces and prove some common fixed point theorems for four mappings under the condition of compatible mappings of types (I) and (II) in complete fuzzy metric spaces. Our results extend, generalize and improve the corresponding results given by many authors.
On a Theorem of Khan in a Generalized Metric Space
Directory of Open Access Journals (Sweden)
Jamshaid Ahmad
2013-01-01
Full Text Available Existence and uniqueness of fixed points are established for a mapping satisfying a contractive condition involving a rational expression on a generalized metric space. Several particular cases and applications as well as some illustrative examples are given.
Topological Vector Space-Valued Cone Metric Spaces and Fixed Point Theorems
Directory of Open Access Journals (Sweden)
Radenović Stojan
2010-01-01
Full Text Available We develop the theory of topological vector space valued cone metric spaces with nonnormal cones. We prove three general fixed point results in these spaces and deduce as corollaries several extensions of theorems about fixed points and common fixed points, known from the theory of (normed-valued cone metric spaces. Examples are given to distinguish our results from the known ones.
Directory of Open Access Journals (Sweden)
Sunny Chauhan
2013-01-01
Full Text Available The objective of this paper is to emphasize the role of “common limit range property” to ascertain the existence of common fixed point in fuzzy metric spaces. Some illustrative examples are furnished which demonstrate the validity of the hypotheses and degree of utility of our results. We derive a fixed point theorem for four finite families of self-mappings which can be utilized to derive common fixed point theorems involving any finite number of mappings. As an application to our main result, we prove an integral-type fixed point theorem in fuzzy metric space. Our results improve and extend a host of previously known results including the ones contained in Imdad et al. (2012.
A Coupled Fixed Point Theorem in Fuzzy Metric Space Satisfying ϕ-Contractive Condition
Directory of Open Access Journals (Sweden)
B. D. Pant
2013-01-01
Full Text Available The intent of this paper is to prove a coupled fixed point theorem for two pairs of compatible and subsequentially continuous (alternately subcompatible and reciprocally continuous mappings, satisfying ϕ-contractive conditions in a fuzzy metric space. We also furnish some illustrative examples to support our results.
Directory of Open Access Journals (Sweden)
Xiangbing Zhou
2012-01-01
Full Text Available We generalize a fixed point theorem in partially ordered complete metric spaces in the study of A. Amini-Harandi and H. Emami (2010. We also give an application on the existence and uniqueness of the positive solution of a multipoint boundary value problem with fractional derivatives.
Fixed point theorems in complex valued metric spaces
Directory of Open Access Journals (Sweden)
Naval Singh
2016-07-01
Full Text Available The aim of this paper is to establish and prove several results on common fixed point for a pair of mappings satisfying more general contraction conditions portrayed by rational expressions having point-dependent control functions as coefficients in complex valued metric spaces. Our results generalize and extend the results of Azam et al. (2011 [1], Sintunavarat and Kumam (2012 [2], Rouzkard and Imdad (2012 [3], Sitthikul and Saejung (2012 [4] and Dass and Gupta (1975 [5]. To substantiate the authenticity of our results and to distinguish them from existing ones, some illustrative examples are also furnished.
Common fixed point theorems for fuzzy mappings in metric space under φ-contraction condition
International Nuclear Information System (INIS)
Abu-Donia, H.M.
2007-01-01
Some common fixed point theorems for multi-valued mappings under φ-contraction condition have been studied by Rashwan [Rashwan RA, Ahmed MA. Fixed points for φ-contraction type multivalued mappings. J Indian Acad Math 1995;17(2):194-204]. Butnariu [Butnariu D. Fixed point for fuzzy mapping. Fuzzy Sets Syst 1982;7:191-207] and Helipern [Hilpern S. Fuzzy mapping and fixed point theorem. J Math Anal Appl 1981;83:566-9] also, discussed some fixed point theorems for fuzzy mappings in the category of metric spaces. In this paper, we discussed some common fixed point theorems for fuzzy mappings in metric space under φ-contraction condition. Our investigation are related to the fuzzy form of Hausdorff metric which is a basic tool for computing Hausdorff dimensions. These dimensions help in understanding ε ∞ -space [El-Naschie MS. On the unification of the fundamental forces and complex time in the ε ∞ -space. Chaos, Solitons and Fractals 2000;11:1149-62] and are used in high energy physics [El-Naschie MS. Wild topology hyperbolic geometry and fusion algebra of high energy particle physics. Chaos, Solitons and Fractals 2002;13:1935-45
Common fixed point theorems for fuzzy mappings in metric space under {phi}-contraction condition
Energy Technology Data Exchange (ETDEWEB)
Abu-Donia, H.M. [Department of Mathematics, Faculty of Science, Zagazig University, Zagazig (Egypt)
2007-10-15
Some common fixed point theorems for multi-valued mappings under {phi}-contraction condition have been studied by Rashwan [Rashwan RA, Ahmed MA. Fixed points for {phi}-contraction type multivalued mappings. J Indian Acad Math 1995;17(2):194-204]. Butnariu [Butnariu D. Fixed point for fuzzy mapping. Fuzzy Sets Syst 1982;7:191-207] and Helipern [Hilpern S. Fuzzy mapping and fixed point theorem. J Math Anal Appl 1981;83:566-9] also, discussed some fixed point theorems for fuzzy mappings in the category of metric spaces. In this paper, we discussed some common fixed point theorems for fuzzy mappings in metric space under {phi}-contraction condition. Our investigation are related to the fuzzy form of Hausdorff metric which is a basic tool for computing Hausdorff dimensions. These dimensions help in understanding {epsilon} {sup {infinity}}-space [El-Naschie MS. On the unification of the fundamental forces and complex time in the {epsilon} {sup {infinity}}-space. Chaos, Solitons and Fractals 2000;11:1149-62] and are used in high energy physics [El-Naschie MS. Wild topology hyperbolic geometry and fusion algebra of high energy particle physics. Chaos, Solitons and Fractals 2002;13:1935-45].
International Nuclear Information System (INIS)
Jesic, Sinisa N.; Babacev, Natasa A.
2008-01-01
The purpose of this paper is to prove some common fixed point theorems for a pair of R-weakly commuting mappings defined on intuitionistic fuzzy metric spaces [Park JH. Intuitionistic fuzzy metric spaces. Chaos, Solitons and Fractals 2004;22:1039-46] and L-fuzzy metric spaces [Saadati R, Razani A, Adibi H. A common fixed point theorem in L-fuzzy metric spaces. Chaos, Solitons and Fractals, doi:10.1016/j.chaos.2006.01.023], with nonlinear contractive condition, defined with function, first observed by Boyd and Wong [Boyd DW, Wong JSW. On nonlinear contractions. Proc Am Math Soc 1969;20:458-64]. Following Pant [Pant RP. Common fixed points of noncommuting mappings. J Math Anal Appl 1994;188:436-40] we define R-weak commutativity for a pair of mappings and then prove the main results. These results generalize some known results due to Saadati et al., and Jungck [Jungck G. Commuting maps and fixed points. Am Math Mon 1976;83:261-3]. Some examples and comments according to the preceding results are given
Directory of Open Access Journals (Sweden)
Bessem Samet
2011-09-01
Full Text Available Recently, Azam, Arshad and Beg [ Banach contraction principle on cone rectangular metric spaces, Appl. Anal. Discrete Math. 2009] introduced the notion of cone rectangular metric spaces by replacing the triangular inequality of a cone metric space by a rectangular inequality. In this paper, we introduce the notion of c-chainable cone rectangular metric space and we establish a fixed point theorem for uniformly locally contractive mappings in such spaces. An example is given to illustrate our obtained result.
Employing Common Limit Range Property to Prove Unified Metrical Common Fixed Point Theorems
Directory of Open Access Journals (Sweden)
Mohammad Imdad
2013-01-01
Full Text Available The purpose of this paper is to emphasize the role of “common limit range property” to ascertain the existence of common fixed point in metric spaces satisfying an implicit function essentially due to the paper of Ali and Imdad (2008. As an application to our main result, we derive a fixed point theorem for four finite families of self-mappings which can be utilized to derive common fixed point theorems involving any finite number of mappings. Our results improve and extend a host of previously known results including the ones contained in the paper of Ali and Imdad (2008. We also furnish some illustrative examples to support our main results.
International Nuclear Information System (INIS)
Sharma, Sushil; Deshpande, Bhavana
2009-01-01
The purpose of this paper is to prove some common fixed point theorems for finite number of discontinuous, noncompatible mappings on noncomplete intuitionistic fuzzy metric spaces. Our results extend, generalize and intuitionistic fuzzify several known results in fuzzy metric spaces. We give an example and also give formulas for total number of commutativity conditions for finite number of mappings.
Directory of Open Access Journals (Sweden)
Magnolia Tilca
2014-10-01
Full Text Available The aim of this paper is to study the existence of the solution for the overlapping generations model, using fixed point theorems in metric spaces endowed with a graph. The overlapping generations model has been introduced and developed by Maurice Allais (1947, Paul Samuelson (1958, Peter Diamond (1965 and so on. The present paper treats the case presented by Edmond (2008 in (Edmond, 2008 for a continuous time. The theorem of existence of the solution for the prices fixed point problem derived from the overlapping generations model gives an approximation of the solution via the graph theory. The tools employed in this study are based on applications of the Jachymski fixed point theorem on metric spaces endowed with a graph (Jachymski, 2008
Some Common Fixed Point Theorems for F-Contraction Type Mappings in 0-Complete Partial Metric Spaces
Directory of Open Access Journals (Sweden)
Satish Shukla
2013-01-01
Full Text Available We prove some common fixed point theorems for F-contractions in 0-complete partial metric spaces. Our results extend, generalize, and unify several known results in the literature. Some examples are included which show that the generalization is proper.
Einstein-Gauss-Bonnet metrics: black holes, black strings and a staticity theorem
International Nuclear Information System (INIS)
Bogdanos, C.; Charmousis, C.; Gouteraux, B.; Zegers, R.
2009-01-01
We find the general solution of the 6-dimensional Einstein-Gauss-Bonnet equations in a large class of space and time-dependent warped geometries. Several distinct families of solutions are found, some of which include black string metrics, space and time-dependent solutions and black holes with exotic horizons. Among these, some are shown to verify a Birkhoff type staticity theorem, although here, the usual assumption of maximal symmetry on the horizon is relaxed, allowing exotic horizon geometries. We provide explicit examples of such static exotic black holes, including ones whose horizon geometry is that of a Bergman space. We find that the situation is very different from higher-dimensional general relativity, where Einstein spaces are admissible black hole horizons and the associated black hole potential is not even affected. In Einstein-Gauss-Bonnet theory, on the contrary, the non-trivial Weyl tensor of such exotic horizons is exposed to the bulk dynamics through the higher order Gauss-Bonnet term, severely constraining the allowed horizon geometries and adding a novel charge-like parameter to the black hole potential. The latter is related to the Euler characteristic of the four-dimensional horizon and provides, in some cases, additional black hole horizons.
Extension of Kirk-Saliga Fixed Point Theorem in a Metric Space with a Reflexive Digraph
Directory of Open Access Journals (Sweden)
Karim Chaira
2018-01-01
Full Text Available We extend the result of Kirk-Saliga and we generalize Alfuraidan and Khamsi theorem for reflexive graphs. As a consequence, we obtain the ordered version of Caristi’s fixed point theorem. Some concrete examples are given to support the obtained results.
Latif, Abdul; Mongkolkeha, Chirasak; Sintunavarat, Wutiphol
2014-01-01
We extend the notion of generalized weakly contraction mappings due to Choudhury et al. (2011) to generalized α-β-weakly contraction mappings. We show with examples that our new class of mappings is a real generalization of several known classes of mappings. We also establish fixed point results for such mappings in metric spaces. Applying our new results, we obtain fixed point results on ordinary metric spaces, metric spaces endowed with an arbitrary binary relation, and metric spaces endowed with graph.
Directory of Open Access Journals (Sweden)
Abdul Latif
2014-01-01
Full Text Available We extend the notion of generalized weakly contraction mappings due to Choudhury et al. (2011 to generalized α-β-weakly contraction mappings. We show with examples that our new class of mappings is a real generalization of several known classes of mappings. We also establish fixed point results for such mappings in metric spaces. Applying our new results, we obtain fixed point results on ordinary metric spaces, metric spaces endowed with an arbitrary binary relation, and metric spaces endowed with graph.
International Nuclear Information System (INIS)
Dadashyan, K.Yu.; Khoruzhii, S.S.
1987-01-01
The construction of a modular theory for weakly closed J-involutive algebras of bounded operators on Pontryagin spaces is continued. The spectrum of the modular operator Δ of such an algebra is investigated, the existence of a strongly continuous J-unitary group is established and, under the condition that the spectrum lies in the right half-plane, Tomita's fundamental theorem is proved
The Patchwork Divergence Theorem
Dray, Tevian; Hellaby, Charles
1994-01-01
The divergence theorem in its usual form applies only to suitably smooth vector fields. For vector fields which are merely piecewise smooth, as is natural at a boundary between regions with different physical properties, one must patch together the divergence theorem applied separately in each region. We give an elegant derivation of the resulting "patchwork divergence theorem" which is independent of the metric signature in either region, and which is thus valid if the signature changes. (PA...
Directory of Open Access Journals (Sweden)
Feng Yang
2013-06-01
Full Text Available Non-rigid multi-modal image registration plays an important role in medical image processing and analysis. Existing image registration methods based on similarity metrics such as mutual information (MI and sum of squared differences (SSD cannot achieve either high registration accuracy or high registration efficiency. To address this problem, we propose a novel two phase non-rigid multi-modal image registration method by combining Weber local descriptor (WLD based similarity metrics with the normalized mutual information (NMI using the diffeomorphic free-form deformation (FFD model. The first phase aims at recovering the large deformation component using the WLD based non-local SSD (wldNSSD or weighted structural similarity (wldWSSIM. Based on the output of the former phase, the second phase is focused on getting accurate transformation parameters related to the small deformation using the NMI. Extensive experiments on T1, T2 and PD weighted MR images demonstrate that the proposed wldNSSD-NMI or wldWSSIM-NMI method outperforms the registration methods based on the NMI, the conditional mutual information (CMI, the SSD on entropy images (ESSD and the ESSD-NMI in terms of registration accuracy and computation efficiency.
Directory of Open Access Journals (Sweden)
Sunny Chauhan
2013-11-01
Full Text Available In this paper, we utilize the notion of common limit range property in Non-Archimedean Menger PM-spaces and prove some fixed point theorems for two pairs of weakly compatible mappings. Some illustrative examples are furnished to support our results. As an application to our main result, we present a common fixed point theorem for four finite families of self mappings. Our results improve and extend several known results existing in the literature.
Flatto, Leopold
2009-01-01
Poncelet's theorem is a famous result in algebraic geometry, dating to the early part of the nineteenth century. It concerns closed polygons inscribed in one conic and circumscribed about another. The theorem is of great depth in that it relates to a large and diverse body of mathematics. There are several proofs of the theorem, none of which is elementary. A particularly attractive feature of the theorem, which is easily understood but difficult to prove, is that it serves as a prism through which one can learn and appreciate a lot of beautiful mathematics. This book stresses the modern appro
Gaba, Yaé Ulrich
2017-01-01
In this paper, we discuss recent results about generalized metric spaces and fixed point theory. We introduce the notion of $\\eta$-cone metric spaces, give some topological properties and prove some fixed point theorems for contractive type maps on these spaces. In particular we show that theses $\\eta$-cone metric spaces are natural generalizations of both cone metric spaces and metric type spaces.
About deformation and rigidity in relativity
International Nuclear Information System (INIS)
Coll, Bartolome
2007-01-01
The notion of deformation involves that of rigidity. In relativity, starting from Born's early definition of rigidity, some other ones have been proposed, offering more or less interesting aspects but also accompanied of undesired or even pathological properties. In order to clarify the origin of these difficulties presented by the notion of rigidity in relativity, we analyze with some detail significant aspects of the unambiguous classical, Newtonian, notion. In particular, the relative character of its kinetic definition is pointed out, allowing to predict and to understand the limitations imposed by Herglotz-Noether theorem. Also, its equivalent dynamic definition is obtained and, in contrast, its absolute character is shown. But in spite of this absolute character, the dynamic definition is shown to be not extensible to relativity. The metric deformation of Minkowski space by the presence of a gravitational field is interpreted as a universal deformation, and it is shown that, under natural conditions, only a simple deformation law is possible, relating locally, but in an one-to-one way, gravitational fields and gauge classes of two-forms. We argue that fields of unit vectors associated to the internal gauge class of two-forms of every space-time (and, in particular, of Minkowski space-time) are the relativistic analogues of the classical accelerated observers, i.e. of the classical rigid motions. Some other consequences of the universal law of gravitational deformation are commented
Heck, Richard G
2011-01-01
Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy. The Theorem is the central contribution of Gottlob Frege's formal work on arithmetic. It tells us that the axioms of arithmetic can be derived, purely logically, from a single principle: the number of these things is the same as the number of those things just in case these can be matched up one-to-one with those. But that principle seems so utterlyfundamental to thought about number that it might almost count as a definition of number. If so, Frege's Theorem shows that a
Directory of Open Access Journals (Sweden)
Manish Jain
2013-01-01
Full Text Available We establish the existence and uniqueness of coupled common fixed point for symmetric (φ,ψ-contractive mappings in the framework of ordered G-metric spaces. Present work extends, generalize, and enrich the recent results of Choudhury and Maity (2011, Nashine (2012, and Mohiuddine and Alotaibi (2012, thereby, weakening the involved contractive conditions. Our theoretical results are accompanied by suitable examples and an application to integral equations.
A Metrized Duality Theorem for Markov Processes
DEFF Research Database (Denmark)
Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash
2014-01-01
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudometric and the algebras with a notion of metric diameter. We are able to show that the isomorphisms of our previous duality theorem become isometries in this quantitative setting. This opens the wa...
Debattista, Josephine
2000-01-01
Pythagoras 580 BC was a Greek mathematician who became famous for formulating Pythagoras Theorem but its principles were known earlier. The ancient Egyptians wanted to layout square (90°) corners to their fields. To solve this problem about 2000 BC they discovered the 'magic' of the 3-4-5 triangle.
Directory of Open Access Journals (Sweden)
Bessem Samet
2013-01-01
Full Text Available In 2005, Mustafa and Sims (2006 introduced and studied a new class of generalized metric spaces, which are called G-metric spaces, as a generalization of metric spaces. We establish some useful propositions to show that many fixed point theorems on (nonsymmetric G-metric spaces given recently by many authors follow directly from well-known theorems on metric spaces. Our technique can be easily extended to other results as shown in application.
Combinatorial and Algorithmic Rigidity: Beyond Two Dimensions
2012-12-01
44]. Theorems of Maxwell- Laman type were ob- tained in [9, 15, 43]. 2 3. Counting and Enumeration. As anticipated in the project, we relied on methods...decompositions. Graphs and Combinatorics, 25:219–238, 2009. [43] I. Streinu and L. Theran. Slider-pinning rigidity: a Maxwell- Laman -type theorem. Discrete and
International Nuclear Information System (INIS)
Palmer, R.
1994-06-01
Electromagnetic fields can be separated into near and far components. Near fields are extensions of static fields. They do not radiate, and they fall off more rapidly from a source than far fields. Near fields can accelerate particles, but the ratio of acceleration to source fields at a distance R, is always less than R/λ or 1, whichever is smaller. Far fields can be represented as sums of plane parallel, transversely polarized waves that travel at the velocity of light. A single such wave in a vacuum cannot give continuous acceleration, and it is shown that no sums of such waves can give net first order acceleration. This theorem is proven in three different ways; each method showing a different aspect of the situation
The quantitative Morse theorem
Loi, Ta Le; Phien, Phan
2013-01-01
In this paper, we give a proof of the quantitative Morse theorem stated by {Y. Yomdin} in \\cite{Y1}. The proof is based on the quantitative Sard theorem, the quantitative inverse function theorem and the quantitative Morse lemma.
The large deviations theorem and ergodicity
International Nuclear Information System (INIS)
Gu Rongbao
2007-01-01
In this paper, some relationships between stochastic and topological properties of dynamical systems are studied. For a continuous map f from a compact metric space X into itself, we show that if f satisfies the large deviations theorem then it is topologically ergodic. Moreover, we introduce the topologically strong ergodicity, and prove that if f is a topologically strongly ergodic map satisfying the large deviations theorem then it is sensitively dependent on initial conditions
International Nuclear Information System (INIS)
Ma Zhongqi
2006-01-01
The Levinson theorem is a fundamental theorem in quantum scattering theory, which shows the relation between the number of bound states and the phase shift at zero momentum for the Schroedinger equation. The Levinson theorem was established and developed mainly with the Jost function, with the Green function and with the Sturm-Liouville theorem. In this review, we compare three methods of proof, study the conditions of the potential for the Levinson theorem and generalize it to the Dirac equation. The method with the Sturm-Liouville theorem is explained in some detail. References to development and application of the Levinson theorem are introduced. (topical review)
Metric diffusion along foliations
Walczak, Szymon M
2017-01-01
Up-to-date research in metric diffusion along compact foliations is presented in this book. Beginning with fundamentals from the optimal transportation theory and the theory of foliations; this book moves on to cover Wasserstein distance, Kantorovich Duality Theorem, and the metrization of the weak topology by the Wasserstein distance. Metric diffusion is defined, the topology of the metric space is studied and the limits of diffused metrics along compact foliations are discussed. Essentials on foliations, holonomy, heat diffusion, and compact foliations are detailed and vital technical lemmas are proved to aide understanding. Graduate students and researchers in geometry, topology and dynamics of foliations and laminations will find this supplement useful as it presents facts about the metric diffusion along non-compact foliation and provides a full description of the limit for metrics diffused along foliation with at least one compact leaf on the two dimensions.
On characterizations of quasi-metric completeness
Energy Technology Data Exchange (ETDEWEB)
Dag, H.; Romaguera, S.; Tirado, P.
2017-07-01
Hu proved in [4] that a metric space (X, d) is complete if and only if for any closed subspace C of (X, d), every Banach contraction on C has fixed point. Since then several authors have investigated the problem of characterizing the metric completeness by means of fixed point theorems. Recently this problem has been studied in the more general context of quasi-metric spaces for different notions of completeness. Here we present a characterization of a kind of completeness for quasi-metric spaces by means of a quasi-metric versions of Hu’s theorem. (Author)
Fermat's Last Theorem A Theorem at Last!
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 1; Issue 1. Fermat's Last Theorem A Theorem at Last! C S Yogananda. General Article Volume 1 Issue 1 January 1996 pp 71-79. Fulltext. Click here to view fulltext PDF. Permanent link: https://www.ias.ac.in/article/fulltext/reso/001/01/0071-0079 ...
1/4-pinched contact sphere theorem
DEFF Research Database (Denmark)
Ge, Jian; Huang, Yang
2016-01-01
Given a closed contact 3-manifold with a compatible Riemannian metric, we show that if the sectional curvature is 1/4-pinched, then the contact structure is universally tight. This result improves the Contact Sphere Theorem in [EKM12], where a 4/9-pinching constant was imposed. Some tightness...
Metric regularity and subdifferential calculus
International Nuclear Information System (INIS)
Ioffe, A D
2000-01-01
The theory of metric regularity is an extension of two classical results: the Lyusternik tangent space theorem and the Graves surjection theorem. Developments in non-smooth analysis in the 1980s and 1990s paved the way for a number of far-reaching extensions of these results. It was also well understood that the phenomena behind the results are of metric origin, not connected with any linear structure. At the same time it became clear that some basic hypotheses of the subdifferential calculus are closely connected with the metric regularity of certain set-valued maps. The survey is devoted to the metric theory of metric regularity and its connection with subdifferential calculus in Banach spaces
Levinson, N
1940-01-01
A typical gap theorem of the type discussed in the book deals with a set of exponential functions { \\{e^{{{i\\lambda}_n} x}\\} } on an interval of the real line and explores the conditions under which this set generates the entire L_2 space on this interval. A typical gap theorem deals with functions f on the real line such that many Fourier coefficients of f vanish. The main goal of this book is to investigate relations between density and gap theorems and to study various cases where these theorems hold. The author also shows that density- and gap-type theorems are related to various propertie
Birationally rigid varieties. I. Fano varieties
International Nuclear Information System (INIS)
Pukhlikov, A V
2007-01-01
The theory of birational rigidity of rationally connected varieties generalises the classical rationality problem. This paper gives a survey of the current state of this theory and traces its history from Noether's theorem and the Lueroth problem to the latest results on the birational superrigidity of higher-dimensional Fano varieties. The main components of the method of maximal singularities are considered.
Extremal surfaces and the rigidity of null geodesic incompleteness
International Nuclear Information System (INIS)
Silva, I P Costa e; Flores, J L
2015-01-01
An important, if relatively less well known aspect of the singularity theorems in Lorentzian geometry, is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified conclusion may arise, showing that those conclusions will fail only in special cases, at least some of which may be described. These are the so-called rigidity theorems, and have many important examples in the specialized literature. In this paper, we prove rigidity results for generalized plane waves and certain globally hyperbolic spacetimes in the presence of extremal compact surfaces. (paper)
g-Weak Contraction in Ordered Cone Rectangular Metric Spaces
Directory of Open Access Journals (Sweden)
S. K. Malhotra
2013-01-01
Full Text Available We prove some common fixed-point theorems for the ordered g-weak contractions in cone rectangular metric spaces without assuming the normality of cone. Our results generalize some recent results from cone metric and cone rectangular metric spaces into ordered cone rectangular metric spaces. Examples are provided which illustrate the results.
The uniqueness of the Fisher metric as information metric
Czech Academy of Sciences Publication Activity Database
Le, Hong-Van
2017-01-01
Roč. 69, č. 4 (2017), s. 879-896 ISSN 0020-3157 Institutional support: RVO:67985840 Keywords : Chentsov’s theorem * mixed topology * monotonicity of the Fisher metric Subject RIV: BA - General Mathematics OBOR OECD: Pure mathematics Impact factor: 1.049, year: 2016 https://link.springer.com/article/10.1007%2Fs10463-016-0562-0
Some Extensions of Banach's Contraction Principle in Complete Cone Metric Spaces
Directory of Open Access Journals (Sweden)
Raja P
2008-01-01
Full Text Available Abstract In this paper we consider complete cone metric spaces. We generalize some definitions such as -nonexpansive and -uniformly locally contractive functions -closure, -isometric in cone metric spaces, and certain fixed point theorems will be proved in those spaces. Among other results, we prove some interesting applications for the fixed point theorems in cone metric spaces.
Analytic convergence of harmonic metrics for parabolic Higgs bundles
Kim, Semin; Wilkin, Graeme
2018-04-01
In this paper we investigate the moduli space of parabolic Higgs bundles over a punctured Riemann surface with varying weights at the punctures. We show that the harmonic metric depends analytically on the weights and the stable Higgs bundle. This gives a Higgs bundle generalisation of a theorem of McOwen on the existence of hyperbolic cone metrics on a punctured surface within a given conformal class, and a generalisation of a theorem of Judge on the analytic parametrisation of these metrics.
Scalar-metric and scalar-metric-torsion gravitational theories
International Nuclear Information System (INIS)
Aldersley, S.J.
1977-01-01
The techniques of dimensional analysis and of the theory of tensorial concomitants are employed to study field equations in gravitational theories which incorporate scalar fields of the Brans-Dicke type. Within the context of scalar-metric gravitational theories, a uniqueness theorem for the geometric (or gravitational) part of the field equations is proven and a Lagrangian is determined which is uniquely specified by dimensional analysis. Within the context of scalar-metric-torsion gravitational theories a uniqueness theorem for field Lagrangians is presented and the corresponding Euler-Lagrange equations are given. Finally, an example of a scalar-metric-torsion theory is presented which is similar in many respects to the Brans-Dicke theory and the Einstein-Cartan theory
Type number and rigidity of fibred surfaces
International Nuclear Information System (INIS)
Markov, P E
2001-01-01
Infinitesimal l-th order bendings, 1≤l≤∞, of higher-dimensional surfaces are considered in higher-dimensional flat spaces (for l=∞ an infinitesimal bending is assumed to be an analytic bending). In terms of the Allendoerfer type number, criteria are established for the (r,l)-rigidity (in the terminology of Sabitov) of such surfaces. In particular, an (r,l)-infinitesimal analogue is proved of the classical theorem of Allendoerfer on the unbendability of surfaces with type number ≥3 and the class of (r,l)-rigid fibred surfaces is distinguished
The relativistic virial theorem
International Nuclear Information System (INIS)
Lucha, W.; Schoeberl, F.F.
1989-11-01
The relativistic generalization of the quantum-mechanical virial theorem is derived and used to clarify the connection between the nonrelativistic and (semi-)relativistic treatment of bound states. 12 refs. (Authors)
Wigner's Symmetry Representation Theorem
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 19; Issue 10. Wigner's Symmetry Representation Theorem: At the Heart of Quantum Field Theory! Aritra Kr Mukhopadhyay. General Article Volume 19 Issue 10 October 2014 pp 900-916 ...
Nonextensive Pythagoras' Theorem
Dukkipati, Ambedkar
2006-01-01
Kullback-Leibler relative-entropy, in cases involving distributions resulting from relative-entropy minimization, has a celebrated property reminiscent of squared Euclidean distance: it satisfies an analogue of the Pythagoras' theorem. And hence, this property is referred to as Pythagoras' theorem of relative-entropy minimization or triangle equality and plays a fundamental role in geometrical approaches of statistical estimation theory like information geometry. Equvalent of Pythagoras' theo...
Indian Academy of Sciences (India)
R. Narasimhan (Krishtel eMaging) 1461 1996 Oct 15 13:05:22
Abstract. The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose K is a compact set in the complex plane and 0 belongs to the boundary ∂K. Let A(K) denote the space of all functions f on K such that f is holo- morphic in a neighborhood of K and f(0) = 0. Also for any given positive integer ...
Complex proofs of real theorems
Lax, Peter D
2011-01-01
Complex Proofs of Real Theorems is an extended meditation on Hadamard's famous dictum, "The shortest and best way between two truths of the real domain often passes through the imaginary one." Directed at an audience acquainted with analysis at the first year graduate level, it aims at illustrating how complex variables can be used to provide quick and efficient proofs of a wide variety of important results in such areas of analysis as approximation theory, operator theory, harmonic analysis, and complex dynamics. Topics discussed include weighted approximation on the line, Müntz's theorem, Toeplitz operators, Beurling's theorem on the invariant spaces of the shift operator, prediction theory, the Riesz convexity theorem, the Paley-Wiener theorem, the Titchmarsh convolution theorem, the Gleason-Kahane-Żelazko theorem, and the Fatou-Julia-Baker theorem. The discussion begins with the world's shortest proof of the fundamental theorem of algebra and concludes with Newman's almost effortless proof of the prime ...
DEFF Research Database (Denmark)
Törnquist, Asger Dag; Weiss, W.
2009-01-01
We prove the following descriptive set-theoretic analogue of a theorem of R. 0. Davies: Every σ function f:ℝ × ℝ → ℝ can be represented as a sum of rectangular Σ functions if and only if all reals are constructible.......We prove the following descriptive set-theoretic analogue of a theorem of R. 0. Davies: Every σ function f:ℝ × ℝ → ℝ can be represented as a sum of rectangular Σ functions if and only if all reals are constructible....
Converse Barrier Certificate Theorem
DEFF Research Database (Denmark)
Wisniewski, Rafael; Sloth, Christoffer
2013-01-01
This paper presents a converse barrier certificate theorem for a generic dynamical system.We show that a barrier certificate exists for any safe dynamical system defined on a compact manifold. Other authors have developed a related result, by assuming that the dynamical system has no singular...... points in the considered subset of the state space. In this paper, we redefine the standard notion of safety to comply with generic dynamical systems with multiple singularities. Afterwards, we prove the converse barrier certificate theorem and illustrate the differences between ours and previous work...
The two-body problem of a pseudo-rigid body and a rigid sphere
DEFF Research Database (Denmark)
Kristiansen, Kristian Uldall; Vereshchagin, M.; Gózdziewski, K.
2012-01-01
n this paper we consider the two-body problem of a spherical pseudo-rigid body and a rigid sphere. Due to the rotational and "re-labelling" symmetries, the system is shown to possess conservation of angular momentum and circulation. We follow a reduction procedure similar to that undertaken...... in the study of the two-body problem of a rigid body and a sphere so that the computed reduced non-canonical Hamiltonian takes a similar form. We then consider relative equilibria and show that the notions of locally central and planar equilibria coincide. Finally, we show that Riemann's theorem on pseudo......-rigid bodies has an extension to this system for planar relative equilibria....
The Fluctuation Theorem and Dissipation Theorem for Poiseuille Flow
International Nuclear Information System (INIS)
Brookes, Sarah J; Reid, James C; Evans, Denis J; Searles, Debra J
2011-01-01
The fluctuation theorem and the dissipation theorem provide relationships to describe nonequilibrium systems arbitrarily far from, or close to equilibrium. They both rely on definition of a central property, the dissipation function. In this manuscript we apply these theorems to examine a boundary thermostatted system undergoing Poiseuille flow. The relationships are verified computationally and show that the dissipation theorem is potentially useful for study of boundary thermostatted systems consisting of complex molecules undergoing flow in the nonlinear regime.
Tripled Fixed Point in Ordered Multiplicative Metric Spaces
Directory of Open Access Journals (Sweden)
Laishram Shanjit
2017-06-01
Full Text Available In this paper, we present some triple fixed point theorems in partially ordered multiplicative metric spaces depended on another function. Our results generalise the results of [6] and [5].
New fixed and periodic point results on cone metric spaces
Directory of Open Access Journals (Sweden)
Ghasem Soleimani Rad
2014-05-01
Full Text Available In this paper, several xed point theorems for T-contraction of two maps on cone metric spaces under normality condition are proved. Obtained results extend and generalize well-known comparable results in the literature.
Fixed points for weak contractions in metric type spaces
Gaba, Yaé Ulrich
2014-01-01
In this article, we prove some fixed point theorems in metric type spaces. This article is just a generalization some results previously proved in \\cite{niyi-gaba}. In particular, we give some coupled common fixed points theorems under weak contractions. These results extend well known similar results existing in the literature.
Dalen, D. van
The following pages make form a new chapter for the book Logic and Structure. This chapter deals with the incompleteness theorem, and contains enough basic material for the treatment of the required notions of computability, representability and the like. This chapter will appear in the next
Indian Academy of Sciences (India)
eralizing the method of proof of the well known. Cantor's ... Godel's first incompleteness theorem is proved. ... that the number of elements in any finite set is a natural number. ..... proof also has a Godel number; of course, you have to fix.
Saikia, Manjil P.
2013-01-01
We give a brief historical overview of the famous Pythagoras' theorem and Pythagoras. We present a simple proof of the result and dicsuss some extensions. We follow \\cite{thales}, \\cite{wiki} and \\cite{wiki2} for the historical comments and sources.
Converse Barrier Certificate Theorems
DEFF Research Database (Denmark)
Wisniewski, Rafael; Sloth, Christoffer
2016-01-01
This paper shows that a barrier certificate exists for any safe dynamical system. Specifically, we prove converse barrier certificate theorems for a class of structurally stable dynamical systems. Other authors have developed a related result by assuming that the dynamical system has neither...
International Nuclear Information System (INIS)
Cahill, K.
1975-11-01
Local field theory is used to derive formulas that express certain boundary values of the N-point function as sums of products of scattering amplitudes. These formulas constitute a generalization of the optical theorem and facilitate the analysis of multiparticle scattering functions [fr
Applications of square-related theorems
Srinivasan, V. K.
2014-04-01
The square centre of a given square is the point of intersection of its two diagonals. When two squares of different side lengths share the same square centre, there are in general four diagonals that go through the same square centre. The Two Squares Theorem developed in this paper summarizes some nice theoretical conclusions that can be obtained when two squares of different side lengths share the same square centre. These results provide the theoretical basis for two of the constructions given in the book of H.S. Hall and F.H. Stevens , 'A Shorter School Geometry, Part 1, Metric Edition'. In page 134 of this book, the authors present, in exercise 4, a practical construction which leads to a verification of the Pythagorean theorem. Subsequently in Theorems 29 and 30, the authors present the standard proofs of the Pythagorean theorem and its converse. In page 140, the authors present, in exercise 15, what amounts to a geometric construction, whose verification involves a simple algebraic identity. Both the constructions are of great importance and can be replicated by using the standard equipment provided in a 'geometry toolbox' carried by students in high schools. The author hopes that the results proved in this paper, in conjunction with the two constructions from the above-mentioned book, would provide high school students an appreciation of the celebrated theorem of Pythagoras. The diagrams that accompany this document are based on the free software GeoGebra. The author formally acknowledges his indebtedness to the creators of this free software at the end of this document.
Metrical results on systems of small linear forms
DEFF Research Database (Denmark)
Hussain, M.; Kristensen, Simon
In this paper the metric theory of Diophantine approximation associated with the small linear forms is investigated. Khintchine--Groshev theorems are established along with Hausdorff measure generalization without the monotonic assumption on the approximating function.......In this paper the metric theory of Diophantine approximation associated with the small linear forms is investigated. Khintchine--Groshev theorems are established along with Hausdorff measure generalization without the monotonic assumption on the approximating function....
Virial theorem and hypervirial theorem in a spherical geometry
International Nuclear Information System (INIS)
Li Yan; Chen Jingling; Zhang Fulin
2011-01-01
The virial theorem in the one- and two-dimensional spherical geometry are presented in both classical and quantum mechanics. Choosing a special class of hypervirial operators, the quantum hypervirial relations in the spherical spaces are obtained. With the aid of the Hellmann-Feynman theorem, these relations can be used to formulate a perturbation theorem without wavefunctions, corresponding to the hypervirial-Hellmann-Feynman theorem perturbation theorem of Euclidean geometry. The one-dimensional harmonic oscillator and two-dimensional Coulomb system in the spherical spaces are given as two sample examples to illustrate the perturbation method. (paper)
Discovering the Theorem of Pythagoras
Lattanzio, Robert (Editor)
1988-01-01
In this 'Project Mathematics! series, sponsored by the California Institute of Technology, Pythagoraus' theorem a(exp 2) + b(exp 2) = c(exp 2) is discussed and the history behind this theorem is explained. hrough live film footage and computer animation, applications in real life are presented and the significance of and uses for this theorem are put into practice.
Flat deformation theorem and symmetries in spacetime
International Nuclear Information System (INIS)
Llosa, Josep; Carot, Jaume
2009-01-01
The flat deformation theorem states that given a semi-Riemannian analytic metric g on a manifold, locally there always exists a two-form F, a scalar function c, and an arbitrarily prescribed scalar constraint depending on the point x of the manifold and on F and c, say Ψ(c, F, x) = 0, such that the deformed metric η = cg - εF 2 is semi-Riemannian and flat. In this paper we first show that the above result implies that every (Lorentzian analytic) metric g may be written in the extended Kerr-Schild form, namely η ab := ag ab - 2bk (a l b) where η is flat and k a , l a are two null covectors such that k a l a = -1; next we show how the symmetries of g are connected to those of η, more precisely; we show that if the original metric g admits a conformal Killing vector (including Killing vectors and homotheties), then the deformation may be carried out in a way such that the flat deformed metric η 'inherits' that symmetry.
APPLICATION OF RIGID LINKS IN STRUCTURAL DESIGN MODELS
Directory of Open Access Journals (Sweden)
Sergey Yu. Fialko
2017-09-01
Full Text Available A special finite element modelling rigid links is proposed for the linear static and buckling analysis. Unlike the classical approach based on the theorems of rigid body kinematics, the proposed approach preserves the similarity between the adjacency graph for a sparse matrix and the adjacency graph for nodes of the finite element model, which allows applying sparse direct solvers more effectively. Besides, the proposed approach allows significantly reducing the number of nonzero entries in the factored stiffness matrix in comparison with the classical one, which greatly reduces the duration of the solution. For buckling problems of structures containing rigid bodies, this approach gives correct results. Several examples demonstrate its efficiency.
Hu, Bo; Kalfoglou, Yannis; Dupplaw, David; Alani, Harith; Lewis, Paul; Shadbolt, Nigel
2006-01-01
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can be boiled down to one fundamental operation: computing the similarity and/or dissimilarity among ontological entities, and in some cases among ontologies themselves. In this paper, we review standard metrics for computing distance measures and we propose a series of semantic metrics. We give a formal account of semantic metrics drawn from a...
International Nuclear Information System (INIS)
Veltman, H.
1990-01-01
The equivalence theorem states that, at an energy E much larger than the vector-boson mass M, the leading order of the amplitude with longitudinally polarized vector bosons on mass shell is given by the amplitude in which these vector bosons are replaced by the corresponding Higgs ghosts. We prove the equivalence theorem and show its validity in every order in perturbation theory. We first derive the renormalized Ward identities by using the diagrammatic method. Only the Feynman-- 't Hooft gauge is discussed. The last step of the proof includes the power-counting method evaluated in the large-Higgs-boson-mass limit, needed to estimate the leading energy behavior of the amplitudes involved. We derive expressions for the amplitudes involving longitudinally polarized vector bosons for all orders in perturbation theory. The fermion mass has not been neglected and everything is evaluated in the region m f ∼M much-lt E much-lt m Higgs
Fully Quantum Fluctuation Theorems
Åberg, Johan
2018-02-01
Systems that are driven out of thermal equilibrium typically dissipate random quantities of energy on microscopic scales. Crooks fluctuation theorem relates the distribution of these random work costs to the corresponding distribution for the reverse process. By an analysis that explicitly incorporates the energy reservoir that donates the energy and the control system that implements the dynamic, we obtain a quantum generalization of Crooks theorem that not only includes the energy changes in the reservoir but also the full description of its evolution, including coherences. Moreover, this approach opens up the possibility for generalizations of the concept of fluctuation relations. Here, we introduce "conditional" fluctuation relations that are applicable to nonequilibrium systems, as well as approximate fluctuation relations that allow for the analysis of autonomous evolution generated by global time-independent Hamiltonians. We furthermore extend these notions to Markovian master equations, implicitly modeling the influence of the heat bath.
Multivariable Chinese Remainder Theorem
Indian Academy of Sciences (India)
IAS Admin
to sleep. The 3rd thief wakes up and finds the rest of the coins make 7 equal piles excepting a coin which he pockets. If the total number of coins they stole is not more than 200, what is the exact number? With a bit of hit and miss, one can find that 157 is a possible number. The Chinese remainder theorem gives a systematic ...
Calabi–Yau metrics and string compactification
Directory of Open Access Journals (Sweden)
Michael R. Douglas
2015-09-01
Full Text Available Yau proved an existence theorem for Ricci-flat Kähler metrics in the 1970s, but we still have no closed form expressions for them. Nevertheless there are several ways to get approximate expressions, both numerical and analytical. We survey some of this work and explain how it can be used to obtain physical predictions from superstring theory.
Croitoru, Anca; Apreutesei, Gabriela; Mastorakis, Nikos E.
2017-09-01
The subject of this paper belongs to the theory of approximate metrics [23]. An approximate metric on X is a real application defined on X × X that satisfies only a part of the metric axioms. In a recent paper [23], we introduced a new type of approximate metric, named C-metric, that is an application which satisfies only two metric axioms: symmetry and triangular inequality. The remarkable fact in a C-metric space is that a topological structure induced by the C-metric can be defined. The innovative idea of this paper is that we obtain some convergence properties of a C-metric space in the absence of a metric. In this paper we investigate C-metric spaces. The paper is divided into four sections. Section 1 is for Introduction. In Section 2 we recall some concepts and preliminary results. In Section 3 we present some properties of C-metric spaces, such as convergence properties, a canonical decomposition and a C-fixed point theorem. Finally, in Section 4 some conclusions are highlighted.
International Nuclear Information System (INIS)
Lloyd, Mark Anthony
1999-01-01
We in the nuclear power industry consider ourselves to be at the forefront of civilised progress. Yet, all too often, even we ourselves don't believe our public relations statements about nuclear power. Why is this? Let us approach the question by considering Godel's Theorem. Godel's Theorem is extremely complicated mathematically, but for our purposes can be simplified to the maxim that one cannot validate a system from within that system. Scientists, especially those in the fields of astronomy and nuclear physics, have long realised the implications of Godel's Theorem. The people to whom we must communicate look to us, who officially know everything about our industry, to comfort and reassure them. And we forget that we can only comfort them by addressing their emotional needs, not by demonstrating our chilling o bjectivity . Let us try something completely new in communication. Instead of looking for incremental rules which will help us marginally differentiate the way we communicate about minor or major incidents, let us leapfrog across 'objectivity' to meaning and relevance. If we truly believe that nuclear energy is a good thing, this leap should not be difficult. Finally, if we as communicators are not prepared to be meaningful and relevant - not prepared to leapfrog beyond weasel terms like 'minor incident' - what does that say about the kinds of people we believe the nuclear community to be? Are nuclear people a group apart, divisible from the rest of the human race by their evil? In fact the nuclear community is a living, laughing, normal part of a whole society; and is moreover a good contributor to the technological progress that society demands. When we ourselves recognise this, we will start to communicate nuclear issues in the same language as the rest of society. We will start to speak plainly and convincingly, and our conviction will leapfrog our audience into being able to believe us
Topological interpretation of Luttinger theorem
Seki, Kazuhiro; Yunoki, Seiji
2017-01-01
Based solely on the analytical properties of the single-particle Green's function of fermions at finite temperatures, we show that the generalized Luttinger theorem inherently possesses topological aspects. The topological interpretation of the generalized Luttinger theorem can be introduced because i) the Luttinger volume is represented as the winding number of the single-particle Green's function and thus ii) the deviation of the theorem, expressed with a ratio between the interacting and n...
Presic-Boyd-Wong Type Results in Ordered Metric Spaces
Directory of Open Access Journals (Sweden)
Satish Shukla
2014-04-01
Full Text Available The purpose of this paper is to prove some Presic-Boyd-Wong type fixed point theorems in ordered metric spaces. The results of this paper generalize the famous results of Presic and Boyd-Wong in ordered metric spaces. We also initiate the homotopy result in product spaces. Some examples are provided which illustrate the results proved herein.
Bertrand's theorem and virial theorem in fractional classical mechanics
Yu, Rui-Yan; Wang, Towe
2017-09-01
Fractional classical mechanics is the classical counterpart of fractional quantum mechanics. The central force problem in this theory is investigated. Bertrand's theorem is generalized, and virial theorem is revisited, both in three spatial dimensions. In order to produce stable, closed, non-circular orbits, the inverse-square law and the Hooke's law should be modified in fractional classical mechanics.
On the Chern-Gauss-Bonnet theorem for the noncommutative 4-sphere
Arnlind, Joakim; Wilson, Mitsuru
2017-01-01
We construct a differential calculus over the noncommutative 4-sphere in the framework of pseudo-Riemannian calculi, and show that for every metric in a conformal class of perturbations of the round metric, there exists a unique metric and torsion-free connection. Furthermore, we find a localization of the projective module corresponding to the space of vector fields, which allows us to formulate a Chern-Gauss-Bonnet type theorem for the noncommutative 4-sphere.
Zamolodchikov's c-theorem and string effective actions
International Nuclear Information System (INIS)
Mavromatos, N.E.; Miramontes, J.L.
1988-01-01
Zamolodchikov's c-theorem for 2D renormalisable field theories is presented in a way which allows for a straightforward application to the case of bosonic σ-models. As a consistency check in the latter case, the Curci-Paffuti relation is rederived. It is also shown that the 'metric' in coupling constant space in this case is a c-number function of the backgrounds. Attempts to derive off-shell functional relations between the Weyl anomaly coefficients and field variations of string effective actions, compatible with the c-theorem, are discussed by emphasising the necessity of performing explicit perturbative calculations in order to arrive at definite conclusions. Comments concerning the extension of the c-theorem to the case of supersymmetric and heterotic σ-models are also made. (orig.)
The Non-Signalling theorem in generalizations of Bell's theorem
Walleczek, J.; Grössing, G.
2014-04-01
Does "epistemic non-signalling" ensure the peaceful coexistence of special relativity and quantum nonlocality? The possibility of an affirmative answer is of great importance to deterministic approaches to quantum mechanics given recent developments towards generalizations of Bell's theorem. By generalizations of Bell's theorem we here mean efforts that seek to demonstrate the impossibility of any deterministic theories to obey the predictions of Bell's theorem, including not only local hidden-variables theories (LHVTs) but, critically, of nonlocal hidden-variables theories (NHVTs) also, such as de Broglie-Bohm theory. Naturally, in light of the well-established experimental findings from quantum physics, whether or not a deterministic approach to quantum mechanics, including an emergent quantum mechanics, is logically possible, depends on compatibility with the predictions of Bell's theorem. With respect to deterministic NHVTs, recent attempts to generalize Bell's theorem have claimed the impossibility of any such approaches to quantum mechanics. The present work offers arguments showing why such efforts towards generalization may fall short of their stated goal. In particular, we challenge the validity of the use of the non-signalling theorem as a conclusive argument in favor of the existence of free randomness, and therefore reject the use of the non-signalling theorem as an argument against the logical possibility of deterministic approaches. We here offer two distinct counter-arguments in support of the possibility of deterministic NHVTs: one argument exposes the circularity of the reasoning which is employed in recent claims, and a second argument is based on the inconclusive metaphysical status of the non-signalling theorem itself. We proceed by presenting an entirely informal treatment of key physical and metaphysical assumptions, and of their interrelationship, in attempts seeking to generalize Bell's theorem on the basis of an ontic, foundational
Directory of Open Access Journals (Sweden)
Coghetto Roland
2015-06-01
Full Text Available Morley’s trisector theorem states that “The points of intersection of the adjacent trisectors of the angles of any triangle are the vertices of an equilateral triangle” [10]. There are many proofs of Morley’s trisector theorem [12, 16, 9, 13, 8, 20, 3, 18]. We follow the proof given by A. Letac in [15].
Geometry of the Adiabatic Theorem
Lobo, Augusto Cesar; Ribeiro, Rafael Antunes; Ribeiro, Clyffe de Assis; Dieguez, Pedro Ruas
2012-01-01
We present a simple and pedagogical derivation of the quantum adiabatic theorem for two-level systems (a single qubit) based on geometrical structures of quantum mechanics developed by Anandan and Aharonov, among others. We have chosen to use only the minimum geometric structure needed for the understanding of the adiabatic theorem for this case.…
Graph-like continua, augmenting arcs, and Menger's theorem
DEFF Research Database (Denmark)
Thomassen, Carsten; Vella, Antoine
2008-01-01
We show that an adaptation of the augmenting path method for graphs proves Menger's Theorem for wide classes of topological spaces. For example, it holds for locally compact, locally connected, metric spaces, as already known. The method lends itself particularly well to another class of spaces......, connected graph. While closed subsets of such a space behave nicely in that they are compact and locally connected (and therefore locally arcwise connected), the general subspaces do not: They may be connected without being arcwise connected. Nevertheless, they satisfy Menger's Theorem......., namely the locally arcwise connected, hereditarily locally connected, metric spaces. Finally, it applies to every space where every point can be separated from every closed set not containing it by a finite set, in particular to every subspace of the Freudenthal compactification of a locally finite...
Quantum mechanics of a generalised rigid body
International Nuclear Information System (INIS)
Gripaios, Ben; Sutherland, Dave
2016-01-01
We consider the quantum version of Arnold’s generalisation of a rigid body in classical mechanics. Thus, we quantise the motion on an arbitrary Lie group manifold of a particle whose classical trajectories correspond to the geodesics of any one-sided-invariant metric. We show how the derivation of the spectrum of energy eigenstates can be simplified by making use of automorphisms of the Lie algebra and (for groups of type I) by methods of harmonic analysis. We show how the method can be extended to cosets, generalising the linear rigid rotor. As examples, we consider all connected and simply connected Lie groups up to dimension 3. This includes the universal cover of the archetypical rigid body, along with a number of new exactly solvable models. We also discuss a possible application to the topical problem of quantising a perfect fluid. (paper)
A Decomposition Theorem for Finite Automata.
Santa Coloma, Teresa L.; Tucci, Ralph P.
1990-01-01
Described is automata theory which is a branch of theoretical computer science. A decomposition theorem is presented that is easier than the Krohn-Rhodes theorem. Included are the definitions, the theorem, and a proof. (KR)
Bellet, Aurelien; Sebban, Marc
2015-01-01
Similarity between objects plays an important role in both human cognitive processes and artificial systems for recognition and categorization. How to appropriately measure such similarities for a given task is crucial to the performance of many machine learning, pattern recognition and data mining methods. This book is devoted to metric learning, a set of techniques to automatically learn similarity and distance functions from data that has attracted a lot of interest in machine learning and related fields in the past ten years. In this book, we provide a thorough review of the metric learnin
A no-hair theorem for black holes in f(R) gravity
Cañate, Pedro
2018-01-01
In this work we present a no-hair theorem which discards the existence of four-dimensional asymptotically flat, static and spherically symmetric or stationary axisymmetric, non-trivial black holes in the frame of f(R) gravity under metric formalism. Here we show that our no-hair theorem also can discard asymptotic de Sitter stationary and axisymmetric non-trivial black holes. The novelty is that this no-hair theorem is built without resorting to known mapping between f(R) gravity and scalar–tensor theory. Thus, an advantage will be that our no-hair theorem applies as well to metric f(R) models that cannot be mapped to scalar–tensor theory.
Differential geometry bundles, connections, metrics and curvature
Taubes, Clifford Henry
2011-01-01
Bundles, connections, metrics and curvature are the 'lingua franca' of modern differential geometry and theoretical physics. This book will supply a graduate student in mathematics or theoretical physics with the fundamentals of these objects. Many of the tools used in differential topology are introduced and the basic results about differentiable manifolds, smooth maps, differential forms, vector fields, Lie groups, and Grassmanians are all presented here. Other material covered includes the basic theorems about geodesics and Jacobi fields, the classification theorem for flat connections, the
Smorynski, Craig
2017-01-01
This book is about the rise and supposed fall of the mean value theorem. It discusses the evolution of the theorem and the concepts behind it, how the theorem relates to other fundamental results in calculus, and modern re-evaluations of its role in the standard calculus course. The mean value theorem is one of the central results of calculus. It was called “the fundamental theorem of the differential calculus” because of its power to provide simple and rigorous proofs of basic results encountered in a first-year course in calculus. In mathematical terms, the book is a thorough treatment of this theorem and some related results in the field; in historical terms, it is not a history of calculus or mathematics, but a case study in both. MVT: A Most Valuable Theorem is aimed at those who teach calculus, especially those setting out to do so for the first time. It is also accessible to anyone who has finished the first semester of the standard course in the subject and will be of interest to undergraduate mat...
Guney, Veli Ugur
In this work we look for novel classes of Bell's inequalities and methods to produce them. We also find their quantum violations including, if possible, the maximum one. The Jordan bases method that we explain in Chapter 2 is about using a pair of certain type of orthonormal bases whose spans are subspaces related to measurement outcomes of incompatible quantities on the same physical system. Jordan vectors are the briefest way of expressing the relative orientation of any two subspaces. This feature helps us to reduce the dimensionality of the parameter space on which we do searches for optimization. The work is published in [24]. In Chapter 3, we attempt to find a connection between group theory and Bell's theorem. We devise a way of generating terms of a Bell's inequality that are related to elements of an algebraic group. The same group generates both the terms of the Bell's inequality and the observables that are used to calculate the quantum value of the Bell expression. Our results are published in [25][26]. In brief, Bell's theorem is the main tool of a research program that was started by Einstein, Podolsky, Rosen [19] and Bohr [8] in the early days of quantum mechanics in their discussions about the core nature of physical systems. These debates were about a novel type of physical states called superposition states, which are introduced by quantum mechanics and manifested in the apparent inevitable randomness in measurement outcomes of identically prepared systems. Bell's huge contribution was to find a means of quantifying the problem and hence of opening the way to experimental verification by rephrasing the questions as limits on certain combinations of correlations between measurement results of spatially separate systems [7]. Thanks to Bell, the fundamental questions related to the nature of quantum mechanical systems became quantifiable [6]. According to Bell's theorem, some correlations between quantum entangled systems that involve incompatible
On the mass of static metrics with positive cosmological constant: I
Borghini, Stefano; Mazzieri, Lorenzo
2018-06-01
In this paper we prove a new uniqueness result for the de Sitter solution. Our theorem is based on a new notion of mass, whose well-posedness is discussed and established in the realm of static spacetimes with positive cosmological constant that are bounded by Killing horizons. This new definition is formulated in terms of the surface gravities of the Killing horizons and agrees with the usual notion when the Schwarzschild–de Sitter solutions are considered. A positive mass statement is also shown to hold in this context. The corresponding rigidity statement coincides with the above mentioned characterization of the de Sitter solution as the only static vacuum metric with zero mass. Finally, exploiting some particular features of our formalism, we show how the same analysis can be fruitfully employed to treat the case of negative cosmological constant, leading to a new uniqueness theorem for the anti-de Sitter spacetime, which holds under a very feeble assumption on the asymptotic behavior of the solution.
Rigidity of complete noncompact bach-flat n-manifolds
Chu, Yawei; Feng, Pinghua
2012-11-01
Let (Mn,g) be a complete noncompact Bach-flat n-manifold with the positive Yamabe constant and constant scalar curvature. Assume that the L2-norm of the trace-free Riemannian curvature tensor R∘m is finite. In this paper, we prove that (Mn,g) is a constant curvature space if the L-norm of R∘m is sufficiently small. Moreover, we get a gap theorem for (Mn,g) with positive scalar curvature. This can be viewed as a generalization of our earlier results of 4-dimensional Bach-flat manifolds with constant scalar curvature R≥0 [Y.W. Chu, A rigidity theorem for complete noncompact Bach-flat manifolds, J. Geom. Phys. 61 (2011) 516-521]. Furthermore, when n>9, we derive a rigidity result for R<0.
Strong versions of Bell's theorem
International Nuclear Information System (INIS)
Stapp, H.P.
1994-01-01
Technical aspects of a recently constructed strong version of Bell's theorem are discussed. The theorem assumes neither hidden variables nor factorization, and neither determinism nor counterfactual definiteness. It deals directly with logical connections. Hence its relationship with modal logic needs to be described. It is shown that the proof can be embedded in an orthodox modal logic, and hence its compatibility with modal logic assured, but that this embedding weakens the theorem by introducing as added assumptions the conventionalities of the particular modal logic that is adopted. This weakening is avoided in the recent proof by using directly the set-theoretic conditions entailed by the locality assumption
Green's theorem and Gorenstein sequences
Ahn, Jeaman; Migliore, Juan C.; Shin, Yong-Su
2016-01-01
We study consequences, for a standard graded algebra, of extremal behavior in Green's Hyperplane Restriction Theorem. First, we extend his Theorem 4 from the case of a plane curve to the case of a hypersurface in a linear space. Second, assuming a certain Lefschetz condition, we give a connection to extremal behavior in Macaulay's theorem. We apply these results to show that $(1,19,17,19,1)$ is not a Gorenstein sequence, and as a result we classify the sequences of the form $(1,a,a-2,a,1)$ th...
-Dimensional Fractional Lagrange's Inversion Theorem
Directory of Open Access Journals (Sweden)
F. A. Abd El-Salam
2013-01-01
Full Text Available Using Riemann-Liouville fractional differential operator, a fractional extension of the Lagrange inversion theorem and related formulas are developed. The required basic definitions, lemmas, and theorems in the fractional calculus are presented. A fractional form of Lagrange's expansion for one implicitly defined independent variable is obtained. Then, a fractional version of Lagrange's expansion in more than one unknown function is generalized. For extending the treatment in higher dimensions, some relevant vectors and tensors definitions and notations are presented. A fractional Taylor expansion of a function of -dimensional polyadics is derived. A fractional -dimensional Lagrange inversion theorem is proved.
Complex integration and Cauchy's theorem
Watson, GN
2012-01-01
This brief monograph by one of the great mathematicians of the early twentieth century offers a single-volume compilation of propositions employed in proofs of Cauchy's theorem. Developing an arithmetical basis that avoids geometrical intuitions, Watson also provides a brief account of the various applications of the theorem to the evaluation of definite integrals.Author G. N. Watson begins by reviewing various propositions of Poincaré's Analysis Situs, upon which proof of the theorem's most general form depends. Subsequent chapters examine the calculus of residues, calculus optimization, the
The Levy sections theorem revisited
International Nuclear Information System (INIS)
Figueiredo, Annibal; Gleria, Iram; Matsushita, Raul; Silva, Sergio Da
2007-01-01
This paper revisits the Levy sections theorem. We extend the scope of the theorem to time series and apply it to historical daily returns of selected dollar exchange rates. The elevated kurtosis usually observed in such series is then explained by their volatility patterns. And the duration of exchange rate pegs explains the extra elevated kurtosis in the exchange rates of emerging markets. In the end, our extension of the theorem provides an approach that is simpler than the more common explicit modelling of fat tails and dependence. Our main purpose is to build up a technique based on the sections that allows one to artificially remove the fat tails and dependence present in a data set. By analysing data through the lenses of the Levy sections theorem one can find common patterns in otherwise very different data sets
Ortiz, Guillermo P.; Mochán, W. Luis
2018-02-01
Keller’s theorem relates the components of the macroscopic dielectric response of a binary two-dimensional composite system with those of the reciprocal system obtained by interchanging its components. We present a derivation of the theorem that, unlike previous ones, does not employ the common assumption that the response function relates an irrotational to a solenoidal field and that is valid for dispersive and dissipative anisotropic systems. We show that the usual statement of Keller’s theorem in terms of the conductivity is strictly valid only at zero frequency and we obtain a new generalization for finite frequencies. We develop applications of the theorem to the study of the optical properties of systems such as superlattices, 2D isotropic and anisotropic metamaterials and random media, to test the accuracy of theories and computational schemes, and to increase the accuracy of approximate calculations.
The Levy sections theorem revisited
Figueiredo, Annibal; Gleria, Iram; Matsushita, Raul; Da Silva, Sergio
2007-06-01
This paper revisits the Levy sections theorem. We extend the scope of the theorem to time series and apply it to historical daily returns of selected dollar exchange rates. The elevated kurtosis usually observed in such series is then explained by their volatility patterns. And the duration of exchange rate pegs explains the extra elevated kurtosis in the exchange rates of emerging markets. In the end, our extension of the theorem provides an approach that is simpler than the more common explicit modelling of fat tails and dependence. Our main purpose is to build up a technique based on the sections that allows one to artificially remove the fat tails and dependence present in a data set. By analysing data through the lenses of the Levy sections theorem one can find common patterns in otherwise very different data sets.
Adiabatic theorem and spectral concentration
International Nuclear Information System (INIS)
Nenciu, G.
1981-01-01
The spectral concentration of arbitrary order, for the Stark effect is proved to exist for a large class of Hamiltonians appearing in nonrelativistic and relativistic quantum mechanics. The results are consequences of an abstract theorem about the spectral concentration for self-ad oint operators. A general form of the adiabatic theorem of quantum mechanics, generalizing an earlier result of the author as well as some results of Lenard, is also proved [ru
International Nuclear Information System (INIS)
Harper, A.F.A.; Digby, R.B.; Thong, S.P.; Lacey, F.
1978-04-01
In April 1978 a meeting of senior metrication officers convened by the Commonwealth Science Council of the Commonwealth Secretariat, was held in London. The participants were drawn from Australia, Bangladesh, Britain, Canada, Ghana, Guyana, India, Jamaica, Papua New Guinea, Solomon Islands and Trinidad and Tobago. Among other things, the meeting resolved to develop a set of guidelines to assist countries to change to SI and to compile such guidelines in the form of a working manual
Generalized Dandelin’s Theorem
Kheyfets, A. L.
2017-11-01
The paper gives a geometric proof of the theorem which states that in case of the plane section of a second-order surface of rotation (quadrics of rotation, QR), such conics as an ellipse, a hyperbola or a parabola (types of conic sections) are formed. The theorem supplements the well-known Dandelin’s theorem which gives the geometric proof only for a circular cone and applies the proof to all QR, namely an ellipsoid, a hyperboloid, a paraboloid and a cylinder. That’s why the considered theorem is known as the generalized Dandelin’s theorem (GDT). The GDT proof is based on a relatively unknown generalized directrix definition (GDD) of conics. The work outlines the GDD proof for all types of conics as their necessary and sufficient condition. Based on the GDD, the author proves the GDT for all QR in case of a random position of the cutting plane. The graphical stereometric structures necessary for the proof are given. The implementation of the structures by 3d computer methods is considered. The article shows the examples of the builds made in the AutoCAD package. The theorem is intended for the training course of theoretical training of elite student groups of architectural and construction specialties.
The Second Noether Theorem on Time Scales
Directory of Open Access Journals (Sweden)
Agnieszka B. Malinowska
2013-01-01
Full Text Available We extend the second Noether theorem to variational problems on time scales. As corollaries we obtain the classical second Noether theorem, the second Noether theorem for the h-calculus and the second Noether theorem for the q-calculus.
Factor and Remainder Theorems: An Appreciation
Weiss, Michael
2016-01-01
The high school curriculum sometimes seems like a disconnected collection of topics and techniques. Theorems like the factor theorem and the remainder theorem can play an important role as a conceptual "glue" that holds the curriculum together. These two theorems establish the connection between the factors of a polynomial, the solutions…
Tile-based rigidization surface parametric design study
Giner Munoz, Laura; Luntz, Jonathan; Brei, Diann; Kim, Wonhee
2018-03-01
Inflatable technologies have proven useful in consumer goods as well as in more recent applications including civil structures, aerospace, medical, and robotics. However, inflatable technologies are typically lacking in their ability to provide rigid structural support. Particle jamming improves upon this by providing structures which are normally flexible and moldable but become rigid when air is removed. Because these are based on an airtight bladder filled with loose particles, they always occupy the full volume of its rigid state, even when not rigidized. More recent developments in layer jamming have created thin, compact rigidizing surfaces replacing the loose volume of particles with thinly layered surface materials. Work in this area has been applied to several specific applications with positive results but have not generally provided the broader understanding of the rigidization performance as a function of design parameters required for directly adapting layer rigidization technology to other applications. This paper presents a parametric design study of a new layer jamming vacuum rigidization architecture: tile-based vacuum rigidization. This form of rigidization is based on layers of tiles contained within a thin vacuum bladder which can be bent, rolled, or otherwise compactly stowed, but when deployed flat, can be vacuumed and form a large, flat, rigid plate capable of supporting large forces both localized and distributed over the surface. The general architecture and operation detailing rigidization and compliance mechanisms is introduced. To quantitatively characterize the rigidization behavior, prototypes rigidization surfaces are fabricated and an experimental technique is developed based on a 3-point bending test. Performance evaluation metrics are developed to describe the stiffness, load-bearing capacity, and internal slippage of tested prototypes. A set of experimental parametric studies are performed to better understand the impact of
Some Fixed Point Results for Caristi Type Mappings in Modular Metric Spaces with an Application
Directory of Open Access Journals (Sweden)
Duran Turkoglu
2016-08-01
Full Text Available In this paper we give Caristi type fixed point theorem in complete modular metric spaces. Moreover we give a theorem which can be derived from Caristi type. Also an application for the bounded solution of funcional equations is investigated.
Metric inhomogeneous Diophantine approximation in positive characteristic
DEFF Research Database (Denmark)
Kristensen, Simon
2011-01-01
We obtain asymptotic formulae for the number of solutions to systems of inhomogeneous linear Diophantine inequalities over the field of formal Laurent series with coefficients from a finite fields, which are valid for almost every such system. Here `almost every' is with respect to Haar measure...... of the coefficients of the homogeneous part when the number of variables is at least two (singly metric case), and with respect to the Haar measure of all coefficients for any number of variables (doubly metric case). As consequences, we derive zero-one laws in the spirit of the Khintchine-Groshev Theorem and zero...
Metric inhomogeneous Diophantine approximation in positive characteristic
DEFF Research Database (Denmark)
Kristensen, S.
We obtain asymptotic formulae for the number of solutions to systems of inhomogeneous linear Diophantine inequalities over the field of formal Laurent series with coefficients from a finite fields, which are valid for almost every such system. Here 'almost every' is with respect to Haar measure...... of the coefficients of the homogeneous part when the number of variables is at least two (singly metric case), and with respect to the Haar measure of all coefficients for any number of variables (doubly metric case). As consequences, we derive zero-one laws in the spirit of the Khintchine--Groshev Theorem and zero...
Weiss, Asia; Whiteley, Walter
2014-01-01
This book contains recent contributions to the fields of rigidity and symmetry with two primary focuses: to present the mathematically rigorous treatment of rigidity of structures, and to explore the interaction of geometry, algebra, and combinatorics. Overall, the book shows how researchers from diverse backgrounds explore connections among the various discrete structures with symmetry as the unifying theme. Contributions present recent trends and advances in discrete geometry, particularly in the theory of polytopes. The rapid development of abstract polytope theory has resulted in a rich theory featuring an attractive interplay of methods and tools from discrete geometry, group theory, classical geometry, hyperbolic geometry and topology. The volume will also be a valuable source as an introduction to the ideas of both combinatorial and geometric rigidity theory and its applications, incorporating the surprising impact of symmetry. It will appeal to students at both the advanced undergraduate and gradu...
Pukhlikov, Aleksandr
2013-01-01
Birational rigidity is a striking and mysterious phenomenon in higher-dimensional algebraic geometry. It turns out that certain natural families of algebraic varieties (for example, three-dimensional quartics) belong to the same classification type as the projective space but have radically different birational geometric properties. In particular, they admit no non-trivial birational self-maps and cannot be fibred into rational varieties by a rational map. The origins of the theory of birational rigidity are in the work of Max Noether and Fano; however, it was only in 1970 that Iskovskikh and Manin proved birational superrigidity of quartic three-folds. This book gives a systematic exposition of, and a comprehensive introduction to, the theory of birational rigidity, presenting in a uniform way, ideas, techniques, and results that so far could only be found in journal papers. The recent rapid progress in birational geometry and the widening interaction with the neighboring areas generate the growing interest ...
Fixed point theory in metric type spaces
Agarwal, Ravi P; O’Regan, Donal; Roldán-López-de-Hierro, Antonio Francisco
2015-01-01
Written by a team of leading experts in the field, this volume presents a self-contained account of the theory, techniques and results in metric type spaces (in particular in G-metric spaces); that is, the text approaches this important area of fixed point analysis beginning from the basic ideas of metric space topology. The text is structured so that it leads the reader from preliminaries and historical notes on metric spaces (in particular G-metric spaces) and on mappings, to Banach type contraction theorems in metric type spaces, fixed point theory in partially ordered G-metric spaces, fixed point theory for expansive mappings in metric type spaces, generalizations, present results and techniques in a very general abstract setting and framework. Fixed point theory is one of the major research areas in nonlinear analysis. This is partly due to the fact that in many real world problems fixed point theory is the basic mathematical tool used to establish the existence of solutions to problems which arise natur...
Preservation theorems on finite structures
International Nuclear Information System (INIS)
Hebert, M.
1994-09-01
This paper concerns classical Preservation results applied to finite structures. We consider binary relations for which a strong form of preservation theorem (called strong interpolation) exists in the usual case. This includes most classical cases: embeddings, extensions, homomorphisms into and onto, sandwiches, etc. We establish necessary and sufficient syntactic conditions for the preservation theorems for sentences and for theories to hold in the restricted context of finite structures. We deduce that for all relations above, the restricted theorem for theories hold provided the language is finite. For the sentences the restricted version fails in most cases; in fact the ''homomorphism into'' case seems to be the only possible one, but the efforts to show that have failed. We hope our results may help to solve this frustrating problem; in the meantime, they are used to put a lower bound on the level of complexity of potential counterexamples. (author). 8 refs
Houston, Louis M.
2012-01-01
Sign data are the signs of signal added to noise. It is well known that a constant signal can be recovered from sign data. In this paper, we show that an integral over variant signal can be recovered from an integral over sign data based on the variant signal. We refer to this as a generalized sign data average. We use this result to derive a Green's theorem for sign data. Green's theorem is important to various seismic processing methods, including seismic migration. Results in this paper ge...
Scale symmetry and virial theorem
International Nuclear Information System (INIS)
Westenholz, C. von
1978-01-01
Scale symmetry (or dilatation invariance) is discussed in terms of Noether's Theorem expressed in terms of a symmetry group action on phase space endowed with a symplectic structure. The conventional conceptual approach expressing invariance of some Hamiltonian under scale transformations is re-expressed in alternate form by infinitesimal automorphisms of the given symplectic structure. That is, the vector field representing scale transformations leaves the symplectic structure invariant. In this model, the conserved quantity or constant of motion related to scale symmetry is the virial. It is shown that the conventional virial theorem can be derived within this framework
Nonperturbative Adler-Bardeen theorem
International Nuclear Information System (INIS)
Mastropietro, Vieri
2007-01-01
The Adler-Bardeen theorem has been proven only as a statement valid at all orders in perturbation theory, without any control on the convergence of the series. In this paper we prove a nonperturbative version of the Adler-Bardeen theorem in d=2 by using recently developed technical tools in the theory of Grassmann integration. The proof is based on the assumption that the boson propagator decays fast enough for large momenta. If the boson propagator does not decay, as for Thirring contact interactions, the anomaly in the WI (Ward Identities) is renormalized by higher order contributions
A vector lattice version of Radström's embedding theorem
African Journals Online (AJOL)
Radström's embedding theorem for 'near vector spaces', which are essentially vector spaces without additive inverses, is extended to embeddings of 'near vector lattices', which are essentially vector lattices without additive inverses, into vector lattices. If the 'near vector space' is endowed with a metric, properties on the ...
Adler's theorem in finite massless QED and possible extensions to non-Abelian gauge theories. II
International Nuclear Information System (INIS)
Bernstein, J.
1975-01-01
The indefinite metric produced by the ghost fields in the Coulomb gauge in Yang-Mills theories is discussed. It is shown that the ghosts greatly complicate the job of proving, or disproving, an Adler theorem in this gauge. An old result of Schwinger for Coulomb gauge Yang-Mills theories is also found to be compromised by ghosts. (Auth.)
Atiyah-Patodi-Singer index theorem for domain-wall fermion Dirac operator
Fukaya, Hidenori; Onogi, Tetsuya; Yamaguchi, Satoshi
2018-03-01
Recently, the Atiyah-Patodi-Singer(APS) index theorem attracts attention for understanding physics on the surface of materials in topological phases. Although it is widely applied to physics, the mathematical set-up in the original APS index theorem is too abstract and general (allowing non-trivial metric and so on) and also the connection between the APS boundary condition and the physical boundary condition on the surface of topological material is unclear. For this reason, in contrast to the Atiyah-Singer index theorem, derivation of the APS index theorem in physics language is still missing. In this talk, we attempt to reformulate the APS index in a "physicist-friendly" way, similar to the Fujikawa method on closed manifolds, for our familiar domain-wall fermion Dirac operator in a flat Euclidean space. We find that the APS index is naturally embedded in the determinant of domain-wall fermions, representing the so-called anomaly descent equations.
Kolmogorov-Arnold-Moser Theorem
Indian Academy of Sciences (India)
system (not necessarily the 2-body system). Kolmogorov was the first to provide a solution to the above general problem in a theorem formulated in 1954 (see Suggested. Reading). However, he provided only an outline of the proof. The actual proof (with all the details) turned to be quite difficult and was provided by Arnold ...
Dynamic Newton-Puiseux Theorem
DEFF Research Database (Denmark)
Mannaa, Bassel; Coquand, Thierry
2013-01-01
A constructive version of Newton-Puiseux theorem for computing the Puiseux expansions of algebraic curves is presented. The proof is based on a classical proof by Abhyankar. Algebraic numbers are evaluated dynamically; hence the base field need not be algebraically closed and a factorization...
Opechowski's theorem and commutator groups
International Nuclear Information System (INIS)
Caride, A.O.; Zanette, S.I.
1985-01-01
It is shown that the conditions of application of Opechowski's theorem for double groups of subgroups of O(3) are directly associated to the structure of their commutator groups. Some characteristics of the structure of classes are also discussed. (Author) [pt
Shell theorem for spontaneous emission
DEFF Research Database (Denmark)
Kristensen, Philip Trøst; Mortensen, Jakob Egeberg; Lodahl, Peter
2013-01-01
and therefore is given exactly by the dipole approximation theory. This surprising result is a spontaneous emission counterpart to the shell theorems of classical mechanics and electrostatics and provides insights into the physics of mesoscopic emitters as well as great simplifications in practical calculations....
KLN theorem and infinite statistics
International Nuclear Information System (INIS)
Grandou, T.
1992-01-01
The possible extension of the Kinoshita-Lee-Nauenberg (KLN) theorem to the case of infinite statistics is examined. It is shown that it appears as a stable structure in a quantum field theory context. The extension is provided by working out the Fock space realization of a 'quantum algebra'. (author) 2 refs
The Geometric Mean Value Theorem
de Camargo, André Pierro
2018-01-01
In a previous article published in the "American Mathematical Monthly," Tucker ("Amer Math Monthly." 1997; 104(3): 231-240) made severe criticism on the Mean Value Theorem and, unfortunately, the majority of calculus textbooks also do not help to improve its reputation. The standard argument for proving it seems to be applying…
Fermion fractionization and index theorem
International Nuclear Information System (INIS)
Hirayama, Minoru; Torii, Tatsuo
1982-01-01
The relation between the fermion fractionization and the Callias-Bott-Seeley index theorem for the Dirac operator in the open space of odd dimension is clarified. Only the case of one spatial dimension is discussed in detail. Sum rules for the expectation values of various quantities in fermion-fractionized configurations are derived. (author)
The Completeness Theorem of Godel
Indian Academy of Sciences (India)
GENERAL I ARTICLE. The Completeness Theorem of Godel. 2. Henkin's Proof for First Order Logic. S M Srivastava is with the. Indian Statistical,. Institute, Calcutta. He received his PhD from the Indian Statistical. Institute in 1980. His research interests are in descriptive set theory. I Part 1. An Introduction to Math- ematical ...
Angle Defect and Descartes' Theorem
Scott, Paul
2006-01-01
Rene Descartes lived from 1596 to 1650. His contributions to geometry are still remembered today in the terminology "Descartes' plane". This paper discusses a simple theorem of Descartes, which enables students to easily determine the number of vertices of almost every polyhedron. (Contains 1 table and 2 figures.)
Optical theorem and its history
International Nuclear Information System (INIS)
Newton, R.G.
1978-01-01
A translation is presented of a paper submitted to the symposium ''Concepts and methods in microscopic physics'' held at Washington University in 1974. A detailed description is given of the history of the optical theorem, its various formulations and derivations and its use in the scattering theory. (Z.J.)
On the Fourier integral theorem
Koekoek, J.
1987-01-01
Introduction. In traditional proofs of convergence of Fourier series and of the Fourier integraI theorem basic tools are the theory of Dirichlet integraIs and the Riemann-Lebesgue lemma. Recently CHERNOFF [I) and REoIlEFFER (2) gave new proofs of convergenceof Fourier series which make no use of the
Energy functionals for Calabi-Yau metrics
International Nuclear Information System (INIS)
Headrick, M; Nassar, A
2013-01-01
We identify a set of ''energy'' functionals on the space of metrics in a given Kähler class on a Calabi-Yau manifold, which are bounded below and minimized uniquely on the Ricci-flat metric in that class. Using these functionals, we recast the problem of numerically solving the Einstein equation as an optimization problem. We apply this strategy, using the ''algebraic'' metrics (metrics for which the Kähler potential is given in terms of a polynomial in the projective coordinates), to the Fermat quartic and to a one-parameter family of quintics that includes the Fermat and conifold quintics. We show that this method yields approximations to the Ricci-flat metric that are exponentially accurate in the degree of the polynomial (except at the conifold point, where the convergence is polynomial), and therefore orders of magnitude more accurate than the balanced metrics, previously studied as approximations to the Ricci-flat metric. The method is relatively fast and easy to implement. On the theoretical side, we also show that the functionals can be used to give a heuristic proof of Yau's theorem
The Classical Version of Stokes' Theorem Revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
2005-01-01
Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we prove that the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...... of the vector field in a tubular shell around the given surface. The intuitive appeal of the divergence theorem is thus applied to bootstrap a corresponding intuition for Stokes' theorem. The two stated classical theorems are (like the fundamental theorem of calculus) nothing but shadows of the general version...... to above. Our proof that Stokes' theorem follows from Gauss' divergence theorem goes via a well known and often used exercise, which simply relates the concepts of divergence and curl on the local differential level. The rest of the paper uses only integration in $1$, $2$, and $3$ variables together...
An extended characterisation theorem for quantum logics
International Nuclear Information System (INIS)
Sharma, C.S.; Mukherjee, M.K.
1977-01-01
Two theorems are proved. In the first properties of an important mapping from an orthocomplemented lattice to itself are studied. In the second the characterisation theorem of Zierler (Pacific J. Math.; 11:1151 (1961)) is extended to obtain a very useful theorem characterising orthomodular lattices. Since quantum logics are merely sigma-complete orthomodular lattices, the principal result is, for application in quantum physics, a characterisation theorem for quantum logics. (author)
Rigid supersymmetry with boundaries
Energy Technology Data Exchange (ETDEWEB)
Belyaev, D.V. [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Van Nieuwenhuizen, P. [State Univ. of New York, Stony Brook, NY (United States). C.N. Yang Inst. for Theoretical Physics
2008-01-15
We construct rigidly supersymmetric bulk-plus-boundary actions, both in x-space and in superspace. For each standard supersymmetric bulk action a minimal supersymmetric bulk-plus-boundary action follows from an extended F- or D-term formula. Additional separately supersymmetric boundary actions can be systematically constructed using co-dimension one multiplets (boundary superfields). We also discuss the orbit of boundary conditions which follow from the Euler-Lagrange variational principle. (orig.)
A note on generalized Weyl's theorem
Zguitti, H.
2006-04-01
We prove that if either T or T* has the single-valued extension property, then the spectral mapping theorem holds for B-Weyl spectrum. If, moreover T is isoloid, and generalized Weyl's theorem holds for T, then generalized Weyl's theorem holds for f(T) for every . An application is given for algebraically paranormal operators.
A definability theorem for first order logic
Butz, C.; Moerdijk, I.
1997-01-01
In this paper we will present a definability theorem for first order logic This theorem is very easy to state and its proof only uses elementary tools To explain the theorem let us first observe that if M is a model of a theory T in a language L then clearly any definable subset S M ie a subset S
A Kallosh theorem for BF-type topological field theory
International Nuclear Information System (INIS)
Birmingham, D.; Gibbs, R.; Mokhtari, S.
1991-01-01
A Kallosh theorem is established for the case of BF-type theories in three dimensions, including a coupling to Chern-Simons theory. The phase contribution to the one-loop off-shell effective action is computed for a two-parameter family of local covariant gauges. It is shown that the phase is independent of these parameters, and thus equals the 'no Vilkovisky-DeWitt' gauge result. The field space metric dependence of a corresponding calculation for generalized BF theory is briefly discussed. (orig.)
A Kallosh theorem for BF-type topological field theory
Energy Technology Data Exchange (ETDEWEB)
Birmingham, D. (Theory Div., CERN, Geneva (Switzerland)); Gibbs, R.; Mokhtari, S. (Physics Dept., Louisiana Tech. Univ., Ruston, LA (United States))
1991-12-12
A Kallosh theorem is established for the case of BF-type theories in three dimensions, including a coupling to Chern-Simons theory. The phase contribution to the one-loop off-shell effective action is computed for a two-parameter family of local covariant gauges. It is shown that the phase is independent of these parameters, and thus equals the 'no Vilkovisky-DeWitt' gauge result. The field space metric dependence of a corresponding calculation for generalized BF theory is briefly discussed. (orig.).
A rigidity transition and glassy dynamics in a model for confluent 3D tissues
Merkel, Matthias; Manning, M. Lisa
The origin of rigidity in disordered materials is an outstanding open problem in statistical physics. Recently, a new type of rigidity transition was discovered in a family of models for 2D biological tissues, but the mechanisms responsible for rigidity remain unclear. This is not just a statistical physics problem, but also relevant for embryonic development, cancer growth, and wound healing. To gain insight into this rigidity transition and make new predictions about biological bulk tissues, we have developed a fully 3D self-propelled Voronoi (SPV) model. The model takes into account shape, elasticity, and self-propelled motion of the individual cells. We find that in the absence of self-propulsion, this model exhibits a rigidity transition that is controlled by a dimensionless model parameter describing the preferred cell shape, with an accompanying structural order parameter. In the presence of self-propulsion, the rigidity transition appears as a glass-like transition featuring caging and aging effects. Given the similarities between this transition and jamming in particulate solids, it is natural to ask if the two transitions are related. By comparing statistics of Voronoi geometries, we show the transitions are surprisingly close but demonstrably distinct. Furthermore, an index theorem used to identify topologically protected mechanical modes in jammed systems can be extended to these vertex-type models. In our model, residual stresses govern the transition and enter the index theorem in a different way compared to jammed particles, suggesting the origin of rigidity may be different between the two.
Tight closure and vanishing theorems
International Nuclear Information System (INIS)
Smith, K.E.
2001-01-01
Tight closure has become a thriving branch of commutative algebra since it was first introduced by Mel Hochster and Craig Huneke in 1986. Over the past few years, it has become increasingly clear that tight closure has deep connections with complex algebraic geometry as well, especially with those areas of algebraic geometry where vanishing theorems play a starring role. The purpose of these lectures is to introduce tight closure and to explain some of these connections with algebraic geometry. Tight closure is basically a technique for harnessing the power of the Frobenius map. The use of the Frobenius map to prove theorems about complex algebraic varieties is a familiar technique in algebraic geometry, so it should perhaps come as no surprise that tight closure is applicable to algebraic geometry. On the other hand, it seems that so far we are only seeing the tip of a large and very beautiful iceberg in terms of tight closure's interpretation and applications to algebraic geometry. Interestingly, although tight closure is a 'characteristic p' tool, many of the problems where tight closure has proved useful have also yielded to analytic (L2) techniques. Despite some striking parallels, there had been no specific result directly linking tight closure and L∼ techniques. Recently, however, the equivalence of an ideal central to the theory of tight closure was shown to be equivalent to a certain 'multiplier ideal' first defined using L2 methods. Presumably, deeper connections will continue to emerge. There are two main types of problems for which tight closure has been helpful: in identifying nice structure and in establishing uniform behavior. The original algebraic applications of tight closure include, for example, a quick proof of the Hochster-Roberts theorem on the Cohen-Macaulayness of rings of invariants, and also a refined version of the Brianqon-Skoda theorem on the uniform behaviour of integral closures of powers of ideals. More recent, geometric
Balankin, Alexander S.; Bory-Reyes, Juan; Shapiro, Michael
2016-02-01
One way to deal with physical problems on nowhere differentiable fractals is the mapping of these problems into the corresponding problems for continuum with a proper fractal metric. On this way different definitions of the fractal metric were suggested to account for the essential fractal features. In this work we develop the metric differential vector calculus in a three-dimensional continuum with a non-Euclidean metric. The metric differential forms and Laplacian are introduced, fundamental identities for metric differential operators are established and integral theorems are proved by employing the metric version of the quaternionic analysis for the Moisil-Teodoresco operator, which has been introduced and partially developed in this paper. The relations between the metric and conventional operators are revealed. It should be emphasized that the metric vector calculus developed in this work provides a comprehensive mathematical formalism for the continuum with any suitable definition of fractal metric. This offers a novel tool to study physics on fractals.
The de Finetti theorem for test spaces
International Nuclear Information System (INIS)
Barrett, Jonathan; Leifer, Matthew
2009-01-01
We prove a de Finetti theorem for exchangeable sequences of states on test spaces, where a test space is a generalization of the sample space of classical probability theory and the Hilbert space of quantum theory. The standard classical and quantum de Finetti theorems are obtained as special cases. By working in a test space framework, the common features that are responsible for the existence of these theorems are elucidated. In addition, the test space framework is general enough to imply a de Finetti theorem for classical processes. We conclude by discussing the ways in which our assumptions may fail, leading to probabilistic models that do not have a de Finetti theorem.
A Randomized Central Limit Theorem
International Nuclear Information System (INIS)
Eliazar, Iddo; Klafter, Joseph
2010-01-01
The Central Limit Theorem (CLT), one of the most elemental pillars of Probability Theory and Statistical Physics, asserts that: the universal probability law of large aggregates of independent and identically distributed random summands with zero mean and finite variance, scaled by the square root of the aggregate-size (√(n)), is Gaussian. The scaling scheme of the CLT is deterministic and uniform - scaling all aggregate-summands by the common and deterministic factor √(n). This Letter considers scaling schemes which are stochastic and non-uniform, and presents a 'Randomized Central Limit Theorem' (RCLT): we establish a class of random scaling schemes which yields universal probability laws of large aggregates of independent and identically distributed random summands. The RCLT universal probability laws, in turn, are the one-sided and the symmetric Levy laws.
Bell's theorem, accountability and nonlocality
International Nuclear Information System (INIS)
Vona, Nicola; Liang, Yeong-Cherng
2014-01-01
Bell's theorem is a fundamental theorem in physics concerning the incompatibility between some correlations predicted by quantum theory and a large class of physical theories. In this paper, we introduce the hypothesis of accountability, which demands that it is possible to explain the correlations of the data collected in many runs of a Bell experiment in terms of what happens in each single run. Under this assumption, and making use of a recent result by Colbeck and Renner (2011 Nature Commun. 2 411), we then show that any nontrivial account of these correlations in the form of an extension of quantum theory must violate parameter independence. Moreover, we analyze the violation of outcome independence of quantum mechanics and show that it is also a manifestation of nonlocality. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell's theorem’. (paper)
Fluctuation theorems and atypical trajectories
International Nuclear Information System (INIS)
Sahoo, M; Lahiri, S; Jayannavar, A M
2011-01-01
In this work, we have studied simple models that can be solved analytically to illustrate various fluctuation theorems. These fluctuation theorems provide symmetries individually to the distributions of physical quantities such as the classical work (W c ), thermodynamic work (W), total entropy (Δs tot ) and dissipated heat (Q), when the system is driven arbitrarily out of equilibrium. All these quantities can be defined for individual trajectories. We have studied the number of trajectories which exhibit behaviour unexpected at the macroscopic level. As the time of observation increases, the fraction of such atypical trajectories decreases, as expected at the macroscale. The distributions for the thermodynamic work and entropy production in nonlinear models may exhibit a peak (most probable value) in the atypical regime without violating the expected average behaviour. However, dissipated heat and classical work exhibit a peak in the regime of typical behaviour only.
Lectures on Fermat's last theorem
International Nuclear Information System (INIS)
Sury, B.
1993-09-01
The report presents the main ideas involved in the approach towards the so-called Fermat's last theorem (FLT). The discussion leads to the point where recent work of A. Wiles starts and his work is not discussed. After a short history of the FLT and of the present approach, are discussed the elliptic curves and the modular forms with their relations, the Taniyama-Shimura-Well conjecture and the FLT
Pythagoras Theorem and Relativistic Kinematics
Mulaj, Zenun; Dhoqina, Polikron
2010-01-01
In two inertial frames that move in a particular direction, may be registered a light signal that propagates in an angle with this direction. Applying Pythagoras theorem and principles of STR in both systems, we can derive all relativistic kinematics relations like the relativity of simultaneity of events, of the time interval, of the length of objects, of the velocity of the material point, Lorentz transformations, Doppler effect and stellar aberration.
International Nuclear Information System (INIS)
Park, Mu-In
2008-01-01
Hawking's area theorem can be understood from a quasi-stationary process in which a black hole accretes positive energy matter, independent of the details of the gravity action. I use this process to study the dynamics of the inner as well as the outer horizons for various black holes which include the recently discovered exotic black holes and three-dimensional black holes in higher derivative gravities as well as the usual BTZ black hole and the Kerr black hole in four dimensions. I find that the area for the inner horizon 'can decrease', rather than increase, with the quasi-stationary process. However, I find that the area for the outer horizon 'never decreases' such that the usual area theorem still works in our examples, though this is quite non-trivial in general. There exists an instability problem of the inner horizons but it seems that the instability is not important in my analysis. I also find a generalized area theorem by combining those of the outer and inner horizons
The extension of quadrupled xed point results in K-metric spaces
Directory of Open Access Journals (Sweden)
Ghasem Soleimani Rad
2014-05-01
Full Text Available Recently, Rahimi et al. [Comp. Appl. Math. 2013, In press] dened the conceptof quadrupled xed point in K-metric spaces and proved several quadrupled xed point theorems for solid cones on K-metric spaces. In this paper some quadrupled xed point results for T-contraction on K-metric spaces without normality condition are proved. Obtained results extend and generalize well-known comparable results in the literature.
International Nuclear Information System (INIS)
Ma Zhihao; Chen Jingling
2011-01-01
In this work we study metrics of quantum states, which are natural generalizations of the usual trace metric and Bures metric. Some useful properties of the metrics are proved, such as the joint convexity and contractivity under quantum operations. Our result has a potential application in studying the geometry of quantum states as well as the entanglement detection.
Expanding the Interaction Equivalency Theorem
Directory of Open Access Journals (Sweden)
Brenda Cecilia Padilla Rodriguez
2015-06-01
Full Text Available Although interaction is recognised as a key element for learning, its incorporation in online courses can be challenging. The interaction equivalency theorem provides guidelines: Meaningful learning can be supported as long as one of three types of interactions (learner-content, learner-teacher and learner-learner is present at a high level. This study sought to apply this theorem to the corporate sector, and to expand it to include other indicators of course effectiveness: satisfaction, knowledge transfer, business results and return on expectations. A large Mexican organisation participated in this research, with 146 learners, 30 teachers and 3 academic assistants. Three versions of an online course were designed, each emphasising a different type of interaction. Data were collected through surveys, exams, observations, activity logs, think aloud protocols and sales records. All course versions yielded high levels of effectiveness, in terms of satisfaction, learning and return on expectations. Yet, course design did not dictate the types of interactions in which students engaged within the courses. Findings suggest that the interaction equivalency theorem can be reformulated as follows: In corporate settings, an online course can be effective in terms of satisfaction, learning, knowledge transfer, business results and return on expectations, as long as (a at least one of three types of interaction (learner-content, learner-teacher or learner-learner features prominently in the design of the course, and (b course delivery is consistent with the chosen type of interaction. Focusing on only one type of interaction carries a high risk of confusion, disengagement or missed learning opportunities, which can be managed by incorporating other forms of interactions.
On Krasnoselskii's Cone Fixed Point Theorem
Directory of Open Access Journals (Sweden)
Man Kam Kwong
2008-04-01
Full Text Available In recent years, the Krasnoselskii fixed point theorem for cone maps and its many generalizations have been successfully applied to establish the existence of multiple solutions in the study of boundary value problems of various types. In the first part of this paper, we revisit the Krasnoselskii theorem, in a more topological perspective, and show that it can be deduced in an elementary way from the classical Brouwer-Schauder theorem. This viewpoint also leads to a topology-theoretic generalization of the theorem. In the second part of the paper, we extend the cone theorem in a different direction using the notion of retraction and show that a stronger form of the often cited Leggett-Williams theorem is a special case of this extension.
Confinement, diquarks and goldstone's theorem
International Nuclear Information System (INIS)
Roberts, C.D.
1996-01-01
Determinations of the gluon propagator in the continuum and in lattice simulations are compared. A systematic truncation procedure for the quark Dyson-Schwinger and bound state Bethe-Salpeter equations is described. The procedure ensures the flavor-octet axial- vector Ward identity is satisfied order-by-order, thereby guaranteeing the preservation of Goldstone's theorem; and identifies a mechanism that simultaneously ensures the absence of diquarks in QCD and their presence in QCD N c =2 , where the color singlet diquark is the ''baryon'' of the theory
Comparison theorems in Riemannian geometry
Cheeger, Jeff
2008-01-01
The central theme of this book is the interaction between the curvature of a complete Riemannian manifold and its topology and global geometry. The first five chapters are preparatory in nature. They begin with a very concise introduction to Riemannian geometry, followed by an exposition of Toponogov's theorem-the first such treatment in a book in English. Next comes a detailed presentation of homogeneous spaces in which the main goal is to find formulas for their curvature. A quick chapter of Morse theory is followed by one on the injectivity radius. Chapters 6-9 deal with many of the most re
Bernstein Lethargy Theorem and Reflexivity
Aksoy, Asuman Güven; Peng, Qidi
2018-01-01
In this paper, we prove the equivalence of reflexive Banach spaces and those Banach spaces which satisfy the following form of Bernstein's Lethargy Theorem. Let $X$ be an arbitrary infinite-dimensional Banach space, and let the real-valued sequence $\\{d_n\\}_{n\\ge1}$ decrease to $0$. Suppose that $\\{Y_n\\}_{n\\ge1}$ is a system of strictly nested subspaces of $X$ such that $\\overline Y_n \\subset Y_{n+1}$ for all $n\\ge1$ and for each $n\\ge1$, there exists $y_n\\in Y_{n+1}\\backslash Y_n$ such that ...
Cyclic graphs and Apery's theorem
International Nuclear Information System (INIS)
Sorokin, V N
2002-01-01
This is a survey of results about the behaviour of Hermite-Pade approximants for graphs of Markov functions, and a survey of interpolation problems leading to Apery's result about the irrationality of the value ζ(3) of the Riemann zeta function. The first example is given of a cyclic graph for which the Hermite-Pade problem leads to Apery's theorem. Explicit formulae for solutions are obtained, namely, Rodrigues' formulae and integral representations. The asymptotic behaviour of the approximants is studied, and recurrence formulae are found
Abstract decomposition theorem and applications
Grossberg, R; Grossberg, Rami; Lessmann, Olivier
2005-01-01
Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies a main gap result for the class K. The setting is general enough to cover \\aleph_0-stable first-order theories (proved by Shelah in 1982), Excellent Classes of atomic models of a first order tehory (proved Grossberg and Hart 1987) and the class of submodels of a large sequentially homogenuus \\aleph_0-stable model (which is new).
Symbolic logic and mechanical theorem proving
Chang, Chin-Liang
1969-01-01
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Equivalent conserved currents and generalized Noether's theorem
International Nuclear Information System (INIS)
Gordon, T.J.
1984-01-01
A generalized Noether theorem is presented, relating symmetries and equivalence classes of local) conservation laws in classical field theories; this is contrasted with the standard theorem. The concept of a ''Noether'' field theory is introduced, being a theory for which the generalized theorem applies; not only does this include the cases of Lagrangian and Hamiltonian field theories, these structures are ''derived'' from the Noether property in a natural way. The generalized theorem applies to currents and symmetries that contain derivatives of the fields up to an arbitrarily high order
Directory of Open Access Journals (Sweden)
Sol Swords
2011-10-01
Full Text Available Interactive theorem proving requires a lot of human guidance. Proving a property involves (1 figuring out why it holds, then (2 coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDD- or SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and automates the process of admitting it as a theorem. We use GL at Centaur Technology to verify execution units for x86 integer, MMX, SSE, and floating-point arithmetic.
Rigidity of outermost MOTS: the initial data version
Galloway, Gregory J.
2018-03-01
In the paper Commun Anal Geom 16(1):217-229, 2008, a rigidity result was obtained for outermost marginally outer trapped surfaces (MOTSs) that do not admit metrics of positive scalar curvature. This allowed one to treat the "borderline case" in the author's work with R. Schoen concerning the topology of higher dimensional black holes (Commun Math Phys 266(2):571-576, 2006). The proof of this rigidity result involved bending the initial data manifold in the vicinity of the MOTS within the ambient spacetime. In this note we show how to circumvent this step, and thereby obtain a pure initial data version of this rigidity result and its consequence concerning the topology of black holes.
Torsional Rigidity of Minimal Submanifolds
DEFF Research Database (Denmark)
Markvorsen, Steen; Palmer, Vicente
2006-01-01
We prove explicit upper bounds for the torsional rigidity of extrinsic domains of minimal submanifolds $P^m$ in ambient Riemannian manifolds $N^n$ with a pole $p$. The upper bounds are given in terms of the torsional rigidities of corresponding Schwarz symmetrizations of the domains in warped...
Observational properties of rigidly rotating dust configurations
Energy Technology Data Exchange (ETDEWEB)
Ilyas, Batyr; Malafarina, Daniele [Nazarbayev University, Department of Physics, Astana (Kazakhstan); Yang, Jinye [Fudan University, Center for Field Theory and Particle Physics and Department of Physics, Shanghai (China); Bambi, Cosimo [Fudan University, Center for Field Theory and Particle Physics and Department of Physics, Shanghai (China); Eberhard-Karls Universitaet Tuebingen, Theoretical Astrophysics, Tuebingen (Germany)
2017-07-15
We study the observational properties of a class of exact solutions of Einstein's field equations describing stationary, axially symmetric, rigidly rotating dust (i.e. non-interacting particles). We ask the question whether such solutions can describe astrophysical rotating dark matter clouds near the center of galaxies and we probe the possibility that they may constitute an alternative to supermassive black holes at the center of galaxies. We show that light emission from accretion disks made of ordinary baryonic matter in this space-time has several differences with respect to the emission of light from similar accretion disks around black holes. The shape of the iron Kα line in the reflection spectrum of accretion disks can potentially distinguish this class of solutions from the Kerr metric, but this may not be possible with current X-ray missions. (orig.)
Eisenhart's theorem and the causal simplicity of Eisenhart's spacetime
Energy Technology Data Exchange (ETDEWEB)
Minguzzi, E [Department of Applied Mathematics, Florence University, Via S. Marta 3, 50139 Florence (Italy)
2007-06-07
We give a causal version of Eisenhart's geodesic characterization of classical mechanics. We emphasize the geometric, coordinate-independent properties needed to express Eisenhart's theorem in light of modern studies on the Bargmann structures (lightlike dimensional reduction, pp-waves). The construction of the space metric, Coriolis 1-form and scalar potential through which the theorem is formulated is shown in detail, and in particular a one-to-one correspondence between Newtonian frames and Abelian connections on suitable lightlike principal bundles is proved. The relation of Eisenhart's theorem in the lightlike case with a Fermat-type principle is pointed out. The operation of lightlike lift is introduced and the existence of minimizers for the classical action is related to the causal simplicity of Eisenhart's spacetime.
Quantum charged rigid membrane
Energy Technology Data Exchange (ETDEWEB)
Cordero, Ruben [Departamento de Fisica, Escuela Superior de Fisica y Matematicas del I.P.N., Unidad Adolfo Lopez Mateos, Edificio 9, 07738 Mexico, D.F. (Mexico); Molgado, Alberto [Unidad Academica de Fisica, Universidad Autonoma de Zacatecas, Zacatecas Zac. (Mexico); Rojas, Efrain, E-mail: cordero@esfm.ipn.mx, E-mail: amolgado@fisica.uaz.edu.mx, E-mail: efrojas@uv.mx [Departamento de Fisica, Facultad de Fisica e Inteligencia Artificial, Universidad Veracruzana, 91000 Xalapa, Veracruz (Mexico)
2011-03-21
The early Dirac proposal to model the electron as a charged membrane is reviewed. A rigidity term, instead of the natural membrane tension, involving linearly the extrinsic curvature of the worldvolume swept out by the membrane is considered in the action modeling the bubble in the presence of an electromagnetic field. We set up this model as a genuine second-order derivative theory by considering a non-trivial boundary term which plays a relevant part in our formulation. The Lagrangian in question is linear in the bubble acceleration and by means of the Ostrogradski-Hamiltonian approach, we observed that the theory comprises the management of both first- and second-class constraints. We thus show that our second-order approach is robust allowing for a proper quantization. We found an effective quantum potential which permits us to compute bounded states for the system. We comment on the possibility of describing brane world universes by invoking this kind of second-order correction terms.
Quantum charged rigid membrane
International Nuclear Information System (INIS)
Cordero, Ruben; Molgado, Alberto; Rojas, Efrain
2011-01-01
The early Dirac proposal to model the electron as a charged membrane is reviewed. A rigidity term, instead of the natural membrane tension, involving linearly the extrinsic curvature of the worldvolume swept out by the membrane is considered in the action modeling the bubble in the presence of an electromagnetic field. We set up this model as a genuine second-order derivative theory by considering a non-trivial boundary term which plays a relevant part in our formulation. The Lagrangian in question is linear in the bubble acceleration and by means of the Ostrogradski-Hamiltonian approach, we observed that the theory comprises the management of both first- and second-class constraints. We thus show that our second-order approach is robust allowing for a proper quantization. We found an effective quantum potential which permits us to compute bounded states for the system. We comment on the possibility of describing brane world universes by invoking this kind of second-order correction terms.
Directory of Open Access Journals (Sweden)
Bhavana Deshpande
2017-11-01
Full Text Available The main objective of this research article is to establish some coincidence point theorem for $g$-non-decreasing mappings under generalized $(\\psi ,\\theta ,\\varphi $-contraction on a partially ordered metric space. Furthermore, we show how multidimensional results can be seen as a simple consequences of our unidimensional coincidence point theorem. Our results modify, improve, sharpen, enrich and generalize various known results.
Stacked spheres and lower bound theorem
Indian Academy of Sciences (India)
BASUDEB DATTA
2011-11-20
Nov 20, 2011 ... Preliminaries. Lower bound theorem. On going work. Definitions. An n-simplex is a convex hull of n + 1 affinely independent points. (called vertices) in some Euclidean space R. N . Stacked spheres and lower bound theorem. Basudeb Datta. Indian Institute of Science. 2 / 27 ...
Howell, Russell W.; Schrohe, Elmar
2017-01-01
Rouché's Theorem is a standard topic in undergraduate complex analysis. It is usually covered near the end of the course with applications relating to pure mathematics only (e.g., using it to produce an alternate proof of the Fundamental Theorem of Algebra). The "winding number" provides a geometric interpretation relating to the…
Other trigonometric proofs of Pythagoras theorem
Luzia, Nuno
2015-01-01
Only very recently a trigonometric proof of the Pythagoras theorem was given by Zimba \\cite{1}, many authors thought this was not possible. In this note we give other trigonometric proofs of Pythagoras theorem by establishing, geometrically, the half-angle formula $\\cos\\theta=1-2\\sin^2 \\frac{\\theta}{2}$.
Borghi, Riccardo
2014-03-01
In the present letter, Newton’s theorem for the gravitational field outside a uniform spherical shell is considered. In particular, a purely geometric proof of proposition LXXI/theorem XXXI of Newton’s Principia, which is suitable for undergraduates and even skilled high-school students, is proposed. Minimal knowledge of elementary calculus and three-dimensional Euclidean geometry are required.
Theorems of low energy in Compton scattering
International Nuclear Information System (INIS)
Chahine, J.
1984-01-01
We have obtained the low energy theorems in Compton scattering to third and fouth order in the frequency of the incident photon. Next we calculated the polarized cross section to third order and the unpolarized to fourth order in terms of partial amplitudes not covered by the low energy theorems, what will permit the experimental determination of these partial amplitudes. (Author) [pt
A density Corradi-Hajnal theorem
Czech Academy of Sciences Publication Activity Database
Allen, P.; Böttcher, J.; Hladký, Jan; Piguet, D.
2015-01-01
Roč. 67, č. 4 (2015), s. 721-758 ISSN 0008-414X Institutional support: RVO:67985840 Keywords : extremal graph theory * Mantel's theorem * Corradi-Hajnal theorem Subject RIV: BA - General Mathematics Impact factor: 0.618, year: 2015 http://cms.math.ca/10.4153/CJM-2014-030-6
Visualizing the Central Limit Theorem through Simulation
Ruggieri, Eric
2016-01-01
The Central Limit Theorem is one of the most important concepts taught in an introductory statistics course, however, it may be the least understood by students. Sure, students can plug numbers into a formula and solve problems, but conceptually, do they really understand what the Central Limit Theorem is saying? This paper describes a simulation…
The Classical Version of Stokes' Theorem Revisited
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations--essentially from first year undergraduate mathematics--we show how the classical Stokes' theorem for any given surface and vector field in R[superscript 3] follows from an application of Gauss' divergence theorem to a suitable modification of the vector field in a tubular shell around the…
The divergence theorem for unbounded vector fields
De Pauw, Thierry; Pfeffer, Washek F.
2007-01-01
In the context of Lebesgue integration, we derive the divergence theorem for unbounded vector. elds that can have singularities at every point of a compact set whose Minkowski content of codimension greater than two is. nite. The resulting integration by parts theorem is applied to removable sets of holomorphic and harmonic functions.
The Pomeranchuk theorem and its modifications
International Nuclear Information System (INIS)
Fischer, J.; Saly, R.
1980-01-01
A review of the various modifications and improvements of the Pomeranchuk theorem and also of related statements is given. The present status of the Pomeranchuk relation based on dispersion relation is discussed. Numerous problems related to the Pomeranchuk theorem and some answers to these problems are collected in a clear table
Coalgebraic Lindström Theorems
Kurz, A.; Venema, Y.
2010-01-01
We study modal Lindström theorems from a coalgebraic perspective. We provide three different Lindström theorems for coalgebraic logic, one of which is a direct generalisation of de Rijke's result for Kripke models. Both the other two results are based on the properties of bisimulation invariance,
Directory of Open Access Journals (Sweden)
Sunny Chauhan
2014-01-01
implicit relation, we prove a new coincidence and common fixed point theorem for a hybrid pair of occasionally coincidentally idempotent mappings in a metric space employing the common limit range property. Our main result improves and generalizes a host of previously known results. We also utilize suitable illustrative examples to substantiate the realized improvements in our results.
Uniqueness theorems in linear elasticity
Knops, Robin John
1971-01-01
The classical result for uniqueness in elasticity theory is due to Kirchhoff. It states that the standard mixed boundary value problem for a homogeneous isotropic linear elastic material in equilibrium and occupying a bounded three-dimensional region of space possesses at most one solution in the classical sense, provided the Lame and shear moduli, A and J1 respectively, obey the inequalities (3 A + 2 J1) > 0 and J1>O. In linear elastodynamics the analogous result, due to Neumann, is that the initial-mixed boundary value problem possesses at most one solution provided the elastic moduli satisfy the same set of inequalities as in Kirchhoffs theorem. Most standard textbooks on the linear theory of elasticity mention only these two classical criteria for uniqueness and neglect altogether the abundant literature which has appeared since the original publications of Kirchhoff. To remedy this deficiency it seems appropriate to attempt a coherent description ofthe various contributions made to the study of uniquenes...
Riemannian and Lorentzian flow-cut theorems
Headrick, Matthew; Hubeny, Veronika E.
2018-05-01
We prove several geometric theorems using tools from the theory of convex optimization. In the Riemannian setting, we prove the max flow-min cut (MFMC) theorem for boundary regions, applied recently to develop a ‘bit-thread’ interpretation of holographic entanglement entropies. We also prove various properties of the max flow and min cut, including respective nesting properties. In the Lorentzian setting, we prove the analogous MFMC theorem, which states that the volume of a maximal slice equals the flux of a minimal flow, where a flow is defined as a divergenceless timelike vector field with norm at least 1. This theorem includes as a special case a continuum version of Dilworth’s theorem from the theory of partially ordered sets. We include a brief review of the necessary tools from the theory of convex optimization, in particular Lagrangian duality and convex relaxation.
OTTER, Resolution Style Theorem Prover
International Nuclear Information System (INIS)
McCune, W.W.
2001-01-01
1 - Description of program or function: OTTER (Other Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first-order logic with equality. OTTER includes the inference rules binary resolution, hyper-resolution, UR-resolution, and binary para-modulation. These inference rules take as small set of clauses and infer a clause. If the inferred clause is new and useful, it is stored and may become available for subsequent inferences. Other capabilities are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, and evaluable functions and predicates. 2 - Method of solution: For its inference process OTTER uses the given-clause algorithm, which can be viewed as a simple implementation of the set of support strategy. OTTER maintains three lists of clauses: axioms, sos (set of support), and demodulators. OTTER is not automatic. Even after the user has encoded a problem into first-order logic or into clauses, the user must choose inference rules, set options to control the processing of inferred clauses, and decide which input formulae or clauses are to be in the initial set of support and which, if any, equalities are to be demodulators. If OTTER fails to find a proof, the user may try again different initial conditions. 3 - Restrictions on the complexity of the problem - Maxima of: 5000 characters in an input string, 64 distinct variables in a clause, 51 characters in any symbol. The maxima can be changed by finding the appropriate definition in the header.h file, increasing the limit, and recompiling OTTER. There are a few constraints on the order of commands
Method of convex rigid frames and applications in studies of multipartite quNit pure states
International Nuclear Information System (INIS)
Zhong Zaizhe
2005-01-01
In this letter, we suggest a method of convex rigid frames in the studies of multipartite quNit pure states. We illustrate what the convex rigid frames are, and what is their method. As applications, we use this method to solve some basic problems and give some new results (three theorems): the problem of the partial separability of the multipartite quNit pure states and its geometric explanation; the problem of the classification of multipartite quNit pure states, giving a perfect explanation of the local unitary transformations; thirdly, we discuss the invariants of classes and give a possible physical explanation. (letter to the editor)
Adler's theorem in finite massless QED and possible extensions to non- Abelian gauge theories II
Bernstein, J
1975-01-01
For pt.I see ibid., vol.B95, p.461 (1975). The indefinite metric produced by the ghost fields in the Coulomb gauge in Yang-Mills theories is discussed. It is shown that the ghosts greatly complicate the job of proving, or disproving, an Adler theorem in this gauge. An old result of Schwinger (1962) for Coulomb gauge Yang-Mills theories is also found to be compromised by ghosts. (7 refs).
Cohomological rigidity of manifolds defined by 3-dimensional polytopes
Buchstaber, V. M.; Erokhovets, N. Yu.; Masuda, M.; Panov, T. E.; Park, S.
2017-04-01
A family of closed manifolds is said to be cohomologically rigid if a cohomology ring isomorphism implies a diffeomorphism for any two manifolds in the family. Cohomological rigidity is established here for large families of 3-dimensional and 6-dimensional manifolds defined by 3-dimensional polytopes. The class \\mathscr{P} of 3-dimensional combinatorial simple polytopes P different from tetrahedra and without facets forming 3- and 4-belts is studied. This class includes mathematical fullerenes, that is, simple 3- polytopes with only 5-gonal and 6-gonal facets. By a theorem of Pogorelov, any polytope in \\mathscr{P} admits in Lobachevsky 3-space a right-angled realisation which is unique up to isometry. Our families of smooth manifolds are associated with polytopes in the class \\mathscr{P}. The first family consists of 3-dimensional small covers of polytopes in \\mathscr{P}, or equivalently, hyperbolic 3-manifolds of Löbell type. The second family consists of 6-dimensional quasitoric manifolds over polytopes in \\mathscr{P}. Our main result is that both families are cohomologically rigid, that is, two manifolds M and M' from either family are diffeomorphic if and only if their cohomology rings are isomorphic. It is also proved that if M and M' are diffeomorphic, then their corresponding polytopes P and P' are combinatorially equivalent. These results are intertwined with classical subjects in geometry and topology such as the combinatorics of 3-polytopes, the Four Colour Theorem, aspherical manifolds, a diffeomorphism classification of 6-manifolds, and invariance of Pontryagin classes. The proofs use techniques of toric topology. Bibliography: 69 titles.
DEFF Research Database (Denmark)
Rijkhoff, Jan
2010-01-01
classes. Finally this article wants to claim that the distinction between rigid and flexible noun categories (a) adds a new dimension to current classifications of parts of speech systems, (b) correlates with certain grammatical phenomena (e.g. so-called number discord), and (c) helps to explain the parts......This article argues that in addition to the major flexible lexical categories in Hengeveld’s classification of parts of speech systems (Contentive, Non-Verb, Modifier), there are also flexible word classes within the rigid lexical category Noun (Set Noun, Sort Noun, General Noun). Members...... by the flexible item in the external world. I will then argue that flexible word classes constitute a proper category (i.e. they are not the result of a merger of some rigid word classes) in that members of flexible word categories display the same properties regarding category membership as members of rigid word...
A criterion for flatness in minimal area metrics that define string diagrams
International Nuclear Information System (INIS)
Ranganathan, K.; Massachusetts Inst. of Tech., Cambridge, MA
1992-01-01
It has been proposed that the string diagrams of closed string field theory be defined by a minimal area problem that requires that all nontrivial homotopy curves have length greater than or equal to 2π. Consistency requires that the minimal area metric be flat in a neighbourhood of the punctures. The theorem proven in this paper, yields a criterion which if satisfied, will ensure this requirement. The theorem states roughly that the metric is flat in an open set, U if there is a unique closed curve of length 2π through every point in U and all of these closed curves are in the same free homotopy class. (orig.)
METRIC context unit architecture
Energy Technology Data Exchange (ETDEWEB)
Simpson, R.O.
1988-01-01
METRIC is an architecture for a simple but powerful Reduced Instruction Set Computer (RISC). Its speed comes from the simultaneous processing of several instruction streams, with instructions from the various streams being dispatched into METRIC's execution pipeline as they become available for execution. The pipeline is thus kept full, with a mix of instructions for several contexts in execution at the same time. True parallel programming is supported within a single execution unit, the METRIC Context Unit. METRIC's architecture provides for expansion through the addition of multiple Context Units and of specialized Functional Units. The architecture thus spans a range of size and performance from a single-chip microcomputer up through large and powerful multiprocessors. This research concentrates on the specification of the METRIC Context Unit at the architectural level. Performance tradeoffs made during METRIC's design are discussed, and projections of METRIC's performance are made based on simulation studies.
Optimal recovery of linear operators in non-Euclidean metrics
Energy Technology Data Exchange (ETDEWEB)
Osipenko, K Yu [Moscow State Aviation Technological University, Moscow (Russian Federation)
2014-10-31
The paper looks at problems concerning the recovery of operators from noisy information in non-Euclidean metrics. A number of general theorems are proved and applied to recovery problems for functions and their derivatives from the noisy Fourier transform. In some cases, a family of optimal methods is found, from which the methods requiring the least amount of original information are singled out. Bibliography: 25 titles.
The classical version of Stokes' Theorem revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
2008-01-01
Using only fairly simple and elementary considerations - essentially from first year undergraduate mathematics - we show how the classical Stokes' theorem for any given surface and vector field in $\\mathbb{R}^{3}$ follows from an application of Gauss' divergence theorem to a suitable modification...... exercise, which simply relates the concepts of divergence and curl on the local differential level. The rest of the paper uses only integration in $1$, $2$, and $3$ variables together with a 'fattening' technique for surfaces and the inverse function theorem....
Security Theorems via Model Theory
Directory of Open Access Journals (Sweden)
Joshua Guttman
2009-11-01
Full Text Available A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs . (phi implies for some ys . psi. Models (interpretations for these formulas are *skeletons*, partially ordered structures consisting of a number of local protocol behaviors. *Realized* skeletons contain enough local sessions to explain all the behavior, when combined with some possible adversary behaviors. We show two results. (1 If phi is the antecedent of a security goal, then there is a skeleton A_phi such that, for every skeleton B, phi is satisfied in B iff there is a homomorphism from A_phi to B. (2 A protocol enforces for all xs . (phi implies for some ys . psi iff every realized homomorphic image of A_phi satisfies psi. Hence, to verify a security goal, one can use the Cryptographic Protocol Shapes Analyzer CPSA (TACAS, 2007 to identify minimal realized skeletons, or "shapes," that are homomorphic images of A_phi. If psi holds in each of these shapes, then the goal holds.
Energy Technology Data Exchange (ETDEWEB)
Escane, J.M. [Ecole Superieure d' Electricite, 91 - Gif-sur-Yvette (France)
2005-04-01
The first part of this article defines the different elements of an electrical network and the models to represent them. Each model involves the current and the voltage as a function of time. Models involving time functions are simple but their use is not always easy. The Laplace transformation leads to a more convenient form where the variable is no more directly the time. This transformation leads also to the notion of transfer function which is the object of the second part. The third part aims at defining the fundamental operation rules of linear networks, commonly named 'general theorems': linearity principle and superimposition theorem, duality principle, Thevenin theorem, Norton theorem, Millman theorem, triangle-star and star-triangle transformations. These theorems allow to study complex power networks and to simplify the calculations. They are based on hypotheses, the first one is that all networks considered in this article are linear. (J.S.)
Dimensional analysis beyond the Pi theorem
Zohuri, Bahman
2017-01-01
Dimensional Analysis and Physical Similarity are well understood subjects, and the general concepts of dynamical similarity are explained in this book. Our exposition is essentially different from those available in the literature, although it follows the general ideas known as Pi Theorem. There are many excellent books that one can refer to; however, dimensional analysis goes beyond Pi theorem, which is also known as Buckingham’s Pi Theorem. Many techniques via self-similar solutions can bound solutions to problems that seem intractable. A time-developing phenomenon is called self-similar if the spatial distributions of its properties at different points in time can be obtained from one another by a similarity transformation, and identifying one of the independent variables as time. However, this is where Dimensional Analysis goes beyond Pi Theorem into self-similarity, which has represented progress for researchers. In recent years there has been a surge of interest in self-similar solutions of the First ...
Stable convergence and stable limit theorems
Häusler, Erich
2015-01-01
The authors present a concise but complete exposition of the mathematical theory of stable convergence and give various applications in different areas of probability theory and mathematical statistics to illustrate the usefulness of this concept. Stable convergence holds in many limit theorems of probability theory and statistics – such as the classical central limit theorem – which are usually formulated in terms of convergence in distribution. Originated by Alfred Rényi, the notion of stable convergence is stronger than the classical weak convergence of probability measures. A variety of methods is described which can be used to establish this stronger stable convergence in many limit theorems which were originally formulated only in terms of weak convergence. Naturally, these stronger limit theorems have new and stronger consequences which should not be missed by neglecting the notion of stable convergence. The presentation will be accessible to researchers and advanced students at the master's level...
Theorem on axially symmetric gravitational vacuum configurations
Energy Technology Data Exchange (ETDEWEB)
Papadopoulos, A; Le Denmat, G [Paris-6 Univ., 75 (France). Inst. Henri Poincare
1977-01-24
A theorem is proved which asserts the non-existence of axially symmetric gravitational vacuum configurations with non-stationary rotation only. The eventual consequences in black-hole physics are suggested.
Rigid multibody system dynamics with uncertain rigid bodies
Energy Technology Data Exchange (ETDEWEB)
Batou, A., E-mail: anas.batou@univ-paris-est.fr; Soize, C., E-mail: christian.soize@univ-paris-est.fr [Universite Paris-Est, Laboratoire Modelisation et Simulation Multi Echelle, MSME UMR 8208 CNRS (France)
2012-03-15
This paper is devoted to the construction of a probabilistic model of uncertain rigid bodies for multibody system dynamics. We first construct a stochastic model of an uncertain rigid body by replacing the mass, the center of mass, and the tensor of inertia by random variables. The prior probability distributions of the stochastic model are constructed using the maximum entropy principle under the constraints defined by the available information. The generators of independent realizations corresponding to the prior probability distribution of these random quantities are further developed. Then several uncertain rigid bodies can be linked to each other in order to calculate the random response of a multibody dynamical system. An application is proposed to illustrate the theoretical development.
Non-renormalisation theorems in string theory
International Nuclear Information System (INIS)
Vanhove, P.
2007-10-01
In this thesis we describe various non renormalisation theorems for the string effective action. These results are derived in the context of the M theory conjecture allowing to connect the four gravitons string theory S matrix elements with that of eleven dimensional supergravity. These theorems imply that N = 8 supergravity theory has the same UV behaviour as the N = 4 supersymmetric Yang Mills theory at least up to three loops, and could be UV finite in four dimensions. (author)
There is No Quantum Regression Theorem
International Nuclear Information System (INIS)
Ford, G.W.; OConnell, R.F.
1996-01-01
The Onsager regression hypothesis states that the regression of fluctuations is governed by macroscopic equations describing the approach to equilibrium. It is here asserted that this hypothesis fails in the quantum case. This is shown first by explicit calculation for the example of quantum Brownian motion of an oscillator and then in general from the fluctuation-dissipation theorem. It is asserted that the correct generalization of the Onsager hypothesis is the fluctuation-dissipation theorem. copyright 1996 The American Physical Society
Singularity theorems from weakened energy conditions
International Nuclear Information System (INIS)
Fewster, Christopher J; Galloway, Gregory J
2011-01-01
We establish analogues of the Hawking and Penrose singularity theorems based on (a) averaged energy conditions with exponential damping; (b) conditions on local stress-energy averages inspired by the quantum energy inequalities satisfied by a number of quantum field theories. As particular applications, we establish singularity theorems for the Einstein equations coupled to a classical scalar field, which violates the strong energy condition, and the nonminimally coupled scalar field, which also violates the null energy condition.
The matrix Euler-Fermat theorem
International Nuclear Information System (INIS)
Arnol'd, Vladimir I
2004-01-01
We prove many congruences for binomial and multinomial coefficients as well as for the coefficients of the Girard-Newton formula in the theory of symmetric functions. These congruences also imply congruences (modulo powers of primes) for the traces of various powers of matrices with integer elements. We thus have an extension of the matrix Fermat theorem similar to Euler's extension of the numerical little Fermat theorem
Level comparison theorems and supersymmetric quantum mechanics
International Nuclear Information System (INIS)
Baumgartner, B.; Grosse, H.
1986-01-01
The sign of the Laplacian of the spherical symmetric potential determines the order of energy levels with the same principal Coulomb quantum number. This recently derived theorem has been generalized, extended and applied to various situations in particle, nuclear and atomic physics. Besides a comparison theorem the essential step was the use of supersymmetric quantum mechanics. Recently worked out applications of supersymmetric quantum mechanics to index problems of Dirac operators are mentioned. (Author)
Liouville's theorem and phase-space cooling
International Nuclear Information System (INIS)
Mills, R.L.; Sessler, A.M.
1993-01-01
A discussion is presented of Liouville's theorem and its consequences for conservative dynamical systems. A formal proof of Liouville's theorem is given. The Boltzmann equation is derived, and the collisionless Boltzmann equation is shown to be rigorously true for a continuous medium. The Fokker-Planck equation is derived. Discussion is given as to when the various equations are applicable and, in particular, under what circumstances phase space cooling may occur
The Osgood-Schoenflies theorem revisited
International Nuclear Information System (INIS)
Siebenmann, L C
2005-01-01
The very first unknotting theorem of a purely topological character established that every compact subset of the Euclidean plane homeomorphic to a circle can be moved onto a round circle by a globally defined self-homeomorphism of the plane. This difficult hundred-year-old theorem is here celebrated with a partly new elementary proof, and a first but tentative account of its history. Some quite fundamental corollaries of the proof are sketched, and some generalizations are mentioned
Double soft theorem for perturbative gravity
Saha, Arnab
2016-01-01
Following up on the recent work of Cachazo, He and Yuan \\cite{arXiv:1503.04816 [hep-th]}, we derive the double soft graviton theorem in perturbative gravity. We show that the double soft theorem derived using CHY formula precisely matches with the perturbative computation involving Feynman diagrams. In particular, we find how certain delicate limits of Feynman diagrams play an important role in obtaining this equivalence.
A Converse of Fermat's Little Theorem
Bruckman, P. S.
2007-01-01
As the name of the paper implies, a converse of Fermat's Little Theorem (FLT) is stated and proved. FLT states the following: if p is any prime, and x any integer, then x[superscript p] [equivalent to] x (mod p). There is already a well-known converse of FLT, known as Lehmer's Theorem, which is as follows: if x is an integer coprime with m, such…
Chistyakov, Vyacheslav
2015-01-01
Aimed toward researchers and graduate students familiar with elements of functional analysis, linear algebra, and general topology; this book contains a general study of modulars, modular spaces, and metric modular spaces. Modulars may be thought of as generalized velocity fields and serve two important purposes: generate metric spaces in a unified manner and provide a weaker convergence, the modular convergence, whose topology is non-metrizable in general. Metric modular spaces are extensions of metric spaces, metric linear spaces, and classical modular linear spaces. The topics covered include the classification of modulars, metrizability of modular spaces, modular transforms and duality between modular spaces, metric and modular topologies. Applications illustrated in this book include: the description of superposition operators acting in modular spaces, the existence of regular selections of set-valued mappings, new interpretations of spaces of Lipschitzian and absolutely continuous mappings, the existe...
Pascal’s Theorem in Real Projective Plane
Coghetto Roland
2017-01-01
In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines.
Pascal’s Theorem in Real Projective Plane
Directory of Open Access Journals (Sweden)
Coghetto Roland
2017-07-01
Full Text Available In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem1. Pappus’ theorem is a special case of a degenerate conic of two lines.
The direct Flow parametric Proof of Gauss' Divergence Theorem revisited
DEFF Research Database (Denmark)
Markvorsen, Steen
The standard proof of the divergence theorem in undergraduate calculus courses covers the theorem for static domains between two graph surfaces. We show that within first year undergraduate curriculum, the flow proof of the dynamic version of the divergence theorem - which is usually considered...... we apply the key instrumental concepts and verify the various steps towards this alternative proof of the divergence theorem....
Commentaries on Hilbert's Basis Theorem | Apine | Science World ...
African Journals Online (AJOL)
The famous basis theorem of David Hilbert is an important theorem in commutative algebra. In particular the Hilbert's basis theorem is the most important source of Noetherian rings which are by far the most important class of rings in commutative algebra. In this paper we have used Hilbert's theorem to examine their unique ...
Illustrating the Central Limit Theorem through Microsoft Excel Simulations
Moen, David H.; Powell, John E.
2005-01-01
Using Microsoft Excel, several interactive, computerized learning modules are developed to demonstrate the Central Limit Theorem. These modules are used in the classroom to enhance the comprehension of this theorem. The Central Limit Theorem is a very important theorem in statistics, and yet because it is not intuitively obvious, statistics…
Rigidity of Glasses and Macromolecules
Thorpe, M. F.
1998-03-01
The simple yet powerful ideas of percolation theory have found their way into many different areas of research. In this talk we show how RIGIDITY PERCOLATION can be studied at a similar level of sophistication, using a powerful new program THE PEBBLE GAME (D. J. Jacobs and M. F. Thorpe, Phys. Rev. E) 53, 3682 (1996). that uses an integer algorithm. This program can analyse the rigidity of two and three dimensional networks containing more than one million bars and joints. We find the total number of floppy modes, and find the critical behavior as the network goes from floppy to rigid as more bars are added. We discuss the relevance of this work to network glasses, and how it relates to experiments that involve the mechanical properties like hardness and elasticity of covalent glassy networks like Ge_xAs_ySe_1-x-y and dicuss recent experiments that suggest that the rigidity transition may be first order (Xingwei Feng, W. J.Bresser and P. Boolchand, Phys. Rev. Lett 78), 4422 (1997).. This approach is also useful in macromolecules and proteins, where detailed information about the rigid domain structure can be obtained.
Prognostic Performance Metrics
National Aeronautics and Space Administration — This chapter presents several performance metrics for offline evaluation of prognostics algorithms. A brief overview of different methods employed for performance...
Directory of Open Access Journals (Sweden)
Kihong Kim
2018-02-01
Full Text Available Various kinds of metrics used for the quantitative evaluation of scholarly journals are reviewed. The impact factor and related metrics including the immediacy index and the aggregate impact factor, which are provided by the Journal Citation Reports, are explained in detail. The Eigenfactor score and the article influence score are also reviewed. In addition, journal metrics such as CiteScore, Source Normalized Impact per Paper, SCImago Journal Rank, h-index, and g-index are discussed. Limitations and problems that these metrics have are pointed out. We should be cautious to rely on those quantitative measures too much when we evaluate journals or researchers.
Theorem on magnet fringe field
International Nuclear Information System (INIS)
Wei, Jie; Talman, R.
1995-01-01
Transverse particle motion in particle accelerators is governed almost totally by non-solenoidal magnets for which the body magnetic field can be expressed as a series expansion of the normal (b n ) and skew (a n ) multipoles, B y + iB x = summation(b n + ia n )(x + iy) n , where x, y, and z denote horizontal, vertical, and longitudinal (along the magnet) coordinates. Since the magnet length L is necessarily finite, deflections are actually proportional to ''field integrals'' such as bar BL ≡ ∫ B(x,y,z)dz where the integration range starts well before the magnet and ends well after it. For bar a n , bar b n , bar B x , and bar B y defined this way, the same expansion Eq. 1 is valid and the ''standard'' approximation is to neglect any deflections not described by this expansion, in spite of the fact that Maxwell's equations demand the presence of longitudinal field components at the magnet ends. The purpose of this note is to provide a semi-quantitative estimate of the importance of |Δp ∝ |, the transverse deflection produced by the ion-gitudinal component of the fringe field at one magnet end relative to |Δp 0 |, the total deflection produced by passage through the whole magnet. To emphasize the generality and simplicity of the result it is given in the form of a theorem. The essence of the proof is an evaluation of the contribution of the longitudinal field B x from the vicinity of one magnet end since, along a path parallel to the magnet axis such as path BC
Erratum A variational proof for the existence of a conformal metric ...
Indian Academy of Sciences (India)
R. Narasimhan (Krishtel eMaging) 1461 1996 Oct 15 13:05:22
Theorem 0.1 . Let M be a compact Riemann surface of genus g > 1. The infimum S0 is attained at σ ∈ C∞(M), i.e., the minimizing sequence {σn} contains a subsequence that converges in W2,2(M) to σ ∈ C∞(M) and S(σ) = 0. The corresponding metric e σ hdz ⊗ d¯z is the unique metric on M of negative curvature K.
Rigidly foldable origami gadgets and tessellations
Evans, Thomas A.; Lang, Robert J.; Magleby, Spencer P.; Howell, Larry L.
2015-01-01
Rigidly foldable origami allows for motion where all deflection occurs at the crease lines and facilitates the application of origami in materials other than paper. In this paper, we use a recently discovered method for determining rigid foldability to identify existing flat-foldable rigidly foldable tessellations, which are also categorized. We introduce rigidly foldable origami gadgets which may be used to modify existing tessellations or to create new tessellations. Several modified and new rigidly foldable tessellations are presented. PMID:26473037
Muntinga, D.; Bernritter, S.
2017-01-01
Het merk staat steeds meer centraal in de organisatie. Het is daarom essentieel om de gezondheid, prestaties en ontwikkelingen van het merk te meten. Het is echter een uitdaging om de juiste brand metrics te selecteren. Een enorme hoeveelheid metrics vraagt de aandacht van merkbeheerders. Maar welke
Privacy Metrics and Boundaries
L-F. Pau (Louis-François)
2005-01-01
textabstractThis paper aims at defining a set of privacy metrics (quantitative and qualitative) in the case of the relation between a privacy protector ,and an information gatherer .The aims with such metrics are: -to allow to assess and compare different user scenarios and their differences; for
The Hellmann–Feynman theorem, the comparison theorem, and the envelope theory
Directory of Open Access Journals (Sweden)
Claude Semay
2015-01-01
Full Text Available The envelope theory is a convenient method to compute approximate solutions for bound state equations in quantum mechanics. It is shown that these approximate solutions obey a kind of Hellmann–Feynman theorem, and that the comparison theorem can be applied to these approximate solutions for two ordered Hamiltonians.
Rigidity-tuning conductive elastomer
Shan, Wanliang; Diller, Stuart; Tutcuoglu, Abbas; Majidi, Carmel
2015-06-01
We introduce a conductive propylene-based elastomer (cPBE) that rapidly and reversibly changes its mechanical rigidity when powered with electrical current. The elastomer is rigid in its natural state, with an elastic (Young’s) modulus of 175.5 MPa, and softens when electrically activated. By embedding the cPBE in an electrically insulating sheet of polydimethylsiloxane (PDMS), we create a cPBE-PDMS composite that can reversibly change its tensile modulus between 37 and 1.5 MPa. The rigidity change takes ˜6 s and is initiated when a 100 V voltage drop is applied across the two ends of the cPBE film. This magnitude of change in elastic rigidity is similar to that observed in natural skeletal muscle and catch connective tissue. We characterize the tunable load-bearing capability of the cPBE-PDMS composite with a motorized tensile test and deadweight experiment. Lastly, we demonstrate the ability to control the routing of internal forces by embedding several cPBE-PDMS ‘active tendons’ into a soft robotic pneumatic bending actuator. Selectively activating the artificial tendons controls the neutral axis and direction of bending during inflation.
Rigidity-tuning conductive elastomer
International Nuclear Information System (INIS)
Shan, Wanliang; Diller, Stuart; Tutcuoglu, Abbas; Majidi, Carmel
2015-01-01
We introduce a conductive propylene-based elastomer (cPBE) that rapidly and reversibly changes its mechanical rigidity when powered with electrical current. The elastomer is rigid in its natural state, with an elastic (Young’s) modulus of 175.5 MPa, and softens when electrically activated. By embedding the cPBE in an electrically insulating sheet of polydimethylsiloxane (PDMS), we create a cPBE–PDMS composite that can reversibly change its tensile modulus between 37 and 1.5 MPa. The rigidity change takes ∼6 s and is initiated when a 100 V voltage drop is applied across the two ends of the cPBE film. This magnitude of change in elastic rigidity is similar to that observed in natural skeletal muscle and catch connective tissue. We characterize the tunable load-bearing capability of the cPBE–PDMS composite with a motorized tensile test and deadweight experiment. Lastly, we demonstrate the ability to control the routing of internal forces by embedding several cPBE–PDMS ‘active tendons’ into a soft robotic pneumatic bending actuator. Selectively activating the artificial tendons controls the neutral axis and direction of bending during inflation. (paper)
A new type of contraction in a complete $G$-metric space
Directory of Open Access Journals (Sweden)
Nidhi Malhotra
2015-09-01
Full Text Available In this paper we extend and generalize the concept of $F$-contraction to $F$-weak contraction and prove a fixed point theorem for $F$-weak contraction in a complete $G$-metric space. The article includes a nontrivial example which verify the effectiveness and applicability of our main result.
Directory of Open Access Journals (Sweden)
Samet Bessem
2011-01-01
Full Text Available Abstract In this article, we establish coincidence point and common fixed point theorems for mappings satisfying a contractive inequality which involves two generalized altering distance functions in ordered complete metric spaces. As application, we study the existence of a common solution to a system of integral equations. 2000 Mathematics subject classification. Primary 47H10, Secondary 54H25
Holographic Spherically Symmetric Metrics
Petri, Michael
The holographic principle (HP) conjectures, that the maximum number of degrees of freedom of any realistic physical system is proportional to the system's boundary area. The HP has its roots in the study of black holes. It has recently been applied to cosmological solutions. In this article we apply the HP to spherically symmetric static space-times. We find that any regular spherically symmetric object saturating the HP is subject to tight constraints on the (interior) metric, energy-density, temperature and entropy-density. Whenever gravity can be described by a metric theory, gravity is macroscopically scale invariant and the laws of thermodynamics hold locally and globally, the (interior) metric of a regular holographic object is uniquely determined up to a constant factor and the interior matter-state must follow well defined scaling relations. When the metric theory of gravity is general relativity, the interior matter has an overall string equation of state (EOS) and a unique total energy-density. Thus the holographic metric derived in this article can serve as simple interior 4D realization of Mathur's string fuzzball proposal. Some properties of the holographic metric and its possible experimental verification are discussed. The geodesics of the holographic metric describe an isotropically expanding (or contracting) universe with a nearly homogeneous matter-distribution within the local Hubble volume. Due to the overall string EOS the active gravitational mass-density is zero, resulting in a coasting expansion with Ht = 1, which is compatible with the recent GRB-data.
The Non-Signalling theorem in generalizations of Bell's theorem
International Nuclear Information System (INIS)
Walleczek, J; Grössing, G
2014-01-01
Does 'epistemic non-signalling' ensure the peaceful coexistence of special relativity and quantum nonlocality? The possibility of an affirmative answer is of great importance to deterministic approaches to quantum mechanics given recent developments towards generalizations of Bell's theorem. By generalizations of Bell's theorem we here mean efforts that seek to demonstrate the impossibility of any deterministic theories to obey the predictions of Bell's theorem, including not only local hidden-variables theories (LHVTs) but, critically, of nonlocal hidden-variables theories (NHVTs) also, such as de Broglie-Bohm theory. Naturally, in light of the well-established experimental findings from quantum physics, whether or not a deterministic approach to quantum mechanics, including an emergent quantum mechanics, is logically possible, depends on compatibility with the predictions of Bell's theorem. With respect to deterministic NHVTs, recent attempts to generalize Bell's theorem have claimed the impossibility of any such approaches to quantum mechanics. The present work offers arguments showing why such efforts towards generalization may fall short of their stated goal. In particular, we challenge the validity of the use of the non-signalling theorem as a conclusive argument in favor of the existence of free randomness, and therefore reject the use of the non-signalling theorem as an argument against the logical possibility of deterministic approaches. We here offer two distinct counter-arguments in support of the possibility of deterministic NHVTs: one argument exposes the circularity of the reasoning which is employed in recent claims, and a second argument is based on the inconclusive metaphysical status of the non-signalling theorem itself. We proceed by presenting an entirely informal treatment of key physical and metaphysical assumptions, and of their interrelationship, in attempts seeking to generalize Bell's theorem on the
Gleason-Busch theorem for sequential measurements
Flatt, Kieran; Barnett, Stephen M.; Croke, Sarah
2017-12-01
Gleason's theorem is a statement that, given some reasonable assumptions, the Born rule used to calculate probabilities in quantum mechanics is essentially unique [A. M. Gleason, Indiana Univ. Math. J. 6, 885 (1957), 10.1512/iumj.1957.6.56050]. We show that Gleason's theorem contains within it also the structure of sequential measurements, and along with this the state update rule. We give a small set of axioms, which are physically motivated and analogous to those in Busch's proof of Gleason's theorem [P. Busch, Phys. Rev. Lett. 91, 120403 (2003), 10.1103/PhysRevLett.91.120403], from which the familiar Kraus operator form follows. An axiomatic approach has practical relevance as well as fundamental interest, in making clear those assumptions which underlie the security of quantum communication protocols. Interestingly, the two-time formalism is seen to arise naturally in this approach.
Adiabatic Theorem for Quantum Spin Systems
Bachmann, S.; De Roeck, W.; Fraas, M.
2017-08-01
The first proof of the quantum adiabatic theorem was given as early as 1928. Today, this theorem is increasingly applied in a many-body context, e.g., in quantum annealing and in studies of topological properties of matter. In this setup, the rate of variation ɛ of local terms is indeed small compared to the gap, but the rate of variation of the total, extensive Hamiltonian, is not. Therefore, applications to many-body systems are not covered by the proofs and arguments in the literature. In this Letter, we prove a version of the adiabatic theorem for gapped ground states of interacting quantum spin systems, under assumptions that remain valid in the thermodynamic limit. As an application, we give a mathematical proof of Kubo's linear response formula for a broad class of gapped interacting systems. We predict that the density of nonadiabatic excitations is exponentially small in the driving rate and the scaling of the exponent depends on the dimension.
A uniform Tauberian theorem in dynamic games
Khlopin, D. V.
2018-01-01
Antagonistic dynamic games including games represented in normal form are considered. The asymptotic behaviour of value in these games is investigated as the game horizon tends to infinity (Cesàro mean) and as the discounting parameter tends to zero (Abel mean). The corresponding Abelian-Tauberian theorem is established: it is demonstrated that in both families the game value uniformly converges to the same limit, provided that at least one of the limits exists. Analogues of one-sided Tauberian theorems are obtained. An example shows that the requirements are essential even for control problems. Bibliography: 31 titles.
The aftermath of the intermediate value theorem
Directory of Open Access Journals (Sweden)
Morales Claudio H
2004-01-01
Full Text Available The solvability of nonlinear equations has awakened great interest among mathematicians for a number of centuries, perhaps as early as the Babylonian culture (3000300 B.C.E.. However, we intend to bring to our attention that some of the problems studied nowadays appear to be amazingly related to the time of Bolzano's era (17811848. Indeed, this Czech mathematician or perhaps philosopher has rigorously proven what is known today as the intermediate value theorem, a result that is intimately related to various classical theorems that will be discussed throughout this work.
Pauli and the spin-statistics theorem
Duck, Ian M
1997-01-01
This book makes broadly accessible an understandable proof of the infamous spin-statistics theorem. This widely known but little-understood theorem is intended to explain the fact that electrons obey the Pauli exclusion principle. This fact, in turn, explains the periodic table of the elements and their chemical properties. Therefore, this one simply stated fact is responsible for many of the principal features of our universe, from chemistry to solid state physics to nuclear physics to the life cycle of stars.In spite of its fundamental importance, it is only a slight exaggeration to say that
Elastic hadron scattering and optical theorem
Lokajicek, Milos V.; Prochazka, Jiri
2014-01-01
In principle all contemporary phenomenological models of elastic hadronic scattering have been based on the assumption of optical theorem validity that has been overtaken from optics. It will be shown that the given theorem which has not been actually proved cannot be applied to short-ranged strong interactions in any case. The actual progress in description of collision processes might then exist only if the initial states are specified on the basis of impact parameter values of colliding particles and probability dependence on this parameter is established.
At math meetings, enormous theorem eclipses fermat.
Cipra, B
1995-02-10
Hardly a word was said about Fermat's Last Theorem at the joint meetings of the American Mathematical Society and the Mathematical Association of America, held this year from 4 to 7 January in San Francisco. For Andrew Wiles's proof, no news is good news: There are no reports of mistakes. But mathematicians found plenty of other topics to discuss. Among them: a computational breakthrough in the study of turbulent diffusion and progress in slimming down the proof of an important result in group theory, whose original size makes checking the proof of Fermat's Last Theorem look like an afternoon's pastime.
Schweizer, B
2005-01-01
Topics include special classes of probabilistic metric spaces, topologies, and several related structures, such as probabilistic normed and inner-product spaces. 1983 edition, updated with 3 new appendixes. Includes 17 illustrations.
National Research Council Canada - National Science Library
Olson, Teresa; Lee, Harry; Sanders, Johnnie
2002-01-01
.... We have developed the Tracker Performance Metric (TPM) specifically for this purpose. It was designed to measure the output performance, on a frame-by-frame basis, using its output position and quality...
Directory of Open Access Journals (Sweden)
2007-01-01
Full Text Available Many software and IT projects fail in completing theirs objectives because different causes of which the management of the projects has a high weight. In order to have successfully projects, lessons learned have to be used, historical data to be collected and metrics and indicators have to be computed and used to compare them with past projects and avoid failure to happen. This paper presents some metrics that can be used for the IT project management.
Mass Customization Measurements Metrics
DEFF Research Database (Denmark)
Nielsen, Kjeld; Brunø, Thomas Ditlev; Jørgensen, Kaj Asbjørn
2014-01-01
A recent survey has indicated that 17 % of companies have ceased mass customizing less than 1 year after initiating the effort. This paper presents measurement for a company’s mass customization performance, utilizing metrics within the three fundamental capabilities: robust process design, choice...... navigation, and solution space development. A mass customizer when assessing performance with these metrics can identify within which areas improvement would increase competitiveness the most and enable more efficient transition to mass customization....
DEFF Research Database (Denmark)
Rijkhoff, Jan
2008-01-01
Studies in Language 32-3 (2008), 727-752. Special issue: Parts of Speech: Descriptive tools, theoretical constructs Jan Rijkhoff - On flexible and rigid nouns This article argues that in addition to the flexible lexical categories in Hengeveld’s classification of parts-of-speech systems (Contentive......, Non-Verb, Modifier), there are also flexible word classes within the rigid lexical category Noun (Set Noun, Sort Noun, General Noun). Members of flexible word classes are characterized by their vague semantics, which in the case of nouns means that values for the semantic features Shape...... and Homogeneity are either left undetermined or they are specified in such a way that they do not quite match the properties of the kind of entity denoted by the flexible item in the external world. I will then argue that flexible word classes constitute a proper category (i.e. they are not the result of a merger...
Elasticity of Relativistic Rigid Bodies?
Smarandache, Florentin
2013-10-01
In the classical Twin Paradox, according to the Special Theory of Relativity, when the traveling twin blasts off from the Earth to a relative velocity v =√{/3 } 2 c with respect to the Earth, his measuring stick and other physical objects in the direction of relative motion shrink to half their lengths. How is that possible in the real physical world to have let's say a rigid rocket shrinking to half and then later elongated back to normal as an elastic material when it stops? What is the explanation for the traveler's measuring stick and other physical objects, in effect, return to the same length to their original length in the Stay-At-Home, but there is no record of their having shrunk? If it's a rigid (not elastic) object, how can it shrink and then elongate back to normal? It might get broken in such situation.
Functionally rigid bistable [2]rotaxanes
DEFF Research Database (Denmark)
Nygaard, Sune; Leung, Ken C-F; Aprahamian, Ivan
2007-01-01
defines an unambiguous distance of 1.5 nm over which the ring moves between the MPTTF and NP units. The degenerate NP/NP [2]rotaxane was used to investigate the shuttling barrier by dynamic 1H NMR spectroscopy for the movement of the CBPQT4+ ring across the new rigid spacer. It is evident from...... better control over the position of the ring component in the ground state but also for control over the location of the CBPQT4+ ring during solution-state switching experiments, triggered either chemically (1H NMR) or electrochemically (cyclic voltammetry). In this instance, the use of the rigid spacer......Two-station [2]rotaxanes in the shape of a degenerate naphthalene (NP) shuttle and a nondegenerate monopyrrolotetrathiafulvalene (MPTTF)/NP redox-controllable switch have been synthesized and characterized in solution. Their dumbbell-shaped components are composed of polyether chains interrupted...
Rigid body dynamics of mechanisms
Hahn, Hubert
2003-01-01
The second volume of Rigid Body Dynamics of Mechanisms covers applications via a systematic method for deriving model equations of planar and spatial mechanisms. The necessary theoretical foundations have been laid in the first volume that introduces the theoretical mechanical aspects of mechatronic systems. Here the focus is on the application of the modeling methodology to various examples of rigid-body mechanisms, simple planar ones as well as more challenging spatial problems. A rich variety of joint models, active constraints, plus active and passive force elements is treated. The book is intended for self-study by working engineers and students concerned with the control of mechanical systems, i.e. robotics, mechatronics, vehicles, and machine tools. The examples included are a likely source from which to choose models for university lectures.
Associative memory through rigid origami
Murugan, Arvind; Brenner, Michael
2015-03-01
Mechanisms such as Miura Ori have proven useful in diverse contexts since they have only one degree of freedom that is easily controlled. We combine the theory of rigid origami and associative memory in frustrated neural networks to create structures that can ``learn'' multiple generic folding mechanisms and yet can be robustly controlled. We show that such rigid origami structures can ``recall'' a specific learned mechanism when induced by a physical impulse that only need resemble the desired mechanism (i.e. robust recall through association). Such associative memory in matter, seen before in self-assembly, arises due to a balance between local promiscuity (i.e., many local degrees of freedom) and global frustration which minimizes interference between different learned behaviors. Origami with associative memory can lead to a new class of deployable structures and kinetic architectures with multiple context-dependent behaviors.
Rigidity spectrum of Forbush decrease
International Nuclear Information System (INIS)
Sakakibara, S.; Munakata, K.; Nagashima, K.
1985-01-01
Using data from neutron monitors and muon telescopes at surface and underground stations, the average rigidity spectrum of Forbush decreases (Fds) during the period of 1978-1982 were obtained. Thirty eight Ed-events are classified into two groups, Hard Fd and Soft FD according to size of Fd at the Sakashita station. It is found that a spectral form of a fractional-power type (P to the-gamma sub 1 (P+P sub c) to the -gamma sub2) is more suitable than that of a power-exponential type or of a power type with an upper limiting rigidity. The best fitted spectrum of the fractional-power type is expressed by gamma sub1 = 0.37, gamma sub2 = 0.89 and P subc = 10 GV for Hard Fd and gamma sub1 = 0.77, gamma sub2 = 1.02 and P sub c - 14GV for Soft Fd
Signature of Thermal Rigidity Percolation
International Nuclear Information System (INIS)
Huerta, Adrián
2013-01-01
To explore the role that temperature and percolation of rigidity play in determining the macroscopic properties, we propose a model that adds translational degrees of freedom to the spins of the well known Ising hamiltonian. In particular, the Ising model illustrate the longstanding idea that the growth of correlations on approach to a critical point could be describable in terms of the percolation of some sort of p hysical cluster . For certain parameters of this model we observe two well defined peaks of C V , that suggest the existence of two kinds of p hysical percolation , namely connectivity and rigidity percolation. Thermal fluctuations give rise to two different kinds of elementary excitations, i.e. droplets and configuron, as suggested by Angell in the framework of a bond lattice model approach. The later is reflected in the fluctuations of redundant constraints that gives stability to the structure and correlate with the order parameter
Torsional rigidity, isospectrality and quantum graphs
International Nuclear Information System (INIS)
Colladay, Don; McDonald, Patrick; Kaganovskiy, Leon
2017-01-01
We study torsional rigidity for graph and quantum graph analogs of well-known pairs of isospectral non-isometric planar domains. We prove that such isospectral pairs are distinguished by torsional rigidity. (paper)
DEFF Research Database (Denmark)
Fathizadeh, Farzad; Gabriel, Olivier
2016-01-01
structure that it induces on the complex. A Hodge decomposition theorem is proved, which allows us to relate the Euler characteristic of the complex to the index properties of a Hodge–de Rham operator for the perturbed metric. This operator, which is shown to be selfadjoint, is a key ingredient in our...
A note on the Pfaffian integration theorem
International Nuclear Information System (INIS)
Borodin, Alexei; Kanzieper, Eugene
2007-01-01
Two alternative, fairly compact proofs are presented of the Pfaffian integration theorem that surfaced in the recent studies of spectral properties of Ginibre's Orthogonal Ensemble. The first proof is based on a concept of the Fredholm Pfaffian; the second proof is purely linear algebraic. (fast track communication)
Mean value theorem in topological vector spaces
International Nuclear Information System (INIS)
Khan, L.A.
1994-08-01
The aim of this note is to give shorter proofs of the mean value theorem, the mean value inequality, and the mean value inclusion for the class of Gateaux differentiable functions having values in a topological vector space. (author). 6 refs
Generalized Friedland's theorem for C0-semigroups
Cichon, Dariusz; Jung, Il Bong; Stochel, Jan
2008-07-01
Friedland's characterization of bounded normal operators is shown to hold for infinitesimal generators of C0-semigroups. New criteria for normality of bounded operators are furnished in terms of Hamburger moment problem. All this is achieved with the help of the celebrated Ando's theorem on paranormal operators.
Automated theorem proving theory and practice
Newborn, Monty
2001-01-01
As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little computers - relatively little! -can now carry out parallel computations and solve problems in seconds that only a few years ago took days or months. Chess-playing programs are on an even footing with the world's best players. IBM's Deep Blue defeated world champion Garry Kasparov in a match several years ago. Increasingly computers are expected to be more intelligent, to reason, to be able to draw conclusions from given facts, or abstractly, to prove theorems-the subject of this book. Specifically, this book is about two theorem-proving programs, THEO and HERBY. The first four chapters contain introductory material about automated theorem proving and the two programs. This includes material on the language used to express theorems, predicate calculus, and the rules of...
Answering Junior Ant's "Why" for Pythagoras' Theorem
Pask, Colin
2002-01-01
A seemingly simple question in a cartoon about Pythagoras' Theorem is shown to lead to questions about the nature of mathematical proof and the profound relationship between mathematics and science. It is suggested that an analysis of the issues involved could provide a good vehicle for classroom discussions or projects for senior students.…
On Callan's proof of the BPHZ theorem
International Nuclear Information System (INIS)
Lesniewski, A.
1984-01-01
The author gives an elementary proof of the BPHZ theorem in the case of the Euclidean lambdaphi 4 theory. The method of proof relies on a detailed analysis of the skeleton structure of graphs and estimates based on the Callan-Symanzik equations. (Auth.)
A Short Proof of Klee's Theorem
Zanazzi, John J.
2013-01-01
In 1959, Klee proved that a convex body $K$ is a polyhedron if and only if all of its projections are polygons. In this paper, a new proof of this theorem is given for convex bodies in $\\mathbb{R}^3$.
On Noethers theorem in quantum field theory
International Nuclear Information System (INIS)
Buchholz, D.; Doplicher, S.; Longo, R.
1985-03-01
Extending an earlier construction of local generators of symmetries in (S. Doplicher, 1982) to space-time and supersymmetries, we establish a weak form of Noethers theorem in quantum field theory. We also comment on the physical significance of the 'split property', underlying our analysis, and discuss some local aspects of superselection rules following from our results. (orig./HSI)
Green-Tao theorem in function fields
Le, Thai Hoang
2009-01-01
We adapt the proof of the Green-Tao theorem on arithmetic progressions in primes to the setting of polynomials over a finite field, to show that for every $k$, the irreducible polynomials in $\\mathbf{F}_q[t]$ contain configurations of the form $\\{f+ Pg : \\d(P)
Pauli and The Spin-Statistics Theorem
International Nuclear Information System (INIS)
Duck, Ian; Sudarshan, E.C.G.
1998-03-01
This book makes broadly accessible an understandable proof of the infamous spin-statistics theorem. This widely known but little-understood theorem is intended to explain the fact that electrons obey the Pauli exclusion principle. This fact, in turn, explains the periodic table of the elements and their chemical properties.Therefore, this one simply stated fact is responsible for many of the principal features of our universe, from chemistry to solid state physics to nuclear physics to the life cycle of stars.In spite of its fundamental importance, it is only a slight exaggeration to say that 'everyone knows the spin-statistics theorem, but no one understands it'. This book simplifies and clarifies the formal statements of the theorem, and also corrects the invariably flawed intuitive explanations which are frequently put forward. The book will be of interest to many practising physicists in all fields who have long been frustrated by the impenetrable discussions on the subject which have been available until now.It will also be accessible to students at an advanced undergraduate level as an introduction to modern physics based directly on the classical writings of the founders, including Pauli, Dirac, Heisenberg, Einstein and many others
Central Limit Theorem for Coloured Hard Dimers
Directory of Open Access Journals (Sweden)
Maria Simonetta Bernabei
2010-01-01
Full Text Available We study the central limit theorem for a class of coloured graphs. This means that we investigate the limit behavior of certain random variables whose values are combinatorial parameters associated to these graphs. The techniques used at arriving this result comprise combinatorics, generating functions, and conditional expectations.
Reciprocity theorem in high-temperature superconductors
Czech Academy of Sciences Publication Activity Database
Janeček, I.; Vašek, Petr
2003-01-01
Roč. 390, - (2003), s. 330-340 ISSN 0921-4534 R&D Projects: GA ČR GA202/00/1602; GA AV ČR IAA1010919 Institutional research plan: CEZ:AV0Z1010914 Keywords : transport properties * reciprocity theorem Subject RIV: BM - Solid Matter Physics ; Magnetism Impact factor: 1.192, year: 2003
Some Generalizations of Jungck's Fixed Point Theorem
Directory of Open Access Journals (Sweden)
J. R. Morales
2012-01-01
Full Text Available We are going to generalize the Jungck's fixed point theorem for commuting mappings by mean of the concepts of altering distance functions and compatible pair of mappings, as well as, by using contractive inequalities of integral type and contractive inequalities depending on another function.
Limit theorems for functionals of Gaussian vectors
Institute of Scientific and Technical Information of China (English)
Hongshuai DAI; Guangjun SHEN; Lingtao KONG
2017-01-01
Operator self-similar processes,as an extension of self-similar processes,have been studied extensively.In this work,we study limit theorems for functionals of Gaussian vectors.Under some conditions,we determine that the limit of partial sums of functionals of a stationary Gaussian sequence of random vectors is an operator self-similar process.
Bell's theorem and the nature of reality
International Nuclear Information System (INIS)
Bertlmann, R.A.
1988-01-01
We rediscuss the Einstein-Podolsky-Rosen paradox in Bohm's spin version and oppose to it Bohr's controversial point of view. Then we explain Bell's theorem, Bell inequalities and its consequences. We describe the experiment of Aspect, Dalibard and Roger in detail. Finally we draw attention to the nonlocal structure of the underlying theory. 61 refs., 8 tabs. (Author)
A singularity theorem based on spatial averages
Indian Academy of Sciences (India)
journal of. July 2007 physics pp. 31–47. A singularity theorem based on spatial ... In this paper I would like to present a result which confirms – at least partially – ... A detailed analysis of how the model fits in with the .... Further, the statement that the spatial average ...... Financial support under grants FIS2004-01626 and no.
Czech Academy of Sciences Publication Activity Database
Narins, L.; Tran, Tuan
2017-01-01
Roč. 85, č. 2 (2017), s. 496-524 ISSN 0364-9024 Institutional support: RVO:67985807 Keywords : Turán’s theorem * stability method * multipartite version Subject RIV: BA - General Mathematics OBOR OECD: Pure mathematics Impact factor: 0.601, year: 2016
H-theorems from macroscopic autonomous equations
Czech Academy of Sciences Publication Activity Database
De Roeck, W.; Maes, C.; Netočný, Karel
2006-01-01
Roč. 123, č. 3 (2006), s. 571-583 ISSN 0022-4715 Institutional research plan: CEZ:AV0Z10100520 Keywords : H-theorem, entropy * irreversible equations Subject RIV: BE - Theoretical Physics Impact factor: 1.437, year: 2006
Student Research Project: Goursat's Other Theorem
Petrillo, Joseph
2009-01-01
In an elementary undergraduate abstract algebra or group theory course, a student is introduced to a variety of methods for constructing and deconstructing groups. What seems to be missing from contemporary texts and syllabi is a theorem, first proved by Edouard Jean-Baptiste Goursat (1858-1936) in 1889, which completely describes the subgroups of…
On Viviani's Theorem and Its Extensions
Abboud, Elias
2010-01-01
Viviani's theorem states that the sum of distances from any point inside an equilateral triangle to its sides is constant. Here, in an extension of this result, we show, using linear programming, that any convex polygon can be divided into parallel line segments on which the sum of the distances to the sides of the polygon is constant. Let us say…
The Embedding Theorems of Whitney and Nash
Indian Academy of Sciences (India)
We begin by briefly motivating the idea of amanifold and then discuss the embedding theorems of Whitney and Nash that allow us toview these objects inside appropriately large Euclidean spaces. Resonance – Journal of Science Education. Current Issue : Vol. 23, Issue 4. Current Issue Volume 23 | Issue 4. April 2018.
Nash-Williams’ cycle-decomposition theorem
DEFF Research Database (Denmark)
Thomassen, Carsten
2016-01-01
We give an elementary proof of the theorem of Nash-Williams that a graph has an edge-decomposition into cycles if and only if it does not contain an odd cut. We also prove that every bridgeless graph has a collection of cycles covering each edge at least once and at most 7 times. The two results...
General Correlation Theorem for Trinion Fourier Transform
Bahri, Mawardi
2017-01-01
- The trinion Fourier transform is an extension of the Fourier transform in the trinion numbers setting. In this work we derive the correlation theorem for the trinion Fourier transform by using the relation between trinion convolution and correlation definitions in the trinion Fourier transform domains.
Directory of Open Access Journals (Sweden)
SEVER ANGEL POPESCU
2015-03-01
Full Text Available In this note we make some remarks on the classical Laguerre’s theorem and extend it and some other old results of Walsh and Gauss-Lucas to the so called trace series associated with transcendental elements of the completion of the algebraic closure of Q in C, with respect to the spectral norm:
Lagrange’s Four-Square Theorem
Directory of Open Access Journals (Sweden)
Watase Yasushige
2015-02-01
Full Text Available This article provides a formalized proof of the so-called “the four-square theorem”, namely any natural number can be expressed by a sum of four squares, which was proved by Lagrange in 1770. An informal proof of the theorem can be found in the number theory literature, e.g. in [14], [1] or [23].
Anomalous Levinson theorem and supersymmetric quantum mechanics
International Nuclear Information System (INIS)
Boya, L.J.; Casahorran, J.; Esteve, J.G.
1993-01-01
We analyse the symmetry breaking associated to anomalous realization of supersymmetry in the context of SUSY QM. In this case one of the SUSY partners is singular; that leads to peculiar forms of the Levinson theorem relating phase shifts and bound states. Some examples are exhibited; peculiarities include negative energies, incomplete pairing of states and extra phases in scattering. (Author) 8 refs
Another look at the second incompleteness theorem
Visser, A.
2017-01-01
In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is xed and the representation of the axiom set varies. We extend the Feferman framework in one important point: we allow the interpretation
Another look at the second incompleteness theorem
Visser, Albert
2017-01-01
In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the axiom set varies. We extend the Feferman framework in one important point: we allow the
Rigidity of monodromies for Appell's hypergeometric functions
Directory of Open Access Journals (Sweden)
Yoshishige Haraoka
2015-01-01
Full Text Available For monodromy representations of holonomic systems, the rigidity can be defined. We examine the rigidity of the monodromy representations for Appell's hypergeometric functions, and get the representations explicitly. The results show how the topology of the singular locus and the spectral types of the local monodromies work for the study of the rigidity.
On the Leray-Hirsch Theorem for the Lichnerowicz cohomology
International Nuclear Information System (INIS)
Ait Haddoul, Hassan
2004-03-01
The purpose of this paper is to prove the Leray-Hirsch theorem for the Lichnerowicz; cohomology with respect to basic and vertical closed 1-forms. This is a generalization of the Kfirmeth theorem to fiber bundles. (author)
A Note on a Broken-Cycle Theorem for Hypergraphs
Directory of Open Access Journals (Sweden)
Trinks Martin
2014-08-01
Full Text Available Whitney’s Broken-cycle Theorem states the chromatic polynomial of a graph as a sum over special edge subsets. We give a definition of cycles in hypergraphs that preserves the statement of the theorem there
A STRONG OPTIMIZATION THEOREM IN LOCALLY CONVEX SPACES
Institute of Scientific and Technical Information of China (English)
程立新; 腾岩梅
2003-01-01
This paper presents a geometric characterization of convex sets in locally convex spaces onwhich a strong optimization theorem of the Stegall-type holds, and gives Collier's theorem ofw* Asplund spaces a localized setting.
DISCRETE FIXED POINT THEOREMS AND THEIR APPLICATION TO NASH EQUILIBRIUM
Sato, Junichi; Kawasaki, Hidefumi
2007-01-01
Fixed point theorems are powerful tools in not only mathematics but also economic. In some economic problems, we need not real-valued but integer-valued equilibriums. However, classical fixed point theorems guarantee only real-valued equilibria. So we need discrete fixed point theorems in order to get discrete equilibria. In this paper, we first provide discrete fixed point theorems, next apply them to a non-cooperative game and prove the existence of a Nash equilibrium of pure strategies.
A general comparison theorem for backward stochastic differential equations
Cohen, Samuel N.; Elliott, Robert J.; Pearce, Charles E. M.
2010-01-01
A useful result when dealing with backward stochastic differential equations is the comparison theorem of Peng (1992). When the equations are not based on Brownian motion, the comparison theorem no longer holds in general. In this paper we present a condition for a comparison theorem to hold for backward stochastic differential equations based on arbitrary martingales. This theorem applies to both vector and scalar situations. Applications to the theory of nonlinear expectat...
Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally
Salehi, Saeed
2015-01-01
We present a version of Godel's Second Incompleteness Theorem for recursively enumerable consistent extensions of a fixed axiomatizable theory, by incorporating some bi-theoretic version of the derivability conditions (first discussed by M. Detlefsen 2001). We also argue that Tarski's theorem on the Undefinability of Truth is Godel's First Incompleteness Theorem relativized to definable oracles; here a unification of these two theorems is given.
Johnson, Stephen B.; Ghoshal, Sudipto; Haste, Deepak; Moore, Craig
2017-01-01
This paper describes the theory and considerations in the application of metrics to measure the effectiveness of fault management. Fault management refers here to the operational aspect of system health management, and as such is considered as a meta-control loop that operates to preserve or maximize the system's ability to achieve its goals in the face of current or prospective failure. As a suite of control loops, the metrics to estimate and measure the effectiveness of fault management are similar to those of classical control loops in being divided into two major classes: state estimation, and state control. State estimation metrics can be classified into lower-level subdivisions for detection coverage, detection effectiveness, fault isolation and fault identification (diagnostics), and failure prognosis. State control metrics can be classified into response determination effectiveness and response effectiveness. These metrics are applied to each and every fault management control loop in the system, for each failure to which they apply, and probabilistically summed to determine the effectiveness of these fault management control loops to preserve the relevant system goals that they are intended to protect.
Deep Transfer Metric Learning.
Junlin Hu; Jiwen Lu; Yap-Peng Tan; Jie Zhou
2016-12-01
Conventional metric learning methods usually assume that the training and test samples are captured in similar scenarios so that their distributions are assumed to be the same. This assumption does not hold in many real visual recognition applications, especially when samples are captured across different data sets. In this paper, we propose a new deep transfer metric learning (DTML) method to learn a set of hierarchical nonlinear transformations for cross-domain visual recognition by transferring discriminative knowledge from the labeled source domain to the unlabeled target domain. Specifically, our DTML learns a deep metric network by maximizing the inter-class variations and minimizing the intra-class variations, and minimizing the distribution divergence between the source domain and the target domain at the top layer of the network. To better exploit the discriminative information from the source domain, we further develop a deeply supervised transfer metric learning (DSTML) method by including an additional objective on DTML, where the output of both the hidden layers and the top layer are optimized jointly. To preserve the local manifold of input data points in the metric space, we present two new methods, DTML with autoencoder regularization and DSTML with autoencoder regularization. Experimental results on face verification, person re-identification, and handwritten digit recognition validate the effectiveness of the proposed methods.
2016-03-02
whereBψ is any Bregman divergence and ηt is the learning rate parameter. From (Hall & Willett, 2015) we have: Theorem 1. G` = max θ∈Θ,`∈L ‖∇f(θ)‖ φmax = 1...Kullback-Liebler divergence between an initial guess of the matrix that parameterizes the Mahalanobis distance and a solution that satisfies a set of...Bregman divergence and ηt is the learning rate parameter. M̂0, µ̂0 are initialized to some initial value. In [18] a closed-form algorithm for solving
The Interpretability of Inconsistency: Feferman's Theorem and Related Results
Visser, Albert
This paper is an exposition of Feferman's Theorem concerning the interpretability of inconsistency and of further insights directly connected to this result. Feferman's Theorem is a strengthening of the Second Incompleteness Theorem. It says, in metaphorical paraphrase, that it is not just the case
The Interpretability of Inconsistency: Feferman's Theorem and Related Results
Visser, Albert
2014-01-01
This paper is an exposition of Feferman's Theorem concerning the interpretability of inconsistency and of further insights directly connected to this result. Feferman's Theorem is a strengthening of the Second Incompleteness Theorem. It says, in metaphorical paraphrase, that it is not just the case
On Comparison Theorems for Conformable Fractional Differential Equations
Directory of Open Access Journals (Sweden)
Mehmet Zeki Sarikaya
2016-10-01
Full Text Available In this paper the more general comparison theorems for conformable fractional differential equations is proposed and tested. Thus we prove some inequalities for conformable integrals by using the generalization of Sturm's separation and Sturm's comparison theorems. The results presented here would provide generalizations of those given in earlier works. The numerical example is also presented to verify the proposed theorem.
COMPARISON THEOREMS AND APPLICATIONS OF OSCILLATION OF NEUTRAL DIFFERENTIAL EQUATIONS
Institute of Scientific and Technical Information of China (English)
燕居让
1991-01-01
We first establish comparison theorems of the oscillation for a higher-order neutral delaydifferential equation. By these comparison theorems, the criterion of oscillation propertiesof neutral delay differential equation is reduced to that of nonneutral delay differential equa-tion, from which we give a series of oscillation theorems for neutral delay differentialequation.
A generalization of the virial theorem for strongly singular potentials
International Nuclear Information System (INIS)
Gesztesy, F.; Pittner, L.
1978-09-01
Using scale transformations the authors prove a generalization of the virial theorem for the eigenfunctions of non-relativistic Schroedinger Hamiltonians which are defined as the Friedrichs extension of strongly singular differential operators. The theorem also applies to situations where the ground state has divergent kinetic and potential energy and thus the usual version of the virial theorem becomes meaningless. (Auth.)
No-go theorems for the minimization of potentials
International Nuclear Information System (INIS)
Chang, D.; Kumar, A.
1985-01-01
Using a theorem in linear algebra, we prove some no-go theorems in the minimization of potentials related to the problem of symmetry breaking. Some applications in the grand unified model building are mentioned. Another application of the algebraic theorem is also included to demonstrate its usefulness
Search strategy for theorem proving in artificial systems. I
Energy Technology Data Exchange (ETDEWEB)
Lovitskii, V A; Barenboim, M S
1981-01-01
A strategy is contrived, employing the language of finite-order predicate calculus, for finding proofs of theorems. A theorem is formulated, based on 2 known theorems on purity and absorption, and used to determine 5 properties of a set of propositions. 3 references.
Goedel incompleteness theorems and the limits of their applicability. I
International Nuclear Information System (INIS)
Beklemishev, Lev D
2011-01-01
This is a survey of results related to the Goedel incompleteness theorems and the limits of their applicability. The first part of the paper discusses Goedel's own formulations along with modern strengthenings of the first incompleteness theorem. Various forms and proofs of this theorem are compared. Incompleteness results related to algorithmic problems and mathematically natural examples of unprovable statements are discussed. Bibliography: 68 titles.
Birkhoff’s theorem in Lovelock gravity for general base manifolds
Ray, Sourya
2015-10-01
We extend the Birkhoff’s theorem in Lovelock gravity for arbitrary base manifolds using an elementary method. In particular, it is shown that any solution of the form of a warped product of a two-dimensional transverse space and an arbitrary base manifold must be static. Moreover, the field equations restrict the base manifold such that all the non-trivial intrinsic Lovelock tensors of the base manifold are constants, which can be chosen arbitrarily, and the metric in the transverse space is determined by a single function of a spacelike coordinate which satisfies an algebraic equation involving the constants characterizing the base manifold along with the coupling constants.
Energy Technology Data Exchange (ETDEWEB)
Frye, Jason Neal; Veitch, Cynthia K.; Mateski, Mark Elliot; Michalski, John T.; Harris, James Mark; Trevino, Cassandra M.; Maruoka, Scott
2012-03-01
Threats are generally much easier to list than to describe, and much easier to describe than to measure. As a result, many organizations list threats. Fewer describe them in useful terms, and still fewer measure them in meaningful ways. This is particularly true in the dynamic and nebulous domain of cyber threats - a domain that tends to resist easy measurement and, in some cases, appears to defy any measurement. We believe the problem is tractable. In this report we describe threat metrics and models for characterizing threats consistently and unambiguously. The purpose of this report is to support the Operational Threat Assessment (OTA) phase of risk and vulnerability assessment. To this end, we focus on the task of characterizing cyber threats using consistent threat metrics and models. In particular, we address threat metrics and models for describing malicious cyber threats to US FCEB agencies and systems.
Geometry, rigidity, and group actions
Farb, Benson; Zimmer, Robert J
2011-01-01
The study of group actions is more than a hundred years old but remains to this day a vibrant and widely studied topic in a variety of mathematic fields. A central development in the last fifty years is the phenomenon of rigidity, whereby one can classify actions of certain groups, such as lattices in semi-simple Lie groups. This provides a way to classify all possible symmetries of important spaces and all spaces admitting given symmetries. Paradigmatic results can be found in the seminal work of George Mostow, Gergory Margulis, and Robert J. Zimmer, among others.The p
Adaptive metric kernel regression
DEFF Research Database (Denmark)
Goutte, Cyril; Larsen, Jan
2000-01-01
Kernel smoothing is a widely used non-parametric pattern recognition technique. By nature, it suffers from the curse of dimensionality and is usually difficult to apply to high input dimensions. In this contribution, we propose an algorithm that adapts the input metric used in multivariate...... regression by minimising a cross-validation estimate of the generalisation error. This allows to automatically adjust the importance of different dimensions. The improvement in terms of modelling performance is illustrated on a variable selection task where the adaptive metric kernel clearly outperforms...
Adaptive Metric Kernel Regression
DEFF Research Database (Denmark)
Goutte, Cyril; Larsen, Jan
1998-01-01
Kernel smoothing is a widely used nonparametric pattern recognition technique. By nature, it suffers from the curse of dimensionality and is usually difficult to apply to high input dimensions. In this paper, we propose an algorithm that adapts the input metric used in multivariate regression...... by minimising a cross-validation estimate of the generalisation error. This allows one to automatically adjust the importance of different dimensions. The improvement in terms of modelling performance is illustrated on a variable selection task where the adaptive metric kernel clearly outperforms the standard...
On ruled surface in 3-dimensional almost contact metric manifold
Karacan, Murat Kemal; Yuksel, Nural; Ikiz, Hasibe
In this paper, we study ruled surface in 3-dimensional almost contact metric manifolds by using surface theory defined by Gök [Surfaces theory in contact geometry, PhD thesis (2010)]. We also studied the theory of curves using cross product defined by Camcı. In this study, we obtain the distribution parameters of the ruled surface and then some results and theorems are presented with special cases. Moreover, some relationships among asymptotic curve and striction line of the base curve of the ruled surface have been found.
No-go theorem for bimetric gravity with positive and negative mass
International Nuclear Information System (INIS)
Hohmann, Manuel; Wohlfarth, Mattias N. R.
2009-01-01
We argue that the most conservative geometric extension of Einstein gravity describing both positive and negative mass sources and observers is bimetric gravity and contains two copies of standard model matter which interact only gravitationally. Matter fields related to one of the metrics then appear dark from the point of view of an observer defined by the other metric, and so may provide a potential explanation for the dark universe. In this framework we consider the most general form of linearized field equations compatible with physically and mathematically well-motivated assumptions. Using gauge-invariant linear perturbation theory, we prove a no-go theorem ruling out all bimetric gravity theories that, in the Newtonian limit, lead to precisely opposite forces on positive and negative test masses.
A Meinardus Theorem with Multiple Singularities
Granovsky, Boris L.; Stark, Dudley
2012-09-01
Meinardus proved a general theorem about the asymptotics of the number of weighted partitions, when the Dirichlet generating function for weights has a single pole on the positive real axis. Continuing (Granovsky et al., Adv. Appl. Math. 41:307-328, 2008), we derive asymptotics for the numbers of three basic types of decomposable combinatorial structures (or, equivalently, ideal gas models in statistical mechanics) of size n, when their Dirichlet generating functions have multiple simple poles on the positive real axis. Examples to which our theorem applies include ones related to vector partitions and quantum field theory. Our asymptotic formula for the number of weighted partitions disproves the belief accepted in the physics literature that the main term in the asymptotics is determined by the rightmost pole.
Lesovik, G B; Lebedev, A V; Sadovskyy, I A; Suslov, M V; Vinokur, V M
2016-09-12
Remarkable progress of quantum information theory (QIT) allowed to formulate mathematical theorems for conditions that data-transmitting or data-processing occurs with a non-negative entropy gain. However, relation of these results formulated in terms of entropy gain in quantum channels to temporal evolution of real physical systems is not thoroughly understood. Here we build on the mathematical formalism provided by QIT to formulate the quantum H-theorem in terms of physical observables. We discuss the manifestation of the second law of thermodynamics in quantum physics and uncover special situations where the second law can be violated. We further demonstrate that the typical evolution of energy-isolated quantum systems occurs with non-diminishing entropy.
A Geometrical Approach to Bell's Theorem
Rubincam, David Parry
2000-01-01
Bell's theorem can be proved through simple geometrical reasoning, without the need for the Psi function, probability distributions, or calculus. The proof is based on N. David Mermin's explication of the Einstein-Podolsky-Rosen-Bohm experiment, which involves Stern-Gerlach detectors which flash red or green lights when detecting spin-up or spin-down. The statistics of local hidden variable theories for this experiment can be arranged in colored strips from which simple inequalities can be deduced. These inequalities lead to a demonstration of Bell's theorem. Moreover, all local hidden variable theories can be graphed in such a way as to enclose their statistics in a pyramid, with the quantum-mechanical result lying a finite distance beneath the base of the pyramid.
A THEOREM ON CENTRAL VELOCITY DISPERSIONS
International Nuclear Information System (INIS)
An, Jin H.; Evans, N. Wyn
2009-01-01
It is shown that, if the tracer population is supported by a spherical dark halo with a core or a cusp diverging more slowly than that of a singular isothermal sphere (SIS), the logarithmic cusp slope γ of the tracers must be given exactly by γ = 2β, where β is their velocity anisotropy parameter at the center unless the same tracers are dynamically cold at the center. If the halo cusp diverges faster than that of the SIS, the velocity dispersion of the tracers must diverge at the center too. In particular, if the logarithmic halo cusp slope is larger than two, the diverging velocity dispersion also traces the behavior of the potential. The implication of our theorem on projected quantities is also discussed. We argue that our theorem should be understood as a warning against interpreting results based on simplifying assumptions such as isotropy and spherical symmetry.
Asymptotic twistor theory and the Kerr theorem
International Nuclear Information System (INIS)
Newman, Ezra T
2006-01-01
We first review asymptotic twistor theory with its real subspace of null asymptotic twistors: a five-dimensional CR manifold. This is followed by a description of the Kerr theorem (the identification of shear-free null congruences, in Minkowski space, with the zeros of holomorphic functions of three variables) and an asymptotic version of the Kerr theorem that produces regular asymptotically shear-free null geodesic congruences in arbitrary asymptotically flat Einstein or Einstein-Maxwell spacetimes. A surprising aspect of this work is the role played by analytic curves in H-space, each curve generating an asymptotically flat null geodesic congruence. Also there is a discussion of the physical space realizations of the two associated five- and three-dimensional CR manifolds
Theorem of comparative sensitivity of fibre sensors
Belovolov, M. I.; Paramonov, V. M.; Belovolov, M. M.
2017-12-01
We report an analysis of sensitivity of fibre sensors of physical quantities based on different types of interferometers. We formulate and prove the following theorem: under the time-dependent external physical perturbations at nonzero frequencies (i.e., except the static and low-frequency ones) on the sensitive arms of an interferometer in the form of multiturn elements (coils), there exist such lengths L of the measuring arms of the fibre interferometers at which the sensitivity of sensors based on the Sagnac fibre interferometers can be comparable with the sensitivity of sensors based on Michelson, Mach - Zehnder, or Fabry - Perot fibre interferometers, as well as exceed it under similar other conditions (similar-type perturbations, similar arm lengths and single-mode fibre types). The consequences that follow from the theorem, important for practical implementation of arrays of fibre sensors for measurement purposes and the devices with stable metrological properties, are discussed.
Proofs and generalizations of the pythagorean theorem
Directory of Open Access Journals (Sweden)
Lialda B. Cavalcanti
2011-01-01
Full Text Available This article explores a topic developed by a group of researchers of the Science and Technology Teaching School of Instituto Federal de Pernambuco, Brazil (IFPE, in assistance to the development of the Mathematics Practical and Teaching Laboratory of the distance learning Teaching Licensure, financed by the Universidad Abierta de Brasil. In this article, we describe the peculiarities present in the proofs of the Pythagorean theorem with the purpose of illustrating some of these methods. The selection of these peculiarities was founded and based on the comparison of areas by means of the superimposition of geometrical shapes and used several different class resources. Some generalizations of this important theorem in mathematical problem-solving are also shown.
n-Tupled Coincidence Point Theorems in Partially Ordered Metric Spaces for Compatible Mappings
Directory of Open Access Journals (Sweden)
Sumitra Dalal
2014-01-01
Full Text Available The intent of this paper is to introduce the notion of compatible mappings for n-tupled coincidence points due to (Imdad et al. (2013. Related examples are also given to support our main results. Our results are the generalizations of the results of (Gnana Bhaskar and Lakshmikantham (2006, Lakshmikantham and Ćirić (2009, Choudhury and Kundu (2010, and Choudhary et al. (2013.
Tice, Bradley S.
Metrical phonology, a linguistic process of phonological stress assessment and diagrammatic simplification of sentence and word stress, is discussed as it is found in the English language with the intention that it may be used in second language instruction. Stress is defined by its physical and acoustical correlates, and the principles of…
Engineering performance metrics
Delozier, R.; Snyder, N.
1993-03-01
Implementation of a Total Quality Management (TQM) approach to engineering work required the development of a system of metrics which would serve as a meaningful management tool for evaluating effectiveness in accomplishing project objectives and in achieving improved customer satisfaction. A team effort was chartered with the goal of developing a system of engineering performance metrics which would measure customer satisfaction, quality, cost effectiveness, and timeliness. The approach to developing this system involved normal systems design phases including, conceptual design, detailed design, implementation, and integration. The lessons teamed from this effort will be explored in this paper. These lessons learned may provide a starting point for other large engineering organizations seeking to institute a performance measurement system accomplishing project objectives and in achieving improved customer satisfaction. To facilitate this effort, a team was chartered to assist in the development of the metrics system. This team, consisting of customers and Engineering staff members, was utilized to ensure that the needs and views of the customers were considered in the development of performance measurements. The development of a system of metrics is no different than the development of any type of system. It includes the steps of defining performance measurement requirements, measurement process conceptual design, performance measurement and reporting system detailed design, and system implementation and integration.
Metrics for Probabilistic Geometries
DEFF Research Database (Denmark)
Tosi, Alessandra; Hauberg, Søren; Vellido, Alfredo
2014-01-01
the distribution over mappings is given by a Gaussian process. We treat the corresponding latent variable model as a Riemannian manifold and we use the expectation of the metric under the Gaussian process prior to define interpolating paths and measure distance between latent points. We show how distances...
The self-normalized Donsker theorem revisited
Parczewski, Peter
2016-01-01
We extend the Poincar\\'{e}--Borel lemma to a weak approximation of a Brownian motion via simple functionals of uniform distributions on n-spheres in the Skorokhod space $D([0,1])$. This approach is used to simplify the proof of the self-normalized Donsker theorem in Cs\\"{o}rg\\H{o} et al. (2003). Some notes on spheres with respect to $\\ell_p$-norms are given.
The untyped stack calculus and Bohm's theorem
Directory of Open Access Journals (Sweden)
Alberto Carraro
2013-03-01
Full Text Available The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus. We present a simple extension of stack calculus which is for the stack calculus what Saurin's Lambda-mu is for lambda-mu.
Gauge Invariance and the Goldstone Theorem
Guralnik, Gerald S.
This paper was originally created for and printed in the "Proceedings of seminar on unified theories of elementary particles" held in Feldafing, Germany from July 5 to 16, 1965 under the auspices of the Max-Planck-Institute for Physics and Astrophysics in Munich. It details and expands upon the 1964 Guralnik, Hagen, and Kibble paper demonstrating that the Goldstone theorem does not require physical zero mass particles in gauge theories.
A remark on three-surface theorem
International Nuclear Information System (INIS)
Lu Zhujia
1991-01-01
The three-surface theorem for uniformly elliptic differential inequalities with nonpositive coefficient of zero-order term in some domain D is included in R n becomes trivial if the maximum of u on two separate boundary surface of D is nonpositive. We give a method in this paper for obtaining a nontrivial estimate of the maximum of u on a family of closed surfaces. (author). 2 refs
Asynchronous networks: modularization of dynamics theorem
Bick, Christian; Field, Michael
2017-02-01
Building on the first part of this paper, we develop the theory of functional asynchronous networks. We show that a large class of functional asynchronous networks can be (uniquely) represented as feedforward networks connecting events or dynamical modules. For these networks we can give a complete description of the network function in terms of the function of the events comprising the network: the modularization of dynamics theorem. We give examples to illustrate the main results.
Fractional and integer charges from Levinson's theorem
International Nuclear Information System (INIS)
Farhi, E.; Graham, N.; Jaffe, R.L.; Weigel, H.
2001-01-01
We compute fractional and integer fermion quantum numbers of static background field configurations using phase shifts and Levinson's theorem. By extending fermionic scattering theory to arbitrary dimensions, we implement dimensional regularization in a (1+1)-dimensional gauge theory. We demonstrate that this regularization procedure automatically eliminates the anomaly in the vector current that a naive regulator would produce. We also apply these techniques to bag models in one and three dimensions
Theorems for asymptotic safety of gauge theories
Energy Technology Data Exchange (ETDEWEB)
Bond, Andrew D.; Litim, Daniel F. [University of Sussex, Department of Physics and Astronomy, Brighton (United Kingdom)
2017-06-15
We classify the weakly interacting fixed points of general gauge theories coupled to matter and explain how the competition between gauge and matter fluctuations gives rise to a rich spectrum of high- and low-energy fixed points. The pivotal role played by Yukawa couplings is emphasised. Necessary and sufficient conditions for asymptotic safety of gauge theories are also derived, in conjunction with strict no go theorems. Implications for phase diagrams of gauge theories and physics beyond the Standard Model are indicated. (orig.)
Optical theorem, depolarization and vector tomography
International Nuclear Information System (INIS)
Toperverg, B.P.
2003-01-01
A law of the total flux conservation is formulated in the form of the optical theorem. It is employed to explicitly derive equations for the description of the neutron polarization within the range of the direct beam defined by its angular divergence. General considerations are illustrated by calculations using the Born and Eikonal approximations. Results are briefly discussed as applied to Larmor-Fourier tomography
Central limit theorem and deformed exponentials
International Nuclear Information System (INIS)
Vignat, C; Plastino, A
2007-01-01
The central limit theorem (CLT) can be ranked among the most important ones in probability theory and statistics and plays an essential role in several basic and applied disciplines, notably in statistical thermodynamics. We show that there exists a natural extension of the CLT from exponentials to so-called deformed exponentials (also denoted as q-Gaussians). Our proposal applies exactly in the usual conditions in which the classical CLT is used. (fast track communication)
Convergence theorems for quasi-contractive mappings
International Nuclear Information System (INIS)
Chidume, C.E.
1992-01-01
It is proved that each of two well known fixed point iteration methods (the Mann and Ishikawa iteration methods) converges strongly, without any compactness assumption on the domain of the map, to the unique fixed point of a quasi-contractive map in real Banach spacers with property (U, α, m+1, m). These Banach spaces include the L p (or l p ) spaces, p ≥ 2. Our theorems generalize important known results. (author). 29 refs
Optical theorem for heavy-ion scattering
International Nuclear Information System (INIS)
Schwarzschild, A.Z.; Auerbach, E.H.; Fuller, R.C.; Kahana, S.
1976-01-01
An heuristic derivation is given of an equivalent of the optical theorem stated in the charged situation with the remainder or nuclear elastic scattering amplitude defined as a difference of elastic and Coulomb amplitudes. To test the detailed behavior of this elastic scattering amplitude and the cross section, calculations were performed for elastic scattering of 18 O + 58 Ni, 136 Xe + 209 Bi, 84 Kr + 208 Pb, and 11 B + 26 Mg at 63.42 to 114 MeV
Applications of Wck's theorem, ch. 17
International Nuclear Information System (INIS)
Brussaard, P.J.; Glaudemans, P.W.M.
1977-01-01
Wick's theorem is introduced and used to write the many-body Hamiltonian in a selfconsistent basis. The terms of a perturbation expansion are evaluated with the use of the second-quantization formalism.The correspondence with Feyman diagrams is demonstrated. For some nuclei a description in terms of particle-hole configurations is quite convenient. The simplest case, i.e. one-particle, one-hole states, is treated
Theorem Proving In Higher Order Logics
Carreno, Victor A. (Editor); Munoz, Cesar A.; Tahar, Sofiene
2002-01-01
The TPHOLs International Conference serves as a venue for the presentation of work in theorem proving in higher-order logics and related areas in deduction, formal specification, software and hardware verification, and other applications. Fourteen papers were submitted to Track B (Work in Progress), which are included in this volume. Authors of Track B papers gave short introductory talks that were followed by an open poster session. The FCM 2002 Workshop aimed to bring together researchers working on the formalisation of continuous mathematics in theorem proving systems with those needing such libraries for their applications. Many of the major higher order theorem proving systems now have a formalisation of the real numbers and various levels of real analysis support. This work is of interest in a number of application areas, such as formal methods development for hardware and software application and computer supported mathematics. The FCM 2002 consisted of three papers, presented by their authors at the workshop venue, and one invited talk.
The universality of the Carnot theorem
International Nuclear Information System (INIS)
Gonzalez-Ayala, Julian; Angulo-Brown, F
2013-01-01
It is common in many thermodynamics textbooks to illustrate the Carnot theorem through the use of diverse state equations for gases, paramagnets, and other simple thermodynamic systems. As is well known, the universality of the Carnot efficiency is easily demonstrated in a temperature–entropy diagram, which means that η C is independent of the working substance. In this paper we remark that the universality of the Carnot theorem goes beyond conventional state equations, and is fulfilled by gas state equations that do not correspond to an ideal gas in the dilution limit, namely V → ∞. Some of these unconventional state equations have certain thermodynamic ‘anomalies’ that nonetheless do not forbid them from obeying the Carnot theorem. We discuss how this very general behaviour arises from Maxwell relations, which are connected with a geometrical property expressed through preserving area transformations. A rule is proposed to calculate the Maxwell relations associated with a thermodynamic system by using the preserving area relationships. In this way it is possible to calculate the number of possible preserving area mappings by giving the number of possible Jacobian identities between all pairs of thermodynamic variables included in the corresponding Gibbs equation. This paper is intended for undergraduates and specialists in thermodynamics and related areas. (paper)
Soft theorems from conformal field theory
International Nuclear Information System (INIS)
Lipstein, Arthur E.
2015-01-01
Strominger and collaborators recently proposed that soft theorems for gauge and gravity amplitudes can be interpreted as Ward identities of a 2d CFT at null infinity. In this paper, we will consider a specific realization of this CFT known as ambitwistor string theory, which describes 4d Yang-Mills and gravity with any amount of supersymmetry. Using 4d ambtwistor string theory, we derive soft theorems in the form of an infinite series in the soft momentum which are valid to subleading order in gauge theory and sub-subleading order in gravity. Furthermore, we describe how the algebra of soft limits can be encoded in the braiding of soft vertex operators on the worldsheet and point out a simple relation between soft gluon and soft graviton vertex operators which suggests an interesting connection to color-kinematics duality. Finally, by considering ambitwistor string theory on a genus one worldsheet, we compute the 1-loop correction to the subleading soft graviton theorem due to infrared divergences.
Joint probability distributions and fluctuation theorems
International Nuclear Information System (INIS)
García-García, Reinaldo; Kolton, Alejandro B; Domínguez, Daniel; Lecomte, Vivien
2012-01-01
We derive various exact results for Markovian systems that spontaneously relax to a non-equilibrium steady state by using joint probability distribution symmetries of different entropy production decompositions. The analytical approach is applied to diverse problems such as the description of the fluctuations induced by experimental errors, for unveiling symmetries of correlation functions appearing in fluctuation–dissipation relations recently generalized to non-equilibrium steady states, and also for mapping averages between different trajectory-based dynamical ensembles. Many known fluctuation theorems arise as special instances of our approach for particular twofold decompositions of the total entropy production. As a complement, we also briefly review and synthesize the variety of fluctuation theorems applying to stochastic dynamics of both continuous systems described by a Langevin dynamics and discrete systems obeying a Markov dynamics, emphasizing how these results emerge from distinct symmetries of the dynamical entropy of the trajectory followed by the system. For Langevin dynamics, we embed the 'dual dynamics' with a physical meaning, and for Markov systems we show how the fluctuation theorems translate into symmetries of modified evolution operators
International Nuclear Information System (INIS)
Roege, Paul E.; Collier, Zachary A.; Mancillas, James; McDonagh, John A.; Linkov, Igor
2014-01-01
Energy lies at the backbone of any advanced society and constitutes an essential prerequisite for economic growth, social order and national defense. However there is an Achilles heel to today's energy and technology relationship; namely a precarious intimacy between energy and the fiscal, social, and technical systems it supports. Recently, widespread and persistent disruptions in energy systems have highlighted the extent of this dependence and the vulnerability of increasingly optimized systems to changing conditions. Resilience is an emerging concept that offers to reconcile considerations of performance under dynamic environments and across multiple time frames by supplementing traditionally static system performance measures to consider behaviors under changing conditions and complex interactions among physical, information and human domains. This paper identifies metrics useful to implement guidance for energy-related planning, design, investment, and operation. Recommendations are presented using a matrix format to provide a structured and comprehensive framework of metrics relevant to a system's energy resilience. The study synthesizes previously proposed metrics and emergent resilience literature to provide a multi-dimensional model intended for use by leaders and practitioners as they transform our energy posture from one of stasis and reaction to one that is proactive and which fosters sustainable growth. - Highlights: • Resilience is the ability of a system to recover from adversity. • There is a need for methods to quantify and measure system resilience. • We developed a matrix-based approach to generate energy resilience metrics. • These metrics can be used in energy planning, system design, and operations
Software Quality Assurance Metrics
McRae, Kalindra A.
2004-01-01
Software Quality Assurance (SQA) is a planned and systematic set of activities that ensures conformance of software life cycle processes and products conform to requirements, standards and procedures. In software development, software quality means meeting requirements and a degree of excellence and refinement of a project or product. Software Quality is a set of attributes of a software product by which its quality is described and evaluated. The set of attributes includes functionality, reliability, usability, efficiency, maintainability, and portability. Software Metrics help us understand the technical process that is used to develop a product. The process is measured to improve it and the product is measured to increase quality throughout the life cycle of software. Software Metrics are measurements of the quality of software. Software is measured to indicate the quality of the product, to assess the productivity of the people who produce the product, to assess the benefits derived from new software engineering methods and tools, to form a baseline for estimation, and to help justify requests for new tools or additional training. Any part of the software development can be measured. If Software Metrics are implemented in software development, it can save time, money, and allow the organization to identify the caused of defects which have the greatest effect on software development. The summer of 2004, I worked with Cynthia Calhoun and Frank Robinson in the Software Assurance/Risk Management department. My task was to research and collect, compile, and analyze SQA Metrics that have been used in other projects that are not currently being used by the SA team and report them to the Software Assurance team to see if any metrics can be implemented in their software assurance life cycle process.
Kohn's theorem, Larmor's equivalence principle and the Newton-Hooke group
International Nuclear Information System (INIS)
Gibbons, G.W.; Pope, C.N.
2011-01-01
Highlights: → We show that non-relativistic electrons moving in a magnetic field with trapping potential admits as relativity group the Newton-Hooke group. → We use this fact to give a group theoretic interpretation of Kohn's theorem and to obtain the spectrum. → We obtain the lightlike lift of the system exhibiting showing it coincides with the Nappi-Witten spacetime. - Abstract: We consider non-relativistic electrons, each of the same charge to mass ratio, moving in an external magnetic field with an interaction potential depending only on the mutual separations, possibly confined by a harmonic trapping potential. We show that the system admits a 'relativity group' which is a one-parameter family of deformations of the standard Galilei group to the Newton-Hooke group which is a Wigner-Inoenue contraction of the de Sitter group. This allows a group-theoretic interpretation of Kohn's theorem and related results. Larmor's theorem is used to show that the one-parameter family of deformations are all isomorphic. We study the 'Eisenhart' or 'lightlike' lift of the system, exhibiting it as a pp-wave. In the planar case, the Eisenhart lift is the Brdicka-Eardley-Nappi-Witten pp-wave solution of Einstein-Maxwell theory, which may also be regarded as a bi-invariant metric on the Cangemi-Jackiw group.
Four theorems on the psychometric function.
May, Keith A; Solomon, Joshua A
2013-01-01
In a 2-alternative forced-choice (2AFC) discrimination task, observers choose which of two stimuli has the higher value. The psychometric function for this task gives the probability of a correct response for a given stimulus difference, Δx. This paper proves four theorems about the psychometric function. Assuming the observer applies a transducer and adds noise, Theorem 1 derives a convenient general expression for the psychometric function. Discrimination data are often fitted with a Weibull function. Theorem 2 proves that the Weibull "slope" parameter, β, can be approximated by β(Noise) x β(Transducer), where β(Noise) is the β of the Weibull function that fits best to the cumulative noise distribution, and β(Transducer) depends on the transducer. We derive general expressions for β(Noise) and β(Transducer), from which we derive expressions for specific cases. One case that follows naturally from our general analysis is Pelli's finding that, when d' ∝ (Δx)(b), β ≈ β(Noise) x b. We also consider two limiting cases. Theorem 3 proves that, as sensitivity improves, 2AFC performance will usually approach that for a linear transducer, whatever the actual transducer; we show that this does not apply at signal levels where the transducer gradient is zero, which explains why it does not apply to contrast detection. Theorem 4 proves that, when the exponent of a power-function transducer approaches zero, 2AFC performance approaches that of a logarithmic transducer. We show that the power-function exponents of 0.4-0.5 fitted to suprathreshold contrast discrimination data are close enough to zero for the fitted psychometric function to be practically indistinguishable from that of a log transducer. Finally, Weibull β reflects the shape of the noise distribution, and we used our results to assess the recent claim that internal noise has higher kurtosis than a Gaussian. Our analysis of β for contrast discrimination suggests that, if internal noise is stimulus
Four theorems on the psychometric function.
Directory of Open Access Journals (Sweden)
Keith A May
Full Text Available In a 2-alternative forced-choice (2AFC discrimination task, observers choose which of two stimuli has the higher value. The psychometric function for this task gives the probability of a correct response for a given stimulus difference, Δx. This paper proves four theorems about the psychometric function. Assuming the observer applies a transducer and adds noise, Theorem 1 derives a convenient general expression for the psychometric function. Discrimination data are often fitted with a Weibull function. Theorem 2 proves that the Weibull "slope" parameter, β, can be approximated by β(Noise x β(Transducer, where β(Noise is the β of the Weibull function that fits best to the cumulative noise distribution, and β(Transducer depends on the transducer. We derive general expressions for β(Noise and β(Transducer, from which we derive expressions for specific cases. One case that follows naturally from our general analysis is Pelli's finding that, when d' ∝ (Δx(b, β ≈ β(Noise x b. We also consider two limiting cases. Theorem 3 proves that, as sensitivity improves, 2AFC performance will usually approach that for a linear transducer, whatever the actual transducer; we show that this does not apply at signal levels where the transducer gradient is zero, which explains why it does not apply to contrast detection. Theorem 4 proves that, when the exponent of a power-function transducer approaches zero, 2AFC performance approaches that of a logarithmic transducer. We show that the power-function exponents of 0.4-0.5 fitted to suprathreshold contrast discrimination data are close enough to zero for the fitted psychometric function to be practically indistinguishable from that of a log transducer. Finally, Weibull β reflects the shape of the noise distribution, and we used our results to assess the recent claim that internal noise has higher kurtosis than a Gaussian. Our analysis of β for contrast discrimination suggests that, if internal noise is
Convexity and the Euclidean Metric of Space-Time
Directory of Open Access Journals (Sweden)
Nikolaos Kalogeropoulos
2017-02-01
Full Text Available We address the reasons why the “Wick-rotated”, positive-definite, space-time metric obeys the Pythagorean theorem. An answer is proposed based on the convexity and smoothness properties of the functional spaces purporting to provide the kinematic framework of approaches to quantum gravity. We employ moduli of convexity and smoothness which are eventually extremized by Hilbert spaces. We point out the potential physical significance that functional analytical dualities play in this framework. Following the spirit of the variational principles employed in classical and quantum Physics, such Hilbert spaces dominate in a generalized functional integral approach. The metric of space-time is induced by the inner product of such Hilbert spaces.
Enterprise Sustainment Metrics
2015-06-19
are negatively impacting KPIs” (Parmenter, 2010: 31). In the current state, the Air Force’s AA and PBL metrics are once again split . AA does...must have the authority to “take immediate action to rectify situations that are negatively impacting KPIs” (Parmenter, 2010: 31). 3. Measuring...highest profitability and shareholder value for each company” (2014: 273). By systematically diagraming a process, either through a swim lane flowchart
Construction of self-dual codes in the Rosenbloom-Tsfasman metric
Krisnawati, Vira Hari; Nisa, Anzi Lina Ukhtin
2017-12-01
Linear code is a very basic code and very useful in coding theory. Generally, linear code is a code over finite field in Hamming metric. Among the most interesting families of codes, the family of self-dual code is a very important one, because it is the best known error-correcting code. The concept of Hamming metric is develop into Rosenbloom-Tsfasman metric (RT-metric). The inner product in RT-metric is different from Euclid inner product that is used to define duality in Hamming metric. Most of the codes which are self-dual in Hamming metric are not so in RT-metric. And, generator matrix is very important to construct a code because it contains basis of the code. Therefore in this paper, we give some theorems and methods to construct self-dual codes in RT-metric by considering properties of the inner product and generator matrix. Also, we illustrate some examples for every kind of the construction.
Weakly Compatible Mappings along with $CLR_{S}$ property in Fuzzy Metric Spaces
Directory of Open Access Journals (Sweden)
Saurabh Manro
2013-11-01
Full Text Available The aim of this work is to use newly introduced property, which is so called common limit in the range $(CLR_{S}$ for four self-mappings, and prove some theorems which satisfy this property. Moreover, we establish some new existence of a common fixed point theorem for generalized contractive mappings in fuzzy metric spaces by using this new property and give some examples to support our results. Ours results does not require condition of closeness of range and so our theorems generalize, unify, and extend many results in literature. Our results improve and extend the results of Cho et al. [4], Pathak et al. [20] and Imdad et. al. [10] besides several known results.
Symmetries of the dual metrics
International Nuclear Information System (INIS)
Baleanu, D.
1998-01-01
The geometric duality between the metric g μν and a Killing tensor K μν is studied. The conditions were found when the symmetries of the metric g μν and the dual metric K μν are the same. Dual spinning space was constructed without introduction of torsion. The general results are applied to the case of Kerr-Newmann metric
Kerr metric in cosmological background
Energy Technology Data Exchange (ETDEWEB)
Vaidya, P C [Gujarat Univ., Ahmedabad (India). Dept. of Mathematics
1977-06-01
A metric satisfying Einstein's equation is given which in the vicinity of the source reduces to the well-known Kerr metric and which at large distances reduces to the Robertson-Walker metric of a nomogeneous cosmological model. The radius of the event horizon of the Kerr black hole in the cosmological background is found out.
Stochastic thermodynamics, fluctuation theorems and molecular machines
International Nuclear Information System (INIS)
Seifert, Udo
2012-01-01
Stochastic thermodynamics as reviewed here systematically provides a framework for extending the notions of classical thermodynamics such as work, heat and entropy production to the level of individual trajectories of well-defined non-equilibrium ensembles. It applies whenever a non-equilibrium process is still coupled to one (or several) heat bath(s) of constant temperature. Paradigmatic systems are single colloidal particles in time-dependent laser traps, polymers in external flow, enzymes and molecular motors in single molecule assays, small biochemical networks and thermoelectric devices involving single electron transport. For such systems, a first-law like energy balance can be identified along fluctuating trajectories. For a basic Markovian dynamics implemented either on the continuum level with Langevin equations or on a discrete set of states as a master equation, thermodynamic consistency imposes a local-detailed balance constraint on noise and rates, respectively. Various integral and detailed fluctuation theorems, which are derived here in a unifying approach from one master theorem, constrain the probability distributions for work, heat and entropy production depending on the nature of the system and the choice of non-equilibrium conditions. For non-equilibrium steady states, particularly strong results hold like a generalized fluctuation–dissipation theorem involving entropy production. Ramifications and applications of these concepts include optimal driving between specified states in finite time, the role of measurement-based feedback processes and the relation between dissipation and irreversibility. Efficiency and, in particular, efficiency at maximum power can be discussed systematically beyond the linear response regime for two classes of molecular machines, isothermal ones such as molecular motors, and heat engines such as thermoelectric devices, using a common framework based on a cycle decomposition of entropy production. (review article)
The implicit function theorem history, theory, and applications
Krantz, Steven G
2003-01-01
The implicit function theorem is part of the bedrock of mathematics analysis and geometry. Finding its genesis in eighteenth century studies of real analytic functions and mechanics, the implicit and inverse function theorems have now blossomed into powerful tools in the theories of partial differential equations, differential geometry, and geometric analysis. There are many different forms of the implicit function theorem, including (i) the classical formulation for Ck functions, (ii) formulations in other function spaces, (iii) formulations for non-smooth function, (iv) formulations for functions with degenerate Jacobian. Particularly powerful implicit function theorems, such as the Nash-Moser theorem, have been developed for specific applications (e.g., the imbedding of Riemannian manifolds). All of these topics, and many more, are treated in the present volume. The history of the implicit function theorem is a lively and complex store, and intimately bound up with the development of fundamental ideas in a...
Some fixed point theorems in fuzzy reflexive Banach spaces
International Nuclear Information System (INIS)
Sadeqi, I.; Solaty kia, F.
2009-01-01
In this paper, we first show that there are some gaps in the fixed point theorems for fuzzy non-expansive mappings which are proved by Bag and Samanta, in [Bag T, Samanta SK. Fixed point theorems on fuzzy normed linear spaces. Inf Sci 2006;176:2910-31; Bag T, Samanta SK. Some fixed point theorems in fuzzy normed linear spaces. Inform Sci 2007;177(3):3271-89]. By introducing the notion of fuzzy and α- fuzzy reflexive Banach spaces, we obtain some results which help us to establish the correct version of fuzzy fixed point theorems. Second, by applying Theorem 3.3 of Sadeqi and Solati kia [Sadeqi I, Solati kia F. Fuzzy normed linear space and it's topological structure. Chaos, Solitons and Fractals, in press] which says that any fuzzy normed linear space is also a topological vector space, we show that all topological version of fixed point theorems do hold in fuzzy normed linear spaces.
On the inverse of the Pomeranchuk theorem
International Nuclear Information System (INIS)
Nagy, E.
1977-04-01
The Pomeranchuk theorem is valid only for bounded total cross sections at infinite energies, and for arbitrarily rising cross sections one cannot prove the zero asymptotic limit of the difference of the particle and antiparticle total cross sections. In the paper the problem is considered from the inverse point of view. It is proved using dispersion relations that if the total cross sections rise with some power of logarithm and the difference of the particle and antiparticle total cross sections remain finite, then the real to imaginary ratios of both the particle and antiparticle forward scattering amplitudes are bounded. (Sz.N.Z.)
Noncommutative gauge theories and Kontsevich's formality theorem
International Nuclear Information System (INIS)
Jurco, B.; Schupp, P.; Wess, J.
2001-01-01
The equivalence of star products that arise from the background field with and without fluctuations and Kontsevich's formality theorem allow an explicitly construction of a map that relates ordinary gauge theory and noncommutative gauge theory (Seiberg-Witten map.) Using noncommutative extra dimensions the construction is extended to noncommutative nonabelian gauge theory for arbitrary gauge groups; as a byproduct we obtain a 'Mini Seiberg-Witten map' that explicitly relates ordinary abelian and nonabelian gauge fields. All constructions are also valid for non-constant B-field, and even more generally for any Poisson tensor
The Invariance and the General CCT Theorems
Stancu, Alin
2010-01-01
The \\begin{it} Invariance Theorem \\end{it} of M. Gerstenhaber and S. D. Schack states that if $\\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category $\\mathbb{A}$-$\\mathbf{mod}$ and its subdivided category $\\mathbb{A}'$-$\\mathbf{mod}$. In this paper we generalize this result and show that the subdivision functor is a full and faithful functor between two suitable derived categories of $\\mathbb{A}$-$\\mathb...
No-cloning theorem on quantum logics
International Nuclear Information System (INIS)
Miyadera, Takayuki; Imai, Hideki
2009-01-01
This paper discusses the no-cloning theorem in a logicoalgebraic approach. In this approach, an orthoalgebra is considered as a general structure for propositions in a physical theory. We proved that an orthoalgebra admits cloning operation if and only if it is a Boolean algebra. That is, only classical theory admits the cloning of states. If unsharp propositions are to be included in the theory, then a notion of effect algebra is considered. We proved that an atomic Archimedean effect algebra admitting cloning operation is a Boolean algebra. This paper also presents a partial result, indicating a relation between the cloning on effect algebras and hidden variables.
Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem
Directory of Open Access Journals (Sweden)
Juliana Bueno-Soler
2016-09-01
Full Text Available This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs. We show that LFIs encode very naturally an extension of the notion of probability able to express sophisticated probabilistic reasoning under contradictions employing appropriate notions of conditional probability and paraconsistent updating, via a version of Bayes’ theorem for conditionalization. We argue that the dissimilarity between the notions of inconsistency and contradiction, one of the pillars of LFIs, plays a central role in our extended notion of probability. Some critical historical and conceptual points about probability theory are also reviewed.
Stone's representation theorem in fuzzy topology
Institute of Scientific and Technical Information of China (English)
刘应明; 张德学
2003-01-01
In this paper, a complete solution to the problem of Stone's repesentation theorem in fuzzy topology is given for a class of completely distributive lattices. Precisely, it is proved that if L is a frame such that 0 ∈ L is a prime or 1 ∈ L is a coprime, then the category of distributive lattices is dually equivalent to the category of coherent L-locales and that if L is moreover completely distributive, then the category of distributive lattices is dually equivalent to the category of coherent stratified L-topological spaces.
Soft theorems for shift-symmetric cosmologies
Finelli, Bernardo; Goon, Garrett; Pajer, Enrico; Santoni, Luca
2018-03-01
We derive soft theorems for single-clock cosmologies that enjoy a shift symmetry. These so-called consistency conditions arise from a combination of a large diffeomorphism and the internal shift symmetry and fix the squeezed limit of all correlators with a soft scalar mode. As an application, we show that our results reproduce the squeezed bispectrum for ultra-slow-roll inflation, a particular shift-symmetric, nonattractor model which is known to violate Maldacena's consistency relation. Similar results have been previously obtained by Mooij and Palma using background-wave methods. Our results shed new light on the infrared structure of single-clock cosmological spacetimes.
Central limit theorems under special relativity.
McKeague, Ian W
2015-04-01
Several relativistic extensions of the Maxwell-Boltzmann distribution have been proposed, but they do not explain observed lognormal tail-behavior in the flux distribution of various astrophysical sources. Motivated by this question, extensions of classical central limit theorems are developed under the conditions of special relativity. The results are related to CLTs on locally compact Lie groups developed by Wehn, Stroock and Varadhan, but in this special case the asymptotic distribution has an explicit form that is readily seen to exhibit lognormal tail behavior.
Fixed point theorems in spaces and -trees
Directory of Open Access Journals (Sweden)
Kirk WA
2004-01-01
Full Text Available We show that if is a bounded open set in a complete space , and if is nonexpansive, then always has a fixed point if there exists such that for all . It is also shown that if is a geodesically bounded closed convex subset of a complete -tree with , and if is a continuous mapping for which for some and all , then has a fixed point. It is also noted that a geodesically bounded complete -tree has the fixed point property for continuous mappings. These latter results are used to obtain variants of the classical fixed edge theorem in graph theory.
Logic for computer science foundations of automatic theorem proving
Gallier, Jean H
2015-01-01
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in fir
On Pythagoras Theorem for Products of Spectral Triples
D'Andrea, Francesco; Martinetti, Pierre
2013-01-01
We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some un...
A remark on the energy conditions for Hawking's area theorem
Lesourd, Martin
2018-06-01
Hawking's area theorem is a fundamental result in black hole theory that is universally associated with the null energy condition. That this condition can be weakened is illustrated by the formulation of a strengthened version of the theorem based on an energy condition that allows for violations of the null energy condition. With the semi-classical context in mind, some brief remarks pertaining to the suitability of the area theorem and its energy condition are made.
The direct Flow parametric Proof of Gauss' Divergence Theorem revisited
Markvorsen, Steen
2006-01-01
The standard proof of the divergence theorem in undergraduate calculus courses covers the theorem for static domains between two graph surfaces. We show that within first year undergraduate curriculum, the flow proof of the dynamic version of the divergence theorem - which is usually considered only much later in more advanced math courses - is comprehensible with only a little extension of the first year curriculum. Moreover, it is more intuitive than the static proof. We support this intuit...
A Converse to the Cayley-Hamilton Theorem
Indian Academy of Sciences (India)
follows that qj = api, where a is a unit. Thus, we must have that the expansion of I into irreducibles is unique. Hence, K[x] is a UFD. A famous theorem of Gauss implies that K[XI' X2,. ,xn] is also an UFD. Gauss's Theorem: R[x] is a UFD, if and only if R is a UFD. For a proof of Gauss's theorem and a detailed proof of the fact that ...
The Surprise Examination Paradox and the Second Incompleteness Theorem
Kritchman, Shira; Raz, Ran
2010-01-01
We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We then go the other way around and suggest that the second incompleteness theorem gives a possible resolution of the surprise examination paradox. Roughly speaking, we argue that the flaw in the derivation of the paradox is that it contains a hidden assumption that one can prove the consistency of the...
Goedel incompleteness theorems and the limits of their applicability. I
Energy Technology Data Exchange (ETDEWEB)
Beklemishev, Lev D [Steklov Mathematical Institute, Russian Academy of Sciences, Moscow (Russian Federation)
2011-01-25
This is a survey of results related to the Goedel incompleteness theorems and the limits of their applicability. The first part of the paper discusses Goedel's own formulations along with modern strengthenings of the first incompleteness theorem. Various forms and proofs of this theorem are compared. Incompleteness results related to algorithmic problems and mathematically natural examples of unprovable statements are discussed. Bibliography: 68 titles.
From Einstein's theorem to Bell's theorem: a history of quantum non-locality
Wiseman, H. M.
2006-04-01
In this Einstein Year of Physics it seems appropriate to look at an important aspect of Einstein's work that is often down-played: his contribution to the debate on the interpretation of quantum mechanics. Contrary to physics ‘folklore’, Bohr had no defence against Einstein's 1935 attack (the EPR paper) on the claimed completeness of orthodox quantum mechanics. I suggest that Einstein's argument, as stated most clearly in 1946, could justly be called Einstein's reality locality completeness theorem, since it proves that one of these three must be false. Einstein's instinct was that completeness of orthodox quantum mechanics was the falsehood, but he failed in his quest to find a more complete theory that respected reality and locality. Einstein's theorem, and possibly Einstein's failure, inspired John Bell in 1964 to prove his reality locality theorem. This strengthened Einstein's theorem (but showed the futility of his quest) by demonstrating that either reality or locality is a falsehood. This revealed the full non-locality of the quantum world for the first time.
Topological orders in rigid states
International Nuclear Information System (INIS)
Wen, X.G.
1990-01-01
The authors study a new kind of ordering topological order in rigid states (the states with no local gapless excitations). This paper concentrates on characterization of the different topological orders. As an example the authors discuss in detail chiral spin states of 2+1 dimensional spin systems. Chiral spin states are described by the topological Chern-Simons theories in the continuum limit. The authors show that the topological orders can be characterized by a non-Abelian gauge structure over the moduli space which parametrizes a family of the model Hamiltonians supporting topologically ordered ground states. In 2 + 1 dimensions, the non-Abelian gauge structure determines possible fractional statistics of the quasi-particle excitations over the topologically ordered ground states. The dynamics of the low lying global excitations is shown to be independent of random spatial dependent perturbations. The ground state degeneracy and the non-Abelian gauge structures discussed in this paper are very robust, even against those perturbations that break translation symmetry. The authors also discuss the symmetry properties of the degenerate ground states of chiral spin states. The authors find that some degenerate ground states of chiral spin states on torus carry non-trivial quantum numbers of the 90 degrees rotation
Restrictive metric regularity and generalized differential calculus in Banach spaces
Directory of Open Access Journals (Sweden)
Bingwu Wang
2004-10-01
Full Text Available We consider nonlinear mappings f:XÃ¢Â†Â’Y between Banach spaces and study the notion of restrictive metric regularity of f around some point xÃ‚Â¯, that is, metric regularity of f from X into the metric space E=f(X. Some sufficient as well as necessary and sufficient conditions for restrictive metric regularity are obtained, which particularly include an extension of the classical Lyusternik-Graves theorem in the case when f is strictly differentiable at xÃ‚Â¯ but its strict derivative Ã¢ÂˆÂ‡f(xÃ‚Â¯ is not surjective. We develop applications of the results obtained and some other techniques in variational analysis to generalized differential calculus involving normal cones to nonsmooth and nonconvex sets, coderivatives of set-valued mappings, as well as first-order and second-order subdifferentials of extended real-valued functions.
Learning Low-Dimensional Metrics
Jain, Lalit; Mason, Blake; Nowak, Robert
2017-01-01
This paper investigates the theoretical foundations of metric learning, focused on three key questions that are not fully addressed in prior work: 1) we consider learning general low-dimensional (low-rank) metrics as well as sparse metrics; 2) we develop upper and lower (minimax)bounds on the generalization error; 3) we quantify the sample complexity of metric learning in terms of the dimension of the feature space and the dimension/rank of the underlying metric;4) we also bound the accuracy ...
Generalizations of the Nash Equilibrium Theorem in the KKM Theory
Directory of Open Access Journals (Sweden)
Sehie Park
2010-01-01
Full Text Available The partial KKM principle for an abstract convex space is an abstract form of the classical KKM theorem. In this paper, we derive generalized forms of the Ky Fan minimax inequality, the von Neumann-Sion minimax theorem, the von Neumann-Fan intersection theorem, the Fan-type analytic alternative, and the Nash equilibrium theorem for abstract convex spaces satisfying the partial KKM principle. These results are compared with previously known cases for G-convex spaces. Consequently, our results unify and generalize most of previously known particular cases of the same nature. Finally, we add some detailed historical remarks on related topics.
Randomized central limit theorems: A unified theory.
Eliazar, Iddo; Klafter, Joseph
2010-08-01
The central limit theorems (CLTs) characterize the macroscopic statistical behavior of large ensembles of independent and identically distributed random variables. The CLTs assert that the universal probability laws governing ensembles' aggregate statistics are either Gaussian or Lévy, and that the universal probability laws governing ensembles' extreme statistics are Fréchet, Weibull, or Gumbel. The scaling schemes underlying the CLTs are deterministic-scaling all ensemble components by a common deterministic scale. However, there are "random environment" settings in which the underlying scaling schemes are stochastic-scaling the ensemble components by different random scales. Examples of such settings include Holtsmark's law for gravitational fields and the Stretched Exponential law for relaxation times. In this paper we establish a unified theory of randomized central limit theorems (RCLTs)-in which the deterministic CLT scaling schemes are replaced with stochastic scaling schemes-and present "randomized counterparts" to the classic CLTs. The RCLT scaling schemes are shown to be governed by Poisson processes with power-law statistics, and the RCLTs are shown to universally yield the Lévy, Fréchet, and Weibull probability laws.
Birth of a theorem a mathematical adventure
Villani, Cédric
2015-01-01
This man could plainly do for mathematics what Brian Cox has done for physics" (Sunday Times). What goes on inside the mind of a rock-star mathematician? Where does inspiration come from? With a storyteller's gift, Cedric Villani takes us on a mesmerising journey as he wrestles with a new theorem that will win him the most coveted prize in mathematics. Along the way he encounters obstacles and setbacks, losses of faith and even brushes with madness. His story is one of courage and partnership, doubt and anxiety, elation and despair. We discover how it feels to be obsessed by a theorem during your child's cello practise and throughout your dreams, why appreciating maths is a bit like watching an episode of Columbo, and how sometimes inspiration only comes from locking yourself away in a dark room to think. Blending science with history, biography with myth, Villani conjures up an inimitable cast of characters including the omnipresent Einstein, mad genius Kurt Godel, and Villani's personal hero, John Nash. Bir...
Global Attractivity Results for Mixed-Monotone Mappings in Partially Ordered Complete Metric Spaces
Directory of Open Access Journals (Sweden)
Kalabušić S
2009-01-01
Full Text Available We prove fixed point theorems for mixed-monotone mappings in partially ordered complete metric spaces which satisfy a weaker contraction condition than the classical Banach contraction condition for all points that are related by given ordering. We also give a global attractivity result for all solutions of the difference equation , where satisfies mixed-monotone conditions with respect to the given ordering.
Directory of Open Access Journals (Sweden)
N. Shahzad
2013-01-01
Full Text Available In 1994, Matthews introduced the notion of partial metric space with the aim of providing a quantitative mathematical model suitable for program verification. Concretely, Matthews proved a partial metric version of the celebrated Banach fixed point theorem which has become an appropriate quantitative fixed point technique to capture the meaning of recursive denotational specifications in programming languages. In this paper we show that a few assumptions in statement of Matthews fixed point theorem can be relaxed in order to provide a quantitative fixed point technique useful to analyze the meaning of the aforementioned recursive denotational specifications in programming languages. In particular, we prove a new fixed point theorem for self-mappings between partial metric spaces in which the completeness has been replaced by 0-completeness and the contractive condition has been weakened in such a way that the new one best fits the requirements of practical problems in denotational semantics. Moreover, we provide examples that show that the hypothesis in the statement of our new result cannot be weakened. Finally, we show the potential applicability of the developed theory by means of analyzing a few concrete recursive denotational specifications, some of them admitting a unique meaning and others supporting multiple ones.
Metrics with vanishing quantum corrections
International Nuclear Information System (INIS)
Coley, A A; Hervik, S; Gibbons, G W; Pope, C N
2008-01-01
We investigate solutions of the classical Einstein or supergravity equations that solve any set of quantum corrected Einstein equations in which the Einstein tensor plus a multiple of the metric is equated to a symmetric conserved tensor T μν (g αβ , ∂ τ g αβ , ∂ τ ∂ σ g αβ , ...,) constructed from sums of terms, the involving contractions of the metric and powers of arbitrary covariant derivatives of the curvature tensor. A classical solution, such as an Einstein metric, is called universal if, when evaluated on that Einstein metric, T μν is a multiple of the metric. A Ricci flat classical solution is called strongly universal if, when evaluated on that Ricci flat metric, T μν vanishes. It is well known that pp-waves in four spacetime dimensions are strongly universal. We focus attention on a natural generalization; Einstein metrics with holonomy Sim(n - 2) in which all scalar invariants are zero or constant. In four dimensions we demonstrate that the generalized Ghanam-Thompson metric is weakly universal and that the Goldberg-Kerr metric is strongly universal; indeed, we show that universality extends to all four-dimensional Sim(2) Einstein metrics. We also discuss generalizations to higher dimensions
Hamilton-Jacobi theorems for regular reducible Hamiltonian systems on a cotangent bundle
Wang, Hong
2017-09-01
In this paper, some of formulations of Hamilton-Jacobi equations for Hamiltonian system and regular reduced Hamiltonian systems are given. At first, an important lemma is proved, and it is a modification for the corresponding result of Abraham and Marsden (1978), such that we can prove two types of geometric Hamilton-Jacobi theorem for a Hamiltonian system on the cotangent bundle of a configuration manifold, by using the symplectic form and dynamical vector field. Then these results are generalized to the regular reducible Hamiltonian system with symmetry and momentum map, by using the reduced symplectic form and the reduced dynamical vector field. The Hamilton-Jacobi theorems are proved and two types of Hamilton-Jacobi equations, for the regular point reduced Hamiltonian system and the regular orbit reduced Hamiltonian system, are obtained. As an application of the theoretical results, the regular point reducible Hamiltonian system on a Lie group is considered, and two types of Lie-Poisson Hamilton-Jacobi equation for the regular point reduced system are given. In particular, the Type I and Type II of Lie-Poisson Hamilton-Jacobi equations for the regular point reduced rigid body and heavy top systems are shown, respectively.
Observations on the Darboux coordinates for rigid special geometry
Ferrara, Sergio; Ferrara, Sergio; Macia, Oscar
2006-01-01
We exploit some relations which exist when (rigid) special geometry is formulated in real symplectic special coordinates $P^I=(p^\\Lambda,q_\\Lambda), I=1,...,2n$. The central role of the real $2n\\times 2n$ matrix $M(\\Re \\mathcal{F},\\Im \\mathcal{F})$, where $\\mathcal{F} = \\partial_\\Lambda\\partial_\\Sigma F$ and $F$ is the holomorphic prepotential, is elucidated in the real formalism. The property $M\\Omega M=\\Omega$ with $\\Omega$ being the invariant symplectic form is used to prove several identities in the Darboux formulation. In this setting the matrix $M$ coincides with the (negative of the) Hessian matrix $H(S)=\\frac{\\partial^2 S}{\\partial P^I\\partial P^J}$ of a certain hamiltonian real function $S(P)$, which also provides the metric of the special K\\"ahler manifold. When $S(P)=S(U+\\bar U)$ is regarded as a "K\\"ahler potential'' of a complex manifold with coordinates $U^I=\\frac12(P^I+iZ^I)$, then it provides a K\\"ahler metric of an hyperk\\"ahler manifold which describes the hypermultiplet geometry obtained by...
Sharp metric obstructions for quasi-Einstein metrics
Case, Jeffrey S.
2013-02-01
Using the tractor calculus to study smooth metric measure spaces, we adapt results of Gover and Nurowski to give sharp metric obstructions to the existence of quasi-Einstein metrics on suitably generic manifolds. We do this by introducing an analogue of the Weyl tractor W to the setting of smooth metric measure spaces. The obstructions we obtain can be realized as tensorial invariants which are polynomial in the Riemann curvature tensor and its divergence. By taking suitable limits of their tensorial forms, we then find obstructions to the existence of static potentials, generalizing to higher dimensions a result of Bartnik and Tod, and to the existence of potentials for gradient Ricci solitons.
A perceptron network theorem prover for the propositional calculus
Drossaers, M.F.J.
In this paper a short introduction to neural networks and a design for a perceptron network theorem prover for the propositional calculus are presented. The theorem prover is a representation of a variant of the semantic tableau method, called the parallel tableau method, by a network of
Leaning on Socrates to Derive the Pythagorean Theorem
Percy, Andrew; Carr, Alistair
2010-01-01
The one theorem just about every student remembers from school is the theorem about the side lengths of a right angled triangle which Euclid attributed to Pythagoras when writing Proposition 47 of "The Elements". Usually first met in middle school, the student will be continually exposed throughout their mathematical education to the…
A new proof of the positive energy theorem
International Nuclear Information System (INIS)
Witten, E.
1981-01-01
A new proof is given of the positive energy theorem of classical general relativity. Also, a new proof is given that there are no asymptotically Euclidean gravitational instantons. (These theorems have been proved previously, by a different method, by Schoen and Yau). The relevance of these results to the stability of Minkowski space is discussed. (orig.)
COMPARISON THEOREM OF BACKWARD DOUBLY STOCHASTIC DIFFERENTIAL EQUATIONS
Institute of Scientific and Technical Information of China (English)
无
2010-01-01
This paper is devoted to deriving a comparison theorem of solutions to backward doubly stochastic differential equations driven by Brownian motion and backward It-Kunita integral. By the application of this theorem, we give an existence result of the solutions to these equations with continuous coefficients.
The Boundary Crossing Theorem and the Maximal Stability Interval
Directory of Open Access Journals (Sweden)
Jorge-Antonio López-Renteria
2011-01-01
useful tools in the study of the stability of family of polynomials. Although both of these theorem seem intuitively obvious, they can be used for proving important results. In this paper, we give generalizations of these two theorems and we apply such generalizations for finding the maximal stability interval.
K S Krishnan's 1948 Perception of the Sampling Theorem
Indian Academy of Sciences (India)
K S Krishnan's 1948 Perception of the. Sampling Theorem. Raiiah Simon is a. Professor at the Institute of Mathematical. Sciences, Chennai. His primary interests are in classical and quantum optics, geometric phases, group theoretical techniques and quantum information science. Keywords. Sompling theorem, K S ...
On Frobenius, Mazur, and Gelfand-Mazur theorems on division ...
African Journals Online (AJOL)
... R of real numbers, the field C of complex numbers, or the non-commutative algebra Q of quaternions. Gelfand [15] proved that every normed division algebra over the field C is isomorphic to C. He named this theorem, which is fundamental for the development of the theory of Banach Algebras, the Gelfand-Mazur theorem.
An extension of Brosowski-Meinardus theorem on invariant approximation
International Nuclear Information System (INIS)
Liaqat Ali Khan; Abdul Rahim Khan.
1991-07-01
We obtain a generalization of a fixed point theorem of Dotson for non-expansive mappings on star-shaped sets and then use it to prove a unified Brosowski-Meinardus theorem on invariant approximation in the setting of p-normed linear spaces. (author). 13 refs
A general conservative extension theorem in process algebras with inequalities
d' Argenio, P.R.; Verhoef, Chris
1997-01-01
We prove a general conservative extension theorem for transition system based process theories with easy-to-check and reasonable conditions. The core of this result is another general theorem which gives sufficient conditions for a system of operational rules and an extension of it in order to
A power counting theorem for Feynman integrals on the lattice
International Nuclear Information System (INIS)
Reisz, T.
1988-01-01
A convergence theorem is proved, which states sufficient conditions for the existence of the continuum limit for a wide class of Feynman integrals on a space-time lattice. A new kind of a UV-divergence degree is introduced, which allows the formulation of the theorem in terms of power counting conditions. (orig.)
A Hohenberg-Kohn theorem for non-local potentials
International Nuclear Information System (INIS)
Meron, E.; Katriel, J.
1977-01-01
It is shown that within any class of commuting one-body potentials a Hohenberg-Kohn type theorem is satisfied with respect to an appropriately defined density. The Hohenberg-Kohn theorem for local potentials follows as a special case. (Auth.)
A note on the homomorphism theorem for hemirings
Directory of Open Access Journals (Sweden)
D. M. Olson
1978-01-01
Full Text Available The fundamental homomorphism theorem for rings is not generally applicable in hemiring theory. In this paper, we show that for the class of N-homomorphism of hemirings the fundamental theorem is valid. In addition, the concept of N-homomorphism is used to prove that every hereditarily semisubtractive hemiring is of type (K.
On the Riesz representation theorem and integral operators ...
African Journals Online (AJOL)
We present a Riesz representation theorem in the setting of extended integration theory as introduced in [6]. The result is used to obtain boundedness theorems for integral operators in the more general setting of spaces of vector valued extended integrable functions. Keywords: Vector integral, integral operators, operator ...
Completion of a Dislocated Metric Space
Directory of Open Access Journals (Sweden)
P. Sumati Kumari
2015-01-01
Full Text Available We provide a construction for the completion of a dislocated metric space (abbreviated d-metric space; we also prove that the completion of the metric associated with a d-metric coincides with the metric associated with the completion of the d-metric.
Metric adjusted skew information
DEFF Research Database (Denmark)
Hansen, Frank
2008-01-01
) that vanishes for observables commuting with the state. We show that the skew information is a convex function on the manifold of states. It also satisfies other requirements, proposed by Wigner and Yanase, for an effective measure-of-information content of a state relative to a conserved observable. We...... establish a connection between the geometrical formulation of quantum statistics as proposed by Chentsov and Morozova and measures of quantum information as introduced by Wigner and Yanase and extended in this article. We show that the set of normalized Morozova-Chentsov functions describing the possible......We extend the concept of Wigner-Yanase-Dyson skew information to something we call "metric adjusted skew information" (of a state with respect to a conserved observable). This "skew information" is intended to be a non-negative quantity bounded by the variance (of an observable in a state...
Bell's "Theorem": loopholes vs. conceptual flaws
Kracklauer, A. F.
2017-12-01
An historical overview and detailed explication of a critical analysis of what has become known as Bell's Theorem to the effect that, it should be impossible to extend Quantum Theory with the addition of local, real variables so as to obtain a version free of the ambiguous and preternatural features of the currently accepted interpretations is presented. The central point on which this critical analysis, due originally to Edwin Jaynes, is that Bell incorrectly applied probabilistic formulas involving conditional probabilities. In addition, mathematical technicalities that have complicated the understanding of the logical or mathematical setting in which current theory and experimentation are embedded, are discussed. Finally, some historical speculations on the sociological environment, in particular misleading aspects, in which recent generations of physicists lived and worked are mentioned.
A Theorem on Grid Access Control
Institute of Scientific and Technical Information of China (English)
XU ZhiWei(徐志伟); BU GuanYing(卜冠英)
2003-01-01
The current grid security research is mainly focused on the authentication of grid systems. A problem to be solved by grid systems is to ensure consistent access control. This problem is complicated because the hosts in a grid computing environment usually span multiple autonomous administrative domains. This paper presents a grid access control model, based on asynchronous automata theory and the classic Bell-LaPadula model. This model is useful to formally study the confidentiality and integrity problems in a grid computing environment. A theorem is proved, which gives the necessary and sufficient conditions to a grid to maintain confidentiality.These conditions are the formalized descriptions of local (node) relations or relationship between grid subjects and node subjects.
Theorem Proving in Intel Hardware Design
O'Leary, John
2009-01-01
For the past decade, a framework combining model checking (symbolic trajectory evaluation) and higher-order logic theorem proving has been in production use at Intel. Our tools and methodology have been used to formally verify execution cluster functionality (including floating-point operations) for a number of Intel products, including the Pentium(Registered TradeMark)4 and Core(TradeMark)i7 processors. Hardware verification in 2009 is much more challenging than it was in 1999 - today s CPU chip designs contain many processor cores and significant firmware content. This talk will attempt to distill the lessons learned over the past ten years, discuss how they apply to today s problems, outline some future directions.
Virial Theorem in Nonlocal Newtonian Gravity
Directory of Open Access Journals (Sweden)
Bahram Mashhoon
2016-05-01
Full Text Available Nonlocal gravity is the recent classical nonlocal generalization of Einstein’s theory of gravitation in which the past history of the gravitational field is taken into account. In this theory, nonlocality appears to simulate dark matter. The virial theorem for the Newtonian regime of nonlocal gravity theory is derived and its consequences for “isolated” astronomical systems in virial equilibrium at the present epoch are investigated. In particular, for a sufficiently isolated nearby galaxy in virial equilibrium, the galaxy’s baryonic diameter D 0 —namely, the diameter of the smallest sphere that completely surrounds the baryonic system at the present time—is predicted to be larger than the effective dark matter fraction f D M times a universal length that is the basic nonlocality length scale λ 0 ≈ 3 ± 2 kpc.
On a curvature-statistics theorem
International Nuclear Information System (INIS)
Calixto, M; Aldaya, V
2008-01-01
The spin-statistics theorem in quantum field theory relates the spin of a particle to the statistics obeyed by that particle. Here we investigate an interesting correspondence or connection between curvature (κ = ±1) and quantum statistics (Fermi-Dirac and Bose-Einstein, respectively). The interrelation between both concepts is established through vacuum coherent configurations of zero modes in quantum field theory on the compact O(3) and noncompact O(2; 1) (spatial) isometry subgroups of de Sitter and Anti de Sitter spaces, respectively. The high frequency limit, is retrieved as a (zero curvature) group contraction to the Newton-Hooke (harmonic oscillator) group. We also make some comments on the physical significance of the vacuum energy density and the cosmological constant problem.
On a curvature-statistics theorem
Energy Technology Data Exchange (ETDEWEB)
Calixto, M [Departamento de Matematica Aplicada y Estadistica, Universidad Politecnica de Cartagena, Paseo Alfonso XIII 56, 30203 Cartagena (Spain); Aldaya, V [Instituto de Astrofisica de Andalucia, Apartado Postal 3004, 18080 Granada (Spain)], E-mail: Manuel.Calixto@upct.es
2008-08-15
The spin-statistics theorem in quantum field theory relates the spin of a particle to the statistics obeyed by that particle. Here we investigate an interesting correspondence or connection between curvature ({kappa} = {+-}1) and quantum statistics (Fermi-Dirac and Bose-Einstein, respectively). The interrelation between both concepts is established through vacuum coherent configurations of zero modes in quantum field theory on the compact O(3) and noncompact O(2; 1) (spatial) isometry subgroups of de Sitter and Anti de Sitter spaces, respectively. The high frequency limit, is retrieved as a (zero curvature) group contraction to the Newton-Hooke (harmonic oscillator) group. We also make some comments on the physical significance of the vacuum energy density and the cosmological constant problem.
An interlacing theorem for reversible Markov chains
International Nuclear Information System (INIS)
Grone, Robert; Salamon, Peter; Hoffmann, Karl Heinz
2008-01-01
Reversible Markov chains are an indispensable tool in the modeling of a vast class of physical, chemical, biological and statistical problems. Examples include the master equation descriptions of relaxing physical systems, stochastic optimization algorithms such as simulated annealing, chemical dynamics of protein folding and Markov chain Monte Carlo statistical estimation. Very often the large size of the state spaces requires the coarse graining or lumping of microstates into fewer mesoscopic states, and a question of utmost importance for the validity of the physical model is how the eigenvalues of the corresponding stochastic matrix change under this operation. In this paper we prove an interlacing theorem which gives explicit bounds on the eigenvalues of the lumped stochastic matrix. (fast track communication)
An interlacing theorem for reversible Markov chains
Energy Technology Data Exchange (ETDEWEB)
Grone, Robert; Salamon, Peter [Department of Mathematics and Statistics, San Diego State University, San Diego, CA 92182-7720 (United States); Hoffmann, Karl Heinz [Institut fuer Physik, Technische Universitaet Chemnitz, D-09107 Chemnitz (Germany)
2008-05-30
Reversible Markov chains are an indispensable tool in the modeling of a vast class of physical, chemical, biological and statistical problems. Examples include the master equation descriptions of relaxing physical systems, stochastic optimization algorithms such as simulated annealing, chemical dynamics of protein folding and Markov chain Monte Carlo statistical estimation. Very often the large size of the state spaces requires the coarse graining or lumping of microstates into fewer mesoscopic states, and a question of utmost importance for the validity of the physical model is how the eigenvalues of the corresponding stochastic matrix change under this operation. In this paper we prove an interlacing theorem which gives explicit bounds on the eigenvalues of the lumped stochastic matrix. (fast track communication)
Asset management using an extended Markowitz theorem
Directory of Open Access Journals (Sweden)
Paria Karimi
2014-06-01
Full Text Available Markowitz theorem is one of the most popular techniques for asset management. The method has been widely used to solve many applications, successfully. In this paper, we present a multi objective Markowitz model to determine asset allocation by considering cardinality constraints. The resulted model is an NP-Hard problem and the proposed study uses two metaheuristics, namely genetic algorithm (GA and particle swarm optimization (PSO to find efficient solutions. The proposed study has been applied on some data collected from Tehran Stock Exchange over the period 2009-2011. The study considers four objectives including cash return, 12-month return, 36-month return and Lower Partial Moment (LPM. The results indicate that there was no statistical difference between the implementation of PSO and GA methods.
Analysis of Switched-Rigid Floating Oscillator
Directory of Open Access Journals (Sweden)
Prabhakar R. Marur
2009-01-01
Full Text Available In explicit finite element simulations, a technique called deformable-to-rigid (D2R switching is used routinely to reduce the computation time. Using the D2R option, the deformable parts in the model can be switched to rigid and reverted back to deformable when needed during the analysis. The time of activation of D2R however influences the overall dynamics of the system being analyzed. In this paper, a theoretical basis for the selection of time of rigid switching based on system energy is established. A floating oscillator problem is investigated for this purpose and closed-form analytical expressions are derived for different phases in rigid switching. The analytical expressions are validated by comparing the theoretical results with numerical computations.
Rigid pricing and rationally inattentive consumer
Czech Academy of Sciences Publication Activity Database
Matějka, Filip
158 B, July (2015), s. 656-678 ISSN 0022-0531 Institutional support: PRVOUK-P23 Keywords : rational inattention * imperfect information * nominal rigidity Subject RIV: AH - Economics Impact factor: 1.097, year: 2015
Rigid pricing and rationally inattentive consumer
Czech Academy of Sciences Publication Activity Database
Matějka, Filip
158 B, July (2015), s. 656-678 ISSN 0022-0531 Institutional support: RVO:67985998 Keywords : rational inattention * imperfect information * nominal rigidity Subject RIV: AH - Economics Impact factor: 1.097, year: 2015
Soft soils reinforced by rigid vertical inclusions
Directory of Open Access Journals (Sweden)
Iulia-Victoria NEAGOE
2013-12-01
Full Text Available Reinforcement of soft soils by rigid vertical inclusions is an increasingly used technique over the last few years. The system consists of rigid or semi-rigid vertical inclusions and a granular platform for the loads transfer from the structure to the inclusions. This technique aims to reduce the differential settlements both at ground level as below the structure. Reinforcement by rigid inclusions is mainly used for foundation works for large commercial and industrial platforms, storage tanks, wastewater treatment plants, wind farms, bridges, roads, railway embankments. The subject is one of interest as it proves the recently concerns at international level in research and design; however, most studies deal more with the static behavior and less with the dynamic one.
The metric system: An introduction
Energy Technology Data Exchange (ETDEWEB)
Lumley, S.M.
1995-05-01
On July 13, 1992, Deputy Director Duane Sewell restated the Laboratory`s policy on conversion to the metric system which was established in 1974. Sewell`s memo announced the Laboratory`s intention to continue metric conversion on a reasonable and cost effective basis. Copies of the 1974 and 1992 Administrative Memos are contained in the Appendix. There are three primary reasons behind the Laboratory`s conversion to the metric system. First, Public Law 100-418, passed in 1988, states that by the end of fiscal year 1992 the Federal Government must begin using metric units in grants, procurements, and other business transactions. Second, on July 25, 1991, President George Bush signed Executive Order 12770 which urged Federal agencies to expedite conversion to metric units. Third, the contract between the University of California and the Department of Energy calls for the Laboratory to convert to the metric system. Thus, conversion to the metric system is a legal requirement and a contractual mandate with the University of California. Public Law 100-418 and Executive Order 12770 are discussed in more detail later in this section, but first they examine the reasons behind the nation`s conversion to the metric system. The second part of this report is on applying the metric system.
Attack-Resistant Trust Metrics
Levien, Raph
The Internet is an amazingly powerful tool for connecting people together, unmatched in human history. Yet, with that power comes great potential for spam and abuse. Trust metrics are an attempt to compute the set of which people are trustworthy and which are likely attackers. This chapter presents two specific trust metrics developed and deployed on the Advogato Website, which is a community blog for free software developers. This real-world experience demonstrates that the trust metrics fulfilled their goals, but that for good results, it is important to match the assumptions of the abstract trust metric computation to the real-world implementation.
The metric system: An introduction
Lumley, Susan M.
On 13 Jul. 1992, Deputy Director Duane Sewell restated the Laboratory's policy on conversion to the metric system which was established in 1974. Sewell's memo announced the Laboratory's intention to continue metric conversion on a reasonable and cost effective basis. Copies of the 1974 and 1992 Administrative Memos are contained in the Appendix. There are three primary reasons behind the Laboratory's conversion to the metric system. First, Public Law 100-418, passed in 1988, states that by the end of fiscal year 1992 the Federal Government must begin using metric units in grants, procurements, and other business transactions. Second, on 25 Jul. 1991, President George Bush signed Executive Order 12770 which urged Federal agencies to expedite conversion to metric units. Third, the contract between the University of California and the Department of Energy calls for the Laboratory to convert to the metric system. Thus, conversion to the metric system is a legal requirement and a contractual mandate with the University of California. Public Law 100-418 and Executive Order 12770 are discussed in more detail later in this section, but first they examine the reasons behind the nation's conversion to the metric system. The second part of this report is on applying the metric system.
Metric-adjusted skew information
DEFF Research Database (Denmark)
Liang, Cai; Hansen, Frank
2010-01-01
on a bipartite system and proved superadditivity of the Wigner-Yanase-Dyson skew informations for such states. We extend this result to the general metric-adjusted skew information. We finally show that a recently introduced extension to parameter values 1 ...We give a truly elementary proof of the convexity of metric-adjusted skew information following an idea of Effros. We extend earlier results of weak forms of superadditivity to general metric-adjusted skew information. Recently, Luo and Zhang introduced the notion of semi-quantum states...... of (unbounded) metric-adjusted skew information....
Directory of Open Access Journals (Sweden)
Isabel Garrido
2016-04-01
Full Text Available The class of metric spaces (X,d known as small-determined spaces, introduced by Garrido and Jaramillo, are properly defined by means of some type of real-valued Lipschitz functions on X. On the other hand, B-simple metric spaces introduced by Hejcman are defined in terms of some kind of bornologies of bounded subsets of X. In this note we present a common framework where both classes of metric spaces can be studied which allows us to see not only the relationships between them but also to obtain new internal characterizations of these metric properties.
Flexible and rigid cystoscopy in women.
Gee, Jason R; Waterman, Bradley J; Jarrard, David F; Hedican, Sean P; Bruskewitz, Reginald C; Nakada, Stephen Y
2009-01-01
Previous studies have evaluated the tolerability of rigid versus flexible cystoscopy in men. Similar studies, however, have not been performed in women. We sought to determine whether office-based flexible cystoscopy was better tolerated than rigid cystoscopy in women. Following full IRB approval, women were prospectively randomized in a single-blind manner. Patients were randomized to flexible or rigid cystoscopy and draped in the lithotomy position to maintain blinding of the study. Questionnaires evaluated discomfort before, during, and after cystoscopy. Thirty-six women were randomized to flexible (18) or rigid (18) cystoscopy. Indications were surveillance (16), hematuria (15), recurrent UTIs (2), voiding dysfunction (1), and other (2). All questionnaires were returned by 31/36 women. Using a 10-point visual analog scale (VAS), median discomfort during the procedure for flexible and rigid cystoscopy were 1.4 and 1.8, respectively, in patients perceiving pain. Median recalled pain 1 week later was similar at 0.8 and 1.15, respectively. None of these differences were statistically significant. Flexible and rigid cystoscopy are well tolerated in women. Discomfort during and after the procedure is minimal in both groups. Urologists should perform either procedure in women based on their preference and skill level.
Software metrics: Software quality metrics for distributed systems. [reliability engineering
Post, J. V.
1981-01-01
Software quality metrics was extended to cover distributed computer systems. Emphasis is placed on studying embedded computer systems and on viewing them within a system life cycle. The hierarchy of quality factors, criteria, and metrics was maintained. New software quality factors were added, including survivability, expandability, and evolvability.
Rigid Body Sampling and Individual Time Stepping for Rigid-Fluid Coupling of Fluid Simulation
Directory of Open Access Journals (Sweden)
Xiaokun Wang
2017-01-01
Full Text Available In this paper, we propose an efficient and simple rigid-fluid coupling scheme with scientific programming algorithms for particle-based fluid simulation and three-dimensional visualization. Our approach samples the surface of rigid bodies with boundary particles that interact with fluids. It contains two procedures, that is, surface sampling and sampling relaxation, which insures uniform distribution of particles with less iterations. Furthermore, we present a rigid-fluid coupling scheme integrating individual time stepping to rigid-fluid coupling, which gains an obvious speedup compared to previous method. The experimental results demonstrate the effectiveness of our approach.
Multimetric indices: How many metrics?
Multimetric indices (MMI’s) often include 5 to 15 metrics, each representing a different attribute of assemblage condition, such as species diversity, tolerant taxa, and nonnative taxa. Is there an optimal number of metrics for MMIs? To explore this question, I created 1000 9-met...
Metrical Phonology: German Sound System.
Tice, Bradley S.
Metrical phonology, a linguistic process of phonological stress assessment and diagrammatic simplification of sentence and word stress, is discussed as it is found in the English and German languages. The objective is to promote use of metrical phonology as a tool for enhancing instruction in stress patterns in words and sentences, particularly in…
Extending cosmology: the metric approach
Mendoza, S.
2012-01-01
Comment: 2012, Extending Cosmology: The Metric Approach, Open Questions in Cosmology; Review article for an Intech "Open questions in cosmology" book chapter (19 pages, 3 figures). Available from: http://www.intechopen.com/books/open-questions-in-cosmology/extending-cosmology-the-metric-approach
International Nuclear Information System (INIS)
Douglas, Michael R.; Karp, Robert L.; Lukic, Sergio; Reinbacher, Rene
2008-01-01
We develop numerical methods for approximating Ricci flat metrics on Calabi-Yau hypersurfaces in projective spaces. Our approach is based on finding balanced metrics and builds on recent theoretical work by Donaldson. We illustrate our methods in detail for a one parameter family of quintics. We also suggest several ways to extend our results
High resolution metric imaging payload
Delclaud, Y.
2017-11-01
Alcatel Space Industries has become Europe's leader in the field of high and very high resolution optical payloads, in the frame work of earth observation system able to provide military government with metric images from space. This leadership allowed ALCATEL to propose for the export market, within a French collaboration frame, a complete space based system for metric observation.
Energy Technology Data Exchange (ETDEWEB)
Gibbons, Gary W. [DAMTP, University of Cambridge, Wilberforce Road, Cambridge, CB3 0WA U.K. (United Kingdom); Volkov, Mikhail S., E-mail: gwg1@cam.ac.uk, E-mail: volkov@lmpt.univ-tours.fr [Laboratoire de Mathématiques et Physique Théorique, LMPT CNRS—UMR 7350, Université de Tours, Parc de Grandmont, Tours, 37200 France (France)
2017-05-01
We study solutions obtained via applying dualities and complexifications to the vacuum Weyl metrics generated by massive rods and by point masses. Rescaling them and extending to complex parameter values yields axially symmetric vacuum solutions containing singularities along circles that can be viewed as singular matter sources. These solutions have wormhole topology with several asymptotic regions interconnected by throats and their sources can be viewed as thin rings of negative tension encircling the throats. For a particular value of the ring tension the geometry becomes exactly flat although the topology remains non-trivial, so that the rings literally produce holes in flat space. To create a single ring wormhole of one metre radius one needs a negative energy equivalent to the mass of Jupiter. Further duality transformations dress the rings with the scalar field, either conventional or phantom. This gives rise to large classes of static, axially symmetric solutions, presumably including all previously known solutions for a gravity-coupled massless scalar field, as for example the spherically symmetric Bronnikov-Ellis wormholes with phantom scalar. The multi-wormholes contain infinite struts everywhere at the symmetry axes, apart from solutions with locally flat geometry.
Metrics for image segmentation
Rees, Gareth; Greenway, Phil; Morray, Denise
1998-07-01
An important challenge in mapping image-processing techniques onto applications is the lack of quantitative performance measures. From a systems engineering perspective these are essential if system level requirements are to be decomposed into sub-system requirements which can be understood in terms of algorithm selection and performance optimization. Nowhere in computer vision is this more evident than in the area of image segmentation. This is a vigorous and innovative research activity, but even after nearly two decades of progress, it remains almost impossible to answer the question 'what would the performance of this segmentation algorithm be under these new conditions?' To begin to address this shortcoming, we have devised a well-principled metric for assessing the relative performance of two segmentation algorithms. This allows meaningful objective comparisons to be made between their outputs. It also estimates the absolute performance of an algorithm given ground truth. Our approach is an information theoretic one. In this paper, we describe the theory and motivation of our method, and present practical results obtained from a range of state of the art segmentation methods. We demonstrate that it is possible to measure the objective performance of these algorithms, and to use the information so gained to provide clues about how their performance might be improved.
Directory of Open Access Journals (Sweden)
Kang Shin
2011-01-01
Full Text Available Abstract In this paper, the existence, uniqueness and iterative approximations of fixed points for contractive mappings of integral type in complete metric spaces are established. As applications, the existence, uniqueness and iterative approximations of solutions for a class of functional equations arising in dynamic programming are discussed. The results presented in this paper extend and improve essentially the results of Branciari (A fixed point theorem for mappings satisfying a general contractive condition of integral type. Int. J. Math. Math. Sci. 29, 531-536, 2002, Kannan (Some results on fixed points. Bull. Calcutta Math. Soc. 60, 71-76, 1968 and several known results. Four concrete examples involving the contractive mappings of integral type with uncountably many points are constructed. 2010 Mathematics Subject Classfication: 54H25, 47H10, 49L20, 49L99, 90C39
On Pythagoras Theorem for Products of Spectral Triples
D'Andrea, Francesco; Martinetti, Pierre
2013-05-01
We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non-pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some unitality condition. We show that these inequalities are optimal, and we provide non-unital counter-examples inspired by K-homology.
Fluctuation theorem for Hamiltonian Systems: Le Chatelier's principle
Evans, Denis J.; Searles, Debra J.; Mittag, Emil
2001-05-01
For thermostated dissipative systems, the fluctuation theorem gives an analytical expression for the ratio of probabilities that the time-averaged entropy production in a finite system observed for a finite time takes on a specified value compared to the negative of that value. In the past, it has been generally thought that the presence of some thermostating mechanism was an essential component of any system that satisfies a fluctuation theorem. In the present paper, we point out that a fluctuation theorem can be derived for purely Hamiltonian systems, with or without applied dissipative fields.
An Almost Sure Ergodic Theorem for Quasistatic Dynamical Systems
International Nuclear Information System (INIS)
Stenlund, Mikko
2016-01-01
We prove an almost sure ergodic theorem for abstract quasistatic dynamical systems, as an attempt of taking steps toward an ergodic theory of such systems. The result at issue is meant to serve as a working counterpart of Birkhoff’s ergodic theorem which fails in the quasistatic setup. It is formulated so that the conditions, which essentially require sufficiently good memory-loss properties, could be verified in a straightforward way in physical applications. We also introduce the concept of a physical family of measures for a quasistatic dynamical system. These objects manifest themselves, for instance, in numerical experiments. We then illustrate the use of the theorem by examples.
A note on the weighted Khintchine-Groshev Theorem
DEFF Research Database (Denmark)
Hussain, Mumtaz; Yusupova, Tatiana
Let W(m,n;ψ−−) denote the set of ψ1,…,ψn-approximable points in Rmn. The classical Khintchine-Groshev theorem assumes a monotonicity condition on the approximating functions ψ−−. Removing monotonicity from the Khintchine-Groshev theorem is attributed to different authors for different cases of m...... and n. It can not be removed for m=n=1 as Duffin-Shcaeffer provided the counter example. We deal with the only remaining case m=2 and thereby remove all unnecessary conditions from the Khintchine-Groshev theorem....
Quantum voting and violation of Arrow's impossibility theorem
Bao, Ning; Yunger Halpern, Nicole
2017-06-01
We propose a quantum voting system in the spirit of quantum games such as the quantum prisoner's dilemma. Our scheme enables a constitution to violate a quantum analog of Arrow's impossibility theorem. Arrow's theorem is a claim proved deductively in economics: Every (classical) constitution endowed with three innocuous-seeming properties is a dictatorship. We construct quantum analogs of constitutions, of the properties, and of Arrow's theorem. A quantum version of majority rule, we show, violates this quantum Arrow conjecture. Our voting system allows for tactical-voting strategies reliant on entanglement, interference, and superpositions. This contribution to quantum game theory helps elucidate how quantum phenomena can be harnessed for strategic advantage.
Convergence theorems for certain classes of nonlinear mappings
International Nuclear Information System (INIS)
Chidume, C.E.
1992-01-01
Recently, Xinlong Weng announced a convergence theorem for the iterative approximation of fixed points of local strictly pseudo-contractive mappings in uniformly smooth Banach spaces, (Proc. Amer. Math. Soc. Vol.113, No.3 (1991) 727-731). An example is presented which shows that this theorem of Weng is false. Then, a convergence theorem is proved, in certain real Banach spaces, for approximation a solution of the inclusion f is an element of x + Tx, where T is a set-valued monotone operator. An explicit error estimate is also presented. (author). 26 refs
Direct and converse theorems the elements of symbolic logic
Gradshtein, I S; Stark, M; Ulam, S
1963-01-01
Direct and Converse Theorems: The Elements of Symbolic Logic, Third Edition explains the logical relations between direct, converse, inverse, and inverse converse theorems, as well as the concept of necessary and sufficient conditions. This book consists of two chapters. The first chapter is devoted to the question of negation. Connected with the question of the negation of a proposition are interrelations of the direct and converse and also of the direct and inverse theorems; the interrelations of necessary and sufficient conditions; and the definition of the locus of a point. The second chap
A primer on Higgs boson low-energy theorems
International Nuclear Information System (INIS)
Dawson, S.; Haber, H.E.; California Univ., Santa Cruz, CA
1989-05-01
We give a pedagogical review of Higgs boson low-energy theorems and their applications in the study of light Higgs boson interactions with mesons and baryons. In particular, it is shown how to combine the chiral Lagrangian method with the Higgs low-energy theorems to obtain predictions for the interaction of Higgs bosons and pseudoscalar mesons. Finally, we discuss the relation between the low-energy theorems and a technique which makes use of the trace of the QCD energy-momentum tensor. 35 refs
An Almost Sure Ergodic Theorem for Quasistatic Dynamical Systems
Energy Technology Data Exchange (ETDEWEB)
Stenlund, Mikko, E-mail: mikko.stenlund@helsinki.fi [University of Helsinki, Department of Mathematics and Statistics (Finland)
2016-09-15
We prove an almost sure ergodic theorem for abstract quasistatic dynamical systems, as an attempt of taking steps toward an ergodic theory of such systems. The result at issue is meant to serve as a working counterpart of Birkhoff’s ergodic theorem which fails in the quasistatic setup. It is formulated so that the conditions, which essentially require sufficiently good memory-loss properties, could be verified in a straightforward way in physical applications. We also introduce the concept of a physical family of measures for a quasistatic dynamical system. These objects manifest themselves, for instance, in numerical experiments. We then illustrate the use of the theorem by examples.
Markov's theorem and algorithmically non-recognizable combinatorial manifolds
International Nuclear Information System (INIS)
Shtan'ko, M A
2004-01-01
We prove the theorem of Markov on the existence of an algorithmically non-recognizable combinatorial n-dimensional manifold for every n≥4. We construct for the first time a concrete manifold which is algorithmically non-recognizable. A strengthened form of Markov's theorem is proved using the combinatorial methods of regular neighbourhoods and handle theory. The proofs coincide for all n≥4. We use Borisov's group with insoluble word problem. It has two generators and twelve relations. The use of this group forms the base for proving the strengthened form of Markov's theorem
Turbulence Hazard Metric Based on Peak Accelerations for Jetliner Passengers
Stewart, Eric C.
2005-01-01
Calculations are made of the approximate hazard due to peak normal accelerations of an airplane flying through a simulated vertical wind field associated with a convective frontal system. The calculations are based on a hazard metric developed from a systematic application of a generic math model to 1-cosine discrete gusts of various amplitudes and gust lengths. The math model simulates the three degree-of- freedom longitudinal rigid body motion to vertical gusts and includes (1) fuselage flexibility, (2) the lag in the downwash from the wing to the tail, (3) gradual lift effects, (4) a simplified autopilot, and (5) motion of an unrestrained passenger in the rear cabin. Airplane and passenger response contours are calculated for a matrix of gust amplitudes and gust lengths. The airplane response contours are used to develop an approximate hazard metric of peak normal accelerations as a function of gust amplitude and gust length. The hazard metric is then applied to a two-dimensional simulated vertical wind field of a convective frontal system. The variations of the hazard metric with gust length and airplane heading are demonstrated.
Identifying Floppy and Rigid Regions in Proteins
Jacobs, D. J.; Thorpe, M. F.; Kuhn, L. A.
1998-03-01
In proteins it is possible to separate hard covalent forces involving bond lengths and bond angles from other weak forces. We model the microstructure of the protein as a generic bar-joint truss framework, where the hard covalent forces and strong hydrogen bonds are regarded as rigid bar constraints. We study the mechanical stability of proteins using FIRST (Floppy Inclusions and Rigid Substructure Topography) based on a recently developed combinatorial constraint counting algorithm (the 3D Pebble Game), which is a generalization of the 2D pebble game (D. J. Jacobs and M. F. Thorpe, ``Generic Rigidity: The Pebble Game'', Phys. Rev. Lett.) 75, 4051-4054 (1995) for the special class of bond-bending networks (D. J. Jacobs, "Generic Rigidity in Three Dimensional Bond-bending Networks", Preprint Aug (1997)). This approach is useful in identifying rigid motifs and flexible linkages in proteins, and thereby determines the essential degrees of freedom. We will show some preliminary results from the FIRST analysis on the myohemerythrin and lyozyme proteins.
METRICS DEVELOPMENT FOR PATENTS.
Veiga, Daniela Francescato; Ferreira, Lydia Masako
2015-01-01
To develop a proposal for metrics for patents to be applied in assessing the postgraduate programs of Medicine III - Capes. From the reading and analysis of the 2013 area documents of all the 48 areas of Capes, a proposal for metrics for patents was developed to be applied in Medicine III programs. Except for the areas Biotechnology, Food Science, Biological Sciences III, Physical Education, Engineering I, III and IV and Interdisciplinary, most areas do not adopt a scoring system for patents. The proposal developed was based on the criteria of Biotechnology, with adaptations. In general, it will be valued, in ascending order, the deposit, the granting and licensing/production. It will also be assigned higher scores to patents registered abroad and whenever there is a participation of students. This proposal can be applied to the item Intellectual Production of the evaluation form, in subsection Technical Production/Patents. The percentage of 10% for academic programs and 40% for Masters Professionals should be maintained. The program will be scored as Very Good when it reaches 400 points or over; Good, between 200 and 399 points; Regular, between 71 and 199 points; Weak up to 70 points; Insufficient, no punctuation. Desenvolver uma proposta de métricas para patentes a serem aplicadas na avaliação dos Programas de Pós-Graduação da Área Medicina III - Capes. A partir da leitura e análise dos documentos de área de 2013 de todas as 48 Áreas da Capes, desenvolveu-se uma proposta de métricas para patentes, a ser aplicada na avaliação dos programas da área. Constatou-se que, com exceção das áreas Biotecnologia, Ciência de Alimentos, Ciências Biológicas III, Educação Física, Engenharias I, III e IV e Interdisciplinar, a maioria não adota sistema de pontuação para patentes. A proposta desenvolvida baseou-se nos critérios da Biotecnologia, com adaptações. De uma forma geral, foi valorizado, em ordem crescente, o depósito, a concessão e o
The Michaelis-Menten-Stueckelberg Theorem
Directory of Open Access Journals (Sweden)
Alexander N. Gorban
2011-05-01
Full Text Available We study chemical reactions with complex mechanisms under two assumptions: (i intermediates are present in small amounts (this is the quasi-steady-state hypothesis or QSS and (ii they are in equilibrium relations with substrates (this is the quasiequilibrium hypothesis or QE. Under these assumptions, we prove the generalized mass action law together with the basic relations between kinetic factors, which are sufficient for the positivity of the entropy production but hold even without microreversibility, when the detailed balance is not applicable. Even though QE and QSS produce useful approximations by themselves, only the combination of these assumptions can render the possibility beyond the “rarefied gas” limit or the “molecular chaos” hypotheses. We do not use any a priori form of the kinetic law for the chemical reactions and describe their equilibria by thermodynamic relations. The transformations of the intermediate compounds can be described by the Markov kinetics because of their low density (low density of elementary events. This combination of assumptions was introduced by Michaelis and Menten in 1913. In 1952, Stueckelberg used the same assumptions for the gas kinetics and produced the remarkable semi-detailed balance relations between collision rates in the Boltzmann equation that are weaker than the detailed balance conditions but are still sufficient for the Boltzmann H-theorem to be valid. Our results are obtained within the Michaelis-Menten-Stueckelbeg conceptual framework.
Low energy theorems of hidden local symmetries
International Nuclear Information System (INIS)
Harada, Masayasu; Kugo, Taichiro; Yamawaki, Koichi.
1994-01-01
We prove to all orders of the loop expansion the low energy theorems of hidden local symmetries in four-dimensional nonlinear sigma models based on the coset space G/H, with G and H being arbitrary compact groups. Although the models are non-renormalizable, the proof is done in an analogous manner to the renormalization proof of gauge theories and two-dimensional nonlinear sigma models by restricting ourselves to the operators with two derivatives (counting a hidden gauge boson field as one derivative), i.e., with dimension 2, which are the only operators relevant to the low energy limit. Through loop-wise mathematical induction based on the Ward-Takahashi identity for the BRS symmetry, we solve renormalization equation for the effective action up to dimension-2 terms plus terms with the relevant BRS sources. We then show that all the quantum corrections to the dimension-2 operators, including the finite parts as well as the divergent ones, can be entirely absorbed into a re-definition (renormalization) of the parameters and the fields in the dimension-2 part of the tree-level Lagrangian. (author)
Quantum fluctuation theorems and power measurements
International Nuclear Information System (INIS)
Prasanna Venkatesh, B; Watanabe, Gentaro; Talkner, Peter
2015-01-01
Work in the paradigm of the quantum fluctuation theorems of Crooks and Jarzynski is determined by projective measurements of energy at the beginning and end of the force protocol. In analogy to classical systems, we consider an alternative definition of work given by the integral of the supplied power determined by integrating up the results of repeated measurements of the instantaneous power during the force protocol. We observe that such a definition of work, in spite of taking account of the process dependence, has different possible values and statistics from the work determined by the conventional two energy measurement approach (TEMA). In the limit of many projective measurements of power, the system’s dynamics is frozen in the power measurement basis due to the quantum Zeno effect leading to statistics only trivially dependent on the force protocol. In general the Jarzynski relation is not satisfied except for the case when the instantaneous power operator commutes with the total Hamiltonian at all times. We also consider properties of the joint statistics of power-based definition of work and TEMA work in protocols where both values are determined. This allows us to quantify their correlations. Relaxing the projective measurement condition, weak continuous measurements of power are considered within the stochastic master equation formalism. Even in this scenario the power-based work statistics is in general not able to reproduce qualitative features of the TEMA work statistics. (paper)
Subexponential estimates in Shirshov's theorem on height
International Nuclear Information System (INIS)
Belov, Aleksei Ya; Kharitonov, Mikhail I
2012-01-01
Suppose that F 2,m is a free 2-generated associative ring with the identity x m =0. In 1993 Zelmanov put the following question: is it true that the nilpotency degree of F 2,m has exponential growth? We give the definitive answer to Zelmanov's question by showing that the nilpotency class of an l-generated associative algebra with the identity x d =0 is smaller than Ψ(d,d,l), where Ψ(n,d,l)=2 18 l(nd) 3log 3 (nd)+13 d 2 . This result is a consequence of the following fact based on combinatorics of words. Let l, n and d≥n be positive integers. Then all words over an alphabet of cardinality l whose length is not less than Ψ(n,d,l) are either n-divisible or contain x d ; a word W is n-divisible if it can be represented in the form W=W 0 W 1 …W n so that W 1 ,...,W n are placed in lexicographically decreasing order. Our proof uses Dilworth's theorem (according to V.N. Latyshev's idea). We show that the set of not n-divisible words over an alphabet of cardinality l has height h 87 l·n 12log 3 n+48 . Bibliography: 40 titles.
Candelas, Philip; de la Ossa, Xenia; McOrist, Jock
2017-12-01
Heterotic vacua of string theory are realised, at large radius, by a compact threefold with vanishing first Chern class together with a choice of stable holomorphic vector bundle. These form a wide class of potentially realistic four-dimensional vacua of string theory. Despite all their phenomenological promise, there is little understanding of the metric on the moduli space of these. What is sought is the analogue of special geometry for these vacua. The metric on the moduli space is important in phenomenology as it normalises D-terms and Yukawa couplings. It is also of interest in mathematics, since it generalises the metric, first found by Kobayashi, on the space of gauge field connections, to a more general context. Here we construct this metric, correct to first order in {α^{\\backprime}}, in two ways: first by postulating a metric that is invariant under background gauge transformations of the gauge field, and also by dimensionally reducing heterotic supergravity. These methods agree and the resulting metric is Kähler, as is required by supersymmetry. Checking the metric is Kähler is intricate and the anomaly cancellation equation for the H field plays an essential role. The Kähler potential nevertheless takes a remarkably simple form: it is the Kähler potential of special geometry with the Kähler form replaced by the {α^{\\backprime}}-corrected hermitian form.
A non linear ergodic theorem and application to a theorem of A. Pazy
International Nuclear Information System (INIS)
Djafari Rouhani, B.
1989-07-01
We prove that if (y n )n≥1 is a sequence in a real Hilbert space H such that for every non negative integer m the sequence (parallelΣ l =0 m y i +l parallel) i≥1 is non increasing, then: s n = 1/n Σ i=1 n y i converges strongly in H to the element of minimum norm in the closed convex hull of the sequence (y n ) n≥1 . We deduce a direct proof of a result containing a theorem of A. Pazy. (author). 27 refs
Implications of Metric Choice for Common Applications of Readmission Metrics
Davies, Sheryl; Saynina, Olga; Schultz, Ellen; McDonald, Kathryn M; Baker, Laurence C
2013-01-01
Objective. To quantify the differential impact on hospital performance of three readmission metrics: all-cause readmission (ACR), 3M Potential Preventable Readmission (PPR), and Centers for Medicare and Medicaid 30-day readmission (CMS).
Durable bistable auxetics made of rigid solids
Shang, Xiao; Liu, Lu; Rafsanjani, Ahmad; Pasini, Damiano
2018-02-01
Bistable Auxetic Metamaterials (BAMs) are a class of monolithic perforated periodic structures with negative Poisson's ratio. Under tension, a BAM can expand and reach a second state of equilibrium through a globally large shape transformation that is ensured by the flexibility of its elastomeric base material. However, if made from a rigid polymer, or metal, BAM ceases to function due to the inevitable rupture of its ligaments. The goal of this work is to extend the unique functionality of the original kirigami architecture of BAM to a rigid solid base material. We use experiments and numerical simulations to assess performance, bistability and durability of rigid BAMs at 10,000 cycles. Geometric maps are presented to elucidate the role of the main descriptors of BAM architecture. The proposed design enables the realization of BAM from a large palette of materials, including elastic-perfectly plastic materials and potentially brittle materials.
International Nuclear Information System (INIS)
Halliwell, J.J.
2014-01-01
Fine's theorem concerns the question of determining the conditions under which a certain set of probabilities for pairs of four bivalent quantities may be taken to be the marginals of an underlying probability distribution. The eight CHSH inequalities are well-known to be necessary conditions, but Fine's theorem is the striking result that they are also sufficient conditions. Here two transparent and self-contained proofs of Fine's theorem are presented. The first is a physically motivated proof using an explicit local hidden variables model. The second is an algebraic proof which uses a representation of the probabilities in terms of correlation functions. - Highlights: • A discussion of the various approaches to proving Fine's theorem. • A new physically-motivated proof using a local hidden variables model. • A new algebraic proof. • A new form of the CHSH inequalities
A Coordinate-Based Proof of the Scallop Theorem
Ishimoto, Kenta; Yamada, Michio
2012-01-01
We reconsider fluid dynamics for a self-propulsive swimmer in Stokes flow. With an exact definition of deformation of a swimmer, a coordinate-based proof is first given to Purcell's scallop theorem including the body rotation.
Forest Carbon Uptake and the Fundamental Theorem of Calculus
Zobitz, John
2013-01-01
Using the fundamental theorem of calculus and numerical integration, we investigate carbon absorption of ecosystems with measurements from a global database. The results illustrate the dynamic nature of ecosystems and their ability to absorb atmospheric carbon.
The power counting theorem for Feynman integrals with massless propagators
International Nuclear Information System (INIS)
Lowenstein, J.H.
2000-01-01
Dyson's power counting theorem is extended to the case where some of the mass parameters vanish. Weinberg's ultraviolet convergence conditions are supplemented by infrared convergence conditions which combined are sufficient for the convergence of Feynman integrals. (orig.)
The power counting theorem for Feynman integrals with massless propagators
International Nuclear Information System (INIS)
Lowenstein, J.H.
1975-01-01
Dyson's power counting theorem is extended to the case where some of the mass parameters vanish. Weinberg's ultraviolet convergence conditions are supplemented by infrared convergence conditions which combined are sufficient for the convergence of Feynman integrals. (orig.) [de
A divergence theorem for pseudo-Finsler spaces
Minguzzi, E.
2015-01-01
We study the divergence theorem on pseudo-Finsler spaces and obtain a completely Finslerian version for spaces having a vanishing mean Cartan torsion. This result helps to clarify the problem of energy-momentum conservation in Finsler gravity theories.
The Weinberg-Witten theorem on massless particles: an essay
International Nuclear Information System (INIS)
Loebbert, F.
2008-01-01
In this essay we deal with the Weinberg-Witten theorem which imposes limitations on massless particles. First we motivate a classification of massless particles given by the Poincare group as the symmetry group of Minkowski spacetime. We then use the fundamental structure of the background in the form of Poincare covariance to derive restrictions on charged massless particles known as the Weinberg-Witten theorem. We address possible misunderstandings in the proof of this theorem motivated by several papers on this topic. In the last section the consequences of the theorem are discussed. We treat it in the context of known particles and as a constraint for emergent theories. (Abstract Copyright [2008], Wiley Periodicals, Inc.)
Integrable equations, addition theorems, and the Riemann-Schottky problem
International Nuclear Information System (INIS)
Buchstaber, Viktor M; Krichever, I M
2006-01-01
The classical Weierstrass theorem claims that, among the analytic functions, the only functions admitting an algebraic addition theorem are the elliptic functions and their degenerations. This survey is devoted to far-reaching generalizations of this result that are motivated by the theory of integrable systems. The authors discovered a strong form of the addition theorem for theta functions of Jacobian varieties, and this form led to new approaches to known problems in the geometry of Abelian varieties. It is shown that strong forms of addition theorems arise naturally in the theory of the so-called trilinear functional equations. Diverse aspects of the approaches suggested here are discussed, and some important open problems are formulated.
Generalized Optical Theorem Detection in Random and Complex Media
Tu, Jing
The problem of detecting changes of a medium or environment based on active, transmit-plus-receive wave sensor data is at the heart of many important applications including radar, surveillance, remote sensing, nondestructive testing, and cancer detection. This is a challenging problem because both the change or target and the surrounding background medium are in general unknown and can be quite complex. This Ph.D. dissertation presents a new wave physics-based approach for the detection of targets or changes in rather arbitrary backgrounds. The proposed methodology is rooted on a fundamental result of wave theory called the optical theorem, which gives real physical energy meaning to the statistics used for detection. This dissertation is composed of two main parts. The first part significantly expands the theory and understanding of the optical theorem for arbitrary probing fields and arbitrary media including nonreciprocal media, active media, as well as time-varying and nonlinear scatterers. The proposed formalism addresses both scalar and full vector electromagnetic fields. The second contribution of this dissertation is the application of the optical theorem to change detection with particular emphasis on random, complex, and active media, including single frequency probing fields and broadband probing fields. The first part of this work focuses on the generalization of the existing theoretical repertoire and interpretation of the scalar and electromagnetic optical theorem. Several fundamental generalizations of the optical theorem are developed. A new theory is developed for the optical theorem for scalar fields in nonhomogeneous media which can be bounded or unbounded. The bounded media context is essential for applications such as intrusion detection and surveillance in enclosed environments such as indoor facilities, caves, tunnels, as well as for nondestructive testing and communication systems based on wave-guiding structures. The developed scalar
A priori knowledge and the Kochen-Specker theorem
International Nuclear Information System (INIS)
Brunet, Olivier
2007-01-01
We introduce and formalize a notion of 'a priori knowledge' about a quantum system, and show some properties about this form of knowledge. Finally, we show that the Kochen-Specker theorem follows directly from this study
Supersymmetric extension of the Adler-Bardeen theorem
International Nuclear Information System (INIS)
Novikov, V.A.; Zakharov, V.I.; Shifman, M.A.; Vainshtein, A.I.
1985-01-01
A supersymmetric generalization of the Adler-Bardeen theorem in SUSY gauge theories is given. We show that within the Adler-Bardeen procedure, both the conformal and axial anomalies are exhausted by one loop. (orig.)
An Elementary Proof of the Polynomial Matrix Spectral Factorization Theorem
Ephremidze, Lasha
2010-01-01
A very simple and short proof of the polynomial matrix spectral factorization theorem (on the unit circle as well as on the real line) is presented, which relies on elementary complex analysis and linear algebra.
Perron–Frobenius theorem for nonnegative multilinear forms and extensions
Friedland, S.; Gaubert, S.; Han, L.
2013-01-01
We prove an analog of Perron-Frobenius theorem for multilinear forms with nonnegative coefficients, and more generally, for polynomial maps with nonnegative coefficients. We determine the geometric convergence rate of the power algorithm to the unique normalized eigenvector.
Analogy to Derive an Extended Pythagorean Theorem to ''N'' Dimensions
Directory of Open Access Journals (Sweden)
Acosta-Robledo J.U.
2012-01-01
Full Text Available This article demonstrates that it is possible to extend the Pythagorean Theorem to ''N'' dimensions. This demonstration is mainly done based on linear algebra, especially in the vector product of ''N'' dimensions.
Quantum nonlocality and reality 50 years of Bell's theorem
Gao, Shan
2016-01-01
Description Contents Resources Courses About the Authors Combining twenty-six original essays written by an impressive line-up of distinguished physicists and philosophers of physics, this anthology reflects some of the latest thoughts by leading experts on the influence of Bell's theorem on quantum physics. Essays progress from John Bell's character and background, through studies of his main work, and on to more speculative ideas, addressing the controversies surrounding the theorem, and investigating the theorem's meaning and its deep implications for the nature of physical reality. Combined, they present a powerful comment on the undeniable significance of Bell's theorem for the development of ideas in quantum physics over the past 50 years. Questions surrounding the assumptions and significance of Bell's work still inspire discussion in the field of quantum physics. Adding to this with a theoretical and philosophical perspective, this balanced anthology is an indispensable volume for students and researc...
An imbedding theorem and its applications in degenerate elliptic equations
International Nuclear Information System (INIS)
Duong Minh Duc.
1988-06-01
We improve the Rellich-Kondrachov theorem and apply it to study strongly degenerate and singular elliptic equations. We obtain the maximum principle, Harnacks's inequality and global regularity for solutions of those equations. (author). 11 refs
Issues in Benchmark Metric Selection
Crolotte, Alain
It is true that a metric can influence a benchmark but will esoteric metrics create more problems than they will solve? We answer this question affirmatively by examining the case of the TPC-D metric which used the much debated geometric mean for the single-stream test. We will show how a simple choice influenced the benchmark and its conduct and, to some extent, DBMS development. After examining other alternatives our conclusion is that the “real” measure for a decision-support benchmark is the arithmetic mean.
Background metric in supergravity theories
International Nuclear Information System (INIS)
Yoneya, T.
1978-01-01
In supergravity theories, we investigate the conformal anomaly of the path-integral determinant and the problem of fermion zero modes in the presence of a nontrivial background metric. Except in SO(3) -invariant supergravity, there are nonvanishing conformal anomalies. As a consequence, amplitudes around the nontrivial background metric contain unpredictable arbitrariness. The fermion zero modes which are explicitly constructed for the Euclidean Schwarzschild metric are interpreted as an indication of the supersymmetric multiplet structure of a black hole. The degree of degeneracy of a black hole is 2/sup 4n/ in SO(n) supergravity
Generalized Painleve-Gullstrand metrics
Energy Technology Data Exchange (ETDEWEB)
Lin Chunyu [Department of Physics, National Cheng Kung University, Tainan 70101, Taiwan (China)], E-mail: l2891112@mail.ncku.edu.tw; Soo Chopin [Department of Physics, National Cheng Kung University, Tainan 70101, Taiwan (China)], E-mail: cpsoo@mail.ncku.edu.tw
2009-02-02
An obstruction to the implementation of spatially flat Painleve-Gullstrand (PG) slicings is demonstrated, and explicitly discussed for Reissner-Nordstroem and Schwarzschild-anti-deSitter spacetimes. Generalizations of PG slicings which are not spatially flat but which remain regular at the horizons are introduced. These metrics can be obtained from standard spherically symmetric metrics by physical Lorentz boosts. With these generalized PG metrics, problematic contributions to the imaginary part of the action in the Parikh-Wilczek derivation of Hawking radiation due to the obstruction can be avoided.
Daylight metrics and energy savings
Energy Technology Data Exchange (ETDEWEB)
Mardaljevic, John; Heschong, Lisa; Lee, Eleanor
2009-12-31
The drive towards sustainable, low-energy buildings has increased the need for simple, yet accurate methods to evaluate whether a daylit building meets minimum standards for energy and human comfort performance. Current metrics do not account for the temporal and spatial aspects of daylight, nor of occupants comfort or interventions. This paper reviews the historical basis of current compliance methods for achieving daylit buildings, proposes a technical basis for development of better metrics, and provides two case study examples to stimulate dialogue on how metrics can be applied in a practical, real-world context.
Next-Generation Metrics: Responsible Metrics & Evaluation for Open Science
Energy Technology Data Exchange (ETDEWEB)
Wilsdon, J.; Bar-Ilan, J.; Peters, I.; Wouters, P.
2016-07-01
Metrics evoke a mixed reaction from the research community. A commitment to using data to inform decisions makes some enthusiastic about the prospect of granular, real-time analysis o of research and its wider impacts. Yet we only have to look at the blunt use of metrics such as journal impact factors, h-indices and grant income targets, to be reminded of the pitfalls. Some of the most precious qualities of academic culture resist simple quantification, and individual indicators often struggle to do justice to the richness and plurality of research. Too often, poorly designed evaluation criteria are “dominating minds, distorting behaviour and determining careers (Lawrence, 2007).” Metrics hold real power: they are constitutive of values, identities and livelihoods. How to exercise that power to more positive ends has been the focus of several recent and complementary initiatives, including the San Francisco Declaration on Research Assessment (DORA1), the Leiden Manifesto2 and The Metric Tide3 (a UK government review of the role of metrics in research management and assessment). Building on these initiatives, the European Commission, under its new Open Science Policy Platform4, is now looking to develop a framework for responsible metrics for research management and evaluation, which can be incorporated into the successor framework to Horizon 2020. (Author)
Effect of rigid inclusions on sintering
International Nuclear Information System (INIS)
Rahaman, M.N.; De Jonghe, L.C.
1988-01-01
The predictions of recent theoretical studies on the effect of inert, rigid inclusions on the sintering of ceramic powder matrices are examined and compared with experimental data. The densification of glass matrix composites with inclusion volume fractions of ≤0.15 can be adequately explained by Scherer's theory for viscous sintering with rigid inclusions. Inclusions cause a vast reduction in the densification rates of polycrystalline matrix composites even at low inclusion volume fractions. Models put forward to explain the sintering of polycrystalline matrix composites are discussed
Rigid origami vertices: conditions and forcing sets
Directory of Open Access Journals (Sweden)
Zachary Abel
2016-04-01
Full Text Available We develop an intrinsic necessary and sufficient condition for single-vertex origami crease patterns to be able to fold rigidly. We classify such patterns in the case where the creases are pre-assigned to be mountains and valleys as well as in the unassigned case. We also illustrate the utility of this result by applying it to the new concept of minimal forcing sets for rigid origami models, which are the smallest collection of creases that, when folded, will force all the other creases to fold in a prescribed way.
Evaluating a method for automated rigid registration
DEFF Research Database (Denmark)
Darkner, Sune; Vester-Christensen, Martin; Larsen, Rasmus
2007-01-01
to point distance. T-test for common mean are used to determine the performance of the two methods (supported by a Wilcoxon signed rank test). The performance influence of sampling density, sampling quantity, and norms is analyzed using a similar method.......We evaluate a novel method for fully automated rigid registration of 2D manifolds in 3D space based on distance maps, the Gibbs sampler and Iterated Conditional Modes (ICM). The method is tested against the ICP considered as the gold standard for automated rigid registration. Furthermore...
Quantum work fluctuation theorem: Nonergodic Brownian motion case
International Nuclear Information System (INIS)
Bai, Zhan-Wu
2014-01-01
The work fluctuations of a quantum Brownian particle driven by an external force in a general nonergodic heat bath are studied under a general initial state. The exact analytical expression of the work probability distribution function is derived. Results show the existence of a quantum asymptotic fluctuation theorem, which is in general not a direct generalization of its classical counterpart. The form of this theorem is dependent on the structure of the heat bath and the specified initial condition.
Probability densities and the radon variable transformation theorem
International Nuclear Information System (INIS)
Ramshaw, J.D.
1985-01-01
D. T. Gillespie recently derived a random variable transformation theorem relating to the joint probability densities of functionally dependent sets of random variables. The present author points out that the theorem can be derived as an immediate corollary of a simpler and more fundamental relation. In this relation the probability density is represented as a delta function averaged over an unspecified distribution of unspecified internal random variables. The random variable transformation is derived from this relation
A short list color proof of Grotzsch's theorem
DEFF Research Database (Denmark)
Thomassen, Carsten
2000-01-01
We give a short proof of the result that every planar graph of girth $5$is $3$-choosable and hence also of Gr\\"{o}tzsch's theorem saying that everyplanar triangle-free graph is $3$-colorable.......We give a short proof of the result that every planar graph of girth $5$is $3$-choosable and hence also of Gr\\"{o}tzsch's theorem saying that everyplanar triangle-free graph is $3$-colorable....
Locally Hamiltonian systems with symmetry and a generalized Noether's theorem
International Nuclear Information System (INIS)
Carinena, J.F.; Ibort, L.A.
1985-01-01
An analysis of global aspects of the theory of symmetry groups G of locally Hamiltonian dynamical systems is carried out for particular cases either of the symmetry group, or the differentiable manifold M supporting the symplectic structure, or the action of G on M. In every case it is obtained a generalization of Noether's theorem. It has been looked at the classical Noether's theorem for Lagrangian systems from a modern perspective
A New Simple Approach for Entropy and Carnot Theorem
International Nuclear Information System (INIS)
Veliev, E. V.
2004-01-01
Entropy and Carnot theorem occupy central place in the typical Thermodynamics courses at the university level. In this work, we suggest a new simple approach for introducing the concept of entropy. Using simple procedure in TV plane, we proved that for reversible processes ∫dQ/T=0 and it is sufficient to define entropy. And also, using reversible processes in TS plane, we give an alternative simple proof for Carnot theorem
On the c-theorem in higher genus
International Nuclear Information System (INIS)
Espriu, D.; Mavromatos, N.E.
1990-01-01
We study the extension of the c-therorem to arbitrary genus Riemann surfaces. We analyze the breakdown of conformal invariance caused by the need of cutting off regions of moduli space to regulate divergences and argue how these can be absorbed in the bare couplings on the sphere. An extension of the c-theorem then follows. We also discuss the relationship between the c-theorem and the effective action when corrections from higher genera are accounted for. (orig.)
Some functional limit theorems for compound Cox processes
Energy Technology Data Exchange (ETDEWEB)
Korolev, Victor Yu. [Faculty of Computational Mathematics and Cybernetics, Moscow State University, Moscow (Russian Federation); Institute of Informatics Problems FRC CSC RAS (Russian Federation); Chertok, A. V. [Faculty of Computational Mathematics and Cybernetics, Moscow State University, Moscow (Russian Federation); Euphoria Group LLC (Russian Federation); Korchagin, A. Yu. [Faculty of Computational Mathematics and Cybernetics, Moscow State University, Moscow (Russian Federation); Kossova, E. V. [Higher School of Economics National Research University, Moscow (Russian Federation); Zeifman, Alexander I. [Vologda State University, S.Orlova, 6, Vologda (Russian Federation); Institute of Informatics Problems FRC CSC RAS, ISEDT RAS (Russian Federation)
2016-06-08
An improved version of the functional limit theorem is proved establishing weak convergence of random walks generated by compound doubly stochastic Poisson processes (compound Cox processes) to Lévy processes in the Skorokhod space under more realistic moment conditions. As corollaries, theorems are proved on convergence of random walks with jumps having finite variances to Lévy processes with variance-mean mixed normal distributions, in particular, to stable Lévy processes.
Some functional limit theorems for compound Cox processes
International Nuclear Information System (INIS)
Korolev, Victor Yu.; Chertok, A. V.; Korchagin, A. Yu.; Kossova, E. V.; Zeifman, Alexander I.
2016-01-01
An improved version of the functional limit theorem is proved establishing weak convergence of random walks generated by compound doubly stochastic Poisson processes (compound Cox processes) to Lévy processes in the Skorokhod space under more realistic moment conditions. As corollaries, theorems are proved on convergence of random walks with jumps having finite variances to Lévy processes with variance-mean mixed normal distributions, in particular, to stable Lévy processes.
Cosmological constant, inflation and no-cloning theorem
Energy Technology Data Exchange (ETDEWEB)
Huang Qingguo, E-mail: huangqg@itp.ac.cn [State Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Science, Beijing 100190 (China); Lin Fengli, E-mail: linfengli@phy.ntnu.edu.tw [Department of Physics, Massachusetts Institute of Technology, Cambridge, MA 02139 (United States); Department of Physics, National Taiwan Normal University, Taipei, 116, Taiwan (China)
2012-05-30
From the viewpoint of no-cloning theorem we postulate a relation between the current accelerated expansion of our universe and the inflationary expansion in the very early universe. It implies that the fate of our universe should be in a state with accelerated expansion. Quantitatively we find that the no-cloning theorem leads to a lower bound on the cosmological constant which is compatible with observations.
The Hellman-Feynman theorem at finite temperature
International Nuclear Information System (INIS)
Cabrera, A.; Calles, A.
1990-01-01
The possibility of a kind of Hellman-Feynman theorem at finite temperature is discussed. Using the cannonical ensembles, the derivative of the internal energy is obtained when it depends explicitly on a parameter. It is found that under the low temperature regime the derivative of the energy can be obtained as the statistical average of the derivative of the hamiltonian operator. The result allows to speak of the existence of the Hellman-Feynman theorem at finite temperatures (Author)
Generalized Perron--Frobenius Theorem for Nonsquare Matrices
Avin, Chen; Borokhovich, Michael; Haddad, Yoram; Kantor, Erez; Lotker, Zvi; Parter, Merav; Peleg, David
2013-01-01
The celebrated Perron--Frobenius (PF) theorem is stated for irreducible nonnegative square matrices, and provides a simple characterization of their eigenvectors and eigenvalues. The importance of this theorem stems from the fact that eigenvalue problems on such matrices arise in many fields of science and engineering, including dynamical systems theory, economics, statistics and optimization. However, many real-life scenarios give rise to nonsquare matrices. A natural question is whether the...
Generalized Panofsky-Wenzel theorem and hybrid coupling
Smirnov, A V
2001-01-01
The Panofsky-Wenzel theorem is reformulated for the case in which phase slippage between the wave and beam is not negligible. The extended theorem can be applied in analysis of detuned waveguides, RF injectors, bunchers, some tapered waveguides or high-power sources and multi-cell cavities for dipole and higher order modes. As an example, the relative contribution of the Lorentz' component of the deflecting force is calculated for a conventional circular disk-loaded waveguide.
On the first case of Fermat's theorem for cyclotomic fields
International Nuclear Information System (INIS)
Kolyvagin, V A
1999-01-01
The classical criteria of Kummer, Mirimanov and Vandiver for the validity of the first case of Fermat's theorem for the field Q of rationals and prime exponent l are generalized to the field Q( l √1) and exponent l. As a consequence, some simpler criteria are established. For example, the validity of the first case of Fermat's theorem is proved for the field Q( l √1) and exponent l on condition that l 2 does not divide 2 l -2
Zimmerman, Marianna
1975-01-01
Describes a classroom activity which involved sixth grade students in a learning situation including making ice cream, safety procedures in a science laboratory, calibrating a thermometer, using metric units of volume and mass. (EB)
Factorization theorems in perturbative quantum field theory
International Nuclear Information System (INIS)
Date, G.D.
1982-01-01
This dissertation deals with factorization properties of Green functions and cross-sections in perturbation theory. It consists of two parts. Part I deals with the factorization theorem for the Drell-Yan cross-section. The new approach developed for this purpose is based upon a renormalization group equation with a generalized anomalous dimension. Using an alternate form of factorization for the Drell-Yan cross-section, derived in perturbation theory, a corresponding generalized anomalous dimension is defined, and explicit Feynman rules for its calculation are given. The resultant renormalization group equation is solved by a formal solution which is exhibited explicitly. Simple, explicit calculations are performed which verify Mueller's conjecture for the recovery of the usual parton model results for the Drell-Yan cross-section. The approach developed in this work offers a general framework to analyze the role played by the group factors in the cancellation of the soft divergences, and study their influence on the asymptotic behavior. Part II deals with factorization properties of the Green functions in position space. In this part, a Landau equation analysis is carried out for the singularities of the position space Green fucntions, in perturbation theory with the theta 4 interaction Lagrangian. A physical picture interpretation is given for the corresponding Landau equations. It is used to suggest a light-cone expansion. Using a power counting method, a formal derivation of the light-cone expansion for the two point function, the three point function and a product of two currents, is given without assuming a short distance expansion. Possible extensions to other theories is also considered
Experiential space is hardly metric
Czech Academy of Sciences Publication Activity Database
Šikl, Radovan; Šimeček, Michal; Lukavský, Jiří
2008-01-01
Roč. 2008, č. 37 (2008), s. 58-58 ISSN 0301-0066. [European Conference on Visual Perception. 24.08-28.08.2008, Utrecht] R&D Projects: GA ČR GA406/07/1676 Institutional research plan: CEZ:AV0Z70250504 Keywords : visual space perception * metric and non-metric perceptual judgments * ecological validity Subject RIV: AN - Psychology
Coverage Metrics for Model Checking
Penix, John; Visser, Willem; Norvig, Peter (Technical Monitor)
2001-01-01
When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.
Phantom metrics with Killing spinors
Directory of Open Access Journals (Sweden)
W.A. Sabra
2015-11-01
Full Text Available We study metric solutions of Einstein–anti-Maxwell theory admitting Killing spinors. The analogue of the IWP metric which admits a space-like Killing vector is found and is expressed in terms of a complex function satisfying the wave equation in flat (2+1-dimensional space–time. As examples, electric and magnetic Kasner spaces are constructed by allowing the solution to depend only on the time coordinate. Euclidean solutions are also presented.
Evidence for the strongest version of the 4d a-theorem via a-maximization along RG flows
International Nuclear Information System (INIS)
Barnes, Edwin; Intriligator, Ken; Wecht, Brian; Wright, Jason
2004-01-01
In earlier work, we (KI and BW) gave a two line 'almost proof' (for supersymmetric RG flows) of the weakest form of the conjectured 4d a-theorem, that aIRaUV, using our result that the exact superconformal R-symmetry of 4d SCFTs maximizes a=3TrR3-TrR. The proof was incomplete because of two identified loopholes: theories with accidental symmetries, and the fact that it is only a local maximum of a. Here we discuss and extend a proposal of Kutasov (which helps close the latter loophole) in which a-maximization is generalized away from the endpoints of the RG flow, with Lagrange multipliers that are conjectured to be identified with the running coupling constants. a-maximization then yields a monotonically decreasing 'a-function' along the RG flow to the IR. As we discuss, this proposal in fact suggests the strongest version of the a-theorem: that 4d RG flows are gradient flows of an a-function, with positive-definite metric. In the perturbative limit, the RG flow metric thus obtained is shown to agree precisely with that found by very different computations by Osborn and collaborators. As examples, we discuss a new class of 4d SCFTs, along with their dual descriptions and IR phases, obtained from SQCD by coupling some of the flavors to added singlets
Geometric integrators for stochastic rigid body dynamics
Tretyakov, Mikhail
2016-01-05
Geometric integrators play an important role in simulating dynamical systems on long time intervals with high accuracy. We will illustrate geometric integration ideas within the stochastic context, mostly on examples of stochastic thermostats for rigid body dynamics. The talk will be mainly based on joint recent work with Rusland Davidchak and Tom Ouldridge.
Rigid polyurethane and kenaf core composite foams
Rigid polyurethane foams are valuable in many construction applications. Kenaf is a bast fiber plant where the surface stem skin provides bast fibers whose strength-to-weight ratio competes with glass fiber. The higher volume product of the kenaf core is an under-investigated area in composite appli...
Geometric integrators for stochastic rigid body dynamics
Tretyakov, Mikhail
2016-01-01
Geometric integrators play an important role in simulating dynamical systems on long time intervals with high accuracy. We will illustrate geometric integration ideas within the stochastic context, mostly on examples of stochastic thermostats for rigid body dynamics. The talk will be mainly based on joint recent work with Rusland Davidchak and Tom Ouldridge.
Rigidity Sensing Explained by Active Matter Theory
Marcq, Philippe; Yoshinaga, Natsuhiko; Prost, Jacques
2011-01-01
The magnitude of traction forces exerted by living animal cells on their environment is a monotonically increasing and approximately sigmoidal function of the stiffness of the external medium. We rationalize this observation using active matter theory, and propose that adaptation to substrate rigidity results from an interplay between passive elasticity and active contractility.
Rigid pricing and rationally inattentive consumer
Czech Academy of Sciences Publication Activity Database
Matějka, Filip
2010-01-01
Roč. 20, č. 2 (2010), s. 1-40 ISSN 1211-3298 R&D Projects: GA MŠk LC542 Institutional research plan: CEZ:AV0Z70850503 Keywords : rational inattention * nominal rigidity Subject RIV: AH - Economics http://www.cerge-ei.cz/pdf/wp/Wp409.pdf